गैलोज़ विस्तार

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

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

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