View source for भागफल वलय

{{short description|Reduction of a ring by one of its ideals}}
{{Ring theory sidebar|Basic}}

[[ अंगूठी सिद्धांत | रिंग सिद्धांत]] में, अमूर्त बीजगणित की एक शाखा एक भागफल वलय, जिसे कारक वलय, अंतर वलय के रूप में भी जाना जाता है<ref>{{cite book | author-link=Nathan Jacobson | last1=Jacobson | first1=Nathan | title=रिंगों की संरचना| publisher=American Mathematical Soc. | year=1984 | edition=revised | isbn=0-821-87470-5}}</ref> या अवशिष्ट वर्ग वलय, [[समूह सिद्धांत]] में [[भागफल समूह]] और रेखीय बीजगणित में [[भागफल स्थान (रैखिक बीजगणित)]] के समान एक निर्माण है।<ref>{{cite book | last1=Dummit | first1=David S. | last2=Foote | first2=Richard M. | title=सार बीजगणित| publisher=[[John Wiley & Sons]] | year=2004 | edition=3rd | isbn=0-471-43334-9}}</ref><ref>{{cite book | last=Lang | first=Serge | author-link=Serge Lang | title=बीजगणित| publisher=[[Springer Science+Business Media|Springer]] | series=[[Graduate Texts in Mathematics]] | year=2002 | isbn=0-387-95385-X}}</ref> यह भागफल ([[सार्वभौमिक बीजगणित]]) का एक विशिष्ट उदाहरण है, जैसा कि सार्वभौमिक बीजगणित की सामान्य सेटिंग से देखा जाता है। {{math|''R''}} में एक वलय {{math|''R''}} और एक दो तरफा आदर्श {{math|''I''}} से प्रारंभ होकर, एक नई वलय, भागफल वलय {{math|''R'' / ''I''}} का निर्माण किया जाता है, जिसके तत्व {{math|''R''}} में {{math|''I''}} के सहसमुच्चय हैं जो विशेष + और ⋅ संचालन के अधीन हैं। (केवल अंश स्लैश "/" का उपयोग कोयंटेंट रिंग नोटेशन में किया जाता है, क्षैतिज अंश बार नहीं।)

भागफल के वलय एक [[अभिन्न डोमेन]] के साथ-साथ एक रिंग के स्थानीयकरण द्वारा प्राप्त उद्धरण के अधिक सामान्य [[ अंगूठी सिद्धांत |रिंग]] से तथाकथित भागफल क्षेत्र, या अंशों के क्षेत्र से अलग हैं।

== औपचारिक भागफल वलय निर्माण ==
<math>R</math> में एक वलय <math>R</math> और दो तरफा आदर्श <math>I</math> दिए जाने पर, हम <math>R</math> पर एक तुल्यता संबंध <math>\sim</math> को इस प्रकार परिभाषित कर सकते हैं:
:<math>a\sim b</math> [[अगर और केवल अगर|यदि और केवल]] यदि <math>a-b</math> , <math>I</math> में है 
आदर्श गुणों का उपयोग करके, यह जाँचना कठिन नहीं है <math>\sim</math> एक संगति संबंध है। <math>a\sim b</math> के स्थिति में, हम कहते हैं कि <math>a</math> और <math>b</math> सर्वांगसम मॉड्यूल <math>I</math> हैं। <math>R</math> में तत्व <math>a</math> का तुल्यता वर्ग द्वारा दिया गया है

: <math>[a]=a+I := \{a+r: r\in I\}</math>.

इस तुल्यता वर्ग को कभी-कभी <math>a \bmod I</math> के रूप में भी लिखा जाता है और इसे <math>a</math> "मॉड्यूल <math>I</math> का अवशेष वर्ग" कहा जाता है।

