भागफल (सार्वभौमिक बीजगणित): Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Result of partitioning the elements of an algebraic structure using a congruence relation}} {{for|quotient associative algebras over a ring|quotient ring}}...")
 
No edit summary
Line 1: Line 1:
{{Short description|Result of partitioning the elements of an algebraic structure using a congruence relation}}
{{Short description|Result of partitioning the elements of an algebraic structure using a congruence relation}}
{{for|quotient associative algebras over a ring|quotient ring}}
एक वलय पर भागफल साहचर्य बीजगणित के लिए, भागफल वलय देखें।
गणित में, एक भागफल बीजगणित एक सर्वांगसम संबंध का उपयोग करते हुए एक [[बीजगणितीय संरचना]] के तत्वों के विभाजन का परिणाम है।
भागफल बीजगणित को कारक बीजगणित भी कहा जाता है। यहाँ, [[सर्वांगसमता संबंध]] एक [[तुल्यता संबंध]] होना चाहिए जो नीचे वर्णित औपचारिक अर्थों में बीजगणित के सभी संक्रियाओं (गणित) के साथ अतिरिक्त रूप से ''संगत'' हो।
इसके [[तुल्यता वर्ग]] दी गई बीजगणितीय संरचना के तत्वों को विभाजित करते हैं। भागफल बीजगणित में ये वर्ग इसके तत्व हैं, और वर्गों को बीजगणितीय संरचना देने के लिए संगतता स्थितियों का उपयोग किया जाता है।<ref>A. G. Kurosh, Lectures on General Algebra, Translated from the Russian edition (Moscow, 1960), Chelsea, New York, 1963.</ref>
भागफल बीजगणित सार का विचार एक आम धारणा में [[ अंगूठी सिद्धांत ]] के भागफल के छल्ले की भागफल संरचना, [[समूह सिद्धांत]] के [[भागफल समूह]], रैखिक बीजगणित के [[भागफल स्थान (रैखिक बीजगणित)]] और एक सामान्य ढांचे में [[प्रतिनिधित्व सिद्धांत]] के [[भागफल मॉड्यूल]] का विचार है।


== संगत संबंध ==
गणित में, एक भागफल बीजगणित एक सर्वांगसम संबंध का उपयोग करते हुए एक [[बीजगणितीय संरचना]] के तत्वों के विभाजन का परिणाम है। भागफल बीजगणित को कारक बीजगणित भी कहा जाता है। यहाँ, [[सर्वांगसमता संबंध]] एक [[तुल्यता संबंध]] होना चाहिए जो नीचे वर्णित औपचारिक अर्थों में बीजगणित के सभी संक्रियाओं (गणित) के साथ अतिरिक्त रूप से ''संगत'' हो। इसके [[तुल्यता वर्ग|समानता वर्ग]] दी गई बीजगणितीय संरचना के तत्वों को विभाजित करते हैं। भागफल बीजगणित में ये वर्ग इसके तत्व के रूप मे होते हैं, और वर्गों को बीजगणितीय संरचना देने के लिए संगतता स्थितियों का उपयोग किया जाता है, जो बीजीय संरचना देने के लिए किया जाता है।<ref>A. G. Kurosh, Lectures on General Algebra, Translated from the Russian edition (Moscow, 1960), Chelsea, New York, 1963.</ref>
माना A बीजगणित के अवयवों का समुच्चय है <math>\mathcal{A}</math>, और E को सेट A पर एक तुल्यता संबंध होने दें। संबंध E को एक n-ary ऑपरेशन f के साथ संगत (या प्रतिस्थापन संपत्ति के संबंध में) कहा जाता है, यदि <math>(a_i,\; b_i) \in E</math> के लिए <math>1 \le i \le n</math> तात्पर्य <math>(f (a_1, a_2, \ldots, a_n), f (b_1, b_2, \ldots, b_n)) \in E</math> किसी के लिए <math>a_i,\; b_i \in A</math> साथ <math>1 \le i \le n</math>. एक बीजगणित के सभी कार्यों के साथ संगत एक तुल्यता संबंध को इस बीजगणित के संबंध में सर्वांगसमता कहा जाता है।
 
भागफल बीजगणित अमूर्त का विचार एक सामान्य धारणा में [[ अंगूठी सिद्धांत | वलय सिद्धांत]] के भागफल के वलय की भागफल संरचना, [[समूह सिद्धांत]] के [[भागफल समूह]], रैखिक बीजगणित के [[भागफल स्थान (रैखिक बीजगणित)]] और एक सामान्य रूप में [[प्रतिनिधित्व सिद्धांत]] के [[भागफल मॉड्यूल|भागफल इकाई]] का विचार है।
 
== संयोज्य संबंध ==
माना A बीजगणित के अवयवों का समुच्चय <math>\mathcal{A}</math> है, और मान लीजिए E समुच्चय A पर एक तुल्यता संबंध है,संबंध E को n-ary संक्रिया f के साथ संगत (या उसके संबंध में प्रतिस्थापन गुण है) कहा जाता है, यदि <math>(a_i,\; b_i) \in E</math> के लिए <math>1 \le i \le n</math> तात्पर्य <math>(f (a_1, a_2, \ldots, a_n), f (b_1, b_2, \ldots, b_n)) \in E</math> के लिए <math>a_i,\; b_i \in A</math> साथ <math>1 \le i \le n</math> है। बीजगणित के सभी फलनों के साथ संगत एक तुल्यता संबंध को इस बीजगणित के संबंध में सर्वांगसमता कहा जाता है।


== भागफल बीजगणित और समरूपता ==
== भागफल बीजगणित और समरूपता ==
समुच्चय A में कोई तुल्यता संबंध E इस समुच्चय को तुल्यता वर्ग में विभाजित करता है। इन तुल्यता वर्गों के समुच्चय को आमतौर पर भागफल समुच्चय कहा जाता है, और इसे A/E द्वारा निरूपित किया जाता है। एक बीजगणित के लिए <math>\mathcal{A}</math>, ए/ई के तत्वों पर प्रेरित संचालन को परिभाषित करना सीधा है यदि ई एक सर्वांगसमता है। विशेष रूप से, किसी भी ऑपरेशन के लिए <math>f^{\mathcal{A}}_i</math> दया की <math>n_i</math> में <math>\mathcal{A}</math> (जहां सुपरस्क्रिप्ट केवल यह दर्शाता है कि यह एक ऑपरेशन है <math>\mathcal{A}</math>, और सबस्क्रिप्ट <math>i \in I</math> में कार्यों की गणना करता है <math>\mathcal{A}</math> और उनकी arities) परिभाषित करते हैं <math>f^{\mathcal{A}/E}_i : (A/E)^{n_i} \to A/E</math> जैसा <math>f^{\mathcal{A}/E}_i ([a_1]_E, \ldots, [a_{n_i}]_E) = [f^{\mathcal{A}}_i(a_1,\ldots, a_{n_i})]_E</math>, कहाँ <math>[x]_E \in A/E</math> के समकक्ष वर्ग को दर्शाता है <math>x \in A</math> ई (एक्स मॉड्यूलो ई) द्वारा उत्पन्न।
समुच्चय A में कोई तुल्यता संबंध E समुच्चय को तुल्यता वर्ग में विभाजित करता है। इन तुल्यता वर्गों के समुच्चय को सामान्य रूप से भागफल समुच्चय कहा जाता है, और इसे A/E द्वारा निरूपित किया जाता है। एक बीजगणित <math>\mathcal{A}</math> के लिए, A/E के तत्वों पर प्रेरित संक्रिया को परिभाषित करना स्पष्ट है यदि E एक सर्वांगसमता है। विशेष रूप से, किसी भी संक्रिया के लिए <math>f^{\mathcal{A}}_i</math> एरीटी  <math>n_i</math> में <math>\mathcal{A}</math> (जहां अधिलेख केवल यह दर्शाता है कि यह एक संक्रिया है <math>\mathcal{A}</math>, और सबस्क्रिप्ट <math>i \in I</math> में फलनों की गणना करता है <math>\mathcal{A}</math> और उनकी arities) परिभाषित <math>f^{\mathcal{A}/E}_i : (A/E)^{n_i} \to A/E</math> करते हैं, <math>f^{\mathcal{A}/E}_i ([a_1]_E, \ldots, [a_{n_i}]_E) = [f^{\mathcal{A}}_i(a_1,\ldots, a_{n_i})]_E</math>,जहां <math>[x]_E \in A/E</math> के के समतुल्य वर्ग को दर्शाता है और  <math>x \in A</math> E (x  मापांक e) द्वारा उत्पन्न किया गया है।


