बीजगणितीय संख्या क्षेत्र: Difference between revisions

Latest revision as of 07:45, 1 November 2023

गणित में, एक बीजगणितीय संख्या क्षेत्र (या साधारणतः संख्या क्षेत्र) कोई ऐसा विस्तार क्षेत्र $K$ होता है जो सांख्यिकीय संख्याओं के क्षेत्र $\mathbb {Q}$ का विस्तार होता है और जिसका क्षेत्र विस्तार $K/\mathbb {Q}$ सीमित अवधि का होता है। इस प्रकार, $K$ एक ऐसा क्षेत्र होता है जो $\mathbb {Q}$ को सम्मिलित करता है और जब इसे $\mathbb {Q}$ पर एक सदिश समष्टि के रूप में विचार किया जाता है, तो यह अंतिमतः इसका हैमेल आयाम परिमित होता है।

बीजगणितीय संख्या क्षेत्रों का अध्ययन, और, अधिक सामान्यतः, तर्कसंगत संख्याओं के क्षेत्र के बीजगणितीय विस्तार का अध्ययन, बीजगणितीय संख्या सिद्धांत का केंद्रीय विषय है। यह अध्ययन बीजगणितीय विधियों का उपयोग करके सामान्य तर्कसंगत संख्याओं के पीछे छिपी संरचनाओं को संदर्भित करता है।

परिभाषा

आवश्यकताएँ

बीजगणितीय संख्या क्षेत्र की धारणा एक गणितीय क्षेत्र की अवधारणा पर निर्भर करती है। एक क्षेत्र में तत्वों का एक समुच्चय होता है जिसमें दो संक्रिया, अर्थात् जोड़, और गुणा, और कुछ वितरण संक्रियाएं सम्मिलित होती हैं। क्षेत्र का एक प्रमुख उदाहरण परिमेय संख्याओं का क्षेत्र है, जिसे सामान्यतः जोड़ और गुणा की अपनी सामान्य संक्रियाओं के साथ $\mathbb {Q}$ , द्वारा दर्शाया जाता है।

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

(x₁, x₂,…)

जिनकी प्रविष्टियाँ किसी निश्चित क्षेत्र के तत्व हैं, जैसे क्षेत्र $\mathbb {Q}$ . ऐसे किन्हीं दो अनुक्रमों को संगत प्रविष्टियों को जोड़कर युग्मित किया जा सकता है। इसके अतिरिक्त, किसी भी अनुक्रम को निश्चित क्षेत्र के एकल तत्व c से गुणा किया जा सकता है। वेक्टर जोड़ और स्केलर गुणन के रूप में जाने जाने वाले ये दो संक्रिया कई गुणों को संतुष्ट करते हैं जो सदिश समष्टि को अमूर्त रूप से परिभाषित करने का कार्य करते हैं। सदिश समष्टि को अनंत-आयामी होने की अनुमति है, अर्थात सदिश समष्टि बनाने वाले अनुक्रम अनंत लंबाई के हैं। यदि, तथापि, सदिश समष्टि में परिमित अनुक्रम होते हैं

(x₁, x₂, …, x_n),

सदिश समष्टि को परिमित हेमेल आयाम, n कहा जाता है।

परिभाषा

एक बीजगणितीय संख्या क्षेत्र (या मात्र संख्या क्षेत्र) तर्कसंगत संख्याओं के क्षेत्र के क्षेत्र विस्तार की एक सीमित-डिग्री है। यहां डिग्री का अर्थ वेक्टर समष्टि के रूप में $\mathbb {Q}$ .क्षेत्र का आयाम है।

उदाहरण

सबसे छोटी और सबसे आधारभूत संख्या क्षेत्र $\mathbb {Q}$ क्षेत्र है। तर्कसंगत संख्याओं का. सामान्य संख्या क्षेत्र के कई गुणों को गुणों के आधार पर तैयार किया जाता है $\mathbb {Q}$ . साथ ही, बीजगणितीय संख्या क्षेत्रों के कई अन्य गुण तर्कसंगत संख्याओं के गुणों से अत्यधिक भिन्न हैं - एक उल्लेखनीय उदाहरण यह है कि किसी संख्या क्षेत्र के बीजगणितीय पूर्णांकों की सामान्य रूप से एक प्रमुख आदर्श क्षेत्र नहीं है।
गॉसियन तर्कसंगत, जिसे $\mathbb {Q} (i)$ से निरूपित किया जाता है, किसी संख्या क्षेत्र का पहला गैर-तुच्छ उदाहरण है। इसके तत्व रूप के तत्व निम्नलिखितहैं $a+bi$ जहाँ a और b दोनों परिमेय संख्याएँ हैं और i काल्पनिक इकाई है। ऐसे भावों को अंकगणित के सामान्य नियमों के अनुसार जोड़ा, घटाया और गुणा किया जा सकता है और फिर पहचान का उपयोग करके सरल बनाया जा सकता है $i^{2}=-1.$ स्पष्ट रूप से, ${\begin{matrix}(a+bi)+(c+di)&=&(a+c)+(b+d)i\\(a+bi)\cdot (c+di)&=&(ac-bd)+(ad+bc)i\end{matrix}}$ गैर-शून्य गॉसियन परिमेय संख्याएँ व्युत्क्रमी होती हैं, जिन्हें निम्नलिखित समीकरण द्वारा देखा जा सकता है $(a+bi)\left({\frac {a}{a^{2}+b^{2}}}-{\frac {b}{a^{2}+b^{2}}}i\right)={\frac {(a+bi)(a-bi)}{a^{2}+b^{2}}}=1.$ इसका तात्पर्य यह है कि गॉसियन परिमेय एक संख्या क्षेत्र $\mathbb {Q}$ . बनाते हैं जो एक सदिश समष्टि के रूप में द्वि-आयामी होता है।
सामान्यतः, किसी भी वर्ग-मुक्त पूर्णांक $d$ , के लिए द्विघात क्षेत्र $\mathbb {Q} ({\sqrt {d}})$ के वर्गमूल को संलग्न करके प्राप्त एक संख्या क्षेत्र $d$ है। परिमेय संख्याओं के इस क्षेत्र में अंकगणितीय परिचालनों को गाऊसी तर्कसंगत संख्याओं के विषय के अनुरूप $d=-1$ . द्वारा परिभाषित किया गया है,
साइक्लोटोमिक क्षेत्र $\mathbb {Q} (\zeta _{n}),$ जहाँ $\zeta _{n}=\exp {2\pi i/n}$ से प्राप्त एक संख्या क्षेत्र $\mathbb {Q}$ है जिसमे प्रतिस्थापित $n$ वर्गमूल के आयाम सम्मिलित हैं। $\varphi (n)$ , $\mathbb {Q}$ के बराबर है , जहाँ $\varphi$ यूलर का टोटिएंट फलन है।

गैर-उदाहरण

वास्तविक संख्या, $\mathbb {R}$ , और सम्मिश्र संख्याएँ, $\mathbb {C}$ , वे क्षेत्र हैं जिनका आयाम अनंत है $\mathbb {Q}$ -सदिश समष्टि, इसलिए, वे संख्या क्षेत्र नहीं हैं। $\mathbb {R}$ और $\mathbb {C}$ समुच्चय के रूप में यह अनंत से आता है , जबकि प्रत्येक संख्या क्षेत्र आवश्यक रूप से गणनीय है।
समुच्चय $\mathbb {Q} ^{2}$ परिमेय संख्याओं $\mathbb {Q}$ . के क्रमित युग्मों का, प्रविष्टि-वार जोड़ और गुणन के साथ एक द्वि-आयामी क्रमविनिमेय बीजगणित है यद्यपि, यह एक क्षेत्र नहीं है, क्योंकि इसमें शून्य विभाजक हैं: $(1,0)\cdot (0,1)=(1\cdot 0,0\cdot 1)=(0,0)$

बीजगणितीयता, और पूर्णांकों का वलय

सामान्यतः, अमूर्त बीजगणित में, एक क्षेत्र विस्तार $K/L$ यदि प्रत्येक तत्व बीजगणितीय क्षेत्र विस्तार है $f$ बड़े क्षेत्र का $K$ गुणांक वाले बहुपद का शून्यक है $e_{0},\ldots ,e_{m}$ में $L$ :

p(f)=e_{m}f^{m}+e_{m-1}f^{m-1}+\cdots +e_{1}f+e_{0}=0

परिमित डिग्री का प्रत्येक क्षेत्र विस्तार बीजगणितीय है। प्रमाण: के लिए $x$ में $K$ , विचार करें $1,x,x^{2},x^{3},\ldots$ - हमें एक रैखिक निर्भरता प्राप्त होती है, अर्थात एक बहुपद $x$ का मूल है। विशेष रूप से यह बीजगणितीय संख्या क्षेत्रों पर लागू होता है, इसलिए कोई भी तत्व $f$ एक बीजगणितीय संख्या क्षेत्र का $K$ तर्कसंगत गुणांक वाले बहुपद के शून्य के रूप में लिखा जा सकता है। इसलिए, के तत्व $K$ इन्हें बीजगणितीय संख्याएँ भी कहा जाता है। एक बहुपद दिया गया है $p$ ऐसा है कि $p(f)=0$ , इसे ऐसे व्यवस्थित किया जा सकता है कि अग्रणी गुणांक $e_{m}$ यदि आवश्यक हो, तो सभी गुणांकों को इससे विभाजित करके एक है। इस गुण वाले बहुपद को मोनिक बहुपद के रूप में जाना जाता है। सामान्यतः इसमें तर्कसंगत गुणांक होंगे।

यद्यपि, यदि इसके गुणांक वास्तव में सभी पूर्णांक हैं, $f$ बीजगणितीय पूर्णांक कहा जाता है.

कोई भी सामान्य पूर्णांक $z\in \mathbb {Z}$ एक बीजगणितीय पूर्णांक है, क्योंकि यह रैखिक मोनिक बहुपद का शून्य है:

p(t)=t-z

.

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

अद्वितीय गुणनखंडन

सामान्य डेडेकाइंड चक्रों के लिए, विशेष रूप से पूर्णांकों की चक्रों में, अभाज्य आदर्शों के उत्पाद में आदर्श रिंग सिद्धांत का एक अद्वितीय गुणनखंडन होता है। उदाहरण के लिए, आदर्श $(6)$ रिंग में $\mathbf {Z} [{\sqrt {-5}}]$ द्विघात पूर्णांक कारकों को अभाज्य आदर्शों में विभाजित करता है

(6)=(2,1+{\sqrt {-5}})(2,1-{\sqrt {-5}})(3,1+{\sqrt {-5}})(3,1-{\sqrt {-5}})

यद्यपि, इसके विपरीत $\mathbf {Z}$ के पूर्णांकों के वलय के रूप में $\mathbf {Q}$ , के उचित विस्तार के पूर्णांकों का वलय $\mathbf {Q}$ अभाज्य संख्याओं या, अधिक सटीक रूप से, अभाज्य तत्वों के उत्पाद में संख्याओं के अद्वितीय गुणनखंड क्षेत्र को स्वीकार करने की आवश्यकता नहीं है। यह द्विघात पूर्णांकों के लिए पहले से ही होता है, उदाहरण के लिए ${\mathcal {O}}_{\mathbf {Q} ({\sqrt {-5}})}=\mathbf {Z} [{\sqrt {-5}}]$ , गुणनखंडन की विशिष्टता विफल हो जाती है:

6=2\cdot 3=(1+{\sqrt {-5}})\cdot (1-{\sqrt {-5}})

क्षेत्र मानदंड का उपयोग करके यह दिखाया जा सकता है कि ये दो कारक वास्तव में इस अर्थ में असमान हैं कि कारक केवल एक इकाई ${\mathcal {O}}_{\mathbf {Q} ({\sqrt {-5}})}$ . से भिन्न नहीं होते हैं यूक्लिडियन क्षेत्र अद्वितीय गुणनखंडन क्षेत्र हैं; उदाहरण के लिए $\mathbf {Z} [i]$ , गाऊसी पूर्णांक का वलय, और $\mathbf {Z} [\omega ]$ , आइज़ेंस्टीन पूर्णांक का चक्र, जहां $\omega$ एकता का घनमूल है जो 1 के समान नहीं है।^[1]

विश्लेषणात्मक वस्तुएं: ζ-फलन, एल-फलन, और वर्ग संख्या सूत्र

अद्वितीय गुणनखंडन की विफलता को वर्ग संख्या द्वारा मापा जाता है, जिसे सामान्यतः एच, तथाकथित आदर्श वर्ग समूह की कार्डिनैलिटी द्वारा दर्शाया जाता है। यह समूह सदैव सीमित है। पूर्णांकों का वलय ${\mathcal {O}}_{K}$ अद्वितीय गुणनखंडन रखता है यदि और केवल यदि यह एक प्रमुख वलय है या, समकक्ष, यदि $K$ इसमें वर्ग संख्या एक के साथ संख्या क्षेत्र की सूची है। किसी संख्या क्षेत्र को देखते हुए, वर्ग संख्या की गणना करना प्रायः कठिन होता है। वर्ग संख्या समस्या, गॉस पर वापस जाते हुए, काल्पनिक द्विघात संख्या क्षेत्रों के अस्तित्व से संबंधित है (अर्थात्, $\mathbf {Q} {\sqrt {-d}},d\geq 1$ ) निर्धारित वर्ग संख्या के साथ। वर्ग संख्या सूत्र h को अन्य मूलभूत अपरिवर्तनीयों से संबंधित करता है $K$ . इसमें डेडेकाइंड जीटा फलन ζ सम्मिलित है_$K$(s), एक जटिल चर s में एक फलन, द्वारा परिभाषित

\zeta _{K}(s):=\prod _{\mathfrak {p}}{\frac {1}{1-N({\mathfrak {p}})^{-s}}}.

(उत्पाद सभी प्रमुख आदर्शों से ऊपर है ${\mathcal {O}}_{K}$ , $N({\mathfrak {p}})$ मुख्य आदर्श के मानदंड या, समकक्ष, अवशेष क्षेत्र में तत्वों की (सीमित) संख्या को दर्शाता है ${\mathcal {O}}_{K}/{\mathfrak {p}}$ . अनंत उत्पाद केवल वास्तविक भाग (भागों)> 1 के लिए अभिसरण करता है, सामान्य विश्लेषणात्मक निरंतरता में और सभी एस के लिए फलन को परिभाषित करने के लिए ज़ेटा-फलन के लिए कार्यात्मक समीकरण की आवश्यकता होती है)। डेडेकाइंड ज़ेटा-फलन उस ζ में रीमैन ज़ेटा-फलन को सामान्यीकृत करता है_{$\mathbb {Q}$}(एस) = ζ(एस)।

वर्ग संख्या सूत्र बताता है कि ζ_$K$(s) का s = 1 पर एक सरल ध्रुव है और इस बिंदु पर अवशेष (जटिल विश्लेषण) द्वारा दिया गया है

{\frac {2^{r_{1}}\cdot (2\pi )^{r_{2}}\cdot h\cdot \operatorname {Reg} }{w\cdot {\sqrt {|D|}}}}.

यहां आर₁ और आर₂ वास्तविक और जटिल एम्बेडिंग की संख्या और वास्तविक और जटिल एम्बेडिंग के जोड़े को शास्त्रीय रूप से निरूपित करें $K$ , क्रमश। इसके अतिरिक्त, रेग का नियामक (गणित) है $K$ , w में एकता के मूल की संख्या $K$ और D का विवेचक है $K$ .

डिरिचलेट एल-फलन $L(\chi ,s)$ का अधिक परिष्कृत संस्करण हैं $\zeta (s)$ . दोनों प्रकार के फलन अंकगणितीय व्यवहार को कूटबद्ध करते हैं $\mathbb {Q}$ और $K$ , क्रमश। उदाहरण के लिए, अंकगणितीय प्रगति पर डिरिचलेट का प्रमेय|डिरिचलेट का प्रमेय यह दावा करता है कि किसी भी अंकगणितीय प्रगति में

a,a+m,a+2m,\ldots

सह अभाज्य के साथ $a$ और $m$ , अपरिमित रूप से अनेक अभाज्य संख्याएँ हैं। यह प्रमेय इस तथ्य से निहित है कि डिरिचलेट $L$ -फलन शून्येतर है $s=1$ . बीजगणितीय के-सिद्धांत और तमागावा उपायों सहित बहुत अधिक उन्नत तकनीकों का उपयोग करते हुए, आधुनिक संख्या सिद्धांत अधिक सामान्य एल-फलन के मूल्यों के विवरण से संबंधित है, भले ही यह अत्यधिक हद तक अनुमानित हो (तमागावा संख्या अनुमान देखें)।^[2]

संख्या क्षेत्र के लिए आधार

अभिन्न आधार

किसी संख्या क्षेत्र के लिए एक अभिन्न आधार $K$ डिग्री का $n$ एक समुच्चय है

बी = {बी₁, …, बी_n}

में n बीजगणितीय पूर्णांकों का $K$ इस प्रकार कि वलय का प्रत्येक तत्व पूर्णांकों का हो ${\mathcal {O}}_{K}$ का $K$ बी के तत्वों के जेड-रैखिक संयोजन के रूप में विशिष्ट रूप से लिखा जा सकता है; अर्थात्, किसी भी x के लिए ${\mathcal {O}}_{K}$ अपने पास

x = एम₁b₁ + ⋯ + म_nb_n,

जहां एम_i(साधारण) पूर्णांक हैं। तब यह भी मामला है कि कोई भी तत्व $K$ के रूप में विशिष्ट रूप से लिखा जा सकता है

एम₁b₁ + ⋯ + म_nb_n,

अब कहां एम_iतर्कसंगत संख्याएँ हैं. के बीजगणितीय पूर्णांक $K$ तो फिर ये बिल्कुल वही तत्व हैं $K$ जहां एम_iसभी पूर्णांक हैं.

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

शक्ति आधार

होने देना $K$ डिग्री का एक नंबर क्षेत्र हो $n$ . के सभी संभावित आधारों में से $K$ (ए के रूप में देखा गया $\mathbb {Q}$ -वेक्टर स्पेस), विशेष रूप से पावर आधार के रूप में जाने जाते हैं, जो फॉर्म के आधार हैं

B_{x}=\{1,x,x^{2},\ldots ,x^{n-1}\}

किसी तत्व के लिए $x\in K$ . आदिम तत्व प्रमेय के अनुसार, ऐसा अस्तित्व है $x$ , जिसे आदिम तत्व (क्षेत्र सिद्धांत) कहा जाता है। अगर $x$ में चुना जा सकता है ${\mathcal {O}}_{K}$ और ऐसा कि $B_{x}$ का आधार है ${\mathcal {O}}_{K}$ तो फिर, एक मुफ़्त Z-मॉड्यूल के रूप में $B_{x}$ शक्ति अभिन्न आधार और क्षेत्र कहा जाता है $K$ मोनोजेनिक क्षेत्र कहा जाता है। एक संख्या क्षेत्र का उदाहरण जो मोनोजेनिक नहीं है, सबसे पहले डेडेकाइंड द्वारा दिया गया था। उसका उदाहरण बहुपद के मूल को जोड़कर प्राप्त किया गया क्षेत्र है।^[3]

x^{3}-x^{2}-2x-8.

नियमित प्रतिनिधित्व, ट्रेस और विभेदक

याद रखें कि कोई भी क्षेत्र विस्तार $K/\mathbb {Q}$ एक अद्वितीय $\mathbb {Q}$ -सदिश समष्टि संरचना है । में गुणन का उपयोग करना $K$ , तत्व $x$ क्षेत्र का $K$ आधार क्षेत्र के ऊपर $\mathbb {Q}$ $n\times n$ आव्यूह द्वारा प्रतिनिधित्व किया जा सकता है।

A=A(x)=(a_{ij})_{1\leq i,j\leq n}

आवश्यकता के द्वारा

xe_{i}=\sum _{j=1}^{n}a_{ij}e_{j},\quad a_{ij}\in \mathbb {Q} .

यहाँ

e_{1},\ldots ,e_{n}

के लिए एक निश्चित आधार है

K

, के रूप में देखा गया

\mathbb {Q}

-सदिश स्थल। तर्कसंगत संख्याएँ

a_{ij}

द्वारा विशिष्ट रूप से निर्धारित किये जाते हैं

x

और किसी भी तत्व के बाद से आधार का चुनाव

K

आधार तत्वों के रैखिक संयोजन के रूप में विशिष्ट रूप से दर्शाया जा सकता है। क्षेत्र के किसी भी तत्व के साथ आव्यूह को जोड़ने का यह तरीका

K

नियमित प्रतिनिधित्व कहा जाता है. वर्ग आव्यूह

A

से गुणन के प्रभाव को दर्शाता है

x

दिए गए आधार पर. यह इस प्रकार है कि यदि तत्व

y

का

K

एक आव्यूह द्वारा दर्शाया गया है

B

, फिर उत्पाद

xy

आव्यूह उत्पाद द्वारा दर्शाया गया है

BA

. आव्यूह के अपरिवर्तनीय (गणित), जैसे ट्रेस (रैखिक बीजगणित), निर्धारक, और विशेषता बहुपद, पूरी तरह से क्षेत्र तत्व पर निर्भर करते हैं

x

और आधार पर नहीं. विशेष रूप से, आव्यूह का निशान

A(x)

क्षेत्र तत्व का क्षेत्र ट्रेस कहा जाता है

x

और निरूपित किया गया

{\text{Tr}}(x)

, और निर्धारक को x का क्षेत्र मानदंड कहा जाता है और दर्शाया जाता है

N(x)

.

अब इसे क्षेत्र विस्तार पर विचार करके थोड़ा सामान्यीकृत किया जा सकता है $K/L$ और एक दे रहा हूँ $L$ -के लिए आधार $K$ . फिर, एक संबद्ध आव्यूह है $A_{K/L}(x)$ जिसका निशान है ${\text{Tr}}_{K/L}(x)$ और आदर्श ${\text{N}}_{K/L}(x)$ आव्यूह के ट्रेस और निर्धारक के रूप में परिभाषित किया गया है $A_{K/L}(x)$ .

उदाहरण

क्षेत्र विस्तार पर विचार करें $\mathbb {Q} (\theta )$ जहाँ $\theta =\zeta _{3}{\sqrt[{3}]{2}}$ . फिर, हमारे पास एक $\mathbb {Q}$ -द्वारा दिया गया आधार

\{1,\zeta _{3}{\sqrt[{3}]{2}},\zeta _{3}^{2}{\sqrt[{3}]{2^{2}}}\}

किसी के बाद से

x\in \mathbb {Q} (\theta )

कुछ के रूप में व्यक्त किया जा सकता है

\mathbb {Q}

-रैखिक संयोजन

a+b\zeta _{3}{\sqrt[{3}]{2}}+c\zeta _{3}^{2}{\sqrt[{3}]{2^{2}}}=a+b\theta +c\theta ^{2}

फिर, हम कुछ ले सकते हैं

y\in \mathbb {Q} (\theta )

जहाँ

y=y_{0}+y_{1}\theta +y_{2}\theta ^{2}

और गणना करें

x\cdot y

. इसे लिखने से लाभ मिलता है

{\begin{aligned}a(y_{0}+y_{1}\theta +y_{2}\theta ^{2})+\\b(2y_{2}+y_{0}\theta +y_{1}\theta ^{2})+\\c(2y_{1}+2y_{2}\theta +y_{0}\theta ^{2})\end{aligned}}

हम आव्यूह पा सकते हैं

A(x)

संबंधित आव्यूह समीकरण लिखकर

{\begin{bmatrix}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{bmatrix}}{\begin{bmatrix}y_{0}\\y_{1}\\y_{2}\end{bmatrix}}={\begin{bmatrix}ay_{0}+2cy_{1}+2by_{2}\\by_{0}+ay_{1}+2cy_{2}\\cy_{0}+by_{1}+ay_{2}\end{bmatrix}}

दिखा

A(x)={\begin{bmatrix}a&2c&2b\\b&a&2c\\c&b&a\end{bmatrix}}

फिर हम ट्रेस और मानदंड देकर, सापेक्ष सरली से ट्रेस और निर्धारक की गणना कर सकते हैं।

गुण

परिभाषा के अनुसार, आव्यूह के निशान और निर्धारकों के मानक गुण Tr और N तक ले जाते हैं: Tr(x) x का एक रैखिक कार्य है, जैसा कि व्यक्त किया गया है Tr(x + y) = Tr(x) + Tr(y), Tr(λx) = λ Tr(x), और मानदंड डिग्री n का एक गुणात्मक सजातीय कार्य है: N(xy) = N(x) N(y), N(λx) = λⁿ N(x). यहाँ λ एक परिमेय संख्या है, और x, y कोई दो तत्व हैं $K$ .

व्युत्पन्न ट्रेस फॉर्म एक द्विरेखीय रूप है जिसे ट्रेस के माध्यम से परिभाषित किया गया है

Tr_{K/L}:K\otimes _{L}K\to L

द्वारा

Tr_{K/L}(x\otimes y)=Tr_{K/L}(x\cdot y)

{\text{Tr}}_{K/L}(x)

. इंटीग्रल ट्रेस फॉर्म, एक पूर्णांक-मूल्यवान सममित आव्यूह

t_{ij}={\text{Tr}}_{K/\mathbb {Q} }(b_{i}b_{j})

के रूप में परिभाषित किया गया है , जहां b₁, ..., b_n के लिए एक अभिन्न आधार

K

. है बीजगणितीय संख्या क्षेत्र का विभेदक

K

को det(t) के रूप में परिभाषित किया गया है। यह एक पूर्णांक है, और क्षेत्र की एक अपरिवर्तनीय संपत्ति है

K

, अभिन्न आधार की पसंद पर निर्भर नहीं है।

किसी तत्व x से संबद्ध आव्यूह $K$ इसका उपयोग बीजगणितीय पूर्णांकों के अन्य समकक्ष विवरण देने के लिए भी किया जा सकता है। का एक तत्व x $K$ एक बीजगणितीय पूर्णांक है यदि और केवल यदि विशेषता बहुपद पी_A x से संबद्ध आव्यूह A का पूर्णांक गुणांक वाला एक बहुपद है। मान लीजिए कि आव्यूह A जो एक तत्व x का प्रतिनिधित्व करता है, उसमें कुछ आधार e में पूर्णांक प्रविष्टियाँ हैं। केली-हैमिल्टन प्रमेय द्वारा, पृ_A(ए) = 0, और यह उस पी का अनुसरण करता है_A(x)=0, ताकि x एक बीजगणितीय पूर्णांक हो। इसके विपरीत, यदि x का एक तत्व है $K$ जो कि पूर्णांक गुणांक वाले एक राक्षसी बहुपद का मूल है तो वही गुण संबंधित आव्यूह ए के लिए भी होता है। इस मामले में यह सिद्ध किया जा सकता है कि ए एक उपयुक्त आधार में एक पूर्णांक आव्यूह है $K$ . बीजगणितीय पूर्णांक होने की संपत्ति को इस तरह से परिभाषित किया गया है जो आधार की पसंद से स्वतंत्र है $K$ .

अभिन्न आधार के साथ उदाहरण

विचार करें की $K=\mathbb {Q} (x)$ , जहां x x³ − 11x² + x + 1 = 0 को संतुष्ट करता है . फिर एक अभिन्न आधार [1, x, 1/2(x) है² +1)], और संबंधित इंटीग्रल ट्रेस रूप निम्नलिखित है

{\begin{bmatrix}3&11&61\\11&119&653\\61&653&3589\end{bmatrix}}.

इस आव्यूह के ऊपरी बाएं कोने में 3 नियमित प्रतिनिधित्व में पहले आधार तत्व (1) द्वारा परिभाषित मानचित्र के आव्यूह का निशान है

K

पर

K

. यह आधार तत्व 3-आयामी वेक्टर समष्टि पर पहचान मानचित्र को प्रेरित करता है,

K

. 3-आयामी वेक्टर समष्टि पर पहचान मानचित्र के आव्यूह का निशान 3 है।

1304 = 2³·163 इसका निर्धारक है , क्षेत्र विभेदक; इसकी तुलना में बहुपद का विभेदक, या विभेदक, 5216 = 2⁵·163 है।

समष्टि

उन्नीसवीं सदी के गणितज्ञों ने माना कि बीजीय संख्याएँ एक प्रकार की जटिल संख्या थीं।^[4]^[5] 1897 में कर्ट हेन्सल द्वारा पी-एडिक संख्याओं की खोज के साथ यह स्थिति बदल गई; और अब किसी संख्या क्षेत्र के सभी विभिन्न संभावित एम्बेडिंग पर विचार करना मानक है $K$ इसके विभिन्न टोपोलॉजिकल पूर्णता में $K_{\mathfrak {p}}$ तुरंत विस्तारित होता है।

किसी संख्या क्षेत्र का एक समष्टि $K$ निरपेक्ष मान $K$ का एक समतुल्य वर्ग है ^[6]. अनिवार्य रूप से, तत्वों के आकार को मापने के लिए एक निरपेक्ष मान एक धारणा है $x$ का $K$ . ऐसे दो निरपेक्ष मूल्यों को समतुल्य माना जाता है यदि वे छोटेपन (या निकटता) की समान धारणा को जन्म देते हैं। निरपेक्ष मूल्यों के बीच तुल्यता संबंध $|\cdot |_{0}\sim |\cdot |_{1}$ कुछ के द्वारा दिया जाता है $\lambda \in \mathbb {R} _{>0}$ ऐसा है कि

|\cdot |_{0}=|\cdot |_{1}^{\lambda }

मतलब हम मानक का मान लेते हैं

|\cdot |_{1}

तक

\lambda

-थ शक्ति.

सामान्य तौर पर, समष्टियों के प्रकार तीन प्रकार के होते हैं। सबसे पहले , तुच्छ निरपेक्ष मान | |₀, जो मान लेता है $1$ सभी गैर-शून्य पर $x\in K$ . दूसरे और तीसरे वर्ग आर्किमिडीयन समष्टि और गैर-आर्किमिडीयन (या अल्ट्रामेट्रिक) समष्टि हैं। का पूरा होना $K$ किसी समष्टि के संबंध में $|\cdot |_{\mathfrak {p}}$ दोनों मामलों में कॉची अनुक्रम लेकर दिया गया है $K$ और शून्य अनुक्रम, अर्थात् अनुक्रमों को विभाजित करना $\{x_{n}\}_{n\in \mathbb {N} }$ ऐसा है कि

|x_{n}|_{\mathfrak {p}}\to 0

जब शून्य हो जाता है

n

अनन्त की ओर प्रवृत्त होता है। इसे फिर से एक क्षेत्र के रूप में दिखाया जा सकता है, तथाकथित पूर्णता

K

दिए गए समष्टि पर

|\cdot |_{\mathfrak {p}}

, निरूपित

K_{\mathfrak {p}}

.

के लिए $K=\mathbb {Q}$ , निम्नलिखित गैर-तुच्छ मानदंड घटित होते हैं (ओस्ट्रोव्स्की का प्रमेय): (सामान्य) निरपेक्ष मान, कभी-कभी दर्शाया जाता है $|\cdot |_{\infty }$ जो वास्तविक संख्याओं के संपूर्ण टोपोलॉजिकल क्षेत्र को जन्म देता है $\mathbb {R}$ . दूसरी ओर, किसी भी अभाज्य संख्या के लिए $p$ , पी-एडिक संख्या|पी-एडिक निरपेक्ष मान द्वारा परिभाषित किया गया है

|क्यू|_p = पी⁻ⁿ, जहां q = pⁿ a/b और a और b पूर्णांक हैं जो p से विभाज्य नहीं हैं।

इसका उपयोग निर्माण के लिए किया जाता है $p$ -एडिक नंबर $\mathbb {Q} _{p}$ . सामान्य निरपेक्ष मान के विपरीत, जब q को p से गुणा किया जाता है तो p-एडिक निरपेक्ष मान छोटा हो जाता है, जिससे अत्यधिक भिन्न व्यवहार होता है $\mathbb {Q} _{p}$ इसकी तुलना में $\mathbb {R}$ .

ध्यान दें कि सामान्यतः जिस सामान्य स्थिति पर विचार किया जाता है वह एक संख्या क्षेत्र लेना है $K$ और मूल्यांकन के एक प्रमुख आदर्श पर विचार करना ${\mathfrak {p}}\in {\text{Spec}}({\mathcal {O}}_{K})$ इससे संबंधित बीजगणितीय संख्या के लिए ${\mathcal {O}}_{K}$ . फिर होगी अनोखी जगह $|\cdot |_{\mathfrak {p}}:K\to \mathbb {R} _{\geq 0}$ गैर-आर्किमिडीयन समष्टि कहा जाता है। इसके अतिरिक्त, प्रत्येक एम्बेडिंग के लिए $\sigma :K\to \mathbb {C}$ वहाँ एक आर्किमिडीयन समष्टि नामक समष्टि होगा, जिसे दर्शाया जाएगा $|\cdot |_{\sigma }:K\to \mathbb {R} _{\geq 0}$ . यह कथन एक प्रमेय है जिसे ओस्ट्रोव्स्की का प्रमेय भी कहा जाता है।

उदाहरण

फील्ड $K=\mathbb {Q} [x]/(x^{6}-2)=\mathbb {Q} (\theta )$ के लिए $\theta =\zeta {\sqrt[{6}]{2}}$ जहाँ $\zeta$ एकता की एक निश्चित छठी जड़ है, जो स्पष्ट वास्तविक और जटिल आर्किमिडीयन एम्बेडिंग और गैर-आर्किमिडीयन एम्बेडिंग के निर्माण के लिए एक समृद्ध उदाहरण प्रदान करती है।^[6]^{पृष्ठ 15-16}.

आर्किमिडीयन समष्टि

यहां हम मानक संकेतन का उपयोग करते हैं $r_{1}$ और $r_{2}$ क्रमशः प्रयुक्त वास्तविक और जटिल एम्बेडिंग की संख्या के लिए (नीचे देखें)।

किसी संख्या क्षेत्र के आर्किमिडीयन समष्टियों की गणना करना $K$ इस प्रकार किया जाता है: चलो $x$ का एक आदिम तत्व हो $K$ , न्यूनतम बहुपद के साथ $f$ (ऊपर $\mathbb {Q}$ ). ऊपर $\mathbb {R}$ , $f$ सामान्यतः अब अपरिवर्तनीय नहीं होगा, परंतु इसके अपरिवर्तनीय (वास्तविक) कारक या तो एक या दो डिग्री के हैं। चूँकि जड़ों की पुनरावृत्ति नहीं होती, इसलिए कारकों की पुनरावृत्ति भी नहीं होती। वर्ग मूल $r$ डिग्री एक के कारक आवश्यक रूप से वास्तविक और प्रतिस्थापित करने वाले होते हैं $x$ द्वारा $r$ का एम्बेडिंग देता है $K$ में $\mathbb {R}$ ; ऐसे एम्बेडिंग की संख्या वास्तविक जड़ों की संख्या के बराबर है $f$ . मानक निरपेक्ष मान को प्रतिबंधित करना $\mathbb {R}$ को $K$ पर एक आर्किमिडीयन निरपेक्ष मान देता है $K$ ; ऐसे निरपेक्ष मान को वास्तविक समष्टि भी कहा जाता है $K$ . दूसरी ओर, डिग्री दो के कारकों की वर्ग मूल जटिल संयुग्मी जटिल संख्याओं के जोड़े हैं, जो दो संयुग्मी एम्बेडिंग की अनुमति देती हैं $\mathbb {C}$ . एम्बेडिंग की इस जोड़ी में से किसी एक का उपयोग निरपेक्ष मान को परिभाषित करने के लिए किया जा सकता है $K$ , जो दोनों एम्बेडिंग के लिए समान है क्योंकि वे संयुग्मित हैं। इस निरपेक्ष मान को जटिल समष्टि कहा जाता है $K$ .^[7]^[8] यदि सभी वर्ग मूल $f$ उपरोक्त वास्तविक (क्रमशः, जटिल) या, समकक्ष, कोई भी संभावित एम्बेडिंग हैं $K\subseteq \mathbb {C}$ वास्तव में अंदर रहने के लिए मजबूर किया जाता है $\mathbb {R}$ (सम्मान. $\mathbb {C}$ ), $K$ पूर्णतया वास्तविक संख्या क्षेत्र (संबंधित पूर्णतः सम्मिश्र संख्या क्षेत्र) कहा जाता है।^[9]^[10]

गैर-आर्किमिडीयन या अल्ट्रामेट्रिक समष्टि

गैर-आर्किमिडीयन समष्टियों को खोजने के लिए, $f$ और $x$ ऊपर जैसा हो. में $\mathbb {Q} _{p}$ , $f$ विभिन्न डिग्री के कारकों में विभाजन, जिनमें से कोई भी दोहराया नहीं जाता है, और जिनकी डिग्री जुड़ती है $n$ , की डिग्री $f$ . इनमें से प्रत्येक के लिए $p$ -विशेष रूप से अघुलनशील कारक $f_{i}$ , हम ऐसा मान सकते हैं $x$ संतुष्ट $f_{i}$ और एक एम्बेडिंग प्राप्त करें $K$ परिमित डिग्री के बीजगणितीय विस्तार में $\mathbb {Q} _{p}$ . ऐसा समष्टिीय क्षेत्र कई तरह से संख्या क्षेत्र की तरह व्यवहार करता है, और $p$ -आदिक संख्याएँ इसी प्रकार परिमेय की भूमिका निभा सकती हैं; विशेष रूप से, हम मानक को परिभाषित कर सकते हैं और ठीक उसी तरह ट्रेस कर सकते हैं, अब फलन मैपिंग दे रहे हैं $\mathbb {Q} _{p}$ . इसका उपयोग करके $p$ - अर्थात सामान्य नक्शा $N_{f_{i}}$ जगह के लिए $f_{i}$ , हम किसी दिए गए के अनुरूप एक निरपेक्ष मान परिभाषित कर सकते हैं $p$ -विशेष रूप से अघुलनशील कारक $f_{i}$ डिग्री का $m$ द्वारा

|y|_{f_{i}}=|N_{f_{i}}(y)|_{p}^{1/m}

ऐसे निरपेक्ष मान को अल्ट्रामेट्रिक, गैर-आर्किमिडीयन या कहा जाता है

p

-का आदि समष्टि

K

.

किसी भी अल्ट्रामेट्रिक समष्टि v के लिए हमारे पास वह |x| है_v ≤ 1 किसी भी x इंच के लिए ${\mathcal {O}}_{K}$ , चूँकि x के लिए न्यूनतम बहुपद में पूर्णांक गुणनखंड होते हैं, और इसलिए इसके p-एडिक गुणनखंड में 'Z' में गुणनखंड होते हैं_p. नतीजतन, प्रत्येक कारक के लिए मानक पद (स्थिर पद) एक पी-एडिक पूर्णांक है, और इनमें से एक पूर्णांक है जिसका उपयोग वी के लिए निरपेक्ष मान को परिभाषित करने के लिए किया जाता है।

O_K के प्रमुख आदर्श

एक अल्ट्रामेट्रिक समष्टि v के लिए, का उपसमुच्चय ${\mathcal {O}}_{K}$ |x| द्वारा परिभाषित_v <1 एक आदर्श है ${\mathfrak {p}}$ का ${\mathcal {O}}_{K}$ . यह v की अल्ट्रामेट्रिकिटी पर निर्भर करता है: इसमें x और y दिया गया है ${\mathfrak {p}}$ , तब

|x + y|_v ≤ अधिकतम (|x|_v, |और|_v) <1.

वास्तव में, ${\mathfrak {p}}$ यहां तक कि एक प्रमुख आदर्श भी है.

इसके विपरीत, एक प्रमुख आदर्श दिया गया ${\mathfrak {p}}$ का ${\mathcal {O}}_{K}$ , एक अलग मूल्यांकन को समुच्चयिंग द्वारा परिभाषित किया जा सकता है $v_{\mathfrak {p}}(x)=n$ जहाँ n ऐसा सबसे बड़ा पूर्णांक है $x\in {\mathfrak {p}}^{n}$ , आदर्श की एन-गुना शक्ति। इस मूल्यांकन को अल्ट्रामेट्रिक समष्टि में बदला जा सकता है। इस पत्राचार के अंतर्गत, (समतुल्यता वर्ग) के अल्ट्रामेट्रिक समष्टियों का $K$ के प्रमुख आदर्शों के अनुरूप है ${\mathcal {O}}_{K}$ . के लिए $K=\mathbb {Q}$ , यह ओस्ट्रोव्स्की के प्रमेय को वापस देता है: Z में कोई भी अभाज्य आदर्श (जो आवश्यक रूप से एक अभाज्य संख्या से होता है) एक गैर-आर्किमिडीयन समष्टि से मेल खाता है और इसके विपरीत। यद्यपि, अधिक सामान्य संख्या क्षेत्र के लिए, स्थिति अधिक उलझी हुई हो जाती है, जैसा कि नीचे बताया जाएगा।

अल्ट्रामेट्रिक समष्टियों का वर्णन करने का एक और समकक्ष तरीका रिंग के समष्टिीयकरण के माध्यम से है ${\mathcal {O}}_{K}$ . एक अल्ट्रामेट्रिक समष्टि दिया गया $v$ एक संख्या क्षेत्र पर $K$ , संगत समष्टिीयकरण सबरिंग है $T$ का $K$ सभी तत्वों का $x$ ऐसा कि | x |_v ≤ 1. अल्ट्रामेट्रिक गुण द्वारा $T$ एक चक्र है. इसके अतिरिक्त, इसमें सम्मिलित है ${\mathcal {O}}_{K}$ . प्रत्येक तत्व x के लिए $K$ , x या x में से कम से कम एक⁻¹में समाहित है $T$ .दरअसल, चूंकि के^×/टी^× को पूर्णांकों के समरूपी दिखाया जा सकता है, $T$ एक अलग मूल्यांकन रिंग है, विशेष रूप से एक समष्टिीय रिंग। वास्तव में, $T$ का समष्टिीयकरण मात्र है ${\mathcal {O}}_{K}$ प्रमुख आदर्श पर ${\mathfrak {p}}$ , इसलिए $T={\mathcal {O}}_{K,{\mathfrak {p}}}$ . इसके विपरीत, ${\mathfrak {p}}$ का अधिकतम आदर्श है $T$ .

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

प्रमेय और समष्टियों पर लाइइंग

बीजगणितीय संख्या सिद्धांत में कुछ आधारभूत प्रमेय हैं ऊपर जाना और नीचे जाना, जो कुछ प्रमुख आदर्शों के व्यवहार का वर्णन करते हैं ${\mathfrak {p}}\in {\text{Spec}}({\mathcal {O}}_{K})$ जब इसे एक आदर्श के रूप में विस्तारित किया जाता है ${\mathcal {O}}_{L}$ कुछ क्षेत्र विस्तार के लिए $L/K$ . हम कहते हैं कि एक आदर्श ${\mathfrak {o}}\subset {\mathcal {O}}_{L}$ पर पड़ा है ${\mathfrak {p}}$ अगर ${\mathfrak {o}}\cap {\mathcal {O}}_{K}={\mathfrak {p}}$ . फिर, प्रमेय का एक अवतार एक प्रमुख आदर्श बताता है ${\text{Spec}}({\mathcal {O}}_{L})$ पर पड़ा है ${\mathfrak {p}}$ , इसलिए सदैव एक विशेषण मानचित्र होता है

{\text{Spec}}({\mathcal {O}}_{L})\to {\text{Spec}}({\mathcal {O}}_{K})

समावेशन से प्रेरित

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

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

p

का एक समष्टि है

K

, फिर जगहें हैं

v

का

L

जो विभाजित करते हैं

p

, इस अर्थ में कि उनके प्रेरित प्रधान आदर्श, प्रेरित प्रधान आदर्श को विभाजित करते हैं

p

में

{\text{Spec}}({\mathcal {O}}_{L})

. वस्तुतः यह अवलोकन उपयोगी है^[6]^{पृष्ठ 13} बीजीय क्षेत्र विस्तार के आधार परिवर्तन को देखते हुए

\mathbb {Q}

इसके पूर्ण होने में से एक के लिए

\mathbb {Q} _{p}

.अगर हम लिखते हैं

K={\frac {\mathbb {Q} [X]}{Q(X)}}

और

\theta

के प्रेरित तत्व के लिए

X\in K

, हमें इसका अपघटन प्राप्त होता है

K\otimes _{\mathbb {Q} }\mathbb {Q} _{p}

.स्पष्ट रूप से, यह अपघटन है

{\begin{aligned}K\otimes _{\mathbb {Q} }\mathbb {Q} _{p}&={\frac {\mathbb {Q} [X]}{Q(X)}}\otimes _{\mathbb {Q} }\mathbb {Q} _{p}\\&={\frac {\mathbb {Q} _{p}[X]}{Q(X)}}\end{aligned}}

इसके अतिरिक्त, प्रेरित बहुपद

Q(X)\in \mathbb {Q} _{p}[X]

के रूप में विघटित होता है

Q(X)=\prod _{v|p}Q_{v}

हेंसल लेम्मा के कारण^[11]^{पृष्ठ 129-131}, इसलिए

{\begin{aligned}K\otimes _{\mathbb {Q} }\mathbb {Q} _{p}&\cong {\frac {\mathbb {Q} _{p}[X]}{\prod _{v|p}Q_{v}(X)}}\\&\cong \bigoplus _{v|p}K_{v}\end{aligned}}

इसके अतिरिक्त, एम्बेडिंग भी हैं

{\begin{aligned}i_{v}:&K\to K_{v}\\&\theta \mapsto \theta _{v}\end{aligned}}

जहाँ

\theta _{v}

की वर्गमूल है

Q_{v}

,

K_{v}=\mathbb {Q} _{p}(\theta _{v})

को प्रदर्शित करता है, इसलिए हम लिख सकते है कि

K_{v}=i_{v}(K)\mathbb {Q} _{p}

के उपसमुच्चय के रूप में

\mathbb {C} _{p}

बीजगणितीय समापन का समापन है।

रामीकरण

प्रभाव का योजनाबद्ध चित्रण: नीचे Y में लगभग सभी बिंदुओं के तंतुओं में तीन बिंदु होते हैं, Y में बिंदुओं से चिह्नित दो बिंदुओं को छोड़कर, जहां तंतुओं में क्रमशः एक और दो बिंदु (काले रंग में चिह्नित) होते हैं। कहा जाता है कि मानचित्र f, Y के इन बिंदुओं में विस्तारित है।

रेमिफिकेशन, सामान्यतः एक ज्यामितीय घटना का वर्णन करता है जो परिमित-से-एक मानचित्रों (अर्थात, मानचित्रों) के साथ घटित हो सकता है $f:X\to Y$ जैसे कि Y में सभी बिंदुओं की पूर्वछवियाँ केवल सीमित रूप से कई बिंदुओं से बनी होती हैं): फाइबर की कार्डिनैलिटी (गणित) f⁻¹(y) में सामान्यतः अंकों की संख्या समान होगी, परंतु ऐसा होता है कि, विशेष बिंदुओं y में, यह संख्या कम हो जाती है। उदाहरण के लिए, मानचित्र

\mathbb {C} \to \mathbb {C} ,z\mapsto z^{n}

प्रत्येक फाइबर में t के ऊपर n बिंदु होते हैं, अर्थात् t की n वर्ग मूल, t = 0 को छोड़कर, जहां फाइबर में केवल एक तत्व होता है, z = 0. एक का कहना है कि मानचित्र शून्य में विस्तारित है। यह रीमैन सतहों के शाखित आवरण का एक उदाहरण है। यह अंतर्ज्ञान गैलोज़ विस्तार में प्रमुख आदर्शों के विभाजन को परिभाषित करने का भी कार्य करता है। संख्या क्षेत्रों का (आवश्यक रूप से सीमित) विस्तार दिया गया है $K/L$ , का एक प्रमुख आदर्श पी ${\mathcal {O}}_{L}$ आदर्श pO उत्पन्न करता है_K का ${\mathcal {O}}_{K}$ . यह आदर्श एक प्रमुख आदर्श हो भी सकता है और नहीं भी, परंतु, लास्कर-नोएदर प्रमेय के अनुसार, सदैव द्वारा दिया जाता है

pO = q₁^e₁ q₂^e₂ ⋯ q_m^e_m

विशिष्ट रूप से निर्धारित प्रमुख आदर्शों के साथ q_i का ${\mathcal {O}}_{K}$ और संख्याएं (जिन्हें प्रभाव सूचकांक कहा जाता है) e_i. जब भी एक प्रभाव सूचकांक एक से बड़ा होता है, तो प्राइम p को इसमें प्रभाव डालने वाला कहा जाता है।

इस परिभाषा और ज्यामितीय स्थिति के बीच संबंध चक्र के स्पेक्ट्रम के मानचित्र द्वारा दिया गया है $\mathrm {Spec} {\mathcal {O}}_{K}\to \mathrm {Spec} {\mathcal {O}}_{L}$ . वास्तव में, बीजगणितीय ज्यामिति में योजना के असंबद्ध आकारिकी संख्या क्षेत्रों के असंबद्ध विस्तार का प्रत्यक्ष सामान्यीकरण है।

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

एक उदाहरण

निम्नलिखित उदाहरण ऊपर प्रस्तुत धारणाओं को दर्शाता है। के प्रभाव सूचकांक की गणना करने के लिए $\mathbb {Q} (x)$ , जहाँ

f(x) = x³ − x − 1 = 0,

23 पर, $\mathbb {Q} _{23}(x)/\mathbb {Q} _{23}$ . क्षेत्र विस्तार पर विचार करना पर्याप्त है 529 तक = 23² (अर्थात, मॉड्यूलर अंकगणित 529) f को इस प्रकार गुणनखंडित किया जा सकता है

f(x) = (x + 181)(x² − 181x − 38) = gh.

समष्टिापन्न x = y + 10 पहले कारक में g मॉड्यूलो 529 से y + 191 प्राप्त होता है, इसलिए मूल्यांकन | y |_g y के लिए g द्वारा दिया गया है −191 |₂₃ = 1. दूसरी ओर, चूँकि 161 = 7 × 23 है तो h में समान प्रतिस्थापन y² − 161y − 161 modulo 529. प्राप्त होता है।

\left\vert y\right\vert _{h}={\sqrt {\left\vert 161\right\vert }}_{23}={\frac {1}{\sqrt {23}}}

चूँकि कारक h द्वारा परिभाषित समष्टि के निरपेक्ष मान के संभावित मान 23 की पूर्णांक घातों तक सीमित नहीं हैं, बल्कि 23 के वर्गमूल की पूर्णांक घातें हैं, 23 पर क्षेत्र विस्तार का प्रभाव सूचकांक दो है।

के किसी भी तत्व का मूल्यांकन $K$ परिणामों का उपयोग करके इस तरह से गणना की जा सकती है। यदि, उदाहरण के लिए y = x² − x − 1, इस संबंध और f = x के बीच x को हटाने के लिए परिणामी x³ − x − 1 = 0 देता है y³ − 5y² + 4y − 1 = 0. यदि इसके अतिरिक्त हम f के कारकों g और h के संबंध में हटा देते हैं, तो हम y के लिए बहुपद के लिए संबंधित कारक प्राप्त करते हैं, और फिर स्थिर पद पर लागू 23-एडिक मूल्यांकन हमें y के साथ g और h (जो इस उदाहरण में दोनों 1 हैं) के मूल्यांकन की गणना करने की अनुमति देता है।

डेडेकाइंड विभेदक प्रमेय

विभेदक का अधिकांश महत्व इस तथ्य में निहित है कि व्यापक अल्ट्रामेट्रिक समष्टि वे सभी समष्टि हैं जो गुणनखंडन से प्राप्त होते हैं $\mathbb {Q} _{p}$ जहाँ p विभेदक को विभाजित करता है। यह बहुपद विभेदक के लिए भी सच है; यद्यपि इसका विपरीत भी सत्य है, कि यदि एक अभाज्य p विभेदक को विभाजित करता है, तो एक p-समष्टि होता है जो प्रभाव डालता है। इस वार्तालाप के लिए क्षेत्र विवेचक की आवश्यकता है। यह 'डेडेकाइंड विभेदक प्रमेय' है। उपरोक्त उदाहरण में, संख्या क्षेत्र का विभेदक $\mathbb {Q} (x)$ के साथ x³ − x − 1 = 0, −23 है, और जैसा कि हमने देखा है 23-एडिक समष्टि प्रभाव डालता है। डेडेकाइंड विवेचक हमें बताता है कि यह एकमात्र अल्ट्रामेट्रिक समष्टि है जो ऐसा करता है। अन्य प्रभावशाली समष्टि जटिल एम्बेडिंग पर पूर्ण मान $K$ से आता है।

गैलोइस समूह तथा गैलोइस सह समरूपता

सामान्यतः अमूर्त बीजगणित में, क्षेत्र विस्तार के / एल का अध्ययन गैलोज़ समूह गैल (के / एल) की जांच करके किया जा सकता है, जिसमें क्षेत्र ऑटोमोर्फिज्म सम्मिलित हैं $K$ छोड़कर $L$ तत्ववार तय किया गया। उदाहरण के तौर पर, गैलोज़ समूह $\mathrm {Gal} (\mathbb {Q} (\zeta _{n})/\mathbb {Q} )$ डिग्री n के साइक्लोटोमिक क्षेत्र विस्तार ('Z'/n'Z')^× द्वारा दिया गया है , Z/nZ में उलटे तत्वों का समूह स्थित है। यह इवासावा सिद्धांत में पहला चरण है।

कुछ गुणों वाले सभी संभावित विस्तारों को सम्मिलित करने के लिए, गैलोज़ समूह अवधारणा को सामान्यतः (अनंत) क्षेत्र विस्तार पर लागू किया जाता है K / बीजगणितीय समापन का K, पूर्ण गैलोज़ समूह G की ओर ले जाता है := गैल(K / K) या सिर्फ गैल (K), और विस्तार के लिए $K/\mathbb {Q}$ . गैलोज़ सिद्धांत का मौलिक प्रमेय बीच के क्षेत्रों को जोड़ता है $K$ और इसके बीजगणितीय समापन और गैल (K) के बंद उपसमूह। उदाहरण के लिए, अबेलियनाइजेशन उस क्षेत्र से मेल खाता है जिसे अधिकतम एबेलियन विस्तार K कहा जाता है^ab (ऐसा इसलिए कहा जाता है क्योंकि कोई भी आगे का विस्तार एबेलियन नहीं है, अर्थात, इसमें एबेलियन गैलोज़ समूह नहीं है)। क्रोनकर-वेबर प्रमेय के अनुसार, का अधिकतम एबेलियन विस्तार $\mathbb {Q}$ एकता की सभी जड़ों द्वारा उत्पन्न विस्तार है। अधिक सामान्य संख्या क्षेत्रों के लिए, वर्ग क्षेत्र सिद्धांत, विशेष रूप से आर्टिन पारस्परिकता कानून जी का वर्णन करके उत्तर देता है जो आदर्श वर्ग समूह के संदर्भ में ab होता है। हिल्बर्ट वर्ग क्षेत्र भी उल्लेखनीय है, जो अधिकतम एबेलियन अनरेमिफाइड क्षेत्र विस्तार है $K$ . इसे परिमित रूप में दिखाया जा सकता है $K$ , इसका गैलोज़ समूह ख़त्म $K$ के वर्ग समूह के लिए समरूपी है $K$ , विशेष रूप से इसकी डिग्री वर्ग संख्या h के बराबर होती है $K$ (ऊपर देखें)।

कुछ स्थितियों में, गैलोज़ समूह समूह क्रिया अन्य गणितीय वस्तुओं पर, उदाहरण के लिए एक समूह। ऐसे समूह को गैलोज़ मॉड्यूल के रूप में भी जाना जाता है। यह गैलोज़ समूह गैल (K) के लिए समूह सह-समरूपता के उपयोग को सक्षम बनाता है, जिसे गैलोइस सह-समरूपता के रूप में भी जाना जाता है, जो पहले समष्टि पर गैल (K)-इनवेरिएंट लेने की सटीकता की विफलता को मापता है, परंतु गहरी अंतर्दृष्टि और प्रश्न प्रदान करता है। उदाहरण के लिए, क्षेत्र विस्तार L/K का गैलोज़ समूह G^×, L पर कार्य करता है। यह गैलोज़ मॉड्यूल कई अंकगणितीय द्वैत में महत्वपूर्ण भूमिका निभाता है, जैसे पोइटो-टेट द्वैत। ब्राउए समूह $K$ , मूल रूप से विभाजन बीजगणित को वर्गीकृत करने की कल्पना की गई थी। इसको सह-समरूपता समूह अर्थात् H²(Gal (K, K^×)). के रूप में पुनर्गठित किया जा सकता है।

समष्टिीय-वैश्विक सिद्धांत

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

समष्टिीय और वैश्विक क्षेत्र

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

फलन क्षेत्र के लिए मान्य कई परिणाम, कम से कम यदि ठीक से पुन: तैयार किए गए हों, तो संख्या क्षेत्र के लिए भी मान्य होते हैं। यद्यपि, संख्या क्षेत्रों के अध्ययन में प्रायः ऐसी कठिनाइयाँ और घटनाएँ सामने आती हैं जिनका कार्य क्षेत्रों में सामना नहीं किया जाता है। उदाहरण के लिए, फलन क्षेत्र में, गैर-आर्किमिडीयन और आर्किमिडीयन समष्टियों में कोई द्वंद्व नहीं है। फिर भी, फलन क्षेत्र प्रायः अंतर्ज्ञान के स्रोत के रूप में कार्य करते हैं जो संख्या क्षेत्र विषय में अपेक्षित होना चाहिए।

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

वैश्विक स्तर पर उठाया जाने वाला एक आद्य प्रश्न यह है कि क्या किसी बहुपद $K$ . समीकरण का कोई समाधान है यदि यह विषय है, तो यह समाधान भी सभी पूर्णताओं में एक समाधान है। समष्टिीय-वैश्विक सिद्धांत या हस्से सिद्धांत इस बात पर जोर देता है कि द्विघात समीकरणों के लिए, इसका व्युत्क्रम भी लागू होता है। इस प्रकार, यह जाँचना कि क्या ऐसे समीकरण का कोई समाधान है, सभी $K$ , पूर्णताओं पर किया जा सकता है जो प्रायः सरल होता है, क्योंकि विश्लेषणात्मक विधियों (शास्त्रीय विश्लेषणात्मक उपकरण जैसे कि आर्किमिडीयन समष्टियों पर मध्यवर्ती मूल्य प्रमेय और गैर-आर्किमिडीयन समष्टियों पर पी-एडिक विश्लेषण) का उपयोग किया जा सकता है। यद्यपि, यह निहितार्थ अधिक सामान्य प्रकार के समीकरणों के लिए लागू नहीं होता है। यद्यपि, समष्टिीय डेटा से वैश्विक डेटा में समष्टिांतरित करने का विचार वर्ग क्षेत्र सिद्धांत में उपयोगी साबित होता है, उदाहरण के लिए, जहां समष्टिीय वर्ग क्षेत्र सिद्धांत का उपयोग ऊपर उल्लिखित वैश्विक अंतर्दृष्टि प्राप्त करने के लिए किया जाता है। यह इस तथ्य से भी संबंधित है कि पूर्णता के गैलोज़ समूह के_v स्पष्ट रूप से निर्धारित किया जा सकता है, जबकि वैश्विक क्षेत्रों के गैलोज़ समूह का युग्म अविस्तारित होता है। यहां तक कि $\mathbb {Q}$ को भी इसी समूह के रूप मे संदर्भित किया जाता है।

एडेल्स और आइडेल्स

इससे जुड़े सभी समष्टिीय क्षेत्रों से संबंधित समष्टिीय डेटा को इकट्ठा करने के लिए एडेल चक्र $K$ , स्थापित है। इस तरह के गुणक प्रकार को आइडेल्स कहा जाता है।

यह भी देखें

सामान्यीकरण

बीजगणितीय फलन क्षेत्र

बीजगणितीय संख्या सिद्धांत

डिरिचलेट की इकाई प्रमेय, एस-इकाई
कुमेर विस्तार
मिन्कोव्स्की का प्रमेय, संख्याओं की ज्यामिति
चेबोतारेव का घनत्व प्रमेय

वर्ग क्षेत्र सिद्धांत

↑ Ireland, Kenneth; Rosen, Michael (1998), A Classical Introduction to Modern Number Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97329-6, Ch. 1.4
↑ Bloch, Spencer; Kato, Kazuya (1990), "L-functions and Tamagawa numbers of motives", The Grothendieck Festschrift, Vol. I, Progr. Math., vol. 86, Boston, MA: Birkhäuser Boston, pp. 333–400, MR 1086888
↑ Narkiewicz 2004, §2.2.6
↑ Kleiner, Israel (1999), "Field theory: from equations to axiomatization. I", The American Mathematical Monthly, 106 (7): 677–684, doi:10.2307/2589500, JSTOR 2589500, MR 1720431, To Dedekind, then, fields were subsets of the complex numbers.
↑ Mac Lane, Saunders (1981), "Mathematical models: a sketch for the philosophy of mathematics", The American Mathematical Monthly, 88 (7): 462–472, doi:10.2307/2321751, JSTOR 2321751, MR 0628015, Empiricism sprang from the 19th-century view of mathematics as almost coterminal with theoretical physics.
↑ ^6.0 ^6.1 ^6.2 Gras, Georges (2003). Class field theory : from theory to practice. Berlin. ISBN 978-3-662-11323-3. OCLC 883382066.{{cite book}}: CS1 maint: location missing publisher (link)
↑ Cohn, Chapter 11 §C p. 108
↑ Conrad
↑ Cohn, Chapter 11 §C p. 108
↑ Conrad
↑ Neukirch, Jürgen (1999). बीजगणितीय संख्या सिद्धांत. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 978-3-662-03983-0. OCLC 851391469.

संदर्भ

Cohn, Harvey (1988), A Classical Invitation to Algebraic Numbers and Class Fields, Universitext, New York: Springer-Verlag
Keith Conrad, http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/unittheorem.pdf
Janusz, Gerald J. (1996), Algebraic Number Fields (2nd ed.), Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0429-2
Helmut Hasse, Number Theory, Springer Classics in Mathematics Series (2002)
Serge Lang, Algebraic Number Theory, second edition, Springer, 2000
Richard A. Mollin, Algebraic Number Theory, CRC, 1999
Ram Murty, Problems in Algebraic Number Theory, Second Edition, Springer, 2005
Narkiewicz, Władysław (2004), Elementary and analytic theory of algebraic numbers, Springer Monographs in Mathematics (3 ed.), Berlin: Springer-Verlag, ISBN 978-3-540-21902-6, MR 2078267
Neukirch, Jürgen (1999), Algebraic number theory, Grundlehren der Mathematischen Wissenschaften, vol. 322, Berlin, New York: Springer-Verlag, ISBN 978-3-540-65399-8, MR 1697859, Zbl 0956.11021
Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, vol. 323, Berlin, New York: Springer-Verlag, ISBN 978-3-540-66671-4, MR 1737196, Zbl 1136.11001
André Weil, Basic Number Theory, third edition, Springer, 1995

[1] Ireland, Kenneth; Rosen, Michael (1998), A Classical Introduction to Modern Number Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97329-6, Ch. 1.4

[2] Bloch, Spencer; Kato, Kazuya (1990), "L-functions and Tamagawa numbers of motives", The Grothendieck Festschrift, Vol. I, Progr. Math., vol. 86, Boston, MA: Birkhäuser Boston, pp. 333–400, MR 1086888

[3] Narkiewicz 2004, §2.2.6

[4] Kleiner, Israel (1999), "Field theory: from equations to axiomatization. I", The American Mathematical Monthly, 106 (7): 677–684, doi:10.2307/2589500, JSTOR 2589500, MR 1720431, To Dedekind, then, fields were subsets of the complex numbers.

[5] Mac Lane, Saunders (1981), "Mathematical models: a sketch for the philosophy of mathematics", The American Mathematical Monthly, 88 (7): 462–472, doi:10.2307/2321751, JSTOR 2321751, MR 0628015, Empiricism sprang from the 19th-century view of mathematics as almost coterminal with theoretical physics.

[:0-6] 6.0 ^6.1 ^6.2 Gras, Georges (2003). Class field theory : from theory to practice. Berlin. ISBN 978-3-662-11323-3. OCLC 883382066.{{cite book}}: CS1 maint: location missing publisher (link)

[7] Cohn, Chapter 11 §C p. 108

[8] Conrad

[9] Cohn, Chapter 11 §C p. 108

[10] Conrad

[11] Neukirch, Jürgen (1999). बीजगणितीय संख्या सिद्धांत. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 978-3-662-03983-0. OCLC 851391469.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 2: / Line 2: @@
 {{Ring theory sidebar}}
-गणित में, एक बीजगणितीय संख्या फ़ील्ड (या बस संख्या फ़ील्ड) एक विस्तार फ़ील्ड है <math>K</math> परिमेय संख्याओं के क्षेत्र (गणित) का {{nowrap|<math>\mathbb{Q}</math>}} जैसे कि [[फ़ील्ड विस्तार]] <math>K / \mathbb{Q}</math> इसमें फ़ील्ड एक्सटेंशन की डिग्री है (और इसलिए यह एक बीजगणितीय एक्सटेंशन फ़ील्ड एक्सटेंशन है)।
+गणित में, एक '''बीजगणितीय संख्या क्षेत्र''' (या साधारणतः '''संख्या क्षेत्र''') कोई ऐसा विस्तार क्षेत्र <math>K</math> होता है जो सांख्यिकीय संख्याओं के क्षेत्र {{nowrap|<math>\mathbb{Q}</math>}} का विस्तार होता है और जिसका [[फ़ील्ड विस्तार|क्षेत्र विस्तार]] <math>K / \mathbb{Q}</math> सीमित अवधि का होता है। इस प्रकार, <math>K</math> एक ऐसा क्षेत्र होता है जो <math>\mathbb{Q}</math> को सम्मिलित करता है और जब इसे <math>\mathbb{Q}</math> पर एक सदिश समष्टि के रूप में विचार किया जाता है, तो यह अंतिमतः इसका [[हैमेल आयाम]] परिमित होता है।
-इस प्रकार <math>K</math> एक फ़ील्ड है जिसमें शामिल है <math>\mathbb{Q}</math> और जब इसे सदिश समष्टि के रूप में माना जाता है तो इसका परिमित [[हैमेल आयाम]] होता है {{nowrap|<math>\mathbb{Q}</math>.}}
-बीजगणितीय संख्या क्षेत्रों का अध्ययन, और, अधिक सामान्यतः, तर्कसंगत संख्याओं के क्षेत्र के बीजगणितीय विस्तार का अध्ययन, [[बीजगणितीय संख्या सिद्धांत]] का केंद्रीय विषय है। यह अध्ययन बीजगणितीय विधियों का उपयोग करके सामान्य तर्कसंगत संख्याओं के पीछे छिपी संरचनाओं को उजागर करता है।
+बीजगणितीय संख्या क्षेत्रों का अध्ययन, और, अधिक सामान्यतः, तर्कसंगत संख्याओं के क्षेत्र के बीजगणितीय विस्तार का अध्ययन, [[बीजगणितीय संख्या सिद्धांत]] का केंद्रीय विषय है। यह अध्ययन बीजगणितीय विधियों का उपयोग करके सामान्य तर्कसंगत संख्याओं के पीछे छिपी संरचनाओं को संदर्भित करता है।
 ==परिभाषा==
@@ Line 11: / Line 10: @@
 ===आवश्यकताएँ===
-{{Main|Field (mathematics)|l1=Field|Vector space}}
+{{Main|क्षेत्र (गणित)|l1=क्षेत्र|सदिश समष्टि}}
-बीजगणितीय संख्या क्षेत्र की धारणा एक क्षेत्र (गणित) की अवधारणा पर निर्भर करती है। एक फ़ील्ड में तत्वों का एक [[सेट (गणित)]] होता है जिसमें दो ऑपरेशन, अर्थात् जोड़, और [[गुणा]], और कुछ वितरण धारणाएं शामिल होती हैं। फ़ील्ड का एक प्रमुख उदाहरण परिमेय संख्याओं का क्षेत्र है, जिसे आमतौर पर दर्शाया जाता है {{nowrap|<math>\mathbb{Q}</math>,}} जोड़ और गुणा की अपनी सामान्य संक्रियाओं के साथ।
-बीजगणितीय संख्या फ़ील्ड को परिभाषित करने के लिए आवश्यक एक और धारणा वेक्टर रिक्त स्थान है। यहां आवश्यक सीमा तक, वेक्टर रिक्त स्थान को अनुक्रमों (या टुपल्स) से युक्त माना जा सकता है
+बीजगणितीय संख्या क्षेत्र की धारणा एक गणितीय क्षेत्र की अवधारणा पर निर्भर करती है। एक क्षेत्र में तत्वों का एक [[सेट (गणित)|समुच्चय]] होता है जिसमें दो संक्रिया, अर्थात् जोड़, और [[गुणा]], और कुछ वितरण संक्रियाएं सम्मिलित होती हैं। क्षेत्र का एक प्रमुख उदाहरण परिमेय संख्याओं का क्षेत्र है, जिसे सामान्यतः जोड़ और गुणा की अपनी सामान्य संक्रियाओं के साथ {{nowrap|<math>\mathbb{Q}</math>,}} द्वारा दर्शाया जाता है।
-:(एक्स<sub>1</sub>, एक्स<sub>2</sub>,…)
-जिनकी प्रविष्टियाँ किसी निश्चित फ़ील्ड के तत्व हैं, जैसे फ़ील्ड {{nowrap|<math>\mathbb{Q}</math>.}} ऐसे किन्हीं दो अनुक्रमों को संगत प्रविष्टियों को जोड़कर जोड़ा जा सकता है। इसके अलावा, किसी भी अनुक्रम को निश्चित क्षेत्र के एकल तत्व c से गुणा किया जा सकता है। [[वेक्टर जोड़]] और स्केलर गुणन के रूप में जाने जाने वाले ये दो ऑपरेशन कई गुणों को संतुष्ट करते हैं जो वेक्टर रिक्त स्थान को अमूर्त रूप से परिभाषित करने का काम करते हैं। वेक्टर रिक्त स्थान को अनंत-आयामी होने की अनुमति है, अर्थात वेक्टर रिक्त स्थान बनाने वाले अनुक्रम अनंत लंबाई के हैं। यदि, तथापि, सदिश समष्टि में परिमित अनुक्रम होते हैं
+बीजगणितीय संख्या क्षेत्र को परिभाषित करने के लिए आवश्यक एक और धारणा सदिश समष्टि है। यहां आवश्यक सीमा तक, सदिश समष्टि को अनुक्रमों (या टुपल्स) से युक्त माना जा सकता है
-:(एक्स<sub>1</sub>, एक्स<sub>2</sub>, …, एक्स<sub>''n''</sub>),
+:(x<sub>1</sub>, x<sub>2</sub>,…)
+जिनकी प्रविष्टियाँ किसी निश्चित क्षेत्र के तत्व हैं, जैसे क्षेत्र {{nowrap|<math>\mathbb{Q}</math>.}} ऐसे किन्हीं दो अनुक्रमों को संगत प्रविष्टियों को जोड़कर युग्मित किया जा सकता है। इसके अतिरिक्त, किसी भी अनुक्रम को निश्चित क्षेत्र के एकल तत्व c से गुणा किया जा सकता है। [[वेक्टर जोड़]] और स्केलर गुणन के रूप में जाने जाने वाले ये दो संक्रिया कई गुणों को संतुष्ट करते हैं जो सदिश समष्टि को अमूर्त रूप से परिभाषित करने का कार्य करते हैं। सदिश समष्टि को अनंत-आयामी होने की अनुमति है, अर्थात सदिश समष्टि बनाने वाले अनुक्रम अनंत लंबाई के हैं। यदि, तथापि, सदिश समष्टि में परिमित अनुक्रम होते हैं
+:(x<sub>1</sub>, x<sub>2</sub>, …, x<sub>''n''</sub>),
 सदिश समष्टि को परिमित हेमेल आयाम, n कहा जाता है।
 ===<span id= डिग्रीऑफ़नंबरफ़ील्ड ></span> परिभाषा ===
-एक बीजगणितीय संख्या क्षेत्र (या बस संख्या क्षेत्र) तर्कसंगत संख्याओं के क्षेत्र के क्षेत्र विस्तार क्षेत्र विस्तार की एक सीमित-डिग्री है। यहां डिग्री का अर्थ वेक्टर स्थान के रूप में क्षेत्र का आयाम है {{nowrap|<math>\mathbb{Q}</math>.}}
+एक बीजगणितीय संख्या क्षेत्र (या मात्र संख्या क्षेत्र) तर्कसंगत संख्याओं के क्षेत्र के क्षेत्र विस्तार की एक सीमित-डिग्री है। यहां डिग्री का अर्थ वेक्टर समष्टि के रूप में {{nowrap|<math>\mathbb{Q}</math>.}}क्षेत्र का आयाम है।
 ==उदाहरण==
-* सबसे छोटी और सबसे बुनियादी संख्या फ़ील्ड फ़ील्ड है {{nowrap|<math>\mathbb{Q}</math>}} तर्कसंगत संख्याओं का. सामान्य संख्या फ़ील्ड के कई गुणों को गुणों के आधार पर तैयार किया जाता है {{nowrap|<math>\mathbb{Q}</math>.}} साथ ही, बीजगणितीय संख्या क्षेत्रों के कई अन्य गुण तर्कसंगत संख्याओं के गुणों से काफी भिन्न हैं - एक उल्लेखनीय उदाहरण यह है कि किसी संख्या क्षेत्र के बीजगणितीय पूर्णांकों की अंगूठी सामान्य रूप से एक प्रमुख आदर्श डोमेन नहीं है।
+* सबसे छोटी और सबसे आधारभूत संख्या क्षेत्र {{nowrap|<math>\mathbb{Q}</math>}} क्षेत्र है।  तर्कसंगत संख्याओं का. सामान्य संख्या क्षेत्र के कई गुणों को गुणों के आधार पर तैयार किया जाता है {{nowrap|<math>\mathbb{Q}</math>.}} साथ ही, बीजगणितीय संख्या क्षेत्रों के कई अन्य गुण तर्कसंगत संख्याओं के गुणों से अत्यधिक भिन्न हैं - एक उल्लेखनीय उदाहरण यह है कि किसी संख्या क्षेत्र के बीजगणितीय पूर्णांकों की सामान्य रूप से एक प्रमुख आदर्श क्षेत्र नहीं है।
-* गॉसियन तर्कसंगत, निरूपित <math>\mathbb{Q}(i)</math> (जैसे पढ़ें<math>\mathbb{Q}</math> [[सहायक (क्षेत्र सिद्धांत)]] <math>i</math>), किसी संख्या क्षेत्र का पहला (ऐतिहासिक रूप से) गैर-तुच्छ उदाहरण बनाएं। इसके तत्व रूप के तत्व हैं <math display="block">a + bi</math> जहाँ a और b दोनों परिमेय संख्याएँ हैं और i [[काल्पनिक इकाई]] है। ऐसे भावों को अंकगणित के सामान्य नियमों के अनुसार जोड़ा, घटाया और गुणा किया जा सकता है और फिर पहचान का उपयोग करके सरल बनाया जा सकता है <math display="block">i^2 = -1.</math> स्पष्ट रूप से, <math display="block">\begin{matrix}
+* गॉसियन तर्कसंगत, जिसे <math>\mathbb{Q}(i)</math> से निरूपित किया जाता है, किसी संख्या क्षेत्र का पहला गैर-तुच्छ उदाहरण है। इसके तत्व रूप के तत्व निम्नलिखितहैं <math display="block">a + bi</math> जहाँ a और b दोनों परिमेय संख्याएँ हैं और i [[काल्पनिक इकाई]] है। ऐसे भावों को अंकगणित के सामान्य नियमों के अनुसार जोड़ा, घटाया और गुणा किया जा सकता है और फिर पहचान का उपयोग करके सरल बनाया जा सकता है <math display="block">i^2 = -1.</math> स्पष्ट रूप से, <math display="block">\begin{matrix}
 (a + bi) + (c + di) &=& (a + c) + (b + d)i \\
 (a + bi)\cdot (c + di) &=& (ac - bd) + (ad + bc)i
-\end{matrix}</math> गैर-शून्य गॉसियन परिमेय संख्याएँ [[उलटी]] होती हैं, जिन्हें पहचान से देखा जा सकता है <math display="block">(a+bi) \left(\frac{a}{a^2 + b^2} - \frac{b}{a^2+b^2} i\right) = \frac{(a+bi)(a-bi)}{a^2 + b^2}=1.</math> इसका तात्पर्य यह है कि गॉसियन परिमेय एक संख्या क्षेत्र बनाते हैं जो एक सदिश स्थान के रूप में द्वि-आयामी होता है {{nowrap|<math>\mathbb{Q}</math>.}}
+\end{matrix}</math> गैर-शून्य गॉसियन परिमेय संख्याएँ [[उलटी|व्युत्क्रमी]] होती हैं, जिन्हें निम्नलिखित समीकरण द्वारा देखा जा सकता है <math display="block">(a+bi) \left(\frac{a}{a^2 + b^2} - \frac{b}{a^2+b^2} i\right) = \frac{(a+bi)(a-bi)}{a^2 + b^2}=1.</math> इसका तात्पर्य यह है कि गॉसियन परिमेय एक संख्या क्षेत्र {{nowrap|<math>\mathbb{Q}</math>.}} बनाते हैं जो एक सदिश समष्टि के रूप में द्वि-आयामी होता है।
-* अधिक सामान्यतः, किसी भी वर्ग-मुक्त पूर्णांक के लिए {{nowrap|<math>d</math>,}} [[द्विघात क्षेत्र]] <math>\mathbb{Q} (\sqrt{d})</math> के वर्गमूल को संलग्न करके प्राप्त एक संख्या क्षेत्र है <math>d</math> परिमेय संख्याओं के क्षेत्र में. इस क्षेत्र में अंकगणितीय परिचालनों को गाऊसी तर्कसंगत संख्याओं के मामले के अनुरूप परिभाषित किया गया है, {{nowrap|<math>d = -1</math>.}}
+* सामान्यतः, किसी भी वर्ग-मुक्त पूर्णांक {{nowrap|<math>d</math>,}} के लिए  [[द्विघात क्षेत्र]] <math>\mathbb{Q} (\sqrt{d})</math> के वर्गमूल को संलग्न करके प्राप्त एक संख्या क्षेत्र <math>d</math> है। परिमेय संख्याओं के इस क्षेत्र में अंकगणितीय परिचालनों को गाऊसी तर्कसंगत संख्याओं के विषय के अनुरूप {{nowrap|<math>d = -1</math>.}} द्वारा परिभाषित किया गया है,
-* [[साइक्लोटोमिक क्षेत्र]] <math display="block">\mathbb{Q}(\zeta_n),</math>कहाँ <math>\zeta_n = \exp{2\pi i /n}</math> से प्राप्त एक संख्या क्षेत्र है <math>\mathbb{Q}</math> एक आदिम से सटे हुए <math>n</math>[[एकता की जड़]] <math>\zeta_n</math>. इस क्षेत्र में एकता की सभी जटिल एनवीं जड़ें और इसके आयाम शामिल हैं <math>\mathbb{Q}</math> के बराबर है <math>\varphi(n)</math>, कहाँ <math>\varphi</math> [[यूलर का टोटिएंट फ़ंक्शन]] है।
+* [[साइक्लोटोमिक क्षेत्र]] <math display="block">\mathbb{Q}(\zeta_n),</math>जहाँ <math>\zeta_n = \exp{2\pi i /n}</math> से प्राप्त एक संख्या क्षेत्र <math>\mathbb{Q}</math> है जिसमे प्रतिस्थापित <math>n</math>[[एकता की जड़|वर्गमूल]] के आयाम सम्मिलित हैं। <math>\varphi(n)</math> , <math>\mathbb{Q}</math> के बराबर है , जहाँ <math>\varphi</math> [[यूलर का टोटिएंट फ़ंक्शन|यूलर का टोटिएंट]] फलन है।
 === गैर-उदाहरण ===
-* [[वास्तविक संख्या]], {{nowrap|<math>\mathbb{R}</math>,}} और सम्मिश्र संख्याएँ, {{nowrap|<math>\mathbb{C}</math>,}} वे फ़ील्ड हैं जिनका आयाम अनंत है <math>\mathbb{Q}</math>-वेक्टर रिक्त स्थान, इसलिए, वे संख्या फ़ील्ड नहीं हैं। यह [[बेशुमार]] से आता है <math>\mathbb{R}</math> और <math>\mathbb{C}</math> सेट के रूप में, जबकि प्रत्येक संख्या फ़ील्ड आवश्यक रूप से [[गणनीय]] है।
+* [[वास्तविक संख्या]], {{nowrap|<math>\mathbb{R}</math>,}} और सम्मिश्र संख्याएँ, {{nowrap|<math>\mathbb{C}</math>,}} वे क्षेत्र हैं जिनका आयाम अनंत है <math>\mathbb{Q}</math>-सदिश समष्टि, इसलिए, वे संख्या क्षेत्र नहीं हैं। <math>\mathbb{R}</math> और <math>\mathbb{C}</math> समुच्चय के रूप में यह [[बेशुमार|अनंत]] से आता है , जबकि प्रत्येक संख्या क्षेत्र आवश्यक रूप से [[गणनीय]] है।
-* सेट <math>\mathbb{Q}^2</math> परिमेय संख्याओं के [[क्रमित युग्म]]ों का, प्रविष्टि-वार जोड़ और गुणन के साथ एक द्वि-आयामी क्रमविनिमेय बीजगणित है {{nowrap|<math>\mathbb{Q}</math>.}} हालाँकि, यह एक फ़ील्ड नहीं है, क्योंकि इसमें शून्य विभाजक हैं: <math display="block">(1, 0) \cdot (0, 1) = (1 \cdot 0, 0 \cdot 1) = (0,0)</math>
+* समुच्चय <math>\mathbb{Q}^2</math> परिमेय संख्याओं {{nowrap|<math>\mathbb{Q}</math>.}} के [[क्रमित युग्म|क्रमित]] युग्मों का, प्रविष्टि-वार जोड़ और गुणन के साथ एक द्वि-आयामी क्रमविनिमेय बीजगणित है  यद्यपि, यह एक क्षेत्र नहीं है, क्योंकि इसमें शून्य विभाजक हैं: <math display="block">(1, 0) \cdot (0, 1) = (1 \cdot 0, 0 \cdot 1) = (0,0)</math>
 ==बीजगणितीयता, और पूर्णांकों का वलय==
-आम तौर पर, [[अमूर्त बीजगणित]] में, एक क्षेत्र विस्तार <math>K / L</math> यदि प्रत्येक तत्व [[बीजगणितीय क्षेत्र विस्तार]] है <math>f</math> बड़े मैदान का <math>K</math> गुणांक वाले [[बहुपद]] का शून्यक है <math>e_0,\ldots,e_m</math> में {{nowrap|<math>L</math>:}}
+सामान्यतः, [[अमूर्त बीजगणित]] में, एक क्षेत्र विस्तार <math>K / L</math> यदि प्रत्येक तत्व [[बीजगणितीय क्षेत्र विस्तार]] है <math>f</math> बड़े क्षेत्र का <math>K</math> गुणांक वाले [[बहुपद]] का शून्यक है <math>e_0,\ldots,e_m</math> में {{nowrap|<math>L</math>:}}
 :<math>p(f) = e_mf^m + e_{m-1}f^{m-1} + \cdots  + e_1f + e_0 = 0
 </math>
-परिमित डिग्री का प्रत्येक क्षेत्र विस्तार बीजगणितीय है। (प्रमाण: के लिए <math>x</math> में {{nowrap|<math>K</math>,}}बस विचार करें <math>1,x,x^2,x^3,\ldots</math> - हमें एक रैखिक निर्भरता मिलती है, यानी एक बहुपद <math>x</math> का मूल है।) विशेष रूप से यह बीजगणितीय संख्या क्षेत्रों पर लागू होता है, इसलिए कोई भी तत्व <math>f</math> एक बीजगणितीय संख्या फ़ील्ड का <math>K</math> तर्कसंगत गुणांक वाले बहुपद के शून्य के रूप में लिखा जा सकता है। इसलिए, के तत्व <math>K</math> इन्हें [[बीजगणितीय संख्याएँ]] भी कहा जाता है। एक बहुपद दिया गया है <math>p</math> ऐसा है कि <math>p(f)=0</math>, इसे ऐसे व्यवस्थित किया जा सकता है कि अग्रणी गुणांक <math>e_m</math> यदि आवश्यक हो, तो सभी गुणांकों को इससे विभाजित करके एक है। इस गुण वाले बहुपद को मोनिक बहुपद के रूप में जाना जाता है। सामान्यतः इसमें तर्कसंगत गुणांक होंगे।
+परिमित डिग्री का प्रत्येक क्षेत्र विस्तार बीजगणितीय है। प्रमाण: के लिए <math>x</math> में {{nowrap|<math>K</math>,}} विचार करें <math>1,x,x^2,x^3,\ldots</math> - हमें एक रैखिक निर्भरता प्राप्त होती है, अर्थात एक बहुपद <math>x</math> का मूल है। विशेष रूप से यह बीजगणितीय संख्या क्षेत्रों पर लागू होता है, इसलिए कोई भी तत्व <math>f</math> एक बीजगणितीय संख्या क्षेत्र का <math>K</math> तर्कसंगत गुणांक वाले बहुपद के शून्य के रूप में लिखा जा सकता है। इसलिए, के तत्व <math>K</math> इन्हें [[बीजगणितीय संख्याएँ]] भी कहा जाता है। एक बहुपद दिया गया है <math>p</math> ऐसा है कि <math>p(f)=0</math>, इसे ऐसे व्यवस्थित किया जा सकता है कि अग्रणी गुणांक <math>e_m</math> यदि आवश्यक हो, तो सभी गुणांकों को इससे विभाजित करके एक है। इस गुण वाले बहुपद को मोनिक बहुपद के रूप में जाना जाता है। सामान्यतः इसमें तर्कसंगत गुणांक होंगे।
-हालाँकि, यदि इसके गुणांक वास्तव में सभी पूर्णांक हैं, <math>f</math> [[बीजगणितीय पूर्णांक]] कहा जाता है.
+यद्यपि, यदि इसके गुणांक वास्तव में सभी पूर्णांक हैं, <math>f</math> [[बीजगणितीय पूर्णांक]] कहा जाता है.
-कोई भी (सामान्य) पूर्णांक <math>z \in \mathbb{Z}</math> एक बीजगणितीय पूर्णांक है, क्योंकि यह रैखिक मोनिक बहुपद का शून्य है:
+कोई भी सामान्य पूर्णांक <math>z \in \mathbb{Z}</math> एक बीजगणितीय पूर्णांक है, क्योंकि यह रैखिक मोनिक बहुपद का शून्य है:
 :<math>p(t) = t - z</math>.
-यह दिखाया जा सकता है कि कोई भी बीजगणितीय पूर्णांक जो एक परिमेय संख्या भी है, वास्तव में एक पूर्णांक होना चाहिए, इसलिए इसे बीजगणितीय पूर्णांक कहा जाता है। फिर से अमूर्त बीजगणित का उपयोग करते हुए, विशेष रूप से एक परिमित रूप से उत्पन्न मॉड्यूल की धारणा, यह दिखाया जा सकता है कि किन्हीं दो बीजगणितीय पूर्णांकों का योग और उत्पाद अभी भी एक बीजगणितीय पूर्णांक है। यह इस प्रकार है कि बीजगणितीय पूर्णांकों में <math>K</math> एक वलय बनाओ (गणित) निरूपित <math>\mathcal{O}_K</math> के पूर्णांकों का वलय कहलाता है {{nowrap|<math>K</math>.}} यह एक उप-रिंग है (अर्थात, एक अंगूठी जिसमें निहित है) {{nowrap|<math>K</math>.}} किसी फ़ील्ड में कोई शून्य विभाजक नहीं होता है और यह गुण किसी भी सबरिंग द्वारा विरासत में मिलता है, इसलिए पूर्णांकों की रिंग <math>K</math> एक [[अभिन्न डोमेन]] है. फील्ड <math>K</math> अभिन्न डोमेन के [[भिन्नों का क्षेत्र]] है {{nowrap|<math>\mathcal{O}_K</math>.}} इस तरह कोई बीजगणितीय संख्या फ़ील्ड के बीच आगे और पीछे जा सकता है <math>K</math> और इसका पूर्णांकों का वलय {{nowrap|<math>\mathcal{O}_K</math>.}} बीजगणितीय पूर्णांकों के वलय में तीन विशिष्ट गुण होते हैं: सबसे पहले, <math>\mathcal{O}_K</math> एक अभिन्न डोमेन है जो भिन्नों के अपने क्षेत्र में [[एकीकृत रूप से बंद डोमेन]] है {{nowrap|<math>K</math>.}} दूसरी बात, <math>\mathcal{O}_K</math> एक [[नोथेरियन अंगूठी]] है. अंततः, प्रत्येक अशून्य अभाज्य आदर्श <math>\mathcal{O}_K</math> [[अधिकतम आदर्श]] है या, समकक्ष, इस वलय का [[क्रुल आयाम]] एक है। इन तीन गुणों के साथ एक अमूर्त क्रमविनिमेय वलय को [[रिचर्ड डेडेकाइंड]] के सम्मान में [[डेडेकाइंड रिंग]] (या डेडेकाइंड डोमेन) कहा जाता है, जिन्होंने बीजगणितीय पूर्णांकों के वलय का गहन अध्ययन किया था।
+यह प्रदर्शित किया जा सकता है कि कोई भी बीजगणितीय पूर्णांक जो एक परिमेय संख्या भी है, वास्तव में एक पूर्णांक होता है, इसलिए इसे बीजगणितीय पूर्णांक कहा जाता है। पुनः अमूर्त बीजगणित का उपयोग करते हुए, विशेष रूप से एक परिमित रूप से उत्पन्न मॉड्यूल की धारणा, यह प्रदर्शित किया जा सकता है कि किन्हीं दो बीजगणितीय पूर्णांकों का योग और उत्पाद अभी भी एक बीजगणितीय पूर्णांक है। यह इस प्रकार है कि बीजगणितीय पूर्णांकों में <math>K</math> एक वलय निरूपित <math>\mathcal{O}_K</math> के पूर्णांकों का वलय कहलाता है {{nowrap|<math>K</math>.}} यह एक उप-रिंग है (अर्थात, एक चक्र जिसमें निहित है) {{nowrap|<math>K</math>.}} किसी क्षेत्र में कोई शून्य विभाजक नहीं होता है और यह गुण किसी भी सबरिंग द्वारा विरासत में मिलता है, इसलिए पूर्णांकों की रिंग <math>K</math> एक [[अभिन्न डोमेन|अभिन्न क्षेत्र]] है. फील्ड <math>K</math> अभिन्न क्षेत्र के [[भिन्नों का क्षेत्र]] है {{nowrap|<math>\mathcal{O}_K</math>.}} इस तरह कोई बीजगणितीय संख्या क्षेत्र के बीच आगे और पीछे जा सकता है <math>K</math> और इसका पूर्णांकों का वलय {{nowrap|<math>\mathcal{O}_K</math>.}} बीजगणितीय पूर्णांकों के वलय में तीन विशिष्ट गुण होते हैं: सबसे पहले, <math>\mathcal{O}_K</math> एक अभिन्न क्षेत्र है जो भिन्नों के अपने क्षेत्र में [[एकीकृत रूप से बंद डोमेन|एकीकृत रूप से बंद क्षेत्र]] है {{nowrap|<math>K</math>.}} दूसरी बात, <math>\mathcal{O}_K</math> एक [[नोथेरियन अंगूठी|नोथेरियन चक्र]] है. अंततः, प्रत्येक अशून्य अभाज्य आदर्श <math>\mathcal{O}_K</math> [[अधिकतम आदर्श]] है या, समकक्ष, इस वलय का [[क्रुल आयाम]] एक है। इन तीन गुणों के साथ एक अमूर्त क्रमविनिमेय वलय को [[रिचर्ड डेडेकाइंड]] के सम्मान में [[डेडेकाइंड रिंग]] या डेडेकाइंड क्षेत्र कहा जाता है, जिन्होंने बीजगणितीय पूर्णांकों के वलय का गहन अध्ययन किया था।
 ===अद्वितीय गुणनखंडन===
-सामान्य डेडेकाइंड रिंगों के लिए, विशेष रूप से पूर्णांकों की रिंगों में, अभाज्य आदर्शों के उत्पाद में [[आदर्श (रिंग सिद्धांत)]] का एक अद्वितीय गुणनखंडन होता है। उदाहरण के लिए, आदर्श <math>(6)</math> रिंग में <math>\mathbf{Z}[\sqrt{-5}]</math> [[द्विघात पूर्णांक]] कारकों को अभाज्य आदर्शों में विभाजित करें
+सामान्य डेडेकाइंड चक्रों के लिए, विशेष रूप से पूर्णांकों की चक्रों में, अभाज्य आदर्शों के उत्पाद में [[आदर्श (रिंग सिद्धांत)|आदर्श रिंग सिद्धांत]] का एक अद्वितीय गुणनखंडन होता है। उदाहरण के लिए, आदर्श <math>(6)</math> रिंग में <math>\mathbf{Z}[\sqrt{-5}]</math> [[द्विघात पूर्णांक]] कारकों को अभाज्य आदर्शों में विभाजित करता है
 : <math>(6) = (2, 1 + \sqrt{-5})(2,1 - \sqrt{-5})(3, 1 + \sqrt{-5})(3, 1 - \sqrt{-5})</math>
-हालाँकि, इसके विपरीत <math>\mathbf{Z}</math> के पूर्णांकों के वलय के रूप में {{nowrap|<math>\mathbf{Q}</math>,}} के उचित विस्तार के पूर्णांकों का वलय <math>\mathbf{Q}</math> अभाज्य संख्याओं या, अधिक सटीक रूप से, अभाज्य तत्वों के उत्पाद में संख्याओं के अद्वितीय गुणनखंड डोमेन को स्वीकार करने की आवश्यकता नहीं है। यह द्विघात पूर्णांकों के लिए पहले से ही होता है, उदाहरण के लिए {{nowrap|<math>\mathcal{O}_{\mathbf{Q}(\sqrt{-5})} = \mathbf{Z}[\sqrt{-5}]</math>,}} गुणनखंडन की विशिष्टता विफल हो जाती है:
+यद्यपि, इसके विपरीत <math>\mathbf{Z}</math> के पूर्णांकों के वलय के रूप में {{nowrap|<math>\mathbf{Q}</math>,}} के उचित विस्तार के पूर्णांकों का वलय <math>\mathbf{Q}</math> अभाज्य संख्याओं या, अधिक सटीक रूप से, अभाज्य तत्वों के उत्पाद में संख्याओं के अद्वितीय गुणनखंड क्षेत्र को स्वीकार करने की आवश्यकता नहीं है। यह द्विघात पूर्णांकों के लिए पहले से ही होता है, उदाहरण के लिए {{nowrap|<math>\mathcal{O}_{\mathbf{Q}(\sqrt{-5})} = \mathbf{Z}[\sqrt{-5}]</math>,}} गुणनखंडन की विशिष्टता विफल हो जाती है:
 : <math>6 = 2 \cdot 3 = (1 + \sqrt{-5}) \cdot (1 - \sqrt{-5})</math>
-[[फ़ील्ड मानदंड]] का उपयोग करके यह दिखाया जा सकता है कि ये दो कारक वास्तव में इस अर्थ में असमान हैं कि कारक केवल एक [[इकाई (रिंग सिद्धांत)]] से भिन्न नहीं होते हैं {{nowrap|<math>\mathcal{O}_{\mathbf{Q}(\sqrt{-5})}</math>.}} [[यूक्लिडियन डोमेन]] अद्वितीय गुणनखंडन डोमेन हैं; उदाहरण के लिए {{nowrap|<math>\mathbf{Z}[i]</math>,}} [[गाऊसी पूर्णांक]]ों का वलय, और {{nowrap|<math>\mathbf{Z}[\omega]</math>,}} [[आइज़ेंस्टीन पूर्णांक]]ों की अंगूठी, कहां <math>\omega</math> एकता का घनमूल है (1 के बराबर नहीं), यह गुण है।<ref>{{Citation | last1=Ireland | first1=Kenneth | author1-link=Kenneth Ireland | last2=Rosen | first2=Michael | title=A Classical Introduction to Modern Number Theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-97329-6 | year=1998}}, Ch. 1.4</ref>
+[[फ़ील्ड मानदंड|क्षेत्र मानदंड]] का उपयोग करके यह दिखाया जा सकता है कि ये दो कारक वास्तव में इस अर्थ में असमान हैं कि कारक केवल एक [[इकाई (रिंग सिद्धांत)|इकाई]]  {{nowrap|<math>\mathcal{O}_{\mathbf{Q}(\sqrt{-5})}</math>.}} से भिन्न नहीं होते हैं  [[यूक्लिडियन डोमेन|यूक्लिडियन क्षेत्र]] अद्वितीय गुणनखंडन क्षेत्र हैं; उदाहरण के लिए {{nowrap|<math>\mathbf{Z}[i]</math>,}} [[गाऊसी पूर्णांक]] का वलय, और {{nowrap|<math>\mathbf{Z}[\omega]</math>,}} [[आइज़ेंस्टीन पूर्णांक]] का चक्र, जहां <math>\omega</math> एकता का घनमूल है जो 1 के समान नहीं है।<ref>{{Citation | last1=Ireland | first1=Kenneth | author1-link=Kenneth Ireland | last2=Rosen | first2=Michael | title=A Classical Introduction to Modern Number Theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-97329-6 | year=1998}}, Ch. 1.4</ref>
-===विश्लेषणात्मक वस्तुएं: ζ-फ़ंक्शन, एल-फ़ंक्शन, और वर्ग संख्या सूत्र===
+===विश्लेषणात्मक वस्तुएं: ζ-फलन, एल-फलन, और वर्ग संख्या सूत्र===
-अद्वितीय गुणनखंडन की विफलता को [[वर्ग संख्या (संख्या सिद्धांत)]] द्वारा मापा जाता है, जिसे आमतौर पर एच, तथाकथित [[आदर्श वर्ग समूह]] की कार्डिनैलिटी द्वारा दर्शाया जाता है। यह समूह सदैव सीमित है। पूर्णांकों का वलय <math>\mathcal{O}_K</math> अद्वितीय गुणनखंडन रखता है यदि और केवल यदि यह एक प्रमुख वलय है या, समकक्ष, यदि <math>K</math> इसमें [[वर्ग संख्या एक के साथ संख्या फ़ील्ड की सूची]] है। किसी संख्या फ़ील्ड को देखते हुए, वर्ग संख्या की गणना करना अक्सर कठिन होता है। [[वर्ग संख्या समस्या]], [[गॉस]] पर वापस जाते हुए, काल्पनिक द्विघात संख्या क्षेत्रों के अस्तित्व से संबंधित है (अर्थात्, <math>\mathbf{Q} \sqrt{-d}, d \ge 1</math>) निर्धारित वर्ग संख्या के साथ। [[वर्ग संख्या सूत्र]] h को अन्य मूलभूत अपरिवर्तनीयों से संबंधित करता है {{nowrap|<math>K</math>.}} इसमें [[डेडेकाइंड जीटा फ़ंक्शन]] ζ शामिल है<sub><math>K</math></sub>(s), एक जटिल चर s में एक फ़ंक्शन, द्वारा परिभाषित
+अद्वितीय गुणनखंडन की विफलता को [[वर्ग संख्या (संख्या सिद्धांत)|वर्ग संख्या]] द्वारा मापा जाता है, जिसे सामान्यतः एच, तथाकथित [[आदर्श वर्ग समूह]] की कार्डिनैलिटी द्वारा दर्शाया जाता है। यह समूह सदैव सीमित है। पूर्णांकों का वलय <math>\mathcal{O}_K</math> अद्वितीय गुणनखंडन रखता है यदि और केवल यदि यह एक प्रमुख वलय है या, समकक्ष, यदि <math>K</math> इसमें [[वर्ग संख्या एक के साथ संख्या फ़ील्ड की सूची|वर्ग संख्या एक के साथ संख्या क्षेत्र की सूची]] है। किसी संख्या क्षेत्र को देखते हुए, वर्ग संख्या की गणना करना प्रायः कठिन होता है। [[वर्ग संख्या समस्या]], [[गॉस]] पर वापस जाते हुए, काल्पनिक द्विघात संख्या क्षेत्रों के अस्तित्व से संबंधित है (अर्थात्, <math>\mathbf{Q} \sqrt{-d}, d \ge 1</math>) निर्धारित वर्ग संख्या के साथ। [[वर्ग संख्या सूत्र]] h को अन्य मूलभूत अपरिवर्तनीयों से संबंधित करता है {{nowrap|<math>K</math>.}} इसमें [[डेडेकाइंड जीटा फ़ंक्शन|डेडेकाइंड जीटा फलन]] ζ सम्मिलित है<sub><math>K</math></sub>(s), एक जटिल चर s में एक फलन, द्वारा परिभाषित
 :<math>\zeta_K(s) := \prod_{\mathfrak{p}} \frac{1}{1-N(\mathfrak{p})^{-s}} .</math>
-(उत्पाद सभी प्रमुख आदर्शों से ऊपर है {{nowrap|<math>\mathcal{O}_K</math>,}} <math>N(\mathfrak p)</math> मुख्य आदर्श के मानदंड या, समकक्ष, [[अवशेष क्षेत्र]] में तत्वों की (सीमित) संख्या को दर्शाता है {{nowrap|<math>\mathcal{O}_K / \mathfrak p</math>.}} अनंत उत्पाद केवल वास्तविक भाग (भागों)> 1 के लिए अभिसरण करता है, सामान्य [[विश्लेषणात्मक निरंतरता]] में और सभी एस के लिए फ़ंक्शन को परिभाषित करने के लिए ज़ेटा-फ़ंक्शन के लिए [[कार्यात्मक समीकरण]] की आवश्यकता होती है)।
+(उत्पाद सभी प्रमुख आदर्शों से ऊपर है {{nowrap|<math>\mathcal{O}_K</math>,}} <math>N(\mathfrak p)</math> मुख्य आदर्श के मानदंड या, समकक्ष, [[अवशेष क्षेत्र]] में तत्वों की (सीमित) संख्या को दर्शाता है {{nowrap|<math>\mathcal{O}_K / \mathfrak p</math>.}} अनंत उत्पाद केवल वास्तविक भाग (भागों)> 1 के लिए अभिसरण करता है, सामान्य [[विश्लेषणात्मक निरंतरता]] में और सभी एस के लिए फलन को परिभाषित करने के लिए ज़ेटा-फलन के लिए [[कार्यात्मक समीकरण]] की आवश्यकता होती है)।
-डेडेकाइंड ज़ेटा-फ़ंक्शन उस ζ में [[रीमैन ज़ेटा-फ़ंक्शन]] को सामान्यीकृत करता है<sub><math>\mathbb{Q}</math></sub>(एस) = ζ(एस)।
+डेडेकाइंड ज़ेटा-फलन उस ζ में [[रीमैन ज़ेटा-फ़ंक्शन|रीमैन ज़ेटा-फलन]] को सामान्यीकृत करता है<sub><math>\mathbb{Q}</math></sub>(एस) = ζ(एस)।
 वर्ग संख्या सूत्र बताता है कि ζ<sub><math>K</math></sub>(s) का s = 1 पर एक सरल ध्रुव है और इस बिंदु पर [[अवशेष (जटिल विश्लेषण)]] द्वारा दिया गया है
 :<math> \frac{2^{r_1}\cdot(2\pi)^{r_2}\cdot h\cdot \operatorname{Reg}}{w \cdot \sqrt{|D|}}.</math>
-यहां आर<sub>1</sub> और आर<sub>2</sub> [[वास्तविक और जटिल एम्बेडिंग]] की संख्या और वास्तविक और जटिल एम्बेडिंग के जोड़े को शास्त्रीय रूप से निरूपित करें {{nowrap|<math>K</math>,}} क्रमश। इसके अलावा, रेग का [[नियामक (गणित)]] है {{nowrap|<math>K</math>,}} w में एकता के मूल की संख्या <math>K</math> और D का विवेचक है {{nowrap|<math>K</math>.}}
+यहां आर<sub>1</sub> और आर<sub>2</sub> [[वास्तविक और जटिल एम्बेडिंग]] की संख्या और वास्तविक और जटिल एम्बेडिंग के जोड़े को शास्त्रीय रूप से निरूपित करें {{nowrap|<math>K</math>,}} क्रमश। इसके अतिरिक्त, रेग का [[नियामक (गणित)]] है {{nowrap|<math>K</math>,}} w में एकता के मूल की संख्या <math>K</math> और D का विवेचक है {{nowrap|<math>K</math>.}}
-[[डिरिचलेट एल-फ़ंक्शन]] <math>L(\chi,s)</math> का अधिक परिष्कृत संस्करण हैं <math>\zeta(s)</math>. दोनों प्रकार के फ़ंक्शन अंकगणितीय व्यवहार को कूटबद्ध करते हैं <math>\mathbb{Q}</math> और <math>K</math>, क्रमश। उदाहरण के लिए, [[अंकगणितीय प्रगति]] पर डिरिचलेट का प्रमेय|डिरिचलेट का प्रमेय यह दावा करता है कि किसी भी अंकगणितीय प्रगति में
+[[डिरिचलेट एल-फ़ंक्शन|डिरिचलेट एल-फलन]] <math>L(\chi,s)</math> का अधिक परिष्कृत संस्करण हैं <math>\zeta(s)</math>. दोनों प्रकार के फलन अंकगणितीय व्यवहार को कूटबद्ध करते हैं <math>\mathbb{Q}</math> और <math>K</math>, क्रमश। उदाहरण के लिए, [[अंकगणितीय प्रगति]] पर डिरिचलेट का प्रमेय|डिरिचलेट का प्रमेय यह दावा करता है कि किसी भी अंकगणितीय प्रगति में
 :<math>a, a+m, a+2m,\ldots</math>