ऐसे सभी तुल्यता वर्गों के समुच्चय को {{nowrap|<math>R/I</math>}} द्वारा निरूपित किया जाता है ;यदि कोई परिभाषित करता है तो यह एक वलय, कारक वलय या <math>R</math> मोडुलो <math>I</math> का भागफल वलय बन जाता है
* <math>(a+I)+(b+I)=(a+b)+I</math>;
* <math>(a+I)(b+I)=(ab)+I</math>.
(यहाँ किसी को यह जाँचना है कि ये परिभाषाएँ [[अच्छी तरह से परिभाषित]] हैं। सहसमुच्चय और भागफल समूह की तुलना करें।) {{nowrap|<math>R/I</math>}} का शून्य-तत्व {{nowrap|<math>\bar{0}=(0+I)=I</math>}} है, और गुणक तत्समक {{nowrap|<math>\bar{1} = (1+I)</math>}} है .

{{nowrap|<math>p(a)=a+I</math>}} द्वारा परिभाषित <math>R</math> से {{nowrap|<math>R/I</math>}} तक मानचित्र <math>p</math> एक विशेषण वलय समरूपता है, जिसे कभी-कभी प्राकृतिक भागफल मानचित्र या ''[[विहित समरूपता]]'' कहा जाता है।

== उदाहरण ==
* भागफल की रिंग {{nowrap|''R'' / {0}}{{null}}} प्राकृतिक रूप से R के लिए आइसोमॉर्फिक है, और {{nowrap|''R'' / ''R''}} शून्य वलय {0} है, क्योंकि, हमारी परिभाषा के अनुसार, R में किसी भी r के लिए, हमारे पास वह है {{nowrap|1=[''r''] = ''r'' + "R" := {''r'' + ''b'' : ''b'' ∈ "R"}}{{null}}<nowiki>}}, जो </nowiki>स्वयं R के समान है। यह रिंग के नियम के साथ फिट बैठता है कि आदर्श I जितना बड़ा होगा, भागफल की रिंग उतनी ही छोटी होगी {{nowrap|''R'' / ''I''}}. यदि I, R की एक उचित गुणजावली है, अर्थात, {{nowrap|''I'' ≠ ''R''}}, तब {{nowrap|''R'' / ''I''}} शून्य वलय नहीं है।
*[[पूर्णांक]] Z के वलय और [[सम संख्या]]ओं के आदर्श पर विचार करें, जिसे 2Z द्वारा निरूपित किया जाता है। फिर भागफलवलय {{nowrap|'''Z''' / 2'''Z'''}} में केवल दो तत्व होते हैं, कोसेट {{nowrap|0+2'''Z'''}} जिसमें सम संख्याएँ होती हैं और कोसेट {{nowrap|1+2'''Z'''}} जिसमें विषम संख्याएँ होती हैं; परिभाषा को प्रयुक्त करते हुए {{nowrap|1=[''z''] = ''z'' + 2'''Z''' := {''z'' + 2''y'': 2''y'' ∈ 2'''Z'''}{{null}}}}, जहाँ 2Z सम संख्याओं की गुणजावली है। यह दो तत्वों, '''F'''<sub>2</sub> के साथ परिमित क्षेत्र के लिए स्वाभाविक रूप से समरूप है। सहज रूप से: यदि आप सभी सम संख्याओं को 0 मानते हैं, तो प्रत्येक पूर्णांक या तो 0 है (यदि यह सम है) या 1 (यदि यह विषम है और इसलिए एक सम संख्या से 1 से भिन्न है)। भागफल वलय {{nowrap|'''Z''' / ''n'''''Z'''}} (जिसमें n तत्व हैं) में [[मॉड्यूलर अंकगणित]] अनिवार्य रूप से अंकगणित है।
*अब चर ''X'' में वास्तविक गुणांक, '''R'''[''X''], और आदर्श {{nowrap|1=''I'' = (''X''{{i sup|2}} + 1)}} के साथ बहुपदों के वलय पर विचार करें, जिसमें बहुपद {{nowrap|''X''{{i sup|2}} + 1}} के सभी गुणक सम्मिलित हैं। भागफल वलय {{nowrap|'''R'''[''X''] / (''X''{{i sup|2}} + 1)}} जटिल संख्या C के क्षेत्र के लिए स्वाभाविक रूप से समरूप है, जिसमें वर्ग [X] काल्पनिक इकाई i की भूमिका निभा रहा है। कारण यह है कि हमने {{nowrap|1=''X''{{i sup|2}} + 1 = 0}}, जिससे {{nowrap|1=''X''{{i sup|2}} = −1}} को "विवश " किया, जो कि i की परिभाषित संपत्ति है।
*पिछले उदाहरण का सामान्यीकरण करते हुए, भागफल के वलय अधिकांशतः क्षेत्र विस्तार के निर्माण के लिए उपयोग किए जाते हैं। मान लीजिए K कुछ क्षेत्र है और f K [X] में एक अलघुकरणीय बहुपद है। फिर {{nowrap|1=''L'' = ''K''[''X''] / (''f'')}} एक ऐसा क्षेत्र है जिसका K पर न्यूनतम बहुपद f है, जिसमें K के साथ-साथ एक तत्व {{nowrap|1=''x'' = ''X'' + (''f'')}} भी सम्मिलित है।
*पिछले उदाहरण का एक महत्वपूर्ण उदाहरण परिमित क्षेत्रों का निर्माण है। उदाहरण के लिए क्षेत्र पर विचार करें {{nowrap|1='''F'''<sub>3</sub> = '''Z''' / 3'''Z'''}} तीन तत्वों के साथ। बहुपद {{nowrap|1=''f''(''X'') = ''X''{{i sup|2}} + 1}} F<sub>3</sub> के ऊपर अलघुकरणीय है (क्योंकि इसकी कोई जड़ नहीं है), और हम भागफल वलय {{nowrap|'''F'''<sub>3</sub>[''X''] / (''f'')}} का निर्माण कर सकते हैं यह {{nowrap|1=3<sup>2</sup> = 9}} तत्वों वाला एक क्षेत्र है, जिसे '''F'''<sub>9</sub> द्वारा दर्शाया गया है। अन्य परिमित क्षेत्रों का निर्माण इसी तरह से किया जा सकता है
*बीजगणितीय किस्मों के निर्देशांक वलय बीजगणितीय ज्यामिति में भागफल वलय के महत्वपूर्ण उदाहरण हैं। एक साधारण स्थिति के रूप में, वास्तविक विविधता {{nowrap|1=''V'' = {(''x'', ''y'') {{!}} ''x''<sup>2</sup> = ''y''<sup>3</sup>&hairsp;}{{null}}}} पर विचार करें वास्तविक विमान R2 के उपसमुच्चय के रूप में। V पर परिभाषित वास्तविक-मूल्यवान बहुपद कार्यों के वलय को भागफल वलय {{nowrap|'''R'''[''X'',''Y''] / (''X''{{i sup|2}} − ''Y''<sup>3</sup>)}} से पहचाना जा सकता है और यह V का निर्देशांक वलय है। विविधता V की अब इसकी निर्देशांक वलय का अध्ययन करके जांच की जाती है .
*मान लीजिए M एक C<sup>∞</sup>-मैनिफोल्ड है, और p M का एक बिंदु है। M पर परिभाषित सभी C<sup>∞</sup>-कार्य के रिंग {{nowrap|1=''R'' = C<sup>∞</sup>(''M'')}} पर विचार करें और मुझे उन कार्यों से युक्त R में आदर्श होने दें जो f p के कुछ निकट U में समान रूप से शून्य हैं (जहां U f पर निर्भर हो सकता है)। तब भागफल वलय R / I, p पर M परC<sup>∞</sup>-कार्यों के कीटाणुओं का वलय है।
* [[अति वास्तविक संख्या]] *'R' के परिमित तत्वों के वलय F पर विचार करें। इसमें सभी अतिवास्तविक संख्याएँ होती हैं जो एक मानक वास्तविक से एक अपरिमेय राशि से भिन्न होती हैं, या समतुल्य: सभी अतिवास्तविक संख्याएँ x जिसके लिए {{nowrap|−''n'' < ''x'' < ''n''}} के साथ एक मानक पूर्णांक n उपस्थित होता है। *'R' में सभी अपरिमेय संख्याओं का सेट I, 0 के साथ, F में एक आदर्श है, और भागफल वलय {{nowrap|''F'' / ''I''}} वास्तविक संख्या R के लिए समरूप है। समाकृतिकता ''F'' के प्रत्येक तत्व ''x'' को ''x'' के मानक भाग कार्य से जोड़कर प्रेरित किया जाता है, अर्थात अद्वितीय वास्तविक संख्या जो ''से भिन्न होती है x'' एक अपरिमेय द्वारा वास्तव में, एक ही परिणाम प्राप्त होता है, अर्थात् '''R''', यदि कोई परिमित हाइपररेशनल्स (जिससे [[hyperinteger|अति पूर्णांक]] की एक जोड़ी का अनुपात) के रिंग ''F'' से प्रारंभ होता है, तो वास्तविक संख्याओं का निर्माण देखें।

=== जटिल विमान का परिवर्तन ===
भागफल {{nowrap|'''R'''[''X''] / (''X'')}}, {{nowrap|'''R'''[X] / (''X'' + 1)}}, और {{nowrap|'''R'''[''X''] / (''X'' − 1)}} सभी R के लिए समरूप हैं और प्रारंभ में बहुत कम रुचि प्राप्त करते हैं। किंतु ध्यान दें {{nowrap|'''R'''[''X''] / (''X''{{i sup|2}})}} को ज्यामितीय बीजगणित में [[दोहरी संख्या]] वाला तल कहा जाता है। इसमें R[''X''] के एक तत्व को ''X''<sup>2</sup> द्वारा घटाने के बाद अवशेष के रूप में केवल रैखिक द्विपद होते हैं।. जब भी बीजगणित में एक [[वास्तविक रेखा]] और एक [[ nilpotent |निलपोटेंट]] होता है, तो एक जटिल विमान की यह भिन्नता उप-लजेब्रा के रूप में उत्पन्न होती है।

इसके अतिरिक्त , वलय भागफल {{nowrap|'''R'''[''X''] / (''X''{{i sup|2}} − 1)}} {{nowrap|'''R'''[''X''] / (''X'' + 1)}} और {{nowrap|'''R'''[''X''] / (''X'' − 1)}} में विभाजित होता है, इसलिए इस वलय को अधिकांशतः प्रत्यक्ष योग के रूप में देखा जाता है {{nowrap|'''R''' ⊕ '''R'''}} फिर भी, जटिल संख्या {{nowrap|1=''z'' = ''x'' + ''y'' j}} पर भिन्नता का सुझाव j द्वारा {{nowrap|''X''{{i sup|2}} − 1}} की जड़ के रूप में दिया जाता है, i की तुलना में {{nowrap|1=''X''{{i sup|2}} + 1 = 0}} की जड़ के रूप में विभाजित-जटिल संख्याओं का यह विमान प्रत्यक्ष को सामान्य करता है योग {{nowrap|'''R''' ⊕ '''R'''}} 2-स्पेस के लिए आधार{{nowrap|{1, j}{{null}}}}प्रदान करके जहां बीजगणित की पहचान शून्य से इकाई दूरी पर है। इस आधार पर एक इकाई अतिपरवलय की तुलना साधारण जटिल तल के इकाई वृत्त से की जा सकती है।

