एडेल विशेष प्रकार के आइडल से प्राप्त होता है। इडेल फ्रांसीसी आइडेल से प्राप्त हुआ है और इसे फ्रांसीसी गणितज्ञ क्लाउड चेवेली द्वारा गढ़ा गया था। शब्द 'आदर्श तत्व' (संक्षिप्त: id.el।) के लिए है। एडेल (फ्रेंच: एडेल) का अर्थ है 'एडिटिव आइडल' (जो कि एडिटिव आईडीई एलिमेंट है)।
एडेल्स की अंगूठी एक को [[आर्टिन पारस्परिकता कानून]] का सुंदर ढंग से वर्णन करने की अनुमति देती है, जो द्विघात पारस्परिकता का एक सामान्यीकरण है, और गणितीय शब्दजाल क्षेत्रों की सूची पर अन्य पारस्परिकता कानून हैं। इसके अलावा, यह एंड्रे वेइल से एक शास्त्रीय प्रमेय है जो टॉर्सर (बीजगणितीय ज्यामिति) |एक परिमित क्षेत्र पर एक बीजगणितीय वक्र पर बंडलों को एक रिडक्टिव समूह टॉर्सर (बीजगणितीय ज्यामिति) के लिए एडेल के संदर्भ में वर्णित किया जा सकता है।. एडेल्स भी एडेलिक बीजगणितीय समूहों और एडिलिक वक्र ्स से जुड़े हुए हैं।
एडेल्स की अंगूठी परिमेय संख्याओं पर विश्लेषण करने की तकनीकी समस्या को हल करती है . पहले लोगों द्वारा उपयोग किया जाने वाला शास्त्रीय समाधान मानक मीट्रिक पूर्णता को पारित करना था और वहां विश्लेषणात्मक तकनीकों का उपयोग करें। लेकिन, जैसा कि बाद में सीखा गया था, यूक्लिडियन दूरी के अलावा और भी कई निरपेक्ष मान (बीजगणित) हैं, प्रत्येक अभाज्य संख्या के लिए एक , जैसा कि ओस्ट्रोव्स्की के प्रमेय द्वारा वर्गीकृत किया गया था। यूक्लिडियन निरपेक्ष मान, निरूपित , कई अन्य लोगों में से केवल एक है, , लेकिन एडेल्स की अंगूठी समझौता करना संभव बनाती है और use all of the valuations at once. यह विश्लेषणात्मक तकनीकों को सक्षम करने का लाभ है, जबकि प्राइम्स के बारे में जानकारी भी बनाए रखता है, क्योंकि उनकी संरचना प्रतिबंधित अनंत उत्पाद द्वारा एम्बेडेड है।
प्रतिबंधित उत्पाद क्यों?
संख्या फ़ील्ड देने के लिए प्रतिबंधित उत्पाद एक आवश्यक तकनीकी स्थिति है अंदर एक जालीदार संरचना , एडेलिक सेटिंग में फूरियर विश्लेषण (cf. हार्मोनिक विश्लेषण) के सिद्धांत का निर्माण करना संभव बनाता है। यह बीजगणितीय संख्या सिद्धांत में उस स्थिति के अनुरूप है जहां एक बीजगणितीय संख्या क्षेत्र के पूर्णांकों का वलय एम्बेड करता है
एक जाली के रूप में। फूरियर विश्लेषण के एक नए सिद्धांत की शक्ति के साथ, जॉन टेट (गणितज्ञ)एल समारोह के एक विशेष वर्ग को साबित करने में सक्षम थे और डेडेकाइंड जीटा फंक्शन जटिल तल पर मेरोमॉर्फिक फ़ंक्शन थे।
इस तकनीकी स्थिति के बने रहने का एक और प्राकृतिक कारण रिंगों के टेन्सर उत्पाद के रूप में एडेल्स के रिंग का निर्माण करके देखा जा सकता है। यदि इंटीग्रल एडेल्स की रिंग को परिभाषित किया जाए अंगूठी के रूप में <ब्लॉककोट>तो एडेल्स की अंगूठी को <ब्लॉककोट> के रूप में समान रूप से परिभाषित किया जा सकता हैइस रिंग में स्पष्ट तत्वों को देखने के बाद प्रतिबंधित उत्पाद संरचना पारदर्शी हो जाती है। एक तत्व की छवि अप्रतिबंधित उत्पाद के अंदर
तत्व है
कारक में निहित है जब कभी भी का प्रमुख कारक नहीं है , जो सभी अभाज्य संख्याओं को छोड़कर सभी के लिए है .[2]
नाम की उत्पत्ति
स्थानीय वर्ग क्षेत्र सिद्धांत में, स्थानीय क्षेत्र की इकाइयों का समूह केंद्रीय भूमिका निभाता है। वैश्विक वर्ग क्षेत्र सिद्धांत में, #द आइडल वर्ग समूह यह भूमिका निभाता है। आइडल शब्द (French: idèle) फ्रांसीसी गणितज्ञ क्लॉड चेवेली (1909-1984) का एक आविष्कार है और आदर्श तत्व (संक्षिप्त: id.el.) के लिए खड़ा है। शब्द एडेल (adèle) एडिटिव आइडल के लिए खड़ा है।
एडेल रिंग का विचार सभी पूर्णताओं को देखना है तुरंत। पहली नज़र में, कार्तीय उत्पाद एक अच्छा उम्मीदवार हो सकता है। हालाँकि, एडेल रिंग को प्रतिबंधित उत्पाद के साथ परिभाषित किया गया है। इसके दो कारण हैं:
के प्रत्येक तत्व के लिए मूल्यांकन लगभग सभी स्थानों के लिए शून्य है, अर्थात एक परिमित संख्या को छोड़कर सभी स्थानों के लिए। इसलिए, वैश्विक क्षेत्र को प्रतिबंधित उत्पाद में एम्बेड किया जा सकता है।
प्रतिबंधित उत्पाद स्थानीय रूप से कॉम्पैक्ट स्थान है, जबकि कार्टेशियन उत्पाद नहीं है। इसलिए, कार्टेशियन उत्पाद के लिए हार्मोनिक विश्लेषण का कोई अनुप्रयोग नहीं हो सकता है। ऐसा इसलिए है क्योंकि सामान्य रूप से समूहों पर विश्लेषण में एक महत्वपूर्ण उपकरण, हार माप के अस्तित्व (और विशिष्टता) को स्थानीय कॉम्पैक्टनेस सुनिश्चित करता है।
उदाहरण
=== परिमेय संख्या === के लिए एडेल की अंगूठी
परिमेय K='Q' प्रत्येक अभाज्य संख्या p के लिए एक मूल्यांकन है, जिसमें (Kν, ओν)=(क्यूp,साथp), और एक अनंत मूल्यांकन ∞ 'क्यू' के साथ∞= आर। इस प्रकार का एक तत्व
प्रत्येक p के लिए एक p-adic परिमेय के साथ एक वास्तविक संख्या है, जिनमें से सभी p-adic पूर्णांक हैं।
=== प्रोजेक्टिव लाइन === के फ़ंक्शन फ़ील्ड के लिए एडेल्स की अंगूठी
दूसरा, फंक्शन फील्ड K='F' लेंq(पी1)=एफq(टी) एक सीमित क्षेत्र पर प्रक्षेपण रेखा का। इसका मूल्यांकन X='P' के बिंदु x के अनुरूप है1, यानी स्पेक एफ पर मैपq
उदाहरण के लिए, Spec'F' फ़ॉर्म के q+1 बिंदु हैंq → पी1</उप>। इस मामले में ओν= हेX,xx (यानी x के एक औपचारिक पड़ोस पर कार्य करता है) और K पर संरचना शीफ का पूरा डंठल हैν= केX,xइसका अंश क्षेत्र है। इस प्रकार
किसी भी चिकने उचित वक्र X/'F' के लिए भी यही हैqएक परिमित क्षेत्र में, प्रतिबंधित उत्पाद x∈X के सभी बिंदुओं पर है।
संबंधित धारणाएं
एडेल रिंग में इकाइयों के समूह को आइडल ग्रुप कहा जाता है
उपसमूह K द्वारा आदर्शों का भागफल×⊆मैंK'आदर्श वर्ग समूह' कहा जाता है
इंटीग्रल एडेल सबरिंग हैं
अनुप्रयोग
आर्टिन पारस्परिकता बताते हुए
आर्टिन पारस्परिकता कानून कहता है कि वैश्विक क्षेत्र के लिए,
जहां केab K और का अधिकतम एबेलियन बीजगणितीय विस्तार है का अर्थ है समूह की अनंत पूर्णता।
=== एक वक्र === के पिकार्ड समूह का एडिलिक फॉर्मूलेशन देना
अगर एक्स/'एफ'qएक चिकना उचित वक्र है तो इसका पिकार्ड समूह है[3]
और इसका भाजक समूह है Div(X)='A'K×/ओK×. इसी प्रकार, यदि G एक अर्धसरल बीजगणितीय समूह है (उदाहरण के लिए SLn, यह जीएल के लिए भी मान्य हैn) तो वील एकरूपता का कहना है कि[4]
इसे G='G' पर लागू करनाmपिकार्ड समूह पर परिणाम देता है।
टेट की थीसिस
A पर एक टोपोलॉजी हैK जिसके लिए भागफल एK/ के कॉम्पैक्ट है, जिससे कोई उस पर हार्मोनिक विश्लेषण कर सकता है। जॉन टी. टेट ने अपनी थीसिस संख्या क्षेत्रों में फूरियर विश्लेषण और हेके ज़ेटा फ़ंक्शंस में[5] ने एडेल रिंग और आइडल ग्रुप पर फूरियर विश्लेषण का उपयोग करके डिरिचलेट एल-फंक्शन के बारे में परिणाम साबित किए। इसलिए, एडेल रिंग और आइडल ग्रुप को रीमैन जीटा फंक्शन और अधिक सामान्य जीटा फंक्शन और एल-फंक्शन का अध्ययन करने के लिए लागू किया गया है।
चिकने वक्र पर निर्मल द्वैत सिद्ध करना
यदि एक्स जटिल संख्याओं पर एक चिकनी उचित वक्र है, तो कोई अपने फ़ंक्शन फ़ील्ड 'सी' (एक्स) के एडेल को परिमित फ़ील्ड केस के रूप में परिभाषित कर सकता है। जॉन टी. टेट ने सिद्ध किया[6] X पर वह Serre द्वैत
इस एडेल रिंग ए के साथ काम करके अनुमान लगाया जा सकता हैC(X). यहाँ L, X पर एक लाइन बंडल है।
अंकन और बुनियादी परिभाषाएँ
वैश्विक क्षेत्र
इस पूरे लेख में, एक वैश्विक क्षेत्र है, जिसका अर्थ है कि यह या तो एक बीजगणितीय संख्या क्षेत्र है (का एक परिमित विस्तार ) या एक बीजगणितीय विविधता का एक कार्य क्षेत्र (का एक परिमित विस्तार के लिए प्रधान और ). परिभाषा के अनुसार वैश्विक क्षेत्र का एक परिमित विस्तार अपने आप में एक वैश्विक क्षेत्र है।
मूल्यांकन
मूल्यांकन के लिए (बीजगणित) का इसे लिखा जा सकता है पूरा करने के लिए इसके संबंध में अगर असतत है इसे लिखा जा सकता है के मूल्यांकन की अंगूठी के लिए और के अधिकतम आदर्श के लिए यदि यह एक प्रमुख आदर्श है जो एकरूपता तत्व को निरूपित करता है एक गैर-आर्किमिडीयन मूल्यांकन के रूप में लिखा गया है या और एक आर्किमिडीज़ मूल्यांकन के रूप में फिर मान लें कि सभी वैल्यूएशन गैर-तुच्छ हैं।
मूल्यांकन और निरपेक्ष मूल्यों की एक-से-एक पहचान है। स्थिरांक ठीक करें मूल्यांकन निरपेक्ष मान दिया गया है के रूप में परिभाषित:
इसके विपरीत, निरपेक्ष मूल्य मूल्यांकन सौंपा गया है के रूप में परिभाषित:
एक बीजगणितीय संख्या सिद्धांत# के स्थान के मूल्यांकन (बीजगणित) (या निरपेक्ष मान) के समतुल्य वर्ग का प्रतिनिधि है गैर-आर्किमिडीयन मूल्यांकनों के अनुरूप स्थानों को परिमित कहा जाता है, जबकि आर्किमिडीज के मूल्यों के अनुरूप स्थानों को अनंत कहा जाता है। एक वैश्विक क्षेत्र के अनंत स्थान एक परिमित समुच्चय बनाते हैं, जिसे द्वारा निरूपित किया जाता है
परिभाषित करना और जाने इसकी इकाइयों का समूह हो। तब
परिमित विस्तार
होने देना वैश्विक क्षेत्र का एक परिमित विस्तार हो होने देना का स्थान हो और का एक स्थान यदि निरपेक्ष मान तक सीमित के समतुल्य वर्ग में है , तब ऊपर स्थित है जिसे द्वारा दर्शाया गया है और के रूप में परिभाषित:
(ध्यान दें कि दोनों उत्पाद परिमित हैं।)
अगर , में एम्बेड किया जा सकता है इसलिए, में तिरछा लगा हुआ है इस एम्बेडिंग के साथ एक क्रमविनिमेय बीजगणित है डिग्री के साथ
एडेल रिंग
एक वैश्विक क्षेत्र के परिमित एडेल का सेट लक्षित के प्रतिबंधित उत्पाद के रूप में परिभाषित किया गया है के प्रति सम्मान के साथ
यह प्रतिबंधित उत्पाद टोपोलॉजी से लैस है, जो प्रतिबंधित खुले आयतों द्वारा उत्पन्न टोपोलॉजी है, जिसके निम्नलिखित रूप हैं:
कहाँ (परिमित) स्थानों का एक परिमित समुच्चय है और खुले हैं। घटक-वार जोड़ और गुणा के साथ एक अंगूठी भी है।
एक वैश्विक क्षेत्र की एडेल रिंग के उत्पाद के रूप में परिभाषित किया गया है की पूर्णता के उत्पाद के साथ इसके अनंत स्थानों पर। अनंत स्थानों की संख्या परिमित है और पूर्णताएं या तो हैं या संक्षेप में:
जोड़ और गुणा के साथ घटक-वार के रूप में परिभाषित एडेल रिंग एक रिंग है। एडेल रिंग के तत्वों को एडेल्स ऑफ कहा जाता है निम्नलिखित में इसे इस प्रकार लिखा गया है
हालांकि यह आम तौर पर प्रतिबंधित उत्पाद नहीं है।
टिप्पणी। वैश्विक कार्य क्षेत्रों में कोई अनंत स्थान नहीं है और इसलिए परिमित एडेल रिंग एडेल रिंग के बराबर है।
लेम्मा। का स्वाभाविक बन्धन है में विकर्ण मानचित्र द्वारा दिया गया:
सबूत। अगर तब लगभग सभी के लिए इससे पता चलता है कि नक्शा अच्छी तरह से परिभाषित है। यह इंजेक्शन भी है क्योंकि एम्बेडिंग में सभी के लिए इंजेक्शन है
टिप्पणी। पहचान करके विकर्ण मानचित्र के नीचे इसकी छवि के साथ इसे उप-वलय के रूप में माना जाता है के तत्व के प्रमुख एडेल कहलाते हैं
परिभाषा। होने देना के स्थानों का एक समूह हो के समुच्चय को परिभाषित कीजिए -एडेल्स ऑफ जैसा
इसके अलावा, अगर
परिणाम है:
परिमेय का एडेल रिंग
ओस्ट्रोव्स्की के प्रमेय द्वारा के स्थान हैं एक प्रमुख की पहचान करना संभव है के समकक्ष वर्ग के साथ -adic निरपेक्ष मूल्य और निरपेक्ष मान के समतुल्य वर्ग के साथ के रूप में परिभाषित:
का पूरा होना स्थान के संबंध में है मूल्यांकन की अंगूठी के साथ जगह के लिए समापन है इस प्रकार:
या संक्षेप में
प्रतिबंधित और अप्रतिबंधित उत्पाद टोपोलॉजी के बीच अंतर को अनुक्रम का उपयोग करके चित्रित किया जा सकता है :
लेम्मा। में निम्नलिखित क्रम पर विचार करें :
उत्पाद टोपोलॉजी में यह अभिसरण करता है , लेकिन यह प्रतिबंधित उत्पाद टोपोलॉजी में बिल्कुल भी अभिसरण नहीं करता है।
सबूत। उत्पाद टोपोलॉजी में अभिसरण प्रत्येक समन्वय में अभिसरण से मेल खाता है, जो तुच्छ है क्योंकि अनुक्रम स्थिर हो जाते हैं। अनुक्रम प्रतिबंधित उत्पाद टोपोलॉजी में परिवर्तित नहीं होता है। प्रत्येक एडेल के लिए और प्रत्येक प्रतिबंधित खुली आयत के लिए यह है: के लिए और इसलिए सभी के लिए नतीजतन लगभग सभी के लिए इस विचार में, और सभी स्थानों के समुच्चय के परिमित उपसमुच्चय हैं।
संख्या क्षेत्रों के लिए वैकल्पिक परिभाषा
परिभाषा (अनंत पूर्णांक)। अनंत पूर्णांकों को वलयों की अनंत पूर्णता के रूप में परिभाषित किया जाता है आंशिक आदेश के साथ अर्थात।,
सबूत। टेंसर उत्पाद की सार्वभौमिक संपत्ति का प्रयोग करें। ए परिभाषित करें - बिलिनियर फ़ंक्शन
यह अच्छी तरह से परिभाषित है क्योंकि दिए गए के लिए साथ सह-अभाज्य में केवल बहुत से अभाज्य विभाजन होते हैं होने देना दूसरा हो -मॉड्यूल के साथ - बिलिनियर नक्शा ऐसा अवश्य ही होना चाहिए के माध्यम से कारक विशिष्ट रूप से, अर्थात्, एक अद्वितीय मौजूद है -रैखिक नक्शा ऐसा है कि निम्नानुसार परिभाषित किया जा सकता है: दिए गए के लिए वहां है और ऐसा है कि सभी के लिए परिभाषित करना कोई दिखा सकता है अच्छी तरह परिभाषित है, -रैखिक, संतुष्ट और इन गुणों के साथ अद्वितीय है।
परिणाम। परिभाषित करना इसका परिणाम बीजगणितीय समरूपता में होता है
सबूत।
लेम्मा। एक संख्या क्षेत्र के लिए
टिप्पणी। का उपयोग करते हुए वहां हैं जहां सारांश, उत्पाद टोपोलॉजी प्राप्त करने के लिए दाईं ओर दें और इस टोपोलॉजी को आइसोमोर्फिज्म के माध्यम से ट्रांसपोर्ट करें
परिमित विस्तार की एडेल रिंग
अगर एक परिमित विस्तार हो, फिर एक वैश्विक क्षेत्र है। इस प्रकार परिभाषित किया गया है, और के एक उपसमूह से पहचाना जा सकता है नक्शा को कहाँ के लिए तब उपसमूह में है अगर के लिए और सभी के लिए एक ही स्थान के ऊपर पड़ा हुआ का
लेम्मा। अगर एक परिमित विस्तार है, तो दोनों बीजगणितीय और स्थैतिक रूप से।
इस समरूपता की सहायता से, समावेशन द्वारा दिया गया है
इसके अलावा, प्रिंसिपल एडेल्स इन में प्रिंसिपल एडेल्स के एक उपसमूह के साथ पहचाना जा सकता है मानचित्र के माध्यम से
सबूत।[7] होने देना का आधार हो ऊपर फिर लगभग सभी के लिए
इसके अलावा, निम्नलिखित समरूपताएं हैं:
दूसरे के लिए मानचित्र का उपयोग करें:
जिसमें विहित एम्बेडिंग है और प्रतिबंधित उत्पाद के संबंध में दोनों पक्षों को लिया जाता है
परिणाम। योगात्मक समूहों के रूप में जहां दाहिनी ओर है योग।
प्रिंसिपल एडेल्स का सेट इन सेट से पहचाना जाता है जहां बाईं ओर है योग और का उपसमुच्चय माना जाता है
वेक्टर-रिक्त स्थान और बीजगणित का एडेल रिंग
लेम्मा। कल्पना करना के स्थानों का परिमित समुच्चय है और परिभाषित करें
लैस उत्पाद टोपोलॉजी के साथ और घटक-वार जोड़ और गुणा को परिभाषित करें। तब स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल रिंग है।
टिप्पणी। अगर के स्थानों का एक और परिमित समुच्चय है युक्त तब का एक खुला उपसमूह है
अब, एडेल रिंग का एक वैकल्पिक लक्षण वर्णन प्रस्तुत किया जा सकता है। एडेल रिंग सभी सेटों का मिलन है :
इसके तुल्य सभी का सेट है ताकि लगभग सभी के लिए की टोपोलॉजी आवश्यकता से प्रेरित है कि सभी के खुले सबरिंग बनें इस प्रकार, स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल रिंग है।
एक जगह ठीक करो का होने देना के स्थानों का एक परिमित समुच्चय हो युक्त और परिभाषित करना
तब:
इसके अलावा परिभाषित करें
कहाँ युक्त सभी परिमित सेटों के माध्यम से चलता है तब:
मानचित्र के माध्यम से ऊपर की पूरी प्रक्रिया एक परिमित सबसेट के साथ है के बजाय
का निर्माण करके एक प्राकृतिक एम्बेडिंग है: इसके अलावा, एक प्राकृतिक प्रक्षेपण मौजूद है
एक वेक्टर-स्पेस का एडेल रिंग
होने देना एक परिमित आयामी वेक्टर-स्पेस ओवर हो और के लिए एक आधार ऊपर प्रत्येक स्थान के लिए का :
एडेल की अंगूठी परिभाषित किया जाता है
यह परिभाषा एडेल रिंग के वैकल्पिक विवरण पर आधारित है, जो उसी टोपोलॉजी से लैस एक टेंसर उत्पाद है जिसे संख्या क्षेत्रों के लिए एडेल रिंग की वैकल्पिक परिभाषा देते समय परिभाषित किया गया था। अगला, प्रतिबंधित उत्पाद टोपोलॉजी से लैस है। तब और में समाया हुआ है स्वाभाविक रूप से मानचित्र के माध्यम से
टोपोलॉजी की एक वैकल्पिक परिभाषा यह उपलब्ध करवाया जा सकता है। सभी रेखीय मानचित्रों पर विचार करें: प्राकृतिक एम्बेडिंग का उपयोग करना और इन रेखीय मानचित्रों का विस्तार करें: टोपोलॉजी चालू है सबसे मोटे टोपोलॉजी है जिसके लिए ये सभी विस्तार निरंतर हैं।
टोपोलॉजी को अलग तरीके से परिभाषित किया जा सकता है। के लिए एक आधार तय करना ऊपर एक समरूपता में परिणाम इसलिए एक आधार तय करना एक समरूपता को प्रेरित करता है बाईं ओर उत्पाद टोपोलॉजी के साथ आपूर्ति की जाती है और इस टोपोलॉजी को आइसोमोर्फिज्म के साथ दाईं ओर ले जाती है। टोपोलॉजी आधार की पसंद पर निर्भर नहीं करती है, क्योंकि एक अन्य आधार एक दूसरे समरूपतावाद को परिभाषित करता है। दोनों समरूपताओं की रचना करके, एक रेखीय होमियोमॉर्फिज़्म प्राप्त किया जाता है जो दो टोपोलॉजी को एक दूसरे में स्थानांतरित करता है। अधिक औपचारिक रूप से
जहां रकम है योग। के मामले में ऊपर दी गई परिभाषा परिमित विस्तार के एडेल रिंग के परिणामों के अनुरूप है
होने देना एक परिमित आयामी बीजगणित हो विशेष रूप से, एक परिमित-आयामी वेक्टर-स्पेस ओवर है एक परिणाम के रूप में, परिभाषित किया गया है और चूंकि गुणा चालू है और एक गुणन पर द्वारा परिभाषित किया जा सकता है:
एक परिणाम के रूप में, एक बीजगणित है जिसकी एक इकाई अधिक है होने देना का परिमित उपसमुच्चय हो के लिए एक आधार युक्त ऊपर किसी परिमित स्थान के लिए , के रूप में परिभाषित किया गया है -मॉड्यूल द्वारा उत्पन्न में स्थानों के प्रत्येक सीमित सेट के लिए, परिभाषित करना
कोई दिखा सकता है कि एक परिमित समुच्चय है ताकि का एक खुला उपसमूह है अगर आगे इन सभी उपांगों और के लिए का मिलन है ऊपर दी गई परिभाषा एडेल रिंग की परिभाषा के अनुरूप है।
=== एडेल रिंग === पर ट्रेस और मानदंड
होने देना एक सीमित विस्तार हो। तब से और ऊपर लेम्मा से, के एक बंद सबरिंग के रूप में व्याख्या की जा सकती है इस एम्बेडिंग के लिए लिखें . स्पष्ट रूप से सभी स्थानों के लिए का ऊपर और किसी के लिए
होने देना वैश्विक क्षेत्रों का एक टॉवर बनें। तब:
इसके अलावा, प्रिंसिपल एडेल्स तक ही सीमित है प्राकृतिक इंजेक्शन है
होने देना क्षेत्र विस्तार का आधार बनें फिर प्रत्येक रूप में लिखा जा सकता है कहाँ विशिष्ट हैं। वो नक्शा निरंतर है। परिभाषित करना इस पर निर्भर करते हुए समीकरणों के माध्यम से:
अब, ट्रेस और मानदंड को परिभाषित करें जैसा:
ये रेखीय मानचित्र के ट्रेस और निर्धारक हैं
वे एडेल रिंग पर निरंतर मानचित्र हैं, और वे सामान्य समीकरणों को पूरा करते हैं:
इसके अलावा, के लिए और क्षेत्र विस्तार के ट्रेस और मानदंड के समान हैं खेतों की मीनार के लिए परिणाम है:
प्रमेय।[10] स्थानों के हर सेट के लिए स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल रिंग है।
टिप्पणी। उपरोक्त परिणाम वेक्टर-स्पेस और बीजगणित के एडेल रिंग के लिए भी लागू होता है
प्रमेय।[11] असतत और सहसंबद्ध है विशेष रूप से, में बंद है
सबूत। मामला साबित करो जाहिर करना। असतत है, यह पड़ोस के अस्तित्व को दर्शाने के लिए पर्याप्त है जिसमें कोई अन्य परिमेय संख्या नहीं है। सामान्य मामला अनुवाद के माध्यम से होता है। परिभाषित करना
का खुला पड़ोस है ऐसा दावा किया जाता है होने देना तब और सभी के लिए और इसलिए इसके अतिरिक्त, और इसलिए अगला, कॉम्पैक्टनेस दिखाने के लिए, परिभाषित करें:
प्रत्येक तत्व में में प्रतिनिधि है वह प्रत्येक के लिए है वहां मौजूद ऐसा है कि होने देना मनमाना होना और जिसके लिए एक प्रमुख बनें तब मौजूद है साथ और बदलना साथ और जाने एक और प्रधान बनें। तब:
अगला, यह दावा किया जा सकता है कि:
उलटा निहितार्थ तुच्छ सत्य है। निहितार्थ सत्य है, क्योंकि प्रबल त्रिभुज असमानता के दो पद समान हैं यदि दोनों पूर्णांकों के निरपेक्ष मान भिन्न हैं। परिणामस्वरूप, अभाज्य संख्याओं का (परिमित) सेट जिसके लिए घटक में नहीं हैं 1 से कम हो जाता है। पुनरावृत्ति के साथ, यह अनुमान लगाया जा सकता है कि वहाँ मौजूद है ऐसा है कि अब सेलेक्ट करें ऐसा है कि तब निरंतर प्रक्षेपण विशेषण है, इसलिए कॉम्पैक्ट सेट की निरंतर छवि के रूप में, कॉम्पैक्ट है।
परिणाम। होने देना एक परिमित-आयामी वेक्टर-स्पेस ओवर हो तब असतत और सहसंबद्ध है
सबूत। पहले दो समीकरणों को प्राथमिक रूप से सिद्ध किया जा सकता है।
परिभाषा से यदि किसी के लिए विभाज्य है और समीकरण एक समाधान है दिखाने के लिए काफी है विभाज्य है लेकिन यह तब से सच है प्रत्येक निर्देशांक में सकारात्मक विशेषता वाला क्षेत्र है।
अंतिम कथन के लिए ध्यान दें कि क्योंकि तत्वों के निर्देशांक में भाजक की परिमित संख्या तत्व के माध्यम से पहुँचा जा सकता है नतीजतन, यह दिखाने के लिए पर्याप्त है सघन है, वह प्रत्येक खुला उपसमुच्चय है का तत्व होता है सामान्यता के नुकसान के बिना, यह माना जा सकता है कि
क्योंकि की एक पड़ोस प्रणाली है में चीनी अवशेष प्रमेय द्वारा मौजूद है ऐसा है कि चूंकि भिन्न अभाज्य संख्याओं की शक्तियाँ सहअभाज्य होती हैं, अनुसरण करता है।
टिप्पणी। विशिष्ट रूप से विभाज्य नहीं है। होने देना और दिया जा। तब
दोनों समीकरण को संतुष्ट करते हैं और स्पष्ट रूप से ( अच्छी तरह से परिभाषित है, क्योंकि केवल बहुत से प्राइम विभाजित होते हैं ). इस मामले में, विशिष्ट रूप से विभाज्य होना मरोड़-मुक्त होने के बराबर है, जो कि सही नहीं है तब से लेकिन और
टिप्पणी। चौथा कथन #सन्निकटन प्रमेय का एक विशेष मामला है।
=== एडेल रिंग === पर हार माप
परिभाषा। एक समारोह सरल कहा जाता है अगर कहाँ मापने योग्य हैं और लगभग सभी के लिए
प्रमेय।[13] तब से इसके अलावा एक स्थानीय रूप से कॉम्पैक्ट समूह है, एक योगात्मक हार उपाय है पर इस उपाय को सामान्यीकृत किया जा सकता है जैसे कि प्रत्येक पूर्णांक सरल कार्य संतुष्ट:
कहाँ के लिए माप चालू है ऐसा है कि इकाई माप है और लेबेस्ग उपाय है। गुणनफल परिमित है, अर्थात लगभग सभी गुणनखंड एक के बराबर हैं।
आदर्श समूह
परिभाषा। के आदर्श समूह को परिभाषित कीजिए एडेल रिंग की इकाइयों के समूह के रूप में वह है आइडल समूह के तत्वों को आइडल कहा जाता है टिप्पणी। एक टोपोलॉजी से लैस है ताकि यह एक टोपोलॉजिकल समूह बन जाए। सबसेट टोपोलॉजी विरासत में मिली है एक उपयुक्त उम्मीदवार नहीं है क्योंकि सबसेट टोपोलॉजी से लैस एक टोपोलॉजिकल रिंग की इकाइयों का समूह एक टोपोलॉजिकल ग्रुप नहीं हो सकता है। उदाहरण के लिए, उलटा नक्शा में निरंतर नहीं है। क्रम
में विलीन हो जाता है इसे देखने के लिए आइए का पड़ोस हो व्यापकता के नुकसान के बिना यह माना जा सकता है:
तब से सभी के लिए के लिए बहुत पर्याप्त। हालाँकि, जैसा कि ऊपर देखा गया था, इस क्रम का व्युत्क्रम में अभिसरण नहीं होता है
लेम्मा। होने देना एक टोपोलॉजिकल रिंग बनें। परिभाषित करना:
टोपोलॉजी पर उत्पाद से प्रेरित टोपोलॉजी से लैस और एक सामयिक समूह और समावेशन मानचित्र है निरंतर है। यह टोपोलॉजी से निकलने वाली सबसे मोटे टोपोलॉजी है कि बनाता है एक सामयिक समूह।
सबूत। तब से एक टोपोलॉजिकल रिंग है, यह दिखाने के लिए पर्याप्त है कि उलटा नक्शा निरंतर है। होने देना खुले रहो, फिर खुला है। दिखाना जरूरी है खुला या समकक्ष है, वह खुला है। लेकिन यह ऊपर की शर्त है।
आदर्श समूह लेम्मा में परिभाषित टोपोलॉजी से सुसज्जित है जो इसे एक सामयिक समूह बनाता है।
परिभाषा। के लिए के स्थानों का एक उपसमुच्चय तय करना:
लेम्मा। टोपोलॉजिकल समूहों की निम्नलिखित पहचान है:
जहां प्रतिबंधित उत्पाद में प्रतिबंधित उत्पाद टोपोलॉजी है, जो फॉर्म के प्रतिबंधित खुले आयतों द्वारा उत्पन्न होता है
कहाँ सभी स्थानों के समुच्चय का एक परिमित उपसमुच्चय है और खुले सेट हैं।
सबूत। के लिए पहचान सिद्ध करें ; अन्य दो समान रूप से अनुसरण करते हैं। पहले दिखाएं कि दो सेट बराबर हैं:
लाइन 2 से 3 तक जाने में, साथ ही में होना है अर्थ लगभग सभी के लिए और लगभग सभी के लिए इसलिए, लगभग सभी के लिए
अब, बाईं ओर की टोपोलॉजी को दाहिनी ओर की टोपोलॉजी के बराबर दिखाना संभव है। जाहिर है, आइडल समूह की टोपोलॉजी में हर खुला प्रतिबंधित आयत खुला है। दूसरी ओर, दिए गए के लिए जो आइडल समूह की टोपोलॉजी में खुला है, जिसका अर्थ है खुला है, इसलिए प्रत्येक के लिए एक खुला प्रतिबंधित आयत मौजूद है, जो इसका एक उपसमुच्चय है और शामिल है इसलिए, इन सभी प्रतिबंधित खुले आयतों का संघ है और इसलिए प्रतिबंधित उत्पाद टोपोलॉजी में खुला है।
लेम्मा। स्थानों के प्रत्येक सेट के लिए, स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल समूह है।
सबूत। स्थानीय कॉम्पैक्टनेस के विवरण से इस प्रकार है एक प्रतिबंधित उत्पाद के रूप में। यह एक टोपोलॉजिकल समूह होने के नाते एक टोपोलॉजिकल रिंग की इकाइयों के समूह पर उपरोक्त चर्चा से अनुसरण करता है।
की एक पड़ोस प्रणाली की एक पड़ोस प्रणाली है वैकल्पिक रूप से, फॉर्म के सभी सेट लें:
कहाँ का पड़ोस है और लगभग सभी के लिए
चूंकि आदर्श समूह स्थानीय रूप से कॉम्पैक्ट है, इसलिए हार माप मौजूद है इस पर। इसे सामान्य किया जा सकता है, ताकि
यह परिमित स्थानों के लिए प्रयुक्त सामान्यीकरण है। इस समीकरण में, परिमित आइडल समूह है, जिसका अर्थ परिमित एडेल रिंग की इकाइयों का समूह है। अनंत स्थानों के लिए, गुणक लेबेस्ग माप का उपयोग करें
परिमित विस्तार का आदर्श समूह
लेम्मा। होने देना एक सीमित विस्तार हो। तब:
जहां प्रतिबंधित उत्पाद के संबंध में है
लेम्मा। का एक कैनोनिकल एम्बेडिंग है में
सबूत। नक्शा को संपत्ति के साथ के लिए इसलिए, के उपसमूह के रूप में देखा जा सकता है तत्व इस उपसमूह में है अगर और केवल अगर उसके घटक निम्नलिखित गुणों को पूरा करते हैं: के लिए और के लिए और उसी जगह के लिए का
होने देना एक परिमित आयामी बीजगणित हो तब से सामान्य रूप से उपसमुच्चय-टोपोलॉजी के साथ एक टोपोलॉजिकल समूह नहीं है, सुसज्जित है टोपोलॉजी के समान ऊपर और कॉल करें आदर्श समूह। आइडल समूह के तत्वों को आइडेल ऑफ कहा जाता है
प्रस्ताव। होने देना का परिमित उपसमुच्चय हो का आधार युक्त ऊपर प्रत्येक परिमित स्थान के लिए का होने देना हो -मॉड्यूल द्वारा उत्पन्न में स्थानों का एक सीमित समूह मौजूद है युक्त ऐसा कि सभी के लिए का एक कॉम्पैक्ट सबरिंग है आगे, रोकना प्रत्येक के लिए का खुला उपसमुच्चय है और नक्शा निरंतर चालू है एक परिणाम के रूप में एमएपीएस होमोमोर्फिक रूप से इसकी छवि पर प्रत्येक के लिए के तत्व हैं मानचित्रण में उपरोक्त समारोह के साथ। इसलिए, का एक खुला और कॉम्पैक्ट उपसमूह है [15]
आदर्श समूह का वैकल्पिक लक्षण वर्णन
प्रस्ताव। होने देना स्थानों का एक परिमित समूह हो। तब
परिणाम। के विशेष मामले में स्थानों के प्रत्येक परिमित सेट के लिए ::
का एक खुला उपसमूह है आगे, सबका संघ है
आइडल ग्रुप पर नॉर्म
ट्रेस और नॉर्म को एडेल रिंग से आइडल ग्रुप में ट्रांसफर किया जाना चाहिए। यह पता चला है कि ट्रेस को इतनी आसानी से स्थानांतरित नहीं किया जा सकता है। हालाँकि, आदर्श को एडेल रिंग से आइडल समूह में स्थानांतरित करना संभव है। होने देना तब और इसलिए, यह कहा जा सकता है कि अंतःक्षेपी समूह समरूपता में
तब से यह उलटा है, उलटा भी है, क्योंकि इसलिए नतीजतन, मानदंड-फ़ंक्शन का प्रतिबंध एक सतत कार्य पेश करता है:
आइडल वर्ग समूह
लेम्मा। का स्वाभाविक बन्धन है में विकर्ण मानचित्र द्वारा दिया गया:
सबूत। तब से का उपसमुच्चय है सभी के लिए एम्बेडिंग अच्छी तरह से परिभाषित और इंजेक्शन है।
परिणाम। का असतत उपसमूह है
परिभाषा। आदर्श वर्ग समूह के अनुरूप, के तत्व में के प्रमुख आदर्श कहलाते हैं भागफल समूह का आदर्श वर्ग समूह कहलाता है यह समूह आदर्श वर्ग समूह और आदर्श वर्ग समूह के बीच संबंध है और वर्ग क्षेत्र सिद्धांत में एक केंद्रीय वस्तु है।
टिप्पणी। में बंद है इसलिए स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल ग्रुप और हौसडॉर्फ स्पेस है।
लेम्मा।[17] होने देना एक सीमित विस्तार हो। एम्बेडिंग एक इंजेक्शन नक्शा प्रेरित करता है:
आदर्श समूह के गुण
====K और 1-idele= के आदर्श समूह पर पूर्ण मूल्य
परिभाषा। के लिए परिभाषित करना: तब से एक आदर्श है यह उत्पाद परिमित है और इसलिए अच्छी तरह से परिभाषित है।
टिप्पणी। परिभाषा को बढ़ाया जा सकता है अनंत उत्पादों की अनुमति देकर। हालाँकि, ये अनंत उत्पाद गायब हो जाते हैं और इसलिए पर गायब हो जाता है दोनों कार्यों को निरूपित करने के लिए उपयोग किया जाएगा और
प्रमेय। एक सतत समूह समरूपता है।
सबूत। होने देना
जहां इसका उपयोग किया जाता है कि सभी उत्पाद परिमित हैं। नक्शा निरंतर है जिसे अनुक्रमों से निपटने वाले तर्क का उपयोग करके देखा जा सकता है। यह समस्या को कम कर देता है कि क्या निरंतर चालू है हालाँकि, यह विपरीत त्रिभुज असमानता के कारण स्पष्ट है।
परिभाषा। के समुच्चय -idele को इस प्रकार परिभाषित किया जा सकता है:
का एक उपसमूह है तब से यह का एक बंद उपसमुच्चय है अंततः -टोपोलॉजी चालू के सबसेट-टोपोलॉजी के बराबर है पर [18][19]
आर्टिन का उत्पाद सूत्र। सभी के लिए
सबूत।[20] संख्या क्षेत्रों के सूत्र का प्रमाण, वैश्विक कार्य क्षेत्रों का मामला इसी तरह सिद्ध किया जा सकता है। होने देना एक संख्या क्षेत्र हो और यह दिखाना होगा कि:
परिमित स्थान के लिए जिसके लिए संबंधित प्रमुख आदर्श विभाजित नहीं करता , और इसलिए यह लगभग सभी के लिए मान्य है वहाँ है:
लाइन 1 से लाइन 2 तक जाने में, तत्समक जहां इस्तेमाल किया गया था का स्थान है और का स्थान है ऊपर पड़ा हुआ लाइन 2 से लाइन 3 तक जाने पर, मानदंड की एक संपत्ति का उपयोग किया जाता है। आदर्श में है तो सामान्यता के नुकसान के बिना यह माना जा सकता है तब एक अद्वितीय पूर्णांक गुणनखंड के पास:
कहाँ है लगभग सभी के लिए ओस्ट्रोव्स्की के प्रमेय द्वारा सभी निरपेक्ष मूल्यों पर वास्तविक निरपेक्ष मान के बराबर हैं या ए -एडिक निरपेक्ष मूल्य। इसलिए:
लेम्मा।[21] एक स्थिर मौजूद है पर ही निर्भर करता है ऐसा कि प्रत्येक के लिए संतुष्टि देने वाला वहां मौजूद ऐसा है कि सभी के लिए
परिणाम। होने देना का स्थान हो और जाने सभी के लिए दिया जाए संपत्ति के साथ लगभग सभी के लिए तब मौजूद है ताकि सभी के लिए
सबूत। होने देना लेम्मा से स्थिर रहें। होने देना का एक समान तत्व हो एडेल को परिभाषित करें के जरिए साथ न्यूनतम, ताकि सभी के लिए तब लगभग सभी के लिए परिभाषित करना साथ ताकि यह काम करता है, क्योंकि लगभग सभी के लिए लेम्मा द्वारा मौजूद है ताकि सभी के लिए
प्रमेय। असतत और सहसंबद्ध है
सबूत।[22] तब से में असतत है यह असतत भी है की सघनता सिद्ध करने के लिए होने देना लेम्मा का स्थिरांक है और मान लीजिए संतुष्टि देने वाला दिया हुआ है। परिभाषित करना:
स्पष्ट रूप से कॉम्पैक्ट है। यह दावा किया जा सकता है कि प्राकृतिक प्रक्षेपण विशेषण है। होने देना मनमाना हो, फिर:
और इसलिए
यह इस प्रकार है कि
लेम्मा द्वारा मौजूद है ऐसा है कि सभी के लिए और इसलिए प्राकृतिक प्रक्षेपण की प्रक्षेपता साबित करना। चूंकि यह भी निरंतर है इसलिए कॉम्पैक्टनेस इस प्रकार है।
प्रमेय।[23] एक विहित समरूपता है आगे, के लिए प्रतिनिधियों का समूह है और के लिए प्रतिनिधियों का समूह है
सबूत। मानचित्र पर विचार करें
यह नक्शा अच्छी तरह से परिभाषित है, क्योंकि सभी के लिए और इसलिए ज़ाहिर तौर से एक सतत समूह समरूपता है। अब मान लीजिए तब मौजूद है ऐसा है कि अनंत स्थान पर विचार करने से यह देखा जा सकता है इंजेक्शन सिद्ध करता है। प्रक्षेपण दिखाने के लिए चलो इस तत्व का निरपेक्ष मान है और इसलिए
इस तरह और वहां है:
तब से
यह निष्कर्ष निकाला गया है विशेषण है।
प्रमेय।[24] निरपेक्ष मान फ़ंक्शन टोपोलॉजिकल समूहों के निम्नलिखित समरूपता को प्रेरित करता है:
सबूत। आइसोमोर्फिज्म द्वारा दिया जाता है:
आदर्श वर्ग समूह और आदर्श वर्ग समूह के बीच संबंध
प्रमेय। होने देना पूर्णांकों के वलय के साथ एक संख्या क्षेत्र हो आंशिक आदर्शों का समूह और आदर्श वर्ग समूह यहाँ निम्नलिखित समरूपताएँ हैं
कहाँ परिभाषित किया गया है।
सबूत। होने देना का एक परिमित स्थान हो और जाने समतुल्य वर्ग के प्रतिनिधि बनें परिभाषित करना
तब में प्रमुख आदर्श है वो नक्शा के परिमित स्थानों के बीच एक आक्षेप है और गैर-शून्य प्रधान आदर्श व्युत्क्रम इस प्रकार दिया गया है: एक प्रमुख आदर्श मूल्यांकन के लिए मैप किया गया है द्वारा दिए गए
निम्नलिखित नक्शा अच्छी तरह से परिभाषित है:
वो नक्शा स्पष्ट रूप से एक विशेषण समरूपता है और पहला समरूपता समरूपता पर मौलिक प्रमेय से आता है। अब, दोनों पक्षों को विभाजित किया गया है यह संभव है, क्योंकि
कृपया नोटेशन के दुरुपयोग पर ध्यान दें: समीकरणों की इस श्रृंखला की पंक्ति 1 में बाईं ओर, ऊपर परिभाषित मानचित्र के लिए खड़ा है। बाद में, की एम्बेडिंग में प्रयोग किया जाता है। पंक्ति 2 में, मानचित्र की परिभाषा का उपयोग किया गया है। अंत में प्रयोग करें
वह एक Dedekind डोमेन है और इसलिए प्रत्येक आदर्श को प्रधान आदर्शों के उत्पाद के रूप में लिखा जा सकता है। दूसरे शब्दों में, मानचित्र एक है - समतुल्य समूह समरूपता। परिणामस्वरूप, ऊपर दिया गया नक्शा एक विशेषण समरूपता को प्रेरित करता है
दूसरी तुल्याकारिता को सिद्ध करने के लिए, यह दिखाना होगा विचार करना तब क्योंकि सभी के लिए दूसरी ओर विचार करें साथ जो लिखने की अनुमति देता है नतीजतन, एक प्रतिनिधि मौजूद है, जैसे कि: फलस्वरूप, और इसलिए प्रमेय का दूसरा समरूपता सिद्ध हो चुका है।
अंतिम समरूपता के लिए ध्यान दें कि एक विशेषण समूह समरूपता को प्रेरित करता है साथ
टिप्पणी। विचार करना आदर्श टोपोलॉजी और लैस के साथ असतत टोपोलॉजी के साथ। तब से प्रत्येक के लिए खुला है निरंतर है। यह खड़ा है, वह खुला है, कहाँ ताकि
==== K= के आदर्श समूह और आदर्श वर्ग समूह का अपघटन
प्रमेय।
सबूत। प्रत्येक स्थान के लिए का ताकि सभी के लिए के उपसमूह के अंतर्गत आता है द्वारा उत्पन्न इसलिए प्रत्येक के लिए के उपसमूह में है द्वारा उत्पन्न इसलिए समरूपता की छवि का असतत उपसमूह है द्वारा उत्पन्न चूंकि यह समूह गैर-तुच्छ है, इसलिए इसे उत्पन्न किया जाता है कुछ के लिए चुनना ताकि तब की प्रत्यक्ष उपज है और द्वारा उत्पन्न उपसमूह यह उपसमूह असतत और आइसोमोर्फिक है
के लिए परिभाषित करना:
वो नक्शा की एक समाकृतिकता है एक बंद उपसमूह में का और समरूपता गुणन द्वारा दी गई है:
ज़ाहिर तौर से, एक समरूपता है। दिखाने के लिए यह इंजेक्शन है, चलो तब से के लिए यह खड़ा है के लिए इसके अलावा, यह एक मौजूद है ताकि के लिए इसलिए, के लिए इसके अतिरिक्त तात्पर्य कहाँ के अनंत स्थानों की संख्या है एक परिणाम के रूप में और इसलिए इंजेक्शन है। अनुमान दिखाने के लिए, चलो यह परिभाषित किया गया है और इसके अलावा, के लिए और के लिए परिभाषित करना यह खड़ा है, वह इसलिए, विशेषण है।
अन्य समीकरण भी इसी तरह अनुसरण करते हैं।
आदर्श समूह की विशेषता
प्रमेय।[25] होने देना एक संख्या क्षेत्र हो। स्थानों का एक सीमित समूह मौजूद है ऐसा है कि:
सबूत। किसी संख्या क्षेत्र का आदर्श वर्ग समूह परिमित होता है इसलिए मान लीजिए आदर्श बनो, वर्गों का प्रतिनिधित्व करो ये आदर्श प्रधान आदर्शों की एक सीमित संख्या से उत्पन्न होते हैं होने देना युक्त स्थानों का एक परिमित समूह हो और इसके अनुरूप परिमित स्थान समरूपता पर विचार करें:
प्रेरक
अनंत स्थानों पर कथन तत्काल होता है, इसलिए कथन परिमित स्थानों के लिए सिद्ध हुआ है। समावेश "" ज़ाहिर है। होने देना संगत आदर्श एक वर्ग के अंतर्गत आता है अर्थ एक प्रमुख आदर्श के लिए विचारधारा आदर्श के नक्शे नक्शे के नीचे इसका मत चूंकि प्रमुख आदर्शों में में हैं यह इस प्रकार है सभी के लिए इसका मत सभी के लिए यह इस प्रकार है कि इसलिए
अनुप्रयोग
किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता
पिछले खंड में तथ्य यह है कि संख्या क्षेत्र की वर्ग संख्या परिमित है, का उपयोग किया गया था। यहाँ इस कथन को सिद्ध किया जा सकता है:
प्रमेय (किसी संख्या क्षेत्र की वर्ग संख्या की परिमितता)। होने देना एक संख्या क्षेत्र हो। तब
सबूत। वो नक्शा
विशेषण है और इसलिए कॉम्पैक्ट सेट की निरंतर छवि है इस प्रकार, कॉम्पैक्ट है। इसके अलावा, यह असतत और इतना परिमित है।
टिप्पणी। वैश्विक कार्य क्षेत्र के मामले में एक समान परिणाम है। इस मामले में, तथाकथित भाजक समूह परिभाषित किया गया है। यह दिखाया जा सकता है कि डिग्री के सभी विभाजकों के सेट का भागफल प्रमुख विभाजकों के समुच्चय द्वारा एक परिमित समूह है।[26]
इकाइयों का समूह और डिरिचलेट की इकाई प्रमेय
होने देना स्थानों का एक परिमित समूह हो। परिभाषित करना
तब का एक उपसमूह है सभी तत्वों से युक्त संतुष्टि देने वाला सभी के लिए तब से में असतत है का असतत उपसमूह है और इसी तर्क के साथ में असतत है
एक वैकल्पिक परिभाषा है: कहाँ का उपसमूह है द्वारा परिभाषित
एक परिणाम के रूप में, सभी तत्व शामिल हैं जो पूरा करते हैं सभी के लिए
लेम्मा 1. चलो निम्नलिखित सेट परिमित है:
सबूत। परिभाषित करना
कॉम्पैक्ट है और ऊपर वर्णित सेट का प्रतिच्छेदन है असतत उपसमूह के साथ में और इसलिए परिमित।
लेम्मा 2। चलो सभी के लिए सेट हो ऐसा है कि सभी के लिए तब की एकता की सभी जड़ों का समूह विशेष रूप से यह परिमित और चक्रीय है।
सबूत। की एकता की सभी जड़ें निरपेक्ष मूल्य है इसलिए विलोम के लिए ध्यान दें कि लेम्मा 1 के साथ और कोई भी तात्पर्य परिमित है। इसके अतिरिक्त स्थानों के प्रत्येक परिमित सेट के लिए अंत में मान लीजिए कि मौजूद है जो की एकता का मूल नहीं है तब सभी के लिए की सूक्ष्मता के विपरीत
इकाई प्रमेय। की प्रत्यक्ष उपज है और एक समूह आइसोमोर्फिक है कहाँ अगर और अगर [27]
डिरिक्लेट की इकाई प्रमेय। होने देना एक संख्या क्षेत्र हो। तब कहाँ की एकता की सभी जड़ों का परिमित चक्रीय समूह है के वास्तविक एम्बेडिंग की संख्या है और के जटिल एम्बेडिंग के संयुग्म जोड़े की संख्या है यह खड़ा है, वह
टिप्पणी। इकाई प्रमेय डिरिचलेट की इकाई प्रमेय का सामान्यीकरण करता है। इसे देखने के लिए, आइए एक संख्या क्षेत्र हो। यह पहले से ही ज्ञात है तय करना और ध्यान दें फिर वहाँ है:
सन्निकटन प्रमेय
कमजोर सन्निकटन प्रमेय।[28] होने देना के असमान मूल्यांकन हो होने देना का पूरा होना इसके संबंध में एम्बेड तिरछे में तब हर जगह-सघन में सेट है दूसरे शब्दों में, प्रत्येक के लिए और प्रत्येक के लिए वहां मौजूद ऐसा है कि:
मजबूत सन्निकटन प्रमेय।[29] होने देना का स्थान हो परिभाषित करना
तब में घना है
टिप्पणी। इसके एडेल रिंग में वैश्विक क्षेत्र असतत है। मजबूत सन्निकटन प्रमेय हमें बताता है कि, यदि एक स्थान (या अधिक) को छोड़ दिया जाता है, तो असततता का गुण के सघनता में बदल जाता है
घृणा सिद्धांत
हस्से-मिन्कोव्स्की प्रमेय|हस्से-मिन्कोव्स्की प्रमेय। पर एक द्विघात रूप शून्य है, यदि और केवल यदि, द्विघात रूप प्रत्येक पूर्णता में शून्य है
टिप्पणी। द्विघात रूपों के लिए यह हस्से सिद्धांत है। 2 से बड़ी डिग्री के बहुपदों के लिए हासे सिद्धांत सामान्य रूप से मान्य नहीं है। हस्से सिद्धांत (स्थानीय-वैश्विक सिद्धांत के रूप में भी जाना जाता है) का विचार किसी संख्या क्षेत्र की दी गई समस्या को हल करना है इसकी पूर्णता में ऐसा करने से और फिर में एक समाधान पर समापन
एडेल रिंग पर वर्ण
परिभाषा। होने देना स्थानीय रूप से कॉम्पैक्ट एबेलियन समूह बनें। का वर्ण समूह के सभी वर्णों का समुच्चय है और द्वारा दर्शाया गया है इसके तुल्य से सभी सतत समूह समरूपताओं का समुच्चय है को लैस कॉम्पैक्ट सबसेट पर समान अभिसरण की टोपोलॉजी के साथ कोई यह दिखा सकता है स्थानीय रूप से कॉम्पैक्ट एबेलियन समूह भी है।
प्रमेय। एडेल रिंग सेल्फ-डुअल है:
सबूत। स्थानीय निर्देशांकों में कमी करके, यह प्रत्येक को दिखाने के लिए पर्याप्त है स्वयं द्वैत है। यह एक निश्चित वर्ण का उपयोग करके किया जा सकता है विचार को दर्शाकर चित्रित किया गया है स्वयं द्वैत है। परिभाषित करना:
फिर निम्न नक्शा एक समरूपता है जो टोपोलॉजी का सम्मान करता है:
प्रमेय (एडेल रिंग के बीजगणितीय और निरंतर दोहरे)।[30] होने देना का एक गैर-तुच्छ चरित्र हो जो तुच्छ है होने देना एक परिमित-आयामी वेक्टर-स्पेस ओवर हो होने देना और के बीजगणितीय द्वैत हों और के सामयिक दोहरे को निरूपित करें द्वारा और उपयोग करें और प्राकृतिक बिलिनियर जोड़ियों को इंगित करने के लिए और फिर सूत्र सभी के लिए समरूपता निर्धारित करता है का पर कहाँ और इसके अलावा, अगर पूरा सभी के लिए तब
टेट की थीसिस
के किरदारों की मदद से एडेल रिंग पर फूरियर विश्लेषण किया जा सकता है।[31] जॉन टी. टेट ने अपने थीसिस फूरियर एनालिसिस इन नंबर फील्ड्स एंड हेके जीटा फंक्शंस में[5] ने एडेल रिंग और आइडल ग्रुप पर फूरियर विश्लेषण का उपयोग करके डिरिचलेट एल-फंक्शन के बारे में परिणाम साबित किए। इसलिए, एडेल रिंग और आइडल ग्रुप को रीमैन जीटा फंक्शन और अधिक सामान्य जीटा फंक्शन और एल-फंक्शन का अध्ययन करने के लिए लागू किया गया है। इन कार्यों के एडेलिक रूपों को संबंधित हार उपायों के संबंध में एडेल रिंग या आइडल समूह पर इंटीग्रल के रूप में परिभाषित और प्रतिनिधित्व किया जा सकता है। इन कार्यों के कार्यात्मक समीकरण और मेरोमोर्फिक निरंतरताएं दिखाई जा सकती हैं। उदाहरण के लिए, सभी के लिए साथ
कहाँ अद्वितीय हार उपाय चालू है इस तरह सामान्यीकृत मात्रा एक है और शून्य से परिमित एडेल रिंग तक बढ़ाया गया है। नतीजतन, रीमैन ज़ेटा फ़ंक्शन को एडेल रिंग के ऊपर एक अभिन्न अंग (एक सबसेट) के रूप में लिखा जा सकता है।[32]
स्वचालित रूप
ऑटोमोर्फिक रूपों का सिद्धांत आदर्श समूह को समान उच्च आयामी समूहों के साथ बदलकर टेट की थीसिस का सामान्यीकरण है। इस नोट को देखने के लिए:
इन पहचान के आधार पर आदर्श समूह और 1-आदर्श को प्रतिस्थापित करने के लिए एक प्राकृतिक सामान्यीकरण होगा:
और अंत में
कहाँ का केन्द्र है फिर यह एक ऑटोमोर्फिक रूप को एक तत्व के रूप में परिभाषित करता है दूसरे शब्दों में एक ऑटोमोर्फिक रूप एक कार्य है कुछ बीजगणितीय और विश्लेषणात्मक स्थितियों को संतुष्ट करना। ऑटोमॉर्फिक रूपों का अध्ययन करने के लिए, समूह के निरूपण को जानना महत्वपूर्ण है ऑटोमॉर्फिक एल-फ़ंक्शंस का अध्ययन करना भी संभव है, जिसे इंटीग्रल ओवर के रूप में वर्णित किया जा सकता है [33]
प्रतिस्थापित करके आगे भी सामान्यीकरण संभव है एक संख्या क्षेत्र के साथ और एक मनमाना रिडक्टिव बीजगणितीय समूह के साथ।
आगे के आवेदन
आर्टिन पारस्परिकता कानून का एक सामान्यीकरण प्रतिनिधित्व के संबंध की ओर जाता है और गाल्वा के अभ्यावेदन (लैंगलैंड्स कार्यक्रम)।
आदर्श वर्ग समूह वर्ग क्षेत्र सिद्धांत का एक प्रमुख उद्देश्य है, जो क्षेत्र के एबेलियन विस्तार का वर्णन करता है। स्थानीय वर्ग क्षेत्र सिद्धांत में स्थानीय पारस्परिक मानचित्रों का उत्पाद वैश्विक क्षेत्र के अधिकतम एबेलियन विस्तार के गैलोज़ समूह को आदर्श समूह का एक समरूपता देता है। आर्टिन पारस्परिकता कानून, जो गॉस द्विघात पारस्परिकता कानून का एक व्यापक सामान्यीकरण है, कहता है कि उत्पाद संख्या क्षेत्र के गुणात्मक समूह पर गायब हो जाता है। इस प्रकार, क्षेत्र के निरपेक्ष गैल्वा समूह के एबेलियन भाग के लिए आदर्श वर्ग समूह का वैश्विक पारस्परिकता मानचित्र प्राप्त किया जाएगा।
एक परिमित क्षेत्र पर एक वक्र के कार्य क्षेत्र के एडेल रिंग की स्व-द्वैत आसानी से रीमैन-रोच प्रमेय और वक्र के लिए द्वंद्व सिद्धांत का अर्थ है।
↑A proof can be found Deitmar 2010, p. 128, Theorem 5.3.4. See also p. 139 for more information on Tate's thesis.
↑For further information see Chapters 7 and 8 in Deitmar 2010.
स्रोत
Cassels, John; Fröhlich, Albrecht (1967). बीजगणितीय संख्या सिद्धांत: लंदन मैथमैटिकल सोसाइटी, (एक नाटो उन्नत अध्ययन संस्थान) द्वारा आयोजित एक निर्देशात्मक सम्मेलन की कार्यवाही. Vol. XVIII. London: Academic Press. ISBN978-0-12-163251-9. 366 पृष्ठ।
Neukirch, Jürgen (2007). बीजगणितीय संख्या सिद्धांत, अपरिवर्तित। पहले संस्करण की आवृत्ति। ईडीएन (in Deutsch). Vol. XIII. Berlin: Springer. ISBN9783540375470. 595 पृष्ठ।