एक बीजगणित के लिए <math>\mathcal{A} = (A, (f^{\mathcal{A}}_i)_{i \in I})</math>पर सर्वांगसमता दी है <math>\mathcal{A}</math>, बीजगणित <math>\mathcal{A}/E = (A/E, (f^{\mathcal{A}/E}_i)_{i \in I})</math> का भागफल बीजगणित (या कारक बीजगणित) कहा जाता है <math>\mathcal{A}</math> मोडुलो ई। से एक प्राकृतिक [[समरूपता]] है <math>\mathcal{A}</math> को <math>\mathcal{A}/E</math> प्रत्येक तत्व को उसके तुल्यता वर्ग में मैप करना। वास्तव में, प्रत्येक समरूपता h समरूपता के कर्नेल (बीजगणित) #सार्वभौमिक बीजगणित के माध्यम से एक सर्वांगसमता संबंध निर्धारित करता है, <math> \mathop{\mathrm{ker}}\,h = \{(a,a') \in A^2\, |\, h(a) = h(a')\}\subseteq A^2</math>.
एक बीजगणित के लिए <math>\mathcal{A} = (A, (f^{\mathcal{A}}_i)_{i \in I})</math>पर सर्वांगसमता दी है <math>\mathcal{A}</math>, बीजगणित <math>\mathcal{A}/E = (A/E, (f^{\mathcal{A}/E}_i)_{i \in I})</math> का भागफल बीजगणित (या कारक बीजगणित) कहा जाता है <math>\mathcal{A}</math> मोडुलो ई। से एक प्राकृतिक [[समरूपता]] है <math>\mathcal{A}</math> को <math>\mathcal{A}/E</math> प्रत्येक तत्व को उसके तुल्यता वर्ग में मैप करना। वास्तव में, प्रत्येक समरूपता h समरूपता के कर्नेल (बीजगणित) #अमूर्त्वभौमिक बीजगणित के माध्यम से एक सर्वांगसमता संबंध निर्धारित करता है, <math> \mathop{\mathrm{ker}}\,h = \{(a,a') \in A^2\, |\, h(a) = h(a')\}\subseteq A^2</math>.


एक बीजगणित दिया <math>\mathcal{A}</math>, एक समरूपता h इस प्रकार दो बीजगणित समरूपता को परिभाषित करता है <math>\mathcal{A}</math>, [[छवि (गणित)]] h(<math>\mathcal{A}</math>) और <math>\mathcal{A}/\mathop{\mathrm{ker}}\,h</math> दोनों [[समरूपी]] हैं, एक परिणाम जिसे समरूपी छवि प्रमेय के रूप में जाना जाता है या सार्वभौम बीजगणित के लिए समरूपता प्रमेय#प्रथम समाकृतिकता प्रमेय 4 के रूप में जाना जाता है। औपचारिक रूप से, चलो <math> h : \mathcal{A} \to \mathcal{B} </math> एक [[विशेषण]] समरूपता हो। फिर, वहाँ से एक अद्वितीय समरूपता जी मौजूद है <math>\mathcal{A}/\mathop{\mathrm{ker}}\,h</math> पर <math>\mathcal{B} </math> ऐसा है कि जी कार्य संरचना के साथ प्रेरित प्राकृतिक समरूपता के साथ <math>\mathop{\mathrm{ker}}\,h</math> एच के बराबर
एक बीजगणित दिया <math>\mathcal{A}</math>, एक समरूपता h इस प्रकार दो बीजगणित समरूपता को परिभाषित करता है <math>\mathcal{A}</math>, [[छवि (गणित)]] h(<math>\mathcal{A}</math>) और <math>\mathcal{A}/\mathop{\mathrm{ker}}\,h</math> दोनों [[समरूपी]] हैं, एक परिणाम जिसे समरूपी छवि प्रमेय के रूप में जाना जाता है या अमूर्त्वभौम बीजगणित के लिए समरूपता प्रमेय#प्रथम समाकृतिकता प्रमेय 4 के रूप में जाना जाता है। औपचारिक रूप से, चलो <math> h : \mathcal{A} \to \mathcal{B} </math> एक [[विशेषण]] समरूपता हो। फिर, वहाँ से एक अद्वितीय समरूपता जी सम्मिलित है <math>\mathcal{A}/\mathop{\mathrm{ker}}\,h</math> पर <math>\mathcal{B} </math> ऐसा है कि जी कार्य संरचना के साथ प्रेरित प्राकृतिक समरूपता के साथ <math>\mathop{\mathrm{ker}}\,h</math> एच के बराबर


