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

Revision as of 23:06, 7 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 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>
-सभी 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
   | doi = 10.1007/BF02572956
@@ Line 12: / Line 13: @@
   | title = Note on exclusive semigroups
   | 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|1=(''x'', ''y'') ∙ (''u'', ''v'') = (''x'' ∙ ''u'', ''y'' ∙ ''v'') }}.
-मैग्मा के लिए [[श्रेणी सिद्धांत]] उत्पाद की परिभाषा (श्रेणी सिद्धांत) का उपयोग करना {{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}}. यह एक [[क्रमविनिमेय आरेख]] के संदर्भ में आसानी से व्यक्त किया जा सकता है, और इस प्रकार [[कार्टेशियन बंद श्रेणी]] में एक औसत दर्जे का मैग्मा ऑब्जेक्ट की धारणा की ओर जाता है। (ऑटो मैग्मा वस्तु में चर्चा देखें।)

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 23:06, 7 February 2023

Contents

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

सामान्यीकरण

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

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 23:06, 7 February 2023

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

सामान्यीकरण

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

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories