गैलोज़ सिद्धांत का मौलिक प्रमेय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{short description|Theorem that describes the structure of certain types of field extensions}}
{{short description|Theorem that describes the structure of certain types of field extensions}}
गणित में, गैलोज़ सिद्धांत का मौलिक प्रमेय परिणाम है जो [[समूह (गणित)]] के संबंध में कुछ प्रकार के क्षेत्र विस्तार की संरचना का वर्णन करता है। इसे एवरिस्ट गैलोज़ ने गैलोज़ सिद्धांत के विकास में सिद्ध किया था।
गणित में, '''गैलोज़ सिद्धांत का मौलिक प्रमेय''' वह परिणाम है जो किसी [[समूह (गणित)|समुच्चय (गणित)]] के संबंध में कुछ ऐसे प्रकार के क्षेत्रों के विस्तार की संरचना का वर्णन करता है। जिसे एवरिस्ट गैलोज़ ने गैलोज़ सिद्धांत के विकास में सिद्ध किया था।


अपने सबसे बुनियादी रूप में, प्रमेय का दावा है कि क्षेत्र विस्तार ''ई''/''एफ'' दिया गया है जो कि [[परिमित विस्तार]] और गैलोइस विस्तार है, इसके मध्यवर्ती क्षेत्रों और इसके [[उपसमूह]]ों के बीच एक-से-एक पत्राचार है [[गैलोइस समूह]]. (''मध्यवर्ती फ़ील्ड'' [[फ़ील्ड (गणित)]] ''K'' संतोषजनक ''F'' ⊆ ''K'' ⊆ ''E'' हैं; उन्हें ''E'' का ''उपविस्तार'' भी कहा जाता है '/''एफ''।)
मौलिक रूप में यदि देखे तो इस प्रमेय का परिमाण किसी क्षेत्र के विस्तार को E F द्वारा दिया जाता है, जो कि [[परिमित विस्तार]] और गैलोइस विस्तार द्वारा परिभाषित किया जाता है, इसके मध्यवर्ती क्षेत्रों और इसके [[उपसमूह|उपसमुच्चयों]] के बीच संचरण होता है, इस प्रकार [[गैलोइस समूह|गैलोइस समुच्चय]] किसी ''मध्यवर्ती क्षेत्र'' मुख्य रूप से [[फ़ील्ड (गणित)|क्षेत्र (गणित)]] ''K'' के संतोषजनक परिणाम ''F'' ⊆ ''K'' ⊆ ''E'' पर निर्भर करता हैं, उन्हें ''E'' का ''उपविस्तार'' ''<nowiki/>'/एफ।'' भी कहा जाता है।


==पत्राचार का स्पष्ट विवरण==
==संचरण का स्पष्ट विवरण==
परिमित विस्तारों के लिए, पत्राचार को स्पष्ट रूप से निम्नानुसार वर्णित किया जा सकता है।
परिमित विस्तारों के लिए उचित संचरण को स्पष्ट रूप से निम्नानुसार वर्णित किया जा सकता है।
* गैल (/एफ) के किसी भी उपसमूह एच के लिए, संबंधित निश्चित-बिंदु उपरिंग, ई को दर्शाया गया है<sup>H</sup>, E के उन तत्वों का समुच्चय (गणित) है जो H में प्रत्येक [[ स्वचालितता |स्वचालितता]] द्वारा निश्चित होते हैं।
* गैल (E/F) के किसी भी उपसमुच्चय H के लिए, संबंधित निश्चित-बिंदु उपवलय, E<sup>H</sup> को दर्शाया गया है, इस प्रकार E के उन तत्वों का समुच्चय गणित कहते है, जो H में प्रत्येक [[ स्वचालितता |स्वचालितता]] द्वारा निश्चित होते हैं।
* /एफ के किसी भी मध्यवर्ती क्षेत्र के के लिए, संबंधित उपसमूह ऑट (/के) है, यानी, गैल (/एफ) में उन ऑटोमोर्फिज्म का सेट जो के के प्रत्येक तत्व को ठीक करता है।
* E/F के किसी भी मध्यवर्ती क्षेत्र के के लिए, संबंधित उपसमुच्चय ऑट (E/K) है, अर्ताथ, गैल (E/F) में उन ऑटोमोर्फिज्म का सेट जो के प्रत्येक तत्व को ठीक करता है।


मौलिक प्रमेय कहता है कि यह पत्राचार एक-से-एक पत्राचार है यदि (और केवल यदि) ई/एफ गैलोज़ एक्सटेंशन है।
मौलिक प्रमेय के अनुसार, यह संचरण वन-टू-वन संचरण है, इस प्रकार यदि E/F गैलोज़ एक्सटेंशन पर निर्भर करता है। तो उदाहरण के लिए सबसे ऊपरी क्षेत्र E, गैल (E/F) के [[तुच्छ समूह|उप-समुच्चय]] से मेल खाता है, और आधार क्षेत्र F पूरे समुच्चय (गणित) गैल (E/F) से मेल खाता है।
उदाहरण के लिए, सबसे ऊपरी क्षेत्र E, गैल (/एफ) के [[तुच्छ समूह]] से मेल खाता है, और आधार क्षेत्र एफ पूरे समूह (गणित) गैल (/एफ) से मेल खाता है।


नोटेशन गैल(/एफ) का उपयोग केवल गैलोइस एक्सटेंशन के लिए किया जाता है। यदि /एफ गैलोज़ है, तो गैल(/एफ) = ऑट(/एफ)यदि /एफ गैलोज़ नहीं है, तो पत्राचार केवल [[इंजेक्शन]] (लेकिन [[विशेषण]] नहीं) मानचित्र देता है <math>\{\text{subgroups of Aut}(E/F)\}</math> को <math>\{\text{subfields of } E/F\}</math>, और विपरीत दिशा में विशेषण (लेकिन विशेषण नहीं) मानचित्र। विशेष रूप से, यदि /एफ गैलोइस नहीं है, तो एफ ऑट (/एफ) के किसी भी उपसमूह का निश्चित क्षेत्र नहीं है।
नोटेशन गैल(E/F) का उपयोग केवल गैलोइस एक्सटेंशन के लिए किया जाता है। यदि E/F गैलोज़ के समान होता है, तो गैल(E/F) = ऑट(E/F) के समान होगा। इसका कारण यह हैं यदि E/F गैलोज़ नहीं है, तो संचरण केवल [[इंजेक्शन]] अपितु [[विशेषण]] नहीं मानचित्र <math>\{\text{subgroups of Aut}(E/F)\}</math> को <math>\{\text{subfields of } E/F\}</math> में देता है, और इसके विपरीत दिशा में विशेषण अपितु विशेषण मानचित्र नहीं देता हैं। विशेष रूप से, यदि E/F गैलोइस नहीं है, तो F ऑट (E/F) के किसी भी उपसमुच्चय का निश्चित क्षेत्र नहीं है।


==पत्राचार के गुण==
==संचरण के गुण==
पत्राचार में निम्नलिखित उपयोगी गुण हैं।
संचरण में निम्नलिखित उपयोगी गुण हैं।


* यह समावेश-विपरीत है। उपसमूहों का समावेश एच<sub>1</sub> ⊆ एच<sub>2</sub> यदि और केवल फ़ील्ड ई को शामिल करने पर ही मान्य होता है<sup>H<sub>1</sub></sup> ⊇ <sup>H<sub>2</sub></sup> धारण करता है.
* यह समावेश-विपरीत है। इस प्रकार किसी उपसमुच्चय का समावेश H<sub>1</sub> ⊆ H<sub>2</sub> इस प्रकार हैं, यदि क्षेत्र E<sup>H<sub>1</sub></sup> ⊇ E<sup>H<sub>2</sub></sup> को इसमें सम्मिलित करने पर ही मान्य होता है तभी यह इसे उपयोग करता है।
* विस्तार की डिग्री, समावेशन-उलटने वाली संपत्ति के अनुरूप तरीके से, समूहों के आदेशों से संबंधित होती है। विशेष रूप से, यदि H, गैल(E/F) का उपसमूह है, तो |H| = [:<sup>H</sup>] और |Gal(E/F)|/|H| = [<sup>एच</sup>:एफ].
* विस्तार की डिग्री, समावेशन-उलटने वाली संपत्ति के अनुरूप तरीके से, समुच्चयों के आदेशों से संबंधित होती है। विशेष रूप से, यदि H, गैल(E/F) का उपसमुच्चय है, तो |H| = [E:E<sup>H</sup>] और |Gal(E/F)|/|H| = [E<sup>H</sup>:F] के समान होता हैं।
* फ़ील्ड ई<sup>H</sup>F का [[सामान्य विस्तार]] है (या, समकक्ष, गैलोइस एक्सटेंशन, क्योंकि अलग करने योग्य एक्सटेंशन का कोई भी उप-विस्तार अलग किया जा सकता है) यदि और केवल यदि H, गैल (/एफ) का [[सामान्य उपसमूह]] है। इस मामले में, गैल (/एफ) के तत्वों का ई तक प्रतिबंध<sup>एच</sup> गैल() के बीच [[समूह समरूपता]] उत्पन्न करता है<sup>H</sup>/F) और [[भागफल समूह]] Gal(E/F)/H.
* क्षेत्र E<sup>H</sup>F का [[सामान्य विस्तार]] है या इसके समकक्ष, गैलोइस एक्सटेंशन, क्योंकि अलग करने योग्य एक्सटेंशन का कोई भी उप-विस्तार अलग किया जा सकता है, इसका कारण यह हैं यदि H, गैल (E/F) का [[सामान्य उपसमूह|सामान्य उपसमुच्चय]] है। इस स्थिति में, गैल (E/F) के तत्वों का E<sup>H</sup> गैल(E)<sup>H</sup>/F) तक प्रतिबंध के बीच [[समूह समरूपता|समुच्चय समरूपता]] उत्पन्न करता है, और इसका [[भागफल समूह|भागफल समुच्चय]] Gal(E/F)/H के समान होता हैं।


