मध्यवर्ती मैग्मा: Difference between revisions

From Vigyanwiki
No edit summary
 
(9 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{for|the triple product|Median algebra}}
सार बीजगणित में, एक औसत दर्जे का मैग्मा या औसत दर्जे का समूह एक मैग्मा या ग्रुपॉयड है (जो कि एक बाइनरी ऑपरेशन के साथ एक सेट है) जो पहचान को संतुष्ट करता है
अमूर्त बीजगणित में, एक औसत दर्जे का मैग्मा या औसत दर्जे का समूह एक मैग्मा (बीजगणित) या मैग्मा (बीजगणित)#History_and_terminology (यानी, एक [[बाइनरी ऑपरेशन]] के साथ एक [[सेट (गणित)]]) है जो [[पहचान (गणित)]] को संतुष्ट करता है।


:<math>(x \cdot y) \cdot (u \cdot v) = (x \cdot u) \cdot (y \cdot v)</math>, या अधिक सरलता से <math>xy\cdot uv = xu\cdot yv</math>
:<math>(x \cdot y) \cdot (u \cdot v) = (x \cdot u) \cdot (y \cdot v)</math>, या अधिक सरलता से <math>xy\cdot uv = xu\cdot yv</math>
सभी x, y, u और v के लिए, कन्वेंशन का उपयोग करते हुए कि जक्सटैपिशन एक ही ऑपरेशन को दर्शाता है लेकिन इसकी उच्च प्राथमिकता है। इस पहचान को विभिन्न प्रकार से औसत दर्जे का, एबेलियन, अल्टरनेशन, ट्रांसपोज़िशन, इंटरचेंज, बाय-कम्यूटेटिव, बिसमेट्रिक, सरकम्यूटेटिव, #सामान्यीकरण आदि कहा गया है।<ref name=Jezek>[http://www.karlin.mff.cuni.cz/~jezek/medial/03.jpg Historical comments] {{webarchive|url=https://web.archive.org/web/20110718093325/http://www.karlin.mff.cuni.cz/~jezek/medial/03.jpg |date=2011-07-18 }} J.Jezek and T.Kepka: Medial groupoids Rozpravy CSAV, Rada mat. a prir. ved 93/2 (1983), 93 pp</ref>
सभी x, y, u और v के लिए, कन्वेंशन का उपयोग करते हुए कि जक्सटैपिशन एक ही ऑपरेशन को दर्शाता है लेकिन इसकी उच्च प्राथमिकता है। इस पहचान को विभिन्न प्रकार से औसत दर्जे का, एबेलियन, अल्टरनेशन, ट्रांसपोज़िशन, इंटरचेंज, बाय-कम्यूटिव, बिसमेट्रिक, सरकम्यूटेटिव, एंट्रोपिक आदि कहा गया है।<ref name="Jezek">[http://www.karlin.mff.cuni.cz/~jezek/medial/03.jpg Historical comments] {{webarchive|url=https://web.archive.org/web/20110718093325/http://www.karlin.mff.cuni.cz/~jezek/medial/03.jpg |date=2011-07-18 }} J.Jezek and T.Kepka: Medial groupoids Rozpravy CSAV, Rada mat. a prir. ved 93/2 (1983), 93 pp</ref>  
कोई भी [[सेमिग्रुप]] एक औसत दर्जे का मैग्मा है, और एक औसत दर्जे का मैग्मा में एक [[पहचान तत्व]] होता है अगर और केवल अगर यह एक [[मोनोइड]]#कम्यूटेटिव_मोनॉयड मोनोइड है। एकमात्र अगर दिशा एकमैन-हिल्टन तर्क है। औसत दर्जे का मैग्मा बनाने वाले अर्धसमूहों का एक अन्य वर्ग [[बैंड (गणित)]] है।<ref>{{citation
कोई भी कम्यूटेटिव [[सेमिग्रुप]] एक औसत दर्जे का मैग्मा है, और एक औसत दर्जे का मैग्मा का एक [[पहचान तत्व]] होता है और केवल अगर यह एक कम्यूटेटिव मोनोइड है। "ओनली इफ" दिशा एकमैन-हिल्टन तर्क है। औसत दर्जे का मैग्मा बनाने वाले अर्धसमूहों का एक अन्य वर्ग सामान्य [[Index.php?title=बैंड|बैंड]] है।<ref>{{citation
  | last = Yamada | first = Miyuki
  | last = Yamada | first = Miyuki
  | doi = 10.1007/BF02572956
  | doi = 10.1007/BF02572956
Line 12: Line 11:
  | title = Note on exclusive semigroups
  | title = Note on exclusive semigroups
  | volume = 3
  | volume = 3
  | year = 1971}}.</ref> मेडियल मैग्मास को सहयोगी होने की आवश्यकता नहीं है: ऑपरेशन के साथ किसी भी गैर-तुच्छ [[एबेलियन समूह]] के लिए {{math|+}} और [[पूर्णांक]] {{math|''m'' ≠ ''n''}}, द्वारा परिभाषित नया बाइनरी ऑपरेशन <math>x \cdot y = mx+ny </math> एक औसत दर्जे का मैग्मा पैदा करता है जो सामान्य रूप से न तो साहचर्य है और न ही कम्यूटेटिव।
  | year = 1971}}.</ref> औसत दर्जे का मैग्मास सहयोगी नहीं होना चाहिए: ऑपरेशन + और पूर्णांक {{math|''m'' ≠ ''n''}} के साथ किसी भी गैर-तुच्छ एबेलियन समूह के लिए, नए बाइनरी ऑपरेशन द्वारा परिभाषित <math>x \cdot y = mx+ny </math> एक औसत दर्जे का मैग्मा उत्पन्न करता है जो सामान्य रूप से न तो साहचर्य है और न ही क्रमविनिमेय।


