आंशिक आदर्श: Difference between revisions
From Vigyanwiki
(Created page with "{{Ring theory sidebar}} गणित में, विशेष रूप से क्रमविनिमेय बीजगणित में, आंशिक आद...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Ring theory sidebar}} | {{Ring theory sidebar}} | ||
गणित में, विशेष रूप से [[क्रमविनिमेय बीजगणित]] में, आंशिक आदर्श की अवधारणा को [[अभिन्न डोमेन]] के संदर्भ में | गणित में, विशेष रूप से [[क्रमविनिमेय बीजगणित]] में, आंशिक आदर्श की अवधारणा को [[अभिन्न डोमेन]] के संदर्भ में प्रस्तुत किया जाता है और [[डेडेकिंड डोमेन]] के अध्ययन में विशेष रूप से उपयोगी है। कुछ अर्थों में, एक अभिन्न डोमेन के आंशिक आदर्श आदर्श (रिंग सिद्धांत) की तरह होते हैं जहां [[भाजक]] की अनुमति होती है। संदर्भों में जहां भिन्नात्मक आदर्श और साधारण [[अंगूठी आदर्श|रिंग आदर्श]] दोनों चर्चा के अधीन हैं, बाद वाले को कभी-कभी स्पष्टता के लिए 'अभिन्न आदर्श' कहा जाता है। | ||
'''त्मक आदर्श और साधारण [[अंगूठी आदर्श|रिंग आदर्श]] दोनों चर्चा के अधीन हैं, बाद वाले को कभी-कभी स्पष्टता के लिए 'अभिन्न आदर्श' कहा जाता है।''' | |||
== परिभाषा और मूल परिणाम == | == परिभाषा और मूल परिणाम == | ||
मान लें कि <math>R</math> एक अभिन्न डोमेन है, और <math>K = \operatorname{Frac}R</math> इसके भिन्नों का क्षेत्र है। | |||
<math>R</math> का एक आंशिक आदर्श <math>K</math> का एक <math>R</math>-उपमॉड्यूल I है जैसे कि <math>R</math> में एक गैर-शून्य <math>r \in R</math> उपस्थित है जैसे कि <math>rI\subseteq R</math> तत्व <math>r</math> को <math>I</math> में हरों को साफ करने के रूप में माना जा सकता है, इसलिए इसका नाम भिन्नात्मक आदर्श है। | |||
प्रमुख आंशिक आदर्श वे हैं <math>R</math>- के | प्रमुख आंशिक आदर्श वे हैं <math>R</math>- के उपमॉड्यूल <math>K</math> के एक एकल अशून्य तत्व द्वारा उत्पन्न <math>K</math>. एक आंशिक आदर्श <math>I</math> में निहित है <math>R</math> यदि , और केवल यदि , यह एक ('अभिन्न') आदर्श है <math>R</math>. | ||
एक | एक भिन्नात्मक आदर्श <math>I</math> को व्युत्क्रमणीय कहा जाता है यदि कोई अन्य भिन्नात्मक आदर्श <math>J</math> ऐसा हो | ||
:<math>IJ = R</math> | :<math>IJ = R</math> | ||
जहाँ | |||
:<math>IJ = \{ a_1 b_1 + a_2 b_2 + \cdots + a_n b_n : a_i \in I, b_j \in J, n \in \mathbb{Z}_{>0} \}</math> | :<math>IJ = \{ a_1 b_1 + a_2 b_2 + \cdots + a_n b_n : a_i \in I, b_j \in J, n \in \mathbb{Z}_{>0} \}</math> | ||
दो भिन्नात्मक आदर्शों का गुणनफल कहा जाता है)। | दो भिन्नात्मक आदर्शों का गुणनफल कहा जाता है)। | ||
इस | इस स्थिति में, आंशिक आदर्श <math>J</math> विशिष्ट रूप से निर्धारित और सामान्यीकृत [[आदर्श भागफल]] के समान है | ||
:<math>(R :_{K} I) = \{ x \in K : xI \subseteq R \}.</math> | :<math>(R :_{K} I) = \{ x \in K : xI \subseteq R \}.</math> | ||
व्युत्क्रमणीय भिन्नात्मक आदर्शों का | व्युत्क्रमणीय भिन्नात्मक आदर्शों का समूह उपरोक्त उत्पाद के संबंध में एक एबेलियन समूह बनाता है, जहां पहचान स्वयं इकाई आदर्श <math>(1) = R</math> है। इस समूह को <math>R</math> के भिन्नात्मक आदर्शों का समूह कहा जाता है। प्रमुख भिन्नात्मक आदर्श एक उपसमूह बनाते हैं। (अशून्य) आंशिक आदर्श व्युत्क्रम है, और केवल यदि , यह <math>R</math>-मॉड्यूल के रूप में प्रक्षेप्य है। ज्यामितीय रूप से, इसका अर्थ है कि एक व्युत्क्रमणीय भिन्नात्मक आदर्श को श्रेणी 1 वेक्टर बंडल के रूप में व्याख्या की जा सकती है जो कि एफ़िन योजना <math>\text{Spec}(R)</math> पर है। | ||
प्रत्येक सूक्ष्म रूप से उत्पन्न | K का प्रत्येक सूक्ष्म रूप से उत्पन्न <math>R</math>-उपमॉड्यूल एक भिन्नात्मक आदर्श है और यदि R नोथेरियन है तो ये सभी <math>R</math> के भिन्नात्मक आदर्श हैं। | ||
== डेडेकिंड डोमेन == | == डेडेकिंड डोमेन == | ||
डेडेकिंड डोमेन में स्थिति बहुत आसान है। विशेष रूप से, प्रत्येक शून्येतर भिन्नात्मक गुणजावली व्युत्क्रमणीय होती है। वास्तव में, यह गुण डेडेकिंड डोमेन की विशेषता बताता है: | |||
: एक अभिन्न डोमेन एक | : एक अभिन्न डोमेन एक डेडेकिंड डोमेन है यदि , और केवल यदि , प्रत्येक गैर-शून्य आंशिक आदर्श व्युत्क्रमणीय है। | ||
डेडेकिंड डोमेन <math>R</math> पर भिन्नात्मक आदर्शों के समुच्चय को <math>\text{Div}(R)</math> दर्शाया गया है। | |||
. | |||
प्रधान भिन्नात्मक आदर्शों के उपसमूह द्वारा भिन्नात्मक आदर्शों का इसका [[भागफल समूह]] एक डेडेकिंड डोमेन का एक महत्वपूर्ण अपरिवर्तनीय है जिसे [[आदर्श वर्ग समूह]] कहा जाता है। | प्रधान भिन्नात्मक आदर्शों के उपसमूह द्वारा भिन्नात्मक आदर्शों का इसका [[भागफल समूह]] एक डेडेकिंड डोमेन का एक महत्वपूर्ण अपरिवर्तनीय है जिसे [[आदर्श वर्ग समूह]] कहा जाता है। | ||
== संख्या क्षेत्र == | == संख्या क्षेत्र == | ||
संख्या क्षेत्र <math>K</math> के विशेष स्थिति के लिए (जैसे कि <math>\mathbb{Q}(\zeta_n)</math>) वहाँ एक संबंधित रिंग है जिसे <math>\mathcal{O}_K</math>कहा जाता है। <math>K</math> के पूर्णांक। उदाहरण के लिए,<math>\mathcal{O}_{\mathbb{Q}(\sqrt{d})} = \mathbb{Z}[\sqrt{d}]</math> <math>d</math> वर्ग के लिए मुफ्त और <math>2,3 \text{ }(\text{mod } 4)</math> के समान है। इन रिंग की मुख्य संपत्ति <math>\mathcal{O}_K</math> है, वे डेडेकिंड डोमेन हैं। इसलिए संख्या क्षेत्रों के पूर्णांकों के छल्ले के लिए भिन्नात्मक आदर्शों के सिद्धांत का वर्णन किया जा सकता है। वास्तव में, वर्ग क्षेत्र सिद्धांत वर्ग रिंग्स के ऐसे समूहों का अध्ययन है। | |||
=== संबंधित संरचनाएं === | === संबंधित संरचनाएं === | ||
पूर्णांकों की | पूर्णांकों की रिंग के लिए<ref>{{Cite book|last=Childress|first=Nancy|url=https://www.worldcat.org/oclc/310352143|title=वर्ग क्षेत्र सिद्धांत|date=2009|publisher=Springer|isbn=978-0-387-72490-4|location=New York|oclc=310352143}}</ref><sup>pg 2</sup> <math>\mathcal{O}_K</math> एक संख्या क्षेत्र के लिए, आंशिक आदर्शों का समूह एक समूह को निरूपित करता है <math>\mathcal{I}_K</math> और प्रमुख आंशिक आदर्शों के उपसमूह को <math>\mathcal{P}_K</math>. के रूप में दर्शाया गया है। आदर्श वर्ग समूह भिन्नात्मक आदर्शों का समूह है जो प्रमुख भिन्नात्मक आदर्शों को मापता है, इसलिए | ||
: <math>\mathcal{C}_K := \mathcal{I}_K/\mathcal{P}_K</math> | : <math>\mathcal{C}_K := \mathcal{I}_K/\mathcal{P}_K</math> | ||
और इसकी कक्षा संख्या <math>h_K</math> समूह | और इसकी कक्षा संख्या <math>h_K</math> समूह <math>h_K = |\mathcal{C}_K|</math> का क्रम है . कुछ मायनों में, वर्ग संख्या इस बात का माप है कि पूर्णांकों का वलय कितना दूर है <math>\mathcal{O}_K</math> एक अद्वितीय कारककरण डोमेन होने से है। यह है क्योंकि <math>h_K = 1</math> यदि और केवल यदि <math>\mathcal{O}_K</math> एक यूएफडी है। | ||
==== आदर्श वर्ग समूहों के लिए [[सटीक क्रम]] ==== | ==== आदर्श वर्ग समूहों के लिए [[सटीक क्रम|स्पष्ट क्रम]] ==== | ||
एक | एक स्पष्ट क्रम है | ||
:<math>0 \to \mathcal{O}_K^* \to K^* \to \mathcal{I}_K \to \mathcal{C}_K \to 0</math> | :<math>0 \to \mathcal{O}_K^* \to K^* \to \mathcal{I}_K \to \mathcal{C}_K \to 0</math> | ||
हर [[संख्या क्षेत्र]] से जुड़ा हुआ है। | हर [[संख्या क्षेत्र]] से जुड़ा हुआ है। | ||
=== आंशिक आदर्शों के लिए संरचना प्रमेय === | === आंशिक आदर्शों के लिए संरचना प्रमेय === | ||
किसी संख्या क्षेत्र के भिन्नात्मक आदर्शों के लिए महत्वपूर्ण संरचना प्रमेयों में से एक में कहा गया है कि प्रत्येक भिन्नात्मक आदर्श <math>I</math> के रूप में | किसी संख्या क्षेत्र के भिन्नात्मक आदर्शों के लिए महत्वपूर्ण संरचना प्रमेयों में से एक में कहा गया है कि प्रत्येक भिन्नात्मक आदर्श <math>I</math> के रूप में क्रम करने तक विशिष्ट रूप से विघटित होता है | ||
:<math>I = (\mathfrak{p}_1\ldots\mathfrak{p}_n)(\mathfrak{q}_1\ldots\mathfrak{q}_m)^{-1}</math> | :<math>I = (\mathfrak{p}_1\ldots\mathfrak{p}_n)(\mathfrak{q}_1\ldots\mathfrak{q}_m)^{-1}</math> | ||
प्रमुख आदर्शों के लिए | प्रमुख आदर्शों के लिए | ||
:<math>\mathfrak{p}_i,\mathfrak{q}_j \in \text{Spec}(\mathcal{O}_K)</math>. | :<math>\mathfrak{p}_i,\mathfrak{q}_j \in \text{Spec}(\mathcal{O}_K)</math>. | ||
की एक | की एक रिंग की कल्पना में <math>\mathcal{O}_K</math>. उदाहरण के लिए, | ||
:<math>\frac{2}{5}\mathcal{O}_{\mathbb{Q}(i)}</math> कारकों के रूप में <math>(1+i)(1-i)((1+2i)(1-2i))^{-1} </math> | :<math>\frac{2}{5}\mathcal{O}_{\mathbb{Q}(i)}</math> कारकों के रूप में <math>(1+i)(1-i)((1+2i)(1-2i))^{-1} </math> | ||
साथ ही, चूँकि किसी संख्या क्षेत्र में भिन्नात्मक आदर्श संख्याएँ पूरी तरह से उत्पन्न होती हैं, इसलिए हम आदर्श <math>J</math> प्राप्त करने के लिए हर को कुछ <math>\alpha</math> से गुणा करके स्पष्ट कर सकते हैं। इसलिए | |||
: <math>I = \frac{1}{\alpha}J</math> | : <math>I = \frac{1}{\alpha}J</math> | ||
एक अन्य उपयोगी संरचना प्रमेय यह है कि अभिन्न आंशिक आदर्श 2 तत्वों तक उत्पन्न होते हैं। हम एक आंशिक आदर्श कहते हैं जो | एक अन्य उपयोगी संरचना प्रमेय यह है कि अभिन्न आंशिक आदर्श 2 तत्वों तक उत्पन्न होते हैं। हम एक आंशिक आदर्श कहते हैं जो <math>\mathcal{O}_K</math> का एक उपसमुच्चय है । | ||
== उदाहरण == | == उदाहरण == | ||
* <math>\frac{5}{4}\mathbb{Z}</math> | * '''<math>\frac{5}{4}\mathbb{Z}</math>''' , <math>\mathbb{Z}</math>से अधिक एक भिन्नात्मक आदर्श है। | ||
* | *<math>K = \mathbb{Q}(i)</math> के लिए आदर्श (5) विभाजित होता है <math>\mathcal{O}_{\mathbb{Q}(i)} = \mathbb{Z}[i]</math> , <math>(2-i)(2+i)</math> के रूप में। | ||
* | * <math>\mathbb{Q}_{\zeta_3}</math>में हमारे पास गुणनखंड है <math>(3) = (2\zeta_3 + 1)^2</math>. ऐसा इसलिए है क्योंकि यदि हम इसे गुणा करते हैं, तो हमें मिलता है | ||
* | |||
*:<math> | *:<math> | ||
\begin{align} | \begin{align} | ||
| Line 67: | Line 74: | ||
</math> | </math> | ||
:तब से <math>\zeta_3</math> संतुष्ट <math>\zeta_3^2 + \zeta_3 =-1</math>, हमारा गुणनखंडन समझ में आता है। | :तब से <math>\zeta_3</math> संतुष्ट <math>\zeta_3^2 + \zeta_3 =-1</math>, हमारा गुणनखंडन समझ में आता है। | ||
* | * <math>\mathbb{Q}(\sqrt{-23})</math> में हम आंशिक आदर्शों को गुणा कर सकते हैं | ||
:* <math>I = (2, (1/2)\sqrt{-23} - (1/2))</math> और | :* <math>I = (2, (1/2)\sqrt{-23} - (1/2))</math> और | ||
:* <math>J=(4,(1/2)\sqrt{-23} + (3/2))</math> | :* <math>J=(4,(1/2)\sqrt{-23} + (3/2))</math> | ||
| Line 75: | Line 82: | ||
== विभागीय आदर्श == | == विभागीय आदर्श == | ||
चलो <math>\tilde I</math> एक गैर-शून्य भिन्नात्मक आदर्श <math>I</math> वाले सभी प्रमुख आंशिक आदर्शों के प्रतिच्छेदन को दर्शाता है। | |||
समान रूप से, | समान रूप से, | ||
:<math>\tilde I = (R : (R : I)),</math> | :<math>\tilde I = (R : (R : I)),</math> | ||
जहां ऊपर के रूप में | जहां ऊपर के रूप में | ||
:<math>(R : I) = \{ x \in K : xI \subseteq R \}. </math> | :<math>(R : I) = \{ x \in K : xI \subseteq R \}. </math> | ||
:यदि <math>\tilde I = I</math> तब ''I'' 'विभाजन' कहा जाता है।<ref>{{harvnb|Bourbaki|1998|loc=§VII.1}}</ref> दूसरे शब्दों में, एक विभाजक आदर्श भिन्नात्मक प्रमुख आदर्शों के कुछ गैर-खाली समूह का एक गैर-शून्य प्रतिच्छेदन है। | |||
यदि I विभाज्य है और J एक शून्येतर भिन्नात्मक गुणजावली है, तो (I : J) भाज्य है। | यदि I विभाज्य है और J एक शून्येतर भिन्नात्मक गुणजावली है, तो (I : J) भाज्य है। | ||
''R'' को स्थानीय रिंग [[क्रुल डोमेन]] होने दें (उदाहरण के लिए, एक नोथेरियन रिंग [[अभिन्न रूप से बंद डोमेन]] स्थानीय रिंग डोमेन) तब R एक असतत मूल्यांकन वलय है यदि और केवल यदि R का [[अधिकतम आदर्श]] विभाज्य है।<ref>{{harvnb|Bourbaki|1998|loc=Ch. VII, § 1, n. 7. Proposition 11.}}</ref> | |||
एक अभिन्न डोमेन जो विभाजक आदर्शों पर आरोही श्रृंखला | |||
एक अभिन्न डोमेन जो विभाजक आदर्शों पर आरोही श्रृंखला नियमो को पूरा करता है, उसे [[ मोरी टोडो माइन | मोरी टोडो माइन]] कहा जाता है।{{sfn|Barucci|2000}} | |||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 11:16, 2 May 2023
| Algebraic structure → Ring theory Ring theory |
|---|
 |
|
Rings
Related structures
|
|
Commutative rings
p-adic number theory and decimals
|