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

From Vigyanwiki
(Created page with "{{short description|Theorem that describes the structure of certain types of field extensions}} {{More citations needed|date=January 2021}} गणित में, गैल...")
 
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}}
{{More citations needed|date=January 2021}}
गणित में, गैलोज़ सिद्धांत का मौलिक प्रमेय परिणाम है जो [[समूह (गणित)]] के संबंध में कुछ प्रकार के क्षेत्र विस्तार की संरचना का वर्णन करता है। इसे एवरिस्ट गैलोज़ ने गैलोज़ सिद्धांत के विकास में सिद्ध किया था।
गणित में, गैलोज़ सिद्धांत का मौलिक प्रमेय एक परिणाम है जो [[समूह (गणित)]] के संबंध में कुछ प्रकार के क्षेत्र विस्तार की संरचना का वर्णन करता है। इसे एवरिस्ट गैलोज़ ने गैलोज़ सिद्धांत के विकास में सिद्ध किया था।


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


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


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


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


==पत्राचार के गुण==
==पत्राचार के गुण==
Line 19: Line 18:


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


==उदाहरण 1==
==उदाहरण 1==
Line 32: Line 31:


:<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>
Line 56: Line 55:
:<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 के उपसमूह और संगत उपक्षेत्र इस प्रकार हैं:
Line 62: Line 61:
* हमेशा की तरह, तुच्छ समूह {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> डिग्री दो का, चूंकि उपसमूह में जी में उपसमूह दो का सूचकांक है: यानी। <math>[\Q(\omega):\Q]=\tfrac{|G|}{|H|}=2</math>. साथ ही, यह उपसमूह सामान्य है, इसलिए उपक्षेत्र सामान्य है <math>\Q</math>, का विभाजन क्षेत्र होने के नाते <math>x^2+x+1</math>. आधार क्षेत्र पर इसका गैलोज़ समूह भागफल समूह है <math>G/H = \{[1],[g]\}</math>, जहां [जी] जी मोडुलो एच के सहसमुच्चय को दर्शाता है; अर्थात्, इसका एकमात्र गैर-तुच्छ ऑटोमोर्फिज्म जटिल संयुग्मन जी है।
* क्रम 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> इन उपक्षेत्रों की डिग्री 3 से अधिक है <math>\Q</math> चूँकि उपसमूहों में G में उपसमूह 3 का सूचकांक है। उपसमूह G में सामान्य उपसमूह नहीं हैं, इसलिए उपक्षेत्र गैलोज़ या सामान्य विस्तार नहीं हैं <math>\Q</math>. वास्तव में, प्रत्येक उपक्षेत्र में जड़ों में से केवल ही होता है <math>\alpha_1,\alpha_2,\alpha_3</math>, इसलिए किसी के पास कोई गैर-तुच्छ ऑटोमोर्फिज्म नहीं है।
<!--would be nice to have a diagram of subgroups and subfields somewhere here!!! - and for the previous example too! - Dmharvey -->
 
 
==उदाहरण 3==
==उदाहरण 3==
होने देना <math>E=\Q(\lambda)</math> अनिश्चित λ में [[तर्कसंगत कार्यों का क्षेत्र]] बनें, और ऑटोमोर्फिज्म के समूह पर विचार करें:
होने देना <math>E=\Q(\lambda)</math> अनिश्चित λ में [[तर्कसंगत कार्यों का क्षेत्र]] बनें, और ऑटोमोर्फिज्म के समूह पर विचार करें:
Line 73: Line 69:
\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))
Line 79: Line 75:
होने देना <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>
Line 86: Line 82:
==अनुप्रयोग==
==अनुप्रयोग==
प्रमेय ई/एफ के मध्यवर्ती क्षेत्रों को [[परिमित समूह]] के संदर्भ में वर्गीकृत करता है। मध्यवर्ती क्षेत्रों और उपसमूहों के बीच यह अनुवाद महत्वपूर्ण है
प्रमेय ई/एफ के मध्यवर्ती क्षेत्रों को [[परिमित समूह]] के संदर्भ में वर्गीकृत करता है। मध्यवर्ती क्षेत्रों और उपसमूहों के बीच यह अनुवाद महत्वपूर्ण है
यह दिखाने के लिए कि [[सामान्य क्विंटिक समीकरण]] रेडिकल द्वारा हल करने योग्य नहीं है (एबेल-रफिनी प्रमेय देखें)। सबसे पहले [[ मौलिक विस्तार ]] के गैलोज़ समूहों को निर्धारित करता है (फॉर्म एफ (α) का एक्सटेंशन जहां α एफ के कुछ तत्व की एन-वें रूट है), और फिर मौलिक प्रमेय का उपयोग यह दिखाने के लिए करता है कि सॉल्व करने योग्य एक्सटेंशन सॉल्व करने योग्य समूहों के अनुरूप हैं।
यह दिखाने के लिए कि [[सामान्य क्विंटिक समीकरण]] रेडिकल द्वारा हल करने योग्य नहीं है (एबेल-रफिनी प्रमेय देखें)। सबसे पहले [[ मौलिक विस्तार |मौलिक विस्तार]] के गैलोज़ समूहों को निर्धारित करता है (फॉर्म एफ (α) का एक्सटेंशन जहां α एफ के कुछ तत्व की एन-वें रूट है), और फिर मौलिक प्रमेय का उपयोग यह दिखाने के लिए करता है कि सॉल्व करने योग्य एक्सटेंशन सॉल्व करने योग्य समूहों के अनुरूप हैं।


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


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