-[[सह अभाज्य]] के साथ <math>a</math> और <math>m</math>, अपरिमित रूप से अनेक अभाज्य संख्याएँ हैं। यह प्रमेय इस तथ्य से निहित है कि डिरिचलेट <math>L</math>-फ़ंक्शन शून्येतर है <math>s=1</math>. बीजगणितीय के-सिद्धांत और तमागावा उपायों सहित बहुत अधिक उन्नत तकनीकों का उपयोग करते हुए, आधुनिक संख्या सिद्धांत अधिक सामान्य [[एल-फ़ंक्शन]] के मूल्यों के विवरण से संबंधित है, भले ही यह काफी हद तक अनुमानित हो ([[तमागावा संख्या अनुमान]] देखें)।<ref>{{Citation | last1=Bloch | first1=Spencer | last2=Kato | first2=Kazuya | author2-link=Kazuya Kato | title=The Grothendieck Festschrift, Vol. I | publisher=Birkhäuser Boston | location=Boston, MA | series=Progr. Math. | mr=1086888 | year=1990 | volume=86 | chapter=''L''-functions and Tamagawa numbers of motives | pages=333–400}}</ref>
+[[सह अभाज्य]] के साथ <math>a</math> और <math>m</math>, अपरिमित रूप से अनेक अभाज्य संख्याएँ हैं। यह प्रमेय इस तथ्य से निहित है कि डिरिचलेट <math>L</math>-फलन शून्येतर है <math>s=1</math>. बीजगणितीय के-सिद्धांत और तमागावा उपायों सहित बहुत अधिक उन्नत तकनीकों का उपयोग करते हुए, आधुनिक संख्या सिद्धांत अधिक सामान्य [[एल-फ़ंक्शन|एल-फलन]] के मूल्यों के विवरण से संबंधित है, भले ही यह अत्यधिक हद तक अनुमानित हो ([[तमागावा संख्या अनुमान]] देखें)।<ref>{{Citation | last1=Bloch | first1=Spencer | last2=Kato | first2=Kazuya | author2-link=Kazuya Kato | title=The Grothendieck Festschrift, Vol. I | publisher=Birkhäuser Boston | location=Boston, MA | series=Progr. Math. | mr=1086888 | year=1990 | volume=86 | chapter=''L''-functions and Tamagawa numbers of motives | pages=333–400}}</ref>
-==संख्या फ़ील्ड के लिए आधार==
+==संख्या क्षेत्र के लिए आधार==
 ===[[अभिन्न आधार]]===
-किसी संख्या क्षेत्र के लिए एक अभिन्न आधार <math>K</math> डिग्री का <math>n</math> एक सेट है
+किसी संख्या क्षेत्र के लिए एक अभिन्न आधार <math>K</math> डिग्री का <math>n</math> एक समुच्चय है
 :बी = {बी<sub>1</sub>, …, बी<sub>n</sub>}
 में n बीजगणितीय पूर्णांकों का <math>K</math> इस प्रकार कि वलय का प्रत्येक तत्व पूर्णांकों का हो <math>\mathcal{O}_K</math> का <math>K</math> ''बी'' के तत्वों के जेड-रैखिक संयोजन के रूप में विशिष्ट रूप से लिखा जा सकता है; अर्थात्, किसी भी ''x'' के लिए <math>\mathcal{O}_K</math> अपने पास
@@ Line 85: / Line 85: @@
 अब कहां एम<sub>i</sub>तर्कसंगत संख्याएँ हैं. के बीजगणितीय पूर्णांक <math>K</math> तो फिर ये बिल्कुल वही तत्व हैं <math>K</math> जहां एम<sub>i</sub>सभी पूर्णांक हैं.
-[[स्थानीय रिंग]] पर काम करना और [[फ्रोबेनियस मानचित्र]] जैसे उपकरणों का उपयोग करना, ऐसे आधार की स्पष्ट रूप से गणना करना हमेशा संभव होता है, और अब कंप्यूटर बीजगणित प्रणालियों के लिए ऐसा करने के लिए अंतर्निहित प्रोग्राम होना मानक है।
+[[स्थानीय रिंग|समष्टिीय रिंग]] पर काम करना और [[फ्रोबेनियस मानचित्र]] जैसे उपकरणों का उपयोग करना, ऐसे आधार की स्पष्ट रूप से गणना करना सदैव संभव होता है, और अब कंप्यूटर बीजगणित प्रणालियों के लिए ऐसा करने के लिए अंतर्निहित प्रोग्राम होना मानक है।
 ===शक्ति आधार===
@@ Line 91: / Line 91: @@
 होने देना <math>K</math> डिग्री का एक नंबर क्षेत्र हो {{nowrap|<math>n</math>.}} के सभी संभावित आधारों में से <math>K</math> (ए के रूप में देखा गया <math>\mathbb{Q}</math>-वेक्टर स्पेस), विशेष रूप से पावर आधार के रूप में जाने जाते हैं, जो फॉर्म के आधार हैं
 :<math>B_x = \{1, x, x^2,\ldots, x^{n-1} \}</math>
-किसी तत्व के लिए {{nowrap|<math>x \in K</math>.}} [[आदिम तत्व प्रमेय]] के अनुसार, ऐसा अस्तित्व है <math>x</math>, जिसे [[आदिम तत्व (क्षेत्र सिद्धांत)]] कहा जाता है। अगर <math>x</math> में चुना जा सकता है <math>\mathcal{O}_K</math> और ऐसा कि <math>B_x</math> का आधार है <math>\mathcal{O}_K</math> तो फिर, एक मुफ़्त Z-मॉड्यूल के रूप में <math>B_x</math> [[शक्ति अभिन्न आधार]] और क्षेत्र कहा जाता है <math>K</math> [[मोनोजेनिक क्षेत्र]] कहा जाता है। एक संख्या क्षेत्र का उदाहरण जो मोनोजेनिक नहीं है, सबसे पहले डेडेकाइंड द्वारा दिया गया था। उसका उदाहरण बहुपद के मूल को जोड़कर प्राप्त किया गया क्षेत्र है<ref>{{harvnb|Narkiewicz|2004|loc=§2.2.6}}</ref>
+किसी तत्व के लिए {{nowrap|<math>x \in K</math>.}} [[आदिम तत्व प्रमेय]] के अनुसार, ऐसा अस्तित्व है <math>x</math>, जिसे [[आदिम तत्व (क्षेत्र सिद्धांत)]] कहा जाता है। अगर <math>x</math> में चुना जा सकता है <math>\mathcal{O}_K</math> और ऐसा कि <math>B_x</math> का आधार है <math>\mathcal{O}_K</math> तो फिर, एक मुफ़्त Z-मॉड्यूल के रूप में <math>B_x</math> [[शक्ति अभिन्न आधार]] और क्षेत्र कहा जाता है <math>K</math> [[मोनोजेनिक क्षेत्र]] कहा जाता है। एक संख्या क्षेत्र का उदाहरण जो मोनोजेनिक नहीं है, सबसे पहले डेडेकाइंड द्वारा दिया गया था। उसका उदाहरण बहुपद के मूल को जोड़कर प्राप्त किया गया क्षेत्र है।<ref>{{harvnb|Narkiewicz|2004|loc=§2.2.6}}</ref>
 <math display="block">x^3 - x^2 - 2x - 8 . </math>
 ==नियमित प्रतिनिधित्व, ट्रेस और विभेदक==
-याद रखें कि कोई भी फ़ील्ड एक्सटेंशन <math>K/\mathbb{Q}</math> एक अनोखा है <math>\mathbb{Q}</math>-वेक्टर अंतरिक्ष संरचना। में गुणन का उपयोग करना <math>K</math>, तत्व <math>x</math> क्षेत्र का <math>K</math> आधार क्षेत्र के ऊपर <math>\mathbb{Q}</math> द्वारा प्रतिनिधित्व किया जा सकता है <math>n\times n</math> [[मैट्रिक्स (गणित)]]
+याद रखें कि कोई भी क्षेत्र विस्तार <math>K/\mathbb{Q}</math> एक अद्वितीय <math>\mathbb{Q}</math>-सदिश समष्टि संरचना है । में गुणन का उपयोग करना <math>K</math>, तत्व <math>x</math> क्षेत्र का <math>K</math> आधार क्षेत्र के ऊपर <math>\mathbb{Q}</math> <math>n\times n</math> [[मैट्रिक्स (गणित)|आव्यूह]] द्वारा प्रतिनिधित्व किया जा सकता है।
 <math display="block">A = A(x) = (a_{ij})_{1 \leq i, j \leq n}</math>
 आवश्यकता के द्वारा
 <math display="block">x e_i = \sum_{j=1}^n a_{ij} e_j, \quad a_{ij}\in\Q.</math>
-यहाँ <math>e_1,\ldots,e_n</math> के लिए एक निश्चित आधार है <math>K</math>, के रूप में देखा गया <math>\mathbb{Q}</math>-सदिश स्थल। तर्कसंगत संख्याएँ <math>a_{ij}</math> द्वारा विशिष्ट रूप से निर्धारित किये जाते हैं <math>x</math> और किसी भी तत्व के बाद से आधार का चुनाव <math>K</math> आधार तत्वों के [[रैखिक संयोजन]] के रूप में विशिष्ट रूप से दर्शाया जा सकता है। फ़ील्ड के किसी भी तत्व के साथ मैट्रिक्स को जोड़ने का यह तरीका <math>K</math> [[नियमित प्रतिनिधित्व]] कहा जाता है. वर्ग मैट्रिक्स <math>A</math> से गुणन के प्रभाव को दर्शाता है <math>x</math> दिए गए आधार पर. यह इस प्रकार है कि यदि तत्व <math>y</math> का <math>K</math> एक मैट्रिक्स द्वारा दर्शाया गया है <math>B</math>, फिर उत्पाद <math>xy</math> [[मैट्रिक्स उत्पाद]] द्वारा दर्शाया गया है <math>BA</math>. मैट्रिक्स के [[अपरिवर्तनीय (गणित)]], जैसे [[ट्रेस (रैखिक बीजगणित)]], निर्धारक, और [[विशेषता बहुपद]], पूरी तरह से क्षेत्र तत्व पर निर्भर करते हैं <math>x</math> और आधार पर नहीं. विशेष रूप से, मैट्रिक्स का निशान <math>A(x)</math> फ़ील्ड तत्व का [[फ़ील्ड ट्रेस]] कहा जाता है <math>x</math> और निरूपित किया गया <math>\text{Tr}(x)</math>, और निर्धारक को x का फ़ील्ड मानदंड कहा जाता है और दर्शाया जाता है <math>N(x)</math>.
+यहाँ <math>e_1,\ldots,e_n</math> के लिए एक निश्चित आधार है <math>K</math>, के रूप में देखा गया <math>\mathbb{Q}</math>-सदिश स्थल। तर्कसंगत संख्याएँ <math>a_{ij}</math> द्वारा विशिष्ट रूप से निर्धारित किये जाते हैं <math>x</math> और किसी भी तत्व के बाद से आधार का चुनाव <math>K</math> आधार तत्वों के [[रैखिक संयोजन]] के रूप में विशिष्ट रूप से दर्शाया जा सकता है। क्षेत्र के किसी भी तत्व के साथ आव्यूह को जोड़ने का यह तरीका <math>K</math> [[नियमित प्रतिनिधित्व]] कहा जाता है. वर्ग आव्यूह <math>A</math> से गुणन के प्रभाव को दर्शाता है <math>x</math> दिए गए आधार पर. यह इस प्रकार है कि यदि तत्व <math>y</math> का <math>K</math> एक आव्यूह द्वारा दर्शाया गया है <math>B</math>, फिर उत्पाद <math>xy</math> [[मैट्रिक्स उत्पाद|आव्यूह उत्पाद]] द्वारा दर्शाया गया है <math>BA</math>. आव्यूह के [[अपरिवर्तनीय (गणित)]], जैसे [[ट्रेस (रैखिक बीजगणित)]], निर्धारक, और [[विशेषता बहुपद]], पूरी तरह से क्षेत्र तत्व पर निर्भर करते हैं <math>x</math> और आधार पर नहीं. विशेष रूप से, आव्यूह का निशान <math>A(x)</math> क्षेत्र तत्व का [[फ़ील्ड ट्रेस|क्षेत्र ट्रेस]] कहा जाता है <math>x</math> और निरूपित किया गया <math>\text{Tr}(x)</math>, और निर्धारक को x का क्षेत्र मानदंड कहा जाता है और दर्शाया जाता है <math>N(x)</math>.
-अब इसे फ़ील्ड एक्सटेंशन पर विचार करके थोड़ा सामान्यीकृत किया जा सकता है <math>K/L</math> और एक दे रहा हूँ <math>L</math>-के लिए आधार <math>K</math>. फिर, एक संबद्ध मैट्रिक्स है <math>A_{K/L}(x)</math> जिसका निशान है <math>\text{Tr}_{K/L}(x)</math> और आदर्श <math>\text{N}_{K/L}(x)</math> मैट्रिक्स के ट्रेस और निर्धारक के रूप में परिभाषित किया गया है <math>A_{K/L}(x)</math>.
+अब इसे क्षेत्र विस्तार पर विचार करके थोड़ा सामान्यीकृत किया जा सकता है <math>K/L</math> और एक दे रहा हूँ <math>L</math>-के लिए आधार <math>K</math>. फिर, एक संबद्ध आव्यूह है <math>A_{K/L}(x)</math> जिसका निशान है <math>\text{Tr}_{K/L}(x)</math> और आदर्श <math>\text{N}_{K/L}(x)</math> आव्यूह के ट्रेस और निर्धारक के रूप में परिभाषित किया गया है <math>A_{K/L}(x)</math>.
 === उदाहरण ===
-फ़ील्ड विस्तार पर विचार करें <math>\mathbb{Q}(\theta)</math> कहाँ <math>\theta = \zeta_3\sqrt[3]{2}</math>. फिर, हमारे पास एक <math>\mathbb{Q}</math>-द्वारा दिया गया आधार <math display="block">\{ 1, \zeta_3\sqrt[3]{2}, \zeta_3^2\sqrt[3]{2^2}\}</math> किसी के बाद से <math>x \in \mathbb{Q}(\theta)</math> कुछ के रूप में व्यक्त किया जा सकता है <math>\mathbb{Q}</math>-रैखिक संयोजन <math display="block">a + b\zeta_3\sqrt[3]{2} + c\zeta_3^2\sqrt[3]{2^2} = a + b\theta + c\theta^2</math> फिर, हम कुछ ले सकते हैं <math>y \in \mathbb{Q}(\theta)</math> कहाँ <math>y = y_0 + y_1\theta + y_2 \theta^2</math> और गणना करें <math>x \cdot y</math>. इसे लिखने से लाभ मिलता है <math display="block">\begin{align}
+क्षेत्र विस्तार पर विचार करें <math>\mathbb{Q}(\theta)</math> जहाँ <math>\theta = \zeta_3\sqrt[3]{2}</math>. फिर, हमारे पास एक <math>\mathbb{Q}</math>-द्वारा दिया गया आधार <math display="block">\{ 1, \zeta_3\sqrt[3]{2}, \zeta_3^2\sqrt[3]{2^2}\}</math> किसी के बाद से <math>x \in \mathbb{Q}(\theta)</math> कुछ के रूप में व्यक्त किया जा सकता है <math>\mathbb{Q}</math>-रैखिक संयोजन <math display="block">a + b\zeta_3\sqrt[3]{2} + c\zeta_3^2\sqrt[3]{2^2} = a + b\theta + c\theta^2</math> फिर, हम कुछ ले सकते हैं <math>y \in \mathbb{Q}(\theta)</math> जहाँ <math>y = y_0 + y_1\theta + y_2 \theta^2</math> और गणना करें <math>x \cdot y</math>. इसे लिखने से लाभ मिलता है <math display="block">\begin{align}
 a(y_0 + y_1\theta + y_2\theta^2) + \\
 b(2y_2 + y_0\theta + y_1\theta^2) + \\
 c(2y_1 + 2y_2\theta + y_0 \theta^2)
 \end{align}</math>
-हम मैट्रिक्स पा सकते हैं <math>A(x)</math> संबंधित मैट्रिक्स समीकरण लिखकर <math display="block">\begin{bmatrix}
+हम आव्यूह पा सकते हैं <math>A(x)</math> संबंधित आव्यूह समीकरण लिखकर <math display="block">\begin{bmatrix}
 a_{11} & a_{12} & a_{13} \\
 a_{21} & a_{22} & a_{23} \\
@@ Line 125: / Line 125: @@
 c & b & a
 \end{bmatrix}</math>
-फिर हम ट्रेस और मानदंड देकर, सापेक्ष आसानी से ट्रेस और निर्धारक की गणना कर सकते हैं।
+फिर हम ट्रेस और मानदंड देकर, सापेक्ष सरली से ट्रेस और निर्धारक की गणना कर सकते हैं।
 === गुण ===
-परिभाषा के अनुसार, मैट्रिक्स के निशान और निर्धारकों के मानक गुण Tr और N तक ले जाते हैं: Tr(x) x का एक रैखिक कार्य है, जैसा कि व्यक्त किया गया है {{nowrap|1=Tr(''x'' + ''y'') = Tr(''x'') + Tr(''y'')}}, {{nowrap|1=Tr(''λx'') = ''λ'' Tr(''x'')}}, और मानदंड डिग्री n का एक गुणात्मक [[सजातीय कार्य]] है: {{nowrap|1=N(''xy'') = N(''x'') N(''y'')}}, {{nowrap|1=N(''λx'') = ''λ''<sup>''n''</sup> N(''x'')}}. यहाँ λ एक परिमेय संख्या है, और x, y कोई दो तत्व हैं {{nowrap|<math>K</math>.}}
+परिभाषा के अनुसार, आव्यूह के निशान और निर्धारकों के मानक गुण Tr और N तक ले जाते हैं: Tr(x) x का एक रैखिक कार्य है, जैसा कि व्यक्त किया गया है {{nowrap|1=Tr(''x'' + ''y'') = Tr(''x'') + Tr(''y'')}}, {{nowrap|1=Tr(''λx'') = ''λ'' Tr(''x'')}}, और मानदंड डिग्री n का एक गुणात्मक [[सजातीय कार्य]] है: {{nowrap|1=N(''xy'') = N(''x'') N(''y'')}}, {{nowrap|1=N(''λx'') = ''λ''<sup>''n''</sup> N(''x'')}}. यहाँ λ एक परिमेय संख्या है, और x, y कोई दो तत्व हैं {{nowrap|<math>K</math>.}}
 व्युत्पन्न [[ट्रेस फॉर्म]] एक [[ द्विरेखीय रूप ]] है जिसे ट्रेस के माध्यम से परिभाषित किया गया है
-<math display="block">Tr_{K/L}: K \otimes_L K \to L</math> द्वारा <math display="block">Tr_{K/L}(x\otimes y) = Tr_{K/L}(x\cdot y)</math><math>\text{Tr}_{K/L}(x)</math>. ''इंटीग्रल ट्रेस फॉर्म'', एक पूर्णांक-मूल्यवान [[सममित मैट्रिक्स]] के रूप में परिभाषित किया गया है <math>t_{ij} = \text{Tr}_{K/\mathbb{Q}}(b_ib_j)</math>, जहां बी<sub>1</sub>, ..., बी<sub>n</sub> के लिए एक अभिन्न आधार है {{nowrap|<math>K</math>.}} बीजगणितीय संख्या क्षेत्र का विभेदक <math>K</math> को det(t) के रूप में परिभाषित किया गया है। यह एक पूर्णांक है, और क्षेत्र की एक अपरिवर्तनीय संपत्ति है <math>K</math>, अभिन्न आधार की पसंद पर निर्भर नहीं है।
+<math display="block">Tr_{K/L}: K \otimes_L K \to L</math> द्वारा <math display="block">Tr_{K/L}(x\otimes y) = Tr_{K/L}(x\cdot y)</math><math>\text{Tr}_{K/L}(x)</math>. ''इंटीग्रल ट्रेस फॉर्म'', एक पूर्णांक-मूल्यवान [[सममित मैट्रिक्स|सममित आव्यूह]] <math>t_{ij} = \text{Tr}_{K/\mathbb{Q}}(b_ib_j)</math> के रूप में परिभाषित किया गया है , जहां b<sub>1</sub>, ..., b<sub>n</sub> के लिए एक अभिन्न आधार {{nowrap|<math>K</math>.}} है  बीजगणितीय संख्या क्षेत्र का विभेदक <math>K</math> को det(t) के रूप में परिभाषित किया गया है। यह एक पूर्णांक है, और क्षेत्र की एक अपरिवर्तनीय संपत्ति है <math>K</math>, अभिन्न आधार की पसंद पर निर्भर नहीं है।
-किसी तत्व x से संबद्ध मैट्रिक्स <math>K</math> इसका उपयोग बीजगणितीय पूर्णांकों के अन्य समकक्ष विवरण देने के लिए भी किया जा सकता है। का एक तत्व x <math>K</math> एक बीजगणितीय पूर्णांक है यदि और केवल यदि विशेषता बहुपद पी<sub>''A''</sub> x से संबद्ध मैट्रिक्स A का पूर्णांक गुणांक वाला एक बहुपद है। मान लीजिए कि मैट्रिक्स A जो एक तत्व x का प्रतिनिधित्व करता है, उसमें कुछ आधार e में पूर्णांक प्रविष्टियाँ हैं। केली-हैमिल्टन प्रमेय द्वारा, पृ<sub>''A''</sub>(ए) = 0, और यह उस पी का अनुसरण करता है<sub>''A''</sub>(x)=0, ताकि x एक बीजगणितीय पूर्णांक हो। इसके विपरीत, यदि x का एक तत्व है <math>K</math> जो कि पूर्णांक गुणांक वाले एक राक्षसी बहुपद का मूल है तो वही गुण संबंधित मैट्रिक्स ए के लिए भी होता है। इस मामले में यह सिद्ध किया जा सकता है कि ए एक उपयुक्त आधार में एक [[पूर्णांक मैट्रिक्स]] है {{nowrap|<math>K</math>.}} बीजगणितीय पूर्णांक होने की संपत्ति को इस तरह से परिभाषित किया गया है जो आधार की पसंद से स्वतंत्र है {{nowrap|<math>K</math>.}}
+किसी तत्व x से संबद्ध आव्यूह <math>K</math> इसका उपयोग बीजगणितीय पूर्णांकों के अन्य समकक्ष विवरण देने के लिए भी किया जा सकता है। का एक तत्व x <math>K</math> एक बीजगणितीय पूर्णांक है यदि और केवल यदि विशेषता बहुपद पी<sub>''A''</sub> x से संबद्ध आव्यूह A का पूर्णांक गुणांक वाला एक बहुपद है। मान लीजिए कि आव्यूह A जो एक तत्व x का प्रतिनिधित्व करता है, उसमें कुछ आधार e में पूर्णांक प्रविष्टियाँ हैं। केली-हैमिल्टन प्रमेय द्वारा, पृ<sub>''A''</sub>(ए) = 0, और यह उस पी का अनुसरण करता है<sub>''A''</sub>(x)=0, ताकि x एक बीजगणितीय पूर्णांक हो। इसके विपरीत, यदि x का एक तत्व है <math>K</math> जो कि पूर्णांक गुणांक वाले एक राक्षसी बहुपद का मूल है तो वही गुण संबंधित आव्यूह ए के लिए भी होता है। इस मामले में यह सिद्ध किया जा सकता है कि ए एक उपयुक्त आधार में एक [[पूर्णांक मैट्रिक्स|पूर्णांक आव्यूह]] है {{nowrap|<math>K</math>.}} बीजगणितीय पूर्णांक होने की संपत्ति को इस तरह से परिभाषित किया गया है जो आधार की पसंद से स्वतंत्र है {{nowrap|<math>K</math>.}}
 ===अभिन्न आधार के साथ उदाहरण===
-विचार करना <math>K = \mathbb{Q}(x)</math>, जहां x संतुष्ट करता है {{nowrap|1=''x''<sup>3</sup> − 11''x''<sup>2</sup> + ''x'' + 1 = 0}}. फिर एक अभिन्न आधार [1, x, 1/2(x) है<sup>2</sup> +1)], और संबंधित इंटीग्रल ट्रेस फॉर्म है
+विचार करें की <math>K = \mathbb{Q}(x)</math>, जहां x {{nowrap|1=''x''<sup>3</sup> − 11''x''<sup>2</sup> + ''x'' + 1 = 0}} को संतुष्ट करता है . फिर एक अभिन्न आधार [1, x, 1/2(x) है<sup>2</sup> +1)], और संबंधित इंटीग्रल ट्रेस रूप निम्नलिखित है
 <math display="block">\begin{bmatrix}
 & 11 & 61 \\
@@ Line 143: / Line 143: @@
 & 653 & 3589
 \end{bmatrix}.</math>
