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

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

एमिल आर्टिन का परिणाम किसी को गैलोइस विस्तार का निर्माण इस प्रकार करने की अनुमति देता है: कि यदि $$E$$ एक दिया गया क्षेत्र है और $$G$$ निश्चित क्षेत्र $$F$$ के साथ $$E$$ के ऑटोमोर्फिज्म का एक सीमित समूह है, तब $$E/F$$ एक गैलोज़ विस्तार है।

गैलोइस विस्तार की विशेषता
एमिल आर्टिन का एक महत्वपूर्ण प्रमेय बताता है कि एक सीमित विस्तार के लिए $$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$$; दूसरे में सामान्य विस्तार है इस प्रकार जिसमें जटिल एकता_की_जड़ सम्मिलित है और इसलिए यह एक विभाजन क्षेत्र नहीं है। वास्तव में, इसमें पहचान के अतिरिक्त कोई ऑटोमोर्फिज्म नहीं है, क्योंकि यह वास्तविक संख्याओं में निहित है $$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".)