== सर्वांगसम जाली ==
== सर्वांगसम जाली ==
प्रत्येक बीजगणित के लिए <math>\mathcal{A}</math> सेट ए पर, ए पर [[पहचान संबंध]], और <math>A \times A</math> तुच्छ संगति हैं। जिस बीजगणित में कोई अन्य सर्वांगसमता न हो, उसे सरल कहा जाता है।
प्रत्येक बीजगणित के लिए <math>\mathcal{A}</math> समुच्चय ए पर, ए पर [[पहचान संबंध]], और <math>A \times A</math> तुच्छ संगति हैं। जिस बीजगणित में कोई अन्य सर्वांगसमता न हो, उसे सरल कहा जाता है।


होने देना <math>\mathrm{Con}(\mathcal{A})</math> बीजगणित पर सर्वांगसमताओं का समुच्चय हो <math>\mathcal{A}</math>. क्योंकि सर्वांगसमता चौराहे के नीचे बंद हैं, हम एक मीट (गणित) को परिभाषित कर सकते हैं: <math> \wedge : \mathrm{Con}(\mathcal{A}) \times \mathrm{Con}(\mathcal{A}) \to \mathrm{Con}(\mathcal{A})</math> केवल सर्वांगसमताओं के प्रतिच्छेदन को लेकर <math>E_1 \wedge E_2 = E_1\cap E_2</math>.
होने देना <math>\mathrm{Con}(\mathcal{A})</math> बीजगणित पर सर्वांगसमताओं का समुच्चय हो <math>\mathcal{A}</math>. क्योंकि सर्वांगसमता चौराहे के नीचे बंद हैं, हम एक मीट (गणित) को परिभाषित कर सकते हैं: <math> \wedge : \mathrm{Con}(\mathcal{A}) \times \mathrm{Con}(\mathcal{A}) \to \mathrm{Con}(\mathcal{A})</math> केवल सर्वांगसमताओं के प्रतिच्छेदन को लेकर <math>E_1 \wedge E_2 = E_1\cap E_2</math>.


दूसरी ओर, संघ के तहत बधाई बंद नहीं होती है। हालांकि, हम निश्चित बीजगणित के संबंध में किसी भी [[द्विआधारी संबंध]] ई के [[क्लोजर ऑपरेटर]] को परिभाषित कर सकते हैं <math>\mathcal{A}</math>, जैसे कि यह एक सर्वांगसमता है, निम्नलिखित तरीके से: <math> \langle E \rangle_{\mathcal{A}} = \bigcap \{ F \in \mathrm{Con}(\mathcal{A}) \mid E \subseteq F \}</math>. ध्यान दें कि एक द्विआधारी संबंध का समापन एक सर्वांगसमता है और इस प्रकार इसमें संचालन पर निर्भर करता है <math>\mathcal{A}</math>, न केवल कैरियर सेट पर। अब परिभाषित करें <math> \vee: \mathrm{Con}(\mathcal{A}) \times \mathrm{Con}(\mathcal{A}) \to \mathrm{Con}(\mathcal{A})</math> जैसा <math>E_1 \vee E_2 = \langle E_1\cup E_2 \rangle_{\mathcal{A}} </math>.
दूसरी ओर, संघ के तहत बधाई बंद नहीं होती है। हालांकि, हम निश्चित बीजगणित के संबंध में किसी भी [[द्विआधारी संबंध]] ई के [[क्लोजर ऑपरेटर]] को परिभाषित कर सकते हैं <math>\mathcal{A}</math>, जैसे कि यह एक सर्वांगसमता है, निम्नलिखित तरीके से: <math> \langle E \rangle_{\mathcal{A}} = \bigcap \{ F \in \mathrm{Con}(\mathcal{A}) \mid E \subseteq F \}</math>. ध्यान दें कि एक द्विआधारी संबंध का समापन एक सर्वांगसमता है और इस प्रकार इसमें संचालन पर निर्भर करता है <math>\mathcal{A}</math>, न केवल कैरियर समुच्चय पर। अब परिभाषित करें <math> \vee: \mathrm{Con}(\mathcal{A}) \times \mathrm{Con}(\mathcal{A}) \to \mathrm{Con}(\mathcal{A})</math> जैसा <math>E_1 \vee E_2 = \langle E_1\cup E_2 \rangle_{\mathcal{A}} </math>.


प्रत्येक बीजगणित के लिए <math>\mathcal{A}</math>, <math>(\mathrm{Con}(\mathcal{A}), \wedge, \vee)</math> ऊपर परिभाषित दो संक्रियाओं के साथ एक जालक (क्रम) बनता है, जिसे सर्वांगसमता जालक कहते हैं <math>\mathcal{A}</math>.
प्रत्येक बीजगणित के लिए <math>\mathcal{A}</math>, <math>(\mathrm{Con}(\mathcal{A}), \wedge, \vee)</math> ऊपर परिभाषित दो संक्रियाओं के साथ एक जालक (क्रम) बनता है, जिसे सर्वांगसमता जालक कहते हैं <math>\mathcal{A}</math>.


