एडेल रिंग

This section is about गणित में अवधारणा. For the singer, see एडेल.

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

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

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

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

परिभाषा

मान लीजिए $K$ वैश्विक क्षेत्र ($\mathbf {Q}$ का परिमित विस्तार या परिमित क्षेत्र पर वक्र X/F_q का कार्य क्षेत्र) है। $K$ की 'एडेल रिंग' उपवलय है-

$\mathbf {A} _{K}\ =\ \prod (K_{\nu },{\mathcal {O}}_{\nu })\ \subseteq \ \prod K_{\nu }$

जिसमें टुपल्स $(a_{\nu })$ सम्मिलित हैं, जहाँ $a_{\nu }$ सभी के लिए उपवलय ${\mathcal {O}}_{\nu }\subset K_{\nu }$ में स्थित है, किन्तु कई स्थानों (गणित) पर $\nu$ है। यहाँ सूचकांक $\nu$ वैश्विक क्षेत्र $K$ के सभी मूल्यांकनों (बीजगणित) पर है, $K_{\nu }$ उस मूल्यांकन पर पूर्णता है और संबंधित मूल्यांकन रिंग ${\mathcal {O}}_{\nu }$ है।

प्रेरणा

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

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

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

${\mathcal {O}}_{K}\hookrightarrow K$

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

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

$\mathbf {A} _{\mathbf {Z} }=\mathbf {R} \times {\hat {\mathbf {Z} }}=\mathbf {R} \times \prod _{p}\mathbf {Z} _{p},$

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

${\begin{aligned}\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).\end{aligned}}$

इस रिंग में स्पष्ट तत्वों को देखने के पश्चात प्रतिबंधित गुणनफल संरचना पारदर्शी हो जाती है। अप्रतिबंधित गुणनफल ${\textstyle \mathbf {R} \times \prod _{p}\mathbf {Q} _{p}}$ के भीतर तत्व $b/c\otimes (r,(a_{p}))\in \mathbf {A} _{\mathbf {Q} }$ की छवि है-

$\left({\frac {br}{c}},\left({\frac {ba_{p}}{c}}\right)\right).$

गुणक $ba_{p}/c$, $\mathbf {Z} _{p}$ में स्थित होता है जब भी $p$, $c$ का अभाज्य गुणनखंड नहीं होता है, किन्तु अधिक अभाज्य $p$ होते हैं।

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

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

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

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

उदाहरण

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

परिमेय K=Q में (K_ν, O_ν)=(Q_p, Z_p) के साथ प्रत्येक अभाज्य संख्या p के लिए मूल्यांकन है और Q_∞=R के साथ अनंत मूल्यांकन ∞ है। इस प्रकार $\mathbf {A} _{\mathbf {Q} }\ =\ \mathbf {R} \times \prod _{p}(\mathbf {Q} _{p},\mathbf {Z} _{p})$ का अवयव, प्रत्येक p के लिए p-एडिक परिमेय के साथ वास्तविक संख्या है, जिनमें से सभी p-एडिक पूर्णांक हैं।

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

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

$x\ :\ {\text{Spec}}\mathbf {F} _{q^{n}}\ \longrightarrow \ \mathbf {P} ^{1}.$

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

$\mathbf {A} _{\mathbf {F} _{q}(\mathbf {P} ^{1})}\ =\ \prod _{x\in X}({\mathcal {K}}_{X,x},{\widehat {\mathcal {O}}}_{X,x}).$

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

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

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

$I_{K}\ =\ \mathbf {A} _{K}^{\times }.$

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

$C_{K}\ =\ I_{K}/K^{\times }.$

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

$\mathbf {O} _{K}\ =\ \prod O_{\nu }\ \subseteq \ \mathbf {A} _{K}.$

अनुप्रयोग

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

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

${\widehat {C_{K}}}={\widehat {\mathbf {A} _{K}^{\times }/K^{\times }}}\ \simeq \ {\text{Gal}}(K^{\text{ab}}/K)$

जहां K^ab, K का अधिकतम एबेलियन बीजगणितीय विस्तार है और ${\widehat {(\dots )}}$ का अर्थ समूह की अनंत पूर्णता है।

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

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

${\text{Pic}}(X)\ =\ K^{\times }\backslash \mathbf {A} _{X}^{\times }/\mathbf {O} _{X}^{\times }$

और इसका विभाजक समूह Div(X)=A_K^×/O_K^× है। इसी प्रकार, यदि G अर्धसरल बीजगणितीय समूह है (उदाहरण के लिए SL_n, यह GL_n के लिए भी मान्य है) तो वील एकरूपता का तात्पर्य है

${\text{Bun}}_{G}(X)\ =\ G(K)\backslash G(\mathbf {A} _{X})/G(\mathbf {O} _{X}).$

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

टेट की थीसिस

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

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

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

$H^{1}(X,{\mathcal {L}})\ \simeq \ H^{0}(X,\Omega _{X}\otimes {\mathcal {L}}^{-1})^{*}$

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

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

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

इस पूर्ण लेख में, $K$ वैश्विक क्षेत्र है, जिसका अर्थ है कि यह या तो बीजगणितीय संख्या क्षेत्र है ($\mathbb {Q}$ का परिमित विस्तार) या वैश्विक फलन क्षेत्र है ($p$ अभाज्य और $r\in \mathbb {N}$ के लिए $\mathbb {F} _{p^{r}}(t)$ का परिमित विस्तार है)। परिभाषा के अनुसार वैश्विक क्षेत्र का परिमित विस्तार स्वयं में वैश्विक क्षेत्र है।

मूल्यांकन

$K$ के मूल्यांकन (बीजगणित) $v$ के लिए इसे $v$ के संबंध में $K$ की पूर्णता के लिए $K_{v}$ के रूप में अंकित किया जा सकता है। यदि $v$ असतत है, तो इसे $O_{v}$ के अधिकतम आदर्श के लिए $K_{v}$ और ${\mathfrak {m}}_{v}$ के मूल्यांकन रिंग के लिए $O_{v}$ लिखा जा सकता है। यदि यह प्रमुख आदर्श है जो समान तत्व को $\pi _{v}.$ द्वारा निरूपित करता है। गैर-आर्किमिडीयन मूल्यांकन को $v<\infty$ या $v\nmid \infty$ के रूप में लिखा जाता है और आर्किमिडीयन मूल्यांकन को $v|\infty .$ के रूप में लिखा जाता है, तत्पश्चात मान लें कि सभी मूल्यांकन गैर-तुच्छ हैं।

मूल्यांकन और निरपेक्ष मानों के विभिन्न प्रमाण है। स्थिरांक $C>1,$ को निश्चित करें, मूल्यांकन $v$ को निरपेक्ष मान $|\cdot |_{v},$ दिया गया है, जिसे इस प्रकार परिभाषित किया गया है-

$\forall x\in K:\quad |x|_{v}:={\begin{cases}C^{-v(x)}&x\neq 0\\0&x=0\end{cases}}$

इसके विपरीत, निरपेक्ष मान $|\cdot |$ को मूल्यांकन $v_{|\cdot |},$ के रूप में परिभाषित किया गया है-

$\forall x\in K^{\times }:\quad v_{|\cdot |}(x):=-\log _{C}(|x|).$

$K$ का बीजगणितीय संख्या सिद्धांत $K$ के मूल्यांकन (या निरपेक्ष मान) के समतुल्य वर्ग का प्रतिनिधि है। गैर-आर्किमिडीयन मूल्यांकनों के अनुरूप स्थानों को परिमित कहा जाता है, यद्यपि आर्किमिडीयन मूल्यांकनों के अनुरूप स्थानों को अनंत कहा जाता है। वैश्विक क्षेत्र के अनंत स्थान परिमित समुच्चय बनाते हैं, जिसे $P_{\infty }.$ द्वारा निरूपित किया जाता है।

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

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

मान लीजिए $L/K$ वैश्विक क्षेत्र $K$ का परिमित विस्तार है। मान लीजिए $w$, $L$ का स्थान है और $v$, $K$ का स्थान है। यदि $K$ तक सीमित निरपेक्ष मान $|\cdot |_{w}$, $v$ के समतुल्य वर्ग में है, तो $w$, $v$ के ऊपर स्थित होता है, जिसे $w|v,$ द्वारा निरूपित किया जाता है और इसे इस प्रकार परिभाषित किया जाता है-

${\begin{aligned}L_{v}&:=\prod _{w|v}L_{w},\\{\widetilde {O_{v}}}&:=\prod _{w|v}O_{w}.\end{aligned}}$

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

यदि $w|v$, $K_{v}$ को $L_{w}.$ में एम्बेड किया जा सकता है। इसलिए $K_{v}$, $L_{v}$ में विकर्णीय रूप से सन्निहित है। इस एम्बेडिंग $L_{v}$ के साथ $K_{v}$ पर डिग्री का क्रमविनिमेय बीजगणित है-

$\sum _{w|v}[L_{w}:K_{v}]=[L:K].$

एडेल रिंग

वैश्विक क्षेत्र $K$ निरूपित $\mathbb {A} _{K,{\text{fin}}},$ के परिमित एडेल के समुच्चय को $O_{v}$ के संबंध में $K_{v}$ के प्रतिबंधित गुणनफल के रूप में परिभाषित किया गया है-

$\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\}.$

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

$U=\prod _{v\in E}U_{v}\times \prod _{v\notin E}O_{v}\subset {\prod _{v<\infty }}^{'}K_{v},$

जहाँ $E$ (परिमित) स्थानों का परिमित समुच्चय है और $U_{v}\subset K_{v}$ विवृत हैं। घटक के अनुसार जोड़ और गुणन के साथ $\mathbb {A} _{K,{\text{fin}}}$ भी वलय है।

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

$\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}.$

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