मैग्मा के लिए [[श्रेणी सिद्धांत]] उत्पाद की परिभाषा (श्रेणी सिद्धांत) का उपयोग करना {{math|''M''}}, कोई [[कार्तीय वर्ग]] मैग्मा को परिभाषित कर सकता है{{math|''M'' × ''M''}} ऑपरेशन के साथ
मैग्मा {{math|''M''}} के लिए उत्पाद की स्पष्ट परिभाषा का उपयोग करते हुए, ऑपरेशन के साथ [[कार्तीय वर्ग]] मैग्मा {{math|''M'' × ''M''}} परिभाषित किया जा सकता है।
: {{math|1=(''x'', ''y'') ∙ (''u'', ''v'') = (''x'' ∙ ''u'', ''y'' ∙ ''v'') }}.
बाइनरी ऑपरेशन{{math| ∙ }} का{{mvar|M}}, से मानचित्रण के रूप में माना जाता है {{math|''M'' × ''M''}} को {{math|''M''}}, नक्शे {{math|(''x'', ''y'')}} को {{math|''x'' ∙ ''y''}}, {{math|(''u'', ''v'')}} को {{math|''u'' ∙ ''v''}}, और {{math|(''x'' ∙ ''u'', ''y'' ∙ ''v'') }} को {{math|(''x'' ∙ ''u'') ∙ (''y'' ∙ ''v'') }}.
इसलिए, एक मेग्मा{{mvar|M}} औसत दर्जे का है अगर और केवल अगर इसका बाइनरी ऑपरेशन मैग्मा [[समरूपता]] से है{{math|''M'' × ''M''}} को{{mvar|M}}. यह एक [[क्रमविनिमेय आरेख]] के संदर्भ में आसानी से व्यक्त किया जा सकता है, और इस प्रकार [[कार्टेशियन बंद श्रेणी]] में एक औसत दर्जे का मैग्मा ऑब्जेक्ट की धारणा की ओर जाता है। (ऑटो मैग्मा वस्तु में चर्चा देखें।)


अगर {{mvar|f}} और {{mvar|g}} एक औसत दर्जे का मैग्मा के [[एंडोमोर्फिज्म]] हैं, फिर मैपिंग{{math|''f''∙''g''}} बिंदुवार गुणन द्वारा परिभाषित
{{math|1=(''x'', ''y'') ∙ (''u'', ''v'') = (''x'' ∙ ''u'', ''y'' ∙ ''v'') }}.
 
