अंशों का क्षेत्र: Difference between revisions

From Vigyanwiki
(Created page with "{{redirect-distinguish|Quotient field|Quotient ring}} {{Ring theory sidebar}} सार बीजगणित में, एक अभिन्न डोमेन क...")
 
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{redirect-distinguish|Quotient field|Quotient ring}}
[[सार बीजगणित|अमूर्त बीजगणित]] में, [[अभिन्न डोमेन|समाकलन प्रभावक्षेत्र]] के '''भिन्नों का क्षेत्र''' सबसे लघु [[गणित]] क्षेत्र है जिसमें इसे अंतर्निहित ([[एम्बेडिंग]]) किया जा सकता है। भिन्नों के क्षेत्र का निर्माण [[पूर्णांक]]ों के समाकलन प्रभावक्षेत्र और परिमेय संख्याओं के क्षेत्र के बीच के संबंध पर आधारित है। सहज रूप से, इसमें समाकलन प्रभावक्षेत्र तत्वों के बीच अनुपात होते हैं।
{{Ring theory sidebar}}
[[सार बीजगणित]] में, एक [[अभिन्न डोमेन]] के अंशों का क्षेत्र सबसे छोटा [[क्षेत्र (गणित)]] है जिसमें इसे [[एम्बेडिंग]] किया जा सकता है। अंशों के क्षेत्र का निर्माण [[पूर्णांक]]ों के अभिन्न डोमेन और परिमेय संख्याओं के क्षेत्र के बीच के संबंध पर आधारित है। सहज रूप से, इसमें अभिन्न डोमेन तत्वों के बीच अनुपात होते हैं।


के अंशों का क्षेत्र <math>R</math> कभी-कभी द्वारा दर्शाया जाता है <math>\operatorname{Frac}(R)</math> या <math>\operatorname{Quot}(R)</math>, और रचना को कभी-कभी भिन्न क्षेत्र, भागफल का क्षेत्र, या भागफल का क्षेत्र भी कहा जाता है <math>R</math>. सभी चार सामान्य उपयोग में हैं, लेकिन [[भागफल की अंगूठी]] के साथ भ्रमित नहीं होना चाहिए, जो एक बहुत ही अलग अवधारणा है। एक [[क्रमविनिमेय अंगूठी]] के लिए जो एक अभिन्न डोमेन नहीं है, अनुरूप निर्माण को [[स्थानीयकरण (कम्यूटेटिव बीजगणित)]] या भागफल की अंगूठी कहा जाता है।
भिन्नों का क्षेत्र के  <math>R</math> कभी-कभी द्वारा दर्शाया जाता है <math>\operatorname{Frac}(R)</math> या <math>\operatorname{Quot}(R)</math>, और निर्माण को कभी-कभी भिन्न क्षेत्र, भागफलों का क्षेत्र, या भागफल का क्षेत्र भी कहा जाता है <math>R</math>. सभी चार सामान्य उपयोग में हैं, लेकिन [[भागफल की अंगूठी|भागफल वलय]] के साथ भ्रमित नहीं होना चाहिए, जो एक बहुत ही अलग अवधारणा है। [[क्रमविनिमेय अंगूठी|क्रमविनिमेय वलय]] के लिए जो एक समाकलन प्रभावक्षेत्र नहीं है, अनुरूप निर्माण को [[स्थानीयकरण (कम्यूटेटिव बीजगणित)]] या भागफल की वलय कहा जाता है।


== परिभाषा ==
== परिभाषा ==


एक अभिन्न डोमेन दिया और दे रहा है <math>R^* = R \setminus \{0\}</math>, हम एक [[तुल्यता संबंध]] को परिभाषित करते हैं <math>R \times R^*</math> जैसे भी हो <math>(n,d) \sim (m,b)</math> जब कभी भी <math>nb = md</math>. हम के समतुल्य वर्ग को निरूपित करते हैं <math>(n,d)</math> द्वारा <math>\frac{n}{d}</math>. तुल्यता की यह धारणा परिमेय संख्याओं से प्रेरित है <math>\Q</math>, जिनके पास अंतर्निहित [[अंगूठी (गणित)]] के संबंध में समान संपत्ति है <math>\Z</math> पूर्णांकों का।
समाकलन प्रभावक्षेत्र दिया और दे रहा है <math>R^* = R \setminus \{0\}</math>, हम एक [[तुल्यता संबंध]] को परिभाषित करते हैं <math>R \times R^*</math> जैसे भी हो <math>(n,d) \sim (m,b)</math> जब कभी भी <math>nb = md</math>. हम के समतुल्य वर्ग को निरूपित करते हैं <math>(n,d)</math> द्वारा <math>\frac{n}{d}</math>. तुल्यता की यह धारणा परिमेय संख्याओं से प्रेरित है <math>\Q</math>, जिनके पास अंतर्निहित [[अंगूठी (गणित)|वलय (गणित)]] के संबंध में समान संपत्ति है <math>\Z</math> पूर्णांकों का है।


तब भिन्न का क्षेत्र समुच्चय होता है <math>\text{Frac}(R) = (R \times R^*)/\sim</math> द्वारा दिए गए जोड़ के साथ
तब भिन्न का क्षेत्र समुच्चय होता है <math>\text{Frac}(R) = (R \times R^*)/\sim</math> द्वारा दिए गए जोड़ के साथ
:<math>\frac{n}{d} + \frac{m}{b} = \frac{nb+md}{db}</math> और गुणा द्वारा दिया गया
:<math>\frac{n}{d} + \frac{m}{b} = \frac{nb+md}{db}</math> और गुणा द्वारा दिया गया
:<math>\frac{n}{d} \cdot \frac{m}{b} = \frac{nm}{db}.</math>
:<math>\frac{n}{d} \cdot \frac{m}{b} = \frac{nm}{db}.</math>
कोई जांच कर सकता है कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं और किसी भी अभिन्न डोमेन के लिए <math>R</math>, <math>\text{Frac}(R)</math> वास्तव में एक क्षेत्र है। विशेष रूप से, के लिए <math>n,d \neq 0</math>, का गुणक प्रतिलोम <math>\frac{n}{d}</math> उम्मीद के मुताबिक है: <math>\frac{d}{n} \cdot \frac{n}{d} = 1</math>.
कोई जांच कर सकता है कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं और किसी भी समाकलन प्रभावक्षेत्र के लिए <math>R</math>, <math>\text{Frac}(R)</math> वास्तव में एक क्षेत्र है। विशेष रूप से, के लिए <math>n,d \neq 0</math>, का गुणक प्रतिलोम <math>\frac{n}{d}</math> उम्मीद के मुताबिक है: <math>\frac{d}{n} \cdot \frac{n}{d} = 1</math>.


की एम्बेडिंग <math>R</math> में <math>\operatorname{Frac}(R)</math> नक्शे प्रत्येक <math>n</math> में <math>R</math> अंश को <math>\frac{en}{e}</math> किसी भी शून्य के लिए <math>e\in R</math> (तुल्यता वर्ग पसंद से स्वतंत्र है <math>e</math>). यह पहचान पर आधारित है <math>\frac{n}{1}=n</math>.
की एम्बेडिंग <math>R</math> में <math>\operatorname{Frac}(R)</math> नक्शे प्रत्येक <math>n</math> में <math>R</math> अंश को <math>\frac{en}{e}</math> किसी भी शून्य के लिए <math>e\in R</math> (तुल्यता वर्ग पसंद से स्वतंत्र है <math>e</math>). यह पहचान पर आधारित है <math>\frac{n}{1}=n</math>.


के अंशों का क्षेत्र <math>R</math> निम्नलिखित [[सार्वभौमिक संपत्ति]] की विशेषता है:
के भिन्नों का क्षेत्र <math>R</math> निम्नलिखित [[सार्वभौमिक संपत्ति|अमूर्त्वभौमिक संपत्ति]] की विशेषता है:


:अगर <math>h: R \to F</math> से एक [[इंजेक्शन]] [[रिंग समरूपता]] है <math>R</math> एक मैदान में <math>F</math>, तो वहाँ एक अद्वितीय वलय समरूपता मौजूद है <math>g: \operatorname{Frac}(R) \to F</math> जो फैलता है <math>h</math>.
:यदि <math>h: R \to F</math> से [[इंजेक्शन|एकैकी]] [[रिंग समरूपता|वलय समरूपता]] है <math>R</math> क्षेत्र में <math>F</math>, तो वहाँ एक अद्वितीय वलय समरूपता उपस्थित है <math>g: \operatorname{Frac}(R) \to F</math> जो फैलता है <math>h</math>.


इस निर्माण की एक [[श्रेणी सिद्धांत]] व्याख्या है। होने देना <math>\mathbf{C}</math> अभिन्न डोमेन और इंजेक्शन रिंग मैप्स की [[श्रेणी (गणित)]] बनें। से [[ऑपरेटर]] <math>\mathbf{C}</math> क्षेत्रों की श्रेणी के लिए जो प्रत्येक अभिन्न डोमेन को उसके अंश क्षेत्र में ले जाता है और प्रत्येक समरूपता को क्षेत्रों पर प्रेरित मानचित्र (जो सार्वभौमिक संपत्ति द्वारा मौजूद है) के लिए क्षेत्रों की श्रेणी से समावेशन फ़ंक्टर का आसन्न फ़ंक्टर है <math>\mathbf{C}</math>. इस प्रकार फ़ील्ड्स की श्रेणी (जो एक पूर्ण उपश्रेणी है) की एक [[चिंतनशील उपश्रेणी]] है <math>\mathbf{C}</math>.
इस निर्माण की एक [[श्रेणी सिद्धांत]] व्याख्या है। होने देना <math>\mathbf{C}</math> समाकलन प्रभावक्षेत्र और एकैकी वलय प्रतिचित्रण की [[श्रेणी (गणित)]] बनें है। [[ऑपरेटर]] <math>\mathbf{C}</math> क्षेत्रों की श्रेणी के लिए जो प्रत्येक समाकलन प्रभावक्षेत्र को उसके अंश क्षेत्र में ले जाता है और प्रत्येक समरूपता को क्षेत्रों पर प्रेरित मानचित्र (जो अमूर्त्वभौमिक संपत्ति द्वारा उपस्थित है) के लिए क्षेत्रों की श्रेणी से समावेशन फ़ंक्टर का आसन्न फ़ंक्टर है <math>\mathbf{C}</math>. इस प्रकार फ़ील्ड्स की श्रेणी (जो एक पूर्ण उपश्रेणी है) की एक [[चिंतनशील उपश्रेणी]] है <math>\mathbf{C}</math>.
 
अभिन्न डोमेन की भूमिका के लिए [[गुणक पहचान]] की आवश्यकता नहीं है; यह निर्माण किसी भी शून्य रिंग कम्यूटेटिव [[आरएनजी (बीजगणित)]] पर लागू किया जा सकता है <math>R</math> शून्येतर शून्य विभाजक के बिना। एम्बेडिंग द्वारा दिया गया है <math>r\mapsto\frac{rs}{s}</math> किसी भी शून्य के लिए <math>s\in R</math>.<ref>{{cite book|last1=Hungerford|first1=Thomas W.|title=बीजगणित|date=1980|publisher=Springer|location=New York|isbn=3540905189|pages=142–144|edition= Revised 3rd}}</ref>


समाकलन प्रभावक्षेत्र की भूमिका के लिए [[गुणक पहचान]] की आवश्यकता नहीं है; यह निर्माण किसी भी शून्य वलय कम्यूटेटिव [[आरएनजी (बीजगणित)]] पर लागू किया जा सकता है <math>R</math> शून्येतर शून्य विभाजक के बिना। एम्बेडिंग द्वारा दिया गया है <math>r\mapsto\frac{rs}{s}</math> किसी भी शून्य के लिए <math>s\in R</math>.<ref name=":0">{{cite book|last1=Hungerford|first1=Thomas W.|title=बीजगणित|date=1980|publisher=Springer|location=New York|isbn=3540905189|pages=142–144|edition= Revised 3rd}}</ref>


== उदाहरण ==
== उदाहरण ==


