पूर्ण गैलोज़ समूह

गणित में, पूर्ण गैलोज़ समूह ''जीKएक क्षेत्र (गणित) का K, K का गैलोज़ समूह हैसितंबरK के ऊपर, जहां Ksep K का एक पृथक्करणीय समापन है। वैकल्पिक रूप से यह K के बीजगणितीय समापन के आंतरिक स्वचालितता का समूह है जो K को ठीक करता है। पूर्ण गैलोज़ समूह को आंतरिक ऑटोमोर्फिज्म तक अच्छी तरह से परिभाषित किया गया है। यह एक अनंत समूह है.

(जब K एक आदर्श क्षेत्र है, Ksepबीजगणितीय समापन K के समान हैK का alg। यह उदाहरण रखता है। विशेषता शून्य के K के लिए, या K एक परिमित क्षेत्र के लिए।)

उदाहरण

 * बीजगणितीय रूप से बंद क्षेत्र का पूर्ण गैलोज़ समूह तुच्छ है।
 * वास्तविक संख्याओं का पूर्ण गैलोज़ समूह दो तत्वों (जटिल संयुग्मन और पहचान मानचित्र) का एक चक्रीय समूह है, क्योंकि C, R और [C:R] = 2 का वियोज्य समापन है।
 * एक परिमित क्षेत्र K का पूर्ण गैलोज़ समूह समूह के लिए समरूपी है
 * $$ \hat{\mathbf{Z}} = \varprojlim \mathbf{Z}/n\mathbf{Z}. $$

(नोटेशन के लिए, व्युत्क्रम सीमा देखें।)
 * फ्रोबेनियस ऑटोमोर्फिज्म Fr, G का एक विहित (टोपोलॉजिकल) जनरेटर हैK. (याद रखें कि Fr(x) = xqK में सभी x के लिएalg, जहां q, K में तत्वों की संख्या है।)


 * जटिल गुणांक वाले तर्कसंगत कार्यों के क्षेत्र का पूर्ण गैलोज़ समूह मुफ़्त है (एक अनंत समूह के रूप में)। यह परिणाम मैं जानता हूं डोडी के कारण है और इसकी उत्पत्ति रीमैन के अस्तित्व प्रमेय में हुई है।
 * अधिक सामान्यतः, मान लीजिए कि C एक बीजगणितीय रूप से बंद फ़ील्ड है और x एक चर है। तब K = C(x) का पूर्ण गैलोज़ समूह C की कार्डिनैलिटी के बराबर रैंक से मुक्त है। यह परिणाम डेविड हार्बेटर और फ्लोरियन पॉप के कारण है, और बाद में बीजगणितीय तरीकों का उपयोग करके डैन हरन और मोशे जार्डन द्वारा भी सिद्ध किया गया था।
 * मान लीजिए K, p-एडिक संख्या 'Q' का एक सीमित विस्तार हैp. पी ≠ 2 के लिए, इसका पूर्ण गैलोज़ समूह [K:'Q' द्वारा उत्पन्न होता हैp] + 3 तत्व और जनरेटर और संबंधों द्वारा एक स्पष्ट विवरण है। यह उवे जैनसेन और के विंगबर्ग का परिणाम है। पी = 2 की स्थिति में कुछ परिणाम ज्ञात हैं, लेकिन 'क्यू' की संरचना2 ज्ञात नहीं है।
 * एक और मामला जिसमें पूर्ण गैलोज़ समूह निर्धारित किया गया है वह बीजगणितीय संख्याओं के क्षेत्र के सबसे बड़े पूर्णतः वास्तविक उपक्षेत्र के लिए है।

समस्याएँ

 * परिमेय संख्याओं के पूर्ण गैलोज़ समूह के लिए कोई प्रत्यक्ष विवरण ज्ञात नहीं है। इस मामले में, बेली के प्रमेय से यह पता चलता है कि पूर्ण गैलोज़ समूह का ग्रोथेंडिक (सतहों पर मानचित्र) के डेसिन्स डी एनफैंट्स पर एक वफादार कार्रवाई है, जो हमें बीजगणितीय संख्या क्षेत्रों के गैलोज़ सिद्धांत को देखने में सक्षम बनाता है।
 * मान लीजिए K परिमेय संख्याओं का अधिकतम एबेलियन विस्तार है। फिर 'शफ़ारेविच का अनुमान' दावा करता है कि K का पूर्ण गैलोज़ समूह एक स्वतंत्र अनंत समूह है।

कुछ सामान्य परिणाम

 * प्रत्येक अनंत समूह कुछ गैलोज़ विस्तार के गैलोज़ समूह के रूप में होता है, हालाँकि, प्रत्येक अनंत समूह पूर्ण गैलोज़ समूह के रूप में नहीं होता है। उदाहरण के लिए, रियल क्लोज्ड फील्ड|आर्टिन-श्रेयर प्रमेय का दावा है कि एकमात्र परिमित निरपेक्ष गैलोज़ समूह या तो तुच्छ हैं या क्रम 2 के हैं, यानी केवल दो समरूपता वर्ग हैं।
 * प्रत्येक प्रक्षेप्य अनंत समूह को छद्म बीजगणितीय रूप से बंद क्षेत्र के पूर्ण गैलोज़ समूह के रूप में महसूस किया जा सकता है। यह परिणाम अलेक्जेंडर लुबोट्ज़की और लुई वैन डेन ड्रीस के कारण है।

स्रोत


श्रेणी:गैलोइस सिद्धांत