=== चतुष्कोण और विविधता ===
मान लीजिए एक्स और वाई दो हैं, गैर-कम्यूटिंग, [[अनिश्चित (चर)]] एस और [[मुक्त बीजगणित]] {{nowrap|'''R'''{{angbr|''X'', ''Y''}}}} बनाते हैं फिर 1843 के हैमिल्टन के चतुष्कोणों को इस रूप में ढाला जा सकता है
:<math>\mathbf{R} \langle X, Y \rangle / ( X^2 + 1, Y^2 + 1, XY + YX ) .</math>
यदि {{nowrap|''Y''{{i sup|2}} − 1}} को {{nowrap|''Y''{{i sup|2}} + 1}} स्थानापन्न किया जाता है , तो एक विभाजित-चतुर्भुजों की रिंग प्राप्त करता है। [[विरोधी विनिमेय संपत्ति]] {{nowrap|1=''YX'' = −''XY''}} का अर्थ है कि XY का वर्ग है

: (XY)(XY) = X(YX)Y = −X(XY)Y = −(XX)(YY) = −(−1)(+1) = +1।

दोनों द्विघात द्विपदों में प्लस के लिए माइनस को प्रतिस्थापित करने से भी विभाजन-चतुर्भुज बनते हैं।

तीन प्रकार के द्विचतुर्भुजों को तीन अनिश्चित '''R'''{{angbr|''X'', ''Y'', ''Z''}} के साथ मुक्त बीजगणित का उपयोग करके और उपयुक्त आदर्शों का निर्माण करके भी भागफल के रूप में लिखा जा सकता है।