होने देना <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> असतत टोपोलॉजी के साथ<!-- Here I cannot decide just yet if it better to define it by the filter base around e given by gal(E/L_i)...? -->. अलग ढंग से कहा गया है <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>L \mapsto \text{Gal}(E/L)</math> और नक्शा
: <math>\Gamma : \mathcal{C}(G) \rightarrow \mathcal{F}(E/F)</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>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" />
 
 
== यह भी देखें ==
== यह भी देखें ==


Line 110: Line 105:
==संदर्भ==
==संदर्भ==
{{reflist}}
{{reflist}}
== अग्रिम पठन==
== अग्रिम पठन==
*{{cite book |last1=Milne|first1=J. S.|title=Fields and Galois Theory|publisher= Kea Books, Ann Arbor, MI|year=2022|url=https://www.jmilne.org/math/index.html|isbn=979-8-218-07399-2}}
*{{cite book |last1=Milne|first1=J. S.|title=Fields and Galois Theory|publisher= Kea Books, Ann Arbor, MI|year=2022|url=https://www.jmilne.org/math/index.html|isbn=979-8-218-07399-2}}
==बाहरी संबंध==
==बाहरी संबंध==
*{{Commons category-inline}}
*{{Commons category-inline}}

Revision as of 13:17, 23 July 2023

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

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

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

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

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

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

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

पत्राचार के गुण

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

  • यह समावेश-विपरीत है। उपसमूहों का समावेश एच1 ⊆ एच2 यदि और केवल फ़ील्ड ई को शामिल करने पर ही मान्य होता हैH1 ⊇ ईH2 धारण करता है.
  • विस्तार की डिग्री, समावेशन-उलटने वाली संपत्ति के अनुरूप तरीके से, समूहों के आदेशों से संबंधित होती है। विशेष रूप से, यदि H, गैल(E/F) का उपसमूह है, तो |H| = [ई:ईH] और |Gal(E/F)|/|H| = [ईएच:एफ].
  • फ़ील्ड ईHF का सामान्य विस्तार है (या, समकक्ष, गैलोइस एक्सटेंशन, क्योंकि अलग करने योग्य एक्सटेंशन का कोई भी उप-विस्तार अलग किया जा सकता है) यदि और केवल यदि H, गैल (ई/एफ) का सामान्य उपसमूह है। इस मामले में, गैल (ई/एफ) के तत्वों का ई तक प्रतिबंधएच गैल(ई) के बीच समूह समरूपता उत्पन्न करता है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} उपक्षेत्र से मेल खाता है तब से f ठीक करता है 3.
  • उपसमूह {1, g} उपक्षेत्र से मेल खाता है तब से g ठीक करता है 2.
  • उपसमूह {1, fg} उपक्षेत्र से मेल खाता है तब से fg ठीक करता है 6.

उदाहरण 2

उपसमूहों और उपक्षेत्रों की जाली

निम्नलिखित सबसे सरल मामला है जहां गैलोज़ समूह एबेलियन नहीं है। आइज़ेंस्टीन की कसौटी के विभाजन क्षेत्र K पर विचार करें ऊपर ; वह है, जहां θ 2 का घनमूल है, और ω 1 का घनमूल है (लेकिन स्वयं 1 नहीं)। यदि हम जटिल संख्याओं के अंदर K पर विचार करते हैं, तो हम ले सकते हैं , 2 का वास्तविक घनमूल, और चूँकि ω में न्यूनतम बहुपद है , विस्तृति डिग्री है:<ब्लॉककोट>, </ब्लॉककोट>के साथ -आधार जैसा कि पिछले उदाहरण में है। इसलिए गैलोज़ समूह इसमें छह तत्व हैं, जो तीन जड़ों के क्रमपरिवर्तन द्वारा निर्धारित होते हैं :<ब्लॉककोट>चूँकि वहाँ केवल 3 हैं! = 6 ऐसे क्रमपरिवर्तन, जी को तीन वस्तुओं के सभी क्रमपरिवर्तन के सममित समूह के लिए समरूपी होना चाहिए। समूह को दो ऑटोमोर्फिज्म f और g द्वारा परिभाषित किया जा सकता है:

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

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

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

उदाहरण 3

होने देना अनिश्चित λ में तर्कसंगत कार्यों का क्षेत्र बनें, और ऑटोमोर्फिज्म के समूह पर विचार करें:

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

अगर का उपसमूह है , फिर बहुपद के गुणांक

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

अनुप्रयोग

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

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

अनंत मामला

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

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

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


अब जब हमने गैलोज़ समूह पर टोपोलॉजी को परिभाषित कर लिया है तो हम अनंत गैलोज़ एक्सटेंशन के लिए मौलिक प्रमेय को दोबारा स्थापित कर सकते हैं।

होने देना के सभी परिमित मध्यवर्ती क्षेत्र विस्तारों के समुच्चय को निरूपित करें और जाने के सभी बंद उपसमूहों के समुच्चय को निरूपित करें क्रुल टोपोलॉजी से संपन्न। तब बीच में आपत्ति मौजूद रहती है और मानचित्र द्वारा दिया गया

द्वारा परिभाषित और नक्शा

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

यह भी देखें

संदर्भ

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

अग्रिम पठन

बाहरी संबंध