== माल्टसेव की स्थिति ==
== माल्टसेव की स्थिति ==
यदि दो सर्वांगसमता संक्रिया के रूप में संबंधों की संरचना के साथ परिणत (कम्यूट) होती है, अर्थात <math>\alpha\circ\beta = \beta\circ\alpha</math>, तो उनका जुड़ाव (सर्वांगसम जाली में) उनकी रचना के बराबर है: <math>\alpha\circ\beta = \alpha\vee\beta</math>. एक बीजगणित को [[सर्वांगसमता क्रमपरिवर्तनीय]] कहा जाता है यदि इसकी सर्वांगसमताओं का प्रत्येक युग्म क्रमपरिवर्तन करता है; इसी तरह एक [[विविधता (सार्वभौमिक बीजगणित)]] को सर्वांगसमता-परिवर्तनीय कहा जाता है यदि इसके सभी सदस्य हैं
यदि दो सर्वांगसमता संक्रिया के रूप में संबंधों की संरचना के साथ परिणत (कम्यूट) होती है, अर्थात <math>\alpha\circ\beta = \beta\circ\alpha</math>, तो उनका जुड़ाव (सर्वांगसम जाली में) उनकी रचना के बराबर है: <math>\alpha\circ\beta = \alpha\vee\beta</math>. एक बीजगणित को [[सर्वांगसमता क्रमपरिवर्तनीय]] कहा जाता है यदि इसकी सर्वांगसमताओं का प्रत्येक युग्म क्रमपरिवर्तन करता है; इसी तरह एक [[विविधता (सार्वभौमिक बीजगणित)|विविधता (अमूर्त्वभौमिक बीजगणित)]] को सर्वांगसमता-परिवर्तनीय कहा जाता है यदि इसके सभी सदस्य हैं
सर्वांगसमता-परिवर्तनीय बीजगणित।
सर्वांगसमता-परिवर्तनीय बीजगणित।


1954 में, [[अनातोली माल्टसेव]] ने सर्वांगसमता-परिवर्तनीय किस्मों के निम्नलिखित लक्षण वर्णन की स्थापना की: एक विविधता सर्वांगसमता अनुज्ञेय है यदि और केवल यदि कोई त्रिगुणात्मक शब्द मौजूद है {{nowrap|''q''(''x'', ''y'', ''z'')}} ऐसा है कि {{nowrap|''q''(''x'', ''y'', ''y'') ≈ ''x'' ≈ ''q''(''y'', ''y'', ''x'')}}; इसे माल्टसेव शब्द कहा जाता है और इस गुण वाली किस्मों को माल्टसेव किस्में कहा जाता है। माल्टसेव का लक्षण वर्णन बड़ी संख्या में समूहों में समान परिणामों की व्याख्या करता है (ले {{nowrap|1=''q'' = ''xy''<sup>−1</sup>''z''}}), अंगूठियां, अर्धसमूह (ले {{nowrap|1=''q'' =  (x / (y \ y))(y \ z))}}, पूरक जालक, [[हेटिंग बीजगणित]] आदि। इसके अलावा, प्रत्येक सर्वांगसमता-परिवर्तनीय बीजगणित सर्वांगसमता-मॉड्यूलर है, अर्थात इसकी सर्वांगसमता की जाली [[मॉड्यूलर जाली]] भी है; हालांकि इसका विलोम सत्य नहीं है।
1954 में, [[अनातोली माल्टसेव]] ने सर्वांगसमता-परिवर्तनीय किस्मों के निम्नलिखित लक्षण वर्णन की स्थापना की: एक विविधता सर्वांगसमता अनुज्ञेय है यदि और केवल यदि कोई त्रिगुणात्मक शब्द सम्मिलित है {{nowrap|''q''(''x'', ''y'', ''z'')}} ऐसा है कि {{nowrap|''q''(''x'', ''y'', ''y'') ≈ ''x'' ≈ ''q''(''y'', ''y'', ''x'')}}; इसे माल्टसेव शब्द कहा जाता है और इस गुण वाली किस्मों को माल्टसेव किस्में कहा जाता है। माल्टसेव का लक्षण वर्णन बड़ी संख्या में समूहों में समान परिणामों की व्याख्या करता है (ले {{nowrap|1=''q'' = ''xy''<sup>−1</sup>''z''}}), अंगूठियां, अर्धसमूह (ले {{nowrap|1=''q'' =  (x / (y \ y))(y \ z))}}, पूरक जालक, [[हेटिंग बीजगणित]] आदि। इसके अलावा, प्रत्येक सर्वांगसमता-परिवर्तनीय बीजगणित सर्वांगसमता-मॉड्यूलर है, अर्थात इसकी सर्वांगसमता की जाली [[मॉड्यूलर जाली]] भी है; हालांकि इसका विलोम सत्य नहीं है।


