भागफल मॉड्यूल: Difference between revisions
(Created page with "{{short description|Algebraic construction}} बीजगणित में, एक मॉड्यूल (गणित) और एक submodule दिए जा...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{short description|Algebraic construction}} | {{short description|Algebraic construction}} | ||
[[बीजगणित]] में, एक [[मॉड्यूल (गणित)]] और एक [[submodule]] दिए जाने पर, कोई उनके भागफल मॉड्यूल का निर्माण कर सकता है।<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 | authorlink=Serge Lang | title=बीजगणित| publisher=[[Springer Science+Business Media|Springer]] | series=[[Graduate Texts in Mathematics]] | year=2002 | isbn=0-387-95385-X}}</ref> नीचे वर्णित यह रचना भागफल सदिश समष्टि के समान है। यह रिंग (गणित) और [[समूह (गणित)]] के अनुरूप भागफल निर्माण से इस तथ्य से भिन्न है कि इन | [[बीजगणित]] में, एक [[मॉड्यूल (गणित)]] और एक [[submodule|उपमॉड्यूल]] दिए जाने पर, कोई उनके भागफल मॉड्यूल का निर्माण कर सकता है।<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 | authorlink=Serge Lang | title=बीजगणित| publisher=[[Springer Science+Business Media|Springer]] | series=[[Graduate Texts in Mathematics]] | year=2002 | isbn=0-387-95385-X}}</ref> नीचे वर्णित यह रचना भागफल सदिश समष्टि के समान है। यह रिंग (गणित) और [[समूह (गणित)]] के अनुरूप भागफल निर्माण से इस तथ्य से भिन्न है कि इन स्थितियों में, भागफल को परिभाषित करने के लिए उपयोग किया जाने वाला उप-स्थान परिवेश स्थान (अर्थात, भागफल वलय) के समान प्रकृति का नहीं है। एक [[ आदर्श (अंगूठी सिद्धांत) | आदर्श (रिंग सिद्धांत)]] द्वारा रिंग का भागफल है, न कि एक [[सबरिंग|उपरिंग]], और एक [[भागफल समूह]] एक सामान्य [[उपसमूह]] द्वारा समूह का भागफल है, सामान्य उपसमूह द्वारा नहीं है)। | ||
एक मॉड्यूल दिया {{mvar|A}} रिंग के ऊपर {{mvar|R}}, और एक | एक मॉड्यूल दिया {{mvar|A}} रिंग के ऊपर {{mvar|R}}, और एक उपमॉड्यूल {{mvar|B}} का {{mvar|A}}, [[भागफल स्थान (टोपोलॉजी)]] {{math|''A''/''B''}} [[तुल्यता संबंध]] द्वारा परिभाषित किया गया है | ||
: <math>a \sim b</math> [[अगर और केवल अगर]] <math>b - a \in B,</math> | : <math>a \sim b</math> [[अगर और केवल अगर|यदि और केवल]] यदि <math>b - a \in B,</math> | ||
किसी के लिए {{mvar|a, b}} में {{mvar|A}}. के तत्व {{math|''A''/''B''}} [[तुल्यता वर्ग]] हैं <math>[a] = a+B = \{a+b:b \in B\}.</math> [[समारोह (गणित)]] <math>\pi: A \to A/B</math> भेजना {{mvar|a}} में {{mvar|A}} इसके समकक्ष वर्ग के लिए {{math|''a'' + ''B''}} भागफल नक्शा या प्रक्षेपण नक्शा कहा जाता है, और एक [[मॉड्यूल समरूपता]] है। | किसी के लिए {{mvar|a, b}} में {{mvar|A}}. के तत्व {{math|''A''/''B''}} [[तुल्यता वर्ग]] हैं <math>[a] = a+B = \{a+b:b \in B\}.</math> [[समारोह (गणित)|कार्य (गणित)]] <math>\pi: A \to A/B</math> भेजना {{mvar|a}} में {{mvar|A}} इसके समकक्ष वर्ग के लिए {{math|''a'' + ''B''}} भागफल नक्शा या प्रक्षेपण नक्शा कहा जाता है, और एक [[मॉड्यूल समरूपता]] है। | ||
{{math|''A''/''B''}} पर जोड़ संचालन को दो समतुल्य वर्गों के लिए इन वर्गों के दो प्रतिनिधियों के योग के समतुल्य वर्ग के रूप में परिभाषित किया गया है; और {{mvar|R}} के तत्वों द्वारा {{math|''A''/''B''}} के तत्वों का अदिश गुणन इसी तरह परिभाषित किया गया है। ध्यान दें कि यह दिखाना होगा कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं। तब {{math|''A''/''B''}} स्वयं एक {{mvar|R}}-मॉड्यूल बन जाता है, जिसे भागफल मॉड्यूल कहा जाता है। सभी {{mvar|a, b}} में {{mvar|A}} और {{mvar|r}} में {{mvar|R}} के लिए प्रतीकों में: | |||
:<math>\begin{align} | :<math>\begin{align} | ||
& (a+B)+(b+B) := (a+b)+B, \\ | & (a+B)+(b+B) := (a+b)+B, \\ | ||
Line 17: | Line 17: | ||
== उदाहरण == | == उदाहरण == | ||
रिंग पर विचार करें {{tmath|\R}} [[वास्तविक संख्या]]ओं का, और {{tmath|\R}}-मापांक <math>A=\R[X],</math> वह वास्तविक गुणांकों वाला बहुपद वलय है। उपमॉड्यूल पर विचार करें | |||
:<math>B = (X^2+1) \R[X]</math> | :<math>B = (X^2+1) \R[X]</math> | ||
{{mvar|A}} का, अर्थात {{math|''X''{{sup| 2}} + 1}} से विभाज्य सभी बहुपदों का सबमॉड्यूल यह इस प्रकार है कि इस मॉड्यूल द्वारा निर्धारित तुल्यता संबंध होगा | |||
:{{math|''P''(''X'') ~ ''Q''(''X'')}} | :{{math|''P''(''X'') ~ ''Q''(''X'')}} यदि और केवल यदि {{math|''P''(''X'')}} और {{math|''Q''(''X'')}} को {{math|''X''{{sup| 2}} + 1}} से विभाजित करने पर समान शेषफल प्राप्त होता है | ||
: | |||
इसलिए, भागफल मॉड्यूल | इसलिए, भागफल मॉड्यूल {{math|''A''/''B''}} में, {{math|''X''{{sup| 2}} + 1}} 0 के समान है; इसलिए {{math|1=''X''{{sup| 2}} + 1 = 0}} सेट करके {{tmath|\R[X]}} से प्राप्त {{math|''A''/''B''}} को देखा जा सकता है। यह भागफल मॉड्यूल [[जटिल संख्या|जटिल]] संख्याओं के लिए [[समरूप]]है, वास्तविक संख्या {{tmath|\R.}}पर एक मॉड्यूल के रूप में देखा जाता है। . | ||
== यह भी देखें == | == यह भी देखें == | ||
* गुणक समूह | * गुणक समूह | ||
* भागफल की | * भागफल की रिंग | ||
* [[भागफल (सार्वभौमिक बीजगणित)]] | * [[भागफल (सार्वभौमिक बीजगणित)]] | ||
Revision as of 16:17, 17 May 2023
बीजगणित में, एक मॉड्यूल (गणित) और एक उपमॉड्यूल दिए जाने पर, कोई उनके भागफल मॉड्यूल का निर्माण कर सकता है।[1][2] नीचे वर्णित यह रचना भागफल सदिश समष्टि के समान है। यह रिंग (गणित) और समूह (गणित) के अनुरूप भागफल निर्माण से इस तथ्य से भिन्न है कि इन स्थितियों में, भागफल को परिभाषित करने के लिए उपयोग किया जाने वाला उप-स्थान परिवेश स्थान (अर्थात, भागफल वलय) के समान प्रकृति का नहीं है। एक आदर्श (रिंग सिद्धांत) द्वारा रिंग का भागफल है, न कि एक उपरिंग, और एक भागफल समूह एक सामान्य उपसमूह द्वारा समूह का भागफल है, सामान्य उपसमूह द्वारा नहीं है)।
एक मॉड्यूल दिया A रिंग के ऊपर R, और एक उपमॉड्यूल B का A, भागफल स्थान (टोपोलॉजी) A/B तुल्यता संबंध द्वारा परिभाषित किया गया है
- यदि और केवल यदि
किसी के लिए a, b में A. के तत्व A/B तुल्यता वर्ग हैं कार्य (गणित) भेजना a में A इसके समकक्ष वर्ग के लिए a + B भागफल नक्शा या प्रक्षेपण नक्शा कहा जाता है, और एक मॉड्यूल समरूपता है।
A/B पर जोड़ संचालन को दो समतुल्य वर्गों के लिए इन वर्गों के दो प्रतिनिधियों के योग के समतुल्य वर्ग के रूप में परिभाषित किया गया है; और R के तत्वों द्वारा A/B के तत्वों का अदिश गुणन इसी तरह परिभाषित किया गया है। ध्यान दें कि यह दिखाना होगा कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं। तब A/B स्वयं एक R-मॉड्यूल बन जाता है, जिसे भागफल मॉड्यूल कहा जाता है। सभी a, b में A और r में R के लिए प्रतीकों में:
उदाहरण
रिंग पर विचार करें वास्तविक संख्याओं का, और -मापांक वह वास्तविक गुणांकों वाला बहुपद वलय है। उपमॉड्यूल पर विचार करें
A का, अर्थात X 2 + 1 से विभाज्य सभी बहुपदों का सबमॉड्यूल यह इस प्रकार है कि इस मॉड्यूल द्वारा निर्धारित तुल्यता संबंध होगा
- P(X) ~ Q(X) यदि और केवल यदि P(X) और Q(X) को X 2 + 1 से विभाजित करने पर समान शेषफल प्राप्त होता है
इसलिए, भागफल मॉड्यूल A/B में, X 2 + 1 0 के समान है; इसलिए X 2 + 1 = 0 सेट करके से प्राप्त A/B को देखा जा सकता है। यह भागफल मॉड्यूल जटिल संख्याओं के लिए समरूपहै, वास्तविक संख्या पर एक मॉड्यूल के रूप में देखा जाता है। .
यह भी देखें
- गुणक समूह
- भागफल की रिंग
- भागफल (सार्वभौमिक बीजगणित)
संदर्भ
- ↑ Dummit, David S.; Foote, Richard M. (2004). सार बीजगणित (3rd ed.). John Wiley & Sons. ISBN 0-471-43334-9.
- ↑ Lang, Serge (2002). बीजगणित. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X.