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

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

एमिल आर्टिन का परिणाम किसी को गैलोइस विस्तार का निर्माण इस प्रकार करने की अनुमति देता है जिससे कि यदि $$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".)