{{mvar|M}}  का बाइनरी ऑपरेशन{{math| ∙ }}, जिसे {{math|''M'' × ''M''}}  से {{math|''M''}}  तक मैपिंग के रूप में माना जाता है, मानचित्र {{math|(''x'', ''y'')}} से {{math|''x'' ∙ ''y''}}, {{math|(''u'', ''v'')}} से {{math|''u'' ∙ ''v''}}, और {{math|(''x'' ∙ ''u'', ''y'' ∙ ''v'') }} से {{math|(''x'' ∙ ''u'') ∙ (''y'' ∙ ''v'') }}.
इसलिए, एक मेग्मा {{mvar|M}}  औसत दर्जे का है अगर और केवल अगर इसका बाइनरी ऑपरेशन {{math|''M'' × ''M''}}  से {{mvar|M}}  तक मैग्मा होमोमोर्फिज्म है। इसे आसानी से एक कम्यूटेटिव डायग्राम के संदर्भ में व्यक्त किया जा सकता है, और इस तरह एक औसत दर्जे के मैग्मा ऑब्जेक्ट की धारणा की ओर जाता है। कार्टेशियन उत्पाद वाली श्रेणी। (ऑटो मैग्मा वस्तु में चर्चा देखें।)
 
अगर  {{mvar|f}} और {{mvar|g}} औसत दर्जे के मैग्मा के [[एंडोमोर्फिज्म]] हैं, तो मैपिंग {{math|''f''∙''g''}} बिंदुवार गुणा द्वारा परिभाषित किया गया है
:<math>(f\cdot g)(x) = f(x)\cdot g(x)</math>
:<math>(f\cdot g)(x) = f(x)\cdot g(x)</math>
स्वयं एक एंडोमोर्फिज्म है। यह इस प्रकार है कि सेट एंड ({{math|''M''}}) एक औसत दर्जे का मैग्मा के सभी एंडोमोर्फिज्म {{math|''M''}} स्वयं एक औसत दर्जे का मैग्मा है।
स्वयं एक एंडोमोर्फिज्म है। यह इस प्रकार है कि एक औसत दर्जे का मैग्मा {{math|''M''}} के सभी एंडोमोर्फिज्म का सेट एंड ({{math|''M''}}) स्वयं एक औसत दर्जे का मैग्मा है।


== ब्रुक-मर्डोक-टोयोडा प्रमेय ==
== ब्रुक-मर्डोक-टोयोडा प्रमेय ==
ब्रुक-मर्डोक-टोयोडा प्रमेय औसत दर्जे के अर्धसमूहों के निम्नलिखित लक्षण वर्णन प्रदान करता है। एक एबेलियन समूह दिया {{mvar|A}} और दो कम्यूटिंग [[समूह ऑटोमोर्फिज्म]] φ और ψ का {{mvar|A}}, एक ऑपरेशन को परिभाषित करें {{math|∗}} पर {{mvar|A}} द्वारा
ब्रुक-मर्डोक-टोयोडा प्रमेय औसत दर्जे के अर्धसमूहों के निम्नलिखित लक्षण वर्णन प्रदान करता है। एक एबेलियन समूह {{mvar|A}} और {{mvar|A}} के दो कम्यूटिंग [[Index.php?title=ऑटोमोर्फिज्म|ऑटोमोर्फिज्म]] φ और ψ को देखते हुए, {{mvar|A}} पर एक ऑपरेशन को परिभाषित करें।
: {{math|1=''x'' ∗ ''y'' = φ(''x'') + ψ(''y'') + c,}}
: {{math|1=''x'' ∗ ''y'' = φ(''x'') + ψ(''y'') + c,}}
कहाँ {{mvar|c}} का कुछ निश्चित तत्व{{mvar|A}}. इसे सिद्ध करना कठिन नहीं है {{mvar|A}} इस ऑपरेशन के तहत एक औसत अर्धसमूह बनाता है। ब्रुक-टोयोडा प्रमेय में कहा गया है कि प्रत्येक औसत दर्जे का अर्धसमूह इस रूप का है, यानी इस तरह से एक एबेलियन समूह से परिभाषित अर्धसमूह के लिए [[समरूप]] है।<ref>{{cite book |author1=Kuzʹmin, E. N.  |author2=Shestakov, I. P.  |name-list-style=amp | title=Algebra VI | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Encyclopaedia of Mathematical Sciences | isbn=978-3-540-54699-3 | year=1995 | volume=6 | chapter=Non-associative structures | pages=197–280}}</ref> विशेष रूप से, प्रत्येक औसत दर्जे का क्वासिग्रुप एक एबेलियन समूह के लिए लूप का आइसोटोप है।
कहाँ {{mvar|c}} {{mvar|A}} का कुछ निश्चित तत्व है। यह सिद्ध करना कठिन नहीं है कि {{mvar|A}} इस ऑपरेशन के तहत एक औसत अर्धसमूह बनाता है। ब्रुक-टोयोडा प्रमेय में कहा गया है कि प्रत्येक औसत दर्जे का अर्धसमूह इस रूप का है, यानी इस तरह से एक आबेलियन समूह से परिभाषित एक अर्धसमूह के लिए [[समरूप]] है।<ref>{{cite book |author1=Kuzʹmin, E. N.  |author2=Shestakov, I. P.  |name-list-style=amp | title=Algebra VI | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Encyclopaedia of Mathematical Sciences | isbn=978-3-540-54699-3 | year=1995 | volume=6 | chapter=Non-associative structures | pages=197–280}}</ref> विशेष रूप से, प्रत्येक औसत दर्जे का अर्धसमूह एक एबेलियन समूह के लिए समस्थानिक है।