==उदाहरण 1==
==उदाहरण 1==
[[File:Lattice diagram of Q adjoin the positive square roots of 2 and 3, its subfields, and Galois groups.svg|thumb|600px|उपसमूहों और उपक्षेत्रों की जाली]]क्षेत्र पर विचार करें
[[File:Lattice diagram of Q adjoin the positive square roots of 2 and 3, its subfields, and Galois groups.svg|thumb|600px|उपसमुच्चयों और उपक्षेत्रों की जाली]]इसके क्षेत्र पर विचार करें


:<math>K = \Q\left (\sqrt{2}, \sqrt{3} \right) = \left [\Q(\sqrt{2}) \right ]\!(\sqrt{3}).</math>
:<math>K = \Q\left (\sqrt{2}, \sqrt{3} \right) = \left [\Q(\sqrt{2}) \right ]\!(\sqrt{3}).</math>
तब से {{math|''K''}} का निर्माण आधार क्षेत्र से किया गया है <math>\mathbb Q</math> संलग्न करके {{math|{{sqrt|2}}}}, तब {{math|{{sqrt|3}}}}, प्रत्येक तत्व {{math|''K''}} को इस प्रकार लिखा जा सकता है:
तब से {{math|''K''}} का निर्माण आधार क्षेत्र <math>\mathbb Q</math> से किया गया है, जिसके लिए इसे संलग्न करके {{math|{{sqrt|2}}}}, तब {{math|{{sqrt|3}}}}, प्रत्येक तत्व {{math|''K''}} को इस प्रकार लिखा जा सकता है:


:<math>( a + b \sqrt{2}) +  ( c + d \sqrt{2}) \sqrt{3},\qquad a,b,c,d \in \Q.</math>
:<math>( a + b \sqrt{2}) +  ( c + d \sqrt{2}) \sqrt{3},\qquad a,b,c,d \in \Q.</math>
यह गैलोइस समूह है <math>G = \text{Gal}(K/\Q)</math> के ऑटोमोर्फिज्म शामिल हैं {{math|''K''}} जो ठीक करें {{math|''a''}}. ऐसी ऑटोमोर्फिज्म अवश्य भेजनी चाहिए {{math|{{sqrt|2}}}} को {{math|{{sqrt|2}}}} या {{math|–{{sqrt|2}}}}, और भेज दें {{math|{{sqrt|3}}}} को {{math|{{sqrt|3}}}} या {{math|–{{sqrt|3}}}}, क्योंकि वे किसी भी अप्रासंगिक बहुपद की जड़ों को क्रमबद्ध करते हैं। लगता है कि {{math|''f''}} आदान-प्रदान {{math|{{sqrt|2}}}} और {{math|–{{sqrt|2}}}}, इसलिए
यह गैलोइस समुच्चय है <math>G = \text{Gal}(K/\Q)</math> के ऑटोमोर्फिज्म सम्मिलित किया जाता हैं, इसका कारण यह हैं कि {{math|''K''}} जो {{math|''a''}} द्वारा ठीक करते हैं, ऐसी ऑटोमोर्फिज्म अवश्य भेजनी चाहिए {{math|{{sqrt|2}}}} को {{math|{{sqrt|2}}}} या {{math|–{{sqrt|2}}}}, और भेज दें {{math|{{sqrt|3}}}} को {{math|{{sqrt|3}}}} या {{math|–{{sqrt|3}}}}, क्योंकि वे किसी भी अप्रासंगिक बहुपद की मूलों को क्रमबद्ध करते हैं। इस प्रकार हम यह कह सकते हैं कि {{math|''f''}} आदान-प्रदान {{math|{{sqrt|2}}}} और {{math|–{{sqrt|2}}}}, इसलिए


:<math>f\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a-b\sqrt{2})+(c-d\sqrt{2})\sqrt{3}=a-b\sqrt{2}+c\sqrt{3}-d\sqrt{6},</math>
:<math>f\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a-b\sqrt{2})+(c-d\sqrt{2})\sqrt{3}=a-b\sqrt{2}+c\sqrt{3}-d\sqrt{6},</math>
और {{math|''g''}} आदान-प्रदान {{math|{{sqrt|3}}}} और {{math|–{{sqrt|3}}}}, इसलिए
और {{math|''g''}} आदान-प्रदान {{math|{{sqrt|3}}}} और {{math|–{{sqrt|3}}}} के लिए करते हैं, इसलिए


:<math>g\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a+b\sqrt{2})-(c+d\sqrt{2})\sqrt{3}=a+b\sqrt{2}-c\sqrt{3}-d\sqrt{6}.</math>
:<math>g\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a+b\sqrt{2})-(c+d\sqrt{2})\sqrt{3}=a+b\sqrt{2}-c\sqrt{3}-d\sqrt{6}.</math>
ये स्पष्ट रूप से ऑटोमोर्फिज्म हैं {{math|''K''}}, इसके जोड़ और गुणा का सम्मान करते हुए। पहचान ऑटोमोर्फिज़्म भी है {{math|''e''}} जो प्रत्येक तत्व और उसकी संरचना को ठीक करता है {{math|''f''}} और {{math|''g''}} जो दोनों मूलकों पर संकेत बदलता है:
ये स्पष्ट रूप से ऑटोमोर्फिज्म हैं {{math|''K''}}, इसके जोड़ और गुणा करत हैं। इसकी पहचान ऑटोमोर्फिज़्म {{math|''e''}} से की जाती हैं, जो प्रत्येक तत्व और उसकी संरचना को {{math|''f''}} और {{math|''g''}} से ठीक करता है, जो दोनों मूलकों पर प्राप्त होने वाले संकेतो को परिवर्तित करता है:


:<math>(fg)\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a-b\sqrt{2})-(c-d\sqrt{2})\sqrt{3}=a-b\sqrt{2}-c\sqrt{3}+d\sqrt{6}.</math>
:<math>(fg)\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a-b\sqrt{2})-(c-d\sqrt{2})\sqrt{3}=a-b\sqrt{2}-c\sqrt{3}+d\sqrt{6}.</math>
चूँकि गैलोज़ समूह का क्रम क्षेत्र विस्तार की डिग्री के बराबर है, <math>|G| = [K:\mathbb{Q}]=4</math>, आगे कोई स्वप्रतिरूपण नहीं हो सकता:
चूँकि गैलोज़ समुच्चय का क्रम क्षेत्र विस्तार की डिग्री के बराबर है, इस कारण <math>|G| = [K:\mathbb{Q}]=4</math> के समान होता हैं, आगे कोई स्वप्रतिरूपण नहीं हो सकता:


:<math>G = \left\{1, f, g, fg\right\},</math>
:<math>G = \left\{1, f, g, fg\right\},</math>
जो क्लेन चार-समूह के समरूपी है। इसके पांच उपसमूह आधार के बीच के मध्यवर्ती क्षेत्रों के अनुरूप हैं <math>\mathbb Q</math> और विस्तार {{math|''K''}}.
जो क्लेन चार-समुच्चय के समरूपी है। इसके पांच उपसमुच्चय आधार के बीच के मध्यवर्ती क्षेत्रों के <math>\mathbb Q</math> और विस्तार {{math|''K''}} के अनुरूप हैं।
* तुच्छ उपसमूह {{math|{1} }} संपूर्ण एक्सटेंशन फ़ील्ड से मेल खाता है {{math|''K''}}.
* स्यूडो उपसमुच्चय {{math|{1} }} संपूर्ण एक्सटेंशन क्षेत्र {{math|''K''}} से मेल खाता है।
* सम्पूर्ण समूह {{math|''G''}} आधार फ़ील्ड से मेल खाता है <math>\Q.</math>
* सम्पूर्ण समुच्चय {{math|''G''}} आधार क्षेत्र <math>\Q.</math> से मेल खाता है।
* उपसमूह {{math|{1, ''f''} }}उपक्षेत्र से मेल खाता है <math>\Q(\sqrt{3}),</math> तब से {{math|''f''}} ठीक करता है {{math|{{sqrt|3}}}}.
* उपसमुच्चय {{math|{1, ''f''} }}उपक्षेत्र से मेल खाता है <math>\Q(\sqrt{3}),</math> तब से {{math|''f''}}{{math|{{sqrt|3}}}} ठीक करता है।
* उपसमूह {{math|{1, ''g''} }}उपक्षेत्र से मेल खाता है <math>\Q(\sqrt{2}),</math> तब से {{math|''g''}} ठीक करता है {{math|{{sqrt|2}}}}.
* उपसमुच्चय {{math|{1, ''g''} }}उपक्षेत्र से मेल खाता है <math>\Q(\sqrt{2}),</math> तब से {{math|''g''}}{{math|{{sqrt|2}}}} ठीक करता है।
* उपसमूह {{math|{1, ''fg''} }}उपक्षेत्र से मेल खाता है <math>\Q(\sqrt{6}),</math> तब से {{math|''fg''}} ठीक करता है {{math|{{sqrt|6}}}}.
* उपसमुच्चय {{math|{1, ''fg''} }}उपक्षेत्र से मेल खाता है <math>\Q(\sqrt{6}),</math> तब से {{math|''fg''}}{{math|{{sqrt|6}}}} ठीक करता है।


==उदाहरण 2==
==उदाहरण 2==
[[File:Lattice diagram of Q adjoin a cube root of 2 and a primitive cube root of 1, its subfields, and Galois groups.svg|thumb|600px|उपसमूहों और उपक्षेत्रों की जाली]]निम्नलिखित सबसे सरल मामला है जहां गैलोज़ समूह एबेलियन नहीं है।
[[File:Lattice diagram of Q adjoin a cube root of 2 and a primitive cube root of 1, its subfields, and Galois groups.svg|thumb|600px|उपसमुच्चयों और उपक्षेत्रों की जाली]]निम्नलिखित सबसे साधारण स्थिति है, जहां गैलोज़ समुच्चय एबेलियन नहीं है।


आइज़ेंस्टीन की कसौटी के [[विभाजन क्षेत्र]] K पर विचार करें <math>x^3-2</math> ऊपर <math>\Q</math>; वह है, <math>K = \Q(\theta,\omega)</math> जहां θ 2 का घनमूल है, और ω 1 का घनमूल है (लेकिन स्वयं 1 नहीं)। यदि हम जटिल संख्याओं के अंदर K पर विचार करते हैं, तो हम ले सकते हैं <math>\theta=\sqrt[3]{2}</math>, 2 का वास्तविक घनमूल, और <math>\omega = -\tfrac{1}2 + i\tfrac{\sqrt3}2.</math> चूँकि ω में न्यूनतम बहुपद है <math>x^2+x+1</math>, विस्तृति <math>\mathbb{Q}\subset K</math> डिग्री है:<ब्लॉककोट><math>[\,K:\mathbb{Q}\,]=[\,K:\mathbb{Q}[\,\theta\,]\,]\cdot[\,\mathbb{Q}[\,\theta\,]:\mathbb{Q}\,]  
आइज़ेंस्टीन की कसौटी के [[विभाजन क्षेत्र]] K पर विचार करें, जहाँ <math>x^3-2</math> का मान <math>\Q</math> से ऊपर हैं, इस प्रकार <math>K = \Q(\theta,\omega)</math> के समान हैं। जहां θ 2 का घनमूल है, और ω 1 का घनमूल है, अपितु स्वयं 1 इसका कारण नहीं हैं। यदि हम जटिल संख्याओं के अंदर K पर विचार करते हैं, तो हम <math>\theta=\sqrt[3]{2}</math> ले सकते हैं, इस प्रकार 2 का वास्तविक घनमूल, और <math>\omega = -\tfrac{1}2 + i\tfrac{\sqrt3}2.</math> चूँकि ω में न्यूनतम बहुपद <math>x^2+x+1</math> है, इस प्रकार विस्तृति <math>\mathbb{Q}\subset K</math> डिग्री है:<math>[\,K:\mathbb{Q}\,]=[\,K:\mathbb{Q}[\,\theta\,]\,]\cdot[\,\mathbb{Q}[\,\theta\,]:\mathbb{Q}\,]  
= 2\cdot 3 = 6</math>, </ब्लॉककोट>के साथ <math>\Q</math>-आधार <math>\{1,\theta, \theta^2, \omega,\omega\theta,\omega\theta^2\}</math> जैसा कि पिछले उदाहरण में है। इसलिए गैलोज़ समूह <math>G=\text{Gal}(K/\Q)</math> इसमें छह तत्व हैं, जो तीन जड़ों के क्रमपरिवर्तन द्वारा निर्धारित होते हैं <math>x^3-2</math>:<ब्लॉककोट><math>\alpha_1=\theta, \ \alpha_2=\omega\theta, \ \alpha_3=\omega^2\theta.</math></blockquote>चूँकि वहाँ केवल 3 हैं! = 6 ऐसे क्रमपरिवर्तन, जी को तीन वस्तुओं के सभी क्रमपरिवर्तन के [[सममित समूह]] के लिए समरूपी होना चाहिए। समूह को दो ऑटोमोर्फिज्म f और g द्वारा परिभाषित किया जा सकता है:
= 2\cdot 3 = 6</math>, के साथ <math>\Q</math>-आधार <math>\{1,\theta, \theta^2, \omega,\omega\theta,\omega\theta^2\}</math> जैसा कि पिछले उदाहरण में है। इसलिए गैलोज़ समुच्चय <math>G=\text{Gal}(K/\Q)</math> इसमें छह तत्व हैं, जो तीन मूलों के क्रमपरिवर्तन द्वारा निर्धारित होते हैं <math>x^3-2</math>: <math>\alpha_1=\theta, \ \alpha_2=\omega\theta, \ \alpha_3=\omega^2\theta.</math>
 
चूँकि यहाँ केवल 3! = 6 हैं, ऐसे क्रमपरिवर्तन, G को तीन वस्तुओं के सभी क्रमपरिवर्तन के [[सममित समूह|सममित समुच्चय]] के लिए समरूपी होना चाहिए। इस प्रकार समुच्चय को दो ऑटोमोर्फिज्म f और g द्वारा परिभाषित किया जा सकता है:


