एडेल रिंग: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(12 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Central object of class field theory}}{{About|गणित में अवधारणा|the singer|एडेल|section=yes}}
{{Short description|Central object of class field theory}}गणित में, वैश्विक क्षेत्र की '''एडेल वलय''' (एडेलिक वलय या एडेल्स की वलय<ref>{{Cite journal|last=Groechenig|first=Michael|date=August 2017|title=एडेलिक डिसेंट थ्योरी|journal=Compositio Mathematica|volume=153|issue=8|pages=1706–1746|doi=10.1112/S0010437X17007217|issn=0010-437X|arxiv=1511.06271|s2cid=54016389}}</ref>) [[बीजगणितीय संख्या सिद्धांत]] की शाखा [[वर्ग क्षेत्र सिद्धांत]] का केंद्रीय उद्देश्य है। यह वैश्विक क्षेत्र के सभी पूर्ण मीट्रिक समष्टि का [[प्रतिबंधित उत्पाद|प्रतिबंधित गुणनफल]] है और द्वैत [[टोपोलॉजिकल रिंग|टोपोलॉजिकल वलय]] का उदाहरण है।
गणित में, [[वैश्विक क्षेत्र]] की एडेल रिंग (एडेलिक रिंग या एडेल्स की रिंग<ref>{{Cite journal|last=Groechenig|first=Michael|date=August 2017|title=एडेलिक डिसेंट थ्योरी|journal=Compositio Mathematica|volume=153|issue=8|pages=1706–1746|doi=10.1112/S0010437X17007217|issn=0010-437X|arxiv=1511.06271|s2cid=54016389}}</ref>) [[बीजगणितीय संख्या सिद्धांत]] की शाखा [[वर्ग क्षेत्र सिद्धांत]] का केंद्रीय उद्देश्य है। यह वैश्विक क्षेत्र के सभी [[पूर्ण मीट्रिक स्थान]] का [[प्रतिबंधित उत्पाद|प्रतिबंधित गुणनफल]] है और द्वैत [[टोपोलॉजिकल रिंग]] का उदाहरण है।


एडेल विशेष प्रकार के आइडल से प्राप्त होता है। इडेल फ्रांसीसी आइडेल से प्राप्त हुआ है और इसे फ्रांसीसी गणितज्ञ [[क्लाउड चेवेली]] द्वारा गढ़ा गया था। शब्द 'आदर्श तत्व' (संक्षिप्त: आईडी.ईएल) के लिए है। एडेल (फ्रेंच: एडेल) का अर्थ एडिटिव आइडल है (जो कि एडिटिव [[आईडीई]] तत्व है)।
एडेल विशेष प्रकार के आइडल से प्राप्त होता है। इडेल फ्रांसीसी आइडेल से प्राप्त हुआ है और इसे फ्रांसीसी गणितज्ञ [[क्लाउड चेवेली]] द्वारा गढ़ा गया था। शब्द 'आदर्श तत्व' (संक्षिप्त: आईडी.ईएल) के लिए है। एडेल (फ्रेंच: एडेल) का अर्थ एडिटिव आइडल है (जो कि एडिटिव [[आईडीई]] तत्व है)।


एडेल्स की रिंग आर्टिन [[पारस्परिकता कानून|पारस्परिकता नियम]] का वर्णन करने की अनुमति प्रदान करती है, जो परिमित क्षेत्रों पर [[द्विघात पारस्परिकता]] और अन्य पारस्परिक नियमों का सामान्यीकरण है। इसके अतिरिक्त, यह वेइल द्वारा शास्त्रीय प्रमेय है जिसे परिमित क्षेत्र के [[बीजगणितीय वक्र]] पर <math>G</math>-बंडलों के रिडक्टिव समूह <math>G</math> के लिए एडेल्स के संदर्भ में वर्णित किया जा सकता है। एडेल्स भी [[एडेलिक बीजगणितीय समूह|एडेलिक बीजगणितीय समूहों]] और [[ एडिलिक वक्र | एडिलिक वक्रों]] से संबंधित हैं।
एडेल्स की वलय आर्टिन [[पारस्परिकता कानून|पारस्परिकता नियम]] का वर्णन करने की अनुमति प्रदान करती है, जो परिमित क्षेत्रों पर [[द्विघात पारस्परिकता]] और अन्य पारस्परिक नियमों का सामान्यीकरण है। इसके अतिरिक्त, यह वेइल द्वारा शास्त्रीय प्रमेय है जिसे परिमित क्षेत्र के [[बीजगणितीय वक्र]] पर <math>G</math>-बंडलों के रिडक्टिव समूह <math>G</math> के लिए एडेल्स के संदर्भ में वर्णित किया जा सकता है। एडेल्स भी [[एडेलिक बीजगणितीय समूह|एडेलिक बीजगणितीय समूहों]] और [[ एडिलिक वक्र | एडिलिक वक्रों]] से संबंधित हैं।


किसी [[संख्या क्षेत्र]] के एडेल रिंग पर [[संख्याओं की ज्यामिति]] के अध्ययन को एडेलिक ज्यामिति कहते हैं।
किसी [[संख्या क्षेत्र]] के एडेल वलय पर [[संख्याओं की ज्यामिति]] के अध्ययन को एडेलिक ज्यामिति कहते हैं।


== परिभाषा ==
== परिभाषा ==
मान लीजिए <math>K</math> वैश्विक क्षेत्र (<math>\mathbf{Q}</math> का परिमित विस्तार या परिमित क्षेत्र पर वक्र X/F<sub>q</sub> का फलन क्षेत्र) है। <math>K</math> की 'एडेल रिंग' उपवलय है-
मान लीजिए <math>K</math> वैश्विक क्षेत्र (<math>\mathbf{Q}</math> का परिमित विस्तार या परिमित क्षेत्र पर वक्र X/F<sub>q</sub> का फलन क्षेत्र) है। <math>K</math> की 'एडेल वलय' उपवलय है-
:<math>\mathbf{A}_K\ = \ \prod (K_\nu,\mathcal{O}_\nu)  \ \subseteq  \ \prod K_\nu</math>
:<math>\mathbf{A}_K\ = \ \prod (K_\nu,\mathcal{O}_\nu)  \ \subseteq  \ \prod K_\nu</math>
जिसमें टुपल्स <math>(a_\nu)</math> सम्मिलित हैं, जहाँ <math>a_\nu</math> सभी के लिए उपवलय <math>\mathcal{O}_\nu \subset K_\nu</math> में स्थित है, किन्तु कई [[स्थान (गणित)|स्थानों (गणित)]] पर <math>\nu</math> है। यहाँ सूचकांक <math>\nu</math> वैश्विक क्षेत्र <math>K</math> के सभी [[मूल्यांकन (बीजगणित)|मूल्यांकनों (बीजगणित)]] पर है, <math>K_\nu</math> उस मूल्यांकन पर [[एक अंगूठी का समापन|पूर्णता]] है और संबंधित [[ मूल्यांकन की अंगूठी |मूल्यांकन रिंग]] <math>\mathcal{O}_\nu</math> है।
जिसमें टुपल्स <math>(a_\nu)</math> सम्मिलित हैं, जहाँ <math>a_\nu</math> सभी के लिए उपवलय <math>\mathcal{O}_\nu \subset K_\nu</math> में स्थित है, किन्तु कई [[स्थान (गणित)|समष्टिों (गणित)]] पर <math>\nu</math> है। यहाँ सूचकांक <math>\nu</math> वैश्विक क्षेत्र <math>K</math> के सभी [[मूल्यांकन (बीजगणित)|मूल्यांकनों (बीजगणित)]] पर है, <math>K_\nu</math> उस मूल्यांकन पर [[एक अंगूठी का समापन|पूर्णता]] है और संबंधित [[ मूल्यांकन की अंगूठी |मूल्यांकन वलय]] <math>\mathcal{O}_\nu</math> है।


=== प्रेरणा ===
=== प्रेरणा ===
एडेल्स की रिंग परिमेय संख्या <math>\mathbf{Q}</math> पर विश्लेषण करने की तकनीकी समस्या को हल करती है। शास्त्रीय समाधान मानक मीट्रिक पूर्णता <math>\mathbf{R}</math> को पारित करना था और वहां विश्लेषणात्मक तकनीकों का उपयोग करना था। किन्तु, जैसा कि पश्चात में ज्ञात हुआ था कि [[यूक्लिडियन दूरी]] के अतिरिक्त और भी कई निरपेक्ष मान हैं, जो प्रत्येक अभाज्य संख्या <math>p \in \mathbf{Z}</math> के लिए है, जिसे ओस्ट्रोव्स्की के प्रमेय द्वारा वर्गीकृत किया गया था। यूक्लिडियन निरपेक्ष मान <math>|\cdot|_\infty</math>, कई अन्य <math>|\cdot |_p</math> में से केवल एक है, किन्तु एडेल्स की रिंग सभी मूल्यांकनों से सम्मति करना और उनका उपयोग करना संभव बनाती है। यह विश्लेषणात्मक तकनीकों को सक्षम करने का लाभ है, जबकि अभाज्यों के संबंध में सूचना को यथावत रखने के पश्चात उनकी संरचना प्रतिबंधित अनंत गुणनफल द्वारा एम्बेडेड है।
एडेल्स की वलय परिमेय संख्या <math>\mathbf{Q}</math> पर विश्लेषण करने की तकनीकी समस्या को हल करती है। शास्त्रीय समाधान मानक मीट्रिक पूर्णता <math>\mathbf{R}</math> को पारित करना था और वहां विश्लेषणात्मक तकनीकों का उपयोग करना था। किन्तु, जैसा कि पश्चात में ज्ञात हुआ था कि [[यूक्लिडियन दूरी]] के अतिरिक्त और भी कई निरपेक्ष मान हैं, जो प्रत्येक अभाज्य संख्या <math>p \in \mathbf{Z}</math> के लिए है, जिसे ओस्ट्रोव्स्की के प्रमेय द्वारा वर्गीकृत किया गया था। यूक्लिडियन निरपेक्ष मान <math>|\cdot|_\infty</math>, कई अन्य <math>|\cdot |_p</math> में से केवल एक है, किन्तु एडेल्स की वलय सभी मूल्यांकनों से सम्मति करना और उनका उपयोग करना संभव बनाती है। यह विश्लेषणात्मक तकनीकों को सक्षम करने का लाभ है, जबकि अभाज्यों के संबंध में सूचना को यथावत रखने के पश्चात उनकी संरचना प्रतिबंधित अनंत गुणनफल द्वारा एम्बेडेड है।


==== प्रतिबंधित गुणनफल क्यों? ====
==== प्रतिबंधित गुणनफल क्यों? ====
प्रतिबंधित अनंत गुणनफल संख्या क्षेत्र <math>\mathbf{Q}</math> को <math>\mathbf{A}_\mathbf{Q}</math> के अंदर जाली संरचना देने के लिए आवश्यक तकनीकी स्थिति है, जिससे एडेलिक सेटिंग में फूरियर विश्लेषण ([[हार्मोनिक विश्लेषण]]) के सिद्धांत का निर्माण संभव हो जाता है। यह बीजगणितीय संख्या सिद्धांत में उस स्थिति के अनुरूप है जहाँ बीजगणितीय संख्या क्षेत्र के पूर्णांकों की रिंग जाली के रूप में एम्बेड होती है।<blockquote><math>\mathcal{O}_K \hookrightarrow K</math></blockquote>फूरियर विश्लेषण के नए सिद्धांत की शक्ति के साथ, [[जॉन टेट (गणितज्ञ)]] [[एल समारोह|एल-फलनों]] के विशेष वर्ग को प्रमाणित करने में सक्षम थे और [[डेडेकाइंड जीटा फंक्शन]] जटिल तल पर [[मेरोमॉर्फिक फ़ंक्शन|मेरोमॉर्फिक]] थे।  
प्रतिबंधित अनंत गुणनफल संख्या क्षेत्र <math>\mathbf{Q}</math> को <math>\mathbf{A}_\mathbf{Q}</math> के अंदर जाली संरचना देने के लिए आवश्यक तकनीकी स्थिति है, जिससे एडेलिक सेटिंग में फूरियर विश्लेषण ([[हार्मोनिक विश्लेषण]]) के सिद्धांत का निर्माण संभव हो जाता है। यह बीजगणितीय संख्या सिद्धांत में उस स्थिति के अनुरूप है जहाँ बीजगणितीय संख्या क्षेत्र के पूर्णांकों की वलय जाली के रूप में एम्बेड होती है।<blockquote><math>\mathcal{O}_K \hookrightarrow K</math></blockquote>फूरियर विश्लेषण के नए सिद्धांत की शक्ति के साथ, [[जॉन टेट (गणितज्ञ)]] [[एल समारोह|एल-फलनों]] के विशेष वर्ग को प्रमाणित करने में सक्षम थे और [[डेडेकाइंड जीटा फंक्शन]] जटिल तल पर [[मेरोमॉर्फिक फ़ंक्शन|मेरोमॉर्फिक]] थे।  


इस तकनीकी स्थिति के बने रहने का अन्य प्राकृतिक कारण वलयों के टेन्सर गुणनफल के रूप में एडेल्स के रिंग का निर्माण करके देखा जा सकता है। यदि रिंग के रूप में इंटीग्रल एडेल की रिंग <math>\mathbf{A}_\mathbf{Z}</math> को परिभाषित किया जाए   
इस तकनीकी स्थिति के बने रहने का अन्य प्राकृतिक कारण वलयों के टेन्सर गुणनफल के रूप में एडेल्स के वलय का निर्माण करके देखा जा सकता है। यदि वलय के रूप में इंटीग्रल एडेल की वलय <math>\mathbf{A}_\mathbf{Z}</math> को परिभाषित किया जाए   


<math>\mathbf{A}_\mathbf{Z} = \mathbf{R}\times\hat{\mathbf{Z}} = \mathbf{R}\times \prod_p \mathbf{Z}_p,</math>  
<math>\mathbf{A}_\mathbf{Z} = \mathbf{R}\times\hat{\mathbf{Z}} = \mathbf{R}\times \prod_p \mathbf{Z}_p,</math>  


तब एडेल्स की रिंग को समान रूप से परिभाषित किया जा सकता है-   
तब एडेल्स की वलय को समान रूप से परिभाषित किया जा सकता है-   


<math>\begin{align}
<math>\begin{align}
Line 30: Line 29:
\end{align}</math>  
\end{align}</math>  


इस रिंग में स्पष्ट तत्वों को देखने के पश्चात प्रतिबंधित गुणनफल संरचना पारदर्शी हो जाती है। अप्रतिबंधित गुणनफल <math display="inline"> \mathbf{R}\times \prod_p \mathbf{Q}_p</math> के भीतर तत्व <math>b/c\otimes(r,(a_p)) \in \mathbf{A}_\mathbf{Q}</math> की छवि है- <blockquote> <math>
इस वलय में स्पष्ट तत्वों को देखने के पश्चात प्रतिबंधित गुणनफल संरचना पारदर्शी हो जाती है। अप्रतिबंधित गुणनफल <math display="inline"> \mathbf{R}\times \prod_p \mathbf{Q}_p</math> के भीतर तत्व <math>b/c\otimes(r,(a_p)) \in \mathbf{A}_\mathbf{Q}</math> की छवि है- <blockquote> <math>
\left(\frac{br}{c}, \left(\frac{ba_p}{c}\right) \right). </math></blockquote> गुणक <math>ba_p/c</math>, <math>\mathbf{Z}_p</math> में स्थित होता है जब भी <math>p</math>, <math>c</math> का अभाज्य गुणनखंड नहीं होता है, किन्तु अधिक अभाज्य <math>p</math> होते हैं।<ref>https://ncatlab.org/nlab/show/ring+of+adeles</ref>
\left(\frac{br}{c}, \left(\frac{ba_p}{c}\right) \right). </math></blockquote> गुणक <math>ba_p/c</math>, <math>\mathbf{Z}_p</math> में स्थित होता है जब भी <math>p</math>, <math>c</math> का अभाज्य गुणनखंड नहीं होता है, किन्तु अधिक अभाज्य <math>p</math> होते हैं।<ref>https://ncatlab.org/nlab/show/ring+of+adeles</ref>




=== नाम की उत्पत्ति ===
=== नाम की उत्पत्ति ===
स्थानीय वर्ग क्षेत्र सिद्धांत में, क्षेत्र की इकाइयों का समूह केंद्रीय भूमिका निभाता है। वैश्विक वर्ग क्षेत्र सिद्धांत में, आइडल वर्ग समूह यह भूमिका निभाता है। आइडल शब्द ({{lang-fr|idèle}}) फ्रांसीसी गणितज्ञ क्लॉड चेवेली (1909-1984) का आविष्कार है और आदर्श तत्व (संक्षिप्त: आईडी.ईएल.) का उपयोग है। शब्द एडेल ({{lang|fr|adèle}}) एडिटिव आइडल के लिए उपयोग किया जाता है।
समष्टिीय वर्ग क्षेत्र सिद्धांत में, क्षेत्र की इकाइयों का समूह केंद्रीय भूमिका निभाता है। वैश्विक वर्ग क्षेत्र सिद्धांत में, आइडल वर्ग समूह यह भूमिका निभाता है। आइडल शब्द ({{lang-fr|idèle}}) फ्रांसीसी गणितज्ञ क्लॉड चेवेली (1909-1984) का आविष्कार है और आदर्श तत्व (संक्षिप्त: आईडी.ईएल.) का उपयोग है। शब्द एडेल ({{lang|fr|adèle}}) एडिटिव आइडल के लिए उपयोग किया जाता है।


एडेल रिंग का विचार सभी पूर्णताओं <math>K</math> को देखना है। कार्तीय गुणन उचित उम्मीदवार हो सकता है। चूँकि, एडेल रिंग को प्रतिबंधित गुणनफल के साथ परिभाषित किया गया है। इसके दो कारण हैं:
एडेल वलय का विचार सभी पूर्णताओं <math>K</math> को देखना है। कार्तीय गुणन उचित उम्मीदवार हो सकता है। चूँकि, एडेल वलय को प्रतिबंधित गुणनफल के साथ परिभाषित किया गया है। इसके दो कारण हैं:


* <math>K</math> के प्रत्येक तत्व के लिए मूल्यांकन परिमित संख्या के अतिरिक्त प्रायः सभी स्थानों के लिए शून्य है। इसलिए, वैश्विक क्षेत्र को प्रतिबंधित गुणनफल में एम्बेड किया जा सकता है।
* <math>K</math> के प्रत्येक तत्व के लिए मूल्यांकन परिमित संख्या के अतिरिक्त प्रायः सभी समष्टिों के लिए शून्य है। इसलिए, वैश्विक क्षेत्र को प्रतिबंधित गुणनफल में एम्बेड किया जा सकता है।
* प्रतिबंधित गुणनफल [[स्थानीय रूप से कॉम्पैक्ट स्थान|स्थानीय रूप से सघन स्थान]] है, जबकि कार्तीय गुणनफल नहीं है। इसलिए, कार्तीय गुणन के लिए हार्मोनिक विश्लेषण का कोई अनुप्रयोग नहीं हो सकता है। ऐसा इसलिए है क्योंकि सामान्य रूप से समूहों पर विश्लेषण में महत्वपूर्ण उपकरण, प्रत्येक माप के अस्तित्व (और विशिष्टता) को स्थानीय उपकरण सुनिश्चित करता है।
* प्रतिबंधित गुणनफल समष्टिय रूप से सघन समष्टि है, जबकि कार्तीय गुणनफल नहीं है। इसलिए, कार्तीय गुणन के लिए हार्मोनिक विश्लेषण का कोई अनुप्रयोग नहीं हो सकता है। ऐसा इसलिए है क्योंकि सामान्य रूप से समूहों पर विश्लेषण में महत्वपूर्ण उपकरण, प्रत्येक माप के अस्तित्व (और विशिष्टता) को समष्टिीय उपकरण सुनिश्चित करता है।


== उदाहरण ==
== उदाहरण ==


'''परिमेय संख्याओं के लिए एडेल्स की रिंग'''
'''परिमेय संख्याओं के लिए एडेल्स की वलय'''


परिमेय K=Q में (K<sub>ν</sub>, O<sub>ν</sub>)=(Q<sub>p</sub>, Z<sub>p</sub>) के साथ प्रत्येक अभाज्य संख्या p के लिए मूल्यांकन है और Q<sub>∞</sub>=R के साथ अनंत मूल्यांकन ∞ है। इस प्रकार <math>\mathbf{A}_\mathbf{Q}\ = \ \mathbf{R}\times \prod_p (\mathbf{Q}_p,\mathbf{Z}_p)</math> का अवयव, प्रत्येक p के लिए p-एडिक परिमेय के साथ वास्तविक संख्या है, जिनमें से सभी p-एडिक पूर्णांक हैं।
परिमेय K=Q में (K<sub>ν</sub>, O<sub>ν</sub>)=(Q<sub>p</sub>, Z<sub>p</sub>) के साथ प्रत्येक अभाज्य संख्या p के लिए मूल्यांकन है और Q<sub>∞</sub>=R के साथ अनंत मूल्यांकन ∞ है। इस प्रकार <math>\mathbf{A}_\mathbf{Q}\ = \ \mathbf{R}\times \prod_p (\mathbf{Q}_p,\mathbf{Z}_p)</math> का अवयव, प्रत्येक p के लिए p-एडिक परिमेय के साथ वास्तविक संख्या है, जिनमें से सभी p-एडिक पूर्णांक हैं।


'''प्रक्षेपी रेखा के फंक्शन फील्ड के लिए एडेल्स की रिंग'''
'''प्रक्षेपी रेखा के फंक्शन फील्ड के लिए एडेल्स की वलय'''


दूसरा, परिमित क्षेत्र पर [[ प्रक्षेपण रेखा |प्रक्षेपी रेखा]] का फलन क्षेत्र '''K=F<sub>q</sub>(P<sup>1</sup>)=F<sub>q</sub>(t)''' है। इसका मूल्यांकन X=P<sup>1</sup> के बिंदु x के अनुरूप है, अर्थात Spec'''F<sub>q</sub>''' पर मानचित्र है-
दूसरा, परिमित क्षेत्र पर [[ प्रक्षेपण रेखा |प्रक्षेपी रेखा]] का फलन क्षेत्र '''K=F<sub>q</sub>(P<sup>1</sup>)=F<sub>q</sub>(t)''' है। इसका मूल्यांकन X=P<sup>1</sup> के बिंदु x के अनुरूप है, अर्थात Spec'''F<sub>q</sub>''' पर मानचित्र है-
Line 58: Line 57:
== संबंधित धारणाएं ==
== संबंधित धारणाएं ==


एडेल रिंग में इकाइयों के समूह को आइडल समूह कहा जाता है
एडेल वलय में इकाइयों के समूह को आइडल समूह कहा जाता है
:<math>I_K\ =\ \mathbf{A}_K^\times.</math>
:<math>I_K\ =\ \mathbf{A}_K^\times.</math>
उपसमूह '''K<sup>×</sup>⊆I<sub>K</sub>''' द्वारा आइडल्स के भागफल को आइडल वर्ग समूह कहा जाता है
उपसमूह '''K<sup>×</sup>⊆I<sub>K</sub>''' द्वारा आइडल्स के भागफल को आइडल वर्ग समूह कहा जाता है
Line 82: Line 81:


=== टेट की थीसिस ===
=== टेट की थीसिस ===
A<sub>K</sub> पर टोपोलॉजी के लिए भागफल A<sub>K</sub>/K सघन है, जिससे कोई उस पर हार्मोनिक विश्लेषण कर सकता है। जॉन टी. टेट ने अपनी थीसिस संख्या क्षेत्रों में फूरियर विश्लेषण और हेके ज़ेटा फलनों में{{sfn|Cassels|Fröhlich|1967}} एडेल रिंग और आइडल समूह पर फूरियर विश्लेषण का उपयोग करके डिरिचलेट एल-फलन के संबंध में परिणाम सिद्ध किए। इसलिए, एडेल रिंग और आइडल समूह को रीमैन जीटा फलन और अधिक सामान्य जीटा फलन और एल-फलन का अध्ययन करने के लिए प्रयुक्त किया गया है।
A<sub>K</sub> पर टोपोलॉजी के लिए भागफल A<sub>K</sub>/K सघन है, जिससे कोई उस पर हार्मोनिक विश्लेषण कर सकता है। जॉन टी. टेट ने अपनी थीसिस संख्या क्षेत्रों में फूरियर विश्लेषण और हेके ज़ेटा फलनों में{{sfn|Cassels|Fröhlich|1967}} एडेल वलय और आइडल समूह पर फूरियर विश्लेषण का उपयोग करके डिरिचलेट एल-फलन के संबंध में परिणाम सिद्ध किए। इसलिए, एडेल वलय और आइडल समूह को रीमैन जीटा फलन और अधिक सामान्य जीटा फलन और एल-फलन का अध्ययन करने के लिए प्रयुक्त किया गया है।


=== निष्कोण वक्र पर सेरे द्वैत सिद्ध करना ===
=== निष्कोण वक्र पर सेरे द्वैत सिद्ध करना ===
यदि X सम्मिश्र संख्याओं पर निष्कोण उचित वक्र है, तो C(X) फलन क्षेत्र के एडील्स को परिमित क्षेत्र स्तिथि के रूप में परिभाषित कर सकता है। जॉन टेट ने सिद्ध किया कि इस एडेल रिंग A<sub>'''C'''(''X'')</sub> के साथ कार्य करके X पर सेरे द्वैत का अनुमान लगाया जा सकता है<ref>{{Citation | title=Residues of differentials on curves | year=1968| doi=10.24033/asens.1162| url=http://archive.numdam.org/ARCHIVE/ASENS/ASENS_1968_4_1_1/ASENS_1968_4_1_1_149_0/ASENS_1968_4_1_1_149_0.pdf| last1=Tate| first1=John| journal=Annales Scientifiques de l'École Normale Supérieure| volume=1| pages=149–159}}.</ref>
यदि X सम्मिश्र संख्याओं पर निष्कोण उचित वक्र है, तो C(X) फलन क्षेत्र के एडील्स को परिमित क्षेत्र स्तिथि के रूप में परिभाषित कर सकता है। जॉन टेट ने सिद्ध किया कि इस एडेल वलय A<sub>'''C'''(''X'')</sub> के साथ कार्य करके X पर सेरे द्वैत का अनुमान लगाया जा सकता है<ref>{{Citation | title=Residues of differentials on curves | year=1968| doi=10.24033/asens.1162| url=http://archive.numdam.org/ARCHIVE/ASENS/ASENS_1968_4_1_1/ASENS_1968_4_1_1_149_0/ASENS_1968_4_1_1_149_0.pdf| last1=Tate| first1=John| journal=Annales Scientifiques de l'École Normale Supérieure| volume=1| pages=149–159}}.</ref>
:<math>H^1(X,\mathcal{L})\ \simeq \ H^0(X,\Omega_X\otimes\mathcal{L}^{-1})^*</math>
:<math>H^1(X,\mathcal{L})\ \simeq \ H^0(X,\Omega_X\otimes\mathcal{L}^{-1})^*</math>
जहाँ L, X पर रेखा बंडल है।
जहाँ L, X पर रेखा बंडल है।
Line 94: Line 93:
इस पूर्ण लेख में, <math>K</math> वैश्विक क्षेत्र है, जिसका अर्थ है कि यह या तो [[बीजगणितीय संख्या क्षेत्र]] है (<math>\Q</math> का परिमित विस्तार) या वैश्विक फलन क्षेत्र है (<math>p</math> अभाज्य और <math>r \in \N</math> के लिए <math>\mathbb{F}_{p^r}(t)</math> का परिमित विस्तार है)। परिभाषा के अनुसार वैश्विक क्षेत्र का  परिमित विस्तार स्वयं में वैश्विक क्षेत्र है।
इस पूर्ण लेख में, <math>K</math> वैश्विक क्षेत्र है, जिसका अर्थ है कि यह या तो [[बीजगणितीय संख्या क्षेत्र]] है (<math>\Q</math> का परिमित विस्तार) या वैश्विक फलन क्षेत्र है (<math>p</math> अभाज्य और <math>r \in \N</math> के लिए <math>\mathbb{F}_{p^r}(t)</math> का परिमित विस्तार है)। परिभाषा के अनुसार वैश्विक क्षेत्र का  परिमित विस्तार स्वयं में वैश्विक क्षेत्र है।
=== मूल्यांकन ===
=== मूल्यांकन ===
<math>K</math> के मूल्यांकन (बीजगणित) <math>v</math> के लिए इसे <math>v</math> के संबंध में <math>K</math> की पूर्णता के लिए <math>K_v</math> के रूप में अंकित किया जा सकता है। यदि <math>v</math> असतत है, तो इसे <math>O_v</math> के अधिकतम आदर्श के लिए <math>K_v</math> और <math>\mathfrak{m}_v</math> के मूल्यांकन रिंग के लिए <math>O_v</math> लिखा जा सकता है। यदि यह प्रमुख आदर्श है जो समान तत्व को <math>\pi_v.</math> द्वारा निरूपित करता है। गैर-आर्किमिडीयन मूल्यांकन को <math>v<\infty</math> या <math>v \nmid \infty</math> के रूप में लिखा जाता है और आर्किमिडीयन मूल्यांकन को <math>v | \infty.</math> के रूप में लिखा जाता है, तत्पश्चात मान लें कि सभी मूल्यांकन गैर-तुच्छ हैं।
<math>K</math> के मूल्यांकन (बीजगणित) <math>v</math> के लिए इसे <math>v</math> के संबंध में <math>K</math> की पूर्णता के लिए <math>K_v</math> के रूप में अंकित किया जा सकता है। यदि <math>v</math> असतत है, तो इसे <math>O_v</math> के अधिकतम आदर्श के लिए <math>K_v</math> और <math>\mathfrak{m}_v</math> के मूल्यांकन वलय के लिए <math>O_v</math> लिखा जा सकता है। यदि यह प्रमुख आदर्श है जो समान तत्व को <math>\pi_v.</math> द्वारा निरूपित करता है। गैर-आर्किमिडीयन मूल्यांकन को <math>v<\infty</math> या <math>v \nmid \infty</math> के रूप में लिखा जाता है और आर्किमिडीयन मूल्यांकन को <math>v | \infty.</math> के रूप में लिखा जाता है, तत्पश्चात मान लें कि सभी मूल्यांकन गैर-तुच्छ हैं।


मूल्यांकन और निरपेक्ष मानों के विभिन्न प्रमाण है। स्थिरांक <math>C>1,</math> को निश्चित करें, मूल्यांकन <math>v</math> को निरपेक्ष मान <math>|\cdot|_v,</math> दिया गया है, जिसे इस प्रकार परिभाषित किया गया है-
मूल्यांकन और निरपेक्ष मानों के विभिन्न प्रमाण है। स्थिरांक <math>C>1,</math> को निश्चित करें, मूल्यांकन <math>v</math> को निरपेक्ष मान <math>|\cdot|_v,</math> दिया गया है, जिसे इस प्रकार परिभाषित किया गया है-
Line 104: Line 103:
इसके विपरीत, निरपेक्ष मान <math>|\cdot|</math> को मूल्यांकन <math>v_{|\cdot|},</math> के रूप में परिभाषित किया गया है-
इसके विपरीत, निरपेक्ष मान <math>|\cdot|</math> को मूल्यांकन <math>v_{|\cdot|},</math> के रूप में परिभाषित किया गया है-
:<math>\forall x \in K^\times: \quad v_{|\cdot|}(x):= - \log_C(|x|).</math>
:<math>\forall x \in K^\times: \quad v_{|\cdot|}(x):= - \log_C(|x|).</math>
<math>K</math> का बीजगणितीय संख्या सिद्धांत <math>K</math> के मूल्यांकन (या निरपेक्ष मान) के समतुल्य वर्ग का प्रतिनिधि है। गैर-आर्किमिडीयन मूल्यांकनों के अनुरूप स्थानों को परिमित कहा जाता है, यद्यपि आर्किमिडीयन मूल्यांकनों के अनुरूप स्थानों को अनंत कहा जाता है। वैश्विक क्षेत्र के अनंत स्थान परिमित समुच्चय बनाते हैं, जिसे <math>P_{\infty}.</math> द्वारा निरूपित किया जाता है।
<math>K</math> का बीजगणितीय संख्या सिद्धांत <math>K</math> के मूल्यांकन (या निरपेक्ष मान) के समतुल्य वर्ग का प्रतिनिधि है। गैर-आर्किमिडीयन मूल्यांकनों के अनुरूप समष्टिों को परिमित कहा जाता है, यद्यपि आर्किमिडीयन मूल्यांकनों के अनुरूप समष्टिों को अनंत कहा जाता है। वैश्विक क्षेत्र के अनंत समष्टि परिमित समुच्चय बनाते हैं, जिसे <math>P_{\infty}.</math> द्वारा निरूपित किया जाता है।


<math>\textstyle \widehat{O}:= \prod_{v < \infty}O_v</math> को परिभाषित कीजिए और <math>\widehat{O}^{\times}</math> को इसकी इकाइयों का समूह मान लीजिए, तब <math>\textstyle \widehat{O}^{\times}=\prod_{v < \infty} O_v^{\times}.</math>
<math>\textstyle \widehat{O}:= \prod_{v < \infty}O_v</math> को परिभाषित कीजिए और <math>\widehat{O}^{\times}</math> को इसकी इकाइयों का समूह मान लीजिए, तब <math>\textstyle \widehat{O}^{\times}=\prod_{v < \infty} O_v^{\times}.</math>


=== परिमित विस्तार ===
=== परिमित विस्तार ===
मान लीजिए <math>L/K</math> वैश्विक क्षेत्र <math>K</math> का परिमित विस्तार है। मान लीजिए <math>w</math>, <math>L</math> का स्थान है और <math>v</math>, <math>K</math> का स्थान है। यदि <math>K</math> तक सीमित निरपेक्ष मान <math>|\cdot|_w</math>, <math>v</math> के समतुल्य वर्ग में है, तो <math>w</math>, <math>v</math> के ऊपर स्थित होता है, जिसे <math>w | v,</math> द्वारा निरूपित किया जाता है और इसे इस प्रकार परिभाषित किया जाता है-
मान लीजिए <math>L/K</math> वैश्विक क्षेत्र <math>K</math> का परिमित विस्तार है। मान लीजिए <math>w</math>, <math>L</math> का समष्टि है और <math>v</math>, <math>K</math> का समष्टि है। यदि <math>K</math> तक सीमित निरपेक्ष मान <math>|\cdot|_w</math>, <math>v</math> के समतुल्य वर्ग में है, तो <math>w</math>, <math>v</math> के ऊपर स्थित होता है, जिसे <math>w | v,</math> द्वारा निरूपित किया जाता है और इसे इस प्रकार परिभाषित किया जाता है-
:<math>\begin{align}
:<math>\begin{align}
L_v&:=\prod_{w | v} L_w,\\
L_v&:=\prod_{w | v} L_w,\\
Line 118: Line 117:
यदि <math>w|v</math>, <math>K_v</math> को <math>L_w.</math> में एम्बेड किया जा सकता है। इसलिए <math>K_v</math>, <math>L_v</math> में विकर्णीय रूप से सन्निहित है। इस एम्बेडिंग <math>L_v</math> के साथ <math>K_v</math> पर डिग्री का क्रमविनिमेय बीजगणित है-
यदि <math>w|v</math>, <math>K_v</math> को <math>L_w.</math> में एम्बेड किया जा सकता है। इसलिए <math>K_v</math>, <math>L_v</math> में विकर्णीय रूप से सन्निहित है। इस एम्बेडिंग <math>L_v</math> के साथ <math>K_v</math> पर डिग्री का क्रमविनिमेय बीजगणित है-
:<math>\sum_{w|v}[L_w:K_v]=[L:K].</math>
:<math>\sum_{w|v}[L_w:K_v]=[L:K].</math>
== एडेल रिंग ==
== एडेल वलय ==


वैश्विक क्षेत्र <math>K</math> निरूपित <math>\mathbb{A}_{K,\text{fin}},</math> के परिमित एडेल के समुच्चय को <math>O_v</math> के संबंध में <math>K_v</math> के प्रतिबंधित गुणनफल के रूप में परिभाषित किया गया है-
वैश्विक क्षेत्र <math>K</math> निरूपित <math>\mathbb{A}_{K,\text{fin}},</math> के परिमित एडेल के समुच्चय को <math>O_v</math> के संबंध में <math>K_v</math> के प्रतिबंधित गुणनफल के रूप में परिभाषित किया गया है-
Line 125: Line 124:


:<math>U=\prod_{v \in E} U_v \times \prod_{v \notin E} O_v \subset {\prod_{v<\infty}}^' K_v ,</math>
:<math>U=\prod_{v \in E} U_v \times \prod_{v \notin E} O_v \subset {\prod_{v<\infty}}^' K_v ,</math>
जहाँ <math>E</math> (परिमित) स्थानों का परिमित समुच्चय है और <math>U_v \subset K_v</math> विवृत हैं। घटक के अनुसार जोड़ और गुणन के साथ <math>\mathbb{A}_{K,\text{fin}}</math> भी वलय है।
जहाँ <math>E</math> (परिमित) समष्टिों का परिमित समुच्चय है और <math>U_v \subset K_v</math> विवृत हैं। घटक के अनुसार जोड़ और गुणन के साथ <math>\mathbb{A}_{K,\text{fin}}</math> भी वलय है।


वैश्विक क्षेत्र <math>K</math> के एडेल रिंग को <math>\mathbb{A}_{K,\text{fin}}</math> के गुणनफल के रूप में परिभाषित किया गया है, जो <math>K</math> के अनंत स्थानों पर पूर्णता के गुणनफल के साथ है। अनंत स्थानों की संख्या परिमित है और पूर्णताएँ या तो <math>\R</math> अथवा <math>\C.</math> हैं। संक्षेप में:
वैश्विक क्षेत्र <math>K</math> के एडेल वलय को <math>\mathbb{A}_{K,\text{fin}}</math> के गुणनफल के रूप में परिभाषित किया गया है, जो <math>K</math> के अनंत समष्टिों पर पूर्णता के गुणनफल के साथ है। अनंत समष्टिों की संख्या परिमित है और पूर्णताएँ या तो <math>\R</math> अथवा <math>\C.</math> हैं। संक्षेप में:


:<math>\mathbb{A}_K:=\mathbb{A}_{K,\text{fin}}\times \prod_{v | \infty} K_v= {\prod_{v < \infty}}^' K_v \times \prod_{v | \infty}K_v.</math>
:<math>\mathbb{A}_K:=\mathbb{A}_{K,\text{fin}}\times \prod_{v | \infty} K_v= {\prod_{v < \infty}}^' K_v \times \prod_{v | \infty}K_v.</math>
जोड़ और गुणन के साथ घटक के रूप में परिभाषित एडेल रिंग है। एडेल रिंग के तत्वों को <math>K</math> का एडेल कहा जाता है। निम्नलिखित में इसे इस प्रकार लिखा गया है-
जोड़ और गुणन के साथ घटक के रूप में परिभाषित एडेल वलय है। एडेल वलय के तत्वों को <math>K</math> का एडेल कहा जाता है। निम्नलिखित में इसे इस प्रकार लिखा गया है-


:<math>\mathbb{A}_K= {\prod_v}^' K_v,</math>
:<math>\mathbb{A}_K= {\prod_v}^' K_v,</math>
चूँकि यह सामान्यतः प्रतिबंधित गुणनफल नहीं है।
चूँकि यह सामान्यतः प्रतिबंधित गुणनफल नहीं है।


'''टिप्पणी-''' वैश्विक फलन क्षेत्रों में कोई अनंत स्थान नहीं है और इसलिए परिमित एडेल रिंग, एडेलिक रिंग के समतुल्य है।
'''टिप्पणी-''' वैश्विक फलन क्षेत्रों में कोई अनंत समष्टि नहीं है और इसलिए परिमित एडेल वलय, एडेलिक वलय के समतुल्य है।


: '''लेम्मा-''' विकर्ण मानचित्र <math>a \mapsto (a,a,\ldots).</math> द्वारा दिए गए <math>\mathbb{A}_K</math> में <math>K</math> का स्वाभाविक बन्धन है।
: '''लेम्मा-''' विकर्ण मानचित्र <math>a \mapsto (a,a,\ldots).</math> द्वारा दिए गए <math>\mathbb{A}_K</math> में <math>K</math> का स्वाभाविक बन्धन है।
Line 142: Line 141:
'''टिप्पणी-''' विकर्ण मानचित्र के नीचे अपनी छवि के साथ <math>K</math> को प्रमाणित करके इसे <math>\mathbb{A}_K.</math> का उपसमूह माना जाता है। <math>K</math> के तत्वों को <math>\mathbb{A}_K.</math> का प्रमुख एडेल कहा जाता है।  
'''टिप्पणी-''' विकर्ण मानचित्र के नीचे अपनी छवि के साथ <math>K</math> को प्रमाणित करके इसे <math>\mathbb{A}_K.</math> का उपसमूह माना जाता है। <math>K</math> के तत्वों को <math>\mathbb{A}_K.</math> का प्रमुख एडेल कहा जाता है।  


'''परिभाषा-''' माना <math>S</math>, <math>K</math> के स्थानों का समुच्चय है। <math>K</math> के <math>S</math>-एडेल्स के समुच्चय को इस रूप में परिभाषित कीजिए-
'''परिभाषा-''' माना <math>S</math>, <math>K</math> के समष्टिों का समुच्चय है। <math>K</math> के <math>S</math>-एडेल्स के समुच्चय को इस रूप में परिभाषित कीजिए-


: <math>\mathbb{A}_{K,S} := {\prod_{v \in S}}^' K_v.</math>
: <math>\mathbb{A}_{K,S} := {\prod_{v \in S}}^' K_v.</math>
Line 152: Line 151:




=== परिमेय का एडेल रिंग ===
=== परिमेय का एडेल वलय ===


ओस्ट्रोव्स्की के प्रमेय द्वारा <math>\Q</math> का स्थान <math>\{p \in \N :p \text{ prime}\} \cup \{\infty\},</math> है, <math>p</math>-एडिक निरपेक्ष मान के तुल्यता वर्ग के साथ अभाज्य <math>p</math> की पहचान करना संभव है और निरपेक्ष मान <math>|\cdot|_\infty</math> के तुल्यता वर्ग के साथ <math>\infty</math> को इस प्रकार परिभाषित किया गया है-
ओस्ट्रोव्स्की के प्रमेय द्वारा <math>\Q</math> का समष्टि <math>\{p \in \N :p \text{ prime}\} \cup \{\infty\},</math> है, <math>p</math>-एडिक निरपेक्ष मान के तुल्यता वर्ग के साथ अभाज्य <math>p</math> की पहचान करना संभव है और निरपेक्ष मान <math>|\cdot|_\infty</math> के तुल्यता वर्ग के साथ <math>\infty</math> को इस प्रकार परिभाषित किया गया है-


:<math>\forall x \in \Q: \quad |x|_\infty:=  
:<math>\forall x \in \Q: \quad |x|_\infty:=  
Line 161: Line 160:
  -x & x < 0  
  -x & x < 0  
\end{cases}</math>
\end{cases}</math>
स्थान <math>p</math> के संबंध में <math>\Q</math> की पूर्णता मूल्यांकन रिंग <math>\Z_p.</math> के साथ <math>\Q_p</math> है। स्थान <math>\infty</math> के लिए पूर्णता <math>\R.</math> है। इस प्रकार-
समष्टि <math>p</math> के संबंध में <math>\Q</math> की पूर्णता मूल्यांकन वलय <math>\Z_p.</math> के साथ <math>\Q_p</math> है। समष्टि <math>\infty</math> के लिए पूर्णता <math>\R.</math> है। इस प्रकार-


:<math>\begin{align}
:<math>\begin{align}
Line 182: Line 181:
: गुणनफल टोपोलॉजी में यह अभिसरण करता है <math>(1,1,\ldots)</math>, किन्तु यह प्रतिबंधित गुणनफल टोपोलॉजी में अभिसरण नहीं करता है।
: गुणनफल टोपोलॉजी में यह अभिसरण करता है <math>(1,1,\ldots)</math>, किन्तु यह प्रतिबंधित गुणनफल टोपोलॉजी में अभिसरण नहीं करता है।


'''प्रमाण-''' गुणनफल टोपोलॉजी में अभिसरण प्रत्येक समन्वय में अभिसरण से युग्मित होता है, जो महत्वहीन है क्योंकि अनुक्रम स्थिर हो जाते हैं। अनुक्रम प्रतिबंधित गुणनफल टोपोलॉजी में परिवर्तित नहीं होता है। प्रत्येक एडेल के लिए <math>a=(a_p)_p \in \mathbb{A}_{\Q}</math> और प्रत्येक प्रतिबंधित विवृत आयत के लिए <math>\textstyle U=\prod_{p \in E}U_p \times \prod_{p \notin E}\Z_p,</math> इसमें <math>a_p \in \Z_p</math> के लिए <math>\tfrac{1}{p}-a_p \notin \Z_p</math> है और इसलिए सभी <math>p \notin F.</math> के लिए <math>\tfrac{1}{p}-a_p \notin \Z_p</math> है। परिणामस्वरूप प्रायः सभी <math>n \in \N.</math> के लिए <math>x_n-a \notin U</math> है। इस विचार में, <math>E</math> और <math>F</math> सभी स्थानों के समुच्चय के परिमित उपसमुच्चय हैं।
'''प्रमाण-''' गुणनफल टोपोलॉजी में अभिसरण प्रत्येक समन्वय में अभिसरण से युग्मित होता है, जो महत्वहीन है क्योंकि अनुक्रम स्थिर हो जाते हैं। अनुक्रम प्रतिबंधित गुणनफल टोपोलॉजी में परिवर्तित नहीं होता है। प्रत्येक एडेल के लिए <math>a=(a_p)_p \in \mathbb{A}_{\Q}</math> और प्रत्येक प्रतिबंधित विवृत आयत के लिए <math>\textstyle U=\prod_{p \in E}U_p \times \prod_{p \notin E}\Z_p,</math> इसमें <math>a_p \in \Z_p</math> के लिए <math>\tfrac{1}{p}-a_p \notin \Z_p</math> है और इसलिए सभी <math>p \notin F.</math> के लिए <math>\tfrac{1}{p}-a_p \notin \Z_p</math> है। परिणामस्वरूप प्रायः सभी <math>n \in \N.</math> के लिए <math>x_n-a \notin U</math> है। इस विचार में, <math>E</math> और <math>F</math> सभी समष्टिों के समुच्चय के परिमित उपसमुच्चय हैं।


=== संख्या क्षेत्रों के लिए वैकल्पिक परिभाषा ===
=== संख्या क्षेत्रों के लिए वैकल्पिक परिभाषा ===


'''परिभाषा ([[अनंत पूर्णांक]])'''- अनंत पूर्णांकों को आंशिक क्रम <math>n \geq m \Leftrightarrow m | n,</math> के साथ रिंग <math>\Z /n\Z</math> की [[अनंत पूर्णता]] के रूप में परिभाषित किया गया है। अर्थात,
'''परिभाषा ([[अनंत पूर्णांक]])'''- अनंत पूर्णांकों को आंशिक क्रम <math>n \geq m \Leftrightarrow m | n,</math> के साथ वलय <math>\Z /n\Z</math> की [[अनंत पूर्णता]] के रूप में परिभाषित किया गया है। अर्थात,


:<math>\widehat{\Z}:=\varprojlim_n \Z /n\Z,</math>
:<math>\widehat{\Z}:=\varprojlim_n \Z /n\Z,</math>
Line 204: Line 203:




=== परिमित विस्तार की एडेल रिंग ===
=== परिमित विस्तार की एडेल वलय ===


यदि <math>L/K</math> परिमित विस्तार है, और <math>L</math> वैश्विक क्षेत्र है। इस प्रकार <math>\mathbb{A}_L</math> परिभाषित किया गया है, और <math>\textstyle \mathbb{A}_L= {\prod_v}^' L_v.</math> है। <math>\mathbb{A}_K</math> की पहचान <math>\mathbb{A}_L</math> के उपसमूह से की जा सकती है। मानचित्र <math>a=(a_v)_v \in \mathbb{A}_K</math> और <math>a'=(a'_w)_w \in \mathbb{A}_L</math> जहाँ, <math>w|v.</math> के लिए <math>a'_w=a_v \in K_v \subset L_w</math> है, तब <math>a=(a_w)_w \in \mathbb{A}_L</math> उपसमूह <math>\mathbb{A}_K,</math> में है, यदि <math>w | v</math> के लिए <math>a_w \in K_v</math> और <math>w, w'</math> के लिए <math>a_w=a_{w'}</math>, <math>K</math> के समान स्थान <math>v</math> के ऊपर स्थित है।
यदि <math>L/K</math> परिमित विस्तार है, और <math>L</math> वैश्विक क्षेत्र है। इस प्रकार <math>\mathbb{A}_L</math> परिभाषित किया गया है, और <math>\textstyle \mathbb{A}_L= {\prod_v}^' L_v.</math> है। <math>\mathbb{A}_K</math> की पहचान <math>\mathbb{A}_L</math> के उपसमूह से की जा सकती है। मानचित्र <math>a=(a_v)_v \in \mathbb{A}_K</math> और <math>a'=(a'_w)_w \in \mathbb{A}_L</math> जहाँ, <math>w|v.</math> के लिए <math>a'_w=a_v \in K_v \subset L_w</math> है, तब <math>a=(a_w)_w \in \mathbb{A}_L</math> उपसमूह <math>\mathbb{A}_K,</math> में है, यदि <math>w | v</math> के लिए <math>a_w \in K_v</math> और <math>w, w'</math> के लिए <math>a_w=a_{w'}</math>, <math>K</math> के समान समष्टि <math>v</math> के ऊपर स्थित है।
: '''लेम्मा-''' यदि <math>L/K</math> परिमित विस्तार है, तो बीजगणितीय और स्थैतिक रूप से <math>\mathbb{A}_L\cong\mathbb{A}_K \otimes_K L</math> है
: '''लेम्मा-''' यदि <math>L/K</math> परिमित विस्तार है, तो बीजगणितीय और स्थैतिक रूप से <math>\mathbb{A}_L\cong\mathbb{A}_K \otimes_K L</math> है


Line 242: Line 241:




=== सदिश-समष्टि और बीजगणित का एडेल रिंग ===
=== सदिश-समष्टि और बीजगणित का एडेल वलय ===


: '''लेम्मा-''' मान लीजिए <math>P\supset P_{\infty}</math>, <math>K</math> के स्थानों का परिमित समुच्चय है और परिभाषित करें
: '''लेम्मा-''' मान लीजिए <math>P\supset P_{\infty}</math>, <math>K</math> के समष्टिों का परिमित समुच्चय है और परिभाषित करें
::<math>\mathbb{A}_K(P):=\prod_{v \in P} K_v \times \prod_{v \notin P} O_v.</math>
::<math>\mathbb{A}_K(P):=\prod_{v \in P} K_v \times \prod_{v \notin P} O_v.</math>
::<math>\mathbb{A}_K(P)</math> को गुणनफल टोपोलॉजी से सुसज्जित करें और जोड़ और गुणन को घटक के अनुसार परिभाषित करें। तब <math>\mathbb{A}_K(P)</math> स्थानीय रूप से सघन टोपोलॉजिकल रिंग है।
::<math>\mathbb{A}_K(P)</math> को गुणनफल टोपोलॉजी से सुसज्जित करें और जोड़ और गुणन को घटक के अनुसार परिभाषित करें। तब <math>\mathbb{A}_K(P)</math> समष्टिीय रूप से सघन टोपोलॉजिकल वलय है।


'''टिप्पणी-''' यदि <math>P'</math>, <math>K</math> के स्थानों का अन्य परिमित समुच्चय है जिसमें <math>P</math> है तो <math>\mathbb{A}_K(P)</math>, <math>\mathbb{A}_K(P').</math> का विवृत उपसमूह है।
'''टिप्पणी-''' यदि <math>P'</math>, <math>K</math> के समष्टिों का अन्य परिमित समुच्चय है जिसमें <math>P</math> है तो <math>\mathbb{A}_K(P)</math>, <math>\mathbb{A}_K(P').</math> का विवृत उपसमूह है।


अब, एडेल रिंग का वैकल्पिक लक्षण वर्णन प्रस्तुत किया जा सकता है। एडेल रिंग सभी समुच्चयों <math>\mathbb{A}_K(P)</math> का संघ है-
अब, एडेल वलय का वैकल्पिक लक्षण वर्णन प्रस्तुत किया जा सकता है। एडेल वलय सभी समुच्चयों <math>\mathbb{A}_K(P)</math> का संघ है-


:<math>\mathbb{A}_K = \bigcup_{P \supset P_\infty, |P|<\infty} \mathbb{A}_K(P).</math>
:<math>\mathbb{A}_K = \bigcup_{P \supset P_\infty, |P|<\infty} \mathbb{A}_K(P).</math>
समान रूप से <math>\mathbb{A}_K</math> सभी <math>x=(x_v)_v</math> का समुच्चय है जिससे कि प्रायः सभी <math>v < \infty.</math> के लिए <math>|x_v|_v \leq 1</math> है। <math>\mathbb{A}_K</math> की टोपोलॉजी इस आवश्यकता से प्रेरित है कि सभी <math>\mathbb{A}_K(P)</math>, <math>\mathbb{A}_K</math> के विवृत उपवलय है। इस प्रकार, <math>\mathbb{A}_K</math> स्थानीय रूप से सघन टोपोलॉजिकल रिंग है।
समान रूप से <math>\mathbb{A}_K</math> सभी <math>x=(x_v)_v</math> का समुच्चय है जिससे कि प्रायः सभी <math>v < \infty.</math> के लिए <math>|x_v|_v \leq 1</math> है। <math>\mathbb{A}_K</math> की टोपोलॉजी इस आवश्यकता से प्रेरित है कि सभी <math>\mathbb{A}_K(P)</math>, <math>\mathbb{A}_K</math> के विवृत उपवलय है। इस प्रकार, <math>\mathbb{A}_K</math> समष्टिीय रूप से सघन टोपोलॉजिकल वलय है।


<math>K</math> का स्थान <math>v</math> निर्धारित करें। मान लीजिए <math>P</math>, <math>K</math> के स्थानों का परिमित समुच्चय है, जिसमें <math>v</math> और <math>P_\infty.</math> समाविष्ट हैं।
<math>K</math> का समष्टि <math>v</math> निर्धारित करें। मान लीजिए <math>P</math>, <math>K</math> के समष्टिों का परिमित समुच्चय है, जिसमें <math>v</math> और <math>P_\infty.</math> समाविष्ट हैं।


:<math>\mathbb{A}_K'(P,v) := \prod_{w \in P \setminus \{v\}} K_w \times \prod_{w \notin P} O_w.</math>
:<math>\mathbb{A}_K'(P,v) := \prod_{w \in P \setminus \{v\}} K_w \times \prod_{w \notin P} O_w.</math>
Line 273: Line 272:




==== सदिश-समष्टि का एडेल रिंग ====
==== सदिश-समष्टि का एडेल वलय ====


मान लीजिए <math>E</math>, <math>K</math> पर परिमित आयामी सदिश-समष्टि है और <math>\{\omega_1,\ldots,\omega_n\}</math>, <math>K</math> पर <math>E</math> का आधार है। <math>K</math> के प्रत्येक स्थान <math>v</math> के लिए-
मान लीजिए <math>E</math>, <math>K</math> पर परिमित आयामी सदिश-समष्टि है और <math>\{\omega_1,\ldots,\omega_n\}</math>, <math>K</math> पर <math>E</math> का आधार है। <math>K</math> के प्रत्येक समष्टि <math>v</math> के लिए-


:<math>\begin{align}
:<math>\begin{align}
Line 281: Line 280:
\widetilde{O_v} &:=O_v\omega_1 \oplus \cdots \oplus O_v\omega_n
\widetilde{O_v} &:=O_v\omega_1 \oplus \cdots \oplus O_v\omega_n
\end{align}</math>
\end{align}</math>
<math>E</math> के एडेल रिंग को इस रूप में परिभाषित किया गया है-
<math>E</math> के एडेल वलय को इस रूप में परिभाषित किया गया है-


:<math>\mathbb{A}_E:= {\prod_v}^' E_v.</math>
:<math>\mathbb{A}_E:= {\prod_v}^' E_v.</math>
यह परिभाषा एडेल रिंग के वैकल्पिक विवरण पर आधारित है, जो उसी टोपोलॉजी से सुसज्जित टेंसर गुणनफल है जिसे संख्या क्षेत्रों के लिए एडेल रिंग की वैकल्पिक परिभाषा देते समय परिभाषित किया गया था। <math>\mathbb{A}_E</math> प्रतिबंधित गुणनफल टोपोलॉजी से सुसज्जित है। तब <math>\mathbb{A}_E = E \otimes_K \mathbb{A}_K</math> और <math>E</math> स्वाभाविक रूप से मानचित्र <math>e \mapsto e \otimes 1.</math> के माध्यम से <math>\mathbb{A}_E</math> में एम्बेडेड है।
यह परिभाषा एडेल वलय के वैकल्पिक विवरण पर आधारित है, जो उसी टोपोलॉजी से सुसज्जित टेंसर गुणनफल है जिसे संख्या क्षेत्रों के लिए एडेल वलय की वैकल्पिक परिभाषा देते समय परिभाषित किया गया था। <math>\mathbb{A}_E</math> प्रतिबंधित गुणनफल टोपोलॉजी से सुसज्जित है। तब <math>\mathbb{A}_E = E \otimes_K \mathbb{A}_K</math> और <math>E</math> स्वाभाविक रूप से मानचित्र <math>e \mapsto e \otimes 1.</math> के माध्यम से <math>\mathbb{A}_E</math> में एम्बेडेड है।


<math>\mathbb{A}_E</math> पर टोपोलॉजी की वैकल्पिक परिभाषा प्रदान की जा सकती है। सभी रेखीय मानचित्रों <math>E \to K.</math> पर विचार करें। प्राकृतिक एम्बेडिंग <math>E \to \mathbb{A}_E</math> और <math>K \to \mathbb{A}_K,</math> का उपयोग करके इन रैखिक मानचित्रों को <math>\mathbb{A}_E \to \mathbb{A}_K.</math> तक विस्तारित करें। <math>\mathbb{A}_E</math> पर टोपोलॉजी अपरिष्कृत है जिसके लिए ये सभी विस्तार सतत हैं।
<math>\mathbb{A}_E</math> पर टोपोलॉजी की वैकल्पिक परिभाषा प्रदान की जा सकती है। सभी रेखीय मानचित्रों <math>E \to K.</math> पर विचार करें। प्राकृतिक एम्बेडिंग <math>E \to \mathbb{A}_E</math> और <math>K \to \mathbb{A}_K,</math> का उपयोग करके इन रैखिक मानचित्रों को <math>\mathbb{A}_E \to \mathbb{A}_K.</math> तक विस्तारित करें। <math>\mathbb{A}_E</math> पर टोपोलॉजी अपरिष्कृत है जिसके लिए ये सभी विस्तार सतत हैं।


टोपोलॉजी को भिन्न रूप से परिभाषित किया जा सकता है। <math>K</math> पर <math>E</math> के आधार को निश्चित करने से समरूपता <math>E \cong K^n.</math> प्राप्त होती है। इसलिए आधार निश्चित करना समरूपता <math>(\mathbb{A}_K)^n \cong \mathbb{A}_E.</math> को प्रेरित करता है। बाईं ओर गुणनफल टोपोलॉजी के साथ आपूर्ति की जाती है और इस टोपोलॉजी को समरूपता के साथ दाईं ओर ले जाती है। टोपोलॉजी आधार पर निर्भर नहीं करती है, क्योंकि अन्य आधार दूसरे समरूपतावाद को परिभाषित करता है। दोनों समरूपताओं की रचना करके, रेखीय होमियोमॉर्फिज़्म प्राप्त किया जाता है जो दो टोपोलॉजी को स्थानांतरित करता है। अधिक औपचारिक रूप से
टोपोलॉजी को भिन्न रूप से परिभाषित किया जा सकता है। <math>K</math> पर <math>E</math> के आधार को निश्चित करने से समरूपता <math>E \cong K^n.</math> प्राप्त होती है। इसलिए आधार निश्चित करना समरूपता <math>(\mathbb{A}_K)^n \cong \mathbb{A}_E.</math> को प्रेरित करता है। बाईं ओर गुणनफल टोपोलॉजी के साथ आपूर्ति की जाती है और इस टोपोलॉजी को समरूपता के साथ दाईं ओर ले जाती है। टोपोलॉजी आधार पर निर्भर नहीं करती है, क्योंकि अन्य आधार दूसरे समरूपतावाद को परिभाषित करता है। दोनों समरूपताओं की रचना करके, रेखीय होमियोमॉर्फिज़्म प्राप्त किया जाता है जो दो टोपोलॉजी को समष्टिांतरित करता है। अधिक औपचारिक रूप से


:<math>\begin{align}
:<math>\begin{align}
Line 295: Line 294:
&\cong \mathbb{A}_K \oplus \cdots \oplus \mathbb{A}_K
&\cong \mathbb{A}_K \oplus \cdots \oplus \mathbb{A}_K
\end{align}</math>
\end{align}</math>
जहां <math>n</math> योग है। <math>E=L,</math> की स्तिथि में उपरोक्त परिभाषा परिमित विस्तार <math>L/K.</math> के एडेल रिंग के परिणामों के अनुरूप है।<ref>The definitions are based on {{harvnb|Weil|1967|p=60.}}</ref>
जहां <math>n</math> योग है। <math>E=L,</math> की स्तिथि में उपरोक्त परिभाषा परिमित विस्तार <math>L/K.</math> के एडेल वलय के परिणामों के अनुरूप है।<ref>The definitions are based on {{harvnb|Weil|1967|p=60.}}</ref>






==== बीजगणित का एडेल रिंग ====
==== बीजगणित का एडेल वलय ====


मान लीजिए <math>A</math>, <math>K</math> पर परिमित-विमीय बीजगणित है। विशेष रूप से <math>A</math>, <math>K</math> पर परिमित-आयामी सदिश-समष्टि है। परिणामस्वरूप, <math>\mathbb{A}_{A}</math> और <math>\mathbb{A}_A \cong \mathbb{A}_K \otimes_K A.</math> को परिभाषित किया गया है। चूँकि <math>\mathbb{A}_K</math> और <math>A</math> पर गुणन है, <math>\mathbb{A}_A</math> पर गुणन को निम्न द्वारा परिभाषित किया जा सकता है-
मान लीजिए <math>A</math>, <math>K</math> पर परिमित-विमीय बीजगणित है। विशेष रूप से <math>A</math>, <math>K</math> पर परिमित-आयामी सदिश-समष्टि है। परिणामस्वरूप, <math>\mathbb{A}_{A}</math> और <math>\mathbb{A}_A \cong \mathbb{A}_K \otimes_K A.</math> को परिभाषित किया गया है। चूँकि <math>\mathbb{A}_K</math> और <math>A</math> पर गुणन है, <math>\mathbb{A}_A</math> पर गुणन को निम्न द्वारा परिभाषित किया जा सकता है-


:<math>\forall \alpha, \beta \in \mathbb{A}_K \text{ and } \forall a,b \in A: \qquad  (\alpha \otimes_K a) \cdot (\beta \otimes_K b):=(\alpha\beta)\otimes_K(ab).</math>
:<math>\forall \alpha, \beta \in \mathbb{A}_K \text{ and } \forall a,b \in A: \qquad  (\alpha \otimes_K a) \cdot (\beta \otimes_K b):=(\alpha\beta)\otimes_K(ab).</math>
परिणाम के रूप में, <math>\mathbb{A}_{A}</math> बीजगणित है जिसकी इकाई <math>\mathbb{A}_K</math> अधिक है। मान लीजिए <math>\mathcal{B}</math>, <math>A</math> का परिमित उपसमुच्चय है, जिसमें <math>K</math>, <math>A</math> का आधार है। किसी परिमित स्थान <math>v</math> के लिए, <math>M_v</math> को <math>A_v.</math> में <math>\mathcal{B}</math> द्वारा उत्पन्न <math>O_v</math>-मॉड्यूल के रूप में परिभाषित किया गया है। <math>P\supset P_{\infty},</math> स्थानों के प्रत्येक परिमित समुच्चय के लिए, परिभाषित करें,
परिणाम के रूप में, <math>\mathbb{A}_{A}</math> बीजगणित है जिसकी इकाई <math>\mathbb{A}_K</math> अधिक है। मान लीजिए <math>\mathcal{B}</math>, <math>A</math> का परिमित उपसमुच्चय है, जिसमें <math>K</math>, <math>A</math> का आधार है। किसी परिमित समष्टि <math>v</math> के लिए, <math>M_v</math> को <math>A_v.</math> में <math>\mathcal{B}</math> द्वारा उत्पन्न <math>O_v</math>-मॉड्यूल के रूप में परिभाषित किया गया है। <math>P\supset P_{\infty},</math> समष्टिों के प्रत्येक परिमित समुच्चय के लिए, परिभाषित करें,


:<math>\mathbb{A}_{A}(P,\alpha) =\prod_{v \in P} A_v \times \prod_{v \notin P} M_v.</math>
:<math>\mathbb{A}_{A}(P,\alpha) =\prod_{v \in P} A_v \times \prod_{v \notin P} M_v.</math>
परिमित समुच्चय <math>P_0,</math> है जिससे कि <math>\mathbb{A}_{A}(P,\alpha)</math>, <math>\mathbb{A}_{A},</math> का विवृत उपवलय है यदि <math>P \supset P_0.</math> है। इसके अतिरिक्त <math>\mathbb{A}_{A}</math> इन सभी उपवलयों का संघ है और <math>A=K,</math> लिए उपरोक्त परिभाषा एडेल रिंग के अनुरूप है।
परिमित समुच्चय <math>P_0,</math> है जिससे कि <math>\mathbb{A}_{A}(P,\alpha)</math>, <math>\mathbb{A}_{A},</math> का विवृत उपवलय है यदि <math>P \supset P_0.</math> है। इसके अतिरिक्त <math>\mathbb{A}_{A}</math> इन सभी उपवलयों का संघ है और <math>A=K,</math> लिए उपरोक्त परिभाषा एडेल वलय के अनुरूप है।


'''एडेल रिंग पर ट्रेस और मानदंड'''
'''एडेल वलय पर ट्रेस और मानदंड'''


मान लीजिए <math>L/K</math> परिमित विस्तार है। चूँकि उपरोक्त लेम्मा से <math>\mathbb{A}_K=\mathbb{A}_K \otimes_K K</math> और <math>\mathbb{A}_L=\mathbb{A}_K \otimes_K L</math>, <math>\mathbb{A}_K</math> की व्याख्या <math>\mathbb{A}_L.</math> के संवृत उपवलय के रूप में की जा सकती है। इस एम्बेडिंग के लिए <math>\operatorname{con}_{L/K}</math> को अंकित करें, स्पष्ट रूप से <math>v</math> के ऊपर <math>L</math> के सभी स्थानों के लिए और किसी भी <math>\alpha \in \mathbb{A}_K, (\operatorname{con}_{L/K}(\alpha))_w=\alpha_v \in K_v.</math> के लिए अंकित करें।
मान लीजिए <math>L/K</math> परिमित विस्तार है। चूँकि उपरोक्त लेम्मा से <math>\mathbb{A}_K=\mathbb{A}_K \otimes_K K</math> और <math>\mathbb{A}_L=\mathbb{A}_K \otimes_K L</math>, <math>\mathbb{A}_K</math> की व्याख्या <math>\mathbb{A}_L.</math> के संवृत उपवलय के रूप में की जा सकती है। इस एम्बेडिंग के लिए <math>\operatorname{con}_{L/K}</math> को अंकित करें, स्पष्ट रूप से <math>v</math> के ऊपर <math>L</math> के सभी समष्टिों के लिए और किसी भी <math>\alpha \in \mathbb{A}_K, (\operatorname{con}_{L/K}(\alpha))_w=\alpha_v \in K_v.</math> के लिए अंकित करें।


मान लीजिए <math>M/L/K</math> वैश्विक क्षेत्रों का टॉवर है। तब:
मान लीजिए <math>M/L/K</math> वैश्विक क्षेत्रों का टॉवर है। तब:
Line 334: Line 333:


:<math>\begin{cases} \mathbb{A}_L \to \mathbb{A}_L \\ x \mapsto \alpha x\end{cases}</math>
:<math>\begin{cases} \mathbb{A}_L \to \mathbb{A}_L \\ x \mapsto \alpha x\end{cases}</math>
वे एडेल रिंग पर सतत मानचित्र हैं, और वे सामान्य समीकरणों को पूर्ण करते हैं:
वे एडेल वलय पर सतत मानचित्र हैं, और वे सामान्य समीकरणों को पूर्ण करते हैं:


: <math>\begin{align}
: <math>\begin{align}
Line 355: Line 354:




=== एडेल रिंग के गुण ===
=== एडेल वलय के गुण ===


: '''प्रमेय-'''<ref>For proof see {{harvnb|Deitmar|2010|p=124}}, theorem 5.2.1.</ref> स्थानों के प्रत्येक समुच्चय के लिए <math>S, \mathbb{A}_{K,S}</math> स्थानीय रूप से सघन टोपोलॉजिकल रिंग है।
: '''प्रमेय-'''<ref>For proof see {{harvnb|Deitmar|2010|p=124}}, theorem 5.2.1.</ref> समष्टिों के प्रत्येक समुच्चय के लिए <math>S, \mathbb{A}_{K,S}</math> समष्टिीय रूप से सघन टोपोलॉजिकल वलय है।


'''टिप्पणी-''' उपरोक्त परिणाम सदिश-समष्टि और <math>K</math> के ऊपर बीजगणित के एडेल रिंग के लिए भी प्रयुक्त होते हैं।
'''टिप्पणी-''' उपरोक्त परिणाम सदिश-समष्टि और <math>K</math> के ऊपर बीजगणित के एडेल वलय के लिए भी प्रयुक्त होते हैं।
: '''प्रमेय-'''<ref>See {{harvnb|Cassels|Fröhlich|1967|p=64}}, Theorem, or {{harvnb|Weil|1967|p=64}}, Theorem 2.</ref> <math>K</math> असतत है और <math>\mathbb{A}_K.</math> में सहसंबद्ध है विशेष रूप से, <math>K</math>, <math>\mathbb{A}_K.</math> में संवृत है।
: '''प्रमेय-'''<ref>See {{harvnb|Cassels|Fröhlich|1967|p=64}}, Theorem, or {{harvnb|Weil|1967|p=64}}, Theorem 2.</ref> <math>K</math> असतत है और <math>\mathbb{A}_K.</math> में सहसंबद्ध है विशेष रूप से, <math>K</math>, <math>\mathbb{A}_K.</math> में संवृत है।
'''प्रमाण-''' स्तिथि <math>K=\Q.</math> को सिद्ध करो। <math>\Q\subset \mathbb{A}_\Q</math> असतत है, यह <math>0</math> के अस्तित्व को दर्शाने के लिए पर्याप्त है, जिसमें कोई अन्य परिमेय संख्या नहीं है। सामान्य स्तिथि अनुवाद के माध्यम से होती है।
'''प्रमाण-''' स्तिथि <math>K=\Q.</math> को सिद्ध करो। <math>\Q\subset \mathbb{A}_\Q</math> असतत है, यह <math>0</math> के अस्तित्व को दर्शाने के लिए पर्याप्त है, जिसमें कोई अन्य परिमेय संख्या नहीं है। सामान्य स्तिथि अनुवाद के माध्यम से होती है।
Line 402: Line 401:
'''टिप्पणी-''' चतुर्थ कथन सन्निकटन प्रमेय की विशेष स्तिथि है।
'''टिप्पणी-''' चतुर्थ कथन सन्निकटन प्रमेय की विशेष स्तिथि है।


'''एडेल रिंग पर प्रत्येक माप'''
'''एडेल वलय पर प्रत्येक माप'''


'''परिभाषा-''' फलन <math>f: \mathbb{A}_K \to \C</math> को सरल कहा जाता है, यदि <math>\textstyle f=\prod_v f_v,</math> जहाँ <math>f_v:K_v \to \C</math> मापने योग्य हैं और प्रायः सभी <math>v.</math> के लिए <math>f_v= \mathbf{1}_{O_v}</math> है।
'''परिभाषा-''' फलन <math>f: \mathbb{A}_K \to \C</math> को सरल कहा जाता है, यदि <math>\textstyle f=\prod_v f_v,</math> जहाँ <math>f_v:K_v \to \C</math> मापने योग्य हैं और प्रायः सभी <math>v.</math> के लिए <math>f_v= \mathbf{1}_{O_v}</math> है।
: '''प्रमेय-'''<ref>See {{harvnb|Deitmar|2010|p=126}}, Theorem 5.2.2 for the rational case.</ref> चूँकि <math>\mathbb{A}_K</math> स्थानीय रूप से सघन समूह है, इसलिए <math>\mathbb{A}_K</math> पर योगात्मक माप <math>dx</math> है। इस माप को सामान्यीकृत किया जा सकता है जिस प्रकार प्रत्येक पूर्णांक सरल फलन <math>\textstyle f=\prod_v f_v</math>, निम्न समीकरण को संतुष्ट करता है-
: '''प्रमेय-'''<ref>See {{harvnb|Deitmar|2010|p=126}}, Theorem 5.2.2 for the rational case.</ref> चूँकि <math>\mathbb{A}_K</math> समष्टिीय रूप से सघन समूह है, इसलिए <math>\mathbb{A}_K</math> पर योगात्मक माप <math>dx</math> है। इस माप को सामान्यीकृत किया जा सकता है जिस प्रकार प्रत्येक पूर्णांक सरल फलन <math>\textstyle f=\prod_v f_v</math>, निम्न समीकरण को संतुष्ट करता है-
::<math>\int_{\mathbb{A}_K} f \, dx = \prod_v \int_{K_v} f_v \, dx_v,</math>
::<math>\int_{\mathbb{A}_K} f \, dx = \prod_v \int_{K_v} f_v \, dx_v,</math>
: जहाँ <math>v <\infty, dx_v</math> के लिए <math>K_v</math> पर माप है, जिस प्रकार <math>O_v</math> इकाई माप है और <math>dx_{\infty}</math> लेबेस्ग माप है। गुणनफल परिमित है, अर्थात प्रायः सभी गुणनखंड 1 के समान हैं।
: जहाँ <math>v <\infty, dx_v</math> के लिए <math>K_v</math> पर माप है, जिस प्रकार <math>O_v</math> इकाई माप है और <math>dx_{\infty}</math> लेबेस्ग माप है। गुणनफल परिमित है, अर्थात प्रायः सभी गुणनखंड 1 के समान हैं।
Line 411: Line 410:
== आदर्श समूह ==
== आदर्श समूह ==


'''परिभाषा-''' एडेल रिंग <math>K</math> की इकाइयों के समूह के रूप में <math>K</math> के आदर्श समूह को परिभाषित कीजिए जो <math>I_K := \mathbb{A}_K^{\times}.</math> है। आइडल समूह के तत्वों को <math>K</math> का आइडल कहा जाता है।
'''परिभाषा-''' एडेल वलय <math>K</math> की इकाइयों के समूह के रूप में <math>K</math> के आदर्श समूह को परिभाषित कीजिए जो <math>I_K := \mathbb{A}_K^{\times}.</math> है। आइडल समूह के तत्वों को <math>K</math> का आइडल कहा जाता है।


'''टिप्पणी-''' <math>I_K</math> टोपोलॉजी से सुसज्जित है जिससे कि यह टोपोलॉजिकल समूह में परिवर्तित हो जाए। <math>\mathbb{A}_K</math> से विरासत में मिली उपसमुच्चय टोपोलॉजी उपयुक्त उम्मीदवार नहीं है क्योंकि उपसमुच्चय टोपोलॉजी से सुसज्जित टोपोलॉजिकल रिंग की इकाइयों का समूह टोपोलॉजिकल समूह नहीं हो सकता है। उदाहरण के लिए, <math>\mathbb{A}_{\Q}</math> में व्युत्क्रम मानचित्र सतत नहीं है। अनुक्रम-
'''टिप्पणी-''' <math>I_K</math> टोपोलॉजी से सुसज्जित है जिससे कि यह टोपोलॉजिकल समूह में परिवर्तित हो जाए। <math>\mathbb{A}_K</math> से विरासत में मिली उपसमुच्चय टोपोलॉजी उपयुक्त उम्मीदवार नहीं है क्योंकि उपसमुच्चय टोपोलॉजी से सुसज्जित टोपोलॉजिकल वलय की इकाइयों का समूह टोपोलॉजिकल समूह नहीं हो सकता है। उदाहरण के लिए, <math>\mathbb{A}_{\Q}</math> में व्युत्क्रम मानचित्र सतत नहीं है। अनुक्रम-


:<math>\begin{align}
:<math>\begin{align}
Line 425: Line 424:
:<math>U=\prod_{p \leq N} U_p \times \prod_{p > N}\Z_p</math>
:<math>U=\prod_{p \leq N} U_p \times \prod_{p > N}\Z_p</math>
<math>p,</math> के लिए <math>(x_n)_p-1 \in \Z_p</math> के पश्चात् से, <math>n</math> के लिए <math>x_n-1 \in U</math> अधिक बड़ा है। चूँकि इस क्रम का व्युत्क्रम <math>\mathbb{A}_{\Q}.</math> में अभिसरित नहीं होता है।
<math>p,</math> के लिए <math>(x_n)_p-1 \in \Z_p</math> के पश्चात् से, <math>n</math> के लिए <math>x_n-1 \in U</math> अधिक बड़ा है। चूँकि इस क्रम का व्युत्क्रम <math>\mathbb{A}_{\Q}.</math> में अभिसरित नहीं होता है।
: '''लेम्मा-''' मान लीजिए <math>R</math> टोपोलॉजिकल रिंग है।
: '''लेम्मा-''' मान लीजिए <math>R</math> टोपोलॉजिकल वलय है।
::<math>\begin{cases}
::<math>\begin{cases}
\iota: R^{\times} \to R \times R\\
\iota: R^{\times} \to R \times R\\
Line 432: Line 431:
: <math>R \times R</math> और <math>\iota, R^{\times}</math> टोपोलॉजी पर गुणनफल से प्रेरित टोपोलॉजिकल समूह है और समावेशन मानचित्र <math>R^{\times} \subset R</math> सतत है। यह <math>R,</math> पर अपरिष्कृत टोपोलॉजी है, जो <math>R^\times</math> को टोपोलॉजिकल समूह बनाती है।
: <math>R \times R</math> और <math>\iota, R^{\times}</math> टोपोलॉजी पर गुणनफल से प्रेरित टोपोलॉजिकल समूह है और समावेशन मानचित्र <math>R^{\times} \subset R</math> सतत है। यह <math>R,</math> पर अपरिष्कृत टोपोलॉजी है, जो <math>R^\times</math> को टोपोलॉजिकल समूह बनाती है।


'''प्रमाण-''' तब <math>R</math> टोपोलॉजिकल रिंग है जो यह दर्शाने के लिए पर्याप्त है कि व्युत्क्रम मानचित्र सतत है। मान लीजिए <math>U\subset R^\times</math> विवृत है, तब <math>U \times U^{-1} \subset R \times R</math> विवृत है। यह दर्शाना आवश्यक है कि <math>U^{-1} \subset R^\times</math> विवृत है या समकक्ष है, <math>U^{-1}\times (U^{-1})^{-1}=U^{-1} \times U \subset R \times R</math> विवृत है। किन्तु यह उपरोक्त स्तिथि है।
'''प्रमाण-''' तब <math>R</math> टोपोलॉजिकल वलय है जो यह दर्शाने के लिए पर्याप्त है कि व्युत्क्रम मानचित्र सतत है। मान लीजिए <math>U\subset R^\times</math> विवृत है, तब <math>U \times U^{-1} \subset R \times R</math> विवृत है। यह दर्शाना आवश्यक है कि <math>U^{-1} \subset R^\times</math> विवृत है या समकक्ष है, <math>U^{-1}\times (U^{-1})^{-1}=U^{-1} \times U \subset R \times R</math> विवृत है। किन्तु यह उपरोक्त स्तिथि है।


आदर्श समूह लेम्मा में परिभाषित टोपोलॉजी से सुसज्जित है जो इसे सामयिक समूह बनाता है।
आदर्श समूह लेम्मा में परिभाषित टोपोलॉजी से सुसज्जित है जो इसे सामयिक समूह बनाता है।


'''परिभाषा-''' <math>S</math> के लिए <math>K</math> के स्थानों का उपसमुच्चय: <math>I_{K,S}:=\mathbb{A}_{K,S}^\times, I_K^S:=(\mathbb{A}_{K}^S)^{\times}.</math>
'''परिभाषा-''' <math>S</math> के लिए <math>K</math> के समष्टिों का उपसमुच्चय: <math>I_{K,S}:=\mathbb{A}_{K,S}^\times, I_K^S:=(\mathbb{A}_{K}^S)^{\times}.</math>
: '''लेम्मा-''' टोपोलॉजिकल समूहों का प्रमाण निम्नलिखित है-
: '''लेम्मा-''' टोपोलॉजिकल समूहों का प्रमाण निम्नलिखित है-
::<math>\begin{align}
::<math>\begin{align}
Line 445: Line 444:
: जहां प्रतिबंधित गुणनफल में टोपोलॉजी है, जो रूप के प्रतिबंधित विवृत आयतों द्वारा उत्पन्न होती है
: जहां प्रतिबंधित गुणनफल में टोपोलॉजी है, जो रूप के प्रतिबंधित विवृत आयतों द्वारा उत्पन्न होती है
::<math>\prod_{v \in E} U_v \times \prod_{v \notin E} O_v^{\times},</math>
::<math>\prod_{v \in E} U_v \times \prod_{v \notin E} O_v^{\times},</math>
:जहाँ <math>E</math> सभी स्थानों के समुच्चय का परिमित उपसमुच्चय है और <math>U_v \subset K_v^{\times}</math> विवृत समुच्चय हैं।
:जहाँ <math>E</math> सभी समष्टिों के समुच्चय का परिमित उपसमुच्चय है और <math>U_v \subset K_v^{\times}</math> विवृत समुच्चय हैं।


'''प्रमाण-''' <math>I_K</math> के लिए प्रमाण सिद्ध करें; अन्य दो समान रूप से अनुसरण करते हैं। प्रथम यह दर्शायें कि दो समुच्चय समान हैं:
'''प्रमाण-''' <math>I_K</math> के लिए प्रमाण सिद्ध करें; अन्य दो समान रूप से अनुसरण करते हैं। प्रथम यह दर्शायें कि दो समुच्चय समान हैं:
Line 459: Line 458:
अब, बाईं ओर की टोपोलॉजी को दाहिनी ओर की टोपोलॉजी के समतुल्य दर्शाना संभव हो सकता है। स्पष्ट रूप से प्रत्येक विवृत प्रतिबंधित आयत आदर्श समूह की टोपोलॉजी में विवृत है। दूसरी ओर, किसी दिए गए <math>U \subset I_K,</math> के लिए, जो आइडल समूह की टोपोलॉजी में विवृत है, जिसका अर्थ <math>U \times U^{-1} \subset \mathbb{A}_K \times \mathbb{A}_K</math> है, इसलिए प्रत्येक <math>u \in U</math> के लिए विवृत प्रतिबंधित आयत उपस्थित है, जो <math>U</math> का उपसमुच्चय है और इसमें <math>u.</math> सम्मिलित है। इसलिए, <math>U</math> इन सभी प्रतिबंधित विवृत आयतों का संघ है और इसलिए प्रतिबंधित गुणनफल टोपोलॉजी में विवृत है।
अब, बाईं ओर की टोपोलॉजी को दाहिनी ओर की टोपोलॉजी के समतुल्य दर्शाना संभव हो सकता है। स्पष्ट रूप से प्रत्येक विवृत प्रतिबंधित आयत आदर्श समूह की टोपोलॉजी में विवृत है। दूसरी ओर, किसी दिए गए <math>U \subset I_K,</math> के लिए, जो आइडल समूह की टोपोलॉजी में विवृत है, जिसका अर्थ <math>U \times U^{-1} \subset \mathbb{A}_K \times \mathbb{A}_K</math> है, इसलिए प्रत्येक <math>u \in U</math> के लिए विवृत प्रतिबंधित आयत उपस्थित है, जो <math>U</math> का उपसमुच्चय है और इसमें <math>u.</math> सम्मिलित है। इसलिए, <math>U</math> इन सभी प्रतिबंधित विवृत आयतों का संघ है और इसलिए प्रतिबंधित गुणनफल टोपोलॉजी में विवृत है।


: '''लेम्मा-''' स्थानों के प्रत्येक समुच्चय के लिए, <math>S, I_{K,S}</math> स्थानीय सघन टोपोलॉजिकल समूह है।
: '''लेम्मा-''' समष्टिों के प्रत्येक समुच्चय के लिए, <math>S, I_{K,S}</math> समष्टिीय सघन टोपोलॉजिकल समूह है।


'''प्रमाण-''' गुणनफल के रूप में <math>I_{K,S}</math> के विवरण से स्थानीय सघनता का अनुसरण होता है। यह टोपोलॉजिकल समूह होने के नाते टोपोलॉजिकल रिंग की इकाइयों के समूह पर उपरोक्त विचार द्वारा अनुसरण करता है।
'''प्रमाण-''' गुणनफल के रूप में <math>I_{K,S}</math> के विवरण से समष्टिीय सघनता का अनुसरण होता है। यह टोपोलॉजिकल समूह होने के नाते टोपोलॉजिकल वलय की इकाइयों के समूह पर उपरोक्त विचार द्वारा अनुसरण करता है।


<math>1 \in I_K.</math> की प्रतिवेश प्रणाली <math>1 \in \mathbb{A}_K(P_\infty)^{\times}</math> की प्रतिवेश प्रणाली है। वैकल्पिक रूप से,
<math>1 \in I_K.</math> की प्रतिवेश प्रणाली <math>1 \in \mathbb{A}_K(P_\infty)^{\times}</math> की प्रतिवेश प्रणाली है। वैकल्पिक रूप से,
Line 468: Line 467:
जहां <math>U_v</math> प्रायः सभी <math>v</math> के लिए <math>1 \in K_v^\times</math> और <math>U_v=O_v^\times</math> का प्रतिवेश है।
जहां <math>U_v</math> प्रायः सभी <math>v</math> के लिए <math>1 \in K_v^\times</math> और <math>U_v=O_v^\times</math> का प्रतिवेश है।


चूंकि आदर्श समूह स्थानीय रूप से सघन है, इसलिए इसमें प्रत्येक माप <math>d^\times x</math> उपस्थित है। इसे सामान्य किया जा सकता है, जिससे कि
चूंकि आदर्श समूह समष्टिीय रूप से सघन है, इसलिए इसमें प्रत्येक माप <math>d^\times x</math> उपस्थित है। इसे सामान्य किया जा सकता है, जिससे कि


:<math>\int_{I_{K,\text{fin}}} \mathbf{1}_{\widehat{O}}\, d^\times x =1.</math>
:<math>\int_{I_{K,\text{fin}}} \mathbf{1}_{\widehat{O}}\, d^\times x =1.</math>
यह परिमित स्थानों के लिए प्रयुक्त सामान्यीकरण है। इस समीकरण में, <math>I_{K,\text{fin}}</math> परिमित आइडल समूह है, जिसका अर्थ परिमित एडेल रिंग की इकाइयों का समूह है। अपरिमित स्थानों के लिए, गुणक लेबेस्ग माप <math>\tfrac{dx}{|x|}.</math> का उपयोग करें।
यह परिमित समष्टिों के लिए प्रयुक्त सामान्यीकरण है। इस समीकरण में, <math>I_{K,\text{fin}}</math> परिमित आइडल समूह है, जिसका अर्थ परिमित एडेल वलय की इकाइयों का समूह है। अपरिमित समष्टिों के लिए, गुणक लेबेस्ग माप <math>\tfrac{dx}{|x|}.</math> का उपयोग करें।




Line 481: Line 480:
: जहां प्रतिबंधित गुणनफल <math>\widetilde{O_v}^{\times}.</math> के संबंध में है।
: जहां प्रतिबंधित गुणनफल <math>\widetilde{O_v}^{\times}.</math> के संबंध में है।
: '''लेम्मा- <math>I_L.</math>''' में <math>I_K</math> की कैनोनिकल एम्बेडिंग है।
: '''लेम्मा- <math>I_L.</math>''' में <math>I_K</math> की कैनोनिकल एम्बेडिंग है।
'''प्रमाण-''' <math>w|v</math> के लिए <math>a'_w=a_v \in K_v^\times \subset L_w^\times</math> गुण के साथ <math>a=(a_v)_v \in I_K</math> से <math>a'=(a'_w)_w \in I_L</math> का मानचित्र है। इसलिए, <math>I_K</math> को <math>I_L.</math> के उपसमूह के रूप में देखा जा सकता है। तत्व <math>a=(a_w)_w \in I_L</math> इस उपसमूह में है यदि उसके घटक निम्नलिखित गुणों को पूर्ण करते हैं: <math>w | v</math> के लिए <math>a_w \in K_v^\times</math> और <math>w|v</math> के लिए <math>a_w=a_{w'}</math> और <math>K</math> के समान स्थान <math>v</math> के लिए <math>w' | v</math> है।
'''प्रमाण-''' <math>w|v</math> के लिए <math>a'_w=a_v \in K_v^\times \subset L_w^\times</math> गुण के साथ <math>a=(a_v)_v \in I_K</math> से <math>a'=(a'_w)_w \in I_L</math> का मानचित्र है। इसलिए, <math>I_K</math> को <math>I_L.</math> के उपसमूह के रूप में देखा जा सकता है। तत्व <math>a=(a_w)_w \in I_L</math> इस उपसमूह में है यदि उसके घटक निम्नलिखित गुणों को पूर्ण करते हैं: <math>w | v</math> के लिए <math>a_w \in K_v^\times</math> और <math>w|v</math> के लिए <math>a_w=a_{w'}</math> और <math>K</math> के समान समष्टि <math>v</math> के लिए <math>w' | v</math> है।




Line 492: Line 491:


मान लीजिए <math>A</math>, <math>K</math> पर परिमित आयामी बीजगणित है। चूँकि <math>\mathbb{A}_A^{\times}</math> सामान्य रूप से उपसमुच्चय-टोपोलॉजी वाला टोपोलॉजिकल समूह नहीं है, <math>\mathbb{A}_A^{\times}</math> को उपरोक्त <math>I_K</math> के समान टोपोलॉजी से सुसज्जित करें और <math>\mathbb{A}_A^{\times}</math> को आदर्श समूह कहें। आइडल समूह के तत्वों को <math>A</math> का आइडल कहा जाता है।
मान लीजिए <math>A</math>, <math>K</math> पर परिमित आयामी बीजगणित है। चूँकि <math>\mathbb{A}_A^{\times}</math> सामान्य रूप से उपसमुच्चय-टोपोलॉजी वाला टोपोलॉजिकल समूह नहीं है, <math>\mathbb{A}_A^{\times}</math> को उपरोक्त <math>I_K</math> के समान टोपोलॉजी से सुसज्जित करें और <math>\mathbb{A}_A^{\times}</math> को आदर्श समूह कहें। आइडल समूह के तत्वों को <math>A</math> का आइडल कहा जाता है।
: '''प्रस्ताव-''' मान लीजिए <math>\alpha</math>, <math>A</math> का परिमित उपसमुच्चय है, जिसमें <math>K</math> पर <math>A</math> का आधार होता है। <math>K</math> के प्रत्येक परिमित स्थान <math>v</math> के लिए, मान लीजिए <math>\alpha_v</math>, <math>A_v.</math> में <math>\alpha</math> द्वारा उत्पन्न <math>O_v</math>-मॉड्यूल है। <math>P_0</math> युक्त स्थानों का परिमित समुच्चय उपस्थित है जिसमें <math>P_{\infty}</math> है जिस प्रकार सभी <math>v \notin P_0,</math><math>\alpha_v</math> के लिए <math>A_v.</math> का सघन उपवलय है। इसके अतिरिक्त, <math>\alpha_v</math> में <math>A_v^{\times}</math> होता है। प्रत्येक <math>v</math> के लिए, <math>A_v^{\times}</math>, <math>A_v</math> का विवृत उपसमुच्चय है और मानचित्र <math>x \mapsto x^{-1}</math>, <math>A_v^{\times}</math> पर सतत है। परिणामस्वरूप <math>x \mapsto (x,x^{-1})</math>, <math>A_v^{\times}</math> को <math>A_v \times A_v.</math> में अपनी छवि पर होमियोमॉर्फिक रूप से मैप करता है। प्रत्येक <math>v \notin P_0,</math> के लिए, <math>\alpha_v^{\times}</math> उपरोक्त फलन के साथ <math>\alpha_v \times \alpha_v</math> में <math>A_v^{\times}</math> मानचित्रण के तत्व हैं। इसलिए <math>\alpha_v^{\times}</math>, <math>A_v^{\times}</math> का विवृत और सघन उपसमूह है।<ref>A proof of this statement can be found in {{harvnb|Weil|1967|p=71.}}</ref>
: '''प्रस्ताव-''' मान लीजिए <math>\alpha</math>, <math>A</math> का परिमित उपसमुच्चय है, जिसमें <math>K</math> पर <math>A</math> का आधार होता है। <math>K</math> के प्रत्येक परिमित समष्टि <math>v</math> के लिए, मान लीजिए <math>\alpha_v</math>, <math>A_v.</math> में <math>\alpha</math> द्वारा उत्पन्न <math>O_v</math>-मॉड्यूल है। <math>P_0</math> युक्त समष्टिों का परिमित समुच्चय उपस्थित है जिसमें <math>P_{\infty}</math> है जिस प्रकार सभी <math>v \notin P_0,</math><math>\alpha_v</math> के लिए <math>A_v.</math> का सघन उपवलय है। इसके अतिरिक्त, <math>\alpha_v</math> में <math>A_v^{\times}</math> होता है। प्रत्येक <math>v</math> के लिए, <math>A_v^{\times}</math>, <math>A_v</math> का विवृत उपसमुच्चय है और मानचित्र <math>x \mapsto x^{-1}</math>, <math>A_v^{\times}</math> पर सतत है। परिणामस्वरूप <math>x \mapsto (x,x^{-1})</math>, <math>A_v^{\times}</math> को <math>A_v \times A_v.</math> में अपनी छवि पर होमियोमॉर्फिक रूप से मैप करता है। प्रत्येक <math>v \notin P_0,</math> के लिए, <math>\alpha_v^{\times}</math> उपरोक्त फलन के साथ <math>\alpha_v \times \alpha_v</math> में <math>A_v^{\times}</math> मानचित्रण के तत्व हैं। इसलिए <math>\alpha_v^{\times}</math>, <math>A_v^{\times}</math> का विवृत और सघन उपसमूह है।<ref>A proof of this statement can be found in {{harvnb|Weil|1967|p=71.}}</ref>




==== आदर्श समूह का वैकल्पिक लक्षण वर्णन ====
==== आदर्श समूह का वैकल्पिक लक्षण वर्णन ====


: '''प्रस्ताव-''' मान लीजिए <math>P \supset P_{\infty}</math> स्थानों का परिमित समूह है। तब
: '''प्रस्ताव-''' मान लीजिए <math>P \supset P_{\infty}</math> समष्टिों का परिमित समूह है। तब
::<math>\mathbb{A}_{A}(P,\alpha)^{\times}:=\prod_{v \in P} A_v^{\times} \times \prod_{v \notin P} \alpha_v^{\times}</math>
::<math>\mathbb{A}_{A}(P,\alpha)^{\times}:=\prod_{v \in P} A_v^{\times} \times \prod_{v \notin P} \alpha_v^{\times}</math>
: <math>\mathbb{A}_{A}^{\times}</math> का विवृत उपसमूह है, जहां <math>\mathbb{A}_{A}^{\times}</math> सभी <math>\mathbb{A}_{A}(P,\alpha)^{\times}.</math> का संघ है।<ref>A proof of this statement can be found in {{harvnb|Weil|1967|p=72.}}</ref>
: <math>\mathbb{A}_{A}^{\times}</math> का विवृत उपसमूह है, जहां <math>\mathbb{A}_{A}^{\times}</math> सभी <math>\mathbb{A}_{A}(P,\alpha)^{\times}.</math> का संघ है।<ref>A proof of this statement can be found in {{harvnb|Weil|1967|p=72.}}</ref>
Line 507: Line 506:
=== आइडल समूह पर मानदंड ===
=== आइडल समूह पर मानदंड ===


ट्रेस और मानदंड को एडेल रिंग से आइडल समूह में स्थानांतरित किया जाना चाहिए। यह ज्ञात हुआ है कि ट्रेस को इतनी सरलता से स्थानांतरित नहीं किया जा सकता है। चूँकि, आदर्श को एडेल रिंग से आइडल समूह में स्थानांतरित करना संभव है। मान लीजिए <math>\alpha \in I_K.</math> तब <math>\operatorname{con}_{L/K}(\alpha) \in I_L</math> और इसलिए, यह कहा जा सकता है कि अंतःक्षेपी समूह समरूपता में है-
ट्रेस और मानदंड को एडेल वलय से आइडल समूह में समष्टिांतरित किया जाना चाहिए। यह ज्ञात हुआ है कि ट्रेस को इतनी सरलता से समष्टिांतरित नहीं किया जा सकता है। चूँकि, आदर्श को एडेल वलय से आइडल समूह में समष्टिांतरित करना संभव है। मान लीजिए <math>\alpha \in I_K.</math> तब <math>\operatorname{con}_{L/K}(\alpha) \in I_L</math> और इसलिए, यह कहा जा सकता है कि अंतःक्षेपी समूह समरूपता में है-


:<math>\operatorname{con}_{L/K}: I_K \hookrightarrow I_L.</math>
:<math>\operatorname{con}_{L/K}: I_K \hookrightarrow I_L.</math>
Line 523: Line 522:
'''परिभाषा-''' [[आदर्श वर्ग समूह]] के अनुरूप, <math>I_K</math> में <math>K^{\times}</math> के तत्वों को <math>I_K</math> का प्रमुख आदर्श कहा जाता है। भागफल समूह <math>C_K := I_K/K^{\times}</math> को <math>K</math> का आदर्श वर्ग समूह कहा जाता है। यह समूह आदर्श वर्ग समूह से संबंधित है और वर्ग क्षेत्र सिद्धांत में  केंद्रीय वस्तु है।
'''परिभाषा-''' [[आदर्श वर्ग समूह]] के अनुरूप, <math>I_K</math> में <math>K^{\times}</math> के तत्वों को <math>I_K</math> का प्रमुख आदर्श कहा जाता है। भागफल समूह <math>C_K := I_K/K^{\times}</math> को <math>K</math> का आदर्श वर्ग समूह कहा जाता है। यह समूह आदर्श वर्ग समूह से संबंधित है और वर्ग क्षेत्र सिद्धांत में  केंद्रीय वस्तु है।


'''टिप्पणी-''' <math>K^\times</math>, <math>I_K</math> में संवृत है इसलिए <math>C_K</math> स्थानीय रूप से सघन टोपोलॉजिकल समूह और हॉसडॉर्फ स्पेस है।
'''टिप्पणी-''' <math>K^\times</math>, <math>I_K</math> में संवृत है इसलिए <math>C_K</math> समष्टिीय रूप से सघन टोपोलॉजिकल समूह और हॉसडॉर्फ स्पेस है।


: '''लेम्मा-'''<ref>For a proof see  {{harvnb|Neukirch|2007|p=388}}.</ref> मान लीजिए <math>L/K</math> परिमित विस्तार है। एम्बेडिंग <math>I_K \to I_L</math> अंतःक्षेपी मानचित्र प्रेरित करता है-
: '''लेम्मा-'''<ref>For a proof see  {{harvnb|Neukirch|2007|p=388}}.</ref> मान लीजिए <math>L/K</math> परिमित विस्तार है। एम्बेडिंग <math>I_K \to I_L</math> अंतःक्षेपी मानचित्र प्रेरित करता है-
Line 560: Line 559:


:<math>\prod_v|a|_v=1.</math>
:<math>\prod_v|a|_v=1.</math>
परिमित स्थान <math>v</math>, जिसके लिए संबंधित प्रमुख आदर्श <math>\mathfrak{p}_v</math>, <math>(a)</math>, <math>v(a)=0</math> को विभाजित नहीं करता और इसलिए <math>|a|_v=1.</math> है। यह प्रायः सभी <math>\mathfrak{p}_v</math> के लिए मान्य है, जहाँ-
परिमित समष्टि <math>v</math>, जिसके लिए संबंधित प्रमुख आदर्श <math>\mathfrak{p}_v</math>, <math>(a)</math>, <math>v(a)=0</math> को विभाजित नहीं करता और इसलिए <math>|a|_v=1.</math> है। यह प्रायः सभी <math>\mathfrak{p}_v</math> के लिए मान्य है, जहाँ-


: <math>\begin{align}
: <math>\begin{align}
Line 567: Line 566:
&=\prod_{p \leq \infty} |N_{K /\Q}(a)|_p
&=\prod_{p \leq \infty} |N_{K /\Q}(a)|_p
\end{align}</math>
\end{align}</math>
पंक्ति 1 से पंक्ति 2 तक जाने में <math>|a|_w=|N_{L_w/ K_v}(a)|_v,</math> का उपयोग किया गया था, जहां <math>v</math>, <math>K</math> का स्थान है और <math>w</math>, <math>L,</math> का स्थान है, जो <math>v</math> के ऊपर स्थित है। पंक्ति 2 से पंक्ति 3 तक जाने पर, मानदंड के गुण का उपयोग किया जाता है। मानदंड <math>\Q</math> में है, इसलिए व्यापकता की हानि के अतिरिक्त यह माना जा सकता है कि <math>a \in \Q.</math> तब <math>a</math> के निकट अद्वितीय पूर्णांक गुणनखंडन होता है-
पंक्ति 1 से पंक्ति 2 तक जाने में <math>|a|_w=|N_{L_w/ K_v}(a)|_v,</math> का उपयोग किया गया था, जहां <math>v</math>, <math>K</math> का समष्टि है और <math>w</math>, <math>L,</math> का समष्टि है, जो <math>v</math> के ऊपर स्थित है। पंक्ति 2 से पंक्ति 3 तक जाने पर, मानदंड के गुण का उपयोग किया जाता है। मानदंड <math>\Q</math> में है, इसलिए व्यापकता की हानि के अतिरिक्त यह माना जा सकता है कि <math>a \in \Q.</math> तब <math>a</math> के निकट अद्वितीय पूर्णांक गुणनखंडन होता है-


:<math>a=\pm\prod_{p < \infty}p^{v_p},</math>
:<math>a=\pm\prod_{p < \infty}p^{v_p},</math>
Line 578: Line 577:
\end{align}</math>
\end{align}</math>
: '''लेम्मा-'''<ref>For a proof see {{harvnb|Cassels|Fröhlich|1967|p=66.}}</ref> केवल <math>K</math> पर निर्भर स्थिर <math>C</math> उपस्थित है जैसे कि प्रत्येक <math>\alpha=(\alpha_v)_v \in \mathbb{A}_K</math> संतोषजनक <math>\textstyle \prod_v |\alpha_v|_v > C,</math> के लिए <math>\beta \in K^{\times}</math> उपस्थित है जिस प्रकार सभी <math>v</math> के लिए <math>|\beta_v|_v\leq |\alpha_v|_v</math> उपस्थित है।  
: '''लेम्मा-'''<ref>For a proof see {{harvnb|Cassels|Fröhlich|1967|p=66.}}</ref> केवल <math>K</math> पर निर्भर स्थिर <math>C</math> उपस्थित है जैसे कि प्रत्येक <math>\alpha=(\alpha_v)_v \in \mathbb{A}_K</math> संतोषजनक <math>\textstyle \prod_v |\alpha_v|_v > C,</math> के लिए <math>\beta \in K^{\times}</math> उपस्थित है जिस प्रकार सभी <math>v</math> के लिए <math>|\beta_v|_v\leq |\alpha_v|_v</math> उपस्थित है।  
: '''परिणाम-''' मान लीजिए <math>v_0</math>, <math>K</math> का स्थान है और सभी <math>v</math> के लिए <math>\delta_v=1</math> गुण के साथ <math>v \neq v_0</math> के लिए <math>\delta_v > 0</math> दिया गया है। तब <math>\beta \in K^{\times},</math> उपस्थित है इसीलिए सभी <math>v \neq v_0.</math> के लिए <math>|\beta| \leq \delta_v</math> उपस्थित है।
: '''परिणाम-''' मान लीजिए <math>v_0</math>, <math>K</math> का समष्टि है और सभी <math>v</math> के लिए <math>\delta_v=1</math> गुण के साथ <math>v \neq v_0</math> के लिए <math>\delta_v > 0</math> दिया गया है। तब <math>\beta \in K^{\times},</math> उपस्थित है इसीलिए सभी <math>v \neq v_0.</math> के लिए <math>|\beta| \leq \delta_v</math> उपस्थित है।
'''प्रमाण-''' मान लीजिए <math>C</math> स्थिर है। मान लीजिए <math>\pi_v</math>, <math>O_v.</math> का समान तत्व है। न्यूनतम <math>k_v \in \Z</math> के साथ <math>\alpha_v:=\pi_v^{k_v}</math> के माध्यम से एडेल <math>\alpha=(\alpha_v)_v</math> को परिभाषित करें, जिससे कि सभी <math>v \neq v_0.</math> के लिए <math>|\alpha_v|_v \leq \delta_v</math> है। तब, प्रायः सभी <math>v</math> के लिए <math>k_v=0</math> है। <math>k_{v_0}\in \Z,</math> के साथ <math>\alpha_{v_0}:=\pi_{v_0}^{k_{v_0}}</math> को परिभाषित करें तब <math>\textstyle \prod_v |\alpha_v|_v > C.</math> यह कार्य करता है, क्योंकि प्रायः सभी <math>v</math> के लिए <math>k_v=0</math> है। लेम्मा द्वारा <math>\beta \in K^\times,</math> उपस्थित है, जिससे कि सभी <math>v \neq v_0.</math> के लिए <math>|\beta|_v \leq |\alpha_v|_v \leq \delta_v</math> है।
'''प्रमाण-''' मान लीजिए <math>C</math> स्थिर है। मान लीजिए <math>\pi_v</math>, <math>O_v.</math> का समान तत्व है। न्यूनतम <math>k_v \in \Z</math> के साथ <math>\alpha_v:=\pi_v^{k_v}</math> के माध्यम से एडेल <math>\alpha=(\alpha_v)_v</math> को परिभाषित करें, जिससे कि सभी <math>v \neq v_0.</math> के लिए <math>|\alpha_v|_v \leq \delta_v</math> है। तब, प्रायः सभी <math>v</math> के लिए <math>k_v=0</math> है। <math>k_{v_0}\in \Z,</math> के साथ <math>\alpha_{v_0}:=\pi_{v_0}^{k_{v_0}}</math> को परिभाषित करें तब <math>\textstyle \prod_v |\alpha_v|_v > C.</math> यह कार्य करता है, क्योंकि प्रायः सभी <math>v</math> के लिए <math>k_v=0</math> है। लेम्मा द्वारा <math>\beta \in K^\times,</math> उपस्थित है, जिससे कि सभी <math>v \neq v_0.</math> के लिए <math>|\beta|_v \leq |\alpha_v|_v \leq \delta_v</math> है।
: '''प्रमेय-''' <math>K^\times</math>, <math>I_K^1</math> में असतत और सहसंबद्ध है।
: '''प्रमेय-''' <math>K^\times</math>, <math>I_K^1</math> में असतत और सहसंबद्ध है।
Line 599: Line 598:


:<math>\begin{cases} \phi: \widehat{\Z}^\times \to I_{\Q}^1/\Q^\times \\ (a_p)_p \mapsto ((a_p)_p,1)\Q^\times \end{cases}</math>
:<math>\begin{cases} \phi: \widehat{\Z}^\times \to I_{\Q}^1/\Q^\times \\ (a_p)_p \mapsto ((a_p)_p,1)\Q^\times \end{cases}</math>
यह मानचित्र उचित रूप से परिभाषित है, क्योंकि सभी <math>p</math> के लिए <math>|a_p|_p=1</math> और इसलिए <math>\textstyle \left(\prod_{p<\infty} |a_p|_p\right)\cdot 1=1.</math> प्रत्यक्ष रूप से <math>\phi</math> सतत समूह समरूपता है। अब मान लीजिए <math>((a_p)_p,1)\Q^\times=((b_p)_p,1)\Q^\times.</math> तब <math>q \in \Q^\times</math> उपस्थित है जिस प्रकार <math>((a_p)_p,1)q=((b_p)_p,1).</math> अपरिमित स्थान पर विचार करके यह देखा जा सकता है कि <math>q=1</math> अंतःक्षेपक सिद्ध करता है। प्रक्षेपकता दर्शाने के लिए मान लीजिए <math>((\beta_p)_p, \beta_\infty) \Q^\times\in I_{\Q}^1/\Q^\times.</math> इस तत्व का निरपेक्ष मान <math>1</math> है और इसलिए
यह मानचित्र उचित रूप से परिभाषित है, क्योंकि सभी <math>p</math> के लिए <math>|a_p|_p=1</math> और इसलिए <math>\textstyle \left(\prod_{p<\infty} |a_p|_p\right)\cdot 1=1.</math> प्रत्यक्ष रूप से <math>\phi</math> सतत समूह समरूपता है। अब मान लीजिए <math>((a_p)_p,1)\Q^\times=((b_p)_p,1)\Q^\times.</math> तब <math>q \in \Q^\times</math> उपस्थित है जिस प्रकार <math>((a_p)_p,1)q=((b_p)_p,1).</math> अपरिमित समष्टि पर विचार करके यह देखा जा सकता है कि <math>q=1</math> अंतःक्षेपक सिद्ध करता है। प्रक्षेपकता दर्शाने के लिए मान लीजिए <math>((\beta_p)_p, \beta_\infty) \Q^\times\in I_{\Q}^1/\Q^\times.</math> इस तत्व का निरपेक्ष मान <math>1</math> है और इसलिए


:<math>|\beta_\infty|_\infty=\frac{1}{\prod_p |\beta_p|_p} \in \Q.</math>
:<math>|\beta_\infty|_\infty=\frac{1}{\prod_p |\beta_p|_p} \in \Q.</math>
Line 630: Line 629:
:जहाँ <math>C_{K,\text{fin}} :=I_{K,\text{fin}}/K^\times</math> परिभाषित किया गया है।
:जहाँ <math>C_{K,\text{fin}} :=I_{K,\text{fin}}/K^\times</math> परिभाषित किया गया है।


'''प्रमाण-''' मान लीजिए <math>v</math>, <math>K</math> का परिमित स्थान है और <math>|\cdot|_v</math> को तुल्यता वर्ग <math>v</math> का प्रतिनिधि बनाता है।
'''प्रमाण-''' मान लीजिए <math>v</math>, <math>K</math> का परिमित समष्टि है और <math>|\cdot|_v</math> को तुल्यता वर्ग <math>v</math> का प्रतिनिधि बनाता है।


:<math>\mathfrak{p}_v:=\{x \in O: |x|_v < 1 \}.</math>
:<math>\mathfrak{p}_v:=\{x \in O: |x|_v < 1 \}.</math>
तब <math>\mathfrak{p}_v</math>, <math>O</math> में प्रमुख आदर्श है। मानचित्र <math>v \mapsto \mathfrak{p}_v</math>, <math>K</math> के परिमित स्थानों और <math>O</math> के अशून्य प्रमुख आदर्शों के मध्य आक्षेप है। व्युत्क्रम इस प्रकार दिया गया है: प्रमुख आदर्श <math>\mathfrak{p}</math> को मूल्यांकन <math>v_\mathfrak{p},</math> द्वारा मैप किया गया है-
तब <math>\mathfrak{p}_v</math>, <math>O</math> में प्रमुख आदर्श है। मानचित्र <math>v \mapsto \mathfrak{p}_v</math>, <math>K</math> के परिमित समष्टिों और <math>O</math> के अशून्य प्रमुख आदर्शों के मध्य आक्षेप है। व्युत्क्रम इस प्रकार दिया गया है: प्रमुख आदर्श <math>\mathfrak{p}</math> को मूल्यांकन <math>v_\mathfrak{p},</math> द्वारा मैप किया गया है-


: <math>\begin{align}
: <math>\begin{align}
Line 674: Line 673:
C_K &\cong I_K^1/K^\times \times N: \quad  \begin{cases} N = \Z & \operatorname{char}(K)>0 \\ N = \R_+ & \operatorname{char}(K)=0 \end{cases}
C_K &\cong I_K^1/K^\times \times N: \quad  \begin{cases} N = \Z & \operatorname{char}(K)>0 \\ N = \R_+ & \operatorname{char}(K)=0 \end{cases}
\end{align}</math>
\end{align}</math>
'''प्रमाण-''' <math>\operatorname{char}(K) = p>0.</math> प्रत्येक स्थान <math>v</math> के लिए <math>K, \operatorname{char}(K_v) = p,</math> जो सभी <math>x \in K_v^{\times},</math> के लिए, <math>|x|_v</math>, <math>p.</math> द्वारा उत्पन्न <math>\R_+</math> के उपसमूह से संबंधित है। इसलिए प्रत्येक <math>z \in I_K,</math> के लिए <math>|z|</math>, <math>p.</math> द्वारा उत्पन्न <math>\R_+</math> के उपसमूह में है।  इसलिए समरूपता की छवि <math>z \mapsto |z|</math>, <math>p.</math> द्वारा उत्पन्न <math>\R_+</math> का असतत उपसमूह है। चूंकि यह समूह गैर-तुच्छ है, यह <math>Q=p^m</math> कुछ <math>m \in \N.</math> द्वारा उत्पन्न होता है। <math>z_1 \in I_K,</math> का चयन करें जिससे कि <math>|z_1|=Q,</math> तब <math>I_K</math>, <math>I_K^1</math> और <math>z_1.</math> द्वारा उत्पन्न उपसमूह का प्रत्यक्ष गुणनफल है। यह उपसमूह असतत और <math>\Z.</math> के लिए समरूपीय है।
'''प्रमाण-''' <math>\operatorname{char}(K) = p>0.</math> प्रत्येक समष्टि <math>v</math> के लिए <math>K, \operatorname{char}(K_v) = p,</math> जो सभी <math>x \in K_v^{\times},</math> के लिए, <math>|x|_v</math>, <math>p.</math> द्वारा उत्पन्न <math>\R_+</math> के उपसमूह से संबंधित है। इसलिए प्रत्येक <math>z \in I_K,</math> के लिए <math>|z|</math>, <math>p.</math> द्वारा उत्पन्न <math>\R_+</math> के उपसमूह में है।  इसलिए समरूपता की छवि <math>z \mapsto |z|</math>, <math>p.</math> द्वारा उत्पन्न <math>\R_+</math> का असतत उपसमूह है। चूंकि यह समूह गैर-तुच्छ है, यह <math>Q=p^m</math> कुछ <math>m \in \N.</math> द्वारा उत्पन्न होता है। <math>z_1 \in I_K,</math> का चयन करें जिससे कि <math>|z_1|=Q,</math> तब <math>I_K</math>, <math>I_K^1</math> और <math>z_1.</math> द्वारा उत्पन्न उपसमूह का प्रत्यक्ष गुणनफल है। यह उपसमूह असतत और <math>\Z.</math> के लिए समरूपीय है।


<math>\lambda \in \R_+</math> के लिए <math>\operatorname{char}(K) = 0.</math> को परिभाषित करें-
<math>\lambda \in \R_+</math> के लिए <math>\operatorname{char}(K) = 0.</math> को परिभाषित करें-
Line 685: Line 684:
((\alpha_v)_v, (\beta_v)_v) \mapsto (\alpha_v \beta_v)_v
((\alpha_v)_v, (\beta_v)_v) \mapsto (\alpha_v \beta_v)_v
\end{cases}</math>
\end{cases}</math>
स्पष्ट रूप से, <math>\phi</math> समरूपता है। यह सिद्ध करने के लिए कि यह अंतःक्षेपक है, <math>(\alpha_v \beta_v)_v=1.</math> मान लें। चूँकि <math>v < \infty,</math> के लिए <math>\alpha_v=1</math>, है जिसका तात्पर्य <math>v < \infty,</math> के लिए <math>\beta_v=1</math> है। इसके अतिरिक्त, <math>\lambda \in \R_+,</math> उपस्थित है तब <math>v | \infty.</math> के लिए <math>\alpha_v=\lambda</math> है। इसलिए, <math>v | \infty.</math> के लिए <math>\beta_v=\lambda^{-1}</math> है। इसके अतिरिक्त <math>\textstyle \prod_v |\beta_v|_v =1,</math> का तात्पर्य <math>\lambda^n=1,</math> है, जहाँ <math>n</math>, <math>K</math> के अपरिमित स्थानों की संख्या है। परिणाम के रूप में <math>\lambda=1</math> और इसलिए <math>\phi</math> अंतःक्षेपक है। विशेषण दर्शाने के लिए, <math>\gamma=(\gamma_v)_v \in I_K.</math> मान लें। <math>\lambda:=|\gamma|^{\frac{1}{n}}</math> को परिभाषित किया गया है और इसके अतिरिक्त, <math>v < \infty</math> के लिए <math>\alpha_v=1</math> और <math>v | \infty.</math> के लिए <math>\alpha_v=\lambda</math> है। <math>\textstyle \beta=\frac{\gamma}{\alpha}.</math> को परिभाषित करें। <math>\textstyle |\beta|=\frac{|\gamma|}{|\alpha|}=\frac{\lambda^n}{\lambda^n}=1.</math> का उपयोग किया गया है।इसलिए, <math>\phi</math> विशेषण है।
स्पष्ट रूप से, <math>\phi</math> समरूपता है। यह सिद्ध करने के लिए कि यह अंतःक्षेपक है, <math>(\alpha_v \beta_v)_v=1.</math> मान लें। चूँकि <math>v < \infty,</math> के लिए <math>\alpha_v=1</math>, है जिसका तात्पर्य <math>v < \infty,</math> के लिए <math>\beta_v=1</math> है। इसके अतिरिक्त, <math>\lambda \in \R_+,</math> उपस्थित है तब <math>v | \infty.</math> के लिए <math>\alpha_v=\lambda</math> है। इसलिए, <math>v | \infty.</math> के लिए <math>\beta_v=\lambda^{-1}</math> है। इसके अतिरिक्त <math>\textstyle \prod_v |\beta_v|_v =1,</math> का तात्पर्य <math>\lambda^n=1,</math> है, जहाँ <math>n</math>, <math>K</math> के अपरिमित समष्टिों की संख्या है। परिणाम के रूप में <math>\lambda=1</math> और इसलिए <math>\phi</math> अंतःक्षेपक है। विशेषण दर्शाने के लिए, <math>\gamma=(\gamma_v)_v \in I_K.</math> मान लें। <math>\lambda:=|\gamma|^{\frac{1}{n}}</math> को परिभाषित किया गया है और इसके अतिरिक्त, <math>v < \infty</math> के लिए <math>\alpha_v=1</math> और <math>v | \infty.</math> के लिए <math>\alpha_v=\lambda</math> है। <math>\textstyle \beta=\frac{\gamma}{\alpha}.</math> को परिभाषित करें। <math>\textstyle |\beta|=\frac{|\gamma|}{|\alpha|}=\frac{\lambda^n}{\lambda^n}=1.</math> का उपयोग किया गया है।इसलिए, <math>\phi</math> विशेषण है।


अन्य समीकरण भी इसी प्रकार अनुसरण करते हैं।
अन्य समीकरण भी इसी प्रकार अनुसरण करते हैं।
Line 691: Line 690:
==== आदर्श समूह की विशेषता ====
==== आदर्श समूह की विशेषता ====


: '''प्रमेय-'''<ref>The general proof of this theorem for any global field is given in {{harvnb|Weil|1967|p=77.}}</ref> मान लीजिए <math>K</math> संख्या क्षेत्र है। स्थानों का परिमित समूह <math>S,</math> उपस्थित है, जिस प्रकार
: '''प्रमेय-'''<ref>The general proof of this theorem for any global field is given in {{harvnb|Weil|1967|p=77.}}</ref> मान लीजिए <math>K</math> संख्या क्षेत्र है। समष्टिों का परिमित समूह <math>S,</math> उपस्थित है, जिस प्रकार
::<math>I_K= \left (I_{K,S} \times \prod_{v \notin S} O_v^\times \right ) K^\times= \left(\prod_{v \in S} K_v^\times \times \prod_{v \notin S} O_v^\times\right) K^\times.</math>
::<math>I_K= \left (I_{K,S} \times \prod_{v \notin S} O_v^\times \right ) K^\times= \left(\prod_{v \in S} K_v^\times \times \prod_{v \notin S} O_v^\times\right) K^\times.</math>
'''प्रमाण-''' किसी संख्या क्षेत्र का आदर्श वर्ग समूह परिमित होता है इसलिए मान लीजिए <math>\mathfrak{a}_1, \ldots, \mathfrak{a}_h</math> आदर्श बनो, वर्गों का प्रतिनिधित्व करो <math>\operatorname{Cl}_K.</math> ये आदर्श प्रधान आदर्शों की एक सीमित संख्या से उत्पन्न होते हैं <math>\mathfrak{p}_1, \ldots, \mathfrak{p}_n.</math> मान लीजिए <math>S</math> युक्त स्थानों का एक परिमित समूह हो <math>P_\infty</math> और इसके अनुरूप परिमित स्थान <math>\mathfrak{p}_1, \ldots, \mathfrak{p}_n.</math> समरूपता पर विचार करें:
'''प्रमाण-''' किसी संख्या क्षेत्र का आदर्श वर्ग समूह परिमित होता है इसलिए <math>\mathfrak{a}_1, \ldots, \mathfrak{a}_h</math> को आदर्श मान लें, जो <math>\operatorname{Cl}_K.</math> में वर्गों का प्रतिनिधित्व करते हैं। ये आदर्श प्रधान आदर्शों की परिमित संख्या <math>\mathfrak{p}_1, \ldots, \mathfrak{p}_n.</math> से उत्पन्न होते हैं। मान लीजिए <math>S</math>, <math>P_\infty</math> वाले समष्टिों का परिमित समुच्चय है और <math>\mathfrak{p}_1, \ldots, \mathfrak{p}_n.</math> के संगत परिमित समष्टि हैं। समरूपता पर विचार करें:


:<math>I_K/ \left(\prod_{v< \infty}O_v^\times \times \prod_{v | \infty}K_v^\times\right) \cong J_K,</math>
:<math>I_K/ \left(\prod_{v< \infty}O_v^\times \times \prod_{v | \infty}K_v^\times\right) \cong J_K,</math>
Line 699: Line 698:


:<math>(\alpha_v)_v \mapsto \prod_{v < \infty} \mathfrak{p}_v^{v(\alpha_v)}.</math>
:<math>(\alpha_v)_v \mapsto \prod_{v < \infty} \mathfrak{p}_v^{v(\alpha_v)}.</math>
अनंत स्थानों पर कथन तत्काल होता है, इसलिए कथन परिमित स्थानों के लिए सिद्ध हुआ है। समावेश "<math>\supset</math>" ज़ाहिर है। मान लीजिए <math>\alpha \in I_{K,\text{fin}}.</math> संगत आदर्श <math>\textstyle (\alpha)=\prod_{v< \infty} \mathfrak{p}_v^{v(\alpha_v)}</math> एक वर्ग के अंतर्गत आता है <math>\mathfrak{a}_iK^{\times},</math> अर्थ <math>(\alpha)=\mathfrak{a}_i(a)</math> एक प्रमुख आदर्श के लिए <math>(a).</math> विचारधारा <math>\alpha'=\alpha a^{-1}</math> आदर्श के नक्शे <math>\mathfrak{a}_i</math> नक्शे के नीचे <math>I_{K,\text{fin}} \to J_K.</math> इसका मत <math>\textstyle \mathfrak{a}_i=\prod_{v< \infty} \mathfrak{p}_v^{v(\alpha'_v)}.</math> चूंकि प्रमुख आदर्शों में <math>\mathfrak{a}_i</math> में हैं <math>S,</math> यह इस प्रकार है <math>v(\alpha'_v)=0</math> सभी के लिए <math>v \notin S,</math> इसका मत <math>\alpha'_v \in O_v^\times</math> सभी के लिए <math>v \notin S.</math> यह इस प्रकार है कि <math>\alpha'=\alpha a^{-1} \in I_{K,S},</math> इसलिए <math>\alpha \in I_{K,S}K^\times.</math>
अपरिमित समष्टिों पर कथन शीघ्र होता है, इसलिए कथन परिमित समष्टिों के लिए सिद्ध हुआ है। समावेश "<math>\supset</math>" स्पष्ट है। मान लीजिए <math>\alpha \in I_{K,\text{fin}}.</math> संबंधित आदर्श <math>\textstyle (\alpha)=\prod_{v< \infty} \mathfrak{p}_v^{v(\alpha_v)}</math> वर्ग <math>\mathfrak{a}_iK^{\times},</math> से संबंधित है, प्रमुख आदर्श <math>(a).</math> के लिए जिसका अर्थ <math>(\alpha)=\mathfrak{a}_i(a)</math> है। आदर्श <math>\alpha'=\alpha a^{-1}</math> मानचित्र <math>I_{K,\text{fin}} \to J_K.</math> के अंतर्गत आदर्श <math>\mathfrak{a}_i</math> के लिए मैप करता है। जिसका अर्थ <math>\textstyle \mathfrak{a}_i=\prod_{v< \infty} \mathfrak{p}_v^{v(\alpha'_v)}.</math> चूँकि <math>\mathfrak{a}_i</math> में अभाज्य गुणज <math>S,</math> हैं, यह सभी <math>v \notin S,</math> के लिए <math>v(\alpha'_v)=0</math> का अनुसरण करता है जिसका अर्थ है सभी <math>v \notin S,</math> के लिए <math>\alpha'_v \in O_v^\times</math>, यह इस प्रकार है <math>\alpha'=\alpha a^{-1} \in I_{K,S},</math> इसलिए <math>\alpha \in I_{K,S}K^\times.</math> है।




Line 706: Line 705:
=== किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता ===
=== किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता ===


पिछले खंड में तथ्य यह है कि संख्या क्षेत्र की वर्ग संख्या परिमित है, का उपयोग किया गया था। यहाँ इस कथन को सिद्ध किया जा सकता है:
पूर्व खंड में तथ्य यह है कि संख्या क्षेत्र की वर्ग संख्या परिमित है, जिसका उपयोग किया गया था। इस कथन को सिद्ध किया जा सकता है:


: '''प्रमेय''' (किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता)मान लीजिए <math>K</math> एक संख्या क्षेत्र हो। तब <math>|\operatorname{Cl}_K|<\infty.</math>
: '''प्रमेय''' '''(किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता)-''' मान लीजिए <math>K</math> संख्या क्षेत्र है। तब <math>|\operatorname{Cl}_K|<\infty.</math>
'''प्रमाण-''' वो मानचित्र
'''प्रमाण-''' मानचित्र


:<math>\begin{cases} I_K^1 \to J_K \\ \left ((\alpha_v)_{v < \infty}, (\alpha_v)_{v | \infty} \right ) \mapsto \prod_{v<\infty} \mathfrak{p}_v^{v(\alpha_v)} \end{cases}</math>
:<math>\begin{cases} I_K^1 \to J_K \\ \left ((\alpha_v)_{v < \infty}, (\alpha_v)_{v | \infty} \right ) \mapsto \prod_{v<\infty} \mathfrak{p}_v^{v(\alpha_v)} \end{cases}</math>
विशेषण है और इसलिए <math>\operatorname{Cl}_K</math> सघन सेट की सतत छवि है <math>I_K^1/K^{\times}.</math> इस प्रकार, <math>\operatorname{Cl}_K</math> सघन है। इसके अतिरिक्त, यह असतत और इतना परिमित है।
विशेषण है और इसलिए <math>\operatorname{Cl}_K</math> सघन समुच्चय <math>I_K^1/K^{\times}.</math> की सतत छवि है। इस प्रकार, <math>\operatorname{Cl}_K</math> सघन है। इसके अतिरिक्त, यह असतत और परिमित है।


टिप्पणी। वैश्विक कार्य क्षेत्र के मामले में एक समान परिणाम है। इस मामले में, तथाकथित भाजक समूह परिभाषित किया गया है। यह दिखाया जा सकता है कि डिग्री के सभी विभाजकों के सेट का भागफल <math>0</math> प्रमुख विभाजकों के समुच्चय द्वारा एक परिमित समूह है।<ref>For more information, see {{harvnb|Cassels|Fröhlich|1967|p=71}}.</ref>
'''टिप्पणी-''' वैश्विक फलन क्षेत्र की स्तिथि में समान परिणाम है। इस स्तिथि में, तथाकथित भाजक समूह परिभाषित किया गया है। यह दर्शाया जा सकता है कि डिग्री के सभी विभाजकों के समुच्चय का भागफल <math>0</math> प्रमुख विभाजकों के समुच्चय द्वारा परिमित समूह है।<ref>For more information, see {{harvnb|Cassels|Fröhlich|1967|p=71}}.</ref>




=== इकाइयों का समूह और डिरिचलेट की इकाई प्रमेय ===
=== इकाइयों का समूह और डिरिचलेट की इकाई प्रमेय ===


मान लीजिए <math>P \supset P_{\infty}</math> स्थानों का एक परिमित समूह हो। परिभाषित करना
मान लीजिए <math>P \supset P_{\infty}</math> समष्टिों का परिमित समूह है। परिभाषित करें-


:<math>\begin{align}
:<math>\begin{align}
Line 725: Line 724:
E(P)&:=K^{\times} \cap \Omega(P)
E(P)&:=K^{\times} \cap \Omega(P)
\end{align}</math>
\end{align}</math>
तब <math>E(P)</math> का एक उपसमूह है <math>K^{\times},</math> सभी तत्वों से युक्त <math>\xi \in K^{\times}</math> संतुष्टि देने वाला <math>v(\xi)=0</math> सभी के लिए <math>v \notin P.</math> तब से <math>K^{\times}</math> में असतत है <math>I_K,</math> <math>E(P)</math> का असतत उपसमूह है <math>\Omega(P)</math> और इसी तर्क के साथ <math>E(P)</math> में असतत है <math>\Omega_1(P):=\Omega(P)\cap I_K^1.</math>
तब <math>E(P)</math>, <math>K^{\times}</math> का उपसमूह है जिसमें सभी तत्व <math>\xi \in K^{\times}</math>, <math>v \notin P.</math> के लिए <math>v(\xi)=0</math> समीकरण को संतुष्ट करते हैं। चूँकि <math>K^{\times}</math>, <math>I_K,</math> में असतत है, <math>E(P)</math>, <math>\Omega(P)</math> का असतत उपसमूह है और उसी तर्क के साथ, <math>\Omega_1(P):=\Omega(P)\cap I_K^1.</math> में <math>E(P)</math> असतत है।
एक वैकल्पिक परिभाषा है: <math>E(P)=K(P)^{\times},</math> जहाँ <math>K(P)</math> का उपसमूह है <math>K</math> द्वारा परिभाषित
 
वैकल्पिक परिभाषा है: <math>E(P)=K(P)^{\times},</math> जहाँ <math>K(P)</math> निम्नलिखित समीकरण द्वारा परिभाषित <math>K</math> का उपवलय है-


:<math>K(P):= K \cap \left(\prod_{v\in P} K_v \times \prod_{v \notin P}O_v\right).</math>
:<math>K(P):= K \cap \left(\prod_{v\in P} K_v \times \prod_{v \notin P}O_v\right).</math>
एक परिणाम के रूप में, <math>K(P)</math> सभी तत्व शामिल हैं <math>\xi \in K,</math> जो पूरा करते हैं <math>v(\xi) \geq 0</math> सभी के लिए <math>v \notin P.</math>
परिणामस्वरूप, <math>K(P)</math> में सभी तत्व <math>\xi \in K,</math> सम्मिलित हैं जो सभी <math>v \notin P.</math> के लिए <math>v(\xi) \geq 0</math> को पूर्ण करते हैं।
: लेम्मा 1. चलो <math>0 < c \leq C < \infty.</math> निम्नलिखित सेट परिमित है:
: '''लेम्मा 1-''' मान लें <math>0 < c \leq C < \infty.</math> निम्नलिखित समुच्चय परिमित है:
::<math>\left \{\eta \in E(P): \left. \begin{cases}|\eta_v|_v = 1 & \forall v \notin P \\ c \leq |\eta_v|_v \leq C & \forall v \in P \end{cases} \right \} \right \}.</math>
::<math>\left \{\eta \in E(P): \left. \begin{cases}|\eta_v|_v = 1 & \forall v \notin P \\ c \leq |\eta_v|_v \leq C & \forall v \in P \end{cases} \right \} \right \}.</math>
प्रमाण। परिभाषित करना
'''प्रमाण-''' परिभाषित करें-


:<math>W:= \left \{(\alpha_v)_v: \left. \begin{cases}|\alpha_v|_v= 1 & \forall v \notin P \\ c \leq |\alpha_v|_v \leq C & \forall v \in P \end{cases} \right \} \right \}.</math>
:<math>W:= \left \{(\alpha_v)_v: \left. \begin{cases}|\alpha_v|_v= 1 & \forall v \notin P \\ c \leq |\alpha_v|_v \leq C & \forall v \in P \end{cases} \right \} \right \}.</math>


<math>W</math> सघन है और ऊपर वर्णित सेट का प्रतिच्छेदन है <math>W</math> असतत उपसमूह के साथ <math>K^\times</math> में <math>I_K</math> और इसलिए परिमित।
<math>W</math> सघन है और उपरोक्त समुच्चय <math>I_K</math> में असतत उपसमूह <math>K^\times</math> के साथ <math>W</math> का प्रतिच्छेदन है और इसलिए यह परिमित है।


: लेम्मा 2। चलो <math>E</math> सभी के लिए सेट हो <math>\xi \in K</math> ऐसा है कि <math>|\xi|_v =1</math> सभी के लिए <math>v.</math> तब <math>E = \mu(K),</math> की एकता की सभी जड़ों का समूह <math>K.</math> विशेष रूप से यह परिमित और चक्रीय है।
: '''लेम्मा 2-''' मान लीजिए <math>E</math>, सभी <math>\xi \in K</math> का समुच्चय है जिस प्रकार, सभी <math>v.</math> के लिए <math>|\xi|_v =1</math> है। तब <math>E = \mu(K),</math> <math>K</math> के सभी मूलों का समूह है। विशेष रूप से यह परिमित और चक्रीय है।


प्रमाण। की एकता की सभी जड़ें <math>K</math> निरपेक्ष मूल्य है <math>1</math> इसलिए <math>\mu(K) \subset E.</math> विलोम के लिए ध्यान दें कि लेम्मा 1 के साथ <math>c=C=1</math> और कोई भी <math>P</math> तात्पर्य <math>E</math> परिमित है। इसके अतिरिक्त <math>E \subset E(P)</math> स्थानों के प्रत्येक परिमित सेट के लिए <math>P \supset P_\infty.</math> अंत में मान लीजिए कि मौजूद है <math>\xi \in E,</math> जो की एकता का मूल नहीं है <math>K.</math> तब <math>\xi^n \neq 1</math> सभी के लिए <math>n \in \N</math> की सूक्ष्मता के विपरीत <math>E.</math>
'''प्रमाण-''' <math>K</math> की एकता के सभी मूलों का निरपेक्ष मान <math>1</math> है इसलिए <math>\mu(K) \subset E.</math> विपरीत के लिए ध्यान दें कि लेम्मा 1 के साथ <math>c=C=1</math> और <math>P</math> तात्पर्य <math>E</math> परिमित है। इसके अतिरिक्त <math>E \subset E(P)</math> समष्टिों के प्रत्येक परिमित समुच्चय के लिए <math>P \supset P_\infty.</math> है। अंततः मान लीजिए कि <math>\xi \in E,</math> उपस्थित है जो <math>K</math> की एकता का मूल नहीं है। तब <math>\xi^n \neq 1</math> सभी <math>n \in \N</math> के लिए <math>E</math> की परिमितता का खंडन करता है।
: इकाई प्रमेय। <math>E(P)</math> की प्रत्यक्ष उपज है <math>E</math> और एक समूह आइसोमोर्फिक है <math>\Z^s,</math> जहाँ <math>s=0,</math> अगर <math>P= \emptyset</math> और <math>s=|P|-1,</math> अगर <math>P \neq \emptyset.</math><ref>A proof can be found in {{harvnb|Weil|1967|p=78}} or in {{harvnb|Cassels|Fröhlich|1967|p=72}}.</ref>
: '''इकाई प्रमेय-''' <math>E(P)</math>, <math>E</math> का प्रत्यक्ष गुणनफल है और <math>\Z^s,</math> के लिए समूह समरूपीय है जहाँ <math>s=0,</math> यदि <math>P= \emptyset</math> और <math>s=|P|-1,</math>, यदि <math>P \neq \emptyset.</math> है।<ref>A proof can be found in {{harvnb|Weil|1967|p=78}} or in {{harvnb|Cassels|Fröhlich|1967|p=72}}.</ref>
: डिरिक्लेट की इकाई प्रमेय। मान लीजिए <math>K</math> एक संख्या क्षेत्र हो। तब <math>O^\times\cong\mu(K) \times \Z^{r+s-1},</math> जहाँ <math>\mu(K)</math> की एकता की सभी जड़ों का परिमित चक्रीय समूह है <math>K, r</math> के वास्तविक एम्बेडिंग की संख्या है <math>K</math> और <math>s</math> के जटिल एम्बेडिंग के संयुग्म जोड़े की संख्या है <math>K.</math> यह खड़ा है, वह <math>[K:\Q]=r+2s.</math>
: '''डिरिक्लेट की इकाई प्रमेय-''' मान लीजिए <math>K</math> संख्या क्षेत्र है। तब <math>O^\times\cong\mu(K) \times \Z^{r+s-1},</math> जहाँ <math>\mu(K)</math>, <math>K, r</math> की एकता के सभी मूलों का परिमित चक्रीय समूह है, <math>K</math> के वास्तविक एम्बेडिंग की संख्या है और <math>s</math>, <math>K</math> के जटिल एम्बेडिंग के संयुग्म जोड़े की संख्या है। जिसका अर्थ <math>[K:\Q]=r+2s.</math> है।
टिप्पणी। इकाई प्रमेय डिरिचलेट की इकाई प्रमेय का सामान्यीकरण करता है। इसे देखने के लिए, आइए <math>K</math> एक संख्या क्षेत्र हो। यह पहले से ही ज्ञात है <math>E=\mu(K),</math> तय करना <math>P=P_\infty</math> और ध्यान दें <math>|P_\infty|=r+s.</math> फिर वहाँ है:
'''टिप्पणी-''' इकाई प्रमेय डिरिचलेट की प्रमेय का सामान्यीकरण करता है। इसे दर्शाने के लिए, मान लीजिए <math>K</math> संख्या क्षेत्र है। यह पूर्व से ही ज्ञात है कि <math>E=\mu(K),</math> <math>P=P_\infty</math> और <math>|P_\infty|=r+s.</math> होता है-


: <math>\begin{align}
: <math>\begin{align}
Line 754: Line 754:
=== सन्निकटन प्रमेय ===
=== सन्निकटन प्रमेय ===


: कमजोर सन्निकटन प्रमेय।<ref>A proof can be found in {{harvnb|Cassels|Fröhlich|1967|p=48}}.</ref> मान लीजिए <math>|\cdot|_1, \ldots, |\cdot|_N,</math> के असमान मूल्यांकन हो <math>K.</math> मान लीजिए <math>K_n</math> का पूरा होना <math>K</math> इसके संबंध में <math>|\cdot|_n.</math> एम्बेड <math>K</math> तिरछे में <math>K_1 \times \cdots \times K_N.</math> तब <math>K</math> हर जगह-सघन में सेट है <math>K_1 \times \cdots \times K_N.</math> दूसरे शब्दों में, प्रत्येक के लिए <math>\varepsilon > 0</math> और प्रत्येक के लिए <math>(\alpha_1, \ldots, \alpha_N) \in K_1 \times \cdots \times K_N,</math> वहां मौजूद <math>\xi \in K,</math> ऐसा है कि:
: '''अशक्त सन्निकटन प्रमेय-'''<ref>A proof can be found in {{harvnb|Cassels|Fröhlich|1967|p=48}}.</ref> मान लीजिए <math>|\cdot|_1, \ldots, |\cdot|_N,</math> <math>K</math> का असमान मूल्यांकन है। मान लीजिए <math>K_n</math>, <math>|\cdot|_n.</math> के संबंध में <math>K</math> की पूर्णता है। <math>K_1 \times \cdots \times K_N.</math> में विकर्णीय रूप से <math>K</math> एम्बेड करें। तब <math>K</math>, <math>K_1 \times \cdots \times K_N.</math> में सघन है। अन्य शब्दों में, प्रत्येक <math>\varepsilon > 0</math> के लिए और प्रत्येक <math>(\alpha_1, \ldots, \alpha_N) \in K_1 \times \cdots \times K_N,</math> के लिए <math>\xi \in K,</math> उपस्थित है, जिस प्रकार-
::<math>\forall n \in \{ 1, \ldots, N\}: \quad |\alpha_n - \xi|_n < \varepsilon.</math>
::<math>\forall n \in \{ 1, \ldots, N\}: \quad |\alpha_n - \xi|_n < \varepsilon.</math>
: मजबूत सन्निकटन प्रमेय।<ref>A proof can be found in {{harvnb|Cassels|Fröhlich|1967|p=67}}</ref> मान लीजिए <math>v_0</math> का स्थान हो <math>K.</math> परिभाषित करना
: '''प्रबल सन्निकटन प्रमेय-'''<ref>A proof can be found in {{harvnb|Cassels|Fröhlich|1967|p=67}}</ref> मान लीजिए <math>v_0</math>, <math>K</math> का समष्टि है।
::<math>V:= {\prod_{v \neq v_0}}^' K_v.</math>
::<math>V:= {\prod_{v \neq v_0}}^' K_v.</math>
:तब <math>K</math> में घना है <math>V.</math>
:तब <math>K</math>, <math>V.</math> में सघन है।
टिप्पणी। इसके एडेल रिंग में वैश्विक क्षेत्र असतत है। मजबूत सन्निकटन प्रमेय हमें बताता है कि, यदि एक स्थान (या अधिक) को छोड़ दिया जाता है, तो असततता का गुण <math>K</math> के सघनता में बदल जाता है <math>K.</math>
'''टिप्पणी-''' इसके एडेल वलय में वैश्विक क्षेत्र असतत है। प्रबल सन्निकटन प्रमेय हमें बताता है कि, यदि समष्टि (या अधिक) को त्याग दिया जाता है, तो <math>K</math> की असततता का गुण <math>K</math> के घनत्व में परिवर्तित हो जाता है।




===घृणा सिद्धांत===
===हस्से सिद्धांत===


:हस्से-मिन्कोव्स्की प्रमेय|हस्से-मिन्कोव्स्की प्रमेय। पर एक द्विघात रूप <math>K</math> शून्य है, यदि और केवल यदि, द्विघात रूप प्रत्येक पूर्णता में शून्य है <math>K_v.</math>
:'''हस्से-मिन्कोव्स्की प्रमेय- <math>K</math>''' पर द्विघात रूप शून्य है, यदि प्रत्येक पूर्णता <math>K_v</math> में द्विघात रूप शून्य है।
टिप्पणी। द्विघात रूपों के लिए यह [[हस्से सिद्धांत]] है। 2 से बड़ी डिग्री के बहुपदों के लिए हासे सिद्धांत सामान्य रूप से मान्य नहीं है। हस्से सिद्धांत (स्थानीय-वैश्विक सिद्धांत के रूप में भी जाना जाता है) का विचार किसी संख्या क्षेत्र की दी गई समस्या को हल करना है <math>K</math> इसकी पूर्णता में ऐसा करने से <math>K_v</math> और फिर में एक समाधान पर समापन <math>K.</math>
'''टिप्पणी-''' द्विघात रूपों के लिए यह [[हस्से सिद्धांत]] है। 2 से अधिक डिग्री के बहुपदों के लिए हस्से सिद्धांत सामान्य रूप से मान्य नहीं होता है। हस्से सिद्धांत (समष्टिीय-वैश्विक सिद्धांत के रूप में भी जाना जाता है) का विचार संख्या क्षेत्र <math>K</math> की समस्या को हल करने के लिए <math>K_v</math> की पूर्णता है और तत्पश्चात <math>K</math> में समाधान पर निष्कर्ष ज्ञात करना है।




=== एडेल रिंग पर वर्ण ===
=== एडेल वलय पर वर्ण ===


परिभाषा। मान लीजिए <math>G</math> स्थानीय रूप से सघन एबेलियन समूह बनें। का वर्ण समूह <math>G</math> के सभी वर्णों का समुच्चय है <math>G</math> और द्वारा दर्शाया गया है <math>\widehat{G}.</math> इसके तुल्य <math>\widehat{G}</math> से सभी सतत समूह समरूपताओं का समुच्चय है <math>G</math> को <math>\mathbb{T}:=\{z \in \C :|z|=1\}.</math> सुसज्जित <math>\widehat{G}</math> सघन सबसेट पर समान अभिसरण की टोपोलॉजी के साथ <math>G.</math> कोई यह दिखा सकता है <math>\widehat{G}</math> स्थानीय रूप से सघन एबेलियन समूह भी है।
'''परिभाषा-''' मान लीजिए <math>G</math> समष्टिीय रूप से सघन एबेलियन समूह है। <math>G</math> का वर्ण समूह <math>G</math> के सभी वर्णों का समुच्चय है और इसे <math>\widehat{G}</math> द्वारा निरूपित किया जाता है। समान रूप से <math>\widehat{G}</math>, <math>G</math> से <math>\mathbb{T}:=\{z \in \C :|z|=1\}.</math> तक सभी सतत समूह समरूपताओं का समुच्चय है। <math>\widehat{G}</math> को <math>G</math> के सघन उपसमुच्चय पर समान अभिसरण की टोपोलॉजी से सुसज्जित करें। <math>\widehat{G}</math> समष्टिीय रूप से सघन एबेलियन समूह भी है।


: प्रमेय। एडेल रिंग ''सेल्फ-डुअल'' है: <math>\mathbb{A}_K\cong \widehat{\mathbb{A}_K}.</math>
: '''प्रमेय-''' एडेल वलय ''स्व द्वैत'' है: <math>\mathbb{A}_K\cong \widehat{\mathbb{A}_K}.</math>
प्रमाण। स्थानीय निर्देशांकों में कमी करके, यह प्रत्येक को दिखाने के लिए पर्याप्त है <math>K_v</math> स्वयं द्वैत है। यह एक निश्चित वर्ण का उपयोग करके किया जा सकता है <math>K_v.</math> विचार को दर्शाकर चित्रित किया गया है <math>\R</math> स्वयं द्वैत है। परिभाषित करना:
'''प्रमाण-''' समष्टिीय निर्देशांक में अभाव, यह दर्शाने के लिए पर्याप्त है कि प्रत्येक <math>K_v</math> स्व-द्वैत है। यह <math>K_v</math> के निश्चित वर्ण का उपयोग करके किया जा सकता है। <math>\R</math> को स्व-द्वैत दर्शाकर इस विचार का चित्रण किया गया है।


:<math>\begin{cases} e_\infty: \R \to \mathbb{T} \\ e_\infty(t) :=\exp(2\pi it) \end{cases} </math>
:<math>\begin{cases} e_\infty: \R \to \mathbb{T} \\ e_\infty(t) :=\exp(2\pi it) \end{cases} </math>
फिर निम्न मानचित्र एक समरूपता है जो टोपोलॉजी का सम्मान करता है:
तब निम्न मानचित्र समरूपता है जो टोपोलॉजी का सम्मान करता है:


:<math>\begin{cases} \phi: \R \to \widehat{\R} \\ s \mapsto \begin{cases} \phi_s: \R \to \mathbb{T} \\ \phi_s(t) := e_\infty(ts) \end{cases}\end{cases}</math>
:<math>\begin{cases} \phi: \R \to \widehat{\R} \\ s \mapsto \begin{cases} \phi_s: \R \to \mathbb{T} \\ \phi_s(t) := e_\infty(ts) \end{cases}\end{cases}</math>
: प्रमेय (एडेल रिंग के बीजगणितीय और सतत दोहरे)<ref>A proof can be found in {{harvnb|Weil|1967|p=66}}.</ref> मान लीजिए <math>\chi</math> का एक गैर-तुच्छ चरित्र हो <math>\mathbb{A}_K,</math> जो तुच्छ है <math>K.</math> मान लीजिए <math>E</math> एक परिमित-आयामी वेक्टर-स्पेस ओवर हो <math>K.</math> मान लीजिए <math>E^\star</math> और <math>\mathbb{A}_E^\star</math> के बीजगणितीय द्वैत हों <math>E</math> और <math>\mathbb{A}_E.</math> के सामयिक दोहरे को निरूपित करें <math>\mathbb{A}_E</math> द्वारा <math>\mathbb{A}_E'</math> और उपयोग करें <math>\langle \cdot,\cdot \rangle</math> और <math>[{\cdot},{\cdot}]</math> प्राकृतिक बिलिनियर जोड़ियों को इंगित करने के लिए <math>\mathbb{A}_E \times \mathbb{A}_E'</math> और <math>\mathbb{A}_E \times \mathbb{A}_E^{\star}.</math> फिर सूत्र <math>\langle e,e'\rangle = \chi([e,e^\star])</math> सभी के लिए <math>e \in \mathbb{A}_E</math> समरूपता निर्धारित करता है <math>e^\star \mapsto e'</math> का <math>\mathbb{A}_E^\star</math> पर <math>\mathbb{A}_E',</math> जहाँ <math>e' \in \mathbb{A}_E'</math> और <math>e^\star \in \mathbb{A}_E^\star.</math> इसके अतिरिक्त, अगर <math>e^\star \in \mathbb{A}_E^\star</math> पूरा <math>\chi([e,e^\star])=1</math> सभी के लिए <math>e \in E,</math> तब <math>e^\star \in E^\star.</math>
: '''प्रमेय''' '''(एडेल वलय के बीजगणितीय और सतत द्वैत)-'''<ref>A proof can be found in {{harvnb|Weil|1967|p=66}}.</ref> मान लीजिए <math>\chi</math>, <math>\mathbb{A}_K,</math> का गैर-तुच्छ वर्ण है जो <math>K</math> पर तुच्छ है। मान लीजिए <math>E</math>, <math>K</math> पर परिमित-विम सदिश-समष्टि है। मान लीजिए <math>E^\star</math> और <math>\mathbb{A}_E^\star</math>, <math>E</math> और <math>\mathbb{A}_E.</math> के बीजगणितीय द्वैत हैं। <math>\mathbb{A}_E'</math> द्वारा <math>\mathbb{A}_E</math> के टोपोलॉजिकल द्वैत को निरूपित करें और <math>\mathbb{A}_E \times \mathbb{A}_E'</math> और <math>\mathbb{A}_E \times \mathbb{A}_E^{\star}.</math> पर प्राकृतिक द्विरैखिक युग्म को दर्शाने करने के लिए <math>\langle \cdot,\cdot \rangle</math> और <math>[{\cdot},{\cdot}]</math> का उपयोग करें। तब सभी <math>e \in \mathbb{A}_E</math> के लिए सूत्र <math>\langle e,e'\rangle = \chi([e,e^\star])</math> है, जो <math>\mathbb{A}_E^\star</math> पर <math>\mathbb{A}_E',</math> की समरूपता <math>\chi([e,e^\star])=1</math> निर्धारित करता है, जहाँ <math>e' \in \mathbb{A}_E'</math> और <math>e^\star \in \mathbb{A}_E^\star.</math> इसके अतिरिक्त, यदि <math>e^\star \in \mathbb{A}_E^\star</math> सभी <math>e \in E,</math> के लिए <math>\chi([e,e^\star])=1</math> को पूर्ण करता है, तब <math>e^\star \in E^\star.</math>




=== टेट की थीसिस ===
=== टेट की थीसिस ===


के किरदारों की मदद से <math>\mathbb{A}_K,</math> एडेल रिंग पर फूरियर विश्लेषण किया जा सकता है।<ref>For more see {{harvnb|Deitmar|2010|p=129}}.</ref> जॉन टी. टेट ने अपने थीसिस फूरियर एनालिसिस इन नंबर फील्ड्स एंड हेके जीटा फंक्शंस में{{sfn|Cassels|Fröhlich|1967}} ने एडेल रिंग और आइडल ग्रुप पर फूरियर विश्लेषण का उपयोग करके डिरिचलेट एल-फंक्शन के बारे में परिणाम साबित किए। इसलिए, एडेल रिंग और आइडल ग्रुप को रीमैन जीटा फंक्शन और अधिक सामान्य जीटा फंक्शन और एल-फंक्शन का अध्ययन करने के लिए लागू किया गया है। इन कार्यों के एडेलिक रूपों को संबंधित हार उपायों के संबंध में एडेल रिंग या आइडल समूह पर इंटीग्रल के रूप में परिभाषित और प्रतिनिधित्व किया जा सकता है। इन कार्यों के कार्यात्मक समीकरण और मेरोमोर्फिक सततताएं दिखाई जा सकती हैं। उदाहरण के लिए, सभी के लिए <math>s \in \C</math> साथ <math>\Re(s) > 1,</math>
<math>\mathbb{A}_K,</math> के अक्षरों की सहायता से एडेल वलय पर फूरियर विश्लेषण किया जा सकता है।<ref>For more see {{harvnb|Deitmar|2010|p=129}}.</ref> जॉन टेट ने अपनी थीसिस "संख्या क्षेत्र और हेके जीटा फलन में फूरियर विश्लेषण"{{sfn|Cassels|Fröhlich|1967}} में एडेल वलय और आइडल समूह पर फूरियर विश्लेषण का उपयोग करके डिरिचलेट एल-फलन के संबंध में परिणाम सिद्ध किए। इसलिए, एडेल वलय और आइडल समूह को रीमैन जीटा फलन और एल-फलन का अध्ययन करने के लिए प्रयुक्त किया गया है। इन फलनों के एडेलिक रूपों को संबंधित प्रत्येक माप के संबंध में एडेल वलय या आइडल समूह पर इंटीग्रल के रूप में परिभाषित और प्रतिनिधित्व किया जा सकता है। इन फलनों के फलनिक समीकरण और मेरोमोर्फिक निरंतरताएं दर्शायी जा सकती हैं। उदाहरण के लिए, सभी <math>s \in \C</math> के साथ <math>\Re(s) > 1,</math> के लिए
:<math>\int_{\widehat{\Z}} |x|^s d^\times x = \zeta(s),</math>
:<math>\int_{\widehat{\Z}} |x|^s d^\times x = \zeta(s),</math>
जहाँ <math>d^\times x</math> अद्वितीय हार उपाय चालू है <math>I_{\Q,\text{fin}}</math> इस तरह सामान्यीकृत <math>\widehat{\Z}^\times</math> मात्रा एक है और शून्य से परिमित एडेल रिंग तक बढ़ाया गया है। नतीजतन, रीमैन ज़ेटा फ़ंक्शन को एडेल रिंग के ऊपर एक अभिन्न अंग (एक सबसेट) के रूप में लिखा जा सकता है।<ref>A proof can be found {{harvnb|Deitmar|2010|p=128}}, Theorem 5.3.4. See also p. 139 for more information on Tate's thesis.</ref>
जहाँ <math>d^\times x</math>, <math>I_{\Q,\text{fin}}</math> पर अद्वितीय माप है, जैसे कि <math>\widehat{\Z}^\times</math> में आयतन है जिसे शून्य से परिमित एडेल वलय तक विस्तारित किया गया है। परिणामस्वरूप, रीमैन ज़ेटा फलन को एडेल वलय के ऊपर उपसमुच्चय के रूप में अंकित किया जा सकता है।<ref>A proof can be found {{harvnb|Deitmar|2010|p=128}}, Theorem 5.3.4. See also p. 139 for more information on Tate's thesis.</ref>




=== स्वचालित रूप ===
=== ऑटोमोर्फिक रूप ===


ऑटोमोर्फिक रूपों का सिद्धांत आदर्श समूह को समान उच्च आयामी समूहों के साथ बदलकर टेट की थीसिस का सामान्यीकरण है। इस नोट को देखने के लिए:
ऑटोमोर्फिक रूपों का सिद्धांत आदर्श समूह को समान उच्च आयामी समूहों के साथ प्रतिस्थापित कर टेट की थीसिस का सामान्यीकरण है।


:<math>\begin{align}
:<math>\begin{align}
Line 798: Line 798:
\Q^{\times} &= \operatorname{GL} (1, \Q)  
\Q^{\times} &= \operatorname{GL} (1, \Q)  
\end{align}</math>
\end{align}</math>
इन पहचान के आधार पर आदर्श समूह और 1-आदर्श को प्रतिस्थापित करने के लिए एक प्राकृतिक सामान्यीकरण होगा:
इस प्रमाण के आधार पर आदर्श समूह और 1-आदर्श को प्रतिस्थापित करने के लिए प्राकृतिक सामान्यीकरण होगा:


:<math>\begin{align}
:<math>\begin{align}
Line 808: Line 808:


