पूर्ण गैलोज़ समूह: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 12: | Line 12: | ||
* समष्टि गुणांक वाले तर्कसंगत कार्यों के क्षेत्र का पूर्ण गैलोज़ समूह मुफ़्त है, (एक अनंत समूह के रूप में)। यह परिणाम एड्रियन डौडी के कारण है और इसकी व्युत्पत्ति रीमैन के अस्तित्व प्रमेय में हुई है<ref>{{harvnb|Douady|1964}}</ref> | * समष्टि गुणांक वाले तर्कसंगत कार्यों के क्षेत्र का पूर्ण गैलोज़ समूह मुफ़्त है, (एक अनंत समूह के रूप में)। यह परिणाम एड्रियन डौडी के कारण है और इसकी व्युत्पत्ति रीमैन के अस्तित्व प्रमेय में हुई है<ref>{{harvnb|Douady|1964}}</ref> | ||
* अधिक सामान्यतः, मान लीजिए कि C बीजगणितीय रूप से संवृत फ़ील्ड है और x एक चर है। तब K = C(x) का पूर्ण गैलोज़ समूह C की कार्डिनैलिटी के बराबर रैंक से मुक्त है। यह परिणाम [[डेविड हार्बेटर]] और [[फ्लोरियन पॉप]] के कारण है, और बाद में बीजगणितीय तरीकों का उपयोग करके डैन हरन और [[मोशे जार्डन]] द्वारा भी सिद्ध किया गया था।<ref>{{harvnb|Harbater|1995}}</ref><ref>{{harvnb|Pop|1995}}</ref><ref>{{harvnb|Haran|Jarden|2000}}</ref> | * अधिक सामान्यतः, मान लीजिए कि C बीजगणितीय रूप से संवृत फ़ील्ड है और x एक चर है। तब K = C(x) का पूर्ण गैलोज़ समूह C की कार्डिनैलिटी के बराबर रैंक से मुक्त है। यह परिणाम [[डेविड हार्बेटर]] और [[फ्लोरियन पॉप]] के कारण है, और बाद में बीजगणितीय तरीकों का उपयोग करके डैन हरन और [[मोशे जार्डन]] द्वारा भी सिद्ध किया गया था।<ref>{{harvnb|Harbater|1995}}</ref><ref>{{harvnb|Pop|1995}}</ref><ref>{{harvnb|Haran|Jarden|2000}}</ref> | ||
* मान लीजिए K, p- | * मान लीजिए K, p-adic संख्याओं Qp का एक परिमित विस्तार है। पी ≠ 2 के लिए, इसका पूर्ण गैलोज़ समूह [K:Qp] + 3 तत्वों द्वारा उत्पन्न होता है और जनरेटर और संबंधों द्वारा इसका स्पष्ट विवरण होता है। यह उवे जैनसेन और के विंगबर्ग का परिणाम है।<ref>{{harvnb|Jannsen|Wingberg|1982}}</ref><ref>{{harvnb|Neukirch|Schmidt|Wingberg|2000|loc=theorem 7.5.10}}</ref> मामले में कुछ परिणाम ज्ञात हैं case p = 2,लेकिन Q2 की संरचना ज्ञात नहीं है।<ref>{{harvnb|Neukirch|Schmidt|Wingberg|2000|loc=§VII.5}}</ref> | ||
* | *एकअन्य स्थिति जिसमें पूर्ण गैलोज़ समूह निर्धारित किया गया है वह बीजगणितीय संख्याओं के क्षेत्र के सबसे बड़े पूर्णतः वास्तविक उपक्षेत्र के लिए है।<ref>{{cite web|url=http://math.uci.edu/~mfried/paplist-cov/QTotallyReal.pdf |title=क्वार्टर|access-date=2019-09-04}}</ref> | ||
| Line 19: | Line 19: | ||
* परिमेय संख्याओं के पूर्ण गैलोज़ समूह के लिए कोई प्रत्यक्ष विवरण ज्ञात नहीं है। इस मामले में, बेली के प्रमेय से यह पता चलता है कि पूर्ण गैलोज़ समूह का [[ग्रोथेंडिक]] (सतहों पर मानचित्र) के डेसिन्स डी एनफैंट्स पर एक वफादार कार्रवाई है, जो हमें बीजगणितीय संख्या क्षेत्रों के गैलोज़ सिद्धांत को देखने में सक्षम बनाता है। | * परिमेय संख्याओं के पूर्ण गैलोज़ समूह के लिए कोई प्रत्यक्ष विवरण ज्ञात नहीं है। इस मामले में, बेली के प्रमेय से यह पता चलता है कि पूर्ण गैलोज़ समूह का [[ग्रोथेंडिक]] (सतहों पर मानचित्र) के डेसिन्स डी एनफैंट्स पर एक वफादार कार्रवाई है, जो हमें बीजगणितीय संख्या क्षेत्रों के गैलोज़ सिद्धांत को देखने में सक्षम बनाता है। | ||
*मान लीजिए K परिमेय संख्याओं का अधिकतम [[एबेलियन विस्तार]] है। फिर 'शफ़ारेविच का अनुमान' | *मान लीजिए K परिमेय संख्याओं का अधिकतम [[एबेलियन विस्तार]] है। फिर 'शफ़ारेविच का अनुमान' अनुरोध करता है कि K का पूर्ण गैलोज़ समूह स्वतंत्र अनंत समूह है।<ref>{{harvnb|Neukirch|Schmidt|Wingberg|2000}}, p. 449.</ref> | ||
== कुछ सामान्य परिणाम == | == कुछ सामान्य परिणाम == | ||
* प्रत्येक अनंत समूह कुछ गैलोज़ विस्तार के गैलोज़ समूह के रूप में होता है,<ref name=FJ12>Fried & Jarden (2008) p.12</ref> हालाँकि, प्रत्येक अनंत समूह पूर्ण गैलोज़ समूह के रूप में नहीं होता है। उदाहरण के | * प्रत्येक अनंत समूह कुछ गैलोज़ विस्तार के गैलोज़ समूह के रूप में होता है,<ref name=FJ12>Fried & Jarden (2008) p.12</ref> हालाँकि, प्रत्येक अनंत समूह पूर्ण गैलोज़ समूह के रूप में नहीं होता है। उदाहरण के तौर पर, रियल क्लोज्ड फील्ड|आर्टिन-श्रेयर प्रमेय का अनुरोध है कि एकमात्र परिमित निरपेक्ष गैलोज़ समूह या तो नगण्य हैं या क्रम 2 के हैं, यानी केवल दो समरूपता वर्ग हैं। | ||
* प्रत्येक [[प्रक्षेप्य अनंत समूह]] को [[छद्म बीजगणितीय रूप से बंद क्षेत्र|छद्म बीजगणितीय रूप से संवृत क्षेत्र]] के पूर्ण गैलोज़ समूह के रूप में | * प्रत्येक [[प्रक्षेप्य अनंत समूह]] को [[छद्म बीजगणितीय रूप से बंद क्षेत्र|छद्म बीजगणितीय रूप से संवृत क्षेत्र]] के पूर्ण गैलोज़ समूह के रूप में स्पष्ट किया जा सकता है। यह परिणाम [[अलेक्जेंडर लुबोट्ज़की]] और [[लुई वैन डेन ड्रीस]] के कारण है।<ref name=FJ208>Fried & Jarden (2008) pp.208,545</ref> | ||
Revision as of 10:37, 26 July 2023
वास्तविक संख्याओं का पूर्ण गैलोज़ समूह समष्टि संयुग्मन द्वारा उत्पन्न क्रम 2 का एक चक्रीय समूह है, क्योंकि C, R और [C:R] = 2 का वियोज्य समापन है।
गणित में, पूर्ण गैलोज़ समूह GK जी एक क्षेत्र (गणित) का K, K का गैलोज़ समूह है Ksep के ऊपर, जहां Ksep K का एक पृथक्करणीय समापन है। वैकल्पिक रूप से यह K के बीजगणितीय समापन के आंतरिक स्वचालितता का समूह है जो K को ठीक करता है। पूर्ण गैलोज़ समूह को आंतरिक ऑटोमोर्फिज्म तक अच्छी तरह से परिभाषित किया गया है। यह एक अनंत समूह है.
(जब K एक आदर्श क्षेत्र है, Ksepबीजगणितीय समापन K के समान है K alg। यह उदाहरण रखता है। विशेषता शून्य के K के लिए, या K एक परिमित क्षेत्र के लिए।)
उदाहरण
- बीजगणितीय रूप से संवृत क्षेत्र का पूर्ण गैलोज़ समूह नगण्य है।
- वास्तविक संख्याओं का पूर्ण गैलोज़ समूह दो तत्वों (समष्टि संयुग्मन और पहचान मानचित्र) का एक चक्रीय समूह है, क्योंकि C, R और [C:R] = 2 का वियोज्य समापन है।
- एक परिमित क्षेत्र K का पूर्ण गैलोज़ समूह समूह के लिए समरूपी है
(नोटेशन के लिए, व्युत्क्रम सीमा देखें।)
- फ्रोबेनियस ऑटोमोर्फिज्म Fr, GK का एक विहित (टोपोलॉजिकल) जनरेटर है. (याद रखें कि Fr(x) = xq for all x in Kalg,जहां q, K में तत्वों की संख्या है।)
- समष्टि गुणांक वाले तर्कसंगत कार्यों के क्षेत्र का पूर्ण गैलोज़ समूह मुफ़्त है, (एक अनंत समूह के रूप में)। यह परिणाम एड्रियन डौडी के कारण है और इसकी व्युत्पत्ति रीमैन के अस्तित्व प्रमेय में हुई है[1]
- अधिक सामान्यतः, मान लीजिए कि C बीजगणितीय रूप से संवृत फ़ील्ड है और x एक चर है। तब K = C(x) का पूर्ण गैलोज़ समूह C की कार्डिनैलिटी के बराबर रैंक से मुक्त है। यह परिणाम डेविड हार्बेटर और फ्लोरियन पॉप के कारण है, और बाद में बीजगणितीय तरीकों का उपयोग करके डैन हरन और मोशे जार्डन द्वारा भी सिद्ध किया गया था।[2][3][4]
- मान लीजिए K, p-adic संख्याओं Qp का एक परिमित विस्तार है। पी ≠ 2 के लिए, इसका पूर्ण गैलोज़ समूह [K:Qp] + 3 तत्वों द्वारा उत्पन्न होता है और जनरेटर और संबंधों द्वारा इसका स्पष्ट विवरण होता है। यह उवे जैनसेन और के विंगबर्ग का परिणाम है।[5][6] मामले में कुछ परिणाम ज्ञात हैं case p = 2,लेकिन Q2 की संरचना ज्ञात नहीं है।[7]
- एकअन्य स्थिति जिसमें पूर्ण गैलोज़ समूह निर्धारित किया गया है वह बीजगणितीय संख्याओं के क्षेत्र के सबसे बड़े पूर्णतः वास्तविक उपक्षेत्र के लिए है।[8]
समस्याएँ
- परिमेय संख्याओं के पूर्ण गैलोज़ समूह के लिए कोई प्रत्यक्ष विवरण ज्ञात नहीं है। इस मामले में, बेली के प्रमेय से यह पता चलता है कि पूर्ण गैलोज़ समूह का ग्रोथेंडिक (सतहों पर मानचित्र) के डेसिन्स डी एनफैंट्स पर एक वफादार कार्रवाई है, जो हमें बीजगणितीय संख्या क्षेत्रों के गैलोज़ सिद्धांत को देखने में सक्षम बनाता है।
- मान लीजिए K परिमेय संख्याओं का अधिकतम एबेलियन विस्तार है। फिर 'शफ़ारेविच का अनुमान' अनुरोध करता है कि K का पूर्ण गैलोज़ समूह स्वतंत्र अनंत समूह है।[9]
कुछ सामान्य परिणाम
- प्रत्येक अनंत समूह कुछ गैलोज़ विस्तार के गैलोज़ समूह के रूप में होता है,[10] हालाँकि, प्रत्येक अनंत समूह पूर्ण गैलोज़ समूह के रूप में नहीं होता है। उदाहरण के तौर पर, रियल क्लोज्ड फील्ड|आर्टिन-श्रेयर प्रमेय का अनुरोध है कि एकमात्र परिमित निरपेक्ष गैलोज़ समूह या तो नगण्य हैं या क्रम 2 के हैं, यानी केवल दो समरूपता वर्ग हैं।
- प्रत्येक प्रक्षेप्य अनंत समूह को छद्म बीजगणितीय रूप से संवृत क्षेत्र के पूर्ण गैलोज़ समूह के रूप में स्पष्ट किया जा सकता है। यह परिणाम अलेक्जेंडर लुबोट्ज़की और लुई वैन डेन ड्रीस के कारण है।[11]
संदर्भ
- ↑ Douady 1964
- ↑ Harbater 1995
- ↑ Pop 1995
- ↑ Haran & Jarden 2000
- ↑ Jannsen & Wingberg 1982
- ↑ Neukirch, Schmidt & Wingberg 2000, theorem 7.5.10
- ↑ Neukirch, Schmidt & Wingberg 2000, §VII.5
- ↑ "क्वार्टर" (PDF). Retrieved 2019-09-04.
- ↑ Neukirch, Schmidt & Wingberg 2000, p. 449.
- ↑ Fried & Jarden (2008) p.12
- ↑ Fried & Jarden (2008) pp.208,545
स्रोत
- Douady, Adrien (1964), "Détermination d'un groupe de Galois", Comptes Rendus de l'Académie des Sciences de Paris, 258: 5305–5308, MR 0162796
- Fried, Michael D.; Jarden, Moshe (2008), Field arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, vol. 11 (3rd ed.), Springer-Verlag, ISBN 978-3-540-77269-9, Zbl 1145.12001
- Haran, Dan; Jarden, Moshe (2000), "The absolute Galois group of C(x)", Pacific Journal of Mathematics, 196 (2): 445–459, doi:10.2140/pjm.2000.196.445, MR 1800587
- Harbater, David (1995), "Fundamental groups and embedding problems in characteristic p", Recent developments in the inverse Galois problem (Seattle, WA, 1993), Contemporary Mathematics, vol. 186, Providence, Rhode Island: American Mathematical Society, pp. 353–369, MR 1352282
- Jannsen, Uwe; Wingberg, Kay (1982), "Die Struktur der absoluten Galoisgruppe -adischer Zahlkörper" (PDF), Inventiones Mathematicae, 70: 71–78, Bibcode:1982InMat..70...71J, doi:10.1007/bf01393199, S2CID 119378923
- Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, vol. 323, Berlin: Springer-Verlag, ISBN 978-3-540-66671-4, MR 1737196, Zbl 0948.11001
- Pop, Florian (1995), "Étale Galois covers of affine smooth curves. The geometric case of a conjecture of Shafarevich. On Abhyankar's conjecture", Inventiones Mathematicae, 120 (3): 555–578, Bibcode:1995InMat.120..555P, doi:10.1007/bf01241142, MR 1334484, S2CID 128157587
श्रेणी:गैलोइस सिद्धांत