:<math>f(\theta) = \omega \theta, \quad f(\omega) = \omega,</math>
:<math>f(\theta) = \omega \theta, \quad f(\omega) = \omega,</math>
:<math>g(\theta) = \theta, \quad g(\omega) = \omega^2,</math>
:<math>g(\theta) = \theta, \quad g(\omega) = \omega^2,</math>
और <math>G = \left\{ 1, f, f^2, g, gf, gf^2 \right\}</math>,रिश्तों का पालन करना <math>f^3=g^2=(gf)^2=1</math>. के क्रमपरिवर्तन के रूप में उनका प्रभाव <math>\alpha_1,\alpha_2,\alpha_3</math> है (क्रमपरिवर्तन#चक्र संकेतन में): <math>f=(123), g = (23)</math>. इसके अलावा, जी को [[ जटिल सन्युग्म |जटिल सन्युग्म]] मैपिंग के रूप में भी माना जा सकता है।
और <math>G = \left\{ 1, f, f^2, g, gf, gf^2 \right\}</math>, संबंधी <math>f^3=g^2=(gf)^2=1</math> का पालन करते हैं, जिसके क्रमपरिवर्तन के रूप में उनका प्रभाव क्रमपरिवर्तन चक्र संकेतन में <math>\alpha_1,\alpha_2,\alpha_3</math> है : <math>f=(123), g = (23)</math> इसके अतिरिक्त, G को [[ जटिल सन्युग्म |जटिल संयुग्म]] मैपिंग के रूप में भी माना जा सकता है।


G के उपसमूह और संगत उपक्षेत्र इस प्रकार हैं:
G के उपसमुच्चय और संगत उपक्षेत्र इस प्रकार हैं:


* हमेशा की तरह, तुच्छ समूह {1} संपूर्ण फ़ील्ड K से मेल खाता है, जबकि संपूर्ण समूह G आधार फ़ील्ड से मेल खाता है <math>\Q</math>.
* हमेशा की तरह, स्यूडो समुच्चय {1} संपूर्ण क्षेत्र K से मेल खाता है, जबकि संपूर्ण समुच्चय G आधार क्षेत्र <math>\Q</math> से मेल खाता है।
* क्रम 3 का अद्वितीय उपसमूह, <math>H = \{1, f, f^2\}</math>, उपक्षेत्र से मेल खाता है <math>\Q(\omega)</math> डिग्री दो का, चूंकि उपसमूह में जी में उपसमूह दो का सूचकांक है: यानी। <math>[\Q(\omega):\Q]=\tfrac{|G|}{|H|}=2</math>. साथ ही, यह उपसमूह सामान्य है, इसलिए उपक्षेत्र सामान्य है <math>\Q</math>, का विभाजन क्षेत्र होने के नाते <math>x^2+x+1</math>. आधार क्षेत्र पर इसका गैलोज़ समूह भागफल समूह है <math>G/H = \{[1],[g]\}</math>, जहां [जी] जी मोडुलो एच के सहसमुच्चय को दर्शाता है; अर्थात्, इसका एकमात्र गैर-तुच्छ ऑटोमोर्फिज्म जटिल संयुग्मन जी है।
* क्रम 3 का अद्वितीय उपसमुच्चय, <math>H = \{1, f, f^2\}</math>, उपक्षेत्र <math>\Q(\omega)</math> से मेल खाता है, जहाँ डिग्री दो का मान चूंकि उपसमुच्चय में G में उपसमुच्चय दो का सूचकांक है: अर्ताथ। <math>[\Q(\omega):\Q]=\tfrac{|G|}{|H|}=2</math> के समान होने के साथ ही, यह उपसमुच्चय सामान्य है, इसलिए उपक्षेत्र <math>\Q</math> सामान्य है, जिसका विभाजन क्षेत्र होने के नाते <math>x^2+x+1</math>. आधार क्षेत्र पर इसका गैलोज़ समुच्चय भागफल समुच्चय है। इस प्रकार<math>G/H = \{[1],[g]\}</math>, जहां [G] G प्रारूपों के लिए H के सहसमुच्चय को दर्शाता है, अर्थात इसका एकमात्र गैर-स्यूडो ऑटोमोर्फिज्म जटिल संयुग्मन G है।
* क्रम 2 के तीन उपसमूह हैं, <math>\{1, g\}, \{1, gf\}</math> और <math>\{1, gf^2\},</math> क्रमशः उपक्षेत्रों के अनुरूप <math>\Q(\theta), \Q(\omega \theta), \Q(\omega^2\theta ).</math> इन उपक्षेत्रों की डिग्री 3 से अधिक है <math>\Q</math> चूँकि उपसमूहों में G में उपसमूह 3 का सूचकांक है। उपसमूह G में सामान्य उपसमूह नहीं हैं, इसलिए उपक्षेत्र गैलोज़ या सामान्य विस्तार नहीं हैं <math>\Q</math>. वास्तव में, प्रत्येक उपक्षेत्र में जड़ों में से केवल ही होता है <math>\alpha_1,\alpha_2,\alpha_3</math>, इसलिए किसी के पास कोई गैर-तुच्छ ऑटोमोर्फिज्म नहीं है।
* क्रम 2 के तीन उपसमुच्चय <math>\{1, g\}, \{1, gf\}</math> और <math>\{1, gf^2\},</math> हैं, जो क्रमशः इन उपक्षेत्रों के अनुरूप <math>\Q(\theta), \Q(\omega \theta), \Q(\omega^2\theta ).</math> हैं। इस प्रकार इन उपक्षेत्रों की डिग्री <math>\Q</math> 3 से अधिक है, चूँकि उपसमुच्चयों में G में उपसमुच्चय 3 का सूचकांक है। जिसके लिए उपसमुच्चय G में सामान्य उपसमुच्चय नहीं हैं, इसलिए उपक्षेत्र गैलोज़ <math>\Q</math> या सामान्य विस्तार नहीं हैं, वास्तव में, प्रत्येक उपक्षेत्र में मूलों में से केवल <math>\alpha_1,\alpha_2,\alpha_3</math> ही होता है, इसलिए किसी के पास कोई गैर-स्यूडो ऑटोमोर्फिज्म नहीं है।
==उदाहरण 3==
==उदाहरण 3==
होने देना <math>E=\Q(\lambda)</math> अनिश्चित λ में [[तर्कसंगत कार्यों का क्षेत्र]] बनें, और ऑटोमोर्फिज्म के समूह पर विचार करें:
इस उदाहरण के अनुसार <math>E=\Q(\lambda)</math> के लिए अनिश्चित λ में [[तर्कसंगत कार्यों का क्षेत्र]] बनाये जाते हैं, और ऑटोमोर्फिज्म के समुच्चय पर विचार करते हैं:


:<math>G = \left\{\lambda, \frac{1}{1-\lambda}, \frac{\lambda-1}{\lambda},   
:<math>G = \left\{\lambda, \frac{1}{1-\lambda}, \frac{\lambda-1}{\lambda},   
Line 69: Line 70:
\right\} \subset \mathrm{Aut}(E);
\right\} \subset \mathrm{Aut}(E);
</math>
</math>
यहां हम ऑटोमोर्फिज्म को दर्शाते हैं <math>\phi:E\to E
यहां हम ऑटोमोर्फिज्म को <math>\phi:E\to E
</math> इसके मूल्य से <math>\phi(\lambda)
</math> से दर्शाते हैं, इसके मान <math>\phi(\lambda)
</math>, ताकि <math>f(\lambda)\mapsto f(\phi(\lambda))
</math> से जिससे कि <math>f(\lambda)\mapsto f(\phi(\lambda))
</math>. यह समूह समरूपी है <math>S_3</math> (देखें: क्रॉस-अनुपात#अनहार्मोनिक समूह और क्लेन चार-समूह|छह क्रॉस-अनुपात)।
</math> का मान प्राप्त हो सकते। यह समुच्चय समरूपी <math>S_3</math> है, इस प्रकार क्रॉस-अनुपात अनहार्मोनिक समुच्चय और क्लेन चार-समुच्चय या छह क्रॉस-अनुपात हैं। इस प्रकार <math>F</math> का निश्चित क्षेत्र <math>G</math> होता हैं, जिससे कि <math>{\rm Gal}(E/F) = G</math> का मान प्राप्त होता हैं।
होने देना <math>F</math> का निश्चित क्षेत्र हो <math>G</math>, ताकि <math>{\rm Gal}(E/F) = G</math>.


अगर <math>H</math> का उपसमूह है <math>G</math>, फिर बहुपद के गुणांक
यदि <math>H</math> का उपसमुच्चय <math>G</math> है, इसके लिए पुनः बहुपद के गुणांक


: <math>P(T) := \prod_{h \in H} (T - h) \in E[T]</math>
: <math>P(T) := \prod_{h \in H} (T - h) \in E[T]</math>
का निश्चित क्षेत्र उत्पन्न करें <math>H</math>. गैलोइस पत्राचार का तात्पर्य है कि प्रत्येक उपक्षेत्र <math>E/F</math> इस तरह से बनाया जा सकता है. उदाहरण के लिए, के लिए <math>H = \{\lambda, 1-\lambda\}</math>, निश्चित फ़ील्ड है <math>\Q( \lambda(1-\lambda))</math> और अगर <math>H = \{\lambda, \tfrac{1}{\lambda}\}</math> तो निश्चित फ़ील्ड है <math>\Q(\lambda + \tfrac{1}{\lambda})</math>. का निश्चित क्षेत्र <math>G</math> आधार क्षेत्र है <math>F=\Q(j),</math> कहाँ {{mvar|j}} J-अपरिवर्तनीय#वैकल्पिक अभिव्यक्ति है|{{mvar|j}}-[[मॉड्यूलर लैम्ब्डा फ़ंक्शन]] के संदर्भ में लिखा गया अपरिवर्तनीय:<ब्लॉककोट><math> j = \frac{256(1-\lambda(1-\lambda))^3}{(\lambda(1-\lambda))^2} = \frac{256(1-\lambda+\lambda^2)^3}{\lambda^2 (1-\lambda)^2} \ . </math></ब्लॉकउद्धरण>प्रत्येक प्लेटोनिक ठोस #समरूपता समूहों के लिए समान उदाहरण बनाए जा सकते हैं क्योंकि इनमें [[प्रक्षेप्य रेखा]] पर भी वफादार क्रियाएं होती हैं <math>\mathbb{P}^1(\Complex)</math> और इसलिए आगे <math>\Complex(x)</math>.
का निश्चित क्षेत्र <math>H</math> उत्पन्न करते हैं। इस प्रकार गैलोइस संचरण का तात्पर्य यह है कि प्रत्येक उपक्षेत्र <math>E/F</math> इस प्रकार से बनाये जा सकते है। उदाहरण के लिए <math>H = \{\lambda, 1-\lambda\}</math>, निश्चित क्षेत्र <math>\Q( \lambda(1-\lambda))</math> है। और यदि <math>H = \{\lambda, \tfrac{1}{\lambda}\}</math> तो निश्चित क्षेत्र <math>\Q(\lambda + \tfrac{1}{\lambda})</math> है। जिसका निश्चित क्षेत्र <math>G</math> आधार क्षेत्र <math>F=\Q(j),</math> है, जहाँ {{mvar|j}} J-अपरिवर्तनीय वैकल्पिक अभिव्यक्ति है। इस प्रकार {{mvar|j}}-[[मॉड्यूलर लैम्ब्डा फ़ंक्शन]] के संदर्भ में लिखा गया अपरिवर्तनीयता को परिभाषित करता हैं:
 
<math> j = \frac{256(1-\lambda(1-\lambda))^3}{(\lambda(1-\lambda))^2} = \frac{256(1-\lambda+\lambda^2)^3}{\lambda^2 (1-\lambda)^2} \ . </math>
 
प्रत्येक प्लेटोनिक ठोस समरूपता समुच्चयों के लिए समान उदाहरण बनाए जा सकते हैं, क्योंकि इनमें [[प्रक्षेप्य रेखा]] पर भी इस प्रकार की क्रियाएं होती हैं, जहाँ <math>\mathbb{P}^1(\Complex)</math> और इसलिए <math>\Complex(x)</math> से आगे रहता हैं।


==अनुप्रयोग==
==अनुप्रयोग==
प्रमेय /एफ के मध्यवर्ती क्षेत्रों को [[परिमित समूह]] के संदर्भ में वर्गीकृत करता है। मध्यवर्ती क्षेत्रों और उपसमूहों के बीच यह अनुवाद महत्वपूर्ण है
प्रमेय E/F के मध्यवर्ती क्षेत्रों को [[परिमित समूह|परिमित समुच्चय]] के संदर्भ में वर्गीकृत करता है। इस प्रकार मध्यवर्ती क्षेत्रों और उपसमुच्चयों के बीच यह अनुवाद महत्वपूर्ण है, यह दिखाने के लिए कि [[सामान्य क्विंटिक समीकरण]] रेडिकल द्वारा हल करने योग्य नहीं है, इसके लिए एबेल-रफिनी प्रमेय देखें। इस प्रकार सबसे पहले [[ मौलिक विस्तार |मौलिक विस्तार]] के गैलोज़ समुच्चयों को निर्धारित करता है, जहाँ फॉर्म F (α) का एक्सटेंशन प्राप्त होता हैं। जहाँ α F के कुछ तत्व की n-वें मूल को प्रदर्शित करते है, और फिर मौलिक प्रमेय का उपयोग यह दिखाने के लिए करता है कि इसे हल करने के योग्य एक्सटेंशन सॉल्व करने योग्य समुच्चयों के अनुरूप हैं।
यह दिखाने के लिए कि [[सामान्य क्विंटिक समीकरण]] रेडिकल द्वारा हल करने योग्य नहीं है (एबेल-रफिनी प्रमेय देखें)। सबसे पहले [[ मौलिक विस्तार |मौलिक विस्तार]] के गैलोज़ समूहों को निर्धारित करता है (फॉर्म एफ (α) का एक्सटेंशन जहां α एफ के कुछ तत्व की एन-वें रूट है), और फिर मौलिक प्रमेय का उपयोग यह दिखाने के लिए करता है कि सॉल्व करने योग्य एक्सटेंशन सॉल्व करने योग्य समूहों के अनुरूप हैं।


कुमेर सिद्धांत और [[वर्ग क्षेत्र सिद्धांत]] जैसे सिद्धांत मौलिक प्रमेय पर आधारित हैं।
यह मुख्य रूप से कुमेर सिद्धांत और [[वर्ग क्षेत्र सिद्धांत]] जैसे सिद्धांत मौलिक प्रमेय पर आधारित हैं।


==अनंत मामला==
==अनंत स्थिति==
एक अनंत बीजगणितीय विस्तार को देखते हुए हम अभी भी इसे गैलोज़ के रूप में परिभाषित कर सकते हैं यदि यह सामान्य और अलग करने योग्य है। अनंत मामले में जिस समस्या का सामना करना पड़ता है वह यह है कि मौलिक प्रमेय में आपत्ति मान्य नहीं है क्योंकि हमें आम तौर पर बहुत सारे उपसमूह मिलते हैं। अधिक सटीक रूप से यदि हम प्रत्येक उपसमूह को लें तो हम आम तौर पर दो अलग-अलग उपसमूह पा सकते हैं जो समान मध्यवर्ती क्षेत्र को ठीक करते हैं। इसलिए हम गैलोज़ समूह पर [[टोपोलॉजिकल स्पेस]] पेश करके इसमें संशोधन करते हैं।
अनंत बीजगणितीय विस्तार को देखते हुए हम अभी भी इसे गैलोज़ के रूप में परिभाषित कर सकते हैं, इसका कारण इस प्रका हैं यदि यह सामान्य और अलग करने योग्य है, तो अनंत स्थिति में जिस समस्या का सामना करना पड़ता है वह यह है कि मौलिक प्रमेय में आपत्ति मान्य नहीं है क्योंकि हमें सामान्यतः बहुत अधिक उपसमुच्चय प्राप्त होते हैं। इसके अधिक सटीक रूप से यदि हम प्रत्येक उपसमुच्चय को लें तो हम सामान्यतः दो अलग-अलग उपसमुच्चय पा सकते हैं, जो समान मध्यवर्ती क्षेत्र को ठीक करते हैं। इसलिए हम गैलोज़ समुच्चय पर [[टोपोलॉजिकल स्पेस]] पेश करके इसमें संशोधन करते हैं।


होने देना <math>E/F </math> गैलोइस एक्सटेंशन (संभवतः अनंत) बनें और रहने दें <math>G = \text{Gal}(E/F)</math> विस्तार का गैलोज़ समूह बनें। होने देना<math display="block">\text{Int}_\text{F}(E/F) = \{G_i = \text{Gal}(L_i/F)~|~L_i/F \text{ is a finite Galois extension and } L_i \subseteq E\}</math>सभी परिमित मध्यवर्ती गैलोज़ विस्तार के गैलोज़ समूहों का समुच्चय बनें। ध्यान दें कि सभी के लिए <math>i \in I</math> हम मानचित्रों को परिभाषित कर सकते हैं <math>\varphi_i : G \rightarrow G_i</math> द्वारा <math>\sigma \mapsto \sigma_{|L_i}</math>. फिर हम क्रुल टोपोलॉजी को परिभाषित करते हैं <math>G</math> यह सभी के लिए सबसे कमजोर टोपोलॉजी है <math>i \in I</math> मानचित्र <math>\varphi_i : G \rightarrow G_i</math> निरंतर हैं, जहां हम प्रत्येक को समर्थन देते हैं <math>G_i</math> असतत टोपोलॉजी के साथ. अलग ढंग से कहा गया है <math>G \cong \varprojlim G_i</math> [[टोपोलॉजिकल समूह]]ों की व्युत्क्रम सीमा के रूप में (जहाँ फिर से प्रत्येक)। <math>G_i</math> असतत टोपोलॉजी से संपन्न है)। यह बनाता है <math>G</math> [[अनंत समूह]] (वास्तव में प्रत्येक अनंत समूह को गैलोज़ विस्तार के गैलोज़ समूह के रूप में महसूस किया जा सकता है, उदाहरण के लिए देखें) <ref name=":0">{{Cite book|title=अनंत समूह|last=Ribes, Zalesskii|publisher=Springer|year=2010|isbn=978-3-642-01641-7}}</ref>). ध्यान दें कि कब <math>E/F</math> परिमित है, क्रुल टोपोलॉजी असतत टोपोलॉजी है।
इस प्रकार <math>E/F </math> गैलोइस एक्सटेंशन (संभवतः अनंत) बनें और रहने दें <math>G = \text{Gal}(E/F)</math> विस्तार का गैलोज़ समुच्चय बनाते हैं।<math display="block">\text{Int}_\text{F}(E/F) = \{G_i = \text{Gal}(L_i/F)~|~L_i/F \text{ is a finite Galois extension and } L_i \subseteq E\}</math>




