एडेल रिंग

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}$ एवं सभी $p$ के लिए $|\beta |_{p}\leq 1$ है एवं इसलिए $\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} },$ एकपक्षीय है एवं $|\alpha _{p}|>1.$ के लिए $p$ अभाज्य संख्या है। तब $z_{p}\in \mathbb {Z} ,x_{p}\in \mathbb {N}$ एवं $|\alpha _{p}-r_{p}|\leq 1.$ के साथ $r_{p}=z_{p}/p^{x_{p}}$ उपस्थित है। $\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} }$, $\mathbb {Z} _{p}.$ में $0$ की प्रतिवेश प्रणाली है। चीनी शेष प्रमेय द्वारा $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}$ मापने योग्य हैं एवं प्रायः सभी $v.$ के लिए $f_{v}=\mathbf {1} _{O_{v}}$ है।

प्रमेय- चूँकि $\mathbb {A} _{K}$ स्थानीय रूप से सघन समूह है, इसलिए $\mathbb {A} _{K}$ पर योगात्मक माप $dx$ है। इस माप को सामान्यीकृत किया जा सकता है जिस प्रकार प्रत्येक पूर्णांक सरल फलन $\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 }$ लेबेस्ग माप है। गुणनफल परिमित है, अर्थात प्रायः सभी गुणनखंड 1 के समान हैं।

आदर्श समूह

परिभाषा- एडेल वलय $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}$

$p,$ के लिए $(x_{n})_{p}-1\in \mathbb {Z} _{p}$ के पश्चात् से, $n$ के लिए $x_{n}-1\in U$ अधिक बड़ा है। चूँकि इस क्रम का व्युत्क्रम $\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}}$

$x$ के साथ $x^{-1}=y$ को $\mathbb {A} _{K},$ में होना चाहिए, जिसका अर्थ प्रायः सभी $v$ के लिए $x_{v}\in O_{v}$ एवं प्रायः सभी $v$ के लिए $x_{v}^{-1}\in O_{v}$ है। इसलिए, प्रायः सभी $v$ के लिए $x_{v}\in O_{v}^{\times }$ है।

अब, बाईं ओर की टोपोलॉजी को दाहिनी ओर की टोपोलॉजी के समतुल्य दर्शाना संभव हो सकता है। स्पष्ट रूप से प्रत्येक विवृत प्रतिबंधित आयत आदर्श समूह की टोपोलॉजी में विवृत है। दूसरी ओर, किसी दिए गए $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 I_{K}.$ की प्रतिवेश प्रणाली $1\in \mathbb {A} _{K}(P_{\infty })^{\times }$ की प्रतिवेश प्रणाली है। वैकल्पिक रूप से,

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

जहां $U_{v}$ प्रायः सभी $v$ के लिए $1\in K_{v}^{\times }$ एवं $U_{v}=O_{v}^{\times }$ का प्रतिवेश है।

चूंकि आदर्श समूह स्थानीय रूप से सघन है, इसलिए इसमें प्रत्येक माप $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_{L}.$ में $I_{K}$ की कैनोनिकल एम्बेडिंग है।

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

सदिश समष्टि एवं बीजगणित की स्तिथि

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

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

प्रस्ताव- मान लीजिए $\alpha$, $A$ का परिमित उपसमुच्चय है, जिसमें $K$ पर $A$ का आधार होता है। $K$ के प्रत्येक परिमित समष्टि $v$ के लिए, मान लीजिए $\alpha _{v}$, $A_{v}.$ में $\alpha$ द्वारा उत्पन्न $O_{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 }$ उपरोक्त फलन के साथ $\alpha _{v}\times \alpha _{v}$ में $A_{v}^{\times }$ मानचित्रण के तत्व हैं। इसलिए $\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 }.$ का संघ है।

परिणाम- $P\supset P_{\infty },$ के प्रत्येक परिमित समुच्चय के लिए $A=K$ की विशेष स्तिथि में,

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

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

लेम्मा- विकर्ण मानचित्र $a\mapsto (a,a,a,\ldots ).$ द्वारा दिए गए $I_{K,S}$ में $K^{\times }$ का प्राकृतिक एम्बेडिंग है।

