मध्यवर्ती मैग्मा

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

$(x\cdot y)\cdot (u\cdot v)=(x\cdot u)\cdot (y\cdot v)$, या अधिक सरलता से $xy\cdot uv=xu\cdot yv$

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

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

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

बाइनरी ऑपरेशन ∙ काM, से मानचित्रण के रूप में माना जाता है M × M को M, नक्शे (x, y) को x ∙ y, (u, v) को u ∙ v, और (x ∙ u, y ∙ v)  को (x ∙ u) ∙ (y ∙ v) . इसलिए, एक मेग्माM औसत दर्जे का है अगर और केवल अगर इसका बाइनरी ऑपरेशन मैग्मा समरूपता से हैM × 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 इस ऑपरेशन के तहत एक औसत अर्धसमूह बनाता है। ब्रुक-टोयोडा प्रमेय में कहा गया है कि प्रत्येक औसत दर्जे का अर्धसमूह इस रूप का है, यानी इस तरह से एक एबेलियन समूह से परिभाषित अर्धसमूह के लिए समरूप है। विशेष रूप से, प्रत्येक औसत दर्जे का क्वासिग्रुप एक एबेलियन समूह के लिए लूप का आइसोटोप है।

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

सामान्यीकरण

औसत दर्जे का या (अधिक सामान्यतः) एंट्रोपिक शब्द का उपयोग कई कार्यों के सामान्यीकरण के लिए भी किया जाता है। एक बीजगणितीय संरचना एक एंट्रोपिक बीजगणित है यदि प्रत्येक दो ऑपरेशन औसत दर्जे की पहचान के सामान्यीकरण को संतुष्ट करते हैं। मान लीजिए कि 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$. यह संपत्ति आमतौर पर विशुद्ध रूप से ज्यामितीय प्रमाणों में उपयोग की जाती है कि अण्डाकार वक्र जोड़ साहचर्य है।

यह भी देखें

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

संदर्भ

• 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