परिणाम 1941 में डीसी मर्डोक और के टोयोदा द्वारा स्वतंत्र रूप से प्राप्त किया गया था। फिर 1944 में ब्रुक द्वारा इसे फिर से खोजा गया।
परिणाम 1941 में डीसी मर्डोक और के टोयोदा द्वारा स्वतंत्र रूप से प्राप्त किया गया था। फिर 1944 में ब्रुक द्वारा इसे फिर से खोजा गया।
Line 37: Line 38:




== गैर-सहयोगी उदाहरण ==
== असहयोगी उदाहरण ==


एक गैर-सहयोगी औसत दर्जे का मैग्मा का एक विशेष रूप से प्राकृतिक उदाहरण दीर्घवृत्ताकार वक्रों पर समरेख बिंदुओं द्वारा दिया जाता है। संचालन <math>x\cdot y = - (x + y)</math> वक्र पर बिंदुओं के लिए, x और y के बीच एक रेखा खींचने और परिभाषित करने के अनुरूप <math>x\cdot y</math> अण्डाकार वक्र के साथ रेखा के तीसरे चौराहे बिंदु के रूप में, एक (कम्यूटिव) औसत दर्जे का मैग्मा है जो अण्डाकार वक्र जोड़ के संचालन के लिए समस्थानिक है।
एक गैर-सहयोगी औसत दर्जे का मैग्मा का एक विशेष रूप से प्राकृतिक उदाहरण दीर्घवृत्ताकार वक्रों पर समरेख बिंदुओं द्वारा दिया जाता है। संचालन <math>x\cdot y = - (x + y)</math> वक्र पर बिंदुओं के लिए, x और y के बीच एक रेखा खींचने और परिभाषित करने के अनुरूप <math>x\cdot y</math> अण्डाकार वक्र के साथ रेखा के तीसरे चौराहे बिंदु के रूप में, एक (कम्यूटिव) औसत दर्जे का मैग्मा है जो अण्डाकार वक्र जोड़ के संचालन के लिए समस्थानिक है।


अण्डाकार वक्र जोड़ के विपरीत, <math>x\cdot y</math> वक्र पर एक तटस्थ तत्व की पसंद से स्वतंत्र है, और आगे की पहचान को संतुष्ट करता है <math>x\cdot (x \cdot y) = y</math>. यह संपत्ति आमतौर पर विशुद्ध रूप से ज्यामितीय प्रमाणों में उपयोग की जाती है कि अण्डाकार वक्र जोड़ साहचर्य है।
अण्डाकार वक्र जोड़ के विपरीत, <math>x\cdot y</math> वक्र पर एक तटस्थ तत्व की पसंद से स्वतंत्र है, और आगे की पहचान को संतुष्ट करता है <math>x\cdot (x \cdot y) = y</math>. यह संपत्ति सामान्यतः विशुद्ध रूप से ज्यामितीय प्रमाणों में उपयोग की जाती है कि अण्डाकार वक्र जोड़ साहचर्य है।