$\mathbb {A} _{K}={\prod _{v}}^{'}K_{v},$

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

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

लेम्मा- विकर्ण मानचित्र $a\mapsto (a,a,\ldots ).$ द्वारा दिए गए $\mathbb {A} _{K}$ में $K$ का स्वाभाविक बन्धन है।

प्रमाण- यदि $a\in K,$ तब प्रायः सभी $v$ के लिए $a\in O_{v}^{\times }$ है, इससे ज्ञात होता है कि मानचित्र उचित रूप से परिभाषित है। यह अंतःक्षेपक भी है क्योंकि $K_{v}$ में $K$ का एम्बेडिंग सभी $v$ के लिए अंतःक्षेपक है।

टिप्पणी- विकर्ण मानचित्र के नीचे अपनी छवि के साथ $K$ को प्रमाणित करके इसे $\mathbb {A} _{K}.$ का उपसमूह माना जाता है। $K$ के तत्वों को $\mathbb {A} _{K}.$ का प्रमुख एडेल कहा जाता है।

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

$\mathbb {A} _{K,S}:={\prod _{v\in S}}^{'}K_{v}.$

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

$\mathbb {A} _{K}^{S}:={\prod _{v\notin S}}^{'}K_{v}$

तो परिणाम है- $\mathbb {A} _{K}=\mathbb {A} _{K,S}\times \mathbb {A} _{K}^{S}.$

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

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

$\forall x\in \mathbb {Q} :\quad |x|_{\infty }:={\begin{cases}x&x\geq 0\\-x&x<0\end{cases}}$

स्थान $p$ के संबंध में $\mathbb {Q}$ की पूर्णता मूल्यांकन रिंग $\mathbb {Z} _{p}.$ के साथ $\mathbb {Q} _{p}$ है। स्थान $\infty$ के लिए पूर्णता $\mathbb {R} .$ है। इस प्रकार-

${\begin{aligned}\mathbb {A} _{\mathbb {Q} ,{\text{fin}}}&={\prod _{p<\infty }}^{'}\mathbb {Q} _{p}\\\mathbb {A} _{\mathbb {Q} }&=\left({\prod _{p<\infty }}^{'}\mathbb {Q} _{p}\right)\times \mathbb {R} \end{aligned}}$

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

$\mathbb {A} _{\mathbb {Q} }={\prod _{p\leq \infty }}^{'}\mathbb {Q} _{p},\qquad \mathbb {Q} _{\infty }:=\mathbb {R} .$

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

लेम्मा- $\mathbb {A} _{\mathbb {Q} }$ में निम्नलिखित अनुक्रम पर विचार करें,

${\begin{aligned}x_{1}&=\left({\frac {1}{2}},1,1,\ldots \right)\\x_{2}&=\left(1,{\frac {1}{3}},1,\ldots \right)\\x_{3}&=\left(1,1,{\frac {1}{5}},1,\ldots \right)\\x_{4}&=\left(1,1,1,{\frac {1}{7}},1,\ldots \right)\\&\vdots \end{aligned}}$

गुणनफल टोपोलॉजी में यह अभिसरण करता है $(1,1,\ldots )$, किन्तु यह प्रतिबंधित गुणनफल टोपोलॉजी में अभिसरण नहीं करता है।

प्रमाण- गुणनफल टोपोलॉजी में अभिसरण प्रत्येक समन्वय में अभिसरण से युग्मित होता है, जो महत्वहीन है क्योंकि अनुक्रम स्थिर हो जाते हैं। अनुक्रम प्रतिबंधित गुणनफल टोपोलॉजी में परिवर्तित नहीं होता है। प्रत्येक एडेल के लिए $a=(a_{p})_{p}\in \mathbb {A} _{\mathbb {Q} }$ और प्रत्येक प्रतिबंधित विवृत आयत के लिए $\textstyle U=\prod _{p\in E}U_{p}\times \prod _{p\notin E}\mathbb {Z} _{p},$ इसमें $a_{p}\in \mathbb {Z} _{p}$ के लिए ${\tfrac {1}{p}}-a_{p}\notin \mathbb {Z} _{p}$ है और इसलिए सभी $p\notin F.$ के लिए ${\tfrac {1}{p}}-a_{p}\notin \mathbb {Z} _{p}$ है। परिणामस्वरूप प्रायः सभी $n\in \mathbb {N} .$ के लिए $x_{n}-a\notin U$ है। इस विचार में, $E$ और $F$ सभी स्थानों के समुच्चय के परिमित उपसमुच्चय हैं।

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

परिभाषा (अनंत पूर्णांक)- अनंत पूर्णांकों को आंशिक क्रम $n\geq m\Leftrightarrow m|n,$ के साथ रिंग $\mathbb {Z} /n\mathbb {Z}$ की अनंत पूर्णता के रूप में परिभाषित किया गया है। अर्थात,

${\widehat {\mathbb {Z} }}:=\varprojlim _{n}\mathbb {Z} /n\mathbb {Z} ,$

लेम्मा- $\textstyle {\widehat {\mathbb {Z} }}\cong \prod _{p}\mathbb {Z} _{p}.$

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

लेम्मा- $\mathbb {A} _{\mathbb {Q} ,{\text{fin}}}={\widehat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q} .$

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

${\begin{cases}\Psi :{\widehat {\mathbb {Z} }}\times \mathbb {Q} \to \mathbb {A} _{\mathbb {Q} ,{\text{fin}}}\\\left((a_{p})_{p},q\right)\mapsto (a_{p}q)_{p}\end{cases}}$

यह उचित रूप से परिभाषित है क्योंकि किसी दिए गए $q={\tfrac {m}{n}}\in \mathbb {Q}$ के लिए $m,n$ सह-अभाज्य के साथ केवल $n.$ को विभाजित करने वाले कई अभाज्य हैं। मान लीजिए $M$, $\mathbb {Z}$-द्विरैखिक मानचित्र $\Phi :{\widehat {\mathbb {Z} }}\times \mathbb {Q} \to M.$ के साथ $\mathbb {Z}$-मॉड्यूल है। यह स्थिति होनी चाहिए कि $\Phi$ गुणक के माध्यम से $\Psi$ विशिष्ट रूप से उपस्थित है अर्थात अद्वितीय $\mathbb {Z}$-रैखिक मानचित्र ${\tilde {\Phi }}:\mathbb {A} _{\mathbb {Q} ,{\text{fin}}}\to M$ उपस्थित है जैसे कि $\Phi ={\tilde {\Phi }}\circ \Psi .$ ${\tilde {\Phi }}$ को निम्नानुसार परिभाषित किया जा सकता है: दिए गए $(u_{p})_{p}$ के लिए $u\in \mathbb {N}$ और $(v_{p})_{p}\in {\widehat {\mathbb {Z} }}$ उपस्थित हैं जैसे कि सभी $p.$ के लिए $u_{p}={\tfrac {1}{u}}\cdot v_{p}$ है। ${\tilde {\Phi }}((u_{p})_{p}):=\Phi ((v_{p})_{p},{\tfrac {1}{u}}).$ को परिभाषित करें। ${\tilde {\Phi }}$ उचित रूप से परिभाषित है, $\mathbb {Z}$-रैखिक $\Phi ={\tilde {\Phi }}\circ \Psi$ को संतुष्ट करता है और इन गुणों के साथ यह अद्वितीय है।

परिणाम- $\mathbb {A} _{\mathbb {Z} }:={\widehat {\mathbb {Z} }}\times \mathbb {R} .$ को परिभाषित करें, जिसका परिणाम बीजगणितीय तुल्याकारिता $\mathbb {A} _{\mathbb {Q} }\cong \mathbb {A} _{\mathbb {Z} }\otimes _{\mathbb {Z} }\mathbb {Q} .$ होता है।

प्रमाण- $\mathbb {A} _{\mathbb {Z} }\otimes _{\mathbb {Z} }\mathbb {Q} =\left({\widehat {\mathbb {Z} }}\times \mathbb {R} \right)\otimes _{\mathbb {Z} }\mathbb {Q} \cong \left({\widehat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q} \right)\times (\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {Q} )\cong \left({\widehat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q} \right)\times \mathbb {R} =\mathbb {A} _{\mathbb {Q} ,{\text{fin}}}\times \mathbb {R} =\mathbb {A} _{\mathbb {Q} }.$

लेम्मा- संख्या क्षेत्र के लिए $K,\mathbb {A} _{K}=\mathbb {A} _{\mathbb {Q} }\otimes _{\mathbb {Q} }K.$

टिप्पणी- $\mathbb {A} _{\mathbb {Q} }\otimes _{\mathbb {Q} }K\cong \mathbb {A} _{\mathbb {Q} }\oplus \dots \oplus \mathbb {A} _{\mathbb {Q} },$ का उपयोग करते हुए, जहां $[K:\mathbb {Q} ]$ योग हैं, दाईं ओर गुणनफल टोपोलॉजी प्राप्त करता है और इस टोपोलॉजी को $\mathbb {A} _{\mathbb {Q} }\otimes _{\mathbb {Q} }K.$ पर आइसोमोर्फिज्म के माध्यम से ट्रांसपोर्ट करता है।

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

यदि $L/K$ परिमित विस्तार है, और $L$ वैश्विक क्षेत्र है। इस प्रकार $\mathbb {A} _{L}$ परिभाषित किया गया है, और $\textstyle \mathbb {A} _{L}={\prod _{v}}^{'}L_{v}.$ है। $\mathbb {A} _{K}$ की पहचान $\mathbb {A} _{L}$ के उपसमूह से की जा सकती है। मानचित्र $a=(a_{v})_{v}\in \mathbb {A} _{K}$ और $a'=(a'_{w})_{w}\in \mathbb {A} _{L}$ जहाँ, $w|v.$ के लिए $a'_{w}=a_{v}\in K_{v}\subset L_{w}$ है, तब $a=(a_{w})_{w}\in \mathbb {A} _{L}$ उपसमूह $\mathbb {A} _{K},$ में है, यदि $w|v$ के लिए $a_{w}\in K_{v}$ और $w,w'$ के लिए $a_{w}=a_{w'}$, $K$ के समान स्थान $v$ के ऊपर स्थित है।

लेम्मा- यदि $L/K$ परिमित विस्तार है, तो बीजगणितीय और स्थैतिक रूप से $\mathbb {A} _{L}\cong \mathbb {A} _{K}\otimes _{K}L$ है

इस समरूपता की सहायता से, समावेशन $\mathbb {A} _{K}\subset \mathbb {A} _{L}$ द्वारा दिया गया है

${\begin{cases}\mathbb {A} _{K}\to \mathbb {A} _{L}\\\alpha \mapsto \alpha \otimes _{K}1\end{cases}}$

इसके अतिरिक्त, $\mathbb {A} _{K}$ में मुख्य एडेल्स को मानचित्र के माध्यम से $\mathbb {A} _{L}$ में मुख्य एडेल्स के उपसमूह के साथ पहचाना जा सकता है-

${\begin{cases}K\to (K\otimes _{K}L)\cong L\\\alpha \mapsto 1\otimes _{K}\alpha \end{cases}}$

प्रमाण- मान लीजिए $\omega _{1},\ldots ,\omega _{n}$, $K$ पर $L$ का आधार है। तब $v,$ के लिए,

${\widetilde {O_{v}}}\cong O_{v}\omega _{1}\oplus \cdots \oplus O_{v}\omega _{n}.$

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

$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}$

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

${\begin{cases}K_{v}\otimes _{K}L\to L_{v}\\\alpha _{v}\otimes a\mapsto (\alpha _{v}\cdot (\tau _{w}(a)))_{w}\end{cases}}$

जिसमें $\tau _{w}:L\to L_{w}$ विहित एम्बेडिंग और $w|v.$ है, प्रतिबंधित गुणनफल ${\widetilde {O_{v}}}:$ के संबंध में दोनों पक्षों को लिया जाता है-

${\begin{aligned}\mathbb {A} _{K}\otimes _{K}L&=\left({\prod _{v}}^{'}K_{v}\right)\otimes _{K}L\\&\cong {\prod _{v}}^{'}(K_{v}\omega _{1}\oplus \cdots \oplus K_{v}\omega _{n})\\&\cong {\prod _{v}}^{'}(K_{v}\otimes _{K}L)\\&\cong {\prod _{v}}^{'}L_{v}\\&=\mathbb {A} _{L}\end{aligned}}$

परिणाम- योगात्मक समूहों के रूप में $\mathbb {A} _{L}\cong \mathbb {A} _{K}\oplus \cdots \oplus \mathbb {A} _{K},$ जहां दाईं ओर $[L:K]$ योग होता है।

$\mathbb {A} _{L}$ में प्रधान एडेल्स के समुच्चय को $K\oplus \cdots \oplus K,$ के साथ प्रमाणित किया जाता है, जहां बाईं ओर $[L:K]$ सारांश होता है और $K$ को $\mathbb {A} _{K}.$ के उपसमुच्चय के रूप में माना जाता है।

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

लेम्मा- मान लीजिए $P\supset P_{\infty }$, $K$ के स्थानों का परिमित समुच्चय है और परिभाषित करें

$\mathbb {A} _{K}(P):=\prod _{v\in P}K_{v}\times \prod _{v\notin P}O_{v}.$

$\mathbb {A} _{K}(P)$ को गुणनफल टोपोलॉजी से सुसज्जित करें और जोड़ और गुणन को घटक के अनुसार परिभाषित करें। तब $\mathbb {A} _{K}(P)$ स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल रिंग है।

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

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

$\mathbb {A} _{K}=\bigcup _{P\supset P_{\infty },|P|<\infty }\mathbb {A} _{K}(P).$

समान रूप से $\mathbb {A} _{K}$ सभी $x=(x_{v})_{v}$ का समुच्चय है जिससे कि लगभग सभी $v<\infty .$ के लिए $|x_{v}|_{v}\leq 1$ है। $\mathbb {A} _{K}$ की टोपोलॉजी इस आवश्यकता से प्रेरित है कि सभी $\mathbb {A} _{K}(P)$, $\mathbb {A} _{K}$ के विवृत उपवलय है। इस प्रकार, $\mathbb {A} _{K}$ स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल रिंग है।

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

$\mathbb {A} _{K}'(P,v):=\prod _{w\in P\setminus \{v\}}K_{w}\times \prod _{w\notin P}O_{w}.$

तब:

$\mathbb {A} _{K}(P)\cong K_{v}\times \mathbb {A} _{K}'(P,v).$

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

$\mathbb {A} _{K}'(v):=\bigcup _{P\supset P_{\infty }\cup \{v\}}\mathbb {A} _{K}'(P,v),$

जहाँ $P$, $P_{\infty }\cup \{v\}.$ युक्त सभी परिमित समुच्चयों के माध्यम से चलता है। तब मानचित्र $(a_{w})_{w}\mapsto (a_{v},(a_{w})_{w\neq v}).$ के माध्यम से

$\mathbb {A} _{K}\cong K_{v}\times \mathbb {A} _{K}'(v),$

उपर्युक्त पूर्ण प्रक्रिया $\{v\}.$ के अतिरिक्त परिमित उपसमुच्चय ${\widetilde {P}}$ के साथ है।

$\mathbb {A} _{K}'(v),$ के निर्माण से वास्तविक एम्बेडिंग है: $K_{v}\hookrightarrow \mathbb {A} _{K}.$ इसके अतिरिक्त, वास्तविक प्रक्षेपण $\mathbb {A} _{K}\twoheadrightarrow K_{v}.$ उपस्थित है।

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

मान लीजिए $E$, $K$ पर परिमित आयामी सदिश-समष्टि है और $\{\omega _{1},\ldots ,\omega _{n}\}$, $K$ पर $E$ का आधार है। $K$ के प्रत्येक स्थान $v$ के लिए-

${\begin{aligned}E_{v}&:=E\otimes _{K}K_{v}\cong K_{v}\omega _{1}\oplus \cdots \oplus K_{v}\omega _{n}\\{\widetilde {O_{v}}}&:=O_{v}\omega _{1}\oplus \cdots \oplus O_{v}\omega _{n}\end{aligned}}$

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

$\mathbb {A} _{E}:={\prod _{v}}^{'}E_{v}.$

यह परिभाषा एडेल रिंग के वैकल्पिक विवरण पर आधारित है, जो उसी टोपोलॉजी से सुसज्जित टेंसर गुणनफल है जिसे संख्या क्षेत्रों के लिए एडेल रिंग की वैकल्पिक परिभाषा देते समय परिभाषित किया गया था। $\mathbb {A} _{E}$ प्रतिबंधित गुणनफल टोपोलॉजी से सुसज्जित है। तब $\mathbb {A} _{E}=E\otimes _{K}\mathbb {A} _{K}$ और $E$ स्वाभाविक रूप से मानचित्र $e\mapsto e\otimes 1.$ के माध्यम से $\mathbb {A} _{E}$ में एम्बेडेड है।

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

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

${\begin{aligned}\mathbb {A} _{E}&=E\otimes _{K}\mathbb {A} _{K}\\&\cong (K\otimes _{K}\mathbb {A} _{K})\oplus \cdots \oplus (K\otimes _{K}\mathbb {A} _{K})\\&\cong \mathbb {A} _{K}\oplus \cdots \oplus \mathbb {A} _{K}\end{aligned}}$

जहां $n$ योग है। $E=L,$ की स्तिथि में उपरोक्त परिभाषा परिमित विस्तार $L/K.$ के एडेल रिंग के परिणामों के अनुरूप है।

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

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

$\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).$

परिणाम के रूप में, $\mathbb {A} _{A}$ बीजगणित है जिसकी इकाई $\mathbb {A} _{K}$ अधिक है। मान लीजिए ${\mathcal {B}}$, $A$ का परिमित उपसमुच्चय है, जिसमें $K$, $A$ का आधार है। किसी परिमित स्थान $v$ के लिए, $M_{v}$ को $A_{v}.$ में ${\mathcal {B}}$ द्वारा उत्पन्न $O_{v}$-मॉड्यूल के रूप में परिभाषित किया गया है। $P\supset P_{\infty },$ स्थानों के प्रत्येक परिमित समुच्चय के लिए, परिभाषित करें,

$\mathbb {A} _{A}(P,\alpha )=\prod _{v\in P}A_{v}\times \prod _{v\notin P}M_{v}.$

परिमित समुच्चय $P_{0},$ है जिससे कि $\mathbb {A} _{A}(P,\alpha )$, $\mathbb {A} _{A},$ का विवृत उपवलय है यदि $P\supset P_{0}.$ है। इसके अतिरिक्त $\mathbb {A} _{A}$ इन सभी उपवलयों का संघ है और $A=K,$ लिए उपरोक्त परिभाषा एडेल रिंग के अनुरूप है।

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

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

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

$\operatorname {con} _{M/K}(\alpha )=\operatorname {con} _{M/L}(\operatorname {con} _{L/K}(\alpha ))\qquad \forall \alpha \in \mathbb {A} _{K}.$

इसके अतिरिक्त, मुख्य एडेल्स $\operatorname {con}$ तक ही परिमित है, वास्तविक अन्तःक्षेपण $K\to L.$ है।

मान लीजिए $\{\omega _{1},\ldots ,\omega _{n}\}$ क्षेत्र विस्तार $L/K$ का आधार है। तब प्रत्येक $\alpha \in \mathbb {A} _{L}$ को $\textstyle \sum _{j=1}^{n}\alpha _{j}\omega _{j},$ के रूप में लिखा जा सकता है जहाँ $\alpha _{j}\in \mathbb {A} _{K}$ अद्वितीय हैं। मानचित्र $\alpha \mapsto \alpha _{j}$ निरंतर है। समीकरणों के माध्यम से $\alpha$ के आधार पर $\alpha _{ij}$ परिभाषित करें-

${\begin{aligned}\alpha \omega _{1}&=\sum _{j=1}^{n}\alpha _{1j}\omega _{j}\\&\vdots \\\alpha \omega _{n}&=\sum _{j=1}^{n}\alpha _{nj}\omega _{j}\end{aligned}}$

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

${\begin{aligned}\operatorname {Tr} _{L/K}(\alpha )&:=\operatorname {Tr} ((\alpha _{ij})_{i,j})=\sum _{i=1}^{n}\alpha _{ii}\\N_{L/K}(\alpha )&:=N((\alpha _{ij})_{i,j})=\det((\alpha _{ij})_{i,j})\end{aligned}}$

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

${\begin{cases}\mathbb {A} _{L}\to \mathbb {A} _{L}\\x\mapsto \alpha x\end{cases}}$

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

${\begin{aligned}\operatorname {Tr} _{L/K}(\alpha +\beta )&=\operatorname {Tr} _{L/K}(\alpha )+\operatorname {Tr} _{L/K}(\beta )&&\forall \alpha ,\beta \in \mathbb {A} _{L}\\\operatorname {Tr} _{L/K}(\operatorname {con} (\alpha ))&=n\alpha &&\forall \alpha \in \mathbb {A} _{K}\\N_{L/K}(\alpha \beta )&=N_{L/K}(\alpha )N_{L/K}(\beta )&&\forall \alpha ,\beta \in \mathbb {A} _{L}\\N_{L/K}(\operatorname {con} (\alpha ))&=\alpha ^{n}&&\forall \alpha \in \mathbb {A} _{K}\end{aligned}}$

इसके अतिरिक्त, $\alpha \in L,$ के लिए $\operatorname {Tr} _{L/K}(\alpha )$ और $N_{L/K}(\alpha )$ क्षेत्र विस्तार $L/K$ के ट्रेस और मानदंड के समान हैं। $M/L/K,$ क्षेत्रों के टावर के लिए, परिणाम है:

${\begin{aligned}\operatorname {Tr} _{L/K}(\operatorname {Tr} _{M/L}(\alpha ))&=\operatorname {Tr} _{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{aligned}}$

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

${\begin{aligned}\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}\\N_{L/K}(\alpha )&=\left(\prod _{w|v}N_{L_{w}/K_{v}}(\alpha _{w})\right)_{v}&&\forall \alpha \in \mathbb {A} _{L}\end{aligned}}$

एडेल रिंग के गुण

प्रमेय। स्थानों के हर सेट के लिए $S,\mathbb {A} _{K,S}$ स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल रिंग है।

टिप्पणी। उपरोक्त परिणाम वेक्टर-स्पेस और बीजगणित के एडेल रिंग के लिए भी लागू होता है $K.$

प्रमेय। $K$ असतत और सहसंबद्ध है $\mathbb {A} _{K}.$ विशेष रूप से, $K$ में बंद है $\mathbb {A} _{K}.$

प्रमाण। मामला साबित करो $K=\mathbb {Q} .$ जाहिर करना। $\mathbb {Q} \subset \mathbb {A} _{\mathbb {Q} }$ असतत है, यह पड़ोस के अस्तित्व को दर्शाने के लिए पर्याप्त है $0$ जिसमें कोई अन्य परिमेय संख्या नहीं है। सामान्य मामला अनुवाद के माध्यम से होता है। परिभाषित करना

$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 {\mathbb {Z} }}\times (-1,1).$

$U$ का खुला पड़ोस है $0\in \mathbb {A} _{\mathbb {Q} }.$ ऐसा दावा किया जाता है $U\cap \mathbb {Q} =\{0\}.$ मान लीजिए $\beta \in U\cap \mathbb {Q} ,$ तब $\beta \in \mathbb {Q}$ और $|\beta |_{p}\leq 1$ सभी के लिए $p$ और इसलिए $\beta \in \mathbb {Z} .$ इसके अतिरिक्त, $\beta \in (-1,1)$ और इसलिए $\beta =0.$ अगला, कॉम्पैक्टनेस दिखाने के लिए, परिभाषित करें:

$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 {\mathbb {Z} }}\times \left[-{\frac {1}{2}},{\frac {1}{2}}\right].$

प्रत्येक तत्व में $\mathbb {A} _{\mathbb {Q} }/\mathbb {Q}$ में प्रतिनिधि है $W,$ वह प्रत्येक के लिए है $\alpha \in \mathbb {A} _{\mathbb {Q} },$ वहां मौजूद $\beta \in \mathbb {Q}$ ऐसा है कि $\alpha -\beta \in W.$ मान लीजिए $\alpha =(\alpha _{p})_{p}\in \mathbb {A} _{\mathbb {Q} },$ मनमाना होना और $p$ जिसके लिए एक प्रमुख बनें $|\alpha _{p}|>1.$ तब मौजूद है $r_{p}=z_{p}/p^{x_{p}}$ साथ $z_{p}\in \mathbb {Z} ,x_{p}\in \mathbb {N}$ और $|\alpha _{p}-r_{p}|\leq 1.$ बदलना $\alpha$ साथ $\alpha -r_{p}$ और जाने $q\neq p$ एक और प्रधान बनें। तब:

$\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.$

अगला, यह दावा किया जा सकता है कि:

$|\alpha _{q}-r_{p}|_{q}\leq 1\Longleftrightarrow |\alpha _{q}|_{q}\leq 1.$

उलटा निहितार्थ तुच्छ सत्य है। निहितार्थ सत्य है, क्योंकि प्रबल त्रिभुज असमानता के दो पद समान हैं यदि दोनों पूर्णांकों के निरपेक्ष मान भिन्न हैं। परिणामस्वरूप, अभाज्य संख्याओं का (परिमित) सेट जिसके लिए घटक $\alpha$ में नहीं हैं $\mathbb {Z} _{p}$ 1 से कम हो जाता है। पुनरावृत्ति के साथ, यह अनुमान लगाया जा सकता है कि वहाँ मौजूद है $r\in \mathbb {Q}$ ऐसा है कि $\alpha -r\in {\widehat {\mathbb {Z} }}\times \mathbb {R} .$ अब सेलेक्ट करें $s\in \mathbb {Z}$ ऐसा है कि $\alpha _{\infty }-r-s\in \left[-{\tfrac {1}{2}},{\tfrac {1}{2}}\right].$ तब $\alpha -(r+s)\in W.$ निरंतर प्रक्षेपण $\pi :W\to \mathbb {A} _{\mathbb {Q} }/\mathbb {Q}$ विशेषण है, इसलिए $\mathbb {A} _{\mathbb {Q} }/\mathbb {Q} ,$ कॉम्पैक्ट सेट की निरंतर छवि के रूप में, कॉम्पैक्ट है।

परिणाम। मान लीजिए $E$ एक परिमित-आयामी वेक्टर-स्पेस ओवर हो $K.$ तब $E$ असतत और सहसंबद्ध है $\mathbb {A} _{E}.$

प्रमेय। निम्नलिखित माना जाता है:

• $\mathbb {A} _{\mathbb {Q} }=\mathbb {Q} +\mathbb {A} _{\mathbb {Z} }.$
• $\mathbb {Z} =\mathbb {Q} \cap \mathbb {A} _{\mathbb {Z} }.$
• $\mathbb {A} _{\mathbb {Q} }/\mathbb {Z}$ विभाज्य समूह है। :*$\mathbb {Q} \subset \mathbb {A} _{\mathbb {Q} ,{\text{fin}}}$ घना है।

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

परिभाषा से $\mathbb {A} _{\mathbb {Q} }/\mathbb {Z}$ यदि किसी के लिए विभाज्य है $n\in \mathbb {N}$ और $y\in \mathbb {A} _{\mathbb {Q} }/\mathbb {Z}$ समीकरण $nx=y$ एक समाधान है $x\in \mathbb {A} _{\mathbb {Q} }/\mathbb {Z} .$ दिखाने के लिए काफी है $\mathbb {A} _{\mathbb {Q} }$ विभाज्य है किन्तु यह तब से सच है $\mathbb {A} _{\mathbb {Q} }$ प्रत्येक निर्देशांक में सकारात्मक विशेषता वाला क्षेत्र है।

अंतिम कथन के लिए ध्यान दें कि $\mathbb {A} _{\mathbb {Q} ,{\text{fin}}}=\mathbb {Q} {\widehat {\mathbb {Z} }},$ क्योंकि तत्वों के निर्देशांक में भाजक की परिमित संख्या $\mathbb {A} _{\mathbb {Q} ,{\text{fin}}}$ तत्व के माध्यम से पहुँचा जा सकता है $q\in \mathbb {Q} .$ नतीजतन, यह दिखाने के लिए पर्याप्त है $\mathbb {Z} \subset {\widehat {\mathbb {Z} }}$ सघन है, वह प्रत्येक खुला उपसमुच्चय है $V\subset {\widehat {\mathbb {Z} }}$ का तत्व होता है $\mathbb {Z} .$ सामान्यता के नुकसान के बिना, यह माना जा सकता है कि

$V=\prod _{p\in E}\left(a_{p}+p^{l_{p}}\mathbb {Z} _{p}\right)\times \prod _{p\notin E}\mathbb {Z} _{p},$

क्योंकि $(p^{m}\mathbb {Z} _{p})_{m\in \mathbb {N} }$ की एक पड़ोस प्रणाली है $0$ में $\mathbb {Z} _{p}.$ चीनी अवशेष प्रमेय द्वारा मौजूद है $l\in \mathbb {Z}$ ऐसा है कि $l\equiv a_{p}{\bmod {p}}^{l_{p}}.$ चूंकि भिन्न अभाज्य संख्याओं की शक्तियाँ सहअभाज्य होती हैं, $l\in V$ अनुसरण करता है।

टिप्पणी। $\mathbb {A} _{\mathbb {Q} }/\mathbb {Z}$ विशिष्ट रूप से विभाज्य नहीं है। मान लीजिए $y=(0,0,\ldots )+\mathbb {Z} \in \mathbb {A} _{\mathbb {Q} }/\mathbb {Z}$ और $n\geq 2$ दिया जा। तब

${\begin{aligned}x_{1}&=(0,0,\ldots )+\mathbb {Z} \\x_{2}&=\left({\tfrac {1}{n}},{\tfrac {1}{n}},\ldots \right)+\mathbb {Z} \end{aligned}}$

दोनों समीकरण को संतुष्ट करते हैं $nx=y$ और स्पष्ट रूप से $x_{1}\neq x_{2}$ ($x_{2}$ अच्छी तरह से परिभाषित है, क्योंकि केवल बहुत से प्राइम विभाजित होते हैं $n$). इस मामले में, विशिष्ट रूप से विभाज्य होना मरोड़-मुक्त होने के बराबर है, जो कि सही नहीं है $\mathbb {A} _{\mathbb {Q} }/\mathbb {Z}$ तब से $nx_{2}=0,$ किन्तु $x_{2}\neq 0$ और $n\neq 0.$ टिप्पणी। चौथा कथन #सन्निकटन प्रमेय का एक विशेष मामला है।

=== एडेल रिंग === पर हार माप

परिभाषा। एक समारोह $f:\mathbb {A} _{K}\to \mathbb {C}$ सरल कहा जाता है अगर $\textstyle f=\prod _{v}f_{v},$ जहाँ $f_{v}:K_{v}\to \mathbb {C}$ मापने योग्य हैं और $f_{v}=\mathbf {1} _{O_{v}}$ लगभग सभी के लिए $v.$

प्रमेय। तब से $\mathbb {A} _{K}$ इसके अतिरिक्त एक स्थानीय रूप से कॉम्पैक्ट समूह है, एक योगात्मक हार उपाय है $dx$ पर $\mathbb {A} _{K}.$ इस उपाय को सामान्यीकृत किया जा सकता है जैसे कि प्रत्येक पूर्णांक सरल कार्य $\textstyle f=\prod _{v}f_{v}$ संतुष्ट:

$\int _{\mathbb {A} _{K}}f\,dx=\prod _{v}\int _{K_{v}}f_{v}\,dx_{v},$

जहाँ के लिए $v<\infty ,dx_{v}$ माप चालू है $K_{v}$ ऐसा है कि $O_{v}$ इकाई माप है और $dx_{\infty }$ लेबेस्ग उपाय है। गुणनफल परिमित है, अर्थात लगभग सभी गुणनखंड एक के बराबर हैं।

आदर्श समूह

परिभाषा। के आदर्श समूह को परिभाषित कीजिए $K$एडेल रिंग की इकाइयों के समूह के रूप में $K,$ वह है $I_{K}:=\mathbb {A} _{K}^{\times }.$ आइडल समूह के तत्वों को आइडल कहा जाता है $K.$टिप्पणी। $I_{K}$ एक टोपोलॉजी से लैस है ताकि यह एक टोपोलॉजिकल समूह बन जाए। सबसेट टोपोलॉजी विरासत में मिली है $\mathbb {A} _{K}$ एक उपयुक्त उम्मीदवार नहीं है क्योंकि सबसेट टोपोलॉजी से लैस एक टोपोलॉजिकल रिंग की इकाइयों का समूह एक टोपोलॉजिकल ग्रुप नहीं हो सकता है। उदाहरण के लिए, उलटा नक्शा में $\mathbb {A} _{\mathbb {Q} }$ निरंतर नहीं है। क्रम

${\begin{aligned}x_{1}&=(2,1,\ldots )\\x_{2}&=(1,3,1,\ldots )\\x_{3}&=(1,1,5,1,\ldots )\\&\vdots \end{aligned}}$

में विलीन हो जाता है $1\in \mathbb {A} _{\mathbb {Q} }.$ इसे देखने के लिए आइए $U$ का पड़ोस हो $0,$ व्यापकता के नुकसान के बिना यह माना जा सकता है:

$U=\prod _{p\leq N}U_{p}\times \prod _{p>N}\mathbb {Z} _{p}$

तब से $(x_{n})_{p}-1\in \mathbb {Z} _{p}$ सभी के लिए $p,$ $x_{n}-1\in U$ के लिए $n$ बहुत पर्याप्त। हालाँकि, जैसा कि ऊपर देखा गया था, इस क्रम का व्युत्क्रम में अभिसरण नहीं होता है $\mathbb {A} _{\mathbb {Q} }.$

लेम्मा। मान लीजिए $R$ एक टोपोलॉजिकल रिंग बनें। परिभाषित करना:

${\begin{cases}\iota :R^{\times }\to R\times R\\x\mapsto (x,x^{-1})\end{cases}}$

टोपोलॉजी पर गुणनफल से प्रेरित टोपोलॉजी से लैस $R\times R$ और $\iota ,R^{\times }$ एक सामयिक समूह और समावेशन मानचित्र है $R^{\times }\subset R$ निरंतर है। यह टोपोलॉजी से निकलने वाली सबसे मोटे टोपोलॉजी है $R,$ कि बनाता है $R^{\times }$ एक सामयिक समूह।

प्रमाण। तब से $R$ एक टोपोलॉजिकल रिंग है, यह दिखाने के लिए पर्याप्त है कि उलटा नक्शा निरंतर है। मान लीजिए $U\subset R^{\times }$ खुले रहो, फिर $U\times U^{-1}\subset R\times R$ खुला है। दिखाना जरूरी है $U^{-1}\subset R^{\times }$ खुला या समकक्ष है, वह $U^{-1}\times (U^{-1})^{-1}=U^{-1}\times U\subset R\times R$ खुला है। किन्तु यह ऊपर की शर्त है।

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

परिभाषा। के लिए $S$ के स्थानों का एक उपसमुच्चय $K$ तय करना: $I_{K,S}:=\mathbb {A} _{K,S}^{\times },I_{K}^{S}:=(\mathbb {A} _{K}^{S})^{\times }.$

लेम्मा। टोपोलॉजिकल समूहों की निम्नलिखित पहचान है:

${\begin{aligned}I_{K,S}&={\prod _{v\in S}}^{'}K_{v}^{\times }\\I_{K}^{S}&={\prod _{v\notin S}}^{'}K_{v}^{\times }\\I_{K}&={\prod _{v}}^{'}K_{v}^{\times }\end{aligned}}$

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

$\prod _{v\in E}U_{v}\times \prod _{v\notin E}O_{v}^{\times },$

जहाँ $E$ सभी स्थानों के समुच्चय का एक परिमित उपसमुच्चय है और $U_{v}\subset K_{v}^{\times }$ खुले सेट हैं।

प्रमाण। के लिए पहचान सिद्ध करें $I_{K}$; अन्य दो समान रूप से अनुसरण करते हैं। पहले दिखाएं कि दो सेट बराबर हैं:

${\begin{aligned}I_{K}&=\{x=(x_{v})_{v}\in \mathbb {A} _{K}:\exists y=(y_{v})_{v}\in \mathbb {A} _{K}:xy=1\}\\&=\{x=(x_{v})_{v}\in \mathbb {A} _{K}:\exists y=(y_{v})_{v}\in \mathbb {A} _{K}:x_{v}\cdot y_{v}=1\quad \forall v\}\\&=\{x=(x_{v})_{v}:x_{v}\in K_{v}^{\times }\forall v{\text{ and }}x_{v}\in O_{v}^{\times }{\text{ for almost all }}v\}\\&={\prod _{v}}^{'}K_{v}^{\times }\end{aligned}}$

लाइन 2 से 3 तक जाने में, $x$ साथ ही $x^{-1}=y$ में होना है $\mathbb {A} _{K},$ अर्थ $x_{v}\in O_{v}$ लगभग सभी के लिए $v$ और $x_{v}^{-1}\in O_{v}$ लगभग सभी के लिए $v.$ इसलिए, $x_{v}\in O_{v}^{\times }$ लगभग सभी के लिए $v.$ अब, बाईं ओर की टोपोलॉजी को दाहिनी ओर की टोपोलॉजी के बराबर दिखाना संभव है। जाहिर है, आइडल समूह की टोपोलॉजी में हर खुला प्रतिबंधित आयत खुला है। दूसरी ओर, दिए गए के लिए $U\subset I_{K},$ जो आइडल समूह की टोपोलॉजी में खुला है, जिसका अर्थ है $U\times U^{-1}\subset \mathbb {A} _{K}\times \mathbb {A} _{K}$ खुला है, इसलिए प्रत्येक के लिए $u\in U$ एक खुला प्रतिबंधित आयत मौजूद है, जो इसका एक उपसमुच्चय है $U$ और शामिल है $u.$ इसलिए, $U$ इन सभी प्रतिबंधित खुले आयतों का संघ है और इसलिए प्रतिबंधित गुणनफल टोपोलॉजी में खुला है।

लेम्मा। स्थानों के प्रत्येक सेट के लिए, $S,I_{K,S}$ स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल समूह है।

प्रमाण। स्थानीय कॉम्पैक्टनेस के विवरण से इस प्रकार है $I_{K,S}$ एक प्रतिबंधित गुणनफल के रूप में। यह एक टोपोलॉजिकल समूह होने के नाते एक टोपोलॉजिकल रिंग की इकाइयों के समूह पर उपरोक्त चर्चा से अनुसरण करता है।

की एक पड़ोस प्रणाली $1\in \mathbb {A} _{K}(P_{\infty })^{\times }$ की एक पड़ोस प्रणाली है $1\in I_{K}.$ वैकल्पिक रूप से, फॉर्म के सभी सेट लें:

$\prod _{v}U_{v},$

जहाँ $U_{v}$ का पड़ोस है $1\in K_{v}^{\times }$ और $U_{v}=O_{v}^{\times }$ लगभग सभी के लिए $v.$ चूंकि आदर्श समूह स्थानीय रूप से कॉम्पैक्ट है, इसलिए हार माप मौजूद है $d^{\times }x$ इस पर। इसे सामान्य किया जा सकता है, ताकि

$\int _{I_{K,{\text{fin}}}}\mathbf {1} _{\widehat {O}}\,d^{\times }x=1.$

यह परिमित स्थानों के लिए प्रयुक्त सामान्यीकरण है। इस समीकरण में, $I_{K,{\text{fin}}}$ परिमित आइडल समूह है, जिसका अर्थ परिमित एडेल रिंग की इकाइयों का समूह है। अनंत स्थानों के लिए, गुणक लेबेस्ग माप का उपयोग करें ${\tfrac {dx}{|x|}}.$

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

लेम्मा। मान लीजिए $L/K$ एक सीमित विस्तार हो। तब:

$I_{L}={\prod _{v}}^{'}L_{v}^{\times }.$

जहां प्रतिबंधित गुणनफल के संबंध में है ${\widetilde {O_{v}}}^{\times }.$

लेम्मा। का एक कैनोनिकल एम्बेडिंग है $I_{K}$ में $I_{L}.$

प्रमाण। नक्शा $a=(a_{v})_{v}\in I_{K}$ को $a'=(a'_{w})_{w}\in I_{L}$ संपत्ति के साथ $a'_{w}=a_{v}\in K_{v}^{\times }\subset L_{w}^{\times }$ के लिए $w|v.$ इसलिए, $I_{K}$ के उपसमूह के रूप में देखा जा सकता है $I_{L}.$ तत्व $a=(a_{w})_{w}\in I_{L}$ इस उपसमूह में है अगर और केवल अगर उसके घटक निम्नलिखित गुणों को पूरा करते हैं: $a_{w}\in K_{v}^{\times }$ के लिए $w|v$ और $a_{w}=a_{w'}$ के लिए $w|v$ और $w'|v$ उसी जगह के लिए $v$ का $K.$

वेक्टर रिक्त स्थान और बीजगणित का मामला

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

मान लीजिए $A$ एक परिमित आयामी बीजगणित हो $K.$ तब से $\mathbb {A} _{A}^{\times }$ सामान्य रूप से उपसमुच्चय-टोपोलॉजी के साथ एक टोपोलॉजिकल समूह नहीं है, सुसज्जित है $\mathbb {A} _{A}^{\times }$ टोपोलॉजी के समान $I_{K}$ ऊपर और कॉल करें $\mathbb {A} _{A}^{\times }$ आदर्श समूह। आइडल समूह के तत्वों को आइडेल ऑफ कहा जाता है $A.$

प्रस्ताव। मान लीजिए $\alpha$ का परिमित उपसमुच्चय हो $A,$ का आधार युक्त $A$ ऊपर $K.$ प्रत्येक परिमित स्थान के लिए $v$ का $K,$ मान लीजिए $\alpha _{v}$ हो $O_{v}$-मॉड्यूल द्वारा उत्पन्न $\alpha$ में $A_{v}.$ स्थानों का एक सीमित समूह मौजूद है $P_{0}$ युक्त $P_{\infty }$ ऐसा कि सभी के लिए $v\notin P_{0},$$\alpha _{v}$ का एक कॉम्पैक्ट उपवलय है $A_{v}.$ आगे, $\alpha _{v}$ रोकना $A_{v}^{\times }.$ प्रत्येक के लिए $v,A_{v}^{\times }$ का खुला उपसमुच्चय है $A_{v}$ और नक्शा $x\mapsto x^{-1}$ निरंतर चालू है $A_{v}^{\times }.$ एक परिणाम के रूप में $x\mapsto (x,x^{-1})$ एमएपीएस $A_{v}^{\times }$ होमोमोर्फिक रूप से इसकी छवि पर $A_{v}\times A_{v}.$ प्रत्येक के लिए $v\notin P_{0},$ $\alpha _{v}^{\times }$ के तत्व हैं $A_{v}^{\times },$ मानचित्रण में $\alpha _{v}\times \alpha _{v}$ उपरोक्त समारोह के साथ। इसलिए, $\alpha _{v}^{\times }$ का एक खुला और कॉम्पैक्ट उपसमूह है $A_{v}^{\times }.$

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

प्रस्ताव। मान लीजिए $P\supset P_{\infty }$ स्थानों का एक परिमित समूह हो। तब

$\mathbb {A} _{A}(P,\alpha )^{\times }:=\prod _{v\in P}A_{v}^{\times }\times \prod _{v\notin P}\alpha _{v}^{\times }$

का एक खुला उपसमूह है $\mathbb {A} _{A}^{\times },$ जहाँ $\mathbb {A} _{A}^{\times }$ सबका संघ है $\mathbb {A} _{A}(P,\alpha )^{\times }.$

परिणाम। के विशेष मामले में $A=K$ स्थानों के प्रत्येक परिमित सेट के लिए $P\supset P_{\infty },$ ::$\mathbb {A} _{K}(P)^{\times }=\prod _{v\in P}K_{v}^{\times }\times \prod _{v\notin P}O_{v}^{\times }$

का एक खुला उपसमूह है $\mathbb {A} _{K}^{\times }=I_{K}.$ आगे, $I_{K}$ सबका संघ है $\mathbb {A} _{K}(P)^{\times }.$

आइडल ग्रुप पर नॉर्म

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

$\operatorname {con} _{L/K}:I_{K}\hookrightarrow I_{L}.$

तब से $\alpha \in I_{L},$ यह उलटा है, $N_{L/K}(\alpha )$ उलटा भी है, क्योंकि $(N_{L/K}(\alpha ))^{-1}=N_{L/K}(\alpha ^{-1}).$ इसलिए $N_{L/K}(\alpha )\in I_{K}.$ नतीजतन, मानदंड-फ़ंक्शन का प्रतिबंध एक सतत कार्य पेश करता है:

$N_{L/K}:I_{L}\to I_{K}.$

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

लेम्मा। का स्वाभाविक बन्धन है $K^{\times }$ में $I_{K,S}$ विकर्ण मानचित्र द्वारा दिया गया: $a\mapsto (a,a,a,\ldots ).$

प्रमाण। तब से $K^{\times }$ का उपसमुच्चय है $K_{v}^{\times }$ सभी के लिए $v,$ एम्बेडिंग अच्छी तरह से परिभाषित और इंजेक्शन है।

परिणाम। $A^{\times }$ का असतत उपसमूह है $\mathbb {A} _{A}^{\times }.$

परिभाषा। आदर्श वर्ग समूह के अनुरूप, के तत्व $K^{\times }$ में $I_{K}$ के प्रमुख आदर्श कहलाते हैं $I_{K}.$भागफल समूह $C_{K}:=I_{K}/K^{\times }$ का आदर्श वर्ग समूह कहलाता है $K.$ यह समूह आदर्श वर्ग समूह और आदर्श वर्ग समूह के बीच संबंध है और वर्ग क्षेत्र सिद्धांत में एक केंद्रीय वस्तु है।

टिप्पणी। $K^{\times }$ में बंद है $I_{K},$ इसलिए $C_{K}$ स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल ग्रुप और हौसडॉर्फ स्पेस है।

लेम्मा। मान लीजिए $L/K$ एक सीमित विस्तार हो। एम्बेडिंग $I_{K}\to I_{L}$ एक इंजेक्शन नक्शा प्रेरित करता है:

${\begin{cases}C_{K}\to C_{L}\\\alpha K^{\times }\mapsto \alpha L^{\times }\end{cases}}$

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

====K और 1-idele= के आदर्श समूह पर पूर्ण मूल्य

परिभाषा। के लिए $\alpha =(\alpha _{v})_{v}\in I_{K}$ परिभाषित करना: $\textstyle |\alpha |:=\prod _{v}|\alpha _{v}|_{v}.$ तब से $\alpha$ एक आदर्श है यह गुणनफल परिमित है और इसलिए अच्छी तरह से परिभाषित है।

टिप्पणी। परिभाषा को बढ़ाया जा सकता है $\mathbb {A} _{K}$ अनंत गुणनफलों की अनुमति देकर। हालाँकि, ये अनंत गुणनफल गायब हो जाते हैं और इसलिए $|\cdot |$ पर गायब हो जाता है $\mathbb {A} _{K}\setminus I_{K}.$ $|\cdot |$ दोनों कार्यों को निरूपित करने के लिए उपयोग किया जाएगा $I_{K}$ और $\mathbb {A} _{K}.$

प्रमेय। $|\cdot |:I_{K}\to \mathbb {R} _{+}$ एक सतत समूह समरूपता है।

प्रमाण। मान लीजिए $\alpha ,\beta \in I_{K}.$

${\begin{aligned}|\alpha \cdot \beta |&=\prod _{v}|(\alpha \cdot \beta )_{v}|_{v}\\&=\prod _{v}|\alpha _{v}\cdot \beta _{v}|_{v}\\&=\prod _{v}(|\alpha _{v}|_{v}\cdot |\beta _{v}|_{v})\\&=\left(\prod _{v}|\alpha _{v}|_{v}\right)\cdot \left(\prod _{v}|\beta _{v}|_{v}\right)\\&=|\alpha |\cdot |\beta |\end{aligned}}$

जहां इसका उपयोग किया जाता है कि सभी गुणनफल परिमित हैं। नक्शा निरंतर है जिसे अनुक्रमों से निपटने वाले तर्क का उपयोग करके देखा जा सकता है। यह समस्या को कम कर देता है कि क्या $|\cdot |$ निरंतर चालू है $K_{v}.$ हालाँकि, यह विपरीत त्रिभुज असमानता के कारण स्पष्ट है।

परिभाषा। के समुच्चय $1$-idele को इस प्रकार परिभाषित किया जा सकता है:

$I_{K}^{1}:=\{x\in I_{K}:|x|=1\}=\ker(|\cdot |).$

$I_{K}^{1}$ का एक उपसमूह है $I_{K}.$ तब से $I_{K}^{1}=|\cdot |^{-1}(\{1\}),$ यह का एक बंद उपसमुच्चय है $\mathbb {A} _{K}.$ अंततः $\mathbb {A} _{K}$-टोपोलॉजी चालू $I_{K}^{1}$ के सबसेट-टोपोलॉजी के बराबर है $I_{K}$ पर $I_{K}^{1}.$

आर्टिन का गुणनफल सूत्र। $|k|=1$ सभी के लिए $k\in K^{\times }.$

प्रमाण। संख्या क्षेत्रों के सूत्र का प्रमाण, वैश्विक कार्य क्षेत्रों का मामला इसी तरह सिद्ध किया जा सकता है। मान लीजिए $K$ एक संख्या क्षेत्र हो और $a\in K^{\times }.$ यह दिखाना होगा कि:

$\prod _{v}|a|_{v}=1.$

परिमित स्थान के लिए $v$ जिसके लिए संबंधित प्रमुख आदर्श ${\mathfrak {p}}_{v}$ विभाजित नहीं करता $(a)$, $v(a)=0$ और इसलिए $|a|_{v}=1.$ यह लगभग सभी के लिए मान्य है ${\mathfrak {p}}_{v}.$ वहाँ है:

${\begin{aligned}\prod _{v}|a|_{v}&=\prod _{p\leq \infty }\prod _{v|p}|a|_{v}\\&=\prod _{p\leq \infty }\prod _{v|p}|N_{K_{v}/\mathbb {Q} _{p}}(a)|_{p}\\&=\prod _{p\leq \infty }|N_{K/\mathbb {Q} }(a)|_{p}\end{aligned}}$

लाइन 1 से लाइन 2 तक जाने में, तत्समक $|a|_{w}=|N_{L_{w}/K_{v}}(a)|_{v},$ जहां इस्तेमाल किया गया था $v$ का स्थान है $K$ और $w$ का स्थान है $L,$ ऊपर पड़ा हुआ $v.$ लाइन 2 से लाइन 3 तक जाने पर, मानदंड की एक संपत्ति का उपयोग किया जाता है। आदर्श में है $\mathbb {Q}$ तो सामान्यता के नुकसान के बिना यह माना जा सकता है $a\in \mathbb {Q} .$ तब $a$ एक अद्वितीय पूर्णांक गुणनखंड के पास:

$a=\pm \prod _{p<\infty }p^{v_{p}},$

जहाँ $v_{p}\in \mathbb {Z}$ है $0$ लगभग सभी के लिए $p.$ ओस्ट्रोव्स्की के प्रमेय द्वारा सभी निरपेक्ष मूल्यों पर $\mathbb {Q}$ वास्तविक निरपेक्ष मान के बराबर हैं $|\cdot |_{\infty }$ या ए $p$-एडिक निरपेक्ष मूल्य। इसलिए:

${\begin{aligned}|a|&=\left(\prod _{p<\infty }|a|_{p}\right)\cdot |a|_{\infty }\\&=\left(\prod _{p<\infty }p^{-v_{p}}\right)\cdot \left(\prod _{p<\infty }p^{v_{p}}\right)\\&=1\end{aligned}}$

लेम्मा। एक स्थिर मौजूद है $C,$ पर ही निर्भर करता है $K,$ ऐसा कि प्रत्येक के लिए $\alpha =(\alpha _{v})_{v}\in \mathbb {A} _{K}$ संतुष्टि देने वाला $\textstyle \prod _{v}|\alpha _{v}|_{v}>C,$ वहां मौजूद $\beta \in K^{\times }$ ऐसा है कि $|\beta _{v}|_{v}\leq |\alpha _{v}|_{v}$ सभी के लिए $v.$

परिणाम। मान लीजिए $v_{0}$ का स्थान हो $K$ और जाने $\delta _{v}>0$ सभी के लिए दिया जाए $v\neq v_{0}$ संपत्ति के साथ $\delta _{v}=1$ लगभग सभी के लिए $v.$ तब मौजूद है $\beta \in K^{\times },$ ताकि $|\beta |\leq \delta _{v}$ सभी के लिए $v\neq v_{0}.$

प्रमाण। मान लीजिए $C$ लेम्मा से स्थिर रहें। मान लीजिए $\pi _{v}$ का एक समान तत्व हो $O_{v}.$ एडेल को परिभाषित करें $\alpha =(\alpha _{v})_{v}$ के जरिए $\alpha _{v}:=\pi _{v}^{k_{v}}$ साथ $k_{v}\in \mathbb {Z}$ न्यूनतम, ताकि $|\alpha _{v}|_{v}\leq \delta _{v}$ सभी के लिए $v\neq v_{0}.$ तब $k_{v}=0$ लगभग सभी के लिए $v.$ परिभाषित करना $\alpha _{v_{0}}:=\pi _{v_{0}}^{k_{v_{0}}}$ साथ $k_{v_{0}}\in \mathbb {Z} ,$ ताकि $\textstyle \prod _{v}|\alpha _{v}|_{v}>C.$ यह काम करता है, क्योंकि $k_{v}=0$ लगभग सभी के लिए $v.$ लेम्मा द्वारा मौजूद है $\beta \in K^{\times },$ ताकि $|\beta |_{v}\leq |\alpha _{v}|_{v}\leq \delta _{v}$ सभी के लिए $v\neq v_{0}.$

प्रमेय। $K^{\times }$ असतत और सहसंबद्ध है $I_{K}^{1}.$

प्रमाण। तब से $K^{\times }$ में असतत है $I_{K}$ यह असतत भी है $I_{K}^{1}.$ की सघनता सिद्ध करने के लिए $I_{K}^{1}/K^{\times }$ मान लीजिए $C$ लेम्मा का स्थिरांक है और मान लीजिए $\alpha \in \mathbb {A} _{K}$ संतुष्टि देने वाला $\textstyle \prod _{v}|\alpha _{v}|_{v}>C$ दिया हुआ है। परिभाषित करना:

$W_{\alpha }:=\left\{\xi =(\xi _{v})_{v}\in \mathbb {A} _{K}||\xi _{v}|_{v}\leq |\alpha _{v}|_{v}{\text{ for all }}v\right\}.$

स्पष्ट रूप से $W_{\alpha }$ कॉम्पैक्ट है। यह दावा किया जा सकता है कि प्राकृतिक प्रक्षेपण $W_{\alpha }\cap I_{K}^{1}\to I_{K}^{1}/K^{\times }$ विशेषण है। मान लीजिए $\beta =(\beta _{v})_{v}\in I_{K}^{1}$ मनमाना हो, फिर:

$|\beta |=\prod _{v}|\beta _{v}|_{v}=1,$

और इसलिए

$\prod _{v}|\beta _{v}^{-1}|_{v}=1.$

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

$\prod _{v}|\beta _{v}^{-1}\alpha _{v}|_{v}=\prod _{v}|\alpha _{v}|_{v}>C.$

लेम्मा द्वारा मौजूद है $\eta \in K^{\times }$ ऐसा है कि $|\eta |_{v}\leq |\beta _{v}^{-1}\alpha _{v}|_{v}$ सभी के लिए $v,$ और इसलिए $\eta \beta \in W_{\alpha }$ प्राकृतिक प्रक्षेपण की प्रक्षेपता साबित करना। चूंकि यह भी निरंतर है इसलिए कॉम्पैक्टनेस इस प्रकार है।

प्रमेय। एक विहित समरूपता है $I_{\mathbb {Q} }^{1}/\mathbb {Q} ^{\times }\cong {\widehat {\mathbb {Z} }}^{\times }.$ आगे, ${\widehat {\mathbb {Z} }}^{\times }\times \{1\}\subset I_{\mathbb {Q} }^{1}$ के लिए प्रतिनिधियों का समूह है $I_{\mathbb {Q} }^{1}/\mathbb {Q} ^{\times }$ और ${\widehat {\mathbb {Z} }}^{\times }\times (0,\infty )\subset I_{\mathbb {Q} }$ के लिए प्रतिनिधियों का समूह है $I_{\mathbb {Q} }/\mathbb {Q} ^{\times }.$

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

${\begin{cases}\phi :{\widehat {\mathbb {Z} }}^{\times }\to I_{\mathbb {Q} }^{1}/\mathbb {Q} ^{\times }\\(a_{p})_{p}\mapsto ((a_{p})_{p},1)\mathbb {Q} ^{\times }\end{cases}}$

यह नक्शा अच्छी तरह से परिभाषित है, क्योंकि $|a_{p}|_{p}=1$ सभी के लिए $p$ और इसलिए $\textstyle \left(\prod _{p<\infty }|a_{p}|_{p}\right)\cdot 1=1.$ ज़ाहिर तौर से $\phi$ एक सतत समूह समरूपता है। अब मान लीजिए $((a_{p})_{p},1)\mathbb {Q} ^{\times }=((b_{p})_{p},1)\mathbb {Q} ^{\times }.$ तब मौजूद है $q\in \mathbb {Q} ^{\times }$ ऐसा है कि $((a_{p})_{p},1)q=((b_{p})_{p},1).$ अनंत स्थान पर विचार करने से यह देखा जा सकता है $q=1$ इंजेक्शन सिद्ध करता है। प्रक्षेपण दिखाने के लिए चलो $((\beta _{p})_{p},\beta _{\infty })\mathbb {Q} ^{\times }\in I_{\mathbb {Q} }^{1}/\mathbb {Q} ^{\times }.$ इस तत्व का निरपेक्ष मान है $1$ और इसलिए

$|\beta _{\infty }|_{\infty }={\frac {1}{\prod _{p}|\beta _{p}|_{p}}}\in \mathbb {Q} .$

इस तरह $\beta _{\infty }\in \mathbb {Q}$ और वहां है:

$((\beta _{p})_{p},\beta _{\infty })\mathbb {Q} ^{\times }=\left(\left({\frac {\beta _{p}}{\beta _{\infty }}}\right)_{p},1\right)\mathbb {Q} ^{\times }.$

तब से

$\forall p:\qquad \left|{\frac {\beta _{p}}{\beta _{\infty }}}\right|_{p}=1,$

यह निष्कर्ष निकाला गया है $\phi$ विशेषण है।

प्रमेय। निरपेक्ष मान फ़ंक्शन टोपोलॉजिकल समूहों के निम्नलिखित समरूपता को प्रेरित करता है:

${\begin{aligned}I_{\mathbb {Q} }&\cong I_{\mathbb {Q} }^{1}\times (0,\infty )\\I_{\mathbb {Q} }^{1}&\cong I_{\mathbb {Q} ,{\text{fin}}}\times \{\pm 1\}.\end{aligned}}$

प्रमाण। आइसोमोर्फिज्म द्वारा दिया जाता है:

${\begin{cases}\psi :I_{\mathbb {Q} }\to I_{\mathbb {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_{\mathbb {Q} ,{\text{fin}}}\times \{\pm 1\}\to I_{\mathbb {Q} }^{1}\\(a_{\text{fin}},\varepsilon )\mapsto \left(a_{\text{fin}},{\frac {\varepsilon }{|a_{\text{fin}}|}}\right)\end{cases}}$

आदर्श वर्ग समूह और आदर्श वर्ग समूह के बीच संबंध

प्रमेय। मान लीजिए $K$ पूर्णांकों के वलय के साथ एक संख्या क्षेत्र हो $O,$ आंशिक आदर्शों का समूह $J_{K},$ और आदर्श वर्ग समूह $\operatorname {Cl} _{K}=J_{K}/K^{\times }.$ यहाँ निम्नलिखित समरूपताएँ हैं

${\begin{aligned}J_{K}&\cong I_{K,{\text{fin}}}/{\widehat {O}}^{\times }\\\operatorname {Cl} _{K}&\cong C_{K,{\text{fin}}}/{\widehat {O}}^{\times }K^{\times }\\\operatorname {Cl} _{K}&\cong C_{K}/\left({\widehat {O}}^{\times }\times \prod _{v|\infty }K_{v}^{\times }\right)K^{\times }\end{aligned}}$

जहाँ $C_{K,{\text{fin}}}:=I_{K,{\text{fin}}}/K^{\times }$ परिभाषित किया गया है।

प्रमाण। मान लीजिए $v$ का एक परिमित स्थान हो $K$ और जाने $|\cdot |_{v}$ समतुल्य वर्ग के प्रतिनिधि बनें $v.$ परिभाषित करना

${\mathfrak {p}}_{v}:=\{x\in O:|x|_{v}<1\}.$

तब ${\mathfrak {p}}_{v}$ में प्रमुख आदर्श है $O.$ वो नक्शा $v\mapsto {\mathfrak {p}}_{v}$ के परिमित स्थानों के बीच एक आक्षेप है $K$ और गैर-शून्य प्रधान आदर्श $O.$ व्युत्क्रम इस प्रकार दिया गया है: एक प्रमुख आदर्श ${\mathfrak {p}}$ मूल्यांकन के लिए मैप किया गया है $v_{\mathfrak {p}},$ द्वारा दिए गए

${\begin{aligned}v_{\mathfrak {p}}(x)&:=\max\{k\in \mathbb {N} _{0}:x\in {\mathfrak {p}}^{k}\}\quad \forall x\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{aligned}}$

निम्नलिखित नक्शा अच्छी तरह से परिभाषित है:

${\begin{cases}(\cdot ):I_{K,{\text{fin}}}\to J_{K}\\\alpha =(\alpha _{v})_{v}\mapsto \prod _{v<\infty }{\mathfrak {p}}_{v}^{v(\alpha _{v})},\end{cases}}$

वो नक्शा $(\cdot )$ स्पष्ट रूप से एक विशेषण समरूपता है और $\ker((\cdot ))={\widehat {O}}^{\times }.$ पहला समरूपता समरूपता पर मौलिक प्रमेय से आता है। अब, दोनों पक्षों को विभाजित किया गया है $K^{\times }.$ यह संभव है, क्योंकि

${\begin{aligned}(\alpha )&=((\alpha ,\alpha ,\dotsc ))\\&=\prod _{v<\infty }{\mathfrak {p}}_{v}^{v(\alpha )}\\&=(\alpha )&&{\text{ for all }}\alpha \in K^{\times }.\end{aligned}}$

कृपया नोटेशन के दुरुपयोग पर ध्यान दें: समीकरणों की इस श्रृंखला की पंक्ति 1 में बाईं ओर, $(\cdot )$ ऊपर परिभाषित मानचित्र के लिए खड़ा है। बाद में, की एम्बेडिंग $K^{\times }$ में $I_{K,{\text{fin}}}$ प्रयोग किया जाता है। पंक्ति 2 में, मानचित्र की परिभाषा का उपयोग किया गया है। अंत में प्रयोग करें वह $O$ एक Dedekind डोमेन है और इसलिए प्रत्येक आदर्श को प्रधान आदर्शों के गुणनफल के रूप में लिखा जा सकता है। दूसरे शब्दों में, मानचित्र $(\cdot )$ एक है $K^{\times }$- समतुल्य समूह समरूपता। परिणामस्वरूप, ऊपर दिया गया नक्शा एक विशेषण समरूपता को प्रेरित करता है

${\begin{cases}\phi :C_{K,{\text{fin}}}\to \operatorname {Cl} _{K}\\\alpha K^{\times }\mapsto (\alpha )K^{\times }\end{cases}}$

दूसरी तुल्याकारिता को सिद्ध करने के लिए, यह दिखाना होगा $\ker(\phi )={\widehat {O}}^{\times }K^{\times }.$ विचार करना $\xi =(\xi _{v})_{v}\in {\widehat {O}}^{\times }.$ तब $\textstyle \phi (\xi K^{\times })=\prod _{v}{\mathfrak {p}}_{v}^{v(\xi _{v})}K^{\times }=K^{\times },$ क्योंकि $v(\xi _{v})=0$ सभी के लिए $v.$ दूसरी ओर विचार करें $\xi K^{\times }\in C_{K,{\text{fin}}}$ साथ $\phi (\xi K^{\times })=OK^{\times },$ जो लिखने की अनुमति देता है $\textstyle \prod _{v}{\mathfrak {p}}_{v}^{v(\xi _{v})}K^{\times }=OK^{\times }.$ नतीजतन, एक प्रतिनिधि मौजूद है, जैसे कि: $\textstyle \prod _{v}{\mathfrak {p}}_{v}^{v(\xi '_{v})}=O.$ फलस्वरूप, $\xi '\in {\widehat {O}}^{\times }$ और इसलिए $\xi K^{\times }=\xi 'K^{\times }\in {\widehat {O}}^{\times }K^{\times }.$ प्रमेय का दूसरा समरूपता सिद्ध हो चुका है।

अंतिम समरूपता के लिए ध्यान दें कि $\phi$ एक विशेषण समूह समरूपता को प्रेरित करता है ${\widetilde {\phi }}:C_{K}\to \operatorname {Cl} _{K}$ साथ

$\ker({\widetilde {\phi }})=\left({\widehat {O}}^{\times }\times \prod _{v|\infty }K_{v}^{\times }\right)K^{\times }.$

टिप्पणी। विचार करना $I_{K,{\text{fin}}}$ आदर्श टोपोलॉजी और लैस के साथ $J_{K},$ असतत टोपोलॉजी के साथ। तब से $(\{{\mathfrak {a}}\})^{-1}$ प्रत्येक के लिए खुला है ${\mathfrak {a}}\in J_{K},(\cdot )$ निरंतर है। यह खड़ा है, वह $(\{{\mathfrak {a}}\})^{-1}=\alpha {\widehat {O}}^{\times }$ खुला है, जहाँ $\alpha =(\alpha _{v})_{v}\in \mathbb {A} _{K,{\text{fin}}},$ ताकि $\textstyle {\mathfrak {a}}=\prod _{v}{\mathfrak {p}}_{v}^{v(\alpha _{v})}.$

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

प्रमेय।

${\begin{aligned}I_{K}&\cong I_{K}^{1}\times M:\quad {\begin{cases}M\subset I_{K}{\text{ discrete and }}M\cong \mathbb {Z} &\operatorname {char} (K)>0\\M\subset I_{K}{\text{ closed and }}M\cong \mathbb {R} _{+}&\operatorname {char} (K)=0\end{cases}}\\C_{K}&\cong I_{K}^{1}/K^{\times }\times N:\quad {\begin{cases}N=\mathbb {Z} &\operatorname {char} (K)>0\\N=\mathbb {R} _{+}&\operatorname {char} (K)=0\end{cases}}\end{aligned}}$

प्रमाण। $\operatorname {char} (K)=p>0.$ प्रत्येक स्थान के लिए $v$ का $K,\operatorname {char} (K_{v})=p,$ ताकि सभी के लिए $x\in K_{v}^{\times },$ $|x|_{v}$ के उपसमूह के अंतर्गत आता है $\mathbb {R} _{+},$ द्वारा उत्पन्न $p.$ इसलिए प्रत्येक के लिए $z\in I_{K},$ $|z|$ के उपसमूह में है $\mathbb {R} _{+},$ द्वारा उत्पन्न $p.$ इसलिए समरूपता की छवि $z\mapsto |z|$ का असतत उपसमूह है $\mathbb {R} _{+},$ द्वारा उत्पन्न $p.$ चूंकि यह समूह गैर-तुच्छ है, इसलिए इसे उत्पन्न किया जाता है $Q=p^{m}$ कुछ के लिए $m\in \mathbb {N} .$ चुनना $z_{1}\in I_{K},$ ताकि $|z_{1}|=Q,$ तब $I_{K}$ की प्रत्यक्ष उपज है $I_{K}^{1}$ और द्वारा उत्पन्न उपसमूह $z_{1}.$ यह उपसमूह असतत और आइसोमोर्फिक है $\mathbb {Z} .$

$\operatorname {char} (K)=0.$ के लिए $\lambda \in \mathbb {R} _{+}$ परिभाषित करना:

$z(\lambda )=(z_{v})_{v},\quad z_{v}={\begin{cases}1&v\notin P_{\infty }\\\lambda &v\in P_{\infty }\end{cases}}$

वो नक्शा $\lambda \mapsto z(\lambda )$ की एक समाकृतिकता है $\mathbb {R} _{+}$ एक बंद उपसमूह में $M$ का $I_{K}$ और $I_{K}\cong M\times I_{K}^{1}.$ समरूपता गुणन द्वारा दी गई है:

${\begin{cases}\phi :M\times I_{K}^{1}\to I_{K},\\((\alpha _{v})_{v},(\beta _{v})_{v})\mapsto (\alpha _{v}\beta _{v})_{v}\end{cases}}$

ज़ाहिर तौर से, $\phi$ एक समरूपता है। दिखाने के लिए यह इंजेक्शन है, चलो $(\alpha _{v}\beta _{v})_{v}=1.$ तब से $\alpha _{v}=1$ के लिए $v<\infty ,$ यह खड़ा है $\beta _{v}=1$ के लिए $v<\infty .$ इसके अतिरिक्त, यह एक मौजूद है $\lambda \in \mathbb {R} _{+},$ ताकि $\alpha _{v}=\lambda$ के लिए $v|\infty .$ इसलिए, $\beta _{v}=\lambda ^{-1}$ के लिए $v|\infty .$ इसके अतिरिक्त $\textstyle \prod _{v}|\beta _{v}|_{v}=1,$ तात्पर्य $\lambda ^{n}=1,$ जहाँ $n$ के अनंत स्थानों की संख्या है $K.$ एक परिणाम के रूप में $\lambda =1$ और इसलिए $\phi$ इंजेक्शन है। अनुमान दिखाने के लिए, चलो $\gamma =(\gamma _{v})_{v}\in I_{K}.$ यह परिभाषित किया गया है $\lambda :=|\gamma |^{\frac {1}{n}}$ और इसके अतिरिक्त, $\alpha _{v}=1$ के लिए $v<\infty$ और $\alpha _{v}=\lambda$ के लिए $v|\infty .$ परिभाषित करना $\textstyle \beta ={\frac {\gamma }{\alpha }}.$ यह खड़ा है, वह $\textstyle |\beta |={\frac {|\gamma |}{|\alpha |}}={\frac {\lambda ^{n}}{\lambda ^{n}}}=1.$ इसलिए, $\phi$ विशेषण है।

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

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

प्रमेय। मान लीजिए $K$ एक संख्या क्षेत्र हो। स्थानों का एक सीमित समूह मौजूद है $S,$ ऐसा है कि:

$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 }.$

प्रमाण। किसी संख्या क्षेत्र का आदर्श वर्ग समूह परिमित होता है इसलिए मान लीजिए ${\mathfrak {a}}_{1},\ldots ,{\mathfrak {a}}_{h}$ आदर्श बनो, वर्गों का प्रतिनिधित्व करो $\operatorname {Cl} _{K}.$ ये आदर्श प्रधान आदर्शों की एक सीमित संख्या से उत्पन्न होते हैं ${\mathfrak {p}}_{1},\ldots ,{\mathfrak {p}}_{n}.$ मान लीजिए $S$ युक्त स्थानों का एक परिमित समूह हो $P_{\infty }$ और इसके अनुरूप परिमित स्थान ${\mathfrak {p}}_{1},\ldots ,{\mathfrak {p}}_{n}.$ समरूपता पर विचार करें:

$I_{K}/\left(\prod _{v<\infty }O_{v}^{\times }\times \prod _{v|\infty }K_{v}^{\times }\right)\cong J_{K},$

प्रेरक

$(\alpha _{v})_{v}\mapsto \prod _{v<\infty }{\mathfrak {p}}_{v}^{v(\alpha _{v})}.$

अनंत स्थानों पर कथन तत्काल होता है, इसलिए कथन परिमित स्थानों के लिए सिद्ध हुआ है। समावेश "$\supset$" ज़ाहिर है। मान लीजिए $\alpha \in I_{K,{\text{fin}}}.$ संगत आदर्श $\textstyle (\alpha )=\prod _{v<\infty }{\mathfrak {p}}_{v}^{v(\alpha _{v})}$ एक वर्ग के अंतर्गत आता है ${\mathfrak {a}}_{i}K^{\times },$ अर्थ $(\alpha )={\mathfrak {a}}_{i}(a)$ एक प्रमुख आदर्श के लिए $(a).$ विचारधारा $\alpha '=\alpha a^{-1}$ आदर्श के नक्शे ${\mathfrak {a}}_{i}$ नक्शे के नीचे $I_{K,{\text{fin}}}\to J_{K}.$ इसका मत $\textstyle {\mathfrak {a}}_{i}=\prod _{v<\infty }{\mathfrak {p}}_{v}^{v(\alpha '_{v})}.$ चूंकि प्रमुख आदर्शों में ${\mathfrak {a}}_{i}$ में हैं $S,$ यह इस प्रकार है $v(\alpha '_{v})=0$ सभी के लिए $v\notin S,$ इसका मत $\alpha '_{v}\in O_{v}^{\times }$ सभी के लिए $v\notin S.$ यह इस प्रकार है कि $\alpha '=\alpha a^{-1}\in I_{K,S},$ इसलिए $\alpha \in I_{K,S}K^{\times }.$

अनुप्रयोग

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

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

प्रमेय (किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता)। मान लीजिए $K$ एक संख्या क्षेत्र हो। तब $|\operatorname {Cl} _{K}|<\infty .$

प्रमाण। वो नक्शा

${\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}}$

विशेषण है और इसलिए $\operatorname {Cl} _{K}$ कॉम्पैक्ट सेट की निरंतर छवि है $I_{K}^{1}/K^{\times }.$ इस प्रकार, $\operatorname {Cl} _{K}$ कॉम्पैक्ट है। इसके अतिरिक्त, यह असतत और इतना परिमित है।

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

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

मान लीजिए $P\supset P_{\infty }$ स्थानों का एक परिमित समूह हो। परिभाषित करना

${\begin{aligned}\Omega (P)&:=\prod _{v\in P}K_{v}^{\times }\times \prod _{v\notin P}O_{v}^{\times }=(\mathbb {A} _{K}(P))^{\times }\\E(P)&:=K^{\times }\cap \Omega (P)\end{aligned}}$

तब $E(P)$ का एक उपसमूह है $K^{\times },$ सभी तत्वों से युक्त $\xi \in K^{\times }$ संतुष्टि देने वाला $v(\xi )=0$ सभी के लिए $v\notin P.$ तब से $K^{\times }$ में असतत है $I_{K},$ $E(P)$ का असतत उपसमूह है $\Omega (P)$ और इसी तर्क के साथ $E(P)$ में असतत है $\Omega _{1}(P):=\Omega (P)\cap I_{K}^{1}.$ एक वैकल्पिक परिभाषा है: $E(P)=K(P)^{\times },$ जहाँ $K(P)$ का उपसमूह है $K$ द्वारा परिभाषित

$K(P):=K\cap \left(\prod _{v\in P}K_{v}\times \prod _{v\notin P}O_{v}\right).$

एक परिणाम के रूप में, $K(P)$ सभी तत्व शामिल हैं $\xi \in K,$ जो पूरा करते हैं $v(\xi )\geq 0$ सभी के लिए $v\notin P.$

लेम्मा 1. चलो $0<c\leq C<\infty .$ निम्नलिखित सेट परिमित है:

$\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\}.$

प्रमाण। परिभाषित करना

$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\}.$

$W$ कॉम्पैक्ट है और ऊपर वर्णित सेट का प्रतिच्छेदन है $W$ असतत उपसमूह के साथ $K^{\times }$ में $I_{K}$ और इसलिए परिमित।

लेम्मा 2। चलो $E$ सभी के लिए सेट हो $\xi \in K$ ऐसा है कि $|\xi |_{v}=1$ सभी के लिए $v.$ तब $E=\mu (K),$ की एकता की सभी जड़ों का समूह $K.$ विशेष रूप से यह परिमित और चक्रीय है।

प्रमाण। की एकता की सभी जड़ें $K$ निरपेक्ष मूल्य है $1$ इसलिए $\mu (K)\subset E.$ विलोम के लिए ध्यान दें कि लेम्मा 1 के साथ $c=C=1$ और कोई भी $P$ तात्पर्य $E$ परिमित है। इसके अतिरिक्त $E\subset E(P)$ स्थानों के प्रत्येक परिमित सेट के लिए $P\supset P_{\infty }.$ अंत में मान लीजिए कि मौजूद है $\xi \in E,$ जो की एकता का मूल नहीं है $K.$ तब $\xi ^{n}\neq 1$ सभी के लिए $n\in \mathbb {N}$ की सूक्ष्मता के विपरीत $E.$

इकाई प्रमेय। $E(P)$ की प्रत्यक्ष उपज है $E$ और एक समूह आइसोमोर्फिक है $\mathbb {Z} ^{s},$ जहाँ $s=0,$ अगर $P=\emptyset$ और $s=|P|-1,$ अगर $P\neq \emptyset .$

डिरिक्लेट की इकाई प्रमेय। मान लीजिए $K$ एक संख्या क्षेत्र हो। तब $O^{\times }\cong \mu (K)\times \mathbb {Z} ^{r+s-1},$ जहाँ $\mu (K)$ की एकता की सभी जड़ों का परिमित चक्रीय समूह है $K,r$ के वास्तविक एम्बेडिंग की संख्या है $K$ और $s$ के जटिल एम्बेडिंग के संयुग्म जोड़े की संख्या है $K.$ यह खड़ा है, वह $[K:\mathbb {Q} ]=r+2s.$

टिप्पणी। इकाई प्रमेय डिरिचलेट की इकाई प्रमेय का सामान्यीकरण करता है। इसे देखने के लिए, आइए $K$ एक संख्या क्षेत्र हो। यह पहले से ही ज्ञात है $E=\mu (K),$ तय करना $P=P_{\infty }$ और ध्यान दें $|P_{\infty }|=r+s.$ फिर वहाँ है:

${\begin{aligned}E\times \mathbb {Z} ^{r+s-1}=E(P_{\infty })&=K^{\times }\cap \left(\prod _{v|\infty }K_{v}^{\times }\times \prod _{v<\infty }O_{v}^{\times }\right)\\&\cong K^{\times }\cap \left(\prod _{v<\infty }O_{v}^{\times }\right)\\&\cong O^{\times }\end{aligned}}$

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

कमजोर सन्निकटन प्रमेय। मान लीजिए $|\cdot |_{1},\ldots ,|\cdot |_{N},$ के असमान मूल्यांकन हो $K.$ मान लीजिए $K_{n}$ का पूरा होना $K$ इसके संबंध में $|\cdot |_{n}.$ एम्बेड $K$ तिरछे में $K_{1}\times \cdots \times K_{N}.$ तब $K$ हर जगह-सघन में सेट है $K_{1}\times \cdots \times K_{N}.$ दूसरे शब्दों में, प्रत्येक के लिए $\varepsilon >0$ और प्रत्येक के लिए $(\alpha _{1},\ldots ,\alpha _{N})\in K_{1}\times \cdots \times K_{N},$ वहां मौजूद $\xi \in K,$ ऐसा है कि:

$\forall n\in \{1,\ldots ,N\}:\quad |\alpha _{n}-\xi |_{n}<\varepsilon .$

मजबूत सन्निकटन प्रमेय। मान लीजिए $v_{0}$ का स्थान हो $K.$ परिभाषित करना

$V:={\prod _{v\neq v_{0}}}^{'}K_{v}.$

तब $K$ में घना है $V.$

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

घृणा सिद्धांत

हस्से-मिन्कोव्स्की प्रमेय|हस्से-मिन्कोव्स्की प्रमेय। पर एक द्विघात रूप $K$ शून्य है, यदि और केवल यदि, द्विघात रूप प्रत्येक पूर्णता में शून्य है $K_{v}.$

टिप्पणी। द्विघात रूपों के लिए यह हस्से सिद्धांत है। 2 से बड़ी डिग्री के बहुपदों के लिए हासे सिद्धांत सामान्य रूप से मान्य नहीं है। हस्से सिद्धांत (स्थानीय-वैश्विक सिद्धांत के रूप में भी जाना जाता है) का विचार किसी संख्या क्षेत्र की दी गई समस्या को हल करना है $K$ इसकी पूर्णता में ऐसा करने से $K_{v}$ और फिर में एक समाधान पर समापन $K.$

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

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

प्रमेय। एडेल रिंग सेल्फ-डुअल है: $\mathbb {A} _{K}\cong {\widehat {\mathbb {A} _{K}}}.$

प्रमाण। स्थानीय निर्देशांकों में कमी करके, यह प्रत्येक को दिखाने के लिए पर्याप्त है $K_{v}$ स्वयं द्वैत है। यह एक निश्चित वर्ण का उपयोग करके किया जा सकता है $K_{v}.$ विचार को दर्शाकर चित्रित किया गया है $\mathbb {R}$ स्वयं द्वैत है। परिभाषित करना:

${\begin{cases}e_{\infty }:\mathbb {R} \to \mathbb {T} \\e_{\infty }(t):=\exp(2\pi it)\end{cases}}$

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

${\begin{cases}\phi :\mathbb {R} \to {\widehat {\mathbb {R} }}\\s\mapsto {\begin{cases}\phi _{s}:\mathbb {R} \to \mathbb {T} \\\phi _{s}(t):=e_{\infty }(ts)\end{cases}}\end{cases}}$

प्रमेय (एडेल रिंग के बीजगणितीय और निरंतर दोहरे)। मान लीजिए $\chi$ का एक गैर-तुच्छ चरित्र हो $\mathbb {A} _{K},$ जो तुच्छ है $K.$ मान लीजिए $E$ एक परिमित-आयामी वेक्टर-स्पेस ओवर हो $K.$ मान लीजिए $E^{\star }$ और $\mathbb {A} _{E}^{\star }$ के बीजगणितीय द्वैत हों $E$ और $\mathbb {A} _{E}.$ के सामयिक दोहरे को निरूपित करें $\mathbb {A} _{E}$ द्वारा $\mathbb {A} _{E}'$ और उपयोग करें $\langle \cdot ,\cdot \rangle$ और $[{\cdot },{\cdot }]$ प्राकृतिक बिलिनियर जोड़ियों को इंगित करने के लिए $\mathbb {A} _{E}\times \mathbb {A} _{E}'$ और $\mathbb {A} _{E}\times \mathbb {A} _{E}^{\star }.$ फिर सूत्र $\langle e,e'\rangle =\chi ([e,e^{\star }])$ सभी के लिए $e\in \mathbb {A} _{E}$ समरूपता निर्धारित करता है $e^{\star }\mapsto e'$ का $\mathbb {A} _{E}^{\star }$ पर $\mathbb {A} _{E}',$ जहाँ $e'\in \mathbb {A} _{E}'$ और $e^{\star }\in \mathbb {A} _{E}^{\star }.$ इसके अतिरिक्त, अगर $e^{\star }\in \mathbb {A} _{E}^{\star }$ पूरा $\chi ([e,e^{\star }])=1$ सभी के लिए $e\in E,$ तब $e^{\star }\in E^{\star }.$

टेट की थीसिस

के किरदारों की मदद से $\mathbb {A} _{K},$ एडेल रिंग पर फूरियर विश्लेषण किया जा सकता है। जॉन टी. टेट ने अपने थीसिस फूरियर एनालिसिस इन नंबर फील्ड्स एंड हेके जीटा फंक्शंस में ने एडेल रिंग और आइडल ग्रुप पर फूरियर विश्लेषण का उपयोग करके डिरिचलेट एल-फंक्शन के बारे में परिणाम साबित किए। इसलिए, एडेल रिंग और आइडल ग्रुप को रीमैन जीटा फंक्शन और अधिक सामान्य जीटा फंक्शन और एल-फंक्शन का अध्ययन करने के लिए लागू किया गया है। इन कार्यों के एडेलिक रूपों को संबंधित हार उपायों के संबंध में एडेल रिंग या आइडल समूह पर इंटीग्रल के रूप में परिभाषित और प्रतिनिधित्व किया जा सकता है। इन कार्यों के कार्यात्मक समीकरण और मेरोमोर्फिक निरंतरताएं दिखाई जा सकती हैं। उदाहरण के लिए, सभी के लिए $s\in \mathbb {C}$ साथ $\Re (s)>1,$

$\int _{\widehat {\mathbb {Z} }}|x|^{s}d^{\times }x=\zeta (s),$

जहाँ $d^{\times }x$ अद्वितीय हार उपाय चालू है $I_{\mathbb {Q} ,{\text{fin}}}$ इस तरह सामान्यीकृत ${\widehat {\mathbb {Z} }}^{\times }$ मात्रा एक है और शून्य से परिमित एडेल रिंग तक बढ़ाया गया है। नतीजतन, रीमैन ज़ेटा फ़ंक्शन को एडेल रिंग के ऊपर एक अभिन्न अंग (एक सबसेट) के रूप में लिखा जा सकता है।

स्वचालित रूप

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

${\begin{aligned}I_{\mathbb {Q} }&=\operatorname {GL} (1,\mathbb {A} _{\mathbb {Q} })\\I_{\mathbb {Q} }^{1}&=(\operatorname {GL} (1,\mathbb {A} _{\mathbb {Q} }))^{1}:=\{x\in \operatorname {GL} (1,\mathbb {A} _{\mathbb {Q} }):|x|=1\}\\\mathbb {Q} ^{\times }&=\operatorname {GL} (1,\mathbb {Q} )\end{aligned}}$

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

${\begin{aligned}I_{\mathbb {Q} }&\leftrightsquigarrow \operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} })\\I_{\mathbb {Q} }^{1}&\leftrightsquigarrow (\operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} }))^{1}:=\{x\in \operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} }):|\det(x)|=1\}\\\mathbb {Q} &\leftrightsquigarrow \operatorname {GL} (2,\mathbb {Q} )\end{aligned}}$