* पूर्णांक # बीजीय_गुणों के वलय के अंशों का क्षेत्र परिमेय संख्या का क्षेत्र है: <math>\Q = \operatorname{Frac}(\Z)</math>.
* पूर्णांक बीजीय_गुणों के वलय के भिन्नों का क्षेत्र परिमेय संख्या का क्षेत्र है: <math>\Q = \operatorname{Frac}(\Z)</math>.
* होने देना <math>R:=\{a+b\mathrm{i} \mid a,b \in \Z\}</math> [[गॉसियन पूर्णांक]]ों का वलय हो। तब <math>\operatorname{Frac}(R)=\{c+d\mathrm{i}\mid c,d\in\Q\}</math>, गॉसियन परिमेय का क्षेत्र।
* होने देना <math>R:=\{a+b\mathrm{i} \mid a,b \in \Z\}</math> [[गॉसियन पूर्णांक]]ों का वलय हो, तब <math>\operatorname{Frac}(R)=\{c+d\mathrm{i}\mid c,d\in\Q\}</math>, गॉसियन परिमेय का क्षेत्र।
* किसी क्षेत्र के अंशों का क्षेत्र कैनोनिक रूप से क्षेत्र के लिए समरूपता है।
* किसी क्षेत्र के भिन्नों का क्षेत्र कैनोनिक रूप से क्षेत्र के लिए समरूपता है।
* एक क्षेत्र दिया <math>K</math>, एक अनिश्चित में बहुपद अंगूठी के अंशों का क्षेत्र <math>K[X]</math> (जो एक अभिन्न डोमेन है), कहा जाता है{{visible anchor|field of rational functions}}, परिमेय भिन्नों का क्षेत्र, या परिमेय व्यंजकों का क्षेत्र<ref>{{cite book |first=Ėrnest Borisovich  |last=Vinberg |url=https://books.google.com/books?id=rzNq39lvNt0C&pg=PA132 |title=A course in algebra |year=2003 |page=131 |isbn=978-0-8218-8394-5 |publisher=American Mathematical Society}}</ref><ref>{{cite book|first=Stephan |last=Foldes|url=https://archive.org/details/fundamentalstruc0000fold|title=Fundamental structures of algebra and discrete mathematics |publisher=Wiley |year=1994|page=[https://archive.org/details/fundamentalstruc0000fold/page/128 128]|url-access=registration |isbn=0-471-57180-6}}</ref><ref>{{cite book |first=Pierre Antoine |last=Grillet |chapter=3.5 Rings: Polynomials in One Variable |chapter-url=https://books.google.com/books?id=LJtyhu8-xYwC&pg=PA124|title=Abstract algebra|year=2007|page=124 |isbn=978-0-387-71568-1 |publisher=Springer}}</ref><ref>{{cite book|last1 = Marecek | first1 = Lynn | last2 = Mathis | first2 = Andrea Honeycutt | title = Intermediate Algebra 2e | date = 6 May 2020 | publisher = [[OpenStax]] <!-- | location = Houston, Texas -->|  url = https://openstax.org/details/books/intermediate-algebra-2e | at = §7.1}}</ref> और निरूपित किया जाता है <math>K(X)</math>.
* क्षेत्र <math>K</math>, एक अनिश्चित में बहुपद वलय के भिन्नों का क्षेत्र <math>K[X]</math> (जो एक समाकलन प्रभावक्षेत्र है), कहा जाता है {{visible anchor|परिमेय फलन का क्षेत्र}}, परिमेय भिन्नों का क्षेत्र, या परिमेय व्यंजकों का क्षेत्र<ref>{{cite book |first=Ėrnest Borisovich  |last=Vinberg |url=https://books.google.com/books?id=rzNq39lvNt0C&pg=PA132 |title=A course in algebra |year=2003 |page=131 |isbn=978-0-8218-8394-5 |publisher=American Mathematical Society}}</ref><ref>{{cite book|first=Stephan |last=Foldes|url=https://archive.org/details/fundamentalstruc0000fold|title=Fundamental structures of algebra and discrete mathematics |publisher=Wiley |year=1994|page=[https://archive.org/details/fundamentalstruc0000fold/page/128 128]|url-access=registration |isbn=0-471-57180-6}}</ref><ref>{{cite book |first=Pierre Antoine |last=Grillet |chapter=3.5 Rings: Polynomials in One Variable |chapter-url=https://books.google.com/books?id=LJtyhu8-xYwC&pg=PA124|title=Abstract algebra|year=2007|page=124 |isbn=978-0-387-71568-1 |publisher=Springer}}</ref><ref>{{cite book|last1 = Marecek | first1 = Lynn | last2 = Mathis | first2 = Andrea Honeycutt | title = Intermediate Algebra 2e | date = 6 May 2020 | publisher = [[OpenStax]] <!-- | location = Houston, Texas -->|  url = https://openstax.org/details/books/intermediate-algebra-2e | at = §7.1}}</ref> और निरूपित किया जाता है <math>K(X)</math>.


== सामान्यीकरण ==
== सामान्यीकरण ==


=== स्थानीयकरण ===
=== स्थानीयकरण ===
{{main|Localization (commutative algebra)}}
{{main|स्थानीयकरण (विनिमेय बीजगणित)}}
किसी भी क्रमविनिमेय अंगूठी के लिए <math>R</math> और कोई [[गुणक सेट]] <math>S</math> में <math>R</math>, एक [[अंगूठी का स्थानीयकरण]] <math>S^{-1}R</math> क्रमविनिमेय वलय है जिसमें भिन्न होते हैं
किसी भी क्रमविनिमेय वलय के लिए <math>R</math> और कोई [[गुणक सेट|गुणक समुच्चय]] <math>S</math> में <math>R</math>, एक [[अंगूठी का स्थानीयकरण|वलय का स्थानीयकरण]] <math>S^{-1}R</math> क्रमविनिमेय वलय है जिसमें भिन्न होते हैं
:<math>\frac{r}{s}</math>
:<math>\frac{r}{s}</math>
साथ <math>r\in R</math> और <math>s\in S</math>, अब किधर <math>(r,s)</math> के बराबर है <math>(r',s')</math> अगर और केवल अगर मौजूद है <math>t\in S</math> ऐसा है कि <math>t(rs'-r's)=0</math>.
साथ <math>r\in R</math> और <math>s\in S</math>, अब किधर <math>(r,s)</math> के बराबर है <math>(r',s')</math> यदि और केवल यदि उपस्थित है <math>t\in S</math> ऐसा है कि <math>t(rs'-r's)=0</math>.


इसके दो विशेष मामले उल्लेखनीय हैं:
इसके दो विशेष मामले उल्लेखनीय हैं:
* अगर <math>S</math> एक प्रमुख आदर्श का पूरक है <math>P</math>, तब <math>S^{-1}R</math> भी अंकित किया जाता है <math>R_P</math><br/>कब <math>R</math> एक अभिन्न डोमेन है और <math>P</math> शून्य आदर्श है, <math>R_P</math> के अंशों का क्षेत्र है <math>R</math>.
* यदि <math>S</math> एक प्रमुख आदर्श का पूरक है <math>P</math>, तब <math>S^{-1}R</math> भी अंकित किया जाता है <math>R_P</math><br/>कब <math>R</math> एक समाकलन प्रभावक्षेत्र है और <math>P</math> शून्य आदर्श है, <math>R_P</math> के भिन्नों का क्षेत्र है <math>R</math>.
* अगर <math>S</math> में गैर-शून्य-भाजक का सेट है <math>R</math>, तब <math>S^{-1}R</math> को कुल भागफल वलय कहा जाता है।<br/>एक अभिन्न डोमेन का कुल भागफल वलय इसके अंशों का क्षेत्र होता है, लेकिन कुल भागफल वलय को किसी भी क्रमविनिमेय वलय के लिए परिभाषित किया जाता है।
* यदि <math>S</math> में गैर-शून्य-भाजक का समुच्चय है <math>R</math>, तब <math>S^{-1}R</math> को कुल भागफल वलय कहा जाता है।<br/>समाकलन प्रभावक्षेत्र का कुल भागफल वलय इसके भिन्नों का क्षेत्र होता है, लेकिन कुल भागफल वलय को किसी भी क्रमविनिमेय वलय के लिए परिभाषित किया जाता है।
 
ध्यान दें कि इसकी अनुमति है <math>S</math> 0 सम्मिलित करने के लिए, लेकिन उस स्थिति में <math>S^{-1}R</math> [[तुच्छ अंगूठी|नगण्य]]


ध्यान दें कि इसकी अनुमति है <math>S</math> 0 शामिल करने के लिए, लेकिन उस स्थिति में <math>S^{-1}R</math> [[तुच्छ अंगूठी]] होगी।
[[तुच्छ अंगूठी|वलय]] होगी।


=== अंशों का अर्धक्षेत्र ===
=== भिन्नों का अर्धक्षेत्र ===
शून्य विभाजक के साथ एक [[क्रमविनिमेय [[मोटी हो जाओ]]]] के अंशों का [[सेमीफ़ील्ड]] सबसे छोटा सेमीफ़ील्ड है जिसमें यह एंबेडिंग हो सकता है।
शून्य विभाजक के बिना एक कम्यूटेटिव अर्धवलय के भिन्नों का अर्धक्षेत्र सबसे छोटा अर्धक्षेत्र है जिसमें इसे एम्बेड किया जा सकता है।


कम्यूटेटिव सेमिरिंग के अंशों के सेमीफ़ील्ड के तत्व <math>R</math> तुल्यता वर्ग के रूप में लिखे गए हैं
कम्यूटेटिव सेमिवलय के भिन्नों के अर्धवलय के तत्व <math>R</math> तुल्यता वर्ग के रूप में लिखे गए हैं
:<math>\frac{a}{b}</math>
:<math>\frac{a}{b}</math>
साथ <math>a</math> और <math>b</math> में <math>R</math>.
साथ <math>a</math> और <math>b</math> में <math>R</math>.


== यह भी देखें ==
== यह भी देखें ==
* [[अयस्क की स्थिति]]; गैर क्रमविनिमेय मामले में अंशों के निर्माण से संबंधित शर्त।
* [[अयस्क की स्थिति]]; गैर क्रमविनिमेय मामले में भिन्नों के निर्माण से संबंधित है।
* एक [[रिंग के ऊपर प्रोजेक्टिव लाइन]]; वैकल्पिक संरचना अभिन्न डोमेन तक सीमित नहीं है।{{Relevant?|date=April 2022}}
* [[रिंग के ऊपर प्रोजेक्टिव लाइन|वलय के ऊपर प्रोजेक्टिव लाइन]]; वैकल्पिक संरचना समाकलन प्रभावक्षेत्र तक सीमित नहीं है।{{Relevant?|date=April 2022}}
* [[अंशों का कुल वलय]]
* [[अंशों का कुल वलय|भिन्नों का कुल वलय]]


== संदर्भ ==
== संदर्भ ==
{{reflist}}
{{reflist}}
[[Category: क्षेत्र (गणित)]] [[Category: क्रमविनिमेय बीजगणित]]


[[Category: Machine Translated Page]]
[[Category:All articles that may have off-topic sections]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Created On 03/02/2023]]
[[Category:Created On 03/02/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Wikipedia articles that may have off-topic sections from April 2022]]
[[Category:क्रमविनिमेय बीजगणित]]
[[Category:क्षेत्र (गणित)]]

Latest revision as of 11:54, 14 February 2023

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

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

परिभाषा

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

तब भिन्न का क्षेत्र समुच्चय होता है द्वारा दिए गए जोड़ के साथ

और गुणा द्वारा दिया गया

कोई जांच कर सकता है कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं और किसी भी समाकलन प्रभावक्षेत्र के लिए , वास्तव में एक क्षेत्र है। विशेष रूप से, के लिए , का गुणक प्रतिलोम उम्मीद के मुताबिक है: .

की एम्बेडिंग में नक्शे प्रत्येक में अंश को किसी भी शून्य के लिए (तुल्यता वर्ग पसंद से स्वतंत्र है ). यह पहचान पर आधारित है .

के भिन्नों का क्षेत्र निम्नलिखित अमूर्त्वभौमिक संपत्ति की विशेषता है:

यदि से एकैकी वलय समरूपता है क्षेत्र में , तो वहाँ एक अद्वितीय वलय समरूपता उपस्थित है जो फैलता है .

इस निर्माण की एक श्रेणी सिद्धांत व्याख्या है। होने देना समाकलन प्रभावक्षेत्र और एकैकी वलय प्रतिचित्रण की श्रेणी (गणित) बनें है। ऑपरेटर क्षेत्रों की श्रेणी के लिए जो प्रत्येक समाकलन प्रभावक्षेत्र को उसके अंश क्षेत्र में ले जाता है और प्रत्येक समरूपता को क्षेत्रों पर प्रेरित मानचित्र (जो अमूर्त्वभौमिक संपत्ति द्वारा उपस्थित है) के लिए क्षेत्रों की श्रेणी से समावेशन फ़ंक्टर का आसन्न फ़ंक्टर है . इस प्रकार फ़ील्ड्स की श्रेणी (जो एक पूर्ण उपश्रेणी है) की एक चिंतनशील उपश्रेणी है .

समाकलन प्रभावक्षेत्र की भूमिका के लिए गुणक पहचान की आवश्यकता नहीं है; यह निर्माण किसी भी शून्य वलय कम्यूटेटिव आरएनजी (बीजगणित) पर लागू किया जा सकता है शून्येतर शून्य विभाजक के बिना। एम्बेडिंग द्वारा दिया गया है किसी भी शून्य के लिए .[1]

उदाहरण

  • पूर्णांक बीजीय_गुणों के वलय के भिन्नों का क्षेत्र परिमेय संख्या का क्षेत्र है: .
  • होने देना गॉसियन पूर्णांकों का वलय हो, तब , गॉसियन परिमेय का क्षेत्र।
  • किसी क्षेत्र के भिन्नों का क्षेत्र कैनोनिक रूप से क्षेत्र के लिए समरूपता है।
  • क्षेत्र , एक अनिश्चित में बहुपद वलय के भिन्नों का क्षेत्र (जो एक समाकलन प्रभावक्षेत्र है), कहा जाता है परिमेय फलन का क्षेत्र, परिमेय भिन्नों का क्षेत्र, या परिमेय व्यंजकों का क्षेत्र[2][3][4][5] और निरूपित किया जाता है .

सामान्यीकरण

स्थानीयकरण

किसी भी क्रमविनिमेय वलय के लिए और कोई गुणक समुच्चय में , एक वलय का स्थानीयकरण क्रमविनिमेय वलय है जिसमें भिन्न होते हैं

साथ और , अब किधर के बराबर है यदि और केवल यदि उपस्थित है ऐसा है कि .

इसके दो विशेष मामले उल्लेखनीय हैं:

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

ध्यान दें कि इसकी अनुमति है 0 सम्मिलित करने के लिए, लेकिन उस स्थिति में नगण्य

वलय होगी।

भिन्नों का अर्धक्षेत्र

शून्य विभाजक के बिना एक कम्यूटेटिव अर्धवलय के भिन्नों का अर्धक्षेत्र सबसे छोटा अर्धक्षेत्र है जिसमें इसे एम्बेड किया जा सकता है।

कम्यूटेटिव सेमिवलय के भिन्नों के अर्धवलय के तत्व तुल्यता वर्ग के रूप में लिखे गए हैं

साथ और में .

यह भी देखें

संदर्भ

  1. Hungerford, Thomas W. (1980). बीजगणित (Revised 3rd ed.). New York: Springer. pp. 142–144. ISBN 3540905189.
  2. Vinberg, Ėrnest Borisovich (2003). A course in algebra. American Mathematical Society. p. 131. ISBN 978-0-8218-8394-5.
  3. Foldes, Stephan (1994). Fundamental structures of algebra and discrete mathematics. Wiley. p. 128. ISBN 0-471-57180-6.
  4. Grillet, Pierre Antoine (2007). "3.5 Rings: Polynomials in One Variable". Abstract algebra. Springer. p. 124. ISBN 978-0-387-71568-1.
  5. Marecek, Lynn; Mathis, Andrea Honeycutt (6 May 2020). Intermediate Algebra 2e. OpenStax. §7.1.