अब जब हमने गैलोज़ समूह पर टोपोलॉजी को परिभाषित कर लिया है तो हम अनंत गैलोज़ एक्सटेंशन के लिए मौलिक प्रमेय को दोबारा स्थापित कर सकते हैं।
सभी परिमित मध्यवर्ती गैलोज़ विस्तार के गैलोज़ समुच्चयों का समुच्चय बनते हैं। यहाँ पर ध्यान दें कि सभी के लिए <math>i \in I</math> पर हम विभिन्न मानचित्रों को परिभाषित कर सकते हैं, इस प्रकार <math>\varphi_i : G \rightarrow G_i</math> द्वारा <math>\sigma \mapsto \sigma_{|L_i}</math>मान प्राप्त होते हैं, इस कारण पुनः हम क्रुल टोपोलॉजी <math>G</math> को परिभाषित करते हैं, यह सभी के लिए सबसे कमजोर टोपोलॉजी है, जहाँ पर <math>i \in I</math> मानचित्र <math>\varphi_i : G \rightarrow G_i</math> निरंतर हैं, जहां हम प्रत्येक  <math>G_i</math> को समर्थन देते हैं, इसका कारण असतत टोपोलॉजी के साथ इसे विभिन्न रूप से उपयोग करने पर प्राप्त होता हैं। इस प्रकार <math>G \cong \varprojlim G_i</math> [[टोपोलॉजिकल समूह|टोपोलॉजिकल समुच्चय]] की व्युत्क्रम सीमा के रूप में जहाँ फिर से प्रत्येक मान को हल किया जाता हैं। इस प्रकार <math>G_i</math> असतत टोपोलॉजी से संपन्न है। यह बनाता है कि <math>G</math> [[अनंत समूह|अनंत समुच्चय]] वास्तव में प्रत्येक अनंत समुच्चय को गैलोज़ विस्तार के गैलोज़ समुच्चय के रूप में प्राप्त किया जा सकता है,<ref name=":0">{{Cite book|title=अनंत समूह|last=Ribes, Zalesskii|publisher=Springer|year=2010|isbn=978-3-642-01641-7}}</ref> यहाँ पर ध्यान दें कि जब <math>E/F</math> परिमित होता है, तब क्रुल टोपोलॉजी असतत टोपोलॉजी के समान होती है।अब जब हमने गैलोज़ समुच्चय पर टोपोलॉजी को परिभाषित कर लिया है, तो हम अनंत गैलोज़ एक्सटेंशन के लिए मौलिक प्रमेय को दोबारा स्थापित कर सकते हैं।  


