गैलोइस विस्तार

गणित में, गैलोइस एक्सटेंशन एक बीजीय विस्तार फ़ील्ड विस्तार ई/एफ है जो सामान्य विस्तार और अलग करने योग्य विस्तार है; या समकक्ष, ई/एफ बीजगणितीय है, और ऑटोमोर्फिज्म समूह ऑट (ई/एफ) द्वारा निश्चित क्षेत्र बिल्कुल आधार क्षेत्र (गणित) एफ है। गैलोज़ एक्सटेंशन होने का महत्व यह है कि एक्सटेंशन में गैलोज़ समूह है और गैलोज़ सिद्धांत के मौलिक प्रमेय का पालन करता है।

एमिल आर्टिन का परिणाम निम्नानुसार गैलोज़ एक्सटेंशन का निर्माण करने की अनुमति देता है: यदि ई एक दिया गया फ़ील्ड है, और जी निश्चित फ़ील्ड एफ के साथ ई के ऑटोमोर्फिज्म का एक सीमित समूह है, तो ई/एफ एक गैलोज़ एक्सटेंशन है।

गैलोइस एक्सटेंशन की विशेषता
एमिल आर्टिन का एक महत्वपूर्ण प्रमेय बताता है कि एक सीमित विस्तार के लिए $$E/F,$$ निम्नलिखित में से प्रत्येक कथन उस कथन के समतुल्य है $$E/F$$ गैलोज़ है:


 * $$E/F$$ एक सामान्य विस्तार और एक अलग करने योग्य विस्तार है।
 * $$E$$ गुणांकों के साथ एक पृथक्करणीय बहुपद का विभाजन क्षेत्र है $$F.$$
 * $$|\!\operatorname{Aut}(E/F)| = [E:F],$$ अर्थात्, ऑटोमोर्फिज्म की संख्या विस्तार की डिग्री (क्षेत्र सिद्धांत) के बराबर होती है।

अन्य समकक्ष कथन हैं:


 * प्रत्येक अघुलनशील बहुपद में $$F[x]$$ कम से कम एक जड़ के साथ $$E$$ विभाजित हो जाता है $$E$$ और वियोज्य है.
 * $$|\!\operatorname{Aut}(E/F)| \geq [E:F],$$ अर्थात्, ऑटोमोर्फिज्म की संख्या कम से कम विस्तार की डिग्री है।
 * $$F$$ के एक उपसमूह का निश्चित क्षेत्र है $$\operatorname{Aut}(E).$$
 * $$F$$ का निश्चित क्षेत्र है $$\operatorname{Aut}(E/F).$$
 * गैलोइस सिद्धांत का एक-से-एक मौलिक प्रमेय है#उपक्षेत्रों के बीच पत्राचार का स्पष्ट विवरण $$E/F$$ और के उपसमूह $$\operatorname{Aut}(E/F).$$

उदाहरण
गैलोज़ एक्सटेंशन के उदाहरण बनाने के दो बुनियादी तरीके हैं।


 * कोई भी फ़ील्ड लें $$E$$, का कोई भी परिमित उपसमूह $$\operatorname{Aut}(E)$$, और जाने $$F$$ निश्चित फ़ील्ड हो.
 * कोई भी फ़ील्ड लें $$F$$, कोई भी वियोज्य बहुपद $$F[x]$$, और जाने $$E$$ इसका विभाजन क्षेत्र हो.

परिमेय संख्या क्षेत्र के साथ संयोजन (क्षेत्र सिद्धांत) 2 का वर्गमूल एक गैलोज़ विस्तार देता है, जबकि 2 का घनमूल एक गैर-गैलोइस विस्तार देता है। ये दोनों एक्सटेंशन अलग-अलग हैं, क्योंकि इनमें विशेषता शून्य है। उनमें से पहला विभाजन क्षेत्र है $$x^2 -2$$; दूसरे में सामान्य एक्सटेंशन है जिसमें जटिल Root_of_unity शामिल है, और इसलिए यह एक विभाजन क्षेत्र नहीं है। वास्तव में, इसमें पहचान के अलावा कोई ऑटोमोर्फिज्म नहीं है, क्योंकि यह वास्तविक संख्याओं में निहित है $$x^3 -2$$ केवल एक ही वास्तविक जड़ है. अधिक विस्तृत उदाहरणों के लिए, गैलोज़ सिद्धांत के मौलिक प्रमेय पर पृष्ठ देखें।

एक बीजगणितीय समापन $$\bar K$$ एक मनमाने क्षेत्र का $$K$$ गैलोइस खत्म हो गया है $$K$$ अगर और केवल अगर $$K$$ एक आदर्श क्षेत्र है.

अग्रिम पठन

 * (Galois' original paper, with extensive background and commentary.)
 * (Chapter 4 gives an introduction to the field-theoretic approach to Galois theory.)
 * (This book introduces the reader to the Galois theory of Grothendieck, and some generalisations, leading to Galois groupoids.)
 * .  English translation (of 2nd revised edition):  (Later republished in English by Springer under the title "Algebra".)
 * (Chapter 4 gives an introduction to the field-theoretic approach to Galois theory.)
 * (This book introduces the reader to the Galois theory of Grothendieck, and some generalisations, leading to Galois groupoids.)
 * .  English translation (of 2nd revised edition):  (Later republished in English by Springer under the title "Algebra".)
 * .  English translation (of 2nd revised edition):  (Later republished in English by Springer under the title "Algebra".)
 * .  English translation (of 2nd revised edition):  (Later republished in English by Springer under the title "Algebra".)
 * .  English translation (of 2nd revised edition):  (Later republished in English by Springer under the title "Algebra".)
 * .  English translation (of 2nd revised edition):  (Later republished in English by Springer under the title "Algebra".)
 * .  English translation (of 2nd revised edition):  (Later republished in English by Springer under the title "Algebra".)