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

Revision as of 22:05, 11 February 2023

Template:ट्रिपल गुणनफल के लिए, माध्यिका बीजगणित देखें।

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

(x\cdot y)\cdot (u\cdot v)=(x\cdot u)\cdot (y\cdot v)

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

xy\cdot uv=xu\cdot yv

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

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

$(x, y) ∙ (u, v) = (x ∙ u, y ∙ v)$ .

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

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

(f\cdot g)(x)=f(x)\cdot g(x)

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

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

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

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

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

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

सामान्यीकरण

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

f(g(x_{11},\ldots ,x_{1n}),\ldots ,g(x_{m1},\ldots ,x_{mn}))=g(f(x_{11},\ldots ,x_{m1}),\ldots ,f(x_{1n},\ldots ,x_{mn})).

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

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

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

यह भी देखें

औसत दर्जे का मैग्मास की श्रेणी

संदर्भ

↑ 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
↑ Yamada, Miyuki (1971), "Note on exclusive semigroups", Semigroup Forum, 3 (1): 160–167, doi:10.1007/BF02572956.
↑ 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.
↑ Davey, B. A.; Davis, G. (1985). "Tensor products and entropic varieties". Algebra Universalis. 21: 68–88. doi:10.1007/BF01187558.

Murdoch, D.C. (May 1941), "Structure of abelian quasi-groups", Trans. Amer. Math. Soc., 49 (3): 392–409, doi:10.1090/s0002-9947-1941-0003427-2, JSTOR 1989940
Toyoda, K. (1941), "On axioms of linear functions", Proc. Imp. Acad. Tokyo, 17 (7): 221–7, doi:10.3792/pia/1195578751
Bruck, R.H. (January 1944), "Some results in the theory of quasigroups", Trans. Amer. Math. Soc., 55 (1): 19–52, doi:10.1090/s0002-9947-1944-0009963-x, JSTOR 1990138
Ježek, J.; Kepka, T. (1983), "Medial groupoids", Rozpravy Československé Akad. Věd Řada Mat. Přírod. Věd, 93 (2): 93pp

[Jezek-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.

[generaliation-4] Davey, B. A.; Davis, G. (1985). "Tensor products and entropic varieties". Algebra Universalis. 21: 68–88. doi:10.1007/BF01187558.

[1]

[2]

[3]

[4]

@@ Line 5: / Line 5: @@
 :<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>
-कोई भी कम्यूटेटिव [[सेमिग्रुप]] एक औसत दर्जे का मैग्मा है, और एक औसत दर्जे का मैग्मा का एक [[पहचान तत्व]] होता है अगर और केवल अगर यह एक कम्यूटेटिव मोनोइड है। "ओनली इफ" दिशा एकमैन-हिल्टन तर्क है। औसत दर्जे का मैग्मा बनाने वाले अर्धसमूहों का एक अन्य वर्ग सामान्य [[Index.php?title=बैंड|बैंड]] है।<ref>{{citation
+कोई भी कम्यूटेटिव [[सेमिग्रुप]] एक औसत दर्जे का मैग्मा है, और एक औसत दर्जे का मैग्मा का एक [[पहचान तत्व]] होता है और केवल अगर यह एक कम्यूटेटिव मोनोइड है। "ओनली इफ" दिशा एकमैन-हिल्टन तर्क है। औसत दर्जे का मैग्मा बनाने वाले अर्धसमूहों का एक अन्य वर्ग सामान्य [[Index.php?title=बैंड|बैंड]] है।<ref>{{citation
   | last = Yamada | first = Miyuki
   | doi = 10.1007/BF02572956
@@ Line 15: / Line 15: @@
   | 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| ∙ }}, जिसे {{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|M}} औसत दर्जे का है अगर और केवल अगर इसका बाइनरी ऑपरेशन {{math|''M'' × ''M''}}  से {{mvar|M}} तक मैग्मा होमोमोर्फिज्म है। इसे आसानी से एक कम्यूटेटिव डायग्राम के संदर्भ में व्यक्त किया जा सकता है, और इस तरह एक औसत दर्जे के मैग्मा ऑब्जेक्ट की धारणा की ओर जाता है। कार्टेशियन उत्पाद वाली श्रेणी। (ऑटो मैग्मा वस्तु में चर्चा देखें।)
-अगर {{mvar|f}} और {{mvar|g}} एक औसत दर्जे का मैग्मा के [[एंडोमोर्फिज्म]] हैं, फिर मैपिंग{{math|''f''∙''g''}} बिंदुवार गुणन द्वारा परिभाषित
+अगर {{mvar|f}} और {{mvar|g}} औसत दर्जे का मैग्मा के [[एंडोमोर्फिज्म]] हैं, तो मैपिंग {{math|''f''∙''g''}}  बिंदुवार गुणा द्वारा परिभाषित किया गया है
 :<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,}}
-कहाँ {{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 में ब्रुक द्वारा इसे फिर से खोजा गया।
@@ Line 40: / Line 40: @@
-== गैर-सहयोगी उदाहरण ==
+== असहयोगी उदाहरण ==
 एक गैर-सहयोगी औसत दर्जे का मैग्मा का एक विशेष रूप से प्राकृतिक उदाहरण दीर्घवृत्ताकार वक्रों पर समरेख बिंदुओं द्वारा दिया जाता है। संचालन <math>x\cdot y = - (x + y)</math> वक्र पर बिंदुओं के लिए, x और y के बीच एक रेखा खींचने और परिभाषित करने के अनुरूप <math>x\cdot y</math> अण्डाकार वक्र के साथ रेखा के तीसरे चौराहे बिंदु के रूप में, एक (कम्यूटिव) औसत दर्जे का मैग्मा है जो अण्डाकार वक्र जोड़ के संचालन के लिए समस्थानिक है।

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 22:05, 11 February 2023

Contents

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

सामान्यीकरण

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

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 22:05, 11 February 2023

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

सामान्यीकरण

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

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories