एडेल रिंग: Difference between revisions
No edit summary |
No edit summary |
||
(61 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Central object of class field theory}} | {{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>) [[बीजगणितीय संख्या सिद्धांत]] की शाखा [[वर्ग क्षेत्र सिद्धांत]] का केंद्रीय उद्देश्य है। यह वैश्विक क्षेत्र के सभी पूर्ण मीट्रिक समष्टि का [[प्रतिबंधित उत्पाद|प्रतिबंधित गुणनफल]] है और द्वैत [[टोपोलॉजिकल रिंग|टोपोलॉजिकल वलय]] का उदाहरण है। | ||
गणित में, | |||
एडेल विशेष प्रकार के आइडल से प्राप्त होता है। इडेल फ्रांसीसी आइडेल से प्राप्त हुआ है और इसे फ्रांसीसी गणितज्ञ [[क्लाउड चेवेली]] द्वारा गढ़ा गया था। शब्द 'आदर्श तत्व' (संक्षिप्त: आईडी.ईएल) के लिए है। एडेल (फ्रेंच: एडेल) का अर्थ एडिटिव आइडल है (जो कि एडिटिव [[आईडीई]] तत्व है)। | एडेल विशेष प्रकार के आइडल से प्राप्त होता है। इडेल फ्रांसीसी आइडेल से प्राप्त हुआ है और इसे फ्रांसीसी गणितज्ञ [[क्लाउड चेवेली]] द्वारा गढ़ा गया था। शब्द 'आदर्श तत्व' (संक्षिप्त: आईडी.ईएल) के लिए है। एडेल (फ्रेंच: एडेल) का अर्थ एडिटिव आइडल है (जो कि एडिटिव [[आईडीई]] तत्व है)। | ||
एडेल्स की | एडेल्स की वलय आर्टिन [[पारस्परिकता कानून|पारस्परिकता नियम]] का वर्णन करने की अनुमति प्रदान करती है, जो परिमित क्षेत्रों पर [[द्विघात पारस्परिकता]] और अन्य पारस्परिक नियमों का सामान्यीकरण है। इसके अतिरिक्त, यह वेइल द्वारा शास्त्रीय प्रमेय है जिसे परिमित क्षेत्र के [[बीजगणितीय वक्र]] पर <math>G</math>-बंडलों के रिडक्टिव समूह <math>G</math> के लिए एडेल्स के संदर्भ में वर्णित किया जा सकता है। एडेल्स भी [[एडेलिक बीजगणितीय समूह|एडेलिक बीजगणितीय समूहों]] और [[ एडिलिक वक्र | एडिलिक वक्रों]] से संबंधित हैं। | ||
किसी [[संख्या क्षेत्र]] के एडेल | किसी [[संख्या क्षेत्र]] के एडेल वलय पर [[संख्याओं की ज्यामिति]] के अध्ययन को एडेलिक ज्यामिति कहते हैं। | ||
== परिभाषा == | == परिभाषा == | ||
मान लीजिए <math>K</math> वैश्विक क्षेत्र (<math>\mathbf{Q}</math> का परिमित विस्तार या परिमित क्षेत्र पर वक्र X/F<sub>q</sub> का | मान लीजिए <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>\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{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>\begin{align} | |||
\mathbf{A}_\mathbf{Q} &= \mathbf{Q}\otimes_\mathbf{Z}\mathbf{A}_\mathbf{Z} \\ | \mathbf{A}_\mathbf{Q} &= \mathbf{Q}\otimes_\mathbf{Z}\mathbf{A}_\mathbf{Z} \\ | ||
&= \mathbf{Q}\otimes_\mathbf{Z} \left( \mathbf{R}\times \prod_{p} \mathbf{Z}_p \right). | &= \mathbf{Q}\otimes_\mathbf{Z} \left( \mathbf{R}\times \prod_{p} \mathbf{Z}_p \right). | ||
\end{align}</math> | \end{align}</math> | ||
\left(\frac{br}{c}, \left(\frac{ba_p}{c}\right) \right). </math></blockquote> | |||
इस वलय में स्पष्ट तत्वों को देखने के पश्चात प्रतिबंधित गुणनफल संरचना पारदर्शी हो जाती है। अप्रतिबंधित गुणनफल <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> | |||
=== नाम की उत्पत्ति === | === नाम की उत्पत्ति === | ||
समष्टिीय वर्ग क्षेत्र सिद्धांत में, क्षेत्र की इकाइयों का समूह केंद्रीय भूमिका निभाता है। वैश्विक वर्ग क्षेत्र सिद्धांत में, आइडल वर्ग समूह यह भूमिका निभाता है। आइडल शब्द ({{lang-fr|idèle}}) फ्रांसीसी गणितज्ञ क्लॉड चेवेली (1909-1984) का आविष्कार है और आदर्श तत्व (संक्षिप्त: आईडी.ईएल.) का उपयोग है। शब्द एडेल ({{lang|fr|adèle}}) एडिटिव आइडल के लिए उपयोग किया जाता है। | |||
एडेल | एडेल वलय का विचार सभी पूर्णताओं <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=F<sub>q</sub>(P<sup>1</sup>)=F<sub>q</sub>(t)''' है। इसका मूल्यांकन X=P<sup>1</sup> के बिंदु x के अनुरूप है, अर्थात Spec'''F<sub>q</sub>''' पर मानचित्र है- | |||
:<math>x\ :\ \text{Spec}\mathbf{F}_{q^n}\ \longrightarrow \ \mathbf{P}^1.</math> | :<math>x\ :\ \text{Spec}\mathbf{F}_{q^n}\ \longrightarrow \ \mathbf{P}^1.</math> | ||
उदाहरण के लिए, Spec'F | उदाहरण के लिए, Spec'''F<sub>q</sub>''' → '''P<sup>1''' के रूप में q+1 बिंदु हैं। इस स्थिति में O<sub>ν</sub>= OX,x पर [[ प्रक्षेपण रेखा |संरचना शीफ]] का पूरा डंठल है (अर्थात x के औपचारिक पड़ोस पर कार्य करता है) और K<sub>ν</sub>=KXx इसका भिन्न क्षेत्र है। | ||
:<math>\mathbf{A}_{\mathbf{F}_q(\mathbf{P}^1)}\ =\ \prod_{x\in X} (\mathcal{K}_{X,x},\widehat{\mathcal{O}}_{X,x}).</math> | :<math>\mathbf{A}_{\mathbf{F}_q(\mathbf{P}^1)}\ =\ \prod_{x\in X} (\mathcal{K}_{X,x},\widehat{\mathcal{O}}_{X,x}).</math> | ||
किसी भी | परिमित क्षेत्र पर किसी भी निष्कोण वक्र '''X/F<sub>q</sub>''' के लिए समान है, प्रतिबंधित गुणनफल '''x∈X''' के सभी बिंदुओं पर है। | ||
== संबंधित धारणाएं == | == संबंधित धारणाएं == | ||
एडेल | एडेल वलय में इकाइयों के समूह को आइडल समूह कहा जाता है | ||
:<math>I_K\ =\ \mathbf{A}_K^\times.</math> | :<math>I_K\ =\ \mathbf{A}_K^\times.</math> | ||
उपसमूह K | उपसमूह '''K<sup>×</sup>⊆I<sub>K</sub>''' द्वारा आइडल्स के भागफल को आइडल वर्ग समूह कहा जाता है | ||
:<math>C_K\ =\ I_K/K^\times.</math> | :<math>C_K\ =\ I_K/K^\times.</math> | ||
इंटीग्रल एडेल | इंटीग्रल एडेल उपवलय हैं | ||
:<math>\mathbf{O}_K\ =\ \prod O_\nu \ \subseteq \ \mathbf{A}_K.</math> | :<math>\mathbf{O}_K\ =\ \prod O_\nu \ \subseteq \ \mathbf{A}_K.</math> | ||
Line 61: | Line 68: | ||
=== आर्टिन पारस्परिकता बताते हुए === | === आर्टिन पारस्परिकता बताते हुए === | ||
आर्टिन पारस्परिकता | आर्टिन पारस्परिकता नियम कहता है कि वैश्विक क्षेत्र <math>K</math> के लिए, | ||
:<math>\widehat{C_K} = \widehat{\mathbf{A}_K^\times/K^\times} \ \simeq \ \text{Gal}(K^\text{ab}/K)</math> | :<math>\widehat{C_K} = \widehat{\mathbf{A}_K^\times/K^\times} \ \simeq \ \text{Gal}(K^\text{ab}/K)</math> | ||
जहां | जहां K<sup>ab</sup>, K का अधिकतम एबेलियन बीजगणितीय विस्तार है और <math>\widehat{(\dots)}</math> का अर्थ समूह की अनंत पूर्णता है। | ||
'''वक्र के पिकार्ड समूह का एडिलिक सूत्रीकरण''' | |||
यदि '''X/F<sub>q</sub>''' निष्कोण उचित वक्र है तो इसका [[पिकार्ड समूह]] है<ref>{{Citation | title=Geometric Class Field Theory, notes by Tony Feng of a lecture of Bhargav Bhatt | url=http://www.mit.edu/~fengt/2GeometricCFT.pdf}}.</ref> | |||
:<math>\text{Pic}(X) \ = \ K^\times\backslash \mathbf{A}^\times_X/\mathbf{O}_X^\times</math> | :<math>\text{Pic}(X) \ = \ K^\times\backslash \mathbf{A}^\times_X/\mathbf{O}_X^\times</math> | ||
और इसका | और इसका विभाजक समूह '''Div(X)=A<sub>K</sub><sup>×</sup>/O<sub>K</sub><sup>×</sup>''' है। इसी प्रकार, यदि G अर्धसरल बीजगणितीय समूह है (उदाहरण के लिए SL<sub>n</sub>, यह GL<sub>n</sub> के लिए भी मान्य है) तो वील एकरूपता का तात्पर्य है<ref>{{Citation | title=Weil uniformization theorem, nlab article | url=https://ncatlab.org/nlab/show/Weil+uniformization+theorem}}.</ref> | ||
:<math>\text{Bun}_G(X) \ = \ G(K)\backslash G(\mathbf{A}_X)/G(\mathbf{O}_X).</math> | :<math>\text{Bun}_G(X) \ = \ G(K)\backslash G(\mathbf{A}_X)/G(\mathbf{O}_X).</math> | ||
इसे G= | इसे G=G<sub>m</sub> पर प्रयुक्त करने से पिकार्ड समूह पर परिणाम प्राप्त होता है। | ||
=== टेट की थीसिस === | === टेट की थीसिस === | ||
A | 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> | ||
:<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 पर रेखा बंडल है। | |||
== अंकन और | == अंकन और मूलभूत परिभाषाएँ == | ||
=== वैश्विक क्षेत्र === | === वैश्विक क्षेत्र === | ||
इस | इस पूर्ण लेख में, <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>C>1,</math> को निश्चित करें, मूल्यांकन <math>v</math> को निरपेक्ष मान <math>|\cdot|_v,</math> दिया गया है, जिसे इस प्रकार परिभाषित किया गया है- | |||
:<math>\forall x \in K: \quad |x|_v := | :<math>\forall x \in K: \quad |x|_v := | ||
\begin{cases} | \begin{cases} | ||
Line 95: | Line 101: | ||
0 & x=0 | 0 & x=0 | ||
\end{cases}</math> | \end{cases}</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>\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>\begin{align} | :<math>\begin{align} | ||
L_v&:=\prod_{w | v} L_w,\\ | L_v&:=\prod_{w | v} L_w,\\ | ||
\widetilde{O_v} &:=\prod_{w | v}O_w. | \widetilde{O_v} &:=\prod_{w | v}O_w. | ||
\end{align}</math> | \end{align}</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>\mathbb{A}_{K,\text{fin}}:= {\prod_{v<\infty}}^' K_v = \left \{ \left. (x_v)_v \in \prod_{v < \infty} K_v \right | x_v \in O_v \text{ for almost all } v \right \}.</math> | :<math>\mathbb{A}_{K,\text{fin}}:= {\prod_{v<\infty}}^' K_v = \left \{ \left. (x_v)_v \in \prod_{v < \infty} K_v \right | x_v \in O_v \text{ for almost all } v \right \}.</math> | ||
यह प्रतिबंधित | यह प्रतिबंधित गुणनफल टोपोलॉजी से सुसज्जित है, जो प्रतिबंधित विवृत आयतों द्वारा उत्पन्न टोपोलॉजी है, जिसके निम्नलिखित रूप हैं: | ||
:<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>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>\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 \in K,</math> तब प्रायः सभी <math>v</math> के लिए <math>a \in O_v^{\times}</math> है, इससे ज्ञात होता है कि मानचित्र उचित रूप से परिभाषित है। यह अंतःक्षेपक भी है क्योंकि <math>K_v</math> में <math>K</math> का एम्बेडिंग सभी <math>v</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>\mathbb{A}_{K,S} := {\prod_{v \in S}}^' K_v.</math> | : <math>\mathbb{A}_{K,S} := {\prod_{v \in S}}^' K_v.</math> | ||
इसके | इसके अतिरिक्त, यदि | ||
:<math>\mathbb{A}_K^S := {\prod_{v \notin S}}^' K_v</math> | :<math>\mathbb{A}_K^S := {\prod_{v \notin S}}^' K_v</math> | ||
परिणाम है | तो परिणाम है- <math>\mathbb{A}_K=\mathbb{A}_{K,S} \times \mathbb{A}_K^S.</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 156: | 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>\begin{align} | :<math>\begin{align} | ||
Line 165: | Line 169: | ||
: <math>\mathbb{A}_{\Q} = {\prod_{p \leq \infty}}^' \Q_p,\qquad \Q_\infty:=\R.</math> | : <math>\mathbb{A}_{\Q} = {\prod_{p \leq \infty}}^' \Q_p,\qquad \Q_\infty:=\R.</math> | ||
<math>\mathbb{A}_\Q</math> में अनुक्रम का उपयोग करके प्रतिबंधित और अप्रतिबंधित गुणनफल टोपोलॉजी के मध्य अंतर को चित्रित किया जा सकता है- | |||
: | : '''लेम्मा-''' <math>\mathbb{A}_\Q</math> में निम्नलिखित अनुक्रम पर विचार करें, | ||
::<math>\begin{align} | ::<math>\begin{align} | ||
x_1&=\left(\frac 1 2 ,1,1,\ldots\right)\\ | x_1&=\left(\frac 1 2 ,1,1,\ldots\right)\\ | ||
Line 175: | Line 179: | ||
& \vdots | & \vdots | ||
\end{align}</math> | \end{align}</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>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> | ||
: | : '''लेम्मा-''' <math>\textstyle \widehat{\Z} \cong \prod_p \Z_p.</math> | ||
'''प्रमाण-''' यह [[चीनी शेष प्रमेय|चीनी शेषफल प्रमेय]] द्वारा ज्ञात किया जाता है। | |||
: | : '''लेम्मा-''' <math>\mathbb{A}_{\Q, \text{fin}}= \widehat{\Z}\otimes_{\Z} \Q.</math> | ||
'''प्रमाण-''' टेंसर गुणनफल के सार्वभौमिक गुण का प्रयोग करें। <math>\Z</math>-द्विरैखिक फलन को परिभाषित करें- | |||
:<math>\begin{cases} \Psi: \widehat{\Z}\times \Q \to \mathbb{A}_{\Q,\text{fin}} \\ \left ((a_p)_p,q \right ) \mapsto (a_pq)_p \end{cases}</math> | :<math>\begin{cases} \Psi: \widehat{\Z}\times \Q \to \mathbb{A}_{\Q,\text{fin}} \\ \left ((a_p)_p,q \right ) \mapsto (a_pq)_p \end{cases}</math> | ||
यह | यह उचित रूप से परिभाषित है क्योंकि किसी दिए गए <math>q = \tfrac{m}{n} \in \Q</math> के लिए <math>m,n</math> सह-अभाज्य के साथ केवल <math>n.</math> को विभाजित करने वाले कई अभाज्य हैं। मान लीजिए <math>M</math>, <math>\Z</math>-द्विरैखिक मानचित्र <math>\Phi: \widehat{\Z} \times \Q \to M.</math> के साथ <math>\Z</math>-मॉड्यूल है। यह स्थिति होनी चाहिए कि <math>\Phi</math> गुणक के माध्यम से <math>\Psi</math> विशिष्ट रूप से उपस्थित है अर्थात अद्वितीय <math>\Z</math>-रैखिक मानचित्र <math>\tilde{\Phi}: \mathbb{A}_{\Q,\text{fin}} \to M</math> उपस्थित है जैसे कि <math>\Phi = \tilde{\Phi} \circ \Psi.</math> <math>\tilde{\Phi}</math> को निम्नानुसार परिभाषित किया जा सकता है: दिए गए <math>(u_p)_p</math> के लिए <math>u \in \N</math> और <math>(v_p)_p \in \widehat{\Z}</math> उपस्थित हैं जैसे कि सभी <math>p.</math> के लिए <math>u_p=\tfrac{1}{u}\cdot v_p</math> है। <math>\tilde{\Phi}((u_p)_p) := \Phi((v_p)_p, \tfrac{1}{u}).</math> को परिभाषित करें। <math>\tilde{\Phi}</math> उचित रूप से परिभाषित है, <math>\Z</math>-रैखिक <math>\Phi = \tilde{\Phi} \circ \Psi</math> को संतुष्ट करता है और इन गुणों के साथ यह अद्वितीय है। | ||
: | : '''परिणाम-''' <math>\mathbb{A}_\Z := \widehat{\Z} \times \R.</math> को परिभाषित करें, जिसका परिणाम बीजगणितीय तुल्याकारिता <math>\mathbb{A}_{\Q} \cong \mathbb{A}_{\Z}\otimes_{\Z} \Q.</math> होता है। | ||
'''प्रमाण-''' <math>\mathbb{A}_\Z \otimes_\Z \Q = \left (\widehat{\Z}\times \R \right )\otimes_\Z \Q \cong \left (\widehat{\Z} \otimes_\Z \Q \right )\times (\R \otimes_\Z \Q) \cong \left (\widehat{\Z}\otimes_{\Z} \Q \right ) \times \R = \mathbb{A}_{\Q,\text{fin}} \times \R = \mathbb{A}_{\Q}.</math> | |||
: | : '''लेम्मा-''' संख्या क्षेत्र के लिए <math>K, \mathbb{A}_K=\mathbb{A}_{\Q}\otimes_{\Q} K.</math> | ||
'''टिप्पणी-''' <math>\mathbb{A}_{\Q}\otimes_{\Q} K \cong \mathbb{A}_{\Q} \oplus \dots \oplus \mathbb{A}_{\Q},</math> का उपयोग करते हुए, जहां <math>[K:\Q]</math> योग हैं, दाईं ओर गुणनफल टोपोलॉजी प्राप्त करता है और इस टोपोलॉजी को <math>\mathbb{A}_{\Q}\otimes_{\Q} K.</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>\mathbb{A}_K \subset \mathbb{A}_L</math> द्वारा दिया गया है | इस समरूपता की सहायता से, समावेशन <math>\mathbb{A}_K \subset \mathbb{A}_L</math> द्वारा दिया गया है | ||
Line 210: | Line 214: | ||
\alpha \mapsto \alpha \otimes_K 1 | \alpha \mapsto \alpha \otimes_K 1 | ||
\end{cases}</math> | \end{cases}</math> | ||
इसके | इसके अतिरिक्त, <math>\mathbb{A}_K</math> में मुख्य एडेल्स को मानचित्र के माध्यम से <math>\mathbb{A}_L</math> में मुख्य एडेल्स के उपसमूह के साथ पहचाना जा सकता है- | ||
:<math>\begin{cases} | :<math>\begin{cases} | ||
Line 216: | Line 220: | ||
\alpha \mapsto 1 \otimes_K \alpha | \alpha \mapsto 1 \otimes_K \alpha | ||
\end{cases}</math> | \end{cases}</math> | ||
'''प्रमाण-'''<ref>This proof can be found in {{harvnb|Cassels|Fröhlich|1967|p=64.}}</ref> मान लीजिए <math>\omega_1,\ldots, \omega_n</math>, <math>K</math> पर <math>L</math> का आधार है। तब <math>v,</math> के लिए, | |||
:<math>\widetilde{O_v} \cong O_v\omega_1 \oplus \cdots \oplus O_v \omega_n.</math> | :<math>\widetilde{O_v} \cong O_v\omega_1 \oplus \cdots \oplus O_v \omega_n.</math> | ||
इसके | इसके अतिरिक्त, निम्नलिखित समरूपताएं हैं: | ||
: <math>K_v\omega_1 \oplus \cdots \oplus K_v \omega_n \cong K_v \otimes_K L \cong L_v=\prod\nolimits_{w | v} L_w</math> | : <math>K_v\omega_1 \oplus \cdots \oplus K_v \omega_n \cong K_v \otimes_K L \cong L_v=\prod\nolimits_{w | v} L_w</math> | ||
Line 224: | Line 228: | ||
:<math>\begin{cases} K_v \otimes_K L \to L_v \\\alpha_v \otimes a \mapsto (\alpha_v \cdot (\tau_w(a)))_w \end{cases}</math> | :<math>\begin{cases} K_v \otimes_K L \to L_v \\\alpha_v \otimes a \mapsto (\alpha_v \cdot (\tau_w(a)))_w \end{cases}</math> | ||
जिसमें <math>\tau_w : L \to L_w</math> विहित एम्बेडिंग | जिसमें <math>\tau_w : L \to L_w</math> विहित एम्बेडिंग और <math>w | v.</math> है, प्रतिबंधित गुणनफल <math>\widetilde{O_v}:</math> के संबंध में दोनों पक्षों को लिया जाता है- | ||
: <math>\begin{align} | : <math>\begin{align} | ||
\mathbb{A}_K \otimes_K L &= \left ( {\prod_v}^' K_v \right ) \otimes_K L\\ | \mathbb{A}_K \otimes_K L &= \left ( {\prod_v}^' K_v \right ) \otimes_K L\\ | ||
Line 232: | Line 236: | ||
&=\mathbb{A}_L | &=\mathbb{A}_L | ||
\end{align}</math> | \end{align}</math> | ||
: | : '''परिणाम-''' योगात्मक समूहों के रूप में <math>\mathbb{A}_L \cong \mathbb{A}_K \oplus \cdots \oplus \mathbb{A}_K,</math> जहां दाईं ओर <math>[L:K]</math> योग होता है। | ||
<math>\mathbb{A}_L</math> में प्रधान एडेल्स के समुच्चय को <math>K \oplus \cdots \oplus K,</math> के साथ प्रमाणित किया जाता है, जहां बाईं ओर <math>[L:K]</math> सारांश होता है और <math>K</math> को <math>\mathbb{A}_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>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 = \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>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 255: | Line 260: | ||
:<math>\mathbb{A}_K(P) \cong K_v \times \mathbb{A}_K'(P,v).</math> | :<math>\mathbb{A}_K(P) \cong K_v \times \mathbb{A}_K'(P,v).</math> | ||
इसके | इसके अतिरिक्त परिभाषित करें | ||
:<math>\mathbb{A}_K'(v):=\bigcup_{P \supset P_{\infty} \cup \{v\}} \mathbb{A}_K'(P,v),</math> | :<math>\mathbb{A}_K'(v):=\bigcup_{P \supset P_{\infty} \cup \{v\}} \mathbb{A}_K'(P,v),</math> | ||
जहाँ <math>P</math>, <math>P_{\infty} \cup \{v\}.</math> युक्त सभी परिमित समुच्चयों के माध्यम से चलता है। तब मानचित्र <math>(a_w)_w \mapsto (a_v, (a_w)_{w \neq v}).</math> के माध्यम से | |||
:<math>\mathbb{A}_K \cong K_v \times \mathbb{A}_K'(v),</math> | :<math>\mathbb{A}_K \cong K_v \times \mathbb{A}_K'(v),</math> | ||
उपर्युक्त पूर्ण प्रक्रिया <math>\{v\}.</math> के अतिरिक्त परिमित उपसमुच्चय <math>\widetilde{P}</math> के साथ है। | |||
<math>\mathbb{A}_K'(v),</math> के निर्माण से वास्तविक एम्बेडिंग है: <math>K_v \hookrightarrow \mathbb{A}_K.</math> इसके अतिरिक्त, वास्तविक प्रक्षेपण <math>\mathbb{A}_K \twoheadrightarrow K_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 273: | 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>\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>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>\begin{align} | :<math>\begin{align} | ||
Line 286: | 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>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}(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>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>\operatorname{con}_{M/K}(\alpha)=\operatorname{con}_{M/L}(\operatorname{con}_{L/K}(\alpha)) \qquad \forall \alpha \in \mathbb{A}_K.</math> | :<math>\operatorname{con}_{M/K}(\alpha)=\operatorname{con}_{M/L}(\operatorname{con}_{L/K}(\alpha)) \qquad \forall \alpha \in \mathbb{A}_K.</math> | ||
इसके | इसके अतिरिक्त, मुख्य एडेल्स <math>\operatorname{con}</math> तक ही परिमित है, वास्तविक अन्तःक्षेपण <math>K \to L.</math> है। | ||
मान लीजिए <math>\{\omega_1,\ldots,\omega_n\}</math> क्षेत्र विस्तार <math>L/K</math> का आधार है। तब प्रत्येक <math>\alpha \in \mathbb{A}_L</math> को <math>\textstyle \sum_{j=1}^n \alpha_j \omega_j,</math> के रूप में लिखा जा सकता है जहाँ <math>\alpha_j \in \mathbb{A}_K</math> अद्वितीय हैं। मानचित्र <math>\alpha \mapsto \alpha_j</math> सतत है। समीकरणों के माध्यम से <math>\alpha</math> के आधार पर <math>\alpha_{ij}</math> परिभाषित करें- | |||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 315: | Line 324: | ||
\alpha \omega_n &=\sum_{j=1}^n \alpha_{nj} \omega_j | \alpha \omega_n &=\sum_{j=1}^n \alpha_{nj} \omega_j | ||
\end{align}</math> | \end{align}</math> | ||
अब, | अब, <math>\alpha</math> के ट्रेस और मानदंड को परिभाषित करें- | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 321: | Line 330: | ||
N_{L/K}(\alpha) &:= N ((\alpha_{ij})_{i,j})=\det((\alpha_{ij})_{i,j}) | N_{L/K}(\alpha) &:= N ((\alpha_{ij})_{i,j})=\det((\alpha_{ij})_{i,j}) | ||
\end{align}</math> | \end{align}</math> | ||
ये | ये रैखिक मानचित्र के ट्रेस और निर्धारक हैं | ||
:<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 332: | Line 341: | ||
N_{L/K}(\operatorname{con}(\alpha))&=\alpha^n && \forall \alpha \in \mathbb{A}_K | N_{L/K}(\operatorname{con}(\alpha))&=\alpha^n && \forall \alpha \in \mathbb{A}_K | ||
\end{align}</math> | \end{align}</math> | ||
इसके | इसके अतिरिक्त, <math>\alpha \in L, </math> के लिए <math>\operatorname{Tr}_{L/K}(\alpha)</math> और <math>N_{L/K}(\alpha)</math> क्षेत्र विस्तार <math>L/K</math> के ट्रेस और मानदंड के समान हैं। <math>M/L/K,</math> क्षेत्रों के टावर के लिए, परिणाम है: | ||
: <math>\begin{align} | : <math>\begin{align} | ||
Line 338: | Line 347: | ||
N_{L/K} (N_{M/L}(\alpha))&=N_{M/K}(\alpha) && \forall \alpha \in \mathbb{A}_M | N_{L/K} (N_{M/L}(\alpha))&=N_{M/K}(\alpha) && \forall \alpha \in \mathbb{A}_M | ||
\end{align}</math> | \end{align}</math> | ||
इसके | इसके अतिरिक्त, यह सिद्ध किया जा सकता है कि:<ref>See {{harvnb|Weil|1967|p=64}} or {{harvnb|Cassels|Fröhlich|1967|p=74}}.</ref> | ||
:<math>\begin{align} | :<math>\begin{align} | ||
\operatorname{Tr}_{L/K}(\alpha) &= \left (\sum_{w | v}\operatorname{Tr}_{L_w/K_v}(\alpha_w) \right )_v && \forall \alpha \in \mathbb{A}_L\\ | \operatorname{Tr}_{L/K}(\alpha) &= \left (\sum_{w | v}\operatorname{Tr}_{L_w/K_v}(\alpha_w) \right )_v && \forall \alpha \in \mathbb{A}_L\\ | ||
Line 345: | Line 354: | ||
=== एडेल | === एडेल वलय के गुण === | ||
: | : '''प्रमेय-'''<ref>For proof see {{harvnb|Deitmar|2010|p=124}}, theorem 5.2.1.</ref> समष्टिों के प्रत्येक समुच्चय के लिए <math>S, \mathbb{A}_{K,S}</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> में संवृत है। | ||
'''प्रमाण-''' स्तिथि <math>K=\Q.</math> को सिद्ध करो। <math>\Q\subset \mathbb{A}_\Q</math> असतत है, यह <math>0</math> के अस्तित्व को दर्शाने के लिए पर्याप्त है, जिसमें कोई अन्य परिमेय संख्या नहीं है। सामान्य स्तिथि अनुवाद के माध्यम से होती है। | |||
:<math>U:= \left \{ (\alpha_p)_p \left | \forall p<\infty: |\alpha_p |_p \leq 1 \quad \text{and} \quad |\alpha_\infty|_\infty <1 \right. \right \}=\widehat{\Z} \times (-1,1).</math> | :<math>U:= \left \{ (\alpha_p)_p \left | \forall p<\infty: |\alpha_p |_p \leq 1 \quad \text{and} \quad |\alpha_\infty|_\infty <1 \right. \right \}=\widehat{\Z} \times (-1,1).</math> | ||
<math>U</math> | <math>U</math>, <math>0 \in \mathbb{A}_\Q.</math> का विवृत प्रतिवेश है। ऐसा आशय किया जाता है कि <math>U \cap \Q = \{0\}.</math> मान लीजिए <math>\beta \in U \cap \Q,</math> तब <math>\beta \in \Q</math> और सभी <math>p</math> के लिए <math>|\beta|_p \leq 1</math> है और इसलिए <math>\beta \in \Z.</math> इसके अतिरिक्त, <math>\beta \in (-1,1)</math> और <math>\beta=0.</math> है। सघनता के लिए, परिभाषित करें: | ||
:<math>W:= \left \{(\alpha_p)_p \left | \forall p<\infty: |\alpha_p|_p \leq 1 \quad \text{and} \quad |\alpha_\infty|_\infty \leq \frac{1}{2} \right. \right \}=\widehat{\Z} \times \left[-\frac 1 2,\frac 1 2 \right].</math> | :<math>W:= \left \{(\alpha_p)_p \left | \forall p<\infty: |\alpha_p|_p \leq 1 \quad \text{and} \quad |\alpha_\infty|_\infty \leq \frac{1}{2} \right. \right \}=\widehat{\Z} \times \left[-\frac 1 2,\frac 1 2 \right].</math> | ||
<math>\mathbb{A}_\Q /\Q</math> में प्रत्येक तत्व का <math>W,</math> में प्रतिनिधि है, अर्थात प्रत्येक <math>\alpha \in \mathbb{A}_\Q,</math> के लिए <math>\beta \in \Q</math> उपस्थित है जैसे <math>\alpha - \beta \in W.</math> मान लीजिए <math>\alpha=(\alpha_p)_p \in \mathbb{A}_\Q,</math> एकपक्षीय है और <math>|\alpha_p|>1.</math> के लिए <math>p</math> अभाज्य संख्या है। तब <math>z_p \in \Z, x_p \in \N</math> और <math>|\alpha_p-r_p|\leq 1.</math> के साथ <math>r_p=z_p/p^{x_p}</math> उपस्थित है। <math>\alpha</math> को <math>\alpha-r_p</math> से प्रतिस्थापित करें और <math>q \neq p</math> को अभाज्य मान लें। तब: | |||
:<math>\left |\alpha_q-r_p \right |_q \leq \max \left \{|a_q|_q,|r_p|_q \right \} \leq \max \left \{|a_q|_q,1 \right \} \leq 1.</math> | :<math>\left |\alpha_q-r_p \right |_q \leq \max \left \{|a_q|_q,|r_p|_q \right \} \leq \max \left \{|a_q|_q,1 \right \} \leq 1.</math> | ||
अग्र, यह आशय है कि: | |||
:<math>|\alpha_q-r_p|_q \leq 1 \Longleftrightarrow |\alpha_q|_q \leq 1.</math> | :<math>|\alpha_q-r_p|_q \leq 1 \Longleftrightarrow |\alpha_q|_q \leq 1.</math> | ||
उत्क्रम निहितार्थ महत्वहीन सत्य है। निहितार्थ सत्य है क्योंकि प्रबल त्रिभुज असमानता के दो पद समान हैं यदि दोनों पूर्णांकों के निरपेक्ष मान भिन्न हैं। परिणामस्वरूप, अभाज्य संख्याओं का (परिमित) समुच्चय जिसके लिए <math>\alpha</math> के घटक <math>\Z_p</math> में नहीं हैं, जो 1 से अल्प हो जाते हैं। पुनरावृत्ति के साथ, यह निष्कर्ष प्राप्त किया जा सकता है कि <math>r\in \Q</math> उपस्थित है जैसे कि <math>\alpha-r \in \widehat{\Z} \times \R.</math> अब <math>s \in \Z</math> का चयन करें जैसे <math>\alpha_\infty-r-s \in \left [-\tfrac{1}{2}, \tfrac{1}{2} \right ].</math> तब <math>\alpha-(r+s) \in W.</math> सतत प्रक्षेपण <math>\pi:W \to\mathbb{A}_\Q /\Q</math> विशेषण है, इसलिए सघन समुच्चय की सतत छवि के रूप में <math>\mathbb{A}_\Q /\Q,</math> सघन है। | |||
: | : '''परिणाम-''' मान लीजिए <math>E</math>, <math>K</math> पर परिमित-आयामी सदिश-समष्टि है। तब <math>E</math>, <math>\mathbb{A}_E.</math> में असतत और सह-सघन है। | ||
: | : '''प्रमेय-''' निम्नलिखित बिंदुओं को माना जाता है: | ||
:*<math>\mathbb{A}_{\Q}= \Q +\mathbb{A}_{\Z}.</math> | :*<math>\mathbb{A}_{\Q}= \Q +\mathbb{A}_{\Z}.</math> | ||
:*<math>\Z =\Q \cap \mathbb{A}_{\Z}.</math> | :*<math>\Z =\Q \cap \mathbb{A}_{\Z}.</math> | ||
:*<math>\mathbb{A}_{\Q}/\Z</math> [[विभाज्य समूह]] है।<ref>The next statement can be found in {{harvnb|Neukirch|2007|p=383}}.</ref> :*<math>\Q \subset \mathbb{A}_{\Q,\text{fin}}</math> घना है। | :*<math>\mathbb{A}_{\Q}/\Z</math> [[विभाज्य समूह]] है।<ref>The next statement can be found in {{harvnb|Neukirch|2007|p=383}}.</ref> | ||
:*<math>\Q \subset \mathbb{A}_{\Q,\text{fin}}</math> घना है। | |||
'''प्रमाण-''' प्रथम दो समीकरणों को प्राथमिक रूप से सिद्ध किया जा सकता है। | |||
परिभाषा | परिभाषा के अनुसार <math>\mathbb{A}_{\Q}/\Z</math> विभाज्य है यदि किसी <math>n \in \N</math> और <math>y \in \mathbb{A}_{\Q}/\Z</math> के लिए समीकरण <math>nx=y</math> का हल <math>x \in \mathbb{A}_{\Q}/\Z.</math> है। यह दर्शाने के लिए पर्याप्त है कि <math>\mathbb{A}_{\Q}</math> विभाज्य है किन्तु यह सत्य है क्योंकि <math>\mathbb{A}_{\Q}</math> प्रत्येक निर्देशांक में सकारात्मक विशेषता वाला क्षेत्र है। | ||
अंतिम कथन के लिए ध्यान दें कि <math>\mathbb{A}_{\Q,\text{fin}}=\Q \widehat{\Z},</math> क्योंकि | अंतिम कथन के लिए ध्यान दें कि <math>\mathbb{A}_{\Q,\text{fin}}=\Q \widehat{\Z},</math> क्योंकि <math>\mathbb{A}_{\Q,\text{fin}}</math> के तत्वों के निर्देशांक में हर की परिमित संख्या <math>q \in \Q.</math> के माध्यम से होती है। परिणामस्वरूप, यह दर्शाने के लिए पर्याप्त है कि <math>\Z \subset \widehat{\Z}</math> सघन है, अर्थात प्रत्येक विवृत उपसमुच्चय <math>V \subset \widehat{\Z}</math> में <math>\Z.</math> का तत्व होता है। यह माना जा सकता है कि | ||
:<math>V=\prod_{p \in E} \left(a_p+p^{l_p}\Z_p \right ) \times \prod_{p \notin E}\Z_p,</math> | :<math>V=\prod_{p \in E} \left(a_p+p^{l_p}\Z_p \right ) \times \prod_{p \notin E}\Z_p,</math> | ||
क्योंकि <math>(p^m\Z_p)_{m \in \N}</math> | क्योंकि <math>(p^m\Z_p)_{m \in \N}</math>, <math>\Z_p.</math> में <math>0</math> की प्रतिवेश प्रणाली है। चीनी शेष प्रमेय द्वारा <math>l \in \Z</math> उपस्थित है जैसे <math>l \equiv a_p \bmod p^{l_p}.</math> चूंकि विशिष्ट अभाज्य संख्याओं की घात सहअभाज्य हैं, इसलिए <math>l \in V</math> अनुसरण करता है। | ||
'''टिप्पणी-''' <math>\mathbb{A}_{\Q}/\Z</math> विशिष्ट रूप से विभाज्य नहीं है। मान लीजिए <math>y=(0,0,\ldots)+\Z \in \mathbb{A}_{\Q}/\Z</math> और <math>n \geq 2</math> दिया गया है। तब | |||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 387: | Line 397: | ||
x_2 &= \left (\tfrac{1}{n}, \tfrac{1}{n}, \ldots \right )+\Z | x_2 &= \left (\tfrac{1}{n}, \tfrac{1}{n}, \ldots \right )+\Z | ||
\end{align}</math> | \end{align}</math> | ||
दोनों समीकरण | दोनों समीकरण <math>nx=y</math> को संतुष्ट करते हैं और स्पष्ट रूप से <math>x_1 \neq x_2</math> (<math>x_2</math> उचित रूप से परिभाषित है, क्योंकि अधिक अभाज्य संख्याएँ <math>n</math> को विभाजित करती हैं)। इस स्तिथि में, विशिष्ट रूप से विभाज्य होना टॉरशन-मुक्त होने के समतुल्य है, जो <math>\mathbb{A}_{\Q}/\Z</math> के लिए सत्य नहीं है, तब <math>nx_2 = 0,</math> किन्तु <math>x_2 \neq 0</math> और <math>n \neq 0.</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>, निम्न समीकरण को संतुष्ट करता है- | |||
::<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>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>\begin{align} | :<math>\begin{align} | ||
Line 407: | Line 420: | ||
&\vdots | &\vdots | ||
\end{align}</math> | \end{align}</math> | ||
<math>1 \in \mathbb{A}_{\Q}.</math> में परिवर्तित होता है। इसे अवलोकित करने के लिए <math>U</math> को व्यापकता की हानि के अतिरिक्त 0 का प्रतिवेश मान लीजिए- | |||
:<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>R</math> टोपोलॉजिकल वलय है। | ||
::<math>\begin{cases} | ::<math>\begin{cases} | ||
\iota: R^{\times} \to R \times R\\ | \iota: R^{\times} \to R \times R\\ | ||
x \mapsto (x,x^{-1}) | x \mapsto (x,x^{-1}) | ||
\end{cases}</math> | \end{cases}</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>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} | ||
I_{K,S}&= {\prod_{v \in S}}^' K_v^{\times}\\ | I_{K,S}&= {\prod_{v \in S}}^' K_v^{\times}\\ | ||
Line 429: | Line 442: | ||
I_K&= {\prod_v}^' K_v^{\times} | I_K&= {\prod_v}^' K_v^{\times} | ||
\end{align}</math> | \end{align}</math> | ||
: जहां प्रतिबंधित | : जहां प्रतिबंधित गुणनफल में टोपोलॉजी है, जो रूप के प्रतिबंधित विवृत आयतों द्वारा उत्पन्न होती है | ||
::<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>I_K</math> के लिए प्रमाण सिद्ध करें; अन्य दो समान रूप से अनुसरण करते हैं। प्रथम यह दर्शायें कि दो समुच्चय समान हैं: | |||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 441: | Line 454: | ||
&= {\prod_v}^' K_v^\times | &= {\prod_v}^' K_v^\times | ||
\end{align}</math> | \end{align}</math> | ||
<math>x</math> के साथ <math>x^{-1}=y</math> को <math>\mathbb{A}_K,</math> में होना चाहिए, जिसका अर्थ प्रायः सभी <math>v</math> के लिए <math>x_v \in O_v</math> और प्रायः सभी <math>v</math> के लिए <math>x_v^{-1} \in O_v</math> है। इसलिए, प्रायः सभी <math>v</math> के लिए <math>x_v \in O_v^\times</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>I_{K,S}</math> के विवरण से समष्टिीय सघनता का अनुसरण होता है। यह टोपोलॉजिकल समूह होने के नाते टोपोलॉजिकल वलय की इकाइयों के समूह पर उपरोक्त विचार द्वारा अनुसरण करता है। | |||
की | <math>1 \in I_K.</math> की प्रतिवेश प्रणाली <math>1 \in \mathbb{A}_K(P_\infty)^{\times}</math> की प्रतिवेश प्रणाली है। वैकल्पिक रूप से, | ||
:<math>\prod_v U_v,</math> | :<math>\prod_v U_v,</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>\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>L/K</math> परिमित विस्तार है। तब- | ||
::<math>I_L= {\prod_v}^' L_v^\times.</math> | ::<math>I_L= {\prod_v}^' L_v^\times.</math> | ||
: जहां प्रतिबंधित | : जहां प्रतिबंधित गुणनफल <math>\widetilde{O_v}^{\times}.</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> है। | |||
=== | === सदिश समष्टि और बीजगणित की स्तिथि === | ||
<ref>This section is based on {{harvnb|Weil|1967|p=71.}}</ref> | <ref>This section is based on {{harvnb|Weil|1967|p=71.}}</ref> | ||
==== | ==== बीजगणित का आदर्श समूह ==== | ||
मान लीजिए <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>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>P \supset P_{\infty},</math> के प्रत्येक परिमित समुच्चय के लिए <math>A=K</math> की विशेष स्तिथि में, | ||
: | :<math>\mathbb{A}_K(P)^{\times}=\prod_{v \in P}K_v^{\times} \times \prod_{v \notin P}O_v^{\times}</math> | ||
: <math>\mathbb{A}_K^{\times}=I_K.</math> का विवृत उपसमूह है। <math>I_K</math> सभी <math>\mathbb{A}_K(P)^{\times}.</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> | ||
चूँकि <math>\alpha \in I_L,</math> व्युत्क्रमणीय है, <math>N_{L/K}(\alpha)</math> भी व्युत्क्रमणीय है, क्योंकि <math>(N_{L/K}(\alpha))^{-1}= N_{L/K}(\alpha^{-1}).</math> है। इसलिए <math>N_{L/K}(\alpha) \in I_K.</math> परिणामस्वरूप, मानदंड-फलन का प्रतिबंध सतत फलन का परिचय देता है: | |||
:<math>N_{L/K}: I_L \to I_K.</math> | :<math>N_{L/K}: I_L \to I_K.</math> | ||
Line 498: | Line 516: | ||
=== आइडल वर्ग समूह === | === आइडल वर्ग समूह === | ||
: | : '''लेम्मा-''' विकर्ण मानचित्र <math>a \mapsto (a,a,a,\ldots).</math> द्वारा दिए गए <math>I_{K,S}</math> में <math>K^{\times}</math> का प्राकृतिक एम्बेडिंग है। | ||
'''प्रमाण-''' चूँकि <math>K^{\times}</math> सभी <math>v,</math> के लिए <math>K_v^{\times}</math> का उपसमुच्चय है, एम्बेडिंग उचित रूप से परिभाषित और अंतःक्षेपी है। | |||
: | : '''परिणाम-''' <math>A^{\times}</math>, <math>\mathbb{A}_{A}^{\times}.</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> समष्टिीय रूप से सघन टोपोलॉजिकल समूह और हॉसडॉर्फ स्पेस है। | |||
: | : '''लेम्मा-'''<ref>For a proof see {{harvnb|Neukirch|2007|p=388}}.</ref> मान लीजिए <math>L/K</math> परिमित विस्तार है। एम्बेडिंग <math>I_K \to I_L</math> अंतःक्षेपी मानचित्र प्रेरित करता है- | ||
::<math>\begin{cases} | ::<math>\begin{cases} | ||
C_K \to C_L\\ | C_K \to C_L\\ | ||
Line 515: | Line 533: | ||
=== आदर्श समूह के गुण === | === आदर्श समूह के गुण === | ||
'''K और 1-आइडल के आदर्श समूह पर निरपेक्ष मान''' | |||
'''परिभाषा-''' <math>\alpha=(\alpha_v)_v \in I_K</math> के लिए <math>\textstyle |\alpha|:=\prod_v |\alpha_v|_v.</math> को परिभाषित करें। चूंकि <math>\alpha</math> आदर्श है, यह गुणनफल परिमित है, और इसलिए उचित रूप से परिभाषित है। | |||
'''टिप्पणी-''' अपरिमित गुणनफलों की अनुमति से परिभाषा को <math>\mathbb{A}_K</math> तक विस्तारित किया जा सकता है। चूंकि, ये अपरिमित गुणनफल लुप्त हो जाते हैं और इसलिए <math>\mathbb{A}_K \setminus I_K.</math> पर <math>|\cdot|</math> लुप्त हो जाता है। <math>|\cdot|</math> का उपयोग <math>I_K</math> और <math>\mathbb{A}_K</math> दोनों फलनों को निरूपित करने के लिए किया जाएगा। | |||
: | : '''प्रमेय-''' <math>|\cdot|:I_K \to \R_+</math> सतत समूह समरूपता है। | ||
'''प्रमाण-''' मान लीजिए <math>\alpha, \beta \in I_K.</math> | |||
: <math>\begin{align} | : <math>\begin{align} | ||
|\alpha \cdot \beta|&=\prod_v |(\alpha \cdot \beta)_v|_v\\ | |\alpha \cdot \beta|&=\prod_v |(\alpha \cdot \beta)_v|_v\\ | ||
Line 530: | Line 548: | ||
&= |\alpha|\cdot |\beta| | &= |\alpha|\cdot |\beta| | ||
\end{align}</math> | \end{align}</math> | ||
जहां इसका उपयोग किया जाता है कि सभी | जहां इसका उपयोग किया जाता है कि सभी गुणनफल परिमित हैं। मानचित्र सतत है जिसे अनुक्रमों वाले तर्क का उपयोग करके देखा जा सकता है। यह इस समस्या को अल्प कर देता है कि क्या <math>|\cdot|</math>, <math>K_v.</math> पर सतत है। चूँकि, यह विपरीत त्रिभुज असमानता के कारण स्पष्ट है। | ||
'''परिभाषा-''' 1-आइडल के समुच्चय को इस प्रकार परिभाषित किया जा सकता है- | |||
:<math>I_K^1:=\{x \in I_K: |x|=1\}=\ker(|\cdot|).</math> | :<math>I_K^1:=\{x \in I_K: |x|=1\}=\ker(|\cdot|).</math> | ||
<math>I_K^1</math> | <math>I_K^1</math>, <math>I_K</math> का उपसमूह है। क्योंकि <math>I_K^1=|\cdot|^{-1}(\{1\}),</math> <math>\mathbb{A}_K</math> का संवृत्त उपसमुच्चय है। अंततः <math>I_K^1</math> पर <math>\mathbb{A}_K</math>-टोपोलॉजी, <math>I_K^1</math> पर <math>I_K</math> के उपसमुच्चय-टोपोलॉजी के समान होती है।<ref>This statement can be found in {{harvnb|Cassels|Fröhlich|1967|p=69}}.</ref><ref><math>\mathbb{A}_K^1</math> is also used for the set of the <math>1</math>-idele but <math>I_K^1</math> is used in this example. </ref> | ||
: आर्टिन का | : '''आर्टिन का गुणनफल सूत्र'''- सभी <math>k \in K^\times.</math> के लिए <math>|k|=1</math> | ||
'''प्रमाण-'''<ref>There are many proofs for this result. The one shown below is based on {{harvnb|Neukirch|2007|p=195.}}</ref> संख्या क्षेत्रों के सूत्र का प्रमाण, वैश्विक फलन क्षेत्रों की स्तिथि को इसी प्रकार से सिद्ध किया जा सकता है। मान लीजिए <math>K</math> संख्या क्षेत्र है और <math>a \in K^\times.</math> निम्न समीकरण दर्शाता है- | |||
:<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>\begin{align} | : <math>\begin{align} | ||
Line 548: | 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> के निकट अद्वितीय पूर्णांक गुणनखंडन होता है- | |||
:<math>a=\pm\prod_{p < \infty}p^{v_p},</math> | :<math>a=\pm\prod_{p < \infty}p^{v_p},</math> | ||
जहाँ <math>v_p \in \Z</math> प्रायः सभी <math>p.</math> के लिए <math>0</math> है। ओस्ट्रोव्स्की के प्रमेय के अनुसार <math>\Q</math> पर सभी निरपेक्ष मान <math>|\cdot|_{\infty}</math> या <math>p</math>-एडिक निरपेक्ष मान के समतुल्य हैं। इसलिए: | |||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 558: | Line 576: | ||
&= 1 | &= 1 | ||
\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> उपस्थित है। | ||
: | : '''परिणाम-''' मान लीजिए <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>K^\times</math>, <math>I_K^1</math> में असतत और सहसंबद्ध है। | ||
'''प्रमाण-'''<ref>This proof can be found in {{harvnb|Weil|1967|p=76}} or in {{harvnb|Cassels|Fröhlich|1967|p=70}}.</ref> चूँकि <math>K^\times</math>, <math>I_K</math> में असतत है, यह <math>I_K^1</math> में भी असतत है। <math>I_K^1/K^\times</math> की सघनता सिद्ध करने के लिए मान लीजिए <math>C</math> लेम्मा का स्थिरांक है और मान लीजिए <math>\alpha \in \mathbb{A}_K</math>, <math>\textstyle \prod_v |\alpha_v|_v > C</math> को संतुष्टि करता है। परिभाषित करें- | |||
:<math>W_\alpha:= \left \{\xi=(\xi_v)_v \in \mathbb{A}_K | |\xi_v|_v\leq |\alpha_v|_v \text{ for all } v\right \}.</math> | :<math>W_\alpha:= \left \{\xi=(\xi_v)_v \in \mathbb{A}_K | |\xi_v|_v\leq |\alpha_v|_v \text{ for all } v\right \}.</math> | ||
स्पष्ट रूप से <math>W_\alpha</math> | स्पष्ट रूप से <math>W_\alpha</math> सघन है। यह आशय किया जा सकता है कि प्राकृतिक प्रक्षेपण <math>W_{\alpha} \cap I_K^1 \to I_K^1/K^\times</math> विशेषण है। मान लीजिए <math>\beta=(\beta_v)_v \in I_K^1</math> एकपक्षीय है, तब- | ||
:<math>|\beta| = \prod_v |\beta_v|_v=1,</math> | :<math>|\beta| = \prod_v |\beta_v|_v=1,</math> | ||
Line 574: | Line 592: | ||
:<math>\prod_v |\beta_v^{-1}\alpha_v|_v=\prod_v |\alpha_v|_v>C.</math> | :<math>\prod_v |\beta_v^{-1}\alpha_v|_v=\prod_v |\alpha_v|_v>C.</math> | ||
लेम्मा द्वारा | लेम्मा द्वारा <math>\eta \in K^\times</math> उपस्थित है जैसे सभी <math>v</math> के लिए <math>|\eta|_v \leq |\beta_v^{-1}\alpha_v|_v</math>, और इसलिए <math>\eta\beta \in W_{\alpha}</math> प्राकृतिक प्रक्षेपण की प्रक्षेप्यता सिद्ध कर रहा है। चूंकि यह भी सतत है इसलिए सघनता इस प्रकार है। | ||
: | : '''प्रमेय-'''<ref>Part of Theorem 5.3.3 in {{harvnb|Deitmar|2010}}.</ref> विहित समरूपता <math>I_{\Q}^1/\Q^\times \cong \widehat{\Z}^\times.</math> है। इसके अतिरिक्त, <math>\widehat{\Z}^\times \times \{1\} \subset I_{\Q}^1</math>, <math>I_{\Q}^1/\Q^\times</math> के प्रतिनिधियों का समूह है और <math>\widehat{\Z}^\times \times (0, \infty) \subset I_{\Q}</math>, <math>I_{\Q}/\Q^\times.</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>\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>|\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> | ||
इस | इस प्रकार <math>\beta_\infty \in \Q</math>, | ||
:<math>((\beta_p)_p, \beta_\infty) \Q^\times= \left ( \left (\frac{\beta_p}{\beta_\infty} \right )_p,1 \right )\Q^\times.</math> | :<math>((\beta_p)_p, \beta_\infty) \Q^\times= \left ( \left (\frac{\beta_p}{\beta_\infty} \right )_p,1 \right )\Q^\times.</math> | ||
Line 589: | Line 607: | ||
:<math>\forall p: \qquad \left | \frac{\beta_p}{\beta_\infty} \right |_p=1,</math> | :<math>\forall p: \qquad \left | \frac{\beta_p}{\beta_\infty} \right |_p=1,</math> | ||
यह निष्कर्ष निकाला गया है <math>\phi</math> | यह निष्कर्ष निकाला गया है <math>\phi</math> प्रक्षेपकता है। | ||
: | : '''प्रमेय-'''<ref>Part of Theorem 5.3.3 in {{harvnb|Deitmar|2010}}.</ref> निरपेक्ष मान फलन टोपोलॉजिकल समूहों के निम्नलिखित समरूपता को प्रेरित करता है- | ||
::<math>\begin{align} | ::<math>\begin{align} | ||
I_{\Q} &\cong I_{\Q}^1 \times (0, \infty) \\ | I_{\Q} &\cong I_{\Q}^1 \times (0, \infty) \\ | ||
I_{\Q}^1 &\cong I_{\Q, \text{fin}} \times \{\pm 1\}. | I_{\Q}^1 &\cong I_{\Q, \text{fin}} \times \{\pm 1\}. | ||
\end{align}</math> | \end{align}</math> | ||
'''प्रमाण-''' समरूपता द्वारा दिया जाता है- | |||
:<math>\begin{cases} \psi: I_\Q \to I_{\Q}^1 \times (0, \infty) \\ a=(a_\text{fin}, a_{\infty}) \mapsto \left (a_\text{fin},\frac{a_\infty}{|a|},|a| \right)\end{cases} \qquad \text{and} \qquad \begin{cases} \widetilde{\psi}: I_{\Q, \text{fin}} \times \{\pm 1\} \to I_{\Q}^1 \\(a_\text{fin},\varepsilon) \mapsto \left (a_\text{fin}, \frac{\varepsilon}{|a_\text{fin}|} \right) \end{cases}</math> | :<math>\begin{cases} \psi: I_\Q \to I_{\Q}^1 \times (0, \infty) \\ a=(a_\text{fin}, a_{\infty}) \mapsto \left (a_\text{fin},\frac{a_\infty}{|a|},|a| \right)\end{cases} \qquad \text{and} \qquad \begin{cases} \widetilde{\psi}: I_{\Q, \text{fin}} \times \{\pm 1\} \to I_{\Q}^1 \\(a_\text{fin},\varepsilon) \mapsto \left (a_\text{fin}, \frac{\varepsilon}{|a_\text{fin}|} \right) \end{cases}</math> | ||
==== आदर्श वर्ग समूह और | ==== आदर्श वर्ग समूह और आइडल वर्ग समूह के मध्य संबंध ==== | ||
: | : '''प्रमेय-''' मान लीजिए <math>K</math> संख्या क्षेत्र है जिसमें पूर्णांकों का समूह <math>O</math> भिन्नात्मक आदर्शों का समूह <math>J_K,</math> और आइडल वर्ग समूह <math>\operatorname{Cl}_K =J_K/K^\times.</math> है। यहाँ निम्नलिखित समरूपताएँ हैं- | ||
::<math>\begin{align} | ::<math>\begin{align} | ||
J_K &\cong I_{K,\text{fin}}/\widehat{O}^\times \\ | J_K &\cong I_{K,\text{fin}}/\widehat{O}^\times \\ | ||
Line 609: | Line 627: | ||
\operatorname{Cl}_K &\cong C_K/\left (\widehat{O}^\times \times \prod_{v | \infty} K_v^\times \right ) K^\times | \operatorname{Cl}_K &\cong C_K/\left (\widehat{O}^\times \times \prod_{v | \infty} K_v^\times \right ) K^\times | ||
\end{align}</math> | \end{align}</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>\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>\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 620: | Line 638: | ||
v_\mathfrak{p}\left( \frac{x}{y}\right) &:= v_\mathfrak{p}(x)-v_\mathfrak{p}(y) \quad \forall x,y \in O^\times | v_\mathfrak{p}\left( \frac{x}{y}\right) &:= v_\mathfrak{p}(x)-v_\mathfrak{p}(y) \quad \forall x,y \in O^\times | ||
\end{align}</math> | \end{align}</math> | ||
निम्नलिखित | निम्नलिखित मानचित्र उचित रूप से परिभाषित है- | ||
: <math>\begin{cases} | : <math>\begin{cases} | ||
Line 626: | Line 644: | ||
\alpha = (\alpha_v)_v \mapsto \prod_{v < \infty} \mathfrak{p}_v^{v(\alpha_v)}, | \alpha = (\alpha_v)_v \mapsto \prod_{v < \infty} \mathfrak{p}_v^{v(\alpha_v)}, | ||
\end{cases}</math> | \end{cases}</math> | ||
मानचित्र <math>(\cdot)</math> स्पष्ट रूप से विशेषण समाकारिता है और <math>\ker((\cdot))=\widehat{O}^\times.</math> प्रथम [[समरूपता पर मौलिक प्रमेय|समरूपता मूलभूत प्रमेय]] द्वारा प्राप्त होती है। अब, दोनों पक्षों को <math>K^{\times}.</math> से विभाजित किया गया है। यह संभव है, क्योंकि | |||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 633: | Line 651: | ||
&=(\alpha) && \text{ for all } \alpha \in K^\times. | &=(\alpha) && \text{ for all } \alpha \in K^\times. | ||
\end{align}</math> | \end{align}</math> | ||
कृपया | कृपया टिप्पणी के दुरुपयोग पर ध्यान दें: समीकरणों की इस श्रृंखला की प्रथम पंक्ति में बाईं ओर, परिभाषित मानचित्र के लिए <math>(\cdot)</math> का उपयोग किया गया है। तत्पश्चात, <math>K^{\times}</math> को <math>I_{K,\text{fin}}</math> में एम्बेड करने के लिए उपयोग किया जाता है। द्वितीय पंक्ति में, मानचित्र की परिभाषा का उपयोग किया गया है। | ||
अंततः, इसका उपयोग करें कि <math>O</math>, डेडेकाइंड डोमेन है और इसलिए प्रत्येक आदर्श को प्रधान आदर्शों के गुणनफल के रूप में अंकित किया जा सकता है। अन्य शब्दों में, मानचित्र <math>(\cdot)</math>, <math>K^\times</math>- समतुल्य समूह समरूपता है। परिणामस्वरूप, उपरोक्त मानचित्र विशेषण समरूपता को प्रेरित करता है- | |||
: <math>\begin{cases} | : <math>\begin{cases} | ||
Line 640: | Line 659: | ||
\alpha K^\times \mapsto (\alpha) K^\times | \alpha K^\times \mapsto (\alpha) K^\times | ||
\end{cases}</math> | \end{cases}</math> | ||
द्वितीय तुल्याकारिता को सिद्ध करने के लिए, यह दर्शाना होगा <math>\ker(\phi)=\widehat{O}^{\times}K^\times.</math> विचार करें <math>\xi=(\xi_v)_v \in \widehat{O}^{\times}.</math> तब <math>\textstyle \phi(\xi K^\times) =\prod_v \mathfrak{p}_v^{v(\xi_v)}K^\times=K^\times,</math> क्योंकि सभी <math>v</math> के लिए <math>v(\xi_v)=0</math> है। दूसरी ओर, <math>\phi(\xi K^\times)=O K^\times,</math> के साथ <math>\xi K^\times \in C_{K,\text{fin}}</math> का विचार करें जो <math>\textstyle \prod_v\mathfrak{p}_v^{v(\xi_v)} K^\times=O K^\times.</math> को अंकित करने की अनुमति प्रदान करता है। परिणामस्वरूप, प्रतिनिधि उपस्थित है, जैसे कि: <math>\textstyle \prod_v \mathfrak{p}_v^{v(\xi'_v)}=O.</math> फलस्वरूप, <math>\xi' \in \widehat{O}^\times</math> और इसलिए <math>\xi K^\times=\xi' K^\times \in \widehat{O}^\times K^\times.</math> प्रमेय की द्वितीय समरूपता सिद्ध हो चुकी है। | |||
अंतिम | अंतिम तुल्याकारिता के लिए ध्यान दें कि <math>\phi</math> विशेषण समूह समाकारिता <math>\widetilde{\phi}: C_K \to \operatorname{Cl}_K</math> को प्रेरित करता है- | ||
:<math>\ker(\widetilde{\phi})= \left (\widehat{O}^\times \times \prod_{v | \infty}K_v^\times \right )K^\times.</math> | :<math>\ker(\widetilde{\phi})= \left (\widehat{O}^\times \times \prod_{v | \infty}K_v^\times \right )K^\times.</math> | ||
'''टिप्पणी-''' आइडल टोपोलॉजी के साथ <math>I_{K,\text{fin}}</math> पर विचार करें और <math>J_K,</math> को असतत टोपोलॉजी से सुसज्जित करें। चूँकि <math>(\{\mathfrak{a}\})^{-1}</math> प्रत्येक <math>\mathfrak{a} \in J_K, (\cdot)</math> के लिए विवृत और सतत है। <math>(\{\mathfrak{a}\})^{-1} = \alpha \widehat{O}^\times</math> विवृत है, जहाँ <math>\alpha=(\alpha_v)_v \in \mathbb{A}_{K,\text{fin}},</math> तब <math>\textstyle \mathfrak{a}=\prod_v \mathfrak{p}_v^{v(\alpha_v)}.</math> | |||
'''K के आदर्श समूह और आदर्श वर्ग समूह का अपघटन''' | |||
: | : '''प्रमेय-''' | ||
::<math>\begin{align} | ::<math>\begin{align} | ||
I_K &\cong I_K^1 \times M: \quad \begin{cases} M \subset I_K \text{ discrete and } M \cong \Z & \operatorname{char}(K)>0 \\ M \subset I_K \text{ closed and } M \cong \R_+ & \operatorname{char}(K)=0 \end{cases} \\ | I_K &\cong I_K^1 \times M: \quad \begin{cases} M \subset I_K \text{ discrete and } M \cong \Z & \operatorname{char}(K)>0 \\ M \subset I_K \text{ closed and } M \cong \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} | 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) = 0.</math> | <math>\lambda \in \R_+</math> के लिए <math>\operatorname{char}(K) = 0.</math> को परिभाषित करें- | ||
:<math>z(\lambda)= (z_v)_v, \quad z_v = \begin{cases} 1 & v \notin P_{\infty} \\ \lambda & v \in P_{\infty} \end{cases}</math> | :<math>z(\lambda)= (z_v)_v, \quad z_v = \begin{cases} 1 & v \notin P_{\infty} \\ \lambda & v \in P_{\infty} \end{cases}</math> | ||
मानचित्र <math>\lambda \mapsto z(\lambda)</math>, <math>I_K</math> और <math>I_K \cong M \times I_K^1.</math> के संवृत उपसमूह <math>M</math> में <math>\R_+</math> की समरूपता है। | |||
: <math>\begin{cases} | : <math>\begin{cases} | ||
Line 666: | 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> विशेषण है। | |||
अन्य समीकरण भी इसी | अन्य समीकरण भी इसी प्रकार अनुसरण करते हैं। | ||
==== आदर्श समूह की विशेषता ==== | ==== आदर्श समूह की विशेषता ==== | ||
: | : '''प्रमेय-'''<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>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 680: | 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>(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 687: | Line 705: | ||
=== किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता === | === किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता === | ||
पूर्व खंड में तथ्य यह है कि संख्या क्षेत्र की वर्ग संख्या परिमित है, जिसका उपयोग किया गया था। इस कथन को सिद्ध किया जा सकता है: | |||
: प्रमेय (किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता) | : '''प्रमेय''' '''(किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता)-''' मान लीजिए <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>\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>P \supset P_{\infty}</math> समष्टिों का परिमित समूह है। परिभाषित करें- | |||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 706: | 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>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>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 \notin P.</math> के लिए <math>v(\xi) \geq 0</math> को पूर्ण करते हैं। | |||
: लेम्मा 1 | : '''लेम्मा 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>I_K</math> में असतत उपसमूह <math>K^\times</math> के साथ <math>W</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>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>E=\mu(K),</math> <math>P=P_\infty</math> और <math>|P_\infty|=r+s.</math> होता है- | |||
: <math>\begin{align} | : <math>\begin{align} | ||
Line 735: | 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>|\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> का समष्टि है। | ||
::<math>V:= {\prod_{v \neq v_0}}^' K_v.</math> | ::<math>V:= {\prod_{v \neq v_0}}^' K_v.</math> | ||
:तब <math>K</math> | :तब <math>K</math>, <math>V.</math> में सघन है। | ||
'''टिप्पणी-''' इसके एडेल वलय में वैश्विक क्षेत्र असतत है। प्रबल सन्निकटन प्रमेय हमें बताता है कि, यदि समष्टि (या अधिक) को त्याग दिया जाता है, तो <math>K</math> की असततता का गुण <math>K</math> के घनत्व में परिवर्तित हो जाता है। | |||
=== | ===हस्से सिद्धांत=== | ||
:हस्से-मिन्कोव्स्की प्रमेय | :'''हस्से-मिन्कोव्स्की प्रमेय- <math>K</math>''' पर द्विघात रूप शून्य है, यदि प्रत्येक पूर्णता <math>K_v</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>\mathbb{A}_K\cong \widehat{\mathbb{A}_K}.</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>\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>\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>\begin{align} | :<math>\begin{align} | ||
Line 779: | Line 798: | ||
\Q^{\times} &= \operatorname{GL} (1, \Q) | \Q^{\times} &= \operatorname{GL} (1, \Q) | ||
\end{align}</math> | \end{align}</math> | ||
इस प्रमाण के आधार पर आदर्श समूह और 1-आदर्श को प्रतिस्थापित करने के लिए प्राकृतिक सामान्यीकरण होगा: | |||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 789: | 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>\Q</math> को संख्या क्षेत्र के साथ और <math>\operatorname{GL} (2)</math> को एकपक्षीय रिडक्टिव बीजगणितीय समूह के साथ प्रतिस्थापित कर आगे भी सामान्यीकृत किया जा सकता है। | |||
=== | ===अग्र अनुप्रयोग=== | ||
आर्टिन पारस्परिकता | आर्टिन पारस्परिकता नियम का सामान्यीकरण <math>\operatorname{GL} (2, \mathbb{A}_K)</math> के प्रतिनिधित्व और <math>K</math> ([[लैंगलैंड्स कार्यक्रम]]) के गाल्वा के प्रतिनिधित्व के संबंध की ओर जाता है। | ||
आदर्श वर्ग समूह | आदर्श वर्ग समूह क्षेत्र सिद्धांत का प्रमुख उद्देश्य है, जो क्षेत्र के एबेलियन विस्तार का वर्णन करता है। [[स्थानीय वर्ग क्षेत्र सिद्धांत|समष्टिीय वर्ग क्षेत्र सिद्धांत]] में समष्टिीय पारस्परिक मानचित्रों का गुणनफल वैश्विक क्षेत्र के अधिकतम एबेलियन विस्तार के गैलोज़ समूह को आदर्श समूह की समरूपता प्रदान करता है। आर्टिन पारस्परिकता नियम, जो गॉस द्विघात पारस्परिकता नियम का व्यापक सामान्यीकरण है, यह बताता है कि गुणनफल संख्या क्षेत्र के गुणात्मक समूह पर लुप्त हो जाता है। इस प्रकार, क्षेत्र के निरपेक्ष गैल्वा समूह के एबेलियन भाग के लिए आदर्श वर्ग समूह का वैश्विक पारस्परिकता मानचित्र प्राप्त किया जाएगा। | ||
परिमित क्षेत्र पर वक्र के फलन क्षेत्र के एडेल वलय की स्व-द्वैत सरलता से रीमैन-रोच प्रमेय और वक्र के लिए द्वंद्व सिद्धांत का अर्थ है। | |||
==संदर्भ== | ==संदर्भ== | ||
Line 815: | 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: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 पर मानचित्र है-
उदाहरण के लिए, SpecFq → P1 के रूप में 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 का प्रतिवेश मान लीजिए-
के लिए के पश्चात् से, के लिए अधिक बड़ा है। चूँकि इस क्रम का व्युत्क्रम में अभिसरित नहीं होता है।
- लेम्मा- मान लीजिए टोपोलॉजिकल वलय है।
- और टोपोलॉजी पर गुणनफल से प्रेरित टोपोलॉजिकल समूह है और समावेशन मानचित्र सतत है। यह पर अपरिष्कृत टोपोलॉजी है, जो को टोपोलॉजिकल समूह बनाती है।
प्रमाण- तब टोपोलॉजिकल वलय है जो यह दर्शाने के लिए पर्याप्त है कि व्युत्क्रम मानचित्र सतत है। मान लीजिए विवृत है, तब विवृत है। यह दर्शाना आवश्यक है कि विवृत है या समकक्ष है, विवृत है। किन्तु यह उपरोक्त स्तिथि है।
आदर्श समूह लेम्मा में परिभाषित टोपोलॉजी से सुसज्जित है जो इसे सामयिक समूह बनाता है।
परिभाषा- के लिए के समष्टिों का उपसमुच्चय:
- लेम्मा- टोपोलॉजिकल समूहों का प्रमाण निम्नलिखित है-
- जहां प्रतिबंधित गुणनफल में टोपोलॉजी है, जो रूप के प्रतिबंधित विवृत आयतों द्वारा उत्पन्न होती है
- जहाँ सभी समष्टिों के समुच्चय का परिमित उपसमुच्चय है और विवृत समुच्चय हैं।
प्रमाण- के लिए प्रमाण सिद्ध करें; अन्य दो समान रूप से अनुसरण करते हैं। प्रथम यह दर्शायें कि दो समुच्चय समान हैं:
के साथ को में होना चाहिए, जिसका अर्थ प्रायः सभी के लिए और प्रायः सभी के लिए है। इसलिए, प्रायः सभी के लिए है।
अब, बाईं ओर की टोपोलॉजी को दाहिनी ओर की टोपोलॉजी के समतुल्य दर्शाना संभव हो सकता है। स्पष्ट रूप से प्रत्येक विवृत प्रतिबंधित आयत आदर्श समूह की टोपोलॉजी में विवृत है। दूसरी ओर, किसी दिए गए के लिए, जो आइडल समूह की टोपोलॉजी में विवृत है, जिसका अर्थ है, इसलिए प्रत्येक के लिए विवृत प्रतिबंधित आयत उपस्थित है, जो का उपसमुच्चय है और इसमें सम्मिलित है। इसलिए, इन सभी प्रतिबंधित विवृत आयतों का संघ है और इसलिए प्रतिबंधित गुणनफल टोपोलॉजी में विवृत है।
- लेम्मा- समष्टिों के प्रत्येक समुच्चय के लिए, समष्टिीय सघन टोपोलॉजिकल समूह है।
प्रमाण- गुणनफल के रूप में के विवरण से समष्टिीय सघनता का अनुसरण होता है। यह टोपोलॉजिकल समूह होने के नाते टोपोलॉजिकल वलय की इकाइयों के समूह पर उपरोक्त विचार द्वारा अनुसरण करता है।
की प्रतिवेश प्रणाली की प्रतिवेश प्रणाली है। वैकल्पिक रूप से,
जहां प्रायः सभी के लिए और का प्रतिवेश है।
चूंकि आदर्श समूह समष्टिीय रूप से सघन है, इसलिए इसमें प्रत्येक माप उपस्थित है। इसे सामान्य किया जा सकता है, जिससे कि
यह परिमित समष्टिों के लिए प्रयुक्त सामान्यीकरण है। इस समीकरण में, परिमित आइडल समूह है, जिसका अर्थ परिमित एडेल वलय की इकाइयों का समूह है। अपरिमित समष्टिों के लिए, गुणक लेबेस्ग माप का उपयोग करें।
परिमित विस्तार का आदर्श समूह
- लेम्मा- मान लीजिए परिमित विस्तार है। तब-
- जहां प्रतिबंधित गुणनफल के संबंध में है।
- लेम्मा- में की कैनोनिकल एम्बेडिंग है।
प्रमाण- के लिए गुण के साथ से का मानचित्र है। इसलिए, को के उपसमूह के रूप में देखा जा सकता है। तत्व इस उपसमूह में है यदि उसके घटक निम्नलिखित गुणों को पूर्ण करते हैं: के लिए और के लिए और के समान समष्टि के लिए है।
सदिश समष्टि और बीजगणित की स्तिथि
बीजगणित का आदर्श समूह
मान लीजिए , पर परिमित आयामी बीजगणित है। चूँकि सामान्य रूप से उपसमुच्चय-टोपोलॉजी वाला टोपोलॉजिकल समूह नहीं है, को उपरोक्त के समान टोपोलॉजी से सुसज्जित करें और को आदर्श समूह कहें। आइडल समूह के तत्वों को का आइडल कहा जाता है।
- प्रस्ताव- मान लीजिए , का परिमित उपसमुच्चय है, जिसमें पर का आधार होता है। के प्रत्येक परिमित समष्टि के लिए, मान लीजिए , में द्वारा उत्पन्न -मॉड्यूल है। युक्त समष्टिों का परिमित समुच्चय उपस्थित है जिसमें है जिस प्रकार सभी के लिए का सघन उपवलय है। इसके अतिरिक्त, में होता है। प्रत्येक के लिए, , का विवृत उपसमुच्चय है और मानचित्र , पर सतत है। परिणामस्वरूप , को में अपनी छवि पर होमियोमॉर्फिक रूप से मैप करता है। प्रत्येक के लिए, उपरोक्त फलन के साथ में मानचित्रण के तत्व हैं। इसलिए , का विवृत और सघन उपसमूह है।[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]
को संख्या क्षेत्र के साथ और को एकपक्षीय रिडक्टिव बीजगणितीय समूह के साथ प्रतिस्थापित कर आगे भी सामान्यीकृत किया जा सकता है।
अग्र अनुप्रयोग
आर्टिन पारस्परिकता नियम का सामान्यीकरण के प्रतिनिधित्व और (लैंगलैंड्स कार्यक्रम) के गाल्वा के प्रतिनिधित्व के संबंध की ओर जाता है।
आदर्श वर्ग समूह क्षेत्र सिद्धांत का प्रमुख उद्देश्य है, जो क्षेत्र के एबेलियन विस्तार का वर्णन करता है। समष्टिीय वर्ग क्षेत्र सिद्धांत में समष्टिीय पारस्परिक मानचित्रों का गुणनफल वैश्विक क्षेत्र के अधिकतम एबेलियन विस्तार के गैलोज़ समूह को आदर्श समूह की समरूपता प्रदान करता है। आर्टिन पारस्परिकता नियम, जो गॉस द्विघात पारस्परिकता नियम का व्यापक सामान्यीकरण है, यह बताता है कि गुणनफल संख्या क्षेत्र के गुणात्मक समूह पर लुप्त हो जाता है। इस प्रकार, क्षेत्र के निरपेक्ष गैल्वा समूह के एबेलियन भाग के लिए आदर्श वर्ग समूह का वैश्विक पारस्परिकता मानचित्र प्राप्त किया जाएगा।
परिमित क्षेत्र पर वक्र के फलन क्षेत्र के एडेल वलय की स्व-द्वैत सरलता से रीमैन-रोच प्रमेय और वक्र के लिए द्वंद्व सिद्धांत का अर्थ है।
संदर्भ
- ↑ Groechenig, Michael (August 2017). "एडेलिक डिसेंट थ्योरी". Compositio Mathematica. 153 (8): 1706–1746. arXiv:1511.06271. doi:10.1112/S0010437X17007217. ISSN 0010-437X. S2CID 54016389.
- ↑ https://ncatlab.org/nlab/show/ring+of+adeles
- ↑ Geometric Class Field Theory, notes by Tony Feng of a lecture of Bhargav Bhatt (PDF).
- ↑ Weil uniformization theorem, nlab article.
- ↑ 5.0 5.1 Cassels & Fröhlich 1967.
- ↑ 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.
- ↑ This proof can be found in Cassels & Fröhlich 1967, p. 64.
- ↑ The definitions are based on Weil 1967, p. 60.
- ↑ See Weil 1967, p. 64 or Cassels & Fröhlich 1967, p. 74.
- ↑ For proof see Deitmar 2010, p. 124, theorem 5.2.1.
- ↑ See Cassels & Fröhlich 1967, p. 64, Theorem, or Weil 1967, p. 64, Theorem 2.
- ↑ The next statement can be found in Neukirch 2007, p. 383.
- ↑ See Deitmar 2010, p. 126, Theorem 5.2.2 for the rational case.
- ↑ This section is based on Weil 1967, p. 71.
- ↑ A proof of this statement can be found in Weil 1967, p. 71.
- ↑ A proof of this statement can be found in Weil 1967, p. 72.
- ↑ For a proof see Neukirch 2007, p. 388.
- ↑ This statement can be found in Cassels & Fröhlich 1967, p. 69.
- ↑ is also used for the set of the -idele but is used in this example.
- ↑ There are many proofs for this result. The one shown below is based on Neukirch 2007, p. 195.
- ↑ For a proof see Cassels & Fröhlich 1967, p. 66.
- ↑ This proof can be found in Weil 1967, p. 76 or in Cassels & Fröhlich 1967, p. 70.
- ↑ Part of Theorem 5.3.3 in Deitmar 2010.
- ↑ Part of Theorem 5.3.3 in Deitmar 2010.
- ↑ The general proof of this theorem for any global field is given in Weil 1967, p. 77.
- ↑ For more information, see Cassels & Fröhlich 1967, p. 71.
- ↑ A proof can be found in Weil 1967, p. 78 or in Cassels & Fröhlich 1967, p. 72.
- ↑ A proof can be found in Cassels & Fröhlich 1967, p. 48.
- ↑ A proof can be found in Cassels & Fröhlich 1967, p. 67
- ↑ A proof can be found in Weil 1967, p. 66.
- ↑ For more see Deitmar 2010, p. 129.
- ↑ A proof can be found Deitmar 2010, p. 128, Theorem 5.3.4. See also p. 139 for more information on Tate's thesis.
- ↑ 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.