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

For the triple product, see Median algebra.

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

$(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