== यह भी देखें ==
== यह भी देखें ==
Line 54: Line 55:
* {{citation |first=J. |last=Ježek |first2=T. |last2=Kepka |title=Medial groupoids |journal=Rozpravy Československé Akad. Věd Řada Mat. Přírod. Věd |volume=93 |issue=2 |pages=93pp |year=1983}}
* {{citation |first=J. |last=Ježek |first2=T. |last2=Kepka |title=Medial groupoids |journal=Rozpravy Československé Akad. Věd Řada Mat. Přírod. Věd |volume=93 |issue=2 |pages=93pp |year=1983}}
{{refend}}
{{refend}}
[[Category: गैर-सहयोगी बीजगणित]]


[[Category: Machine Translated Page]]
[[Category:Created On 03/02/2023]]
[[Category:Created On 03/02/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:Webarchive template wayback links]]
[[Category:गैर-सहयोगी बीजगणित]]

Latest revision as of 17:10, 19 February 2023

सार बीजगणित में, एक औसत दर्जे का मैग्मा या औसत दर्जे का समूह एक मैग्मा या ग्रुपॉयड है (जो कि एक बाइनरी ऑपरेशन के साथ एक सेट है) जो पहचान को संतुष्ट करता है

, या अधिक सरलता से

सभी x, y, u और v के लिए, कन्वेंशन का उपयोग करते हुए कि जक्सटैपिशन एक ही ऑपरेशन को दर्शाता है लेकिन इसकी उच्च प्राथमिकता है। इस पहचान को विभिन्न प्रकार से औसत दर्जे का, एबेलियन, अल्टरनेशन, ट्रांसपोज़िशन, इंटरचेंज, बाय-कम्यूटिव, बिसमेट्रिक, सरकम्यूटेटिव, एंट्रोपिक आदि कहा गया है।[1] कोई भी कम्यूटेटिव सेमिग्रुप एक औसत दर्जे का मैग्मा है, और एक औसत दर्जे का मैग्मा का एक पहचान तत्व होता है और केवल अगर यह एक कम्यूटेटिव मोनोइड है। "ओनली इफ" दिशा एकमैन-हिल्टन तर्क है। औसत दर्जे का मैग्मा बनाने वाले अर्धसमूहों का एक अन्य वर्ग सामान्य बैंड है।[2] औसत दर्जे का मैग्मास सहयोगी नहीं होना चाहिए: ऑपरेशन + और पूर्णांक mn के साथ किसी भी गैर-तुच्छ एबेलियन समूह के लिए, नए बाइनरी ऑपरेशन द्वारा परिभाषित एक औसत दर्जे का मैग्मा उत्पन्न करता है जो सामान्य रूप से न तो साहचर्य है और न ही क्रमविनिमेय।

मैग्मा M के लिए उत्पाद की स्पष्ट परिभाषा का उपयोग करते हुए, ऑपरेशन के साथ कार्तीय वर्ग मैग्मा M × M परिभाषित किया जा सकता है।

(x, y) ∙ (u, v) = (xu, yv) .

M का बाइनरी ऑपरेशन, जिसे M × M से M तक मैपिंग के रूप में माना जाता है, मानचित्र (x, y) से xy, (u, v) से uv, और (xu, yv)  से (xu) ∙ (yv) . इसलिए, एक मेग्मा M औसत दर्जे का है अगर और केवल अगर इसका बाइनरी ऑपरेशन M × M से M तक मैग्मा होमोमोर्फिज्म है। इसे आसानी से एक कम्यूटेटिव डायग्राम के संदर्भ में व्यक्त किया जा सकता है, और इस तरह एक औसत दर्जे के मैग्मा ऑब्जेक्ट की धारणा की ओर जाता है। कार्टेशियन उत्पाद वाली श्रेणी। (ऑटो मैग्मा वस्तु में चर्चा देखें।)

अगर f और g औसत दर्जे के मैग्मा के एंडोमोर्फिज्म हैं, तो मैपिंग fg बिंदुवार गुणा द्वारा परिभाषित किया गया है

