अंशों का क्षेत्र: Difference between revisions
(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: | ||
[[सार बीजगणित|अमूर्त बीजगणित]] में, [[अभिन्न डोमेन|समाकलन प्रभावक्षेत्र]] के '''भिन्नों का क्षेत्र''' सबसे लघु [[गणित]] क्षेत्र है जिसमें इसे अंतर्निहित ([[एम्बेडिंग]]) किया जा सकता है। भिन्नों के क्षेत्र का निर्माण [[पूर्णांक]]ों के समाकलन प्रभावक्षेत्र और परिमेय संख्याओं के क्षेत्र के बीच के संबंध पर आधारित है। सहज रूप से, इसमें समाकलन प्रभावक्षेत्र तत्वों के बीच अनुपात होते हैं। | |||
[[सार बीजगणित]] में, | |||
भिन्नों का क्षेत्र के <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>\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>\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>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>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>R:=\{a+b\mathrm{i} \mid a,b \in \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>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| | {{main|स्थानीयकरण (विनिमेय बीजगणित)}} | ||
किसी भी क्रमविनिमेय | किसी भी क्रमविनिमेय वलय के लिए <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>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>R</math>, तब <math>S^{-1}R</math> को कुल भागफल वलय कहा जाता है।<br/>समाकलन प्रभावक्षेत्र का कुल भागफल वलय इसके भिन्नों का क्षेत्र होता है, लेकिन कुल भागफल वलय को किसी भी क्रमविनिमेय वलय के लिए परिभाषित किया जाता है। | ||
ध्यान दें कि इसकी अनुमति है <math>S</math> 0 सम्मिलित करने के लिए, लेकिन उस स्थिति में <math>S^{-1}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}} | ||
* [[अंशों का कुल वलय]] | * [[अंशों का कुल वलय|भिन्नों का कुल वलय]] | ||
== संदर्भ == | == संदर्भ == | ||
{{reflist}} | {{reflist}} | ||
[[Category: | [[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 सम्मिलित करने के लिए, लेकिन उस स्थिति में नगण्य
वलय होगी।
भिन्नों का अर्धक्षेत्र
शून्य विभाजक के बिना एक कम्यूटेटिव अर्धवलय के भिन्नों का अर्धक्षेत्र सबसे छोटा अर्धक्षेत्र है जिसमें इसे एम्बेड किया जा सकता है।
कम्यूटेटिव सेमिवलय के भिन्नों के अर्धवलय के तत्व तुल्यता वर्ग के रूप में लिखे गए हैं
साथ और में .
यह भी देखें
- अयस्क की स्थिति; गैर क्रमविनिमेय मामले में भिन्नों के निर्माण से संबंधित है।
- वलय के ऊपर प्रोजेक्टिव लाइन; वैकल्पिक संरचना समाकलन प्रभावक्षेत्र तक सीमित नहीं है।[relevant?]
- भिन्नों का कुल वलय
संदर्भ
- ↑ Hungerford, Thomas W. (1980). बीजगणित (Revised 3rd ed.). New York: Springer. pp. 142–144. ISBN 3540905189.
- ↑ Vinberg, Ėrnest Borisovich (2003). A course in algebra. American Mathematical Society. p. 131. ISBN 978-0-8218-8394-5.
- ↑ Foldes, Stephan (1994). Fundamental structures of algebra and discrete mathematics. Wiley. p. 128. ISBN 0-471-57180-6.
- ↑ Grillet, Pierre Antoine (2007). "3.5 Rings: Polynomials in One Variable". Abstract algebra. Springer. p. 124. ISBN 978-0-387-71568-1.
- ↑ Marecek, Lynn; Mathis, Andrea Honeycutt (6 May 2020). Intermediate Algebra 2e. OpenStax. §7.1.