माल्टसेव के परिणाम के बाद, अन्य शोधकर्ताओं ने माल्टसेव के समान लेकिन अन्य प्रकार के गुणों के लिए समान स्थितियों के आधार पर लक्षण वर्णन पाया। 1967 में बर्जनी जॉनसन ने सर्वांगसम जाली वाली किस्मों के लिए जोन्सन शब्द की खोज की जो कि वितरणात्मक हैं।<ref>{{cite journal | url=https://doi.org/10.7146/math.scand.a-10850 | doi=10.7146/math.scand.a-10850 | title=बीजगणित जिनकी सर्वांगसमता जालक वितरणात्मक होते हैं| year=1967 | last1=Jonnson | first1=Bjarni | journal=Mathematica Scandinavica | volume=21 | page=110 | doi-access=free }}</ref> (इस प्रकार सर्वांगसमता-वितरणात्मक किस्में कहलाती हैं), जबकि 1969 में एलन डे ने समरूप जाली वाली किस्मों के लिए ऐसा ही किया जो मॉड्यूलर हैं।<ref>{{cite journal | url=https://doi.org/10.4153/CMB-1969-016-6 | doi=10.4153/CMB-1969-016-6 | title=बीजगणित के सर्वांगसम जालकों के लिए प्रतिरूपकता का अभिलक्षणन| year=1969 | last1=Day | first1=Alan | journal=Canadian Mathematical Bulletin | volume=12 | issue=2 | pages=167–173 | s2cid=120602601 | doi-access=free }}</ref> सामान्यतया, ऐसी स्थितियों को माल्टसेव स्थितियाँ कहा जाता है।
माल्टसेव के परिणाम के बाद, अन्य शोधकर्ताओं ने माल्टसेव के समान लेकिन अन्य प्रकार के गुणों के लिए समान स्थितियों के आधार पर लक्षण वर्णन पाया। 1967 में बर्जनी जॉनसन ने सर्वांगसम जाली वाली किस्मों के लिए जोन्सन शब्द की खोज की जो कि वितरणात्मक हैं।<ref>{{cite journal | url=https://doi.org/10.7146/math.scand.a-10850 | doi=10.7146/math.scand.a-10850 | title=बीजगणित जिनकी सर्वांगसमता जालक वितरणात्मक होते हैं| year=1967 | last1=Jonnson | first1=Bjarni | journal=Mathematica Scandinavica | volume=21 | page=110 | doi-access=free }}</ref> (इस प्रकार सर्वांगसमता-वितरणात्मक किस्में कहलाती हैं), जबकि 1969 में एलन डे ने समरूप जाली वाली किस्मों के लिए ऐसा ही किया जो मॉड्यूलर हैं।<ref>{{cite journal | url=https://doi.org/10.4153/CMB-1969-016-6 | doi=10.4153/CMB-1969-016-6 | title=बीजगणित के सर्वांगसम जालकों के लिए प्रतिरूपकता का अभिलक्षणन| year=1969 | last1=Day | first1=Alan | journal=Canadian Mathematical Bulletin | volume=12 | issue=2 | pages=167–173 | s2cid=120602601 | doi-access=free }}</ref> सामान्यतया, ऐसी स्थितियों को माल्टसेव स्थितियाँ कहा जाता है।
Line 38: Line 38:


== यह भी देखें ==
== यह भी देखें ==
* भागफल की अंगूठी
* भागफल की वलय
* सर्वांगसमता जालक समस्या
* सर्वांगसमता जालक समस्या
* [[उपसमूहों की जाली]]
* [[उपसमूहों की जाली|उपसमूहों की लैटिस]]


==टिप्पणियाँ==
==टिप्पणियाँ==

Revision as of 10:01, 5 March 2023

एक वलय पर भागफल साहचर्य बीजगणित के लिए, भागफल वलय देखें।

गणित में, एक भागफल बीजगणित एक सर्वांगसम संबंध का उपयोग करते हुए एक बीजगणितीय संरचना के तत्वों के विभाजन का परिणाम है। भागफल बीजगणित को कारक बीजगणित भी कहा जाता है। यहाँ, सर्वांगसमता संबंध एक तुल्यता संबंध होना चाहिए जो नीचे वर्णित औपचारिक अर्थों में बीजगणित के सभी संक्रियाओं (गणित) के साथ अतिरिक्त रूप से संगत हो। इसके समानता वर्ग दी गई बीजगणितीय संरचना के तत्वों को विभाजित करते हैं। भागफल बीजगणित में ये वर्ग इसके तत्व के रूप मे होते हैं, और वर्गों को बीजगणितीय संरचना देने के लिए संगतता स्थितियों का उपयोग किया जाता है, जो बीजीय संरचना देने के लिए किया जाता है।[1]

भागफल बीजगणित अमूर्त का विचार एक सामान्य धारणा में वलय सिद्धांत के भागफल के वलय की भागफल संरचना, समूह सिद्धांत के भागफल समूह, रैखिक बीजगणित के भागफल स्थान (रैखिक बीजगणित) और एक सामान्य रूप में प्रतिनिधित्व सिद्धांत के भागफल इकाई का विचार है।

संयोज्य संबंध

माना A बीजगणित के अवयवों का समुच्चय है, और मान लीजिए E समुच्चय A पर एक तुल्यता संबंध है,संबंध E को n-ary संक्रिया f के साथ संगत (या उसके संबंध में प्रतिस्थापन गुण है) कहा जाता है, यदि के लिए तात्पर्य के लिए साथ है। बीजगणित के सभी फलनों के साथ संगत एक तुल्यता संबंध को इस बीजगणित के संबंध में सर्वांगसमता कहा जाता है।

भागफल बीजगणित और समरूपता

समुच्चय A में कोई तुल्यता संबंध E समुच्चय को तुल्यता वर्ग में विभाजित करता है। इन तुल्यता वर्गों के समुच्चय को सामान्य रूप से भागफल समुच्चय कहा जाता है, और इसे A/E द्वारा निरूपित किया जाता है। एक बीजगणित के लिए, A/E के तत्वों पर प्रेरित संक्रिया को परिभाषित करना स्पष्ट है यदि E एक सर्वांगसमता है। विशेष रूप से, किसी भी संक्रिया के लिए एरीटी में (जहां अधिलेख केवल यह दर्शाता है कि यह एक संक्रिया है , और सबस्क्रिप्ट में फलनों की गणना करता है और उनकी arities) परिभाषित करते हैं, ,जहां के के समतुल्य वर्ग को दर्शाता है और E (x मापांक e) द्वारा उत्पन्न किया गया है।

एक बीजगणित के लिए पर सर्वांगसमता दी है , बीजगणित का भागफल बीजगणित (या कारक बीजगणित) कहा जाता है मोडुलो ई। से एक प्राकृतिक समरूपता है को प्रत्येक तत्व को उसके तुल्यता वर्ग में मैप करना। वास्तव में, प्रत्येक समरूपता h समरूपता के कर्नेल (बीजगणित) #अमूर्त्वभौमिक बीजगणित के माध्यम से एक सर्वांगसमता संबंध निर्धारित करता है, .

एक बीजगणित दिया , एक समरूपता h इस प्रकार दो बीजगणित समरूपता को परिभाषित करता है , छवि (गणित) h() और दोनों समरूपी हैं, एक परिणाम जिसे समरूपी छवि प्रमेय के रूप में जाना जाता है या अमूर्त्वभौम बीजगणित के लिए समरूपता प्रमेय#प्रथम समाकृतिकता प्रमेय 4 के रूप में जाना जाता है। औपचारिक रूप से, चलो एक विशेषण समरूपता हो। फिर, वहाँ से एक अद्वितीय समरूपता जी सम्मिलित है पर ऐसा है कि जी कार्य संरचना के साथ प्रेरित प्राकृतिक समरूपता के साथ एच के बराबर

सर्वांगसम जाली

प्रत्येक बीजगणित के लिए समुच्चय ए पर, ए पर पहचान संबंध, और तुच्छ संगति हैं। जिस बीजगणित में कोई अन्य सर्वांगसमता न हो, उसे सरल कहा जाता है।

होने देना बीजगणित पर सर्वांगसमताओं का समुच्चय हो . क्योंकि सर्वांगसमता चौराहे के नीचे बंद हैं, हम एक मीट (गणित) को परिभाषित कर सकते हैं: केवल सर्वांगसमताओं के प्रतिच्छेदन को लेकर .

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

प्रत्येक बीजगणित के लिए , ऊपर परिभाषित दो संक्रियाओं के साथ एक जालक (क्रम) बनता है, जिसे सर्वांगसमता जालक कहते हैं .

माल्टसेव की स्थिति

यदि दो सर्वांगसमता संक्रिया के रूप में संबंधों की संरचना के साथ परिणत (कम्यूट) होती है, अर्थात , तो उनका जुड़ाव (सर्वांगसम जाली में) उनकी रचना के बराबर है: . एक बीजगणित को सर्वांगसमता क्रमपरिवर्तनीय कहा जाता है यदि इसकी सर्वांगसमताओं का प्रत्येक युग्म क्रमपरिवर्तन करता है; इसी तरह एक विविधता (अमूर्त्वभौमिक बीजगणित) को सर्वांगसमता-परिवर्तनीय कहा जाता है यदि इसके सभी सदस्य हैं सर्वांगसमता-परिवर्तनीय बीजगणित।

1954 में, अनातोली माल्टसेव ने सर्वांगसमता-परिवर्तनीय किस्मों के निम्नलिखित लक्षण वर्णन की स्थापना की: एक विविधता सर्वांगसमता अनुज्ञेय है यदि और केवल यदि कोई त्रिगुणात्मक शब्द सम्मिलित है q(x, y, z) ऐसा है कि q(x, y, y) ≈ x ≈ q(y, y, x); इसे माल्टसेव शब्द कहा जाता है और इस गुण वाली किस्मों को माल्टसेव किस्में कहा जाता है। माल्टसेव का लक्षण वर्णन बड़ी संख्या में समूहों में समान परिणामों की व्याख्या करता है (ले q = xy−1z), अंगूठियां, अर्धसमूह (ले q = (x / (y \ y))(y \ z)), पूरक जालक, हेटिंग बीजगणित आदि। इसके अलावा, प्रत्येक सर्वांगसमता-परिवर्तनीय बीजगणित सर्वांगसमता-मॉड्यूलर है, अर्थात इसकी सर्वांगसमता की जाली मॉड्यूलर जाली भी है; हालांकि इसका विलोम सत्य नहीं है।

माल्टसेव के परिणाम के बाद, अन्य शोधकर्ताओं ने माल्टसेव के समान लेकिन अन्य प्रकार के गुणों के लिए समान स्थितियों के आधार पर लक्षण वर्णन पाया। 1967 में बर्जनी जॉनसन ने सर्वांगसम जाली वाली किस्मों के लिए जोन्सन शब्द की खोज की जो कि वितरणात्मक हैं।[2] (इस प्रकार सर्वांगसमता-वितरणात्मक किस्में कहलाती हैं), जबकि 1969 में एलन डे ने समरूप जाली वाली किस्मों के लिए ऐसा ही किया जो मॉड्यूलर हैं।[3] सामान्यतया, ऐसी स्थितियों को माल्टसेव स्थितियाँ कहा जाता है।

अनुसंधान की इस पंक्ति ने माल्टसेव से जुड़ी स्थितियों को उत्पन्न करने के लिए पिक्स्ले-विल एल्गोरिथम का नेतृत्व किया सर्वांगसम पहचान के साथ।[4]


यह भी देखें

टिप्पणियाँ

  1. ↑ A. G. Kurosh, Lectures on General Algebra, Translated from the Russian edition (Moscow, 1960), Chelsea, New York, 1963.
  2. ↑ Jonnson, Bjarni (1967). "बीजगणित जिनकी सर्वांगसमता जालक वितरणात्मक होते हैं". Mathematica Scandinavica. 21: 110. doi:10.7146/math.scand.a-10850.
  3. ↑ Day, Alan (1969). "बीजगणित के सर्वांगसम जालकों के लिए प्रतिरूपकता का अभिलक्षणन". Canadian Mathematical Bulletin. 12 (2): 167–173. doi:10.4153/CMB-1969-016-6. S2CID 120602601.
  4. ↑ Keith Kearnes; Emil W. Kiss (2013). सर्वांगसमता जालिकाओं का आकार. American Mathematical Soc. p. 4. ISBN 978-0-8218-8323-5.


संदर्भ

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=भागफल_(सार्वभौमिक_बीजगणित)&oldid=105268’