स्वयं एक एंडोमोर्फिज्म है। यह इस प्रकार है कि एक औसत दर्जे का मैग्मा M के सभी एंडोमोर्फिज्म का सेट एंड (M) स्वयं एक औसत दर्जे का मैग्मा है।

ब्रुक-मर्डोक-टोयोडा प्रमेय

ब्रुक-मर्डोक-टोयोडा प्रमेय औसत दर्जे के अर्धसमूहों के निम्नलिखित लक्षण वर्णन प्रदान करता है। एक एबेलियन समूह A और A के दो कम्यूटिंग ऑटोमोर्फिज्म φ और ψ को देखते हुए, A पर एक ऑपरेशन को परिभाषित करें।

x ∗ y = φ(x) + ψ(y) + c,

कहाँ c A का कुछ निश्चित तत्व है। यह सिद्ध करना कठिन नहीं है कि A इस ऑपरेशन के तहत एक औसत अर्धसमूह बनाता है। ब्रुक-टोयोडा प्रमेय में कहा गया है कि प्रत्येक औसत दर्जे का अर्धसमूह इस रूप का है, यानी इस तरह से एक आबेलियन समूह से परिभाषित एक अर्धसमूह के लिए समरूप है।[3] विशेष रूप से, प्रत्येक औसत दर्जे का अर्धसमूह एक एबेलियन समूह के लिए समस्थानिक है।

परिणाम 1941 में डीसी मर्डोक और के टोयोदा द्वारा स्वतंत्र रूप से प्राप्त किया गया था। फिर 1944 में ब्रुक द्वारा इसे फिर से खोजा गया।

सामान्यीकरण

औसत दर्जे का या (अधिक सामान्यतः) एंट्रोपिक शब्द का उपयोग कई कार्यों के सामान्यीकरण के लिए भी किया जाता है। एक बीजगणितीय संरचना एक एंट्रोपिक बीजगणित है[4] यदि प्रत्येक दो ऑपरेशन औसत दर्जे की पहचान के सामान्यीकरण को संतुष्ट करते हैं। मान लीजिए कि f और g क्रमशः arity m और n की संक्रियाएँ हैं। फिर संतुष्ट करने के लिए f और g की आवश्यकता होती है


असहयोगी उदाहरण

एक गैर-सहयोगी औसत दर्जे का मैग्मा का एक विशेष रूप से प्राकृतिक उदाहरण दीर्घवृत्ताकार वक्रों पर समरेख बिंदुओं द्वारा दिया जाता है। संचालन वक्र पर बिंदुओं के लिए, x और y के बीच एक रेखा खींचने और परिभाषित करने के अनुरूप अण्डाकार वक्र के साथ रेखा के तीसरे चौराहे बिंदु के रूप में, एक (कम्यूटिव) औसत दर्जे का मैग्मा है जो अण्डाकार वक्र जोड़ के संचालन के लिए समस्थानिक है।

अण्डाकार वक्र जोड़ के विपरीत, वक्र पर एक तटस्थ तत्व की पसंद से स्वतंत्र है, और आगे की पहचान को संतुष्ट करता है . यह संपत्ति सामान्यतः विशुद्ध रूप से ज्यामितीय प्रमाणों में उपयोग की जाती है कि अण्डाकार वक्र जोड़ साहचर्य है।

यह भी देखें

संदर्भ

  1. Historical comments Archived 2011-07-18 at the Wayback Machine J.Jezek and T.Kepka: Medial groupoids Rozpravy CSAV, Rada mat. a prir. ved 93/2 (1983), 93 pp
  2. Yamada, Miyuki (1971), "Note on exclusive semigroups", Semigroup Forum, 3 (1): 160–167, doi:10.1007/BF02572956.
  3. Kuzʹmin, E. N. & Shestakov, I. P. (1995). "Non-associative structures". Algebra VI. Encyclopaedia of Mathematical Sciences. Vol. 6. Berlin, New York: Springer-Verlag. pp. 197–280. ISBN 978-3-540-54699-3.
  4. Davey, B. A.; Davis, G. (1985). "Tensor products and entropic varieties". Algebra Universalis. 21: 68–88. doi:10.1007/BF01187558.