== गुण ==
स्पष्ट रूप से, यदि R क्रमविनिमेय वलय है, तो {{nowrap|''R'' / ''I''}} भी क्रमविनिमेय है; चूँकि , इसका विलोम सामान्य रूप से सत्य नहीं है।

प्राकृतिक भागफल मानचित्र p में इसकी [[गिरी (बीजगणित)]] के रूप में I है; चूंकि प्रत्येक रिंग होमोमोर्फिज्म का कर्नेल एक दो-तरफा आदर्श है, इसलिए हम कह सकते हैं कि दो-तरफा आदर्श वास्तव में रिंग होमोमोर्फिज्म के कर्नेल हैं।

रिंग होमोमोर्फिम्स, कर्नेल और कोशेंट रिंग्स के बीच घनिष्ठ संबंध को संक्षेप में प्रस्तुत किया जा सकता है: {{nowrap|R / I}} रिंग होमोमोर्फिज्म को परिभाषित किया गया है अनिवार्य रूप से R पर परिभाषित वलय समरूपता के समान हैं जो I पर लुप्त हो जाते हैं (अर्थात शून्य हैं)। अधिक स्पष्ट रूप से, R में दो तरफा आदर्श I और एक वलय समरूपता दी गई है। {{nowrap|''f'' : ''R'' → ''S''}} जिसकी गिरी में I होता है, ठीक एक वलय समरूपता उपस्थित होती है {{nowrap|''g'' : ''R'' / ''I'' → ''S''}} साथ {{nowrap|1=''gp'' = ''f''}} (जहाँ p प्राकृतिक भागफल मानचित्र है)। यहाँ मानचित्र g सुपरिभाषित नियम {{nowrap|1=''g''([''a'']) = ''f''(''a'')}} द्वारा दिया गया है सभी के लिए ''R'' में। वास्तव में, इस [[सार्वभौमिक संपत्ति]] का उपयोग भागफल के वलय और उनके प्राकृतिक भागफल मानचित्रों को परिभाषित करने के लिए किया जा सकता है

उपरोक्त के परिणामस्वरूप, मौलिक कथन प्राप्त होता है: प्रत्येक रिंग होमोमोर्फिज्म f : R → S भागफल रिंग {{nowrap|''R'' / ker(''f'')}} और छवि im (f) के बीच एक रिंग आइसोमोर्फिज्म को प्रेरित करता है।(यह भी देखें: [[समरूपता पर मौलिक प्रमेय]]।)

R और के आदर्श {{nowrap|1=''R'' / ''I''}} निकटता से संबंधित हैं: प्राकृतिक भागफल नक्शा R के दो तरफा आदर्शों के बीच एक आक्षेप प्रदान करता है जिसमें I और {{nowrap|''R'' / ''I''}} दो तरफा आदर्श सम्मिलित हैं I (बाएं और दाएं आदर्शों के लिए भी यही सच है)। दो तरफा आदर्श के बीच यह संबंध संगत भागफल के वलय के बीच एक संबंध तक फैला हुआ है: यदि ''M'' ''R'' में दो तरफा आदर्श है जिसमें मैं सम्मिलित है, और हम लिखते हैं {{nowrap|''M'' / ''I''}} इसी आदर्श के लिए {{nowrap|''R'' / ''I''}} (अर्थात {{nowrap|1=''M'' / ''I'' = ''p''(''M'')}}), भागफल वलय {{nowrap|1=''R'' / ''M''}} और {{nowrap|(''R'' / ''I'') / (''M'' / ''I'')}} {{nowrap|''a'' + ''M'' ↦ (''a'' + ''I'') + ''M'' / ''I''}} मानचित्रण (अच्छी तरह से परिभाषित!) के माध्यम से स्वाभाविक रूप से आइसोमोर्फिक हैं . '''स्वाभाविक रूप से (अच्छी तरह से परिभाषित!) मैपिंग के माध्यम से आइसोमॉर्फिक हैं {{nowrap|''a'' + ''M'' ↦ (''a'' + ''I'') + ''M'' / ''I''}}.'''