होने देना <math>\mathcal{F}</math> के सभी परिमित मध्यवर्ती क्षेत्र विस्तारों के समुच्चय को निरूपित करें <math>E/F</math> और जाने <math>\mathcal{C}</math> के सभी बंद उपसमूहों के समुच्चय को निरूपित करें <math>G = \text{Gal}(E/F)</math> क्रुल टोपोलॉजी से संपन्न। तब बीच में आपत्ति मौजूद रहती है <math>\mathcal{F}</math> और <math>\mathcal{C}</math> मानचित्र द्वारा दिया गया
इस प्रकार <math>\mathcal{F}</math> के सभी परिमित मध्यवर्ती क्षेत्र विस्तारों के समुच्चय को निरूपित करें, यहाँ पर <math>E/F</math> के लिए और <math>\mathcal{C}</math> के सभी संवृत उपसमुच्चयों के समुच्चय को <math>G = \text{Gal}(E/F)</math> से निरूपित करते हैं। इस प्रकार क्रुल टोपोलॉजी से संपन्न किया जाता हैं। तब इसके बीच में आपत्ति उपस्थित रहती है, जो <math>\mathcal{F}</math> और <math>\mathcal{C}</math> मानचित्र द्वारा इस प्रकार दी जाती हैं-
: <math>\Phi : \mathcal{F}(E/F) \rightarrow \mathcal{C}(G)</math>
: <math>\Phi : \mathcal{F}(E/F) \rightarrow \mathcal{C}(G)</math> द्वारा परिभाषित <math>L \mapsto \text{Gal}(E/L)</math> और मानचित्र <math>\Gamma : \mathcal{C}(G) \rightarrow \mathcal{F}(E/F)</math> द्वारा परिभाषित <math>N \mapsto \text{Fix}_E(N) := \{a \in E~|~\sigma(a) = a \text{ for all } \sigma \in N\}</math> के समान हैं। यहाँ पर महत्वपूर्ण बात यह हैं जो इसे जांचने के लिए आवश्यक है, वह <math>\Phi</math> है, जहाँ पर सुपरिभाषित मानचित्र है, यही <math>\Phi(L)</math> वह है जिसका संवृत उपसमुच्चय <math>G</math> है, जहाँ पर सभी मध्यवर्ती मानों के लिए इस प्रमाण के लिए उदाहरण देखें।<ref name=":0" />
द्वारा परिभाषित <math>L \mapsto \text{Gal}(E/L)</math> और नक्शा
: <math>\Gamma : \mathcal{C}(G) \rightarrow \mathcal{F}(E/F)</math>
द्वारा परिभाषित <math>N \mapsto \text{Fix}_E(N) := \{a \in E~|~\sigma(a) = a \text{ for all } \sigma \in N\}</math>. महत्वपूर्ण बात जो जांचने की जरूरत है वह है <math>\Phi</math> सुपरिभाषित मानचित्र है, यही वह है <math>\Phi(L)</math> का बंद उपसमूह है <math>G</math> सभी मध्यवर्ती के लिए. प्रमाण के लिए उदाहरण देखें।<ref name=":0" />
== यह भी देखें ==
== यह भी देखें ==



Revision as of 17:45, 23 July 2023

गणित में, गैलोज़ सिद्धांत का मौलिक प्रमेय वह परिणाम है जो किसी समुच्चय (गणित) के संबंध में कुछ ऐसे प्रकार के क्षेत्रों के विस्तार की संरचना का वर्णन करता है। जिसे एवरिस्ट गैलोज़ ने गैलोज़ सिद्धांत के विकास में सिद्ध किया था।

मौलिक रूप में यदि देखे तो इस प्रमेय का परिमाण किसी क्षेत्र के विस्तार को E F द्वारा दिया जाता है, जो कि परिमित विस्तार और गैलोइस विस्तार द्वारा परिभाषित किया जाता है, इसके मध्यवर्ती क्षेत्रों और इसके उपसमुच्चयों के बीच संचरण होता है, इस प्रकार गैलोइस समुच्चय किसी मध्यवर्ती क्षेत्र मुख्य रूप से क्षेत्र (गणित) K के संतोषजनक परिणाम FKE पर निर्भर करता हैं, उन्हें E का उपविस्तार '/एफ। भी कहा जाता है।