प्रमाण- चूँकि $K^{\times }$ सभी $v,$ के लिए $K_{v}^{\times }$ का उपसमुच्चय है, एम्बेडिंग उचित रूप से परिभाषित एवं अंतःक्षेपी है।

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

परिभाषा- आदर्श वर्ग समूह के अनुरूप, $I_{K}$ में $K^{\times }$ के तत्वों को $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-आइडल के आदर्श समूह पर निरपेक्ष मान

परिभाषा- $\alpha =(\alpha _{v})_{v}\in I_{K}$ के लिए $\textstyle |\alpha |:=\prod _{v}|\alpha _{v}|_{v}.$ को परिभाषित करें। चूंकि $\alpha$ आदर्श है, यह गुणनफल परिमित है, एवं इसलिए उचित रूप से परिभाषित है।

टिप्पणी- अपरिमित गुणनफलों की अनुमति से परिभाषा को $\mathbb {A} _{K}$ तक विस्तारित किया जा सकता है। चूंकि, ये अपरिमित गुणनफल लुप्त हो जाते हैं एवं इसलिए $\mathbb {A} _{K}\setminus I_{K}.$ पर $|\cdot |$ लुप्त हो जाता है। $|\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-आइडल के समुच्चय को इस प्रकार परिभाषित किया जा सकता है-

$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}$ का संवृत्त उपसमुच्चय है। अंततः $I_{K}^{1}$ पर $\mathbb {A} _{K}$-टोपोलॉजी, $I_{K}^{1}$ पर $I_{K}$ के उपसमुच्चय-टोपोलॉजी के समान होती है।

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

प्रमाण- संख्या क्षेत्रों के सूत्र का प्रमाण, ग्लोबल फलन क्षेत्रों की स्तिथि को इसी प्रकार से सिद्ध किया जा सकता है। मान लीजिए $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}$ प्रायः सभी $p.$ के लिए $0$ है। ओस्ट्रोव्स्की के प्रमेय के अनुसार $\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}}$

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

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

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

प्रमेय- $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 }$ उपस्थित है जैसे सभी $v$ के लिए $|\eta |_{v}\leq |\beta _{v}^{-1}\alpha _{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}}$

यह मानचित्र उचित रूप से परिभाषित है, क्योंकि सभी $p$ के लिए $|a_{p}|_{p}=1$ एवं इसलिए $\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}}$

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

अंततः, इसका उपयोग करें कि $O$, डेडेकाइंड डोमेन है एवं इसलिए प्रत्येक आदर्श को प्रधान आदर्शों के गुणनफल के रूप में अंकित किया जा सकता है। अन्य शब्दों में, मानचित्र $(\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$ के लिए $v(\xi _{v})=0$ है। दूसरी ओर, $\phi (\xi K^{\times })=OK^{\times },$ के साथ $\xi K^{\times }\in C_{K,{\text{fin}}}$ का विचार करें जो $\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}$, $p.$ द्वारा उत्पन्न $\mathbb {R} _{+}$ के उपसमूह से संबंधित है। इसलिए प्रत्येक $z\in I_{K},$ के लिए $|z|$, $p.$ द्वारा उत्पन्न $\mathbb {R} _{+}$ के उपसमूह में है। इसलिए समरूपता की छवि $z\mapsto |z|$, $p.$ द्वारा उत्पन्न $\mathbb {R} _{+}$ का असतत उपसमूह है। चूंकि यह समूह गैर-तुच्छ है, यह $Q=p^{m}$ कुछ $m\in \mathbb {N} .$ द्वारा उत्पन्न होता है। $z_{1}\in I_{K},$ का चयन करें जिससे कि $|z_{1}|=Q,$ तब $I_{K}$, $I_{K}^{1}$ एवं $z_{1}.$ द्वारा उत्पन्न उपसमूह का प्रत्यक्ष गुणनफल है। यह उपसमूह असतत एवं $\mathbb {Z} .$ के लिए समरूपीय है।

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

$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 )$, $I_{K}$ एवं $I_{K}\cong M\times I_{K}^{1}.$ के संवृत उपसमूह $M$ में $\mathbb {R} _{+}$ की समरूपता है।

${\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.$ मान लें। चूँकि $v<\infty ,$ के लिए $\alpha _{v}=1$, है जिसका तात्पर्य $v<\infty ,$ के लिए $\beta _{v}=1$ है। इसके अतिरिक्त, $\lambda \in \mathbb {R} _{+},$ उपस्थित है तब $v|\infty .$ के लिए $\alpha _{v}=\lambda$ है। इसलिए, $v|\infty .$ के लिए $\beta _{v}=\lambda ^{-1}$ है। इसके अतिरिक्त $\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}}$ को परिभाषित किया गया है एवं इसके अतिरिक्त, $v<\infty$ के लिए $\alpha _{v}=1$ एवं $v|\infty .$ के लिए $\alpha _{v}=\lambda$ है। $\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 },$ से संबंधित है, प्रमुख आदर्श $(a).$ के लिए जिसका अर्थ $(\alpha )={\mathfrak {a}}_{i}(a)$ है। आदर्श $\alpha '=\alpha a^{-1}$ मानचित्र $I_{K,{\text{fin}}}\to J_{K}.$ के अंतर्गत आदर्श ${\mathfrak {a}}_{i}$ के लिए मैप करता है। जिसका अर्थ $\textstyle {\mathfrak {a}}_{i}=\prod _{v<\infty }{\mathfrak {p}}_{v}^{v(\alpha '_{v})}.$ चूँकि ${\mathfrak {a}}_{i}$ में अभाज्य गुणज $S,$ हैं, यह सभी $v\notin S,$ के लिए $v(\alpha '_{v})=0$ का अनुसरण करता है जिसका अर्थ है सभी $v\notin S,$ के लिए $\alpha '_{v}\in O_{v}^{\times }$, यह इस प्रकार है $\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\notin P.$ के लिए $v(\xi )=0$ समीकरण को संतुष्ट करते हैं। चूँकि $K^{\times }$, $I_{K},$ में असतत है, $E(P)$, $\Omega (P)$ का असतत उपसमूह है एवं उसी तर्क के साथ, $\Omega _{1}(P):=\Omega (P)\cap I_{K}^{1}.$ में $E(P)$ असतत है।

वैकल्पिक परिभाषा है: $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\notin P.$ के लिए $v(\xi )\geq 0$ को पूर्ण करते हैं।

लेम्मा 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$ सघन है एवं उपरोक्त समुच्चय $I_{K}$ में असतत उपसमूह $K^{\times }$ के साथ $W$ का प्रतिच्छेदन है एवं इसलिए यह परिमित है।

लेम्मा 2- मान लीजिए $E$, सभी $\xi \in K$ का समुच्चय है जिस प्रकार, सभी $v.$ के लिए $|\xi |_{v}=1$ है। तब $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}$, $|\cdot |_{n}.$ के संबंध में $K$ की पूर्णता है। $K_{1}\times \cdots \times K_{N}.$ में विकर्णीय रूप से $K$ एम्बेड करें। तब $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}$ के टोपोलॉजिकल द्वैत को निरूपित करें एवं $\mathbb {A} _{E}\times \mathbb {A} _{E}'$ एवं $\mathbb {A} _{E}\times \mathbb {A} _{E}^{\star }.$ पर प्राकृतिक द्विरैखिक युग्म को दर्शाने करने के लिए $\langle \cdot ,\cdot \rangle$ एवं $[{\cdot },{\cdot }]$ का उपयोग करें। तब सभी $e\in \mathbb {A} _{E}$ के लिए सूत्र $\langle e,e'\rangle =\chi ([e,e^{\star }])$ है, जो $\mathbb {A} _{E}^{\star }$ पर $\mathbb {A} _{E}',$ की समरूपता $\chi ([e,e^{\star }])=1$ निर्धारित करता है, जहाँ $e'\in \mathbb {A} _{E}'$ एवं $e^{\star }\in \mathbb {A} _{E}^{\star }.$ इसके अतिरिक्त, यदि $e^{\star }\in \mathbb {A} _{E}^{\star }$ सभी $e\in E,$ के लिए $\chi ([e,e^{\star }])=1$ को पूर्ण करता है, तब $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