और अंत में

$\mathbb {Q} ^{\times }\backslash I_{\mathbb {Q} }^{1}\cong \mathbb {Q} ^{\times }\backslash I_{\mathbb {Q} }\leftrightsquigarrow (\operatorname {GL} (2,\mathbb {Q} )\backslash (\operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} }))^{1}\cong (\operatorname {GL} (2,\mathbb {Q} )Z_{\mathbb {R} })\backslash \operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} }),$

जहाँ $Z_{\mathbb {R} }$ का केन्द्र है $\operatorname {GL} (2,\mathbb {R} ).$ फिर यह एक ऑटोमोर्फिक रूप को एक तत्व के रूप में परिभाषित करता है $L^{2}((\operatorname {GL} (2,\mathbb {Q} )Z_{\mathbb {R} })\backslash \operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} })).$ दूसरे शब्दों में एक ऑटोमोर्फिक रूप एक कार्य है $\operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} })$ कुछ बीजगणितीय और विश्लेषणात्मक स्थितियों को संतुष्ट करना। ऑटोमॉर्फिक रूपों का अध्ययन करने के लिए, समूह के निरूपण को जानना महत्वपूर्ण है $\operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} }).$ ऑटोमॉर्फिक एल-फ़ंक्शंस का अध्ययन करना भी संभव है, जिसे इंटीग्रल ओवर के रूप में वर्णित किया जा सकता है $\operatorname {GL} (2,\mathbb {A} _{\mathbb {Q} }).$ प्रतिस्थापित करके आगे भी सामान्यीकरण संभव है $\mathbb {Q}$ एक संख्या क्षेत्र के साथ और $\operatorname {GL} (2)$ एक मनमाना रिडक्टिव बीजगणितीय समूह के साथ।

आगे के आवेदन

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

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

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

स्रोत

• 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.

बाहरी संबंध

• What problem do the adeles solve?
• Some good books on adeles