:<math>\Q^{\times} \backslash I_{\Q}^1  \cong \Q^{\times} \backslash I_{\Q} \leftrightsquigarrow (\operatorname{GL} (2, \Q) \backslash (\operatorname{GL} (2, \mathbb{A}_\Q))^1 \cong (\operatorname{GL} (2, \Q)Z_{\R}) \backslash\operatorname{GL} (2, \mathbb{A}_\Q),</math>
:<math>\Q^{\times} \backslash I_{\Q}^1  \cong \Q^{\times} \backslash I_{\Q} \leftrightsquigarrow (\operatorname{GL} (2, \Q) \backslash (\operatorname{GL} (2, \mathbb{A}_\Q))^1 \cong (\operatorname{GL} (2, \Q)Z_{\R}) \backslash\operatorname{GL} (2, \mathbb{A}_\Q),</math>
जहाँ <math>Z_\R</math> का केन्द्र है <math>\operatorname{GL} (2, \R).</math> फिर यह एक ऑटोमोर्फिक रूप को एक तत्व के रूप में परिभाषित करता है <math>L^2((\operatorname{GL} (2, \Q)Z_{\R}) \backslash \operatorname{GL} (2, \mathbb{A}_\Q)).</math> दूसरे शब्दों में एक ऑटोमोर्फिक रूप एक कार्य है <math>\operatorname{GL} (2, \mathbb{A}_{\Q})</math> कुछ बीजगणितीय और विश्लेषणात्मक स्थितियों को संतुष्ट करना। ऑटोमॉर्फिक रूपों का अध्ययन करने के लिए, समूह के निरूपण को जानना महत्वपूर्ण है <math>\operatorname{GL} (2, \mathbb{A}_{\Q}).</math> ऑटोमॉर्फिक एल-फ़ंक्शंस का अध्ययन करना भी संभव है, जिसे इंटीग्रल ओवर के रूप में वर्णित किया जा सकता है <math>\operatorname{GL} (2, \mathbb{A}_{\Q}).</math><ref>For further information see Chapters 7 and 8 in {{harvnb|Deitmar|2010}}.</ref>
जहाँ <math>Z_\R</math>, <math>\operatorname{GL} (2, \R).</math> का केन्द्र है। तब यह <math>L^2((\operatorname{GL} (2, \Q)Z_{\R}) \backslash \operatorname{GL} (2, \mathbb{A}_\Q)).</math> के तत्व के रूप में ऑटोमोर्फिक रूप को परिभाषित करता है। अन्य शब्दों में, ऑटोमोर्फिक रूप <math>\operatorname{GL} (2, \mathbb{A}_{\Q})</math> पर फलन है जो कुछ बीजगणितीय और विश्लेषणात्मक स्थितियों को संतुष्ट करता है। ऑटोमॉर्फिक रूपों का अध्ययन करने के लिए, समूह के निरूपण <math>\operatorname{GL} (2, \mathbb{A}_{\Q}).</math> का ज्ञान होना महत्वपूर्ण है। ऑटोमॉर्फिक एल-फलन का अध्ययन करना भी संभव है, जिसे <math>\operatorname{GL} (2, \mathbb{A}_{\Q}).</math> पर समाकलन के रूप में वर्णित किया जा सकता है।<ref>For further information see Chapters 7 and 8 in {{harvnb|Deitmar|2010}}.</ref>
प्रतिस्थापित करके आगे भी सामान्यीकरण संभव है <math>\Q</math> एक संख्या क्षेत्र के साथ और <math>\operatorname{GL} (2)</math> एक मनमाना रिडक्टिव बीजगणितीय समूह के साथ।
 
<math>\Q</math> को संख्या क्षेत्र के साथ और <math>\operatorname{GL} (2)</math> को एकपक्षीय रिडक्टिव बीजगणितीय समूह के साथ प्रतिस्थापित कर आगे भी सामान्यीकृत किया जा सकता है।


===आगे के आवेदन===
===अग्र अनुप्रयोग===


आर्टिन पारस्परिकता कानून का एक सामान्यीकरण प्रतिनिधित्व के संबंध की ओर जाता है <math>\operatorname{GL} (2, \mathbb{A}_K)</math> और गाल्वा के अभ्यावेदन <math>K</math> ([[लैंगलैंड्स कार्यक्रम]])
आर्टिन पारस्परिकता नियम का सामान्यीकरण <math>\operatorname{GL} (2, \mathbb{A}_K)</math> के प्रतिनिधित्व और <math>K</math> ([[लैंगलैंड्स कार्यक्रम]]) के गाल्वा के प्रतिनिधित्व के संबंध की ओर जाता है।


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


एक परिमित क्षेत्र पर एक वक्र के कार्य क्षेत्र के एडेल रिंग की स्व-द्वैत आसानी से रीमैन-रोच प्रमेय और वक्र के लिए द्वंद्व सिद्धांत का अर्थ है।
परिमित क्षेत्र पर वक्र के फलन क्षेत्र के एडेल वलय की स्व-द्वैत सरलता से रीमैन-रोच प्रमेय और वक्र के लिए द्वंद्व सिद्धांत का अर्थ है।


==संदर्भ==
==संदर्भ==
Line 834: Line 835:
* [https://mathoverflow.net/questions/78240/what-problem-do-the-adeles-solve What problem do the adeles solve?]
* [https://mathoverflow.net/questions/78240/what-problem-do-the-adeles-solve What problem do the adeles solve?]
* [https://mathoverflow.net/questions/184737/a-good-book-on-adeles-and-ideles Some good books on adeles]
* [https://mathoverflow.net/questions/184737/a-good-book-on-adeles-and-ideles Some good books on adeles]
[[Category: बीजगणितीय संख्या सिद्धांत]] [[Category: सामयिक बीजगणित]]


[[Category: Machine Translated Page]]
[[Category:Articles containing French-language text]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 Deutsch-language sources (de)]]
[[Category:Created On 18/05/2023]]
[[Category:Created On 18/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:बीजगणितीय संख्या सिद्धांत]]
[[Category:सामयिक बीजगणित]]

Latest revision as of 16:29, 30 October 2023

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

एडेल विशेष प्रकार के आइडल से प्राप्त होता है। इडेल फ्रांसीसी आइडेल से प्राप्त हुआ है और इसे फ्रांसीसी गणितज्ञ क्लाउड चेवेली द्वारा गढ़ा गया था। शब्द 'आदर्श तत्व' (संक्षिप्त: आईडी.ईएल) के लिए है। एडेल (फ्रेंच: एडेल) का अर्थ एडिटिव आइडल है (जो कि एडिटिव आईडीई तत्व है)।

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

किसी संख्या क्षेत्र के एडेल वलय पर संख्याओं की ज्यामिति के अध्ययन को एडेलिक ज्यामिति कहते हैं।

परिभाषा

मान लीजिए वैश्विक क्षेत्र ( का परिमित विस्तार या परिमित क्षेत्र पर वक्र X/Fq का फलन क्षेत्र) है। की 'एडेल वलय' उपवलय है-

जिसमें टुपल्स सम्मिलित हैं, जहाँ सभी के लिए उपवलय में स्थित है, किन्तु कई समष्टिों (गणित) पर है। यहाँ सूचकांक वैश्विक क्षेत्र के सभी मूल्यांकनों (बीजगणित) पर है, उस मूल्यांकन पर पूर्णता है और संबंधित मूल्यांकन वलय है।

प्रेरणा

एडेल्स की वलय परिमेय संख्या पर विश्लेषण करने की तकनीकी समस्या को हल करती है। शास्त्रीय समाधान मानक मीट्रिक पूर्णता को पारित करना था और वहां विश्लेषणात्मक तकनीकों का उपयोग करना था। किन्तु, जैसा कि पश्चात में ज्ञात हुआ था कि यूक्लिडियन दूरी के अतिरिक्त और भी कई निरपेक्ष मान हैं, जो प्रत्येक अभाज्य संख्या के लिए है, जिसे ओस्ट्रोव्स्की के प्रमेय द्वारा वर्गीकृत किया गया था। यूक्लिडियन निरपेक्ष मान , कई अन्य में से केवल एक है, किन्तु एडेल्स की वलय सभी मूल्यांकनों से सम्मति करना और उनका उपयोग करना संभव बनाती है। यह विश्लेषणात्मक तकनीकों को सक्षम करने का लाभ है, जबकि अभाज्यों के संबंध में सूचना को यथावत रखने के पश्चात उनकी संरचना प्रतिबंधित अनंत गुणनफल द्वारा एम्बेडेड है।

प्रतिबंधित गुणनफल क्यों?

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

फूरियर विश्लेषण के नए सिद्धांत की शक्ति के साथ, जॉन टेट (गणितज्ञ) एल-फलनों के विशेष वर्ग को प्रमाणित करने में सक्षम थे और डेडेकाइंड जीटा फंक्शन जटिल तल पर मेरोमॉर्फिक थे।

इस तकनीकी स्थिति के बने रहने का अन्य प्राकृतिक कारण वलयों के टेन्सर गुणनफल के रूप में एडेल्स के वलय का निर्माण करके देखा जा सकता है। यदि वलय के रूप में इंटीग्रल एडेल की वलय को परिभाषित किया जाए

तब एडेल्स की वलय को समान रूप से परिभाषित किया जा सकता है-

इस वलय में स्पष्ट तत्वों को देखने के पश्चात प्रतिबंधित गुणनफल संरचना पारदर्शी हो जाती है। अप्रतिबंधित गुणनफल के भीतर तत्व की छवि है-

गुणक , में स्थित होता है जब भी , का अभाज्य गुणनखंड नहीं होता है, किन्तु अधिक अभाज्य होते हैं।[2]


नाम की उत्पत्ति

समष्टिीय वर्ग क्षेत्र सिद्धांत में, क्षेत्र की इकाइयों का समूह केंद्रीय भूमिका निभाता है। वैश्विक वर्ग क्षेत्र सिद्धांत में, आइडल वर्ग समूह यह भूमिका निभाता है। आइडल शब्द (French: idèle) फ्रांसीसी गणितज्ञ क्लॉड चेवेली (1909-1984) का आविष्कार है और आदर्श तत्व (संक्षिप्त: आईडी.ईएल.) का उपयोग है। शब्द एडेल (adèle) एडिटिव आइडल के लिए उपयोग किया जाता है।

एडेल वलय का विचार सभी पूर्णताओं को देखना है। कार्तीय गुणन उचित उम्मीदवार हो सकता है। चूँकि, एडेल वलय को प्रतिबंधित गुणनफल के साथ परिभाषित किया गया है। इसके दो कारण हैं:

  • के प्रत्येक तत्व के लिए मूल्यांकन परिमित संख्या के अतिरिक्त प्रायः सभी समष्टिों के लिए शून्य है। इसलिए, वैश्विक क्षेत्र को प्रतिबंधित गुणनफल में एम्बेड किया जा सकता है।
  • प्रतिबंधित गुणनफल समष्टिय रूप से सघन समष्टि है, जबकि कार्तीय गुणनफल नहीं है। इसलिए, कार्तीय गुणन के लिए हार्मोनिक विश्लेषण का कोई अनुप्रयोग नहीं हो सकता है। ऐसा इसलिए है क्योंकि सामान्य रूप से समूहों पर विश्लेषण में महत्वपूर्ण उपकरण, प्रत्येक माप के अस्तित्व (और विशिष्टता) को समष्टिीय उपकरण सुनिश्चित करता है।

उदाहरण

परिमेय संख्याओं के लिए एडेल्स की वलय

परिमेय K=Q में (Kν, Oν)=(Qp, Zp) के साथ प्रत्येक अभाज्य संख्या p के लिए मूल्यांकन है और Q=R के साथ अनंत मूल्यांकन ∞ है। इस प्रकार का अवयव, प्रत्येक p के लिए p-एडिक परिमेय के साथ वास्तविक संख्या है, जिनमें से सभी p-एडिक पूर्णांक हैं।

प्रक्षेपी रेखा के फंक्शन फील्ड के लिए एडेल्स की वलय

दूसरा, परिमित क्षेत्र पर प्रक्षेपी रेखा का फलन क्षेत्र K=Fq(P1)=Fq(t) है। इसका मूल्यांकन X=P1 के बिंदु x के अनुरूप है, अर्थात SpecFq पर मानचित्र है-

उदाहरण के लिए, SpecFqP1 के रूप में q+1 बिंदु हैं। इस स्थिति में Oν= OX,x पर संरचना शीफ ​​का पूरा डंठल है (अर्थात x के औपचारिक पड़ोस पर कार्य करता है) और Kν=KXx इसका भिन्न क्षेत्र है।

परिमित क्षेत्र पर किसी भी निष्कोण वक्र X/Fq के लिए समान है, प्रतिबंधित गुणनफल x∈X के सभी बिंदुओं पर है।

संबंधित धारणाएं

एडेल वलय में इकाइयों के समूह को आइडल समूह कहा जाता है

उपसमूह K×⊆IK द्वारा आइडल्स के भागफल को आइडल वर्ग समूह कहा जाता है

इंटीग्रल एडेल उपवलय हैं


अनुप्रयोग

आर्टिन पारस्परिकता बताते हुए

आर्टिन पारस्परिकता नियम कहता है कि वैश्विक क्षेत्र के लिए,

जहां Kab, K का अधिकतम एबेलियन बीजगणितीय विस्तार है और का अर्थ समूह की अनंत पूर्णता है।

वक्र के पिकार्ड समूह का एडिलिक सूत्रीकरण

यदि X/Fq निष्कोण उचित वक्र है तो इसका पिकार्ड समूह है[3]

और इसका विभाजक समूह Div(X)=AK×/OK× है। इसी प्रकार, यदि G अर्धसरल बीजगणितीय समूह है (उदाहरण के लिए SLn, यह GLn के लिए भी मान्य है) तो वील एकरूपता का तात्पर्य है[4]

इसे G=Gm पर प्रयुक्त करने से पिकार्ड समूह पर परिणाम प्राप्त होता है।

टेट की थीसिस

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

निष्कोण वक्र पर सेरे द्वैत सिद्ध करना

यदि X सम्मिश्र संख्याओं पर निष्कोण उचित वक्र है, तो C(X) फलन क्षेत्र के एडील्स को परिमित क्षेत्र स्तिथि के रूप में परिभाषित कर सकता है। जॉन टेट ने सिद्ध किया कि इस एडेल वलय AC(X) के साथ कार्य करके X पर सेरे द्वैत का अनुमान लगाया जा सकता है[6]

जहाँ L, X पर रेखा बंडल है।

अंकन और मूलभूत परिभाषाएँ

वैश्विक क्षेत्र

इस पूर्ण लेख में, वैश्विक क्षेत्र है, जिसका अर्थ है कि यह या तो बीजगणितीय संख्या क्षेत्र है ( का परिमित विस्तार) या वैश्विक फलन क्षेत्र है ( अभाज्य और के लिए का परिमित विस्तार है)। परिभाषा के अनुसार वैश्विक क्षेत्र का परिमित विस्तार स्वयं में वैश्विक क्षेत्र है।

मूल्यांकन

के मूल्यांकन (बीजगणित) के लिए इसे के संबंध में की पूर्णता के लिए के रूप में अंकित किया जा सकता है। यदि असतत है, तो इसे के अधिकतम आदर्श के लिए और के मूल्यांकन वलय के लिए लिखा जा सकता है। यदि यह प्रमुख आदर्श है जो समान तत्व को द्वारा निरूपित करता है। गैर-आर्किमिडीयन मूल्यांकन को या के रूप में लिखा जाता है और आर्किमिडीयन मूल्यांकन को के रूप में लिखा जाता है, तत्पश्चात मान लें कि सभी मूल्यांकन गैर-तुच्छ हैं।

मूल्यांकन और निरपेक्ष मानों के विभिन्न प्रमाण है। स्थिरांक को निश्चित करें, मूल्यांकन को निरपेक्ष मान दिया गया है, जिसे इस प्रकार परिभाषित किया गया है-

इसके विपरीत, निरपेक्ष मान को मूल्यांकन के रूप में परिभाषित किया गया है-

का बीजगणितीय संख्या सिद्धांत के मूल्यांकन (या निरपेक्ष मान) के समतुल्य वर्ग का प्रतिनिधि है। गैर-आर्किमिडीयन मूल्यांकनों के अनुरूप समष्टिों को परिमित कहा जाता है, यद्यपि आर्किमिडीयन मूल्यांकनों के अनुरूप समष्टिों को अनंत कहा जाता है। वैश्विक क्षेत्र के अनंत समष्टि परिमित समुच्चय बनाते हैं, जिसे द्वारा निरूपित किया जाता है।

को परिभाषित कीजिए और को इसकी इकाइयों का समूह मान लीजिए, तब

परिमित विस्तार

मान लीजिए वैश्विक क्षेत्र का परिमित विस्तार है। मान लीजिए , का समष्टि है और , का समष्टि है। यदि तक सीमित निरपेक्ष मान , के समतुल्य वर्ग में है, तो , के ऊपर स्थित होता है, जिसे द्वारा निरूपित किया जाता है और इसे इस प्रकार परिभाषित किया जाता है-

(ध्यान दें कि दोनों गुणनफल परिमित हैं।)

यदि , को में एम्बेड किया जा सकता है। इसलिए , में विकर्णीय रूप से सन्निहित है। इस एम्बेडिंग के साथ पर डिग्री का क्रमविनिमेय बीजगणित है-

एडेल वलय

वैश्विक क्षेत्र निरूपित के परिमित एडेल के समुच्चय को के संबंध में के प्रतिबंधित गुणनफल के रूप में परिभाषित किया गया है-

यह प्रतिबंधित गुणनफल टोपोलॉजी से सुसज्जित है, जो प्रतिबंधित विवृत आयतों द्वारा उत्पन्न टोपोलॉजी है, जिसके निम्नलिखित रूप हैं:

जहाँ (परिमित) समष्टिों का परिमित समुच्चय है और विवृत हैं। घटक के अनुसार जोड़ और गुणन के साथ भी वलय है।

वैश्विक क्षेत्र के एडेल वलय को के गुणनफल के रूप में परिभाषित किया गया है, जो के अनंत समष्टिों पर पूर्णता के गुणनफल के साथ है। अनंत समष्टिों की संख्या परिमित है और पूर्णताएँ या तो अथवा हैं। संक्षेप में:

जोड़ और गुणन के साथ घटक के रूप में परिभाषित एडेल वलय है। एडेल वलय के तत्वों को का एडेल कहा जाता है। निम्नलिखित में इसे इस प्रकार लिखा गया है-

चूँकि यह सामान्यतः प्रतिबंधित गुणनफल नहीं है।

टिप्पणी- वैश्विक फलन क्षेत्रों में कोई अनंत समष्टि नहीं है और इसलिए परिमित एडेल वलय, एडेलिक वलय के समतुल्य है।

लेम्मा- विकर्ण मानचित्र द्वारा दिए गए में का स्वाभाविक बन्धन है।

प्रमाण- यदि तब प्रायः सभी के लिए है, इससे ज्ञात होता है कि मानचित्र उचित रूप से परिभाषित है। यह अंतःक्षेपक भी है क्योंकि में का एम्बेडिंग सभी के लिए अंतःक्षेपक है।

टिप्पणी- विकर्ण मानचित्र के नीचे अपनी छवि के साथ को प्रमाणित करके इसे का उपसमूह माना जाता है। के तत्वों को का प्रमुख एडेल कहा जाता है।

परिभाषा- माना , के समष्टिों का समुच्चय है। के -एडेल्स के समुच्चय को इस रूप में परिभाषित कीजिए-

इसके अतिरिक्त, यदि

तो परिणाम है-


परिमेय का एडेल वलय

ओस्ट्रोव्स्की के प्रमेय द्वारा का समष्टि है, -एडिक निरपेक्ष मान के तुल्यता वर्ग के साथ अभाज्य की पहचान करना संभव है और निरपेक्ष मान के तुल्यता वर्ग के साथ को इस प्रकार परिभाषित किया गया है-

समष्टि के संबंध में की पूर्णता मूल्यांकन वलय के साथ है। समष्टि के लिए पूर्णता है। इस प्रकार-

या संक्षेप में

में अनुक्रम का उपयोग करके प्रतिबंधित और अप्रतिबंधित गुणनफल टोपोलॉजी के मध्य अंतर को चित्रित किया जा सकता है-

लेम्मा- में निम्नलिखित अनुक्रम पर विचार करें,
गुणनफल टोपोलॉजी में यह अभिसरण करता है , किन्तु यह प्रतिबंधित गुणनफल टोपोलॉजी में अभिसरण नहीं करता है।

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

संख्या क्षेत्रों के लिए वैकल्पिक परिभाषा

परिभाषा (अनंत पूर्णांक)- अनंत पूर्णांकों को आंशिक क्रम के साथ वलय की अनंत पूर्णता के रूप में परिभाषित किया गया है। अर्थात,

लेम्मा-

प्रमाण- यह चीनी शेषफल प्रमेय द्वारा ज्ञात किया जाता है।

लेम्मा-

प्रमाण- टेंसर गुणनफल के सार्वभौमिक गुण का प्रयोग करें। -द्विरैखिक फलन को परिभाषित करें-

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

परिणाम- को परिभाषित करें, जिसका परिणाम बीजगणितीय तुल्याकारिता होता है।

प्रमाण-

लेम्मा- संख्या क्षेत्र के लिए

टिप्पणी- का उपयोग करते हुए, जहां योग हैं, दाईं ओर गुणनफल टोपोलॉजी प्राप्त करता है और इस टोपोलॉजी को पर आइसोमोर्फिज्म के माध्यम से ट्रांसपोर्ट करता है।


परिमित विस्तार की एडेल वलय

यदि परिमित विस्तार है, और वैश्विक क्षेत्र है। इस प्रकार परिभाषित किया गया है, और है। की पहचान के उपसमूह से की जा सकती है। मानचित्र और जहाँ, के लिए है, तब उपसमूह में है, यदि के लिए और के लिए , के समान समष्टि के ऊपर स्थित है।

लेम्मा- यदि परिमित विस्तार है, तो बीजगणितीय और स्थैतिक रूप से है

इस समरूपता की सहायता से, समावेशन द्वारा दिया गया है

इसके अतिरिक्त, में मुख्य एडेल्स को मानचित्र के माध्यम से में मुख्य एडेल्स के उपसमूह के साथ पहचाना जा सकता है-

प्रमाण-[7] मान लीजिए , पर का आधार है। तब के लिए,

इसके अतिरिक्त, निम्नलिखित समरूपताएं हैं:

दूसरे के लिए मानचित्र का उपयोग करें:

जिसमें विहित एम्बेडिंग और है, प्रतिबंधित गुणनफल के संबंध में दोनों पक्षों को लिया जाता है-

परिणाम- योगात्मक समूहों के रूप में जहां दाईं ओर योग होता है।

में प्रधान एडेल्स के समुच्चय को के साथ प्रमाणित किया जाता है, जहां बाईं ओर सारांश होता है और को के उपसमुच्चय के रूप में माना जाता है।


सदिश-समष्टि और बीजगणित का एडेल वलय

लेम्मा- मान लीजिए , के समष्टिों का परिमित समुच्चय है और परिभाषित करें
को गुणनफल टोपोलॉजी से सुसज्जित करें और जोड़ और गुणन को घटक के अनुसार परिभाषित करें। तब समष्टिीय रूप से सघन टोपोलॉजिकल वलय है।

टिप्पणी- यदि , के समष्टिों का अन्य परिमित समुच्चय है जिसमें है तो , का विवृत उपसमूह है।

अब, एडेल वलय का वैकल्पिक लक्षण वर्णन प्रस्तुत किया जा सकता है। एडेल वलय सभी समुच्चयों का संघ है-

समान रूप से सभी का समुच्चय है जिससे कि प्रायः सभी के लिए है। की टोपोलॉजी इस आवश्यकता से प्रेरित है कि सभी , के विवृत उपवलय है। इस प्रकार, समष्टिीय रूप से सघन टोपोलॉजिकल वलय है।

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

तब:

इसके अतिरिक्त परिभाषित करें

जहाँ , युक्त सभी परिमित समुच्चयों के माध्यम से चलता है। तब मानचित्र के माध्यम से

उपर्युक्त पूर्ण प्रक्रिया के अतिरिक्त परिमित उपसमुच्चय के साथ है।

के निर्माण से वास्तविक एम्बेडिंग है: इसके अतिरिक्त, वास्तविक प्रक्षेपण उपस्थित है।


सदिश-समष्टि का एडेल वलय

मान लीजिए , पर परिमित आयामी सदिश-समष्टि है और , पर का आधार है। के प्रत्येक समष्टि के लिए-

के एडेल वलय को इस रूप में परिभाषित किया गया है-

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

पर टोपोलॉजी की वैकल्पिक परिभाषा प्रदान की जा सकती है। सभी रेखीय मानचित्रों पर विचार करें। प्राकृतिक एम्बेडिंग और का उपयोग करके इन रैखिक मानचित्रों को तक विस्तारित करें। पर टोपोलॉजी अपरिष्कृत है जिसके लिए ये सभी विस्तार सतत हैं।

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

जहां योग है। की स्तिथि में उपरोक्त परिभाषा परिमित विस्तार के एडेल वलय के परिणामों के अनुरूप है।[8]


बीजगणित का एडेल वलय

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

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

परिमित समुच्चय है जिससे कि , का विवृत उपवलय है यदि है। इसके अतिरिक्त इन सभी उपवलयों का संघ है और लिए उपरोक्त परिभाषा एडेल वलय के अनुरूप है।

एडेल वलय पर ट्रेस और मानदंड

मान लीजिए परिमित विस्तार है। चूँकि उपरोक्त लेम्मा से और , की व्याख्या के संवृत उपवलय के रूप में की जा सकती है। इस एम्बेडिंग के लिए को अंकित करें, स्पष्ट रूप से के ऊपर के सभी समष्टिों के लिए और किसी भी के लिए अंकित करें।

मान लीजिए वैश्विक क्षेत्रों का टॉवर है। तब:

इसके अतिरिक्त, मुख्य एडेल्स तक ही परिमित है, वास्तविक अन्तःक्षेपण है।

मान लीजिए क्षेत्र विस्तार का आधार है। तब प्रत्येक को के रूप में लिखा जा सकता है जहाँ अद्वितीय हैं। मानचित्र सतत है। समीकरणों के माध्यम से के आधार पर परिभाषित करें-

अब, के ट्रेस और मानदंड को परिभाषित करें-

ये रैखिक मानचित्र के ट्रेस और निर्धारक हैं

वे एडेल वलय पर सतत मानचित्र हैं, और वे सामान्य समीकरणों को पूर्ण करते हैं:

इसके अतिरिक्त, के लिए और क्षेत्र विस्तार के ट्रेस और मानदंड के समान हैं। क्षेत्रों के टावर के लिए, परिणाम है:

इसके अतिरिक्त, यह सिद्ध किया जा सकता है कि:[9]


एडेल वलय के गुण

प्रमेय-[10] समष्टिों के प्रत्येक समुच्चय के लिए समष्टिीय रूप से सघन टोपोलॉजिकल वलय है।

टिप्पणी- उपरोक्त परिणाम सदिश-समष्टि और के ऊपर बीजगणित के एडेल वलय के लिए भी प्रयुक्त होते हैं।

प्रमेय-[11] असतत है और में सहसंबद्ध है विशेष रूप से, , में संवृत है।

प्रमाण- स्तिथि को सिद्ध करो। असतत है, यह के अस्तित्व को दर्शाने के लिए पर्याप्त है, जिसमें कोई अन्य परिमेय संख्या नहीं है। सामान्य स्तिथि अनुवाद के माध्यम से होती है।

, का विवृत प्रतिवेश है। ऐसा आशय किया जाता है कि मान लीजिए तब और सभी के लिए है और इसलिए इसके अतिरिक्त, और है। सघनता के लिए, परिभाषित करें:

में प्रत्येक तत्व का में प्रतिनिधि है, अर्थात प्रत्येक के लिए उपस्थित है जैसे मान लीजिए एकपक्षीय है और के लिए अभाज्य संख्या है। तब और के साथ उपस्थित है। को से प्रतिस्थापित करें और को अभाज्य मान लें। तब:

अग्र, यह आशय है कि:

उत्क्रम निहितार्थ महत्वहीन सत्य है। निहितार्थ सत्य है क्योंकि प्रबल त्रिभुज असमानता के दो पद समान हैं यदि दोनों पूर्णांकों के निरपेक्ष मान भिन्न हैं। परिणामस्वरूप, अभाज्य संख्याओं का (परिमित) समुच्चय जिसके लिए के घटक में नहीं हैं, जो 1 से अल्प हो जाते हैं। पुनरावृत्ति के साथ, यह निष्कर्ष प्राप्त किया जा सकता है कि उपस्थित है जैसे कि अब का चयन करें जैसे तब सतत प्रक्षेपण विशेषण है, इसलिए सघन समुच्चय की सतत छवि के रूप में सघन है।

परिणाम- मान लीजिए , पर परिमित-आयामी सदिश-समष्टि है। तब , में असतत और सह-सघन है।
प्रमेय- निम्नलिखित बिंदुओं को माना जाता है:
  • विभाज्य समूह है।[12]
  • घना है।

प्रमाण- प्रथम दो समीकरणों को प्राथमिक रूप से सिद्ध किया जा सकता है।

परिभाषा के अनुसार विभाज्य है यदि किसी और के लिए समीकरण का हल है। यह दर्शाने के लिए पर्याप्त है कि विभाज्य है किन्तु यह सत्य है क्योंकि प्रत्येक निर्देशांक में सकारात्मक विशेषता वाला क्षेत्र है।

अंतिम कथन के लिए ध्यान दें कि क्योंकि के तत्वों के निर्देशांक में हर की परिमित संख्या के माध्यम से होती है। परिणामस्वरूप, यह दर्शाने के लिए पर्याप्त है कि सघन है, अर्थात प्रत्येक विवृत उपसमुच्चय में का तत्व होता है। यह माना जा सकता है कि

क्योंकि , में की प्रतिवेश प्रणाली है। चीनी शेष प्रमेय द्वारा उपस्थित है जैसे चूंकि विशिष्ट अभाज्य संख्याओं की घात सहअभाज्य हैं, इसलिए अनुसरण करता है।

टिप्पणी- विशिष्ट रूप से विभाज्य नहीं है। मान लीजिए और दिया गया है। तब

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

टिप्पणी- चतुर्थ कथन सन्निकटन प्रमेय की विशेष स्तिथि है।

एडेल वलय पर प्रत्येक माप

परिभाषा- फलन को सरल कहा जाता है, यदि जहाँ मापने योग्य हैं और प्रायः सभी के लिए है।

प्रमेय-[13] चूँकि समष्टिीय रूप से सघन समूह है, इसलिए पर योगात्मक माप है। इस माप को सामान्यीकृत किया जा सकता है जिस प्रकार प्रत्येक पूर्णांक सरल फलन , निम्न समीकरण को संतुष्ट करता है-
जहाँ के लिए पर माप है, जिस प्रकार इकाई माप है और लेबेस्ग माप है। गुणनफल परिमित है, अर्थात प्रायः सभी गुणनखंड 1 के समान हैं।

आदर्श समूह

परिभाषा- एडेल वलय की इकाइयों के समूह के रूप में के आदर्श समूह को परिभाषित कीजिए जो है। आइडल समूह के तत्वों को का आइडल कहा जाता है।

टिप्पणी- टोपोलॉजी से सुसज्जित है जिससे कि यह टोपोलॉजिकल समूह में परिवर्तित हो जाए। से विरासत में मिली उपसमुच्चय टोपोलॉजी उपयुक्त उम्मीदवार नहीं है क्योंकि उपसमुच्चय टोपोलॉजी से सुसज्जित टोपोलॉजिकल वलय की इकाइयों का समूह टोपोलॉजिकल समूह नहीं हो सकता है। उदाहरण के लिए, में व्युत्क्रम मानचित्र सतत नहीं है। अनुक्रम-

में परिवर्तित होता है। इसे अवलोकित करने के लिए को व्यापकता की हानि के अतिरिक्त 0 का प्रतिवेश मान लीजिए-

के लिए के पश्चात् से, के लिए अधिक बड़ा है। चूँकि इस क्रम का व्युत्क्रम में अभिसरित नहीं होता है।

लेम्मा- मान लीजिए टोपोलॉजिकल वलय है।
और टोपोलॉजी पर गुणनफल से प्रेरित टोपोलॉजिकल समूह है और समावेशन मानचित्र सतत है। यह पर अपरिष्कृत टोपोलॉजी है, जो को टोपोलॉजिकल समूह बनाती है।

प्रमाण- तब टोपोलॉजिकल वलय है जो यह दर्शाने के लिए पर्याप्त है कि व्युत्क्रम मानचित्र सतत है। मान लीजिए विवृत है, तब विवृत है। यह दर्शाना आवश्यक है कि विवृत है या समकक्ष है, विवृत है। किन्तु यह उपरोक्त स्तिथि है।

आदर्श समूह लेम्मा में परिभाषित टोपोलॉजी से सुसज्जित है जो इसे सामयिक समूह बनाता है।

परिभाषा- के लिए के समष्टिों का उपसमुच्चय:

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

प्रमाण- के लिए प्रमाण सिद्ध करें; अन्य दो समान रूप से अनुसरण करते हैं। प्रथम यह दर्शायें कि दो समुच्चय समान हैं:

के साथ को में होना चाहिए, जिसका अर्थ प्रायः सभी के लिए और प्रायः सभी के लिए है। इसलिए, प्रायः सभी के लिए है।

अब, बाईं ओर की टोपोलॉजी को दाहिनी ओर की टोपोलॉजी के समतुल्य दर्शाना संभव हो सकता है। स्पष्ट रूप से प्रत्येक विवृत प्रतिबंधित आयत आदर्श समूह की टोपोलॉजी में विवृत है। दूसरी ओर, किसी दिए गए के लिए, जो आइडल समूह की टोपोलॉजी में विवृत है, जिसका अर्थ है, इसलिए प्रत्येक के लिए विवृत प्रतिबंधित आयत उपस्थित है, जो का उपसमुच्चय है और इसमें सम्मिलित है। इसलिए, इन सभी प्रतिबंधित विवृत आयतों का संघ है और इसलिए प्रतिबंधित गुणनफल टोपोलॉजी में विवृत है।

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

प्रमाण- गुणनफल के रूप में के विवरण से समष्टिीय सघनता का अनुसरण होता है। यह टोपोलॉजिकल समूह होने के नाते टोपोलॉजिकल वलय की इकाइयों के समूह पर उपरोक्त विचार द्वारा अनुसरण करता है।

की प्रतिवेश प्रणाली की प्रतिवेश प्रणाली है। वैकल्पिक रूप से,

जहां प्रायः सभी के लिए और का प्रतिवेश है।

चूंकि आदर्श समूह समष्टिीय रूप से सघन है, इसलिए इसमें प्रत्येक माप उपस्थित है। इसे सामान्य किया जा सकता है, जिससे कि

यह परिमित समष्टिों के लिए प्रयुक्त सामान्यीकरण है। इस समीकरण में, परिमित आइडल समूह है, जिसका अर्थ परिमित एडेल वलय की इकाइयों का समूह है। अपरिमित समष्टिों के लिए, गुणक लेबेस्ग माप का उपयोग करें।


परिमित विस्तार का आदर्श समूह

लेम्मा- मान लीजिए परिमित विस्तार है। तब-
जहां प्रतिबंधित गुणनफल के संबंध में है।
लेम्मा- में की कैनोनिकल एम्बेडिंग है।

प्रमाण- के लिए गुण के साथ से का मानचित्र है। इसलिए, को के उपसमूह के रूप में देखा जा सकता है। तत्व इस उपसमूह में है यदि उसके घटक निम्नलिखित गुणों को पूर्ण करते हैं: के लिए और के लिए और के समान समष्टि के लिए है।


सदिश समष्टि और बीजगणित की स्तिथि

[14]


बीजगणित का आदर्श समूह

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

प्रस्ताव- मान लीजिए , का परिमित उपसमुच्चय है, जिसमें पर का आधार होता है। के प्रत्येक परिमित समष्टि के लिए, मान लीजिए , में द्वारा उत्पन्न -मॉड्यूल है। युक्त समष्टिों का परिमित समुच्चय उपस्थित है जिसमें है जिस प्रकार सभी के लिए का सघन उपवलय है। इसके अतिरिक्त, में होता है। प्रत्येक के लिए, , का विवृत उपसमुच्चय है और मानचित्र , पर सतत है। परिणामस्वरूप , को में अपनी छवि पर होमियोमॉर्फिक रूप से मैप करता है। प्रत्येक के लिए, उपरोक्त फलन के साथ में मानचित्रण के तत्व हैं। इसलिए , का विवृत और सघन उपसमूह है।[15]


आदर्श समूह का वैकल्पिक लक्षण वर्णन

प्रस्ताव- मान लीजिए समष्टिों का परिमित समूह है। तब
का विवृत उपसमूह है, जहां सभी का संघ है।[16]
परिणाम- के प्रत्येक परिमित समुच्चय के लिए की विशेष स्तिथि में,
का विवृत उपसमूह है। सभी का संघ है।


आइडल समूह पर मानदंड

ट्रेस और मानदंड को एडेल वलय से आइडल समूह में समष्टिांतरित किया जाना चाहिए। यह ज्ञात हुआ है कि ट्रेस को इतनी सरलता से समष्टिांतरित नहीं किया जा सकता है। चूँकि, आदर्श को एडेल वलय से आइडल समूह में समष्टिांतरित करना संभव है। मान लीजिए तब और इसलिए, यह कहा जा सकता है कि अंतःक्षेपी समूह समरूपता में है-

चूँकि व्युत्क्रमणीय है, भी व्युत्क्रमणीय है, क्योंकि है। इसलिए परिणामस्वरूप, मानदंड-फलन का प्रतिबंध सतत फलन का परिचय देता है:


आइडल वर्ग समूह

लेम्मा- विकर्ण मानचित्र द्वारा दिए गए में का प्राकृतिक एम्बेडिंग है।

प्रमाण- चूँकि सभी के लिए का उपसमुच्चय है, एम्बेडिंग उचित रूप से परिभाषित और अंतःक्षेपी है।

परिणाम- , का असतत उपसमूह है।

परिभाषा- आदर्श वर्ग समूह के अनुरूप, में के तत्वों को का प्रमुख आदर्श कहा जाता है। भागफल समूह को का आदर्श वर्ग समूह कहा जाता है। यह समूह आदर्श वर्ग समूह से संबंधित है और वर्ग क्षेत्र सिद्धांत में केंद्रीय वस्तु है।

टिप्पणी- , में संवृत है इसलिए समष्टिीय रूप से सघन टोपोलॉजिकल समूह और हॉसडॉर्फ स्पेस है।

लेम्मा-[17] मान लीजिए परिमित विस्तार है। एम्बेडिंग अंतःक्षेपी मानचित्र प्रेरित करता है-


आदर्श समूह के गुण

K और 1-आइडल के आदर्श समूह पर निरपेक्ष मान

परिभाषा- के लिए को परिभाषित करें। चूंकि आदर्श है, यह गुणनफल परिमित है, और इसलिए उचित रूप से परिभाषित है।

टिप्पणी- अपरिमित गुणनफलों की अनुमति से परिभाषा को तक विस्तारित किया जा सकता है। चूंकि, ये अपरिमित गुणनफल लुप्त हो जाते हैं और इसलिए पर लुप्त हो जाता है। का उपयोग और दोनों फलनों को निरूपित करने के लिए किया जाएगा।

प्रमेय- सतत समूह समरूपता है।

प्रमाण- मान लीजिए

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

परिभाषा- 1-आइडल के समुच्चय को इस प्रकार परिभाषित किया जा सकता है-

, का उपसमूह है। क्योंकि का संवृत्त उपसमुच्चय है। अंततः पर -टोपोलॉजी, पर के उपसमुच्चय-टोपोलॉजी के समान होती है।[18][19]

आर्टिन का गुणनफल सूत्र- सभी के लिए

प्रमाण-[20] संख्या क्षेत्रों के सूत्र का प्रमाण, वैश्विक फलन क्षेत्रों की स्तिथि को इसी प्रकार से सिद्ध किया जा सकता है। मान लीजिए संख्या क्षेत्र है और निम्न समीकरण दर्शाता है-

परिमित समष्टि , जिसके लिए संबंधित प्रमुख आदर्श , , को विभाजित नहीं करता और इसलिए है। यह प्रायः सभी के लिए मान्य है, जहाँ-

पंक्ति 1 से पंक्ति 2 तक जाने में का उपयोग किया गया था, जहां , का समष्टि है और , का समष्टि है, जो के ऊपर स्थित है। पंक्ति 2 से पंक्ति 3 तक जाने पर, मानदंड के गुण का उपयोग किया जाता है। मानदंड में है, इसलिए व्यापकता की हानि के अतिरिक्त यह माना जा सकता है कि तब के निकट अद्वितीय पूर्णांक गुणनखंडन होता है-

जहाँ प्रायः सभी के लिए है। ओस्ट्रोव्स्की के प्रमेय के अनुसार पर सभी निरपेक्ष मान या -एडिक निरपेक्ष मान के समतुल्य हैं। इसलिए:

लेम्मा-[21] केवल पर निर्भर स्थिर उपस्थित है जैसे कि प्रत्येक संतोषजनक के लिए उपस्थित है जिस प्रकार सभी के लिए उपस्थित है।
परिणाम- मान लीजिए , का समष्टि है और सभी के लिए गुण के साथ के लिए दिया गया है। तब उपस्थित है इसीलिए सभी के लिए उपस्थित है।

प्रमाण- मान लीजिए स्थिर है। मान लीजिए , का समान तत्व है। न्यूनतम के साथ के माध्यम से एडेल को परिभाषित करें, जिससे कि सभी के लिए है। तब, प्रायः सभी के लिए है। के साथ को परिभाषित करें तब यह कार्य करता है, क्योंकि प्रायः सभी के लिए है। लेम्मा द्वारा उपस्थित है, जिससे कि सभी के लिए है।

प्रमेय- , में असतत और सहसंबद्ध है।

प्रमाण-[22] चूँकि , में असतत है, यह में भी असतत है। की सघनता सिद्ध करने के लिए मान लीजिए लेम्मा का स्थिरांक है और मान लीजिए , को संतुष्टि करता है। परिभाषित करें-

स्पष्ट रूप से सघन है। यह आशय किया जा सकता है कि प्राकृतिक प्रक्षेपण विशेषण है। मान लीजिए एकपक्षीय है, तब-

और इसलिए

यह इस प्रकार है कि

लेम्मा द्वारा उपस्थित है जैसे सभी के लिए , और इसलिए प्राकृतिक प्रक्षेपण की प्रक्षेप्यता सिद्ध कर रहा है। चूंकि यह भी सतत है इसलिए सघनता इस प्रकार है।

प्रमेय-[23] विहित समरूपता है। इसके अतिरिक्त, , के प्रतिनिधियों का समूह है और , के प्रतिनिधियों का समूह है।

प्रमाण- मानचित्र पर विचार करें

यह मानचित्र उचित रूप से परिभाषित है, क्योंकि सभी के लिए और इसलिए प्रत्यक्ष रूप से सतत समूह समरूपता है। अब मान लीजिए तब उपस्थित है जिस प्रकार अपरिमित समष्टि पर विचार करके यह देखा जा सकता है कि अंतःक्षेपक सिद्ध करता है। प्रक्षेपकता दर्शाने के लिए मान लीजिए इस तत्व का निरपेक्ष मान है और इसलिए

इस प्रकार ,

तब से

यह निष्कर्ष निकाला गया है प्रक्षेपकता है।

प्रमेय-[24] निरपेक्ष मान फलन टोपोलॉजिकल समूहों के निम्नलिखित समरूपता को प्रेरित करता है-

प्रमाण- समरूपता द्वारा दिया जाता है-


आदर्श वर्ग समूह और आइडल वर्ग समूह के मध्य संबंध

प्रमेय- मान लीजिए संख्या क्षेत्र है जिसमें पूर्णांकों का समूह भिन्नात्मक आदर्शों का समूह और आइडल वर्ग समूह है। यहाँ निम्नलिखित समरूपताएँ हैं-
जहाँ परिभाषित किया गया है।

प्रमाण- मान लीजिए , का परिमित समष्टि है और को तुल्यता वर्ग का प्रतिनिधि बनाता है।

तब , में प्रमुख आदर्श है। मानचित्र , के परिमित समष्टिों और के अशून्य प्रमुख आदर्शों के मध्य आक्षेप है। व्युत्क्रम इस प्रकार दिया गया है: प्रमुख आदर्श को मूल्यांकन द्वारा मैप किया गया है-

निम्नलिखित मानचित्र उचित रूप से परिभाषित है-

मानचित्र स्पष्ट रूप से विशेषण समाकारिता है और प्रथम समरूपता मूलभूत प्रमेय द्वारा प्राप्त होती है। अब, दोनों पक्षों को से विभाजित किया गया है। यह संभव है, क्योंकि

कृपया टिप्पणी के दुरुपयोग पर ध्यान दें: समीकरणों की इस श्रृंखला की प्रथम पंक्ति में बाईं ओर, परिभाषित मानचित्र के लिए का उपयोग किया गया है। तत्पश्चात, को में एम्बेड करने के लिए उपयोग किया जाता है। द्वितीय पंक्ति में, मानचित्र की परिभाषा का उपयोग किया गया है।

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

द्वितीय तुल्याकारिता को सिद्ध करने के लिए, यह दर्शाना होगा विचार करें तब क्योंकि सभी के लिए है। दूसरी ओर, के साथ का विचार करें जो को अंकित करने की अनुमति प्रदान करता है। परिणामस्वरूप, प्रतिनिधि उपस्थित है, जैसे कि: फलस्वरूप, और इसलिए प्रमेय की द्वितीय समरूपता सिद्ध हो चुकी है।

अंतिम तुल्याकारिता के लिए ध्यान दें कि विशेषण समूह समाकारिता को प्रेरित करता है-

टिप्पणी- आइडल टोपोलॉजी के साथ पर विचार करें और को असतत टोपोलॉजी से सुसज्जित करें। चूँकि प्रत्येक के लिए विवृत और सतत है। विवृत है, जहाँ तब

K के आदर्श समूह और आदर्श वर्ग समूह का अपघटन

प्रमेय-

प्रमाण- प्रत्येक समष्टि के लिए जो सभी के लिए, , द्वारा उत्पन्न के उपसमूह से संबंधित है। इसलिए प्रत्येक के लिए , द्वारा उत्पन्न के उपसमूह में है। इसलिए समरूपता की छवि , द्वारा उत्पन्न का असतत उपसमूह है। चूंकि यह समूह गैर-तुच्छ है, यह कुछ द्वारा उत्पन्न होता है। का चयन करें जिससे कि तब , और द्वारा उत्पन्न उपसमूह का प्रत्यक्ष गुणनफल है। यह उपसमूह असतत और के लिए समरूपीय है।

के लिए को परिभाषित करें-

मानचित्र , और के संवृत उपसमूह में की समरूपता है।

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

अन्य समीकरण भी इसी प्रकार अनुसरण करते हैं।

आदर्श समूह की विशेषता

प्रमेय-[25] मान लीजिए संख्या क्षेत्र है। समष्टिों का परिमित समूह उपस्थित है, जिस प्रकार

प्रमाण- किसी संख्या क्षेत्र का आदर्श वर्ग समूह परिमित होता है इसलिए को आदर्श मान लें, जो में वर्गों का प्रतिनिधित्व करते हैं। ये आदर्श प्रधान आदर्शों की परिमित संख्या से उत्पन्न होते हैं। मान लीजिए , वाले समष्टिों का परिमित समुच्चय है और के संगत परिमित समष्टि हैं। समरूपता पर विचार करें:

प्रेरक

अपरिमित समष्टिों पर कथन शीघ्र होता है, इसलिए कथन परिमित समष्टिों के लिए सिद्ध हुआ है। समावेश "" स्पष्ट है। मान लीजिए संबंधित आदर्श वर्ग से संबंधित है, प्रमुख आदर्श के लिए जिसका अर्थ है। आदर्श मानचित्र के अंतर्गत आदर्श के लिए मैप करता है। जिसका अर्थ चूँकि में अभाज्य गुणज हैं, यह सभी के लिए का अनुसरण करता है जिसका अर्थ है सभी के लिए , यह इस प्रकार है इसलिए है।


अनुप्रयोग

किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता

पूर्व खंड में तथ्य यह है कि संख्या क्षेत्र की वर्ग संख्या परिमित है, जिसका उपयोग किया गया था। इस कथन को सिद्ध किया जा सकता है:

प्रमेय (किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता)- मान लीजिए संख्या क्षेत्र है। तब

प्रमाण- मानचित्र

विशेषण है और इसलिए सघन समुच्चय की सतत छवि है। इस प्रकार, सघन है। इसके अतिरिक्त, यह असतत और परिमित है।

टिप्पणी- वैश्विक फलन क्षेत्र की स्तिथि में समान परिणाम है। इस स्तिथि में, तथाकथित भाजक समूह परिभाषित किया गया है। यह दर्शाया जा सकता है कि डिग्री के सभी विभाजकों के समुच्चय का भागफल प्रमुख विभाजकों के समुच्चय द्वारा परिमित समूह है।[26]


इकाइयों का समूह और डिरिचलेट की इकाई प्रमेय

मान लीजिए समष्टिों का परिमित समूह है। परिभाषित करें-

तब , का उपसमूह है जिसमें सभी तत्व , के लिए समीकरण को संतुष्ट करते हैं। चूँकि , में असतत है, , का असतत उपसमूह है और उसी तर्क के साथ, में असतत है।

वैकल्पिक परिभाषा है: जहाँ निम्नलिखित समीकरण द्वारा परिभाषित का उपवलय है-

परिणामस्वरूप, में सभी तत्व सम्मिलित हैं जो सभी के लिए को पूर्ण करते हैं।

लेम्मा 1- मान लें निम्नलिखित समुच्चय परिमित है:

प्रमाण- परिभाषित करें-

सघन है और उपरोक्त समुच्चय में असतत उपसमूह के साथ का प्रतिच्छेदन है और इसलिए यह परिमित है।

लेम्मा 2- मान लीजिए , सभी का समुच्चय है जिस प्रकार, सभी के लिए है। तब के सभी मूलों का समूह है। विशेष रूप से यह परिमित और चक्रीय है।

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

इकाई प्रमेय- , का प्रत्यक्ष गुणनफल है और के लिए समूह समरूपीय है जहाँ यदि और , यदि है।[27]
डिरिक्लेट की इकाई प्रमेय- मान लीजिए संख्या क्षेत्र है। तब जहाँ , की एकता के सभी मूलों का परिमित चक्रीय समूह है, के वास्तविक एम्बेडिंग की संख्या है और , के जटिल एम्बेडिंग के संयुग्म जोड़े की संख्या है। जिसका अर्थ है।

टिप्पणी- इकाई प्रमेय डिरिचलेट की प्रमेय का सामान्यीकरण करता है। इसे दर्शाने के लिए, मान लीजिए संख्या क्षेत्र है। यह पूर्व से ही ज्ञात है कि और होता है-


सन्निकटन प्रमेय

अशक्त सन्निकटन प्रमेय-[28] मान लीजिए का असमान मूल्यांकन है। मान लीजिए , के संबंध में की पूर्णता है। में विकर्णीय रूप से एम्बेड करें। तब , में सघन है। अन्य शब्दों में, प्रत्येक के लिए और प्रत्येक के लिए उपस्थित है, जिस प्रकार-
प्रबल सन्निकटन प्रमेय-[29] मान लीजिए , का समष्टि है।
तब , में सघन है।

टिप्पणी- इसके एडेल वलय में वैश्विक क्षेत्र असतत है। प्रबल सन्निकटन प्रमेय हमें बताता है कि, यदि समष्टि (या अधिक) को त्याग दिया जाता है, तो की असततता का गुण के घनत्व में परिवर्तित हो जाता है।


हस्से सिद्धांत

हस्से-मिन्कोव्स्की प्रमेय- पर द्विघात रूप शून्य है, यदि प्रत्येक पूर्णता में द्विघात रूप शून्य है।

टिप्पणी- द्विघात रूपों के लिए यह हस्से सिद्धांत है। 2 से अधिक डिग्री के बहुपदों के लिए हस्से सिद्धांत सामान्य रूप से मान्य नहीं होता है। हस्से सिद्धांत (समष्टिीय-वैश्विक सिद्धांत के रूप में भी जाना जाता है) का विचार संख्या क्षेत्र की समस्या को हल करने के लिए की पूर्णता है और तत्पश्चात में समाधान पर निष्कर्ष ज्ञात करना है।


एडेल वलय पर वर्ण

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

प्रमेय- एडेल वलय स्व द्वैत है:

प्रमाण- समष्टिीय निर्देशांक में अभाव, यह दर्शाने के लिए पर्याप्त है कि प्रत्येक स्व-द्वैत है। यह के निश्चित वर्ण का उपयोग करके किया जा सकता है। को स्व-द्वैत दर्शाकर इस विचार का चित्रण किया गया है।

तब निम्न मानचित्र समरूपता है जो टोपोलॉजी का सम्मान करता है:

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


टेट की थीसिस

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

जहाँ , पर अद्वितीय माप है, जैसे कि में आयतन है जिसे शून्य से परिमित एडेल वलय तक विस्तारित किया गया है। परिणामस्वरूप, रीमैन ज़ेटा फलन को एडेल वलय के ऊपर उपसमुच्चय के रूप में अंकित किया जा सकता है।[32]


ऑटोमोर्फिक रूप

ऑटोमोर्फिक रूपों का सिद्धांत आदर्श समूह को समान उच्च आयामी समूहों के साथ प्रतिस्थापित कर टेट की थीसिस का सामान्यीकरण है।

इस प्रमाण के आधार पर आदर्श समूह और 1-आदर्श को प्रतिस्थापित करने के लिए प्राकृतिक सामान्यीकरण होगा:

और अंत में

जहाँ , का केन्द्र है। तब यह के तत्व के रूप में ऑटोमोर्फिक रूप को परिभाषित करता है। अन्य शब्दों में, ऑटोमोर्फिक रूप पर फलन है जो कुछ बीजगणितीय और विश्लेषणात्मक स्थितियों को संतुष्ट करता है। ऑटोमॉर्फिक रूपों का अध्ययन करने के लिए, समूह के निरूपण का ज्ञान होना महत्वपूर्ण है। ऑटोमॉर्फिक एल-फलन का अध्ययन करना भी संभव है, जिसे पर समाकलन के रूप में वर्णित किया जा सकता है।[33]

को संख्या क्षेत्र के साथ और को एकपक्षीय रिडक्टिव बीजगणितीय समूह के साथ प्रतिस्थापित कर आगे भी सामान्यीकृत किया जा सकता है।

अग्र अनुप्रयोग

आर्टिन पारस्परिकता नियम का सामान्यीकरण के प्रतिनिधित्व और (लैंगलैंड्स कार्यक्रम) के गाल्वा के प्रतिनिधित्व के संबंध की ओर जाता है।

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

परिमित क्षेत्र पर वक्र के फलन क्षेत्र के एडेल वलय की स्व-द्वैत सरलता से रीमैन-रोच प्रमेय और वक्र के लिए द्वंद्व सिद्धांत का अर्थ है।

संदर्भ

  1. Groechenig, Michael (August 2017). "एडेलिक डिसेंट थ्योरी". Compositio Mathematica. 153 (8): 1706–1746. arXiv:1511.06271. doi:10.1112/S0010437X17007217. ISSN 0010-437X. S2CID 54016389.
  2. https://ncatlab.org/nlab/show/ring+of+adeles
  3. Geometric Class Field Theory, notes by Tony Feng of a lecture of Bhargav Bhatt (PDF).
  4. Weil uniformization theorem, nlab article.
  5. 5.0 5.1 Cassels & Fröhlich 1967.
  6. Tate, John (1968), "Residues of differentials on curves" (PDF), Annales Scientifiques de l'École Normale Supérieure, 1: 149–159, doi:10.24033/asens.1162.
  7. This proof can be found in Cassels & Fröhlich 1967, p. 64.
  8. The definitions are based on Weil 1967, p. 60.
  9. See Weil 1967, p. 64 or Cassels & Fröhlich 1967, p. 74.
  10. For proof see Deitmar 2010, p. 124, theorem 5.2.1.
  11. See Cassels & Fröhlich 1967, p. 64, Theorem, or Weil 1967, p. 64, Theorem 2.
  12. The next statement can be found in Neukirch 2007, p. 383.
  13. See Deitmar 2010, p. 126, Theorem 5.2.2 for the rational case.
  14. This section is based on Weil 1967, p. 71.
  15. A proof of this statement can be found in Weil 1967, p. 71.
  16. A proof of this statement can be found in Weil 1967, p. 72.
  17. For a proof see Neukirch 2007, p. 388.
  18. This statement can be found in Cassels & Fröhlich 1967, p. 69.
  19. is also used for the set of the -idele but is used in this example.
  20. There are many proofs for this result. The one shown below is based on Neukirch 2007, p. 195.
  21. For a proof see Cassels & Fröhlich 1967, p. 66.
  22. This proof can be found in Weil 1967, p. 76 or in Cassels & Fröhlich 1967, p. 70.
  23. Part of Theorem 5.3.3 in Deitmar 2010.
  24. Part of Theorem 5.3.3 in Deitmar 2010.
  25. The general proof of this theorem for any global field is given in Weil 1967, p. 77.
  26. For more information, see Cassels & Fröhlich 1967, p. 71.
  27. A proof can be found in Weil 1967, p. 78 or in Cassels & Fröhlich 1967, p. 72.
  28. A proof can be found in Cassels & Fröhlich 1967, p. 48.
  29. A proof can be found in Cassels & Fröhlich 1967, p. 67
  30. A proof can be found in Weil 1967, p. 66.
  31. For more see Deitmar 2010, p. 129.
  32. A proof can be found Deitmar 2010, p. 128, Theorem 5.3.4. See also p. 139 for more information on Tate's thesis.
  33. For further information see Chapters 7 and 8 in Deitmar 2010.


स्रोत

  • Cassels, John; Fröhlich, Albrecht (1967). बीजगणितीय संख्या सिद्धांत: लंदन मैथमैटिकल सोसाइटी, (एक नाटो उन्नत अध्ययन संस्थान) द्वारा आयोजित एक निर्देशात्मक सम्मेलन की कार्यवाही. Vol. XVIII. London: Academic Press. ISBN 978-0-12-163251-9. 366 पृष्ठ।
  • Neukirch, Jürgen (2007). बीजगणितीय संख्या सिद्धांत, अपरिवर्तित। पहले संस्करण की आवृत्ति। ईडीएन (in Deutsch). Vol. XIII. Berlin: Springer. ISBN 9783540375470. 595 पृष्ठ।
  • Weil, André (1967). मूल संख्या सिद्धांत. Vol. XVIII. Berlin; Heidelberg; New York: Springer. ISBN 978-3-662-00048-9. 294 पृष्ठ।
  • Deitmar, Anton (2010). ऑटोमोर्फिक रूप (in Deutsch). Vol. VIII. Berlin; Heidelberg (u.a.): Springer. ISBN 978-3-642-12389-4. 250 पृष्ठ।
  • Lang, Serge (1994). बीजगणितीय संख्या सिद्धांत, गणित में स्नातक पाठ 110 (2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-94225-4.

बाहरी संबंध