पूर्ण गैलोज़ समूह: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[File:Complex conjugate picture.svg|right|thumb| [[वास्तविक संख्या]]ओं का पूर्ण गैलोज़ समूह समष्टि संयुग्मन द्वारा उत्पन्न क्रम 2 का एक [[चक्रीय समूह]] है, क्योंकि C, R और [C:R] = 2 का वियोज्य समापन है।]]गणित में, पूर्ण गैलोज़ समूह ''G<sub>K</sub>'' जी एक क्षेत्र (गणित) का K, K का गैलोज़ समूह है ''K''<sup>sep</sup> के ऊपर, जहां K<sup>sep</sup> K का एक पृथक्करणीय समापन है। वैकल्पिक रूप से यह K के [[बीजगणितीय समापन]] के [[आंतरिक स्वचालितता]] का समूह है जो K को ठीक करता है। पूर्ण गैलोज़ समूह को आंतरिक ऑटोमोर्फिज्म [[तक]] अच्छी तरह से परिभाषित किया गया है। यह एक [[अनंत समूह]] है. | [[File:Complex conjugate picture.svg|right|thumb| [[वास्तविक संख्या]]ओं का पूर्ण गैलोज़ समूह समष्टि संयुग्मन द्वारा उत्पन्न क्रम 2 का एक [[चक्रीय समूह]] है, क्योंकि C, R और [C:R] = 2 का वियोज्य समापन है।]]गणित में, पूर्ण गैलोज़ समूह ''G<sub>K</sub>'' जी एक क्षेत्र (गणित) का K, K का गैलोज़ समूह है ''K''<sup>sep</sup> के ऊपर, जहां K<sup>sep</sup> K का एक पृथक्करणीय समापन है। वैकल्पिक रूप से यह K के [[बीजगणितीय समापन]] के [[आंतरिक स्वचालितता]] का समूह है जो K को ठीक करता है। पूर्ण गैलोज़ समूह को आंतरिक ऑटोमोर्फिज्म [[तक]] अच्छी तरह से परिभाषित किया गया है। यह एक [[अनंत समूह]] है. | ||
(जब K एक आदर्श क्षेत्र है, K<sup>sep</sup>बीजगणितीय समापन K के समान है <sup>K alg</sup>। यह उदाहरण रखता है। [[विशेषता शून्य]] के K के लिए, या K एक [[परिमित क्षेत्र]] के लिए।) | (जब K एक आदर्श क्षेत्र है, ''K<sup>sep</sup>'' बीजगणितीय समापन K के समान है <sup>K alg</sup>। यह उदाहरण रखता है। [[विशेषता शून्य]] के K के लिए, या K एक [[परिमित क्षेत्र]] के लिए।) | ||
== उदाहरण == | == उदाहरण == | ||
| Line 9: | Line 9: | ||
::<math> \hat{\mathbf{Z}} = \varprojlim \mathbf{Z}/n\mathbf{Z}. </math> | ::<math> \hat{\mathbf{Z}} = \varprojlim \mathbf{Z}/n\mathbf{Z}. </math> | ||
(नोटेशन के लिए, व्युत्क्रम सीमा देखें।) | (नोटेशन के लिए, व्युत्क्रम सीमा देखें।) | ||
:[[फ्रोबेनियस ऑटोमोर्फिज्म]] Fr, ''G<sub>K</sub>'' का एक विहित (टोपोलॉजिकल) जनरेटर है. (याद रखें कि Fr(''x'') = ''x<sup>q</sup>'' for all ''x'' in ''K''<sup>alg</sup>,जहां q, K में तत्वों की संख्या है।) | :[[फ्रोबेनियस ऑटोमोर्फिज्म]] Fr, ''G<sub>K</sub>'' का एक विहित (टोपोलॉजिकल) जनरेटर है. (याद रखें कि Fr(''x'') = ''x<sup>q</sup>'' for all ''x'' in ''K''<sup>alg</sup> ,जहां q, K में तत्वों की संख्या है।) | ||
* समष्टि गुणांक वाले तर्कसंगत कार्यों के क्षेत्र का पूर्ण गैलोज़ समूह | * समष्टि गुणांक वाले तर्कसंगत कार्यों के क्षेत्र का पूर्ण गैलोज़ समूह स्वतंत्र है, (एक अनंत समूह के रूप में)। यह परिणाम एड्रियन डौडी के कारण है और इसकी व्युत्पत्ति रीमैन के अस्तित्व प्रमेय में हुई है <ref>{{harvnb|Douady|1964}}</ref> | ||
* अधिक सामान्यतः, मान लीजिए कि C बीजगणितीय रूप से संवृत फ़ील्ड है और x एक चर है। तब K = C(x) का पूर्ण गैलोज़ समूह C की कार्डिनैलिटी के बराबर रैंक से | * अधिक सामान्यतः, मान लीजिए कि C बीजगणितीय रूप से संवृत फ़ील्ड है और x एक चर है। तब K = C(x) का पूर्ण गैलोज़ समूह C की कार्डिनैलिटी के बराबर रैंक से स्वतंत्र है। यह परिणाम [[डेविड हार्बेटर]] और [[फ्लोरियन पॉप]] के कारण है, और बाद में बीजगणितीय तरीकों का उपयोग करके डैन हरन और [[मोशे जार्डन]] द्वारा भी सिद्ध किया गया था। <ref>{{harvnb|Harbater|1995}}</ref><ref>{{harvnb|Pop|1995}}</ref><ref>{{harvnb|Haran|Jarden|2000}}</ref> | ||
* मान लीजिए 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> | * मान लीजिए 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> | *एकअन्य स्थिति जिसमें पूर्ण गैलोज़ समूह निर्धारित किया गया है वह बीजगणितीय संख्याओं के क्षेत्र के सबसे बड़े पूर्णतः वास्तविक उपक्षेत्र के लिए है।<ref>{{cite web|url=http://math.uci.edu/~mfried/paplist-cov/QTotallyReal.pdf |title=क्वार्टर|access-date=2019-09-04}}</ref> | ||
| Line 18: | Line 18: | ||
== समस्याएँ == | == समस्याएँ == | ||
* परिमेय संख्याओं के पूर्ण गैलोज़ समूह के लिए कोई प्रत्यक्ष विवरण ज्ञात नहीं है। इस | * परिमेय संख्याओं के पूर्ण गैलोज़ समूह के लिए कोई प्रत्यक्ष विवरण ज्ञात नहीं है। इस स्थितियों में, बेली के प्रमेय से यह पता चलता है कि पूर्ण गैलोज़ समूह का [[ग्रोथेंडिक]] (सतहों पर मानचित्र) के डेसिन्स डी एनफैंट्स पर एक विश्वसनीय कार्रवाई है, जो हमें बीजगणितीय संख्या क्षेत्रों के गैलोज़ सिद्धांत को देखने में सक्षम बनाता है। | ||
*मान लीजिए K परिमेय संख्याओं का अधिकतम [[एबेलियन विस्तार]] है। फिर 'शफ़ारेविच का अनुमान' अनुरोध करता है कि K का पूर्ण गैलोज़ समूह स्वतंत्र अनंत समूह है।<ref>{{harvnb|Neukirch|Schmidt|Wingberg|2000}}, p. 449.</ref> | *मान लीजिए 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> | * प्रत्येक [[प्रक्षेप्य अनंत समूह]] को [[छद्म बीजगणितीय रूप से बंद क्षेत्र|छद्म बीजगणितीय रूप से संवृत क्षेत्र]] के पूर्ण गैलोज़ समूह के रूप में स्पष्ट किया जा सकता है। यह परिणाम [[अलेक्जेंडर लुबोट्ज़की]] और [[लुई वैन डेन ड्रीस]] के कारण है।<ref name=FJ208>Fried & Jarden (2008) pp.208,545</ref> | ||
Revision as of 10:38, 28 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
श्रेणी:गैलोइस सिद्धांत