[[क्रमविनिमेय बीजगणित]] और बीजगणितीय ज्यामिति में निम्नलिखित तथ्य उपयोगी सिद्ध होते हैं: {{nowrap|1=''R'' ≠ {0}{{null}}}} क्रमविनिमेय, {{nowrap|''R'' / ''I''}} एक क्षेत्र (गणित) है यदि और केवल यदि I [[अधिकतम आदर्श]] है, जबकि {{nowrap|''R'' / ''I''}} एक अभिन्न डोमेन है यदि और केवल यदि I एक प्रमुख आदर्श है। इसी तरह के कई कथन आदर्श I के गुणों को भागफल वलय {{nowrap|''R'' / ''I''}} के गुणों से संबंधित करते हैं .

[[चीनी शेष प्रमेय]] में कहा गया है कि, यदि आदर्श I जोड़ीदार कोप्राइम या सामान्यीकरण आदर्श ''I''<sub>1</sub>, ..., ''I<sub>k</sub>'' का प्रतिच्छेदन (या समतुल्य, उत्पाद) है तो भागफल वलय {{nowrap|''R'' / ''I''}} भागफल के वलय के गुणनफल के लिए {{nowrap|''R'' / ''I<sub>n</sub>''}}, {{nowrap|1=''n'' = 1, ..., ''k''}} समरूप है

== एक रिंग पर बीजगणित के लिए ==
क्रमविनिमेय वलय R के ऊपर एक [[साहचर्य बीजगणित]] A स्वयं एक वलय है। यदि I A में एक आदर्श है (R-गुणन के तहत बंद), तो A/I को R के ऊपर एक बीजगणित की संरचना विरासत में मिली है और यह 'भागफल बीजगणित' है।


'''र्श I जोड़ीदार कोप्राइम या सामान्यीकरण आदर्श ''I''<sub>1</sub>, ..., ''I<sub>k</sub>'' का प्रतिच्छेदन (या समतुल्य, उत्पाद) है तो भागफल वलय {{nowrap|''R'' / ''I''}} भागफल के वलय के''' 

== यह भी देखें                                ==
* [[एसोसिएटेड ग्रेडेड रिंग]]
* [[अवशेष क्षेत्र]]
* गोल्डी की प्रमेय
* [[भागफल मॉड्यूल]]

==टिप्पणियाँ==
{{reflist}}


== आगे के संदर्भ ==
* एफ. काश (1978) मोडुलन अंड रिंग, डीएआर वालेस द्वारा अनुवादित (1982) मॉड्यूल्स एंड रिंग्स, [[अकादमिक प्रेस]], पृष्ठ 33।
* नील एच. मैककॉय (1948) रिंग्स एंड आइडियल्स, §13 रेसिड्यू क्लास रिंग्स, पेज 61, कैरस मैथमेटिकल मोनोग्राफ्स #8, [[अमेरिका का गणितीय संघ]]
* {{cite book|author=Joseph Rotman | title =गाल्वा थ्योरी (दूसरा संस्करण)| publisher=Springer|pages=21–3| year=1998 | isbn=0-387-98541-7}} }
* बी.एल. वैन डेर वेर्डन (1970) बीजगणित, फ्रेड ब्लम और जॉन आर शुलेनबर्गर द्वारा अनुवादित, फ्रेडरिक उंगर प्रकाशन, न्यूयॉर्क। अध्याय 3.5 देखें, आदर्श। अवशेष वर्ग के छल्ले, पृष्ठ 47-51।

==बाहरी संबंध==
* {{springer|title=Quotient ring|id=p/q076920}}
* [http://www.math.niu.edu/~beachy/aaol/rings.html#ideals  Ideals and factor rings] from John Beachy's ''Abstract Algebra Online''
[[Category: भागफल वस्तुएं | अंगूठी]] [[Category: रिंग थ्योरी]] 



[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]