संचरण का स्पष्ट विवरण

परिमित विस्तारों के लिए उचित संचरण को स्पष्ट रूप से निम्नानुसार वर्णित किया जा सकता है।

  • गैल (E/F) के किसी भी उपसमुच्चय H के लिए, संबंधित निश्चित-बिंदु उपवलय, EH को दर्शाया गया है, इस प्रकार E के उन तत्वों का समुच्चय गणित कहते है, जो H में प्रत्येक स्वचालितता द्वारा निश्चित होते हैं।
  • E/F के किसी भी मध्यवर्ती क्षेत्र के के लिए, संबंधित उपसमुच्चय ऑट (E/K) है, अर्ताथ, गैल (E/F) में उन ऑटोमोर्फिज्म का सेट जो के प्रत्येक तत्व को ठीक करता है।

मौलिक प्रमेय के अनुसार, यह संचरण वन-टू-वन संचरण है, इस प्रकार यदि E/F गैलोज़ एक्सटेंशन पर निर्भर करता है। तो उदाहरण के लिए सबसे ऊपरी क्षेत्र E, गैल (E/F) के उप-समुच्चय से मेल खाता है, और आधार क्षेत्र F पूरे समुच्चय (गणित) गैल (E/F) से मेल खाता है।

नोटेशन गैल(E/F) का उपयोग केवल गैलोइस एक्सटेंशन के लिए किया जाता है। यदि E/F गैलोज़ के समान होता है, तो गैल(E/F) = ऑट(E/F) के समान होगा। इसका कारण यह हैं यदि E/F गैलोज़ नहीं है, तो संचरण केवल इंजेक्शन अपितु विशेषण नहीं मानचित्र को में देता है, और इसके विपरीत दिशा में विशेषण अपितु विशेषण मानचित्र नहीं देता हैं। विशेष रूप से, यदि E/F गैलोइस नहीं है, तो F ऑट (E/F) के किसी भी उपसमुच्चय का निश्चित क्षेत्र नहीं है।

संचरण के गुण

संचरण में निम्नलिखित उपयोगी गुण हैं।

  • यह समावेश-विपरीत है। इस प्रकार किसी उपसमुच्चय का समावेश H1 ⊆ H2 इस प्रकार हैं, यदि क्षेत्र EH1 ⊇ EH2 को इसमें सम्मिलित करने पर ही मान्य होता है तभी यह इसे उपयोग करता है।
  • विस्तार की डिग्री, समावेशन-उलटने वाली संपत्ति के अनुरूप तरीके से, समुच्चयों के आदेशों से संबंधित होती है। विशेष रूप से, यदि H, गैल(E/F) का उपसमुच्चय है, तो |H| = [E:EH] और |Gal(E/F)|/|H| = [EH:F] के समान होता हैं।
  • क्षेत्र EHF का सामान्य विस्तार है या इसके समकक्ष, गैलोइस एक्सटेंशन, क्योंकि अलग करने योग्य एक्सटेंशन का कोई भी उप-विस्तार अलग किया जा सकता है, इसका कारण यह हैं यदि H, गैल (E/F) का सामान्य उपसमुच्चय है। इस स्थिति में, गैल (E/F) के तत्वों का EH गैल(E)H/F) तक प्रतिबंध के बीच समुच्चय समरूपता उत्पन्न करता है, और इसका भागफल समुच्चय Gal(E/F)/H के समान होता हैं।

उदाहरण 1

उपसमुच्चयों और उपक्षेत्रों की जाली

इसके क्षेत्र पर विचार करें

तब से K का निर्माण आधार क्षेत्र से किया गया है, जिसके लिए इसे संलग्न करके 2, तब 3, प्रत्येक तत्व K को इस प्रकार लिखा जा सकता है:

यह गैलोइस समुच्चय है के ऑटोमोर्फिज्म सम्मिलित किया जाता हैं, इसका कारण यह हैं कि K जो a द्वारा ठीक करते हैं, ऐसी ऑटोमोर्फिज्म अवश्य भेजनी चाहिए 2 को 2 या 2, और भेज दें 3 को 3 या 3, क्योंकि वे किसी भी अप्रासंगिक बहुपद की मूलों को क्रमबद्ध करते हैं। इस प्रकार हम यह कह सकते हैं कि f आदान-प्रदान 2 और 2, इसलिए

और g आदान-प्रदान 3 और 3 के लिए करते हैं, इसलिए

ये स्पष्ट रूप से ऑटोमोर्फिज्म हैं K, इसके जोड़ और गुणा करत हैं। इसकी पहचान ऑटोमोर्फिज़्म e से की जाती हैं, जो प्रत्येक तत्व और उसकी संरचना को f और g से ठीक करता है, जो दोनों मूलकों पर प्राप्त होने वाले संकेतो को परिवर्तित करता है:

चूँकि गैलोज़ समुच्चय का क्रम क्षेत्र विस्तार की डिग्री के बराबर है, इस कारण के समान होता हैं, आगे कोई स्वप्रतिरूपण नहीं हो सकता:

जो क्लेन चार-समुच्चय के समरूपी है। इसके पांच उपसमुच्चय आधार के बीच के मध्यवर्ती क्षेत्रों के और विस्तार K के अनुरूप हैं।

  • स्यूडो उपसमुच्चय {1} संपूर्ण एक्सटेंशन क्षेत्र K से मेल खाता है।
  • सम्पूर्ण समुच्चय G आधार क्षेत्र से मेल खाता है।
  • उपसमुच्चय {1, f} उपक्षेत्र से मेल खाता है तब से f3 ठीक करता है।
  • उपसमुच्चय {1, g} उपक्षेत्र से मेल खाता है तब से g2 ठीक करता है।
  • उपसमुच्चय {1, fg} उपक्षेत्र से मेल खाता है तब से fg6 ठीक करता है।

उदाहरण 2

उपसमुच्चयों और उपक्षेत्रों की जाली

निम्नलिखित सबसे साधारण स्थिति है, जहां गैलोज़ समुच्चय एबेलियन नहीं है।

आइज़ेंस्टीन की कसौटी के विभाजन क्षेत्र K पर विचार करें, जहाँ का मान से ऊपर हैं, इस प्रकार के समान हैं। जहां θ 2 का घनमूल है, और ω 1 का घनमूल है, अपितु स्वयं 1 इसका कारण नहीं हैं। यदि हम जटिल संख्याओं के अंदर K पर विचार करते हैं, तो हम ले सकते हैं, इस प्रकार 2 का वास्तविक घनमूल, और चूँकि ω में न्यूनतम बहुपद है, इस प्रकार विस्तृति डिग्री है:, के साथ -आधार जैसा कि पिछले उदाहरण में है। इसलिए गैलोज़ समुच्चय इसमें छह तत्व हैं, जो तीन मूलों के क्रमपरिवर्तन द्वारा निर्धारित होते हैं :

चूँकि यहाँ केवल 3! = 6 हैं, ऐसे क्रमपरिवर्तन, G को तीन वस्तुओं के सभी क्रमपरिवर्तन के सममित समुच्चय के लिए समरूपी होना चाहिए। इस प्रकार समुच्चय को दो ऑटोमोर्फिज्म f और g द्वारा परिभाषित किया जा सकता है:

और , संबंधी का पालन करते हैं, जिसके क्रमपरिवर्तन के रूप में उनका प्रभाव क्रमपरिवर्तन चक्र संकेतन में है : इसके अतिरिक्त, G को जटिल संयुग्म मैपिंग के रूप में भी माना जा सकता है।

G के उपसमुच्चय और संगत उपक्षेत्र इस प्रकार हैं:

  • हमेशा की तरह, स्यूडो समुच्चय {1} संपूर्ण क्षेत्र K से मेल खाता है, जबकि संपूर्ण समुच्चय G आधार क्षेत्र से मेल खाता है।
  • क्रम 3 का अद्वितीय उपसमुच्चय, , उपक्षेत्र से मेल खाता है, जहाँ डिग्री दो का मान चूंकि उपसमुच्चय में G में उपसमुच्चय दो का सूचकांक है: अर्ताथ। के समान होने के साथ ही, यह उपसमुच्चय सामान्य है, इसलिए उपक्षेत्र सामान्य है, जिसका विभाजन क्षेत्र होने के नाते . आधार क्षेत्र पर इसका गैलोज़ समुच्चय भागफल समुच्चय है। इस प्रकार, जहां [G] G प्रारूपों के लिए H के सहसमुच्चय को दर्शाता है, अर्थात इसका एकमात्र गैर-स्यूडो ऑटोमोर्फिज्म जटिल संयुग्मन G है।
  • क्रम 2 के तीन उपसमुच्चय और हैं, जो क्रमशः इन उपक्षेत्रों के अनुरूप हैं। इस प्रकार इन उपक्षेत्रों की डिग्री 3 से अधिक है, चूँकि उपसमुच्चयों में G में उपसमुच्चय 3 का सूचकांक है। जिसके लिए उपसमुच्चय G में सामान्य उपसमुच्चय नहीं हैं, इसलिए उपक्षेत्र गैलोज़ या सामान्य विस्तार नहीं हैं, वास्तव में, प्रत्येक उपक्षेत्र में मूलों में से केवल ही होता है, इसलिए किसी के पास कोई गैर-स्यूडो ऑटोमोर्फिज्म नहीं है।

उदाहरण 3

इस उदाहरण के अनुसार के लिए अनिश्चित λ में तर्कसंगत कार्यों का क्षेत्र बनाये जाते हैं, और ऑटोमोर्फिज्म के समुच्चय पर विचार करते हैं:

यहां हम ऑटोमोर्फिज्म को से दर्शाते हैं, इसके मान से जिससे कि का मान प्राप्त हो सकते। यह समुच्चय समरूपी है, इस प्रकार क्रॉस-अनुपात अनहार्मोनिक समुच्चय और क्लेन चार-समुच्चय या छह क्रॉस-अनुपात हैं। इस प्रकार का निश्चित क्षेत्र होता हैं, जिससे कि का मान प्राप्त होता हैं।

यदि का उपसमुच्चय है, इसके लिए पुनः बहुपद के गुणांक

का निश्चित क्षेत्र उत्पन्न करते हैं। इस प्रकार गैलोइस संचरण का तात्पर्य यह है कि प्रत्येक उपक्षेत्र इस प्रकार से बनाये जा सकते है। उदाहरण के लिए , निश्चित क्षेत्र है। और यदि तो निश्चित क्षेत्र है। जिसका निश्चित क्षेत्र आधार क्षेत्र है, जहाँ j J-अपरिवर्तनीय वैकल्पिक अभिव्यक्ति है। इस प्रकार j-मॉड्यूलर लैम्ब्डा फ़ंक्शन के संदर्भ में लिखा गया अपरिवर्तनीयता को परिभाषित करता हैं:

प्रत्येक प्लेटोनिक ठोस समरूपता समुच्चयों के लिए समान उदाहरण बनाए जा सकते हैं, क्योंकि इनमें प्रक्षेप्य रेखा पर भी इस प्रकार की क्रियाएं होती हैं, जहाँ और इसलिए से आगे रहता हैं।

अनुप्रयोग

प्रमेय E/F के मध्यवर्ती क्षेत्रों को परिमित समुच्चय के संदर्भ में वर्गीकृत करता है। इस प्रकार मध्यवर्ती क्षेत्रों और उपसमुच्चयों के बीच यह अनुवाद महत्वपूर्ण है, यह दिखाने के लिए कि सामान्य क्विंटिक समीकरण रेडिकल द्वारा हल करने योग्य नहीं है, इसके लिए एबेल-रफिनी प्रमेय देखें। इस प्रकार सबसे पहले मौलिक विस्तार के गैलोज़ समुच्चयों को निर्धारित करता है, जहाँ फॉर्म F (α) का एक्सटेंशन प्राप्त होता हैं। जहाँ α F के कुछ तत्व की n-वें मूल को प्रदर्शित करते है, और फिर मौलिक प्रमेय का उपयोग यह दिखाने के लिए करता है कि इसे हल करने के योग्य एक्सटेंशन सॉल्व करने योग्य समुच्चयों के अनुरूप हैं।

यह मुख्य रूप से कुमेर सिद्धांत और वर्ग क्षेत्र सिद्धांत जैसे सिद्धांत मौलिक प्रमेय पर आधारित हैं।

अनंत स्थिति

अनंत बीजगणितीय विस्तार को देखते हुए हम अभी भी इसे गैलोज़ के रूप में परिभाषित कर सकते हैं, इसका कारण इस प्रका हैं यदि यह सामान्य और अलग करने योग्य है, तो अनंत स्थिति में जिस समस्या का सामना करना पड़ता है वह यह है कि मौलिक प्रमेय में आपत्ति मान्य नहीं है क्योंकि हमें सामान्यतः बहुत अधिक उपसमुच्चय प्राप्त होते हैं। इसके अधिक सटीक रूप से यदि हम प्रत्येक उपसमुच्चय को लें तो हम सामान्यतः दो अलग-अलग उपसमुच्चय पा सकते हैं, जो समान मध्यवर्ती क्षेत्र को ठीक करते हैं। इसलिए हम गैलोज़ समुच्चय पर टोपोलॉजिकल स्पेस पेश करके इसमें संशोधन करते हैं।

इस प्रकार गैलोइस एक्सटेंशन (संभवतः अनंत) बनें और रहने दें विस्तार का गैलोज़ समुच्चय बनाते हैं।


सभी परिमित मध्यवर्ती गैलोज़ विस्तार के गैलोज़ समुच्चयों का समुच्चय बनते हैं। यहाँ पर ध्यान दें कि सभी के लिए पर हम विभिन्न मानचित्रों को परिभाषित कर सकते हैं, इस प्रकार द्वारा मान प्राप्त होते हैं, इस कारण पुनः हम क्रुल टोपोलॉजी को परिभाषित करते हैं, यह सभी के लिए सबसे कमजोर टोपोलॉजी है, जहाँ पर मानचित्र निरंतर हैं, जहां हम प्रत्येक को समर्थन देते हैं, इसका कारण असतत टोपोलॉजी के साथ इसे विभिन्न रूप से उपयोग करने पर प्राप्त होता हैं। इस प्रकार टोपोलॉजिकल समुच्चय की व्युत्क्रम सीमा के रूप में जहाँ फिर से प्रत्येक मान को हल किया जाता हैं। इस प्रकार असतत टोपोलॉजी से संपन्न है। यह बनाता है कि अनंत समुच्चय वास्तव में प्रत्येक अनंत समुच्चय को गैलोज़ विस्तार के गैलोज़ समुच्चय के रूप में प्राप्त किया जा सकता है,[1] यहाँ पर ध्यान दें कि जब परिमित होता है, तब क्रुल टोपोलॉजी असतत टोपोलॉजी के समान होती है।अब जब हमने गैलोज़ समुच्चय पर टोपोलॉजी को परिभाषित कर लिया है, तो हम अनंत गैलोज़ एक्सटेंशन के लिए मौलिक प्रमेय को दोबारा स्थापित कर सकते हैं।

इस प्रकार के सभी परिमित मध्यवर्ती क्षेत्र विस्तारों के समुच्चय को निरूपित करें, यहाँ पर के लिए और के सभी संवृत उपसमुच्चयों के समुच्चय को से निरूपित करते हैं। इस प्रकार क्रुल टोपोलॉजी से संपन्न किया जाता हैं। तब इसके बीच में आपत्ति उपस्थित रहती है, जो और मानचित्र द्वारा इस प्रकार दी जाती हैं-

द्वारा परिभाषित और मानचित्र द्वारा परिभाषित के समान हैं। यहाँ पर महत्वपूर्ण बात यह हैं जो इसे जांचने के लिए आवश्यक है, वह है, जहाँ पर सुपरिभाषित मानचित्र है, यही वह है जिसका संवृत उपसमुच्चय है, जहाँ पर सभी मध्यवर्ती मानों के लिए इस प्रमाण के लिए उदाहरण देखें।[1]

यह भी देखें

संदर्भ

  1. 1.0 1.1 Ribes, Zalesskii (2010). अनंत समूह. Springer. ISBN 978-3-642-01641-7.

अग्रिम पठन

बाहरी संबंध