-इस मैट्रिक्स के ऊपरी बाएं कोने में 3 नियमित प्रतिनिधित्व में पहले आधार तत्व (1) द्वारा परिभाषित मानचित्र के मैट्रिक्स का निशान है <math>K</math> पर {{nowrap|<math>K</math>.}} यह आधार तत्व 3-आयामी वेक्टर स्थान पर पहचान मानचित्र को प्रेरित करता है, {{nowrap|<math>K</math>.}} 3-आयामी वेक्टर स्थान पर पहचान मानचित्र के मैट्रिक्स का निशान 3 है।
+इस आव्यूह के ऊपरी बाएं कोने में 3 नियमित प्रतिनिधित्व में पहले आधार तत्व (1) द्वारा परिभाषित मानचित्र के आव्यूह का निशान है <math>K</math> पर {{nowrap|<math>K</math>.}} यह आधार तत्व 3-आयामी वेक्टर समष्टि पर पहचान मानचित्र को प्रेरित करता है, {{nowrap|<math>K</math>.}} 3-आयामी वेक्टर समष्टि पर पहचान मानचित्र के आव्यूह का निशान 3 है।
-इसका निर्धारक है {{nowrap|1=1304 = 2<sup>3</sup>·163}}, क्षेत्र [[विभेदक]]; इसकी तुलना में बहुपद का विभेदक, या विभेदक, है {{nowrap|1=5216 = 2<sup>5</sup>·163}}.
+{{nowrap|1=1304 = 2<sup>3</sup>·163}} इसका निर्धारक है , क्षेत्र [[विभेदक]]; इसकी तुलना में बहुपद का विभेदक, या विभेदक, {{nowrap|1=5216 = 2<sup>5</sup>·163}} है।
-==स्थान==
+==समष्टि==
 उन्नीसवीं सदी के गणितज्ञों ने माना कि बीजीय संख्याएँ एक प्रकार की जटिल संख्या थीं।<ref>{{citation
@@ Line 170: / Line 170: @@
   | title = Mathematical models: a sketch for the philosophy of mathematics
   | volume = 88
-  | year = 1981| jstor = 2321751 }}</ref> 1897 में कर्ट हेन्सल द्वारा पी-एडिक संख्याओं की खोज के साथ यह स्थिति बदल गई; और अब किसी संख्या क्षेत्र के सभी विभिन्न संभावित एम्बेडिंग पर विचार करना मानक है <math>K</math> इसके विभिन्न टोपोलॉजिकल [[ पूर्णता (रिंग सिद्धांत) ]] में <math>K_{\mathfrak{p}}</math> तुरंत।
+  | year = 1981| jstor = 2321751 }}</ref> 1897 में कर्ट हेन्सल द्वारा पी-एडिक संख्याओं की खोज के साथ यह स्थिति बदल गई; और अब किसी संख्या क्षेत्र के सभी विभिन्न संभावित एम्बेडिंग पर विचार करना मानक है <math>K</math> इसके विभिन्न टोपोलॉजिकल [[ पूर्णता (रिंग सिद्धांत) |पूर्णता]] में <math>K_{\mathfrak{p}}</math> तुरंत विस्तारित होता है।
-किसी संख्या क्षेत्र का एक [[स्थान (गणित)]]। <math>K</math> [[निरपेक्ष मान (बीजगणित)]] का एक समतुल्य वर्ग है <math>K</math><ref name=":0">{{Cite book|last=Gras|first=Georges|url=https://www.worldcat.org/oclc/883382066|title=Class field theory : from theory to practice|date=2003|isbn=978-3-662-11323-3|location=Berlin|oclc=883382066}}</ref><sup>पृष्ठ 9</sup>. अनिवार्य रूप से, तत्वों के आकार को मापने के लिए एक निरपेक्ष मान एक धारणा है <math>x</math> का {{nowrap|<math>K</math>.}} ऐसे दो निरपेक्ष मूल्यों को समतुल्य माना जाता है यदि वे छोटेपन (या निकटता) की समान धारणा को जन्म देते हैं। निरपेक्ष मूल्यों के बीच तुल्यता संबंध <math>|\cdot|_0 \sim |\cdot|_1</math> कुछ के द्वारा दिया जाता है <math>\lambda \in \mathbb{R}_{>0}</math> ऐसा है कि<math display="block">|\cdot|_0 = |\cdot|_1^{\lambda}</math>मतलब हम मानक का मान लेते हैं <math>|\cdot|_1</math> तक <math>\lambda</math>-थ शक्ति.
+किसी संख्या क्षेत्र का एक [[स्थान (गणित)|समष्टि]] <math>K</math> [[निरपेक्ष मान (बीजगणित)|निरपेक्ष मान]] <math>K</math> का एक समतुल्य वर्ग है <ref name=":0">{{Cite book|last=Gras|first=Georges|url=https://www.worldcat.org/oclc/883382066|title=Class field theory : from theory to practice|date=2003|isbn=978-3-662-11323-3|location=Berlin|oclc=883382066}}</ref>. अनिवार्य रूप से, तत्वों के आकार को मापने के लिए एक निरपेक्ष मान एक धारणा है <math>x</math> का {{nowrap|<math>K</math>.}} ऐसे दो निरपेक्ष मूल्यों को समतुल्य माना जाता है यदि वे छोटेपन (या निकटता) की समान धारणा को जन्म देते हैं। निरपेक्ष मूल्यों के बीच तुल्यता संबंध <math>|\cdot|_0 \sim |\cdot|_1</math> कुछ के द्वारा दिया जाता है <math>\lambda \in \mathbb{R}_{>0}</math> ऐसा है कि<math display="block">|\cdot|_0 = |\cdot|_1^{\lambda}</math>मतलब हम मानक का मान लेते हैं <math>|\cdot|_1</math> तक <math>\lambda</math>-थ शक्ति.
-सामान्य तौर पर, स्थानों के प्रकार तीन प्रकार के होते हैं। सबसे पहले (और अधिकतर अप्रासंगिक), तुच्छ निरपेक्ष मान | |<sub>0</sub>, जो मूल्य लेता है <math>1</math> सभी गैर-शून्य पर {{nowrap|<math>x \in K</math>.}} दूसरे और तीसरे वर्ग आर्किमिडीयन स्थान और गैर-आर्किमिडीयन (या अल्ट्रामेट्रिक) स्थान हैं। का पूरा होना <math>K</math> किसी स्थान के संबंध में <math>|\cdot|_{\mathfrak{p}}</math> दोनों मामलों में [[कॉची अनुक्रम]] लेकर दिया गया है <math>K</math>और [[शून्य अनुक्रम]]ों, अर्थात् अनुक्रमों को विभाजित करना <math>\{x_n\}_{n \in \mathbb{N}}</math> ऐसा है कि <math display="block"> |x_n|_\mathfrak{p} \to 0</math>जब शून्य हो जाता है <math>n</math> अनन्त की ओर प्रवृत्त होता है। इसे फिर से एक फ़ील्ड के रूप में दिखाया जा सकता है, तथाकथित पूर्णता <math>K</math> दिए गए स्थान पर {{nowrap|<math>|\cdot|_\mathfrak{p}</math>,}} निरूपित {{nowrap|<math>K_{\mathfrak{p}}</math>.}}
+सामान्य तौर पर, समष्टियों के प्रकार तीन प्रकार के होते हैं। सबसे पहले , तुच्छ निरपेक्ष मान | |<sub>0</sub>, जो मान लेता है <math>1</math> सभी गैर-शून्य पर {{nowrap|<math>x \in K</math>.}} दूसरे और तीसरे वर्ग आर्किमिडीयन समष्टि और गैर-आर्किमिडीयन (या अल्ट्रामेट्रिक) समष्टि हैं। का पूरा होना <math>K</math> किसी समष्टि के संबंध में <math>|\cdot|_{\mathfrak{p}}</math> दोनों मामलों में [[कॉची अनुक्रम]] लेकर दिया गया है <math>K</math>और [[शून्य अनुक्रम]], अर्थात् अनुक्रमों को विभाजित करना <math>\{x_n\}_{n \in \mathbb{N}}</math> ऐसा है कि <math display="block"> |x_n|_\mathfrak{p} \to 0</math>जब शून्य हो जाता है <math>n</math> अनन्त की ओर प्रवृत्त होता है। इसे फिर से एक क्षेत्र के रूप में दिखाया जा सकता है, तथाकथित पूर्णता <math>K</math> दिए गए समष्टि पर {{nowrap|<math>|\cdot|_\mathfrak{p}</math>,}} निरूपित {{nowrap|<math>K_{\mathfrak{p}}</math>.}}
 के लिए {{nowrap|<math>K = \mathbb{Q}</math>,}} निम्नलिखित गैर-तुच्छ मानदंड घटित होते हैं (ओस्ट्रोव्स्की का प्रमेय): (सामान्य) निरपेक्ष मान, कभी-कभी दर्शाया जाता है <math>|\cdot|_\infty</math> जो वास्तविक संख्याओं के संपूर्ण [[टोपोलॉजिकल क्षेत्र]] को जन्म देता है {{nowrap|<math>\mathbb{R}</math>.}} दूसरी ओर, किसी भी अभाज्य संख्या के लिए <math>p</math>, पी-एडिक संख्या|पी-एडिक निरपेक्ष मान द्वारा परिभाषित किया गया है
 :|क्यू|<sub>''p''</sub> = पी<sup>−n</sup>, जहां q = p<sup>n</sup> a/b और a और b पूर्णांक हैं जो p से विभाज्य नहीं हैं।
-इसका उपयोग निर्माण के लिए किया जाता है <math>p</math>-एडिक नंबर {{nowrap|<math>\mathbb{Q}_p</math>.}} सामान्य निरपेक्ष मान के विपरीत, जब q को p से गुणा किया जाता है तो p-एडिक निरपेक्ष मान छोटा हो जाता है, जिससे काफी भिन्न व्यवहार होता है <math>\mathbb{Q}_p</math> इसकी तुलना में {{nowrap|<math>\mathbb{R}</math>.}}
+इसका उपयोग निर्माण के लिए किया जाता है <math>p</math>-एडिक नंबर {{nowrap|<math>\mathbb{Q}_p</math>.}} सामान्य निरपेक्ष मान के विपरीत, जब q को p से गुणा किया जाता है तो p-एडिक निरपेक्ष मान छोटा हो जाता है, जिससे अत्यधिक भिन्न व्यवहार होता है <math>\mathbb{Q}_p</math> इसकी तुलना में {{nowrap|<math>\mathbb{R}</math>.}}
-ध्यान दें कि आम तौर पर जिस सामान्य स्थिति पर विचार किया जाता है वह एक संख्या फ़ील्ड लेना है <math>K</math> और मूल्यांकन के एक प्रमुख आदर्श पर विचार करना <math>\mathfrak{p} \in \text{Spec}(\mathcal{O}_K)</math> इससे संबंधित [[बीजगणितीय संख्या]] के लिए {{nowrap|<math>\mathcal{O}_K</math>.}} फिर होगी अनोखी जगह <math>|\cdot|_{\mathfrak{p}}: K \to \mathbb{R}_{\geq 0}</math> गैर-आर्किमिडीयन स्थान कहा जाता है। इसके अलावा, प्रत्येक एम्बेडिंग के लिए <math>\sigma: K \to \mathbb{C}</math> वहाँ एक आर्किमिडीयन स्थान नामक स्थान होगा, जिसे दर्शाया जाएगा {{nowrap|<math>|\cdot|_\sigma:K\to \mathbb{R}_{\geq 0}</math>.}} यह कथन एक प्रमेय है जिसे ओस्ट्रोव्स्की का प्रमेय भी कहा जाता है।
+ध्यान दें कि सामान्यतः जिस सामान्य स्थिति पर विचार किया जाता है वह एक संख्या क्षेत्र लेना है <math>K</math> और मूल्यांकन के एक प्रमुख आदर्श पर विचार करना <math>\mathfrak{p} \in \text{Spec}(\mathcal{O}_K)</math> इससे संबंधित [[बीजगणितीय संख्या]] के लिए {{nowrap|<math>\mathcal{O}_K</math>.}} फिर होगी अनोखी जगह <math>|\cdot|_{\mathfrak{p}}: K \to \mathbb{R}_{\geq 0}</math> गैर-आर्किमिडीयन समष्टि कहा जाता है। इसके अतिरिक्त, प्रत्येक एम्बेडिंग के लिए <math>\sigma: K \to \mathbb{C}</math> वहाँ एक आर्किमिडीयन समष्टि नामक समष्टि होगा, जिसे दर्शाया जाएगा {{nowrap|<math>|\cdot|_\sigma:K\to \mathbb{R}_{\geq 0}</math>.}} यह कथन एक प्रमेय है जिसे ओस्ट्रोव्स्की का प्रमेय भी कहा जाता है।
 === उदाहरण ===
-फील्ड <math>K = \mathbb{Q}[x]/(x^6 - 2) = \mathbb{Q}(\theta)</math> के लिए <math>\theta = \zeta\sqrt[6]{2}</math> कहाँ <math>\zeta</math> एकता की एक निश्चित छठी जड़ है, जो स्पष्ट वास्तविक और जटिल आर्किमिडीयन एम्बेडिंग और गैर-आर्किमिडीयन एम्बेडिंग के निर्माण के लिए एक समृद्ध उदाहरण प्रदान करती है।<ref name=":0" /><sup>पृष्ठ 15-16</sup>.
+फील्ड <math>K = \mathbb{Q}[x]/(x^6 - 2) = \mathbb{Q}(\theta)</math> के लिए <math>\theta = \zeta\sqrt[6]{2}</math> जहाँ <math>\zeta</math> एकता की एक निश्चित छठी जड़ है, जो स्पष्ट वास्तविक और जटिल आर्किमिडीयन एम्बेडिंग और गैर-आर्किमिडीयन एम्बेडिंग के निर्माण के लिए एक समृद्ध उदाहरण प्रदान करती है।<ref name=":0" /><sup>पृष्ठ 15-16</sup>.
-===आर्किमिडीयन स्थान===
+===आर्किमिडीयन समष्टि===
 यहां हम मानक संकेतन का उपयोग करते हैं <math>r_1</math> और <math>r_2</math> क्रमशः प्रयुक्त वास्तविक और जटिल एम्बेडिंग की संख्या के लिए (नीचे देखें)।
-किसी संख्या क्षेत्र के आर्किमिडीयन स्थानों की गणना करना <math>K</math> इस प्रकार किया जाता है: चलो <math>x</math> का एक आदिम तत्व हो <math>K</math>, न्यूनतम बहुपद के साथ <math>f</math> (ऊपर <math>\mathbb{Q}</math>). ऊपर <math>\mathbb{R}</math>, <math>f</math> आम तौर पर अब अपरिवर्तनीय नहीं होगा, लेकिन इसके अपरिवर्तनीय (वास्तविक) कारक या तो एक या दो डिग्री के हैं। चूँकि जड़ों की पुनरावृत्ति नहीं होती, इसलिए कारकों की पुनरावृत्ति भी नहीं होती। जड़ें <math>r</math> डिग्री एक के कारक आवश्यक रूप से वास्तविक और प्रतिस्थापित करने वाले होते हैं <math>x</math> द्वारा <math>r</math> का एम्बेडिंग देता है <math>K</math> में <math>\mathbb{R}</math>; ऐसे एम्बेडिंग की संख्या वास्तविक जड़ों की संख्या के बराबर है {{nowrap|<math>f</math>.}} मानक निरपेक्ष मान को प्रतिबंधित करना <math>\mathbb{R}</math> को <math>K</math> पर एक आर्किमिडीयन निरपेक्ष मान देता है <math>K</math>; ऐसे निरपेक्ष मान को ''वास्तविक स्थान'' भी कहा जाता है {{nowrap|<math>K</math>.}} दूसरी ओर, डिग्री दो के कारकों की जड़ें जटिल संयुग्मी जटिल संख्याओं के जोड़े हैं, जो दो संयुग्मी एम्बेडिंग की अनुमति देती हैं {{nowrap|<math>\mathbb{C}</math>.}} एम्बेडिंग की इस जोड़ी में से किसी एक का उपयोग निरपेक्ष मान को परिभाषित करने के लिए किया जा सकता है <math>K</math>, जो दोनों एम्बेडिंग के लिए समान है क्योंकि वे संयुग्मित हैं। इस निरपेक्ष मान को ''जटिल स्थान'' कहा जाता है {{nowrap|<math>K</math>.}}<ref>Cohn, Chapter 11 §C p.&nbsp;108</ref><ref>Conrad</ref>
+किसी संख्या क्षेत्र के आर्किमिडीयन समष्टियों की गणना करना <math>K</math> इस प्रकार किया जाता है: चलो <math>x</math> का एक आदिम तत्व हो <math>K</math>, न्यूनतम बहुपद के साथ <math>f</math> (ऊपर <math>\mathbb{Q}</math>). ऊपर <math>\mathbb{R}</math>, <math>f</math> सामान्यतः अब अपरिवर्तनीय नहीं होगा, परंतु इसके अपरिवर्तनीय (वास्तविक) कारक या तो एक या दो डिग्री के हैं। चूँकि जड़ों की पुनरावृत्ति नहीं होती, इसलिए कारकों की पुनरावृत्ति भी नहीं होती। वर्ग मूल <math>r</math> डिग्री एक के कारक आवश्यक रूप से वास्तविक और प्रतिस्थापित करने वाले होते हैं <math>x</math> द्वारा <math>r</math> का एम्बेडिंग देता है <math>K</math> में <math>\mathbb{R}</math>; ऐसे एम्बेडिंग की संख्या वास्तविक जड़ों की संख्या के बराबर है {{nowrap|<math>f</math>.}} मानक निरपेक्ष मान को प्रतिबंधित करना <math>\mathbb{R}</math> को <math>K</math> पर एक आर्किमिडीयन निरपेक्ष मान देता है <math>K</math>; ऐसे निरपेक्ष मान को ''वास्तविक समष्टि'' भी कहा जाता है {{nowrap|<math>K</math>.}} दूसरी ओर, डिग्री दो के कारकों की वर्ग मूल जटिल संयुग्मी जटिल संख्याओं के जोड़े हैं, जो दो संयुग्मी एम्बेडिंग की अनुमति देती हैं {{nowrap|<math>\mathbb{C}</math>.}} एम्बेडिंग की इस जोड़ी में से किसी एक का उपयोग निरपेक्ष मान को परिभाषित करने के लिए किया जा सकता है <math>K</math>, जो दोनों एम्बेडिंग के लिए समान है क्योंकि वे संयुग्मित हैं। इस निरपेक्ष मान को ''जटिल समष्टि'' कहा जाता है {{nowrap|<math>K</math>.}}<ref>Cohn, Chapter 11 §C p.&nbsp;108</ref><ref>Conrad</ref>
-यदि सभी जड़ें <math>f</math> उपरोक्त वास्तविक (क्रमशः, जटिल) या, समकक्ष, कोई भी संभावित एम्बेडिंग हैं <math>K \subseteq \mathbb{C}</math> वास्तव में अंदर रहने के लिए मजबूर किया जाता है <math>\mathbb{R}</math> (सम्मान. {{nowrap|<math>\mathbb{C}</math>),}} <math>K</math> पूर्णतया वास्तविक संख्या फ़ील्ड (संबंधित पूर्णतः सम्मिश्र संख्या फ़ील्ड) कहा जाता है।<ref>Cohn, Chapter 11 §C p.&nbsp;108</ref><ref>Conrad</ref>
+यदि सभी वर्ग मूल <math>f</math> उपरोक्त वास्तविक (क्रमशः, जटिल) या, समकक्ष, कोई भी संभावित एम्बेडिंग हैं <math>K \subseteq \mathbb{C}</math> वास्तव में अंदर रहने के लिए मजबूर किया जाता है <math>\mathbb{R}</math> (सम्मान. {{nowrap|<math>\mathbb{C}</math>),}} <math>K</math> पूर्णतया वास्तविक संख्या क्षेत्र (संबंधित पूर्णतः सम्मिश्र संख्या क्षेत्र) कहा जाता है।<ref>Cohn, Chapter 11 §C p.&nbsp;108</ref><ref>Conrad</ref>
-===गैर-आर्किमिडीयन या अल्ट्रामेट्रिक स्थान===
+===गैर-आर्किमिडीयन या अल्ट्रामेट्रिक समष्टि===
-गैर-आर्किमिडीयन स्थानों को खोजने के लिए, फिर से आइए <math>f</math> और <math>x</math> ऊपर जैसा हो. में {{nowrap|<math>\mathbb{Q}_p </math>,}} <math>f</math> विभिन्न डिग्री के कारकों में विभाजन, जिनमें से कोई भी दोहराया नहीं जाता है, और जिनकी डिग्री जुड़ती है {{nowrap|<math>n</math>,}} की डिग्री {{nowrap|<math>f</math>.}} इनमें से प्रत्येक के लिए <math>p</math>-विशेष रूप से अघुलनशील कारक {{nowrap|<math>f_i</math>,}} हम ऐसा मान सकते हैं <math>x</math> संतुष्ट <math>f_i</math> और एक एम्बेडिंग प्राप्त करें <math>K</math> परिमित डिग्री के बीजगणितीय विस्तार में {{nowrap|<math>\mathbb{Q}_p</math>.}} ऐसा [[स्थानीय क्षेत्र]] कई तरह से संख्या क्षेत्र की तरह व्यवहार करता है, और <math>p</math>-आदिक संख्याएँ इसी प्रकार परिमेय की भूमिका निभा सकती हैं; विशेष रूप से, हम मानक को परिभाषित कर सकते हैं और ठीक उसी तरह ट्रेस कर सकते हैं, अब फ़ंक्शन मैपिंग दे रहे हैं {{nowrap|<math>\mathbb{Q}_p </math>.}} इसका उपयोग करके <math>p</math>- यानी सामान्य नक्शा <math>N_{f_i}</math> जगह के लिए <math>f_i</math>, हम किसी दिए गए के अनुरूप एक निरपेक्ष मान परिभाषित कर सकते हैं <math>p</math>-विशेष रूप से अघुलनशील कारक <math>f_i</math> डिग्री का <math>m</math> द्वारा<math display="block">|y|_{f_i} = |N_{f_i}(y)|_p^{1/m}</math>ऐसे निरपेक्ष मान को [[अल्ट्रामेट्रिक]], गैर-आर्किमिडीयन या कहा जाता है <math>p</math>-का आदि स्थान {{nowrap|<math>K</math>.}}
+गैर-आर्किमिडीयन समष्टियों को खोजने के लिए, <math>f</math> और <math>x</math> ऊपर जैसा हो. में {{nowrap|<math>\mathbb{Q}_p </math>,}} <math>f</math> विभिन्न डिग्री के कारकों में विभाजन, जिनमें से कोई भी दोहराया नहीं जाता है, और जिनकी डिग्री जुड़ती है {{nowrap|<math>n</math>,}} की डिग्री {{nowrap|<math>f</math>.}} इनमें से प्रत्येक के लिए <math>p</math>-विशेष रूप से अघुलनशील कारक {{nowrap|<math>f_i</math>,}} हम ऐसा मान सकते हैं <math>x</math> संतुष्ट <math>f_i</math> और एक एम्बेडिंग प्राप्त करें <math>K</math> परिमित डिग्री के बीजगणितीय विस्तार में {{nowrap|<math>\mathbb{Q}_p</math>.}} ऐसा [[स्थानीय क्षेत्र|समष्टिीय क्षेत्र]] कई तरह से संख्या क्षेत्र की तरह व्यवहार करता है, और <math>p</math>-आदिक संख्याएँ इसी प्रकार परिमेय की भूमिका निभा सकती हैं; विशेष रूप से, हम मानक को परिभाषित कर सकते हैं और ठीक उसी तरह ट्रेस कर सकते हैं, अब फलन मैपिंग दे रहे हैं {{nowrap|<math>\mathbb{Q}_p </math>.}} इसका उपयोग करके <math>p</math>- अर्थात सामान्य नक्शा <math>N_{f_i}</math> जगह के लिए <math>f_i</math>, हम किसी दिए गए के अनुरूप एक निरपेक्ष मान परिभाषित कर सकते हैं <math>p</math>-विशेष रूप से अघुलनशील कारक <math>f_i</math> डिग्री का <math>m</math> द्वारा<math display="block">|y|_{f_i} = |N_{f_i}(y)|_p^{1/m}</math>ऐसे निरपेक्ष मान को [[अल्ट्रामेट्रिक]], गैर-आर्किमिडीयन या कहा जाता है <math>p</math>-का आदि समष्टि {{nowrap|<math>K</math>.}}
-किसी भी अल्ट्रामेट्रिक स्थान v के लिए हमारे पास वह |x| है<sub>''v''</sub> ≤ 1 किसी भी x इंच के लिए {{nowrap|<math>\mathcal{O}_K</math>,}} चूँकि x के लिए न्यूनतम बहुपद में पूर्णांक गुणनखंड होते हैं, और इसलिए इसके p-एडिक गुणनखंड में 'Z' में गुणनखंड होते हैं<sub>''p''</sub>. नतीजतन, प्रत्येक कारक के लिए मानक पद (स्थिर पद) एक पी-एडिक पूर्णांक है, और इनमें से एक पूर्णांक है जिसका उपयोग वी के लिए निरपेक्ष मान को परिभाषित करने के लिए किया जाता है।
+किसी भी अल्ट्रामेट्रिक समष्टि v के लिए हमारे पास वह |x| है<sub>''v''</sub> ≤ 1 किसी भी x इंच के लिए {{nowrap|<math>\mathcal{O}_K</math>,}} चूँकि x के लिए न्यूनतम बहुपद में पूर्णांक गुणनखंड होते हैं, और इसलिए इसके p-एडिक गुणनखंड में 'Z' में गुणनखंड होते हैं<sub>''p''</sub>. नतीजतन, प्रत्येक कारक के लिए मानक पद (स्थिर पद) एक पी-एडिक पूर्णांक है, और इनमें से एक पूर्णांक है जिसका उपयोग वी के लिए निरपेक्ष मान को परिभाषित करने के लिए किया जाता है।
-===ओ में प्रमुख आदर्श<sub>K</sub>===
+=== ''O<sub>K</sub>'' के प्रमुख आदर्श ===
-एक अल्ट्रामेट्रिक स्थान v के लिए, का उपसमुच्चय <math>\mathcal{O}_K</math> |x| द्वारा परिभाषित<sub>''v''</sub> <1 एक आदर्श है (रिंग सिद्धांत) <math>\mathfrak{p}</math> का {{nowrap|<math>\mathcal{O}_K</math>.}} यह v की अल्ट्रामेट्रिकिटी पर निर्भर करता है: इसमें x और y दिया गया है {{nowrap|<math>\mathfrak{p}</math>,}} तब
+एक अल्ट्रामेट्रिक समष्टि v के लिए, का उपसमुच्चय <math>\mathcal{O}_K</math> |x| द्वारा परिभाषित<sub>''v''</sub> <1 एक आदर्श है  <math>\mathfrak{p}</math> का {{nowrap|<math>\mathcal{O}_K</math>.}} यह v की अल्ट्रामेट्रिकिटी पर निर्भर करता है: इसमें x और y दिया गया है {{nowrap|<math>\mathfrak{p}</math>,}} तब
 :|x + y|<sub>''v''</sub> ≤ अधिकतम (|x|<sub>''v''</sub>, |और|<sub>''v''</sub>) <1.
 वास्तव में, <math>\mathfrak{p}</math> यहां तक कि एक प्रमुख आदर्श भी है.
-इसके विपरीत, एक प्रमुख आदर्श दिया गया <math>\mathfrak{p}</math> का {{nowrap|<math>\mathcal{O}_K</math>,}} एक [[अलग मूल्यांकन]] को सेटिंग द्वारा परिभाषित किया जा सकता है <math>v_\mathfrak{p}(x) = n</math> जहाँ n ऐसा सबसे बड़ा पूर्णांक है {{nowrap|<math>x \in \mathfrak{p}^n</math>,}} आदर्श की एन-गुना शक्ति। इस मूल्यांकन को अल्ट्रामेट्रिक स्थान में बदला जा सकता है। इस पत्राचार के अंतर्गत, (समतुल्यता वर्ग) के अल्ट्रामेट्रिक स्थानों का <math>K</math> के प्रमुख आदर्शों के अनुरूप है {{nowrap|<math> \mathcal{O}_K</math>.}} के लिए {{nowrap|<math>K = \mathbb{Q}</math>,}} यह ओस्ट्रोव्स्की के प्रमेय को वापस देता है: Z में कोई भी अभाज्य आदर्श (जो आवश्यक रूप से एक अभाज्य संख्या से होता है) एक गैर-आर्किमिडीयन स्थान से मेल खाता है और इसके विपरीत। हालाँकि, अधिक सामान्य संख्या फ़ील्ड के लिए, स्थिति अधिक उलझी हुई हो जाती है, जैसा कि नीचे बताया जाएगा।
+इसके विपरीत, एक प्रमुख आदर्श दिया गया <math>\mathfrak{p}</math> का {{nowrap|<math>\mathcal{O}_K</math>,}} एक [[अलग मूल्यांकन]] को समुच्चयिंग द्वारा परिभाषित किया जा सकता है <math>v_\mathfrak{p}(x) = n</math> जहाँ n ऐसा सबसे बड़ा पूर्णांक है {{nowrap|<math>x \in \mathfrak{p}^n</math>,}} आदर्श की एन-गुना शक्ति। इस मूल्यांकन को अल्ट्रामेट्रिक समष्टि में बदला जा सकता है। इस पत्राचार के अंतर्गत, (समतुल्यता वर्ग) के अल्ट्रामेट्रिक समष्टियों का <math>K</math> के प्रमुख आदर्शों के अनुरूप है {{nowrap|<math> \mathcal{O}_K</math>.}} के लिए {{nowrap|<math>K = \mathbb{Q}</math>,}} यह ओस्ट्रोव्स्की के प्रमेय को वापस देता है: Z में कोई भी अभाज्य आदर्श (जो आवश्यक रूप से एक अभाज्य संख्या से होता है) एक गैर-आर्किमिडीयन समष्टि से मेल खाता है और इसके विपरीत। यद्यपि, अधिक सामान्य संख्या क्षेत्र के लिए, स्थिति अधिक उलझी हुई हो जाती है, जैसा कि नीचे बताया जाएगा।
-अल्ट्रामेट्रिक स्थानों का वर्णन करने का एक और समकक्ष तरीका रिंग के स्थानीयकरण के माध्यम से है {{nowrap|<math>\mathcal{O}_K</math>.}} एक अल्ट्रामेट्रिक स्थान दिया गया <math>v</math> एक संख्या फ़ील्ड पर {{nowrap|<math>K</math>,}} संगत स्थानीयकरण सबरिंग है <math>T</math> का <math>K</math> सभी तत्वों का <math>x</math> ऐसा कि | एक्स |<sub>''v''</sub> ≤ 1. अल्ट्रामेट्रिक गुण द्वारा <math>T</math> एक अंगूठी है. इसके अलावा, इसमें शामिल है {{nowrap|<math>\mathcal{O}_K</math>.}} प्रत्येक तत्व x के लिए {{nowrap|<math>K</math>,}} x या x में से कम से कम एक<sup>−1</sup>में समाहित है {{nowrap|<math>T</math>.}}दरअसल, चूंकि के<sup>×</sup>/टी<sup>×</sup> को पूर्णांकों के समरूपी दिखाया जा सकता है, <math>T</math> एक अलग मूल्यांकन रिंग है, विशेष रूप से एक स्थानीय रिंग। वास्तव में, <math>T</math> का स्थानीयकरण मात्र है <math>\mathcal{O}_K</math> प्रमुख आदर्श पर {{nowrap|<math>\mathfrak{p}</math>,}} इसलिए {{nowrap|<math>T = \mathcal{O}_{K,\mathfrak{p}}</math>.}} इसके विपरीत, <math>\mathfrak{p}</math> का अधिकतम आदर्श है {{nowrap|<math>T</math>.}}
+अल्ट्रामेट्रिक समष्टियों का वर्णन करने का एक और समकक्ष तरीका रिंग के समष्टिीयकरण के माध्यम से है {{nowrap|<math>\mathcal{O}_K</math>.}} एक अल्ट्रामेट्रिक समष्टि दिया गया <math>v</math> एक संख्या क्षेत्र पर {{nowrap|<math>K</math>,}} संगत समष्टिीयकरण सबरिंग है <math>T</math> का <math>K</math> सभी तत्वों का <math>x</math> ऐसा कि | x |<sub>''v''</sub> ≤ 1. अल्ट्रामेट्रिक गुण द्वारा <math>T</math> एक चक्र है. इसके अतिरिक्त, इसमें सम्मिलित है {{nowrap|<math>\mathcal{O}_K</math>.}} प्रत्येक तत्व x के लिए {{nowrap|<math>K</math>,}} x या x में से कम से कम एक<sup>−1</sup>में समाहित है {{nowrap|<math>T</math>.}}दरअसल, चूंकि के<sup>×</sup>/टी<sup>×</sup> को पूर्णांकों के समरूपी दिखाया जा सकता है, <math>T</math> एक अलग मूल्यांकन रिंग है, विशेष रूप से एक समष्टिीय रिंग। वास्तव में, <math>T</math> का समष्टिीयकरण मात्र है <math>\mathcal{O}_K</math> प्रमुख आदर्श पर {{nowrap|<math>\mathfrak{p}</math>,}} इसलिए {{nowrap|<math>T = \mathcal{O}_{K,\mathfrak{p}}</math>.}} इसके विपरीत, <math>\mathfrak{p}</math> का अधिकतम आदर्श है {{nowrap|<math>T</math>.}}
-कुल मिलाकर, किसी संख्या क्षेत्र पर अल्ट्रामेट्रिक निरपेक्ष मानों, अभाज्य आदर्शों और स्थानीयकरणों के बीच तीन-तरफा तुल्यता होती है।
+कुल मिलाकर, किसी संख्या क्षेत्र पर अल्ट्रामेट्रिक निरपेक्ष मानों, अभाज्य आदर्शों और समष्टिीयकरणों के बीच तीन-तरफा तुल्यता होती है।
-==== प्रमेय और स्थानों पर झूठ बोलना ====
+==== प्रमेय और समष्टियों पर  लाइइंग ====
-बीजगणितीय संख्या सिद्धांत में कुछ बुनियादी प्रमेय हैं [[ऊपर जाना और नीचे जाना]], जो कुछ प्रमुख आदर्शों के व्यवहार का वर्णन करते हैं <math>\mathfrak{p} \in \text{Spec}(\mathcal{O}_K)</math> जब इसे एक आदर्श के रूप में विस्तारित किया जाता है <math>\mathcal{O}_L</math> कुछ फ़ील्ड एक्सटेंशन के लिए {{nowrap|<math>L/K</math>.}} हम कहते हैं कि एक आदर्श <math>\mathfrak{o} \subset \mathcal{O}_L</math> पर पड़ा है <math>\mathfrak{p}</math> अगर {{nowrap|<math>\mathfrak{o}\cap\mathcal{O}_K = \mathfrak{p}</math>.}} फिर, प्रमेय का एक अवतार एक प्रमुख आदर्श बताता है <math>\text{Spec}(\mathcal{O}_L)</math> पर पड़ा है {{nowrap|<math>\mathfrak{p}</math>,}} इसलिए हमेशा एक विशेषण मानचित्र होता है<math display="block">\text{Spec}(\mathcal{O}_L) \to \text{Spec}(\mathcal{O}_K)</math>समावेशन से प्रेरित {{nowrap|<math>\mathcal{O}_K \hookrightarrow \mathcal{O}_L</math>.}} चूँकि स्थानों और प्रमुख आदर्शों के बीच एक पत्राचार मौजूद है, इसका मतलब है कि हम किसी स्थान को विभाजित करने वाले स्थान पा सकते हैं जो एक क्षेत्र विस्तार से प्रेरित है। अर्थात यदि <math>p</math> का एक स्थान है {{nowrap|<math>K</math>,}} फिर जगहें हैं <math>v</math> का <math>L</math> जो विभाजित करते हैं {{nowrap|<math>p</math>,}} इस अर्थ में कि उनके प्रेरित प्रधान आदर्श, प्रेरित प्रधान आदर्श को विभाजित करते हैं <math>p</math> में {{nowrap|<math>\text{Spec}(\mathcal{O}_L)</math>.}}
+बीजगणितीय संख्या सिद्धांत में कुछ आधारभूत प्रमेय हैं [[ऊपर जाना और नीचे जाना]], जो कुछ प्रमुख आदर्शों के व्यवहार का वर्णन करते हैं <math>\mathfrak{p} \in \text{Spec}(\mathcal{O}_K)</math> जब इसे एक आदर्श के रूप में विस्तारित किया जाता है <math>\mathcal{O}_L</math> कुछ क्षेत्र विस्तार के लिए {{nowrap|<math>L/K</math>.}} हम कहते हैं कि एक आदर्श <math>\mathfrak{o} \subset \mathcal{O}_L</math> पर पड़ा है <math>\mathfrak{p}</math> अगर {{nowrap|<math>\mathfrak{o}\cap\mathcal{O}_K = \mathfrak{p}</math>.}} फिर, प्रमेय का एक अवतार एक प्रमुख आदर्श बताता है <math>\text{Spec}(\mathcal{O}_L)</math> पर पड़ा है {{nowrap|<math>\mathfrak{p}</math>,}} इसलिए सदैव एक विशेषण मानचित्र होता है<math display="block">\text{Spec}(\mathcal{O}_L) \to \text{Spec}(\mathcal{O}_K)</math>समावेशन से प्रेरित {{nowrap|<math>\mathcal{O}_K \hookrightarrow \mathcal{O}_L</math>.}} चूँकि समष्टियों और प्रमुख आदर्शों के बीच एक पत्राचार मौजूद है, इसका मतलब है कि हम किसी समष्टि को विभाजित करने वाले समष्टि पा सकते हैं जो एक क्षेत्र विस्तार से प्रेरित है। अर्थात यदि <math>p</math> का एक समष्टि है {{nowrap|<math>K</math>,}} फिर जगहें हैं <math>v</math> का <math>L</math> जो विभाजित करते हैं {{nowrap|<math>p</math>,}} इस अर्थ में कि उनके प्रेरित प्रधान आदर्श, प्रेरित प्रधान आदर्श को विभाजित करते हैं <math>p</math> में {{nowrap|<math>\text{Spec}(\mathcal{O}_L)</math>.}}
-वस्तुतः यह अवलोकन उपयोगी है<ref name=":0" /><sup>पृष्ठ 13</sup> बीजीय क्षेत्र विस्तार के आधार परिवर्तन को देखते हुए <math>\mathbb{Q}</math> इसके पूर्ण होने में से एक के लिए {{nowrap|<math>\mathbb{Q}_p</math>.}}अगर हम लिखते हैं<math display="block">K = \frac{\mathbb{Q}[X]}{Q(X)}</math>और लिखा <math>\theta</math> के प्रेरित तत्व के लिए {{nowrap|<math>X \in K</math>,}} हमें इसका अपघटन प्राप्त होता है {{nowrap|<math>K\otimes_\mathbb{Q}\mathbb{Q}_p</math>.}}स्पष्ट रूप से, यह अपघटन है<math display="block">\begin{align}
+वस्तुतः यह अवलोकन उपयोगी है<ref name=":0" /><sup>पृष्ठ 13</sup> बीजीय क्षेत्र विस्तार के आधार परिवर्तन को देखते हुए <math>\mathbb{Q}</math> इसके पूर्ण होने में से एक के लिए {{nowrap|<math>\mathbb{Q}_p</math>.}}अगर हम लिखते हैं<math display="block">K = \frac{\mathbb{Q}[X]}{Q(X)}</math>और  <math>\theta</math> के प्रेरित तत्व के लिए {{nowrap|<math>X \in K</math>,}} हमें इसका अपघटन प्राप्त होता है {{nowrap|<math>K\otimes_\mathbb{Q}\mathbb{Q}_p</math>.}}स्पष्ट रूप से, यह अपघटन है<math display="block">\begin{align}
 K\otimes_\mathbb{Q}\mathbb{Q}_p &= \frac{\mathbb{Q}[X]}{Q(X)}\otimes_\mathbb{Q}\mathbb{Q}_p\\
 &= \frac{\mathbb{Q}_p[X]}{Q(X)}
-\end{align}</math>इसके अलावा, प्रेरित बहुपद <math>Q(X) \in \mathbb{Q}_p[X]</math> के रूप में विघटित होता है<math display="block">Q(X) = \prod_{v|p}Q_v</math>हेंसल लेम्मा के कारण<ref>{{Cite book|last=Neukirch|first=Jürgen|url=https://www.worldcat.org/oclc/851391469|title=बीजगणितीय संख्या सिद्धांत|date=1999|publisher=Springer Berlin Heidelberg|isbn=978-3-662-03983-0|location=Berlin, Heidelberg|oclc=851391469}}</ref><sup>पृष्ठ 129-131</sup>, इसलिए<math display="block">\begin{align}
+\end{align}</math>इसके अतिरिक्त, प्रेरित बहुपद <math>Q(X) \in \mathbb{Q}_p[X]</math> के रूप में विघटित होता है<math display="block">Q(X) = \prod_{v|p}Q_v</math>हेंसल लेम्मा के कारण<ref>{{Cite book|last=Neukirch|first=Jürgen|url=https://www.worldcat.org/oclc/851391469|title=बीजगणितीय संख्या सिद्धांत|date=1999|publisher=Springer Berlin Heidelberg|isbn=978-3-662-03983-0|location=Berlin, Heidelberg|oclc=851391469}}</ref><sup>पृष्ठ 129-131</sup>, इसलिए<math display="block">\begin{align}
 K\otimes_\mathbb{Q}\mathbb{Q}_p &\cong \frac{
 \mathbb{Q}_p[X]
@@ Line 223: / Line 223: @@
 \\&\cong \bigoplus_{v|p}K_v
-\end{align}</math>इसके अलावा, एम्बेडिंग भी हैं<math display="block">\begin{align}
+\end{align}</math>इसके अतिरिक्त, एम्बेडिंग भी हैं<math display="block">\begin{align}
 i_v:&K \to K_v \\
 & \theta \mapsto \theta_v
-\end{align}</math>कहाँ <math>\theta_v</math> की जड़ है <math>Q_v</math> दे रही है <math>K_v = \mathbb{Q}_p(\theta_v)</math>, इसलिए हम लिख सके<math display="block">K_v = i_v(K)\mathbb{Q}_p </math>के उपसमुच्चय के रूप में <math>\mathbb{C}_p</math> (जो कि बीजगणितीय समापन का समापन है {{nowrap|<math> \mathbb{Q}_p</math>).}}
+\end{align}</math>जहाँ <math>\theta_v</math> की वर्गमूल है <math>Q_v</math>, <math>K_v = \mathbb{Q}_p(\theta_v)</math> को प्रदर्शित करता है, इसलिए हम लिख सकते है कि<math display="block">K_v = i_v(K)\mathbb{Q}_p </math>के उपसमुच्चय के रूप में  <math>\mathbb{C}_p</math> बीजगणितीय समापन का समापन है।
 ==रामीकरण==
-[[Image:Schematic depiction of ramification.svg|right|thumb|300px|प्रभाव का योजनाबद्ध चित्रण: नीचे Y में लगभग सभी बिंदुओं के तंतुओं में तीन बिंदु होते हैं, Y में बिंदुओं से चिह्नित दो बिंदुओं को छोड़कर, जहां तंतुओं में क्रमशः एक और दो बिंदु (काले रंग में चिह्नित) होते हैं। कहा जाता है कि मानचित्र f, Y के इन बिंदुओं में फैला हुआ है।]]रेमिफिकेशन (गणित), आम तौर पर बोलना, एक ज्यामितीय घटना का वर्णन करता है जो परिमित-से-एक मानचित्रों (अर्थात, मानचित्रों) के साथ घटित हो सकता है <math>f:X\to Y</math> जैसे कि Y में सभी बिंदुओं की [[पूर्वछवि]]याँ केवल सीमित रूप से कई बिंदुओं से बनी होती हैं): फाइबर की कार्डिनैलिटी (गणित) f<sup>−1</sup>(y) में आम तौर पर अंकों की संख्या समान होगी, लेकिन ऐसा होता है कि, विशेष बिंदुओं y में, यह संख्या कम हो जाती है। उदाहरण के लिए, मानचित्र
+[[Image:Schematic depiction of ramification.svg|right|thumb|300px|प्रभाव का योजनाबद्ध चित्रण: नीचे Y में लगभग सभी बिंदुओं के तंतुओं में तीन बिंदु होते हैं, Y में बिंदुओं से चिह्नित दो बिंदुओं को छोड़कर, जहां तंतुओं में क्रमशः एक और दो बिंदु (काले रंग में चिह्नित) होते हैं। कहा जाता है कि मानचित्र f, Y के इन बिंदुओं में विस्तारित है।]]रेमिफिकेशन, सामान्यतः  एक ज्यामितीय घटना का वर्णन करता है जो परिमित-से-एक मानचित्रों (अर्थात, मानचित्रों) के साथ घटित हो सकता है <math>f:X\to Y</math> जैसे कि Y में सभी बिंदुओं की [[पूर्वछवि]]याँ केवल सीमित रूप से कई बिंदुओं से बनी होती हैं): फाइबर की कार्डिनैलिटी (गणित) f<sup>−1</sup>(y) में सामान्यतः अंकों की संख्या समान होगी, परंतु ऐसा होता है कि, विशेष बिंदुओं y में, यह संख्या कम हो जाती है। उदाहरण के लिए, मानचित्र
 :<math>\Complex \to \Complex , z \mapsto z^n</math>
-प्रत्येक फाइबर में t के ऊपर n बिंदु होते हैं, अर्थात् t की n (जटिल) जड़ें, t = 0 को छोड़कर, जहां फाइबर में केवल एक तत्व होता है, z = 0. एक का कहना है कि मानचित्र शून्य में फैला हुआ है। यह [[रीमैन सतह]]ों के [[शाखित आवरण]] का एक उदाहरण है। यह अंतर्ज्ञान गैलोज़ एक्सटेंशन में प्रमुख आदर्शों के विभाजन को परिभाषित करने का भी कार्य करता है। संख्या क्षेत्रों का (आवश्यक रूप से सीमित) विस्तार दिया गया है <math>K/L</math>, का एक प्रमुख आदर्श पी <math>\mathcal{O}_L</math> आदर्श pO उत्पन्न करता है<sub>''K''</sub> का {{nowrap|<math>\mathcal{O}_K </math>.}} यह आदर्श एक प्रमुख आदर्श हो भी सकता है और नहीं भी, लेकिन, लास्कर-नोएदर प्रमेय (ऊपर देखें) के अनुसार, हमेशा द्वारा दिया जाता है
+प्रत्येक फाइबर में t के ऊपर n बिंदु होते हैं, अर्थात् t की n वर्ग मूल, t = 0 को छोड़कर, जहां फाइबर में केवल एक तत्व होता है, z = 0. एक का कहना है कि मानचित्र शून्य में विस्तारित है। यह [[रीमैन सतह]]ों के [[शाखित आवरण]] का एक उदाहरण है। यह अंतर्ज्ञान गैलोज़ विस्तार में प्रमुख आदर्शों के विभाजन को परिभाषित करने का भी कार्य करता है। संख्या क्षेत्रों का (आवश्यक रूप से सीमित) विस्तार दिया गया है <math>K/L</math>, का एक प्रमुख आदर्श पी <math>\mathcal{O}_L</math> आदर्श pO उत्पन्न करता है<sub>''K''</sub> का {{nowrap|<math>\mathcal{O}_K </math>.}} यह आदर्श एक प्रमुख आदर्श हो भी सकता है और नहीं भी, परंतु, लास्कर-नोएदर प्रमेय  के अनुसार, सदैव द्वारा दिया जाता है
-:पीओ<sub><math>K</math></sub> = क्यू<sub>1</sub><sup>e<sub>1</sub></sup> प्र<sub>2</sub><sup>e<sub>2</sub></sup> ⋯ q<sub>''m''</sub><sup>e<sub>''m''</sub></सुपर>
+:''pO'' = ''q''<sub>1</sub><sup>''e''<sub>1</sub></sup> ''q''<sub>2</sub><sup>''e''<sub>2</sub></sup> ⋯ ''q<sub>m</sub><sup>e<sub>m</sub></sup>''
-विशिष्ट रूप से निर्धारित प्रमुख आदर्शों के साथ q<sub>''i''</sub> का <math>\mathcal{O}_K</math> और संख्याएं (जिन्हें प्रभाव सूचकांक कहा जाता है) ई<sub>''i''</sub>. जब भी एक प्रभाव सूचकांक एक से बड़ा होता है, तो प्राइम पी को इसमें प्रभाव डालने वाला कहा जाता है {{nowrap|<math>K</math>.}}
+विशिष्ट रूप से निर्धारित प्रमुख आदर्शों के साथ q<sub>''i''</sub> का <math>\mathcal{O}_K</math> और संख्याएं (जिन्हें प्रभाव सूचकांक कहा जाता है) e<sub>''i''</sub>. जब भी एक प्रभाव सूचकांक एक से बड़ा होता है, तो प्राइम p को इसमें प्रभाव डालने वाला कहा जाता है।
-इस परिभाषा और ज्यामितीय स्थिति के बीच संबंध छल्ले के छल्ले के स्पेक्ट्रम के मानचित्र द्वारा दिया गया है {{nowrap|<math>\mathrm{Spec}\mathcal{O}_K \to \mathrm{Spec}\mathcal{O}_L</math>.}} वास्तव में, [[बीजगणितीय ज्यामिति]] में [[योजना (गणित)]] के असंबद्ध आकारिकी संख्या क्षेत्रों के असंबद्ध विस्तार का प्रत्यक्ष सामान्यीकरण है।
+इस परिभाषा और ज्यामितीय स्थिति के बीच संबंध चक्र के स्पेक्ट्रम के मानचित्र द्वारा दिया गया है {{nowrap|<math>\mathrm{Spec}\mathcal{O}_K \to \mathrm{Spec}\mathcal{O}_L</math>.}} वास्तव में, [[बीजगणितीय ज्यामिति]] में [[योजना (गणित)|योजना]] के असंबद्ध आकारिकी संख्या क्षेत्रों के असंबद्ध विस्तार का प्रत्यक्ष सामान्यीकरण है।
-रामीकरण एक पूरी तरह से स्थानीय संपत्ति है, यानी, केवल प्राइम पी और क्यू के आसपास पूर्णता पर निर्भर करता है<sub>''i''</sub>. [[जड़ता समूह]] किसी स्थान पर स्थानीय गैलोज़ समूहों और शामिल परिमित अवशेष क्षेत्रों के गैलोज़ समूहों के बीच अंतर को मापता है।
+रामीकरण एक पूरी तरह से समष्टिीय संपत्ति है, अर्थात, केवल प्राइम पी और क्यू के आसपास पूर्णता पर निर्भर करता है<sub>''i''</sub>. [[जड़ता समूह]] किसी समष्टि पर समष्टिीय गैलोज़ समूहों और सम्मिलित परिमित अवशेष क्षेत्रों के गैलोज़ समूहों के बीच अंतर को मापता है।
 ===एक उदाहरण===
-निम्नलिखित उदाहरण ऊपर प्रस्तुत धारणाओं को दर्शाता है। के प्रभाव सूचकांक की गणना करने के लिए {{nowrap|<math>\mathbb{Q}(x)</math>,}} कहाँ
+निम्नलिखित उदाहरण ऊपर प्रस्तुत धारणाओं को दर्शाता है। के प्रभाव सूचकांक की गणना करने के लिए {{nowrap|<math>\mathbb{Q}(x)</math>,}} जहाँ
 :f(x) = x<sup>3</sup> − x − 1 = 0,
-पर, फ़ील्ड विस्तार पर विचार करना पर्याप्त है {{nowrap|<math>\mathbb{Q}_{23}(x) / \mathbb{Q}_{23}</math>.}} 529 तक = 23<sup>2</sup> (अर्थात, [[मॉड्यूलर अंकगणित]] 529) f को इस प्रकार गुणनखंडित किया जा सकता है
+पर, {{nowrap|<math>\mathbb{Q}_{23}(x) / \mathbb{Q}_{23}</math>.}} क्षेत्र विस्तार पर विचार करना पर्याप्त है  529 तक = 23<sup>2</sup> (अर्थात, [[मॉड्यूलर अंकगणित]] 529) f को इस प्रकार गुणनखंडित किया जा सकता है
 :f(x) = (x + 181)(x<sup>2</sup> − 181x − 38) = gh.
-स्थानापन्न {{nowrap|1=''x'' = ''y'' + 10}} पहले कारक में g मॉड्यूलो 529 से y + 191 प्राप्त होता है, इसलिए मूल्यांकन | y |<sub>''g''</sub> y के लिए g द्वारा दिया गया | है −191 |<sub>23</sub> = 1. दूसरी ओर, h में समान प्रतिस्थापन प्राप्त होता है {{nowrap|''y''<sup>2</sup> − 161''y'' − 161 modulo 529.}} चूँकि 161 = 7 × 23,
+समष्टिापन्न {{nowrap|1=''x'' = ''y'' + 10}} पहले कारक में g मॉड्यूलो 529 से y + 191 प्राप्त होता है, इसलिए मूल्यांकन | y |<sub>''g''</sub> y के लिए g द्वारा दिया गया है −191 |<sub>23</sub> = 1. दूसरी ओर, चूँकि 161 = 7 × 23 है तो h में समान प्रतिस्थापन {{nowrap|''y''<sup>2</sup> − 161''y'' − 161 modulo 529.}} प्राप्त होता है।
 :<math>\left\vert y \right\vert_h = \sqrt{\left\vert 161 \right\vert }_{23} = \frac{ 1 }{ \sqrt{23} }</math>
-चूँकि कारक h द्वारा परिभाषित स्थान के निरपेक्ष मान के संभावित मान 23 की पूर्णांक घातों तक सीमित नहीं हैं, बल्कि 23 के वर्गमूल की पूर्णांक घातें हैं, 23 पर क्षेत्र विस्तार का प्रभाव सूचकांक दो है।
+चूँकि कारक h द्वारा परिभाषित समष्टि के निरपेक्ष मान के संभावित मान 23 की पूर्णांक घातों तक सीमित नहीं हैं, बल्कि 23 के वर्गमूल की पूर्णांक घातें हैं, 23 पर क्षेत्र विस्तार का प्रभाव सूचकांक दो है।
-के किसी भी तत्व का मूल्यांकन <math>K</math> परिणामों का उपयोग करके इस तरह से गणना की जा सकती है। यदि, उदाहरण के लिए y = x<sup>2</sup> − x − 1, इस संबंध और f = x के बीच x को हटाने के लिए परिणामी का उपयोग करें<sup>3</sup> − x − 1 = 0 देता है {{nowrap|1=''y''<sup>3</sup> − 5''y''<sup>2</sup> + 4''y'' − 1 = 0}}. यदि इसके बजाय हम f के कारकों g और h के संबंध में हटा देते हैं, तो हम y के लिए बहुपद के लिए संबंधित कारक प्राप्त करते हैं, और फिर स्थिर (मानक) पद पर लागू 23-एडिक मूल्यांकन हमें y के मूल्यांकन की गणना करने की अनुमति देता है। g और h (जो इस उदाहरण में दोनों 1 हैं।)
+के किसी भी तत्व का मूल्यांकन <math>K</math> परिणामों का उपयोग करके इस तरह से गणना की जा सकती है। यदि, उदाहरण के लिए y = x<sup>2</sup> − x − 1, इस संबंध और f = x के बीच x को हटाने के लिए परिणामी x<sup>3</sup> − x − 1 = 0 देता है {{nowrap|1=''y''<sup>3</sup> − 5''y''<sup>2</sup> + 4''y'' − 1 = 0}}. यदि इसके अतिरिक्त हम f के कारकों g और h के संबंध में हटा देते हैं, तो हम y के लिए बहुपद के लिए संबंधित कारक प्राप्त करते हैं, और फिर स्थिर पद पर लागू 23-एडिक मूल्यांकन हमें y के साथ g और h (जो इस उदाहरण में दोनों 1 हैं) के मूल्यांकन की गणना करने की अनुमति देता है।
 ===डेडेकाइंड विभेदक प्रमेय===
-विभेदक का अधिकांश महत्व इस तथ्य में निहित है कि व्यापक अल्ट्रामेट्रिक स्थान वे सभी स्थान हैं जो गुणनखंडन से प्राप्त होते हैं <math>\mathbb{Q}_p</math> जहाँ p विभेदक को विभाजित करता है। यह बहुपद विभेदक के लिए भी सच है; हालाँकि इसका विपरीत भी सत्य है, कि यदि एक अभाज्य p विभेदक को विभाजित करता है, तो एक p-स्थान होता है जो प्रभाव डालता है। इस वार्तालाप के लिए क्षेत्र विवेचक की आवश्यकता है। यह 'डेडेकाइंड विभेदक प्रमेय' है। उपरोक्त उदाहरण में, संख्या क्षेत्र का विभेदक <math>\mathbb{Q}(x)</math> एक्स के साथ<sup>3</sup> − x − 1 = 0 −23 है, और जैसा कि हमने देखा है 23-एडिक स्थान प्रभाव डालता है। डेडेकाइंड विवेचक हमें बताता है कि यह एकमात्र अल्ट्रामेट्रिक स्थान है जो ऐसा करता है। अन्य प्रभावशाली स्थान जटिल एम्बेडिंग पर पूर्ण मूल्य से आता है <math>K</math>.
+विभेदक का अधिकांश महत्व इस तथ्य में निहित है कि व्यापक अल्ट्रामेट्रिक समष्टि वे सभी समष्टि हैं जो गुणनखंडन से प्राप्त होते हैं <math>\mathbb{Q}_p</math> जहाँ p विभेदक को विभाजित करता है। यह बहुपद विभेदक के लिए भी सच है; यद्यपि इसका विपरीत भी सत्य है, कि यदि एक अभाज्य p विभेदक को विभाजित करता है, तो एक p-समष्टि होता है जो प्रभाव डालता है। इस वार्तालाप के लिए क्षेत्र विवेचक की आवश्यकता है। यह 'डेडेकाइंड विभेदक प्रमेय' है। उपरोक्त उदाहरण में, संख्या क्षेत्र का विभेदक <math>\mathbb{Q}(x)</math>  के साथ ''x''<sup>3</sup> − ''x'' − 1 = 0, −23 है, और जैसा कि हमने देखा है 23-एडिक समष्टि प्रभाव डालता है। डेडेकाइंड विवेचक हमें बताता है कि यह एकमात्र अल्ट्रामेट्रिक समष्टि है जो ऐसा करता है। अन्य प्रभावशाली समष्टि जटिल एम्बेडिंग पर पूर्ण मान <math>K</math> से आता है।
-==[[गैलोइस समूह]] और गैलोइस कोहोमोलॉजी==
+==[[गैलोइस समूह]] तथा गैलोइस सह समरूपता==
-आम तौर पर अमूर्त बीजगणित में, फ़ील्ड एक्सटेंशन के / एल का अध्ययन गैलोज़ समूह गैल (के / एल) की जांच करके किया जा सकता है, जिसमें फ़ील्ड ऑटोमोर्फिज्म शामिल हैं <math>K</math> छोड़कर <math>L</math> तत्ववार तय किया गया। उदाहरण के तौर पर, गैलोज़ समूह <math>\mathrm{Gal}(\mathbb{Q}(\zeta_n) / \mathbb{Q})</math> डिग्री n के साइक्लोटोमिक क्षेत्र विस्तार (ऊपर देखें) द्वारा दिया गया है ('Z'/n'Z')<sup>×</sup>, Z/''n''Z में उलटे तत्वों का समूह। यह [[इवासावा सिद्धांत]] में पहला कदम है।
+सामान्यतः अमूर्त बीजगणित में, क्षेत्र विस्तार के / एल का अध्ययन गैलोज़ समूह गैल (के / एल) की जांच करके किया जा सकता है, जिसमें क्षेत्र ऑटोमोर्फिज्म सम्मिलित हैं <math>K</math> छोड़कर <math>L</math> तत्ववार तय किया गया। उदाहरण के तौर पर, गैलोज़ समूह <math>\mathrm{Gal}(\mathbb{Q}(\zeta_n) / \mathbb{Q})</math> डिग्री n के साइक्लोटोमिक क्षेत्र विस्तार ('Z'/n'Z')<sup>×</sup> द्वारा दिया गया है , Z/''n''Z में उलटे तत्वों का समूह स्थित है। यह [[इवासावा सिद्धांत]] में पहला चरण है।
-कुछ गुणों वाले सभी संभावित एक्सटेंशनों को शामिल करने के लिए, गैलोज़ समूह अवधारणा को आमतौर पर (अनंत) फ़ील्ड एक्सटेंशन पर लागू किया जाता है {{overline|''K''}} / [[बीजगणितीय समापन]] का K, [[पूर्ण गैलोज़ समूह]] G की ओर ले जाता है := गैल({{overline|''K''}} / K) या सिर्फ गैल (K), और विस्तार के लिए <math>K / \mathbb{Q}</math>. [[गैलोज़ सिद्धांत का मौलिक प्रमेय]] बीच के क्षेत्रों को जोड़ता है <math>K</math> और इसके बीजगणितीय समापन और गैल (K) के बंद उपसमूह। उदाहरण के लिए, [[ अबेलियनाइजेशन ]] (सबसे बड़ा एबेलियन भागफल) जी<sup>G का ab</sup> उस क्षेत्र से मेल खाता है जिसे अधिकतम [[ एबेलियन विस्तार ]] K कहा जाता है<sup>ab</sup> (ऐसा इसलिए कहा जाता है क्योंकि कोई भी आगे का विस्तार एबेलियन नहीं है, यानी, इसमें एबेलियन गैलोज़ समूह नहीं है)। क्रोनकर-वेबर प्रमेय के अनुसार, का अधिकतम एबेलियन विस्तार <math>\mathbb{Q}</math> एकता की सभी जड़ों द्वारा उत्पन्न विस्तार है। अधिक सामान्य संख्या क्षेत्रों के लिए, [[वर्ग क्षेत्र सिद्धांत]], विशेष रूप से [[आर्टिन पारस्परिकता कानून]] जी का वर्णन करके उत्तर देता है<sup>[[आदर्श वर्ग समूह]] के संदर्भ में ab</sup>। [[हिल्बर्ट वर्ग क्षेत्र]] भी उल्लेखनीय है, जो अधिकतम एबेलियन अनरेमिफाइड क्षेत्र विस्तार है <math>K</math>. इसे परिमित रूप में दिखाया जा सकता है <math>K</math>, इसका गैलोज़ समूह ख़त्म <math>K</math> के वर्ग समूह के लिए समरूपी है <math>K</math>, विशेष रूप से इसकी डिग्री वर्ग संख्या h के बराबर होती है <math>K</math> (ऊपर देखें)।
+कुछ गुणों वाले सभी संभावित विस्तारों को सम्मिलित करने के लिए, गैलोज़ समूह अवधारणा को सामान्यतः (अनंत) क्षेत्र विस्तार पर लागू किया जाता है {{overline|''K''}} / [[बीजगणितीय समापन]] का K, [[पूर्ण गैलोज़ समूह]] G की ओर ले जाता है := गैल({{overline|''K''}} / K) या सिर्फ गैल (K), और विस्तार के लिए <math>K / \mathbb{Q}</math>. [[गैलोज़ सिद्धांत का मौलिक प्रमेय]] बीच के क्षेत्रों को जोड़ता है <math>K</math> और इसके बीजगणितीय समापन और गैल (K) के बंद उपसमूह। उदाहरण के लिए, [[ अबेलियनाइजेशन |अबेलियनाइजेशन]] उस क्षेत्र से मेल खाता है जिसे अधिकतम [[ एबेलियन विस्तार ]] K कहा जाता है<sup>ab</sup> (ऐसा इसलिए कहा जाता है क्योंकि कोई भी आगे का विस्तार एबेलियन नहीं है, अर्थात, इसमें एबेलियन गैलोज़ समूह नहीं है)। क्रोनकर-वेबर प्रमेय के अनुसार, का अधिकतम एबेलियन विस्तार <math>\mathbb{Q}</math> एकता की सभी जड़ों द्वारा उत्पन्न विस्तार है। अधिक सामान्य संख्या क्षेत्रों के लिए, [[वर्ग क्षेत्र सिद्धांत]], विशेष रूप से [[आर्टिन पारस्परिकता कानून]] जी का वर्णन करके उत्तर देता है जो आदर्श वर्ग समूह के संदर्भ में ab होता है। [[हिल्बर्ट वर्ग क्षेत्र]] भी उल्लेखनीय है, जो अधिकतम एबेलियन अनरेमिफाइड क्षेत्र विस्तार है <math>K</math>. इसे परिमित रूप में दिखाया जा सकता है <math>K</math>, इसका गैलोज़ समूह ख़त्म <math>K</math> के वर्ग समूह के लिए समरूपी है <math>K</math>, विशेष रूप से इसकी डिग्री वर्ग संख्या h के बराबर होती है <math>K</math> (ऊपर देखें)।
-कुछ स्थितियों में, गैलोज़ समूह [[समूह क्रिया (गणित)]] अन्य गणितीय वस्तुओं पर, उदाहरण के लिए एक समूह। ऐसे समूह को गैलोज़ मॉड्यूल के रूप में भी जाना जाता है। यह गैलोज़ समूह गैल (K) के लिए समूह सह-समरूपता के उपयोग को सक्षम बनाता है, जिसे गैलोइस सह-समरूपता के रूप में भी जाना जाता है, जो पहले स्थान पर गैल (K)-इनवेरिएंट लेने की सटीकता की विफलता को मापता है, लेकिन गहरी अंतर्दृष्टि (और प्रश्न) प्रदान करता है। कुंआ। उदाहरण के लिए, फ़ील्ड एक्सटेंशन L/K का गैलोज़ समूह G, L पर कार्य करता है<sup>×</sup>, एल के गैर-शून्य तत्व। यह गैलोज़ मॉड्यूल कई अंकगणितीय [[द्वैत (गणित)]] में महत्वपूर्ण भूमिका निभाता है, जैसे पोइटो-टेट द्वैत। Brauer समूह {{nowrap|<math>K</math>,}} मूल रूप से [[विभाजन बीजगणित]] को वर्गीकृत करने की कल्पना की गई थी <math>K</math>, को कोहोमोलॉजी समूह के रूप में पुनर्गठित किया जा सकता है, अर्थात् एच<sup>2</sup>(गैल(के, {{overline|''K''}}<sup>×</sup>)).
+कुछ स्थितियों में, गैलोज़ समूह [[समूह क्रिया (गणित)|समूह क्रिया]] अन्य गणितीय वस्तुओं पर, उदाहरण के लिए एक समूह। ऐसे समूह को गैलोज़ मॉड्यूल के रूप में भी जाना जाता है। यह गैलोज़ समूह गैल (K) के लिए समूह सह-समरूपता के उपयोग को सक्षम बनाता है, जिसे गैलोइस सह-समरूपता के रूप में भी जाना जाता है, जो पहले समष्टि पर गैल (K)-इनवेरिएंट लेने की सटीकता की विफलता को मापता है, परंतु गहरी अंतर्दृष्टि और प्रश्न प्रदान करता है। उदाहरण के लिए, क्षेत्र विस्तार L/K का गैलोज़ समूह G<sup>×</sup>, L पर कार्य करता है। यह गैलोज़ मॉड्यूल कई अंकगणितीय [[द्वैत (गणित)|द्वैत]]  में महत्वपूर्ण भूमिका निभाता है, जैसे पोइटो-टेट द्वैत। ब्राउए समूह {{nowrap|<math>K</math>,}} मूल रूप से [[विभाजन बीजगणित]] को वर्गीकृत करने की कल्पना की गई थी। इसको सह-समरूपता समूह अर्थात् H<sup>2</sup>(Gal (''K'', ''K''<sup>×</sup>)). के रूप में पुनर्गठित किया जा सकता है।
-==स्थानीय-वैश्विक सिद्धांत==
+==समष्टिीय-वैश्विक सिद्धांत==
-आम तौर पर, स्थानीय से वैश्विक शब्द इस विचार को संदर्भित करता है कि वैश्विक समस्या पहले स्थानीय स्तर पर की जाती है, जो प्रश्नों को सरल बनाती है। फिर, निश्चित रूप से, स्थानीय विश्लेषण में प्राप्त जानकारी को किसी वैश्विक बयान पर वापस लाने के लिए एक साथ रखना होगा। उदाहरण के लिए, [[शीफ़ (गणित)]] की धारणा [[टोपोलॉजी]] और [[ज्यामिति]] में उस विचार को पुष्ट करती है।
+सामान्यतः, समष्टिीय से वैश्विक शब्द इस विचार को संदर्भित करता है कि वैश्विक समस्या पहले समष्टिीय स्तर पर की जाती है, जो प्रश्नों को सरल बनाती है। फिर, निश्चित रूप से, समष्टिीय विश्लेषण में प्राप्त जानकारी को किसी वैश्विक बयान पर वापस लाने के लिए एक साथ रखना होता है। उदाहरण के लिए, [[शीफ़ (गणित)|शीफ़]] की धारणा [[टोपोलॉजी]] और [[ज्यामिति]] में उस विचार को पुष्ट करती है।
-===स्थानीय और वैश्विक क्षेत्र===
+===समष्टिीय और वैश्विक क्षेत्र===
-संख्या फ़ील्ड, बीजगणितीय ज्यामिति में उपयोग किए जाने वाले फ़ील्ड के एक अन्य वर्ग के साथ काफी हद तक समानता साझा करते हैं, जिसे परिमित फ़ील्ड पर [[बीजगणितीय वक्र]]ों की बीजगणितीय विविधता के फ़ंक्शन फ़ील्ड के रूप में जाना जाता है। एक उदाहरण है के<sub>''p''</sub>(टी)। वे कई मायनों में समान हैं, उदाहरण के लिए संख्या वलय एक-आयामी नियमित वलय हैं, जैसे कि वक्रों के [[समन्वय वलय]] (जिनके भागफल क्षेत्र प्रश्न में फ़ंक्शन फ़ील्ड हैं) हैं। इसलिए, दोनों प्रकार के फ़ील्ड को वैश्विक फ़ील्ड कहा जाता है। ऊपर दिए गए दर्शन के अनुसार, उनका अध्ययन पहले स्थानीय स्तर पर किया जा सकता है, यानी संबंधित स्थानीय क्षेत्रों को देखकर। संख्या फ़ील्ड के लिए {{nowrap|<math>K</math>,}} स्थानीय क्षेत्र की पूर्णता हैं <math>K</math> आर्किमिडीयन सहित सभी स्थानों पर ([[स्थानीय विश्लेषण]] देखें)। फ़ंक्शन फ़ील्ड के लिए, स्थानीय फ़ील्ड फ़ंक्शन फ़ील्ड के लिए वक्र के सभी बिंदुओं पर स्थानीय रिंगों की पूर्णता हैं।
+संख्या क्षेत्र, बीजगणितीय ज्यामिति में उपयोग किए जाने वाले क्षेत्र के एक अन्य वर्ग के साथ अत्यधिक हद तक समानता साझा करते हैं, जिसे परिमित क्षेत्र पर [[बीजगणितीय वक्र]] की बीजगणितीय विविधता के फलन क्षेत्र के रूप में जाना जाता है जिसका एक उदाहरण k<sub>''p''</sub>(t) है। वे कई मायनों में समान हैं, उदाहरण के लिए संख्या वलय एक-आयामी नियमित वलय हैं, जैसे कि वक्रों के [[समन्वय वलय]] (जिनके भागफल क्षेत्र प्रश्न में फलन क्षेत्र हैं) हैं। इसलिए, दोनों प्रकार के क्षेत्र को वैश्विक क्षेत्र कहा जाता है। ऊपर दिए गए प्रमाण के अनुसार, उनका अध्ययन पहले समष्टिीय स्तर पर किया जा सकता है, अर्थात संबंधित समष्टिीय क्षेत्रों को देखकर। संख्या क्षेत्र {{nowrap|<math>K</math>,}} के लिए  समष्टिीय क्षेत्र <math>K</math> की पूर्णता आर्किमिडीयन सहित सभी समष्टियों पर हैं। फलन क्षेत्र के लिए, समष्टिीय क्षेत्र फलन क्षेत्र के लिए वक्र के सभी बिंदुओं पर समष्टिीय चक्रों की पूर्णता को संदर्भित करता है।
-फ़ंक्शन फ़ील्ड के लिए मान्य कई परिणाम, कम से कम यदि ठीक से पुन: तैयार किए गए हों, तो संख्या फ़ील्ड के लिए भी मान्य होते हैं। हालाँकि, संख्या क्षेत्रों के अध्ययन में अक्सर ऐसी कठिनाइयाँ और घटनाएँ सामने आती हैं जिनका कार्य क्षेत्रों में सामना नहीं किया जाता है। उदाहरण के लिए, फ़ंक्शन फ़ील्ड में, गैर-आर्किमिडीयन और आर्किमिडीयन स्थानों में कोई द्वंद्व नहीं है। फिर भी, फ़ंक्शन फ़ील्ड अक्सर अंतर्ज्ञान के स्रोत के रूप में कार्य करते हैं जो संख्या फ़ील्ड मामले में अपेक्षित होना चाहिए।
+फलन क्षेत्र के लिए मान्य कई परिणाम, कम से कम यदि ठीक से पुन: तैयार किए गए हों, तो संख्या क्षेत्र के लिए भी मान्य होते हैं। यद्यपि, संख्या क्षेत्रों के अध्ययन में प्रायः ऐसी कठिनाइयाँ और घटनाएँ सामने आती हैं जिनका कार्य क्षेत्रों में सामना नहीं किया जाता है। उदाहरण के लिए, फलन क्षेत्र में, गैर-आर्किमिडीयन और आर्किमिडीयन समष्टियों में कोई द्वंद्व नहीं है। फिर भी, फलन क्षेत्र प्रायः अंतर्ज्ञान के स्रोत के रूप में कार्य करते हैं जो संख्या क्षेत्र विषय में अपेक्षित होना चाहिए।
 ===हस्से सिद्धांत===
-{{main|Hasse principle}}
+{{main|हस्से सिद्धांत}}
-वैश्विक स्तर पर उठाया जाने वाला एक प्रोटोटाइपिक प्रश्न यह है कि क्या किसी बहुपद समीकरण का कोई समाधान है {{nowrap|<math>K</math>.}} यदि यह मामला है, तो यह समाधान भी सभी पूर्णताओं में एक समाधान है। [[स्थानीय-वैश्विक सिद्धांत]] या हस्से सिद्धांत इस बात पर जोर देता है कि द्विघात समीकरणों के लिए, विपरीत भी लागू होता है। इस प्रकार, यह जाँचना कि क्या ऐसे समीकरण का कोई समाधान है, सभी पूर्णताओं पर किया जा सकता है {{nowrap|<math>K</math>,}} जो अक्सर आसान होता है, क्योंकि विश्लेषणात्मक तरीकों (शास्त्रीय विश्लेषणात्मक उपकरण जैसे कि आर्किमिडीयन स्थानों पर [[मध्यवर्ती मूल्य प्रमेय]] और गैर-आर्किमिडीयन स्थानों पर [[पी-एडिक विश्लेषण]]) का उपयोग किया जा सकता है। हालाँकि, यह निहितार्थ अधिक सामान्य प्रकार के समीकरणों के लिए लागू नहीं होता है। हालाँकि, स्थानीय डेटा से वैश्विक डेटा में स्थानांतरित करने का विचार वर्ग क्षेत्र सिद्धांत में उपयोगी साबित होता है, उदाहरण के लिए, जहां [[स्थानीय वर्ग क्षेत्र सिद्धांत]] का उपयोग ऊपर उल्लिखित वैश्विक अंतर्दृष्टि प्राप्त करने के लिए किया जाता है। यह इस तथ्य से भी संबंधित है कि पूर्णता के गैलोज़ समूह के<sub>v</sub> स्पष्ट रूप से निर्धारित किया जा सकता है, जबकि वैश्विक क्षेत्रों के गैलोज़ समूह, यहां तक कि <math>\mathbb{Q}</math> बहुत कम समझे जाते हैं.
+वैश्विक स्तर पर उठाया जाने वाला एक आद्य प्रश्न यह है कि क्या किसी बहुपद {{nowrap|<math>K</math>.}} समीकरण का कोई समाधान है  यदि यह विषय है, तो यह समाधान भी सभी पूर्णताओं में एक समाधान है। [[स्थानीय-वैश्विक सिद्धांत|समष्टिीय-वैश्विक सिद्धांत]] या हस्से सिद्धांत इस बात पर जोर देता है कि द्विघात समीकरणों के लिए, इसका व्युत्क्रम भी लागू होता है। इस प्रकार, यह जाँचना कि क्या ऐसे समीकरण का कोई समाधान है, सभी {{nowrap|<math>K</math>,}} पूर्णताओं पर किया जा सकता है  जो प्रायः सरल होता है, क्योंकि विश्लेषणात्मक विधियों (शास्त्रीय विश्लेषणात्मक उपकरण जैसे कि आर्किमिडीयन समष्टियों पर [[मध्यवर्ती मूल्य प्रमेय]] और गैर-आर्किमिडीयन समष्टियों पर [[पी-एडिक विश्लेषण]]) का उपयोग किया जा सकता है। यद्यपि, यह निहितार्थ अधिक सामान्य प्रकार के समीकरणों के लिए लागू नहीं होता है। यद्यपि, समष्टिीय डेटा से वैश्विक डेटा में समष्टिांतरित करने का विचार वर्ग क्षेत्र सिद्धांत में उपयोगी साबित होता है, उदाहरण के लिए, जहां [[स्थानीय वर्ग क्षेत्र सिद्धांत|समष्टिीय वर्ग क्षेत्र सिद्धांत]] का उपयोग ऊपर उल्लिखित वैश्विक अंतर्दृष्टि प्राप्त करने के लिए किया जाता है। यह इस तथ्य से भी संबंधित है कि पूर्णता के गैलोज़ समूह के<sub>v</sub> स्पष्ट रूप से निर्धारित किया जा सकता है, जबकि वैश्विक क्षेत्रों के गैलोज़ समूह का युग्म अविस्तारित होता है। यहां तक कि <math>\mathbb{Q}</math> को भी इसी समूह के रूप मे संदर्भित किया जाता है।
 ===एडेल्स और आइडेल्स===
-इससे जुड़े सभी स्थानीय क्षेत्रों से संबंधित स्थानीय डेटा को इकट्ठा करने के लिए {{nowrap|<math>K</math>,}} [[एडेल अंगूठी]] स्थापित है। एक गुणक प्रकार को आइडेल्स कहा जाता है।
+इससे जुड़े सभी समष्टिीय क्षेत्रों से संबंधित समष्टिीय डेटा को इकट्ठा करने के लिए [[एडेल अंगूठी|एडेल चक्र]] {{nowrap|<math>K</math>,}} स्थापित है। इस तरह के गुणक प्रकार को आइडेल्स कहा जाता है।
 ==यह भी देखें==
@@ Line 285: / Line 286: @@
 === सामान्यीकरण ===
-* [[बीजगणितीय फ़ंक्शन फ़ील्ड]]
+* [[बीजगणितीय फ़ंक्शन फ़ील्ड|बीजगणितीय फलन क्षेत्र]]
 === बीजगणितीय संख्या सिद्धांत ===
@@ Line 331: / Line 332: @@
 [[Category: Machine Translated Page]]
 [[Category:Created On 30/06/2023]]
+[[Category:Vigyan Ready]]

Anonymous

Search

बीजगणितीय संख्या क्षेत्र: Difference between revisions

Latest revision as of 07:45, 1 November 2023

परिभाषा

आवश्यकताएँ

परिभाषा

उदाहरण

गैर-उदाहरण

बीजगणितीयता, और पूर्णांकों का वलय

अद्वितीय गुणनखंडन

विश्लेषणात्मक वस्तुएं: ζ-फलन, एल-फलन, और वर्ग संख्या सूत्र

संख्या क्षेत्र के लिए आधार

अभिन्न आधार

शक्ति आधार

नियमित प्रतिनिधित्व, ट्रेस और विभेदक

उदाहरण

गुण

अभिन्न आधार के साथ उदाहरण

समष्टि

उदाहरण

आर्किमिडीयन समष्टि

गैर-आर्किमिडीयन या अल्ट्रामेट्रिक समष्टि

OK के प्रमुख आदर्श

प्रमेय और समष्टियों पर लाइइंग

रामीकरण

एक उदाहरण

डेडेकाइंड विभेदक प्रमेय

गैलोइस समूह तथा गैलोइस सह समरूपता

समष्टिीय-वैश्विक सिद्धांत

समष्टिीय और वैश्विक क्षेत्र

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

एडेल्स और आइडेल्स

यह भी देखें

सामान्यीकरण

बीजगणितीय संख्या सिद्धांत

वर्ग क्षेत्र सिद्धांत

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories

O_K के प्रमुख आदर्श