मेग्मा (बीजगणित): Difference between revisions

Revision as of 21:34, 6 March 2023

अमूर्त बीजगणित में, एक मैग्मा, बिनार,^[1] या, शायद ही कभी, ग्रुपॉयड बीजगणितीय संरचना का मूल प्रकार है। विशेष रूप से, एक मैग्मा में एक बाइनरी ऑपरेशन से लैस एक सेट (गणित) होता है जिसे परिभाषा के अनुसार क्लोजर (बाइनरी ऑपरेशन) होना चाहिए। कोई अन्य संपत्तियां आरोपित नहीं हैं।

इतिहास और शब्दावली

ग्रुपॉयड शब्द की शुरुआत 1927 में हेनरिक ब्रांट ने अपने ब्रांट ग्रुपॉयड (जर्मन से अनुवादित) का वर्णन करते हुए की थी। Gruppoid). तब इस शब्द को बी. ए. हॉसमैन और ऑयस्टीन ओरे (1937) द्वारा अपनाया गया था^[2] इस लेख में प्रयुक्त अर्थ में (बाइनरी ऑपरेशन के साथ एक सेट)। Zentralblatt में बाद के पत्रों की कुछ समीक्षाओं में, ब्रांट शब्दावली के इस अतिभार से बहुत असहमत थे। ब्रांट ग्रुपॉइड श्रेणी सिद्धांत में प्रयुक्त अर्थ में एक समूह है, लेकिन हौसमैन और अयस्क द्वारा उपयोग किए जाने वाले अर्थ में नहीं। फिर भी, सेमीग्रुप थ्योरी में प्रभावशाली पुस्तकें, जिनमें अल्फ्रेड हॉब्लिट्ज़ेल क्लिफोर्ड और जी.बी. प्रेस्टन (1961) और जॉन मैकिंटोश होवी (1995) सम्मिलित हैं। हॉसमैन और अयस्क के अर्थ में groupoid का उपयोग करें। हॉलिंग्स (2014) लिखते हैं कि ग्रुपॉयड शब्द का उपयोग शायद आधुनिक गणित में श्रेणी सिद्धांत में दिए गए अर्थ में सबसे अधिक बार किया जाता है।^[3] बर्गमैन और हॉस्कनेचट (1996) के अनुसार: एक सेट के लिए सामान्यतः स्वीकृत शब्द नहीं है, जो अनिवार्य रूप से साहचर्य बाइनरी ऑपरेशन नहीं है। Groupoid शब्द का प्रयोग कई सार्वभौमिक बीजगणितियों द्वारा किया जाता है, लेकिन श्रेणी सिद्धांत और संबंधित क्षेत्रों में कार्यकर्ता इस उपयोग के लिए कड़ी आपत्ति जताते हैं क्योंकि वे उसी शब्द का उपयोग करते हैं जिसका अर्थ है 'श्रेणी जिसमें सभी morphisms व्युत्क्रमणीय हैं'। मैग्मा शब्द का प्रयोग जीन पियरे सेरे [ली अलजेब्रास एंड लाइ ग्रुप्स, 1965] द्वारा किया गया था।^[4] यह निकोलस बोरबाकी के में भी दिखाई देता है Éléments de mathématique, Algèbre, chapitres 1 à 3, 1970.^[5]

परिभाषा

एक मैग्मा एक सेट (गणित) एम है जो एक बाइनरी ऑपरेशन से मेल खाता है • जो कोई भी दो तत्व (गणित) भेजता है a, b ∈ M दूसरे तत्व के लिए, a • b ∈ M. प्रतीक • ठीक से परिभाषित ऑपरेशन के लिए एक सामान्य प्लेसहोल्डर है। मैग्मा, सेट और ऑपरेशन के रूप में अर्हता प्राप्त करने के लिए (M, •) को निम्नलिखित आवश्यकता को पूरा करना चाहिए (जिसे मैग्मा या क्लोजर स्वयंसिद्ध के रूप में जाना जाता है):

एम में सभी ए, बी के लिए, ऑपरेशन का परिणाम a • b भी एम में है।

और गणितीय अंकन में:

a,b\in M\implies a\cdot b\in M.

यदि • इसके अतिरिक्त एक आंशिक संक्रिया है, तो (M, •) को आंशिक मैग्मा कहा जाता है^[6] या अधिक बार एक आंशिक ग्रुपॉयड।^[6]^[7]

मैग्मास की आकृतिवाद

मैग्मास का आकारिकी एक फलन है f : M → N मैग्मा एम को मैग्मा एन में मैप करना जो बाइनरी ऑपरेशन को संरक्षित करता है:

एफ (एक्स •_M वाई) = एफ (एक्स) •_N एफ (वाई),

कहाँ •_M और •_N क्रमशः एम और एन पर बाइनरी ऑपरेशन को निरूपित करें।

अंकन और कॉम्बिनेटरिक्स

मैग्मा ऑपरेशन को बार-बार लागू किया जा सकता है, और सामान्यतः, गैर-सहयोगी मामले में, आदेश मायने रखता है, जिसे कोष्ठकों के साथ नोट किया जाता है। साथ ही, संक्रिया • को अधिकांशतः छोड़ दिया जाता है और सन्निकटन द्वारा नोट किया जाता है:

(a • (b • c)) • d \equiv (a (bc)) d .

एक आशुलिपि का उपयोग अधिकांशतः कोष्ठकों की संख्या को कम करने के लिए किया जाता है, जिसमें अंतरतम संचालन और कोष्ठकों के जोड़े को छोड़ दिया जाता है, केवल रस के साथ प्रतिस्थापित किया जा रहा है: $xy • z \equiv (x • y) • z$ . उदाहरण के लिए, उपरोक्त को निम्नलिखित अभिव्यक्ति के लिए संक्षिप्त किया गया है, जिसमें अभी भी कोष्ठक हैं:

(a • bc) d .

कोष्ठकों के उपयोग से पूरी तरह बचने का एक तरीका उपसर्ग अंकन है, जिसमें एक ही अभिव्यक्ति लिखी जाएगी $•• a • bcd$ . एक और तरीका, प्रोग्रामर से परिचित, पोस्टफिक्स नोटेशन (रिवर्स पोलिश नोटेशन) है, जिसमें एक ही एक्सप्रेशन लिखा जाएगा $abc •• d •$ , जिसमें निष्पादन का क्रम केवल बाएँ से दाएँ होता है (कोई करी नहीं)।

मैग्मा के तत्वों को दर्शाने वाले प्रतीकों से युक्त सभी संभव स्ट्रिंग (कंप्यूटर विज्ञान) और संतुलित कोष्ठकों के सेट को डाइक भाषा कहा जाता है। लिखने के विभिन्न तरीकों की कुल संख्या {{math|n}मैग्मा ऑपरेटर के आवेदन कैटलन संख्या द्वारा दिए गए हैं $C n$ . इस प्रकार, उदाहरण के लिए, $C 2 = 2$ , जो कि केवल कथन है $(ab) c$ और $a (bc)$ मैग्मा के तीन तत्वों को दो संक्रियाओं के साथ युग्मित करने के केवल दो तरीके हैं। कम तुच्छ, $C 3 = 5$ : $((ab) c) d$ , $(a (bc)) d$ , $(ab)(cd)$ , $a ((bc) d)$ , और $a (b (cd))$ .

वहाँ हैं $n n 2$ मैग्मास के साथ $n$ तत्व, इसलिए 1, 1, 16, 19683 हैं, 4294967296, ... (sequence A002489 in the OEIS) मैग्मास 0, 1, 2, 3, 4, ... तत्वों के साथ। समरूपी मैग्मा की संगत संख्या 1, 1, 10, 3330 है, 178981952, ... (sequence A001329 in the OEIS) और एक साथ गैर-आइसोमोर्फिक और गैर-गैर आइसोमॉर्फिक मैग्मा की संख्या 1, 1, 7, 1734 है, 89521056, ... (sequence A001424 in the OEIS).^[8]

फ्री मैग्मा

एक मुक्त मेग्मा एम_Xएक सेट पर एक्स एक्स द्वारा उत्पन्न सबसे सामान्य संभव मैग्मा है (अर्थात, जेनरेटर पर कोई संबंध या सिद्धांत नहीं लगाया गया है; मुफ्त वस्तु देखें)। एम पर बाइनरी ऑपरेशन_Xप्रत्येक दो ऑपरेंड को कोष्ठक में लपेटकर और उन्हें उसी क्रम में जोड़कर बनाया जाता है। उदाहरण के लिए:

a • b = (a)(b),

a • (a • b) = (a)((a)(b)),

(a • a) • b = ((a)(a))(b).

एम_Xएक्स पर गैर-सहयोगी शब्दों के सेट के रूप में वर्णित किया जा सकता है जिसमें कोष्ठक बनाए रखा जाता है।^[9] इसे कंप्यूटर विज्ञान में परिचित शर्तों में भी देखा जा सकता है, एक्स के तत्वों द्वारा लेबल किए गए पत्तों के साथ द्विआधारी वृक्षों की मेग्मा के रूप में। ऑपरेशन पेड़ों को जड़ से जोड़ने का है। इसलिए वाक्य रचना में इसकी एक मूलभूत भूमिका है।

एक मुक्त मैग्मा में सार्वभौमिक संपत्ति होती है जैसे कि यदि f : X → N X से किसी भी मेग्मा N के लिए एक फ़ंक्शन है, तो मैग्मा f के आकारिकी के लिए f का एक अनूठा विस्तार है '

एफ ' : एम_X→ एन.

मैग्मा के प्रकार

मैग्मास और समूह (गणित) के बीच बीजगणितीय संरचनाएं

मैग्मास का अधिकांशतः इस तरह अध्ययन नहीं किया जाता है; इसके अतिरिक्त कई अलग-अलग प्रकार के मैग्मा हैं, जो इस बात पर निर्भर करता है कि ऑपरेशन को पूरा करने के लिए किन स्वयंसिद्धों की आवश्यकता है। सामान्यतः अध्ययन किए जाने वाले मैग्मा में सम्मिलित हैं:

Quasigroup: एक मैग्मा जहां विभाजन (गणित) हमेशा संभव होता है।
- लूप (बीजगणित): एक पहचान तत्व के साथ अर्धसमूह।
सेमिग्रुप : एक मैग्मा जहां ऑपरेशन साहचर्य है।
- मोनोइड: एक पहचान तत्व वाला एक अर्धसमूह।
उलटा अर्धसमूह: उलटा तत्व वाला एक अर्धसमूह। (साहचर्य के साथ अर्धसमूह भी)
समूह (गणित): व्युत्क्रम, साहचर्य, और एक पहचान तत्व के साथ एक मेग्मा।

ध्यान दें कि प्रत्येक विभाज्यता और उलटापन रद्द करने की संपत्ति को दर्शाता है।

क्रमविनिमेय के साथ मैग्मास

क्रमविनिमेय मैग्मा: क्रमविनिमेयता वाला मैग्मा।
क्रमविनिमेय मोनॉयड: क्रमविनिमेयता के साथ एक मोनॉयड।
एबेलियन समूह: क्रमविनिमेयता वाला समूह।

गुणों द्वारा वर्गीकरण

Group-like structures
	Totality^α	Associativity	Identity	Inverse	Commutativity
Semigroupoid	Unneeded	Required	Unneeded	Unneeded	Unneeded
Small category	Unneeded	Required	Required	Unneeded	Unneeded
Groupoid	Unneeded	Required	Required	Required	Unneeded
Magma	Required	Unneeded	Unneeded	Unneeded	Unneeded
Quasigroup	Required	Unneeded	Unneeded	Required	Unneeded
Unital magma	Required	Unneeded	Required	Unneeded	Unneeded
Semigroup	Required	Required	Unneeded	Unneeded	Unneeded
Loop	Required	Unneeded	Required	Required	Unneeded
Monoid	Required	Required	Required	Unneeded	Unneeded
Group	Required	Required	Required	Required	Unneeded
Commutative monoid	Required	Required	Required	Unneeded	Required
Abelian group	Required	Required	Required	Required	Required
^α The closure axiom, used by many sources and defined differently, is equivalent.

}

एक मेग्मा $(S, •)$ , साथ $x, y, u, z$ ∈ $S$ , कहा जाता है

औसत दर्जे का मैग्मा: यदि यह पहचान को संतुष्ट करता है $xy • uz \equiv xu • yz$

वाम अर्धमध्य: यदि यह पहचान को संतुष्ट करता है $xx • yz \equiv xy • xz$
दाहिना अर्धमध्य: यदि यह पहचान को संतुष्ट करता है $yz • xx \equiv yx • zx$
सेमीमेडियल: यदि यह लेफ्ट और राइट दोनों सेमीमेडियल है

बायां वितरण: यदि यह पहचान को संतुष्ट करता है $x • yz \equiv xy • xz$ सही वितरण: यदि यह पहचान को संतुष्ट करता है $yz • x \equiv yx • zx$

ऑटोडिस्ट्रीब्यूटिव: यदि यह लेफ्ट और राइट दोनों डिस्ट्रीब्यूटिव है

कम्यूटेटिव मैग्मा: यदि यह पहचान को संतुष्ट करता है $xy \equiv yx$

Idempotent: यदि यह पहचान को संतुष्ट करता है $xx \equiv x$
अक्षम: यदि यह पहचान को संतुष्ट करता है $xx \equiv yy$

जीरोपोटेंट: यदि यह पहचानों को संतुष्ट करता है $xx • y \equiv xx \equiv y • xx$ ^[10] वैकल्पिकता: यदि यह पहचानों को संतुष्ट करता है $xx • y \equiv x • xy$ और $x • yy \equiv xy • y$ शक्ति-सहयोगी: यदि किसी तत्व द्वारा उत्पन्न उपमग्मा साहचर्य है

लचीला बीजगणित: यदि $xy • x \equiv x • yx$
एक अर्धसमूह, या साहचर्य: यदि यह पहचान को संतुष्ट करता है $x • yz \equiv xy • z$

ए लेफ्ट अनार: यदि यह पहचान को संतुष्ट करता है $xy \equiv xz$

एक सही अनार: यदि यह पहचान को संतुष्ट करता है $yx \equiv zx$

शून्य गुणन वाला अर्धसमूह, या अशक्त अर्धसमूह: यदि यह पहचान को संतुष्ट करता है $xy \equiv uv$

यूनिटल: यदि इसमें एक पहचान तत्व है

वाम-रद्दीकरण: यदि, सभी के लिए $x, y, z$ , रिश्ता $xy = xz$ तात्पर्य $y = z$ राइट-कैंसलेटिव: यदि, सभी के लिए $x, y, z$ , रिश्ता $yx = zx$ तात्पर्य $y = z$

कैंसलेटिव: यदि यह राइट-कैंसलेटिव और लेफ्ट-कैंसलेटिव दोनों है
एक शून्य अर्धसमूह#बायां शून्य अर्धसमूह: यदि यह एक अर्धसमूह है और यह सर्वसमिका को संतुष्ट करता है $xy \equiv x$
एक शून्य अर्धसमूह#दायां शून्य अर्धसमूह: यदि यह एक अर्धसमूह है और यह पहचान को संतुष्ट करता है $yx \equiv x$
ट्रिमेडियल: यदि कोई ट्रिपल (आवश्यक रूप से अलग नहीं) तत्व एक औसत दर्जे का सबमग्मा उत्पन्न करता है

एन्ट्रोपिक: यदि यह एक औसत दर्जे का कैंसलेटिव मैग्मा का एक सार्वभौमिक बीजगणित है।^[11]

मैग्मास की श्रेणी

मैग्मास की श्रेणी, जिसे मैग कहा जाता है, वह श्रेणी (गणित) है, जिसकी वस्तुएं मैग्मा हैं और जिनकी आकृतियां मैग्मा_(बीजगणित) #मॉर्फिज्म_ऑफ_मैग्मास हैं। श्रेणी मैग में उत्पाद (श्रेणी सिद्धांत) है, और एक समावेशन फ़ैक्टर है: Set → Med ↪ Mag प्रोजेक्शन (गणित) द्वारा दिए गए बाइनरी ऑपरेशंस के साथ तुच्छ मैग्मास के रूप में $x T y = y$ .

एक महत्वपूर्ण संपत्ति यह है कि एक इंजेक्शन एंडोमोर्फिज्म को मैग्मा बीजगणितीय विस्तार के automorphism तक बढ़ाया जा सकता है, एंडोमोर्फिज्म के (निरंतर कार्य अनुक्रम) के कोलिमिट।

क्योंकि सिंगलटन (गणित) $({*}, *)$ मैग का टर्मिनल वस्तु है, और क्योंकि मैग बीजगणितीय श्रेणी है, मैग पॉइंटेड और पूर्ण श्रेणी है।^[12]

यह भी देखें

मैग्मा श्रेणी
सार्वभौमिक बीजगणित
मैग्मा कंप्यूटर बीजगणित प्रणाली, इस लेख के उद्देश्य के नाम पर।
क्रमविनिमेय मैग्मा
बीजगणितीय संरचना#संरचनाएं जिनके स्वयंसिद्ध सभी सर्वसमिकाएं हैं
ग्रुपॉयड बीजगणित
हॉल सेट

संदर्भ

↑ Bergman, Clifford (2011), Universal Algebra: Fundamentals and Selected Topics, CRC Press, ISBN 978-1-4398-5130-2
↑ Hausmann, B. A.; Ore, Øystein (October 1937), "Theory of quasi-groups", American Journal of Mathematics, 59 (4): 983–1004, doi:10.2307/2371362, JSTOR 2371362.
↑ Hollings, Christopher (2014), Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups, American Mathematical Society, pp. 142–143, ISBN 978-1-4704-1493-1.
↑ Bergman, George M.; Hausknecht, Adam O. (1996), Cogroups and Co-rings in Categories of Associative Rings, American Mathematical Society, p. 61, ISBN 978-0-8218-0495-7.
↑ Bourbaki, N. (1998) [1970], "Algebraic Structures: §1.1 Laws of Composition: Definition 1", Algebra I: Chapters 1–3, Springer, p. 1, ISBN 978-3-540-64243-5.
↑ ^6.0 ^6.1 Müller-Hoissen, Folkert; Pallo, Jean Marcel; Stasheff, Jim, eds. (2012), Associahedra, Tamari Lattices and Related Structures: Tamari Memorial Festschrift, Springer, p. 11, ISBN 978-3-0348-0405-9.
↑ Evseev, A. E. (1988), "A survey of partial groupoids", in Silver, Ben (ed.), Nineteen Papers on Algebraic Semigroups, American Mathematical Society, ISBN 0-8218-3115-1.
↑ Weisstein, Eric W. "Groupoid". MathWorld.
↑ Rowen, Louis Halle (2008), "Definition 21B.1.", Graduate Algebra: Noncommutative View, Graduate Studies in Mathematics, American Mathematical Society, p. 321, ISBN 0-8218-8408-5.
↑ Kepka, T.; Němec, P. (1996), "Simple balanced groupoids" (PDF), Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, 35 (1): 53–60.
↑ Ježek, Jaroslav; Kepka, Tomáš (1981), "Free entropic groupoids" (PDF), Commentationes Mathematicae Universitatis Carolinae, 22 (2): 223–233, MR 0620359.
↑ Borceux, Francis; Bourn, Dominique (2004). मालसेव, प्रोटोमॉडुलर, होमोलॉजिकल और सेमी-एबेलियन श्रेणियां. Springer. pp. 7, 19. ISBN 1-4020-1961-0.

Hazewinkel, M. (2001) [1994], "Magma", Encyclopedia of Mathematics, EMS Press.
Hazewinkel, M. (2001) [1994], "Groupoid", Encyclopedia of Mathematics, EMS Press.
Hazewinkel, M. (2001) [1994], "Free magma", Encyclopedia of Mathematics, EMS Press.
Weisstein, Eric W. "Groupoid". MathWorld.

अग्रिम पठन

Bruck, Richard Hubert (1971), A survey of binary systems (3rd ed.), Springer, ISBN 978-0-387-03497-3

[1] Bergman, Clifford (2011), Universal Algebra: Fundamentals and Selected Topics, CRC Press, ISBN 978-1-4398-5130-2

[2] Hausmann, B. A.; Ore, Øystein (October 1937), "Theory of quasi-groups", American Journal of Mathematics, 59 (4): 983–1004, doi:10.2307/2371362, JSTOR 2371362.

[Hollings2014-3] Hollings, Christopher (2014), Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups, American Mathematical Society, pp. 142–143, ISBN 978-1-4704-1493-1.

[BergmanHausknecht1996-4] Bergman, George M.; Hausknecht, Adam O. (1996), Cogroups and Co-rings in Categories of Associative Rings, American Mathematical Society, p. 61, ISBN 978-0-8218-0495-7.

[Bourbaki1998-5] Bourbaki, N. (1998) [1970], "Algebraic Structures: §1.1 Laws of Composition: Definition 1", Algebra I: Chapters 1–3, Springer, p. 1, ISBN 978-3-540-64243-5.

[Müller-HoissenPallo2012-6] 6.0 ^6.1 Müller-Hoissen, Folkert; Pallo, Jean Marcel; Stasheff, Jim, eds. (2012), Associahedra, Tamari Lattices and Related Structures: Tamari Memorial Festschrift, Springer, p. 11, ISBN 978-3-0348-0405-9.

[Silver-7] Evseev, A. E. (1988), "A survey of partial groupoids", in Silver, Ben (ed.), Nineteen Papers on Algebraic Semigroups, American Mathematical Society, ISBN 0-8218-3115-1.

[8] Weisstein, Eric W. "Groupoid". MathWorld.

[9] Rowen, Louis Halle (2008), "Definition 21B.1.", Graduate Algebra: Noncommutative View, Graduate Studies in Mathematics, American Mathematical Society, p. 321, ISBN 0-8218-8408-5.

[10] Kepka, T.; Němec, P. (1996), "Simple balanced groupoids" (PDF), Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, 35 (1): 53–60.

[11] Ježek, Jaroslav; Kepka, Tomáš (1981), "Free entropic groupoids" (PDF), Commentationes Mathematicae Universitatis Carolinae, 22 (2): 223–233, MR 0620359.

[12] Borceux, Francis; Bourn, Dominique (2004). मालसेव, प्रोटोमॉडुलर, होमोलॉजिकल और सेमी-एबेलियन श्रेणियां. Springer. pp. 7, 19. ISBN 1-4020-1961-0.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

α

[10]

[11]

[12]

@@ Line 5: / Line 5: @@
 == इतिहास और शब्दावली ==
-ग्रुपॉयड शब्द की शुरुआत 1927 में [[हेनरिक ब्रांट]] ने अपने [[ब्रांट ग्रुपॉयड]] (जर्मन से अनुवादित) का वर्णन करते हुए की थी। {{lang|de|Gruppoid}}). तब इस शब्द को बी. ए. हॉसमैन और ऑयस्टीन ओरे (1937) द्वारा अपनाया गया था<ref>{{citation |first=B. A. |last=Hausmann |first2=Øystein |last2=Ore |title=Theory of quasi-groups |journal=American Journal of Mathematics |volume=59 |issue=4 |pages=983–1004 |year=October 1937 |jstor=2371362 |doi=10.2307/2371362}}.</ref> इस लेख में प्रयुक्त अर्थ में (बाइनरी ऑपरेशन के साथ एक सेट)। [[Zentralblatt]] में बाद के पत्रों की कुछ समीक्षाओं में, ब्रांट शब्दावली के इस अतिभार से बहुत असहमत थे। ब्रांट ग्रुपॉइड श्रेणी सिद्धांत में प्रयुक्त अर्थ में एक समूह है, लेकिन हौसमैन और अयस्क द्वारा उपयोग किए जाने वाले अर्थ में नहीं। फिर भी, सेमीग्रुप थ्योरी में प्रभावशाली पुस्तकें, जिनमें [[अल्फ्रेड हॉब्लिट्ज़ेल क्लिफोर्ड]] और जी.बी. प्रेस्टन (1961) और [[जॉन मैकिंटोश होवी]] (1995) शामिल हैं। हॉसमैन और अयस्क के अर्थ में [[ groupoid ]] का उपयोग करें। हॉलिंग्स (2014) लिखते हैं कि ग्रुपॉयड शब्द का उपयोग शायद आधुनिक गणित में श्रेणी सिद्धांत में दिए गए अर्थ में सबसे अधिक बार किया जाता है।<ref name="Hollings2014">{{citation |first=Christopher |last=Hollings |title=Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups |url=https://books.google.com/books?id=O9wJBAAAQBAJ&pg=PA142 |year=2014 |publisher=American Mathematical Society |isbn=978-1-4704-1493-1 |pages=142–143}}.</ref>
+ग्रुपॉयड शब्द की शुरुआत 1927 में [[हेनरिक ब्रांट]] ने अपने [[ब्रांट ग्रुपॉयड]] (जर्मन से अनुवादित) का वर्णन करते हुए की थी। {{lang|de|Gruppoid}}). तब इस शब्द को बी. ए. हॉसमैन और ऑयस्टीन ओरे (1937) द्वारा अपनाया गया था<ref>{{citation |first=B. A. |last=Hausmann |first2=Øystein |last2=Ore |title=Theory of quasi-groups |journal=American Journal of Mathematics |volume=59 |issue=4 |pages=983–1004 |year=October 1937 |jstor=2371362 |doi=10.2307/2371362}}.</ref> इस लेख में प्रयुक्त अर्थ में (बाइनरी ऑपरेशन के साथ एक सेट)। [[Zentralblatt]] में बाद के पत्रों की कुछ समीक्षाओं में, ब्रांट शब्दावली के इस अतिभार से बहुत असहमत थे। ब्रांट ग्रुपॉइड श्रेणी सिद्धांत में प्रयुक्त अर्थ में एक समूह है, लेकिन हौसमैन और अयस्क द्वारा उपयोग किए जाने वाले अर्थ में नहीं। फिर भी, सेमीग्रुप थ्योरी में प्रभावशाली पुस्तकें, जिनमें [[अल्फ्रेड हॉब्लिट्ज़ेल क्लिफोर्ड]] और जी.बी. प्रेस्टन (1961) और [[जॉन मैकिंटोश होवी]] (1995) सम्मिलित हैं। हॉसमैन और अयस्क के अर्थ में [[ groupoid ]] का उपयोग करें। हॉलिंग्स (2014) लिखते हैं कि ग्रुपॉयड शब्द का उपयोग शायद आधुनिक गणित में श्रेणी सिद्धांत में दिए गए अर्थ में सबसे अधिक बार किया जाता है।<ref name="Hollings2014">{{citation |first=Christopher |last=Hollings |title=Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups |url=https://books.google.com/books?id=O9wJBAAAQBAJ&pg=PA142 |year=2014 |publisher=American Mathematical Society |isbn=978-1-4704-1493-1 |pages=142–143}}.</ref>
-बर्गमैन और हॉस्कनेचट (1996) के अनुसार: एक सेट के लिए आम तौर पर स्वीकृत शब्द नहीं है, जो अनिवार्य रूप से साहचर्य बाइनरी ऑपरेशन नहीं है। Groupoid शब्द का प्रयोग कई सार्वभौमिक बीजगणितियों द्वारा किया जाता है, लेकिन श्रेणी सिद्धांत और संबंधित क्षेत्रों में कार्यकर्ता इस उपयोग के लिए कड़ी आपत्ति जताते हैं क्योंकि वे उसी शब्द का उपयोग करते हैं जिसका अर्थ है 'श्रेणी जिसमें सभी morphisms व्युत्क्रमणीय हैं'। मैग्मा शब्द का प्रयोग [[ जीन पियरे सेरे ]] [ली अलजेब्रास एंड लाइ ग्रुप्स, 1965] द्वारा किया गया था।<ref name="BergmanHausknecht1996">{{citation |first=George M. |last=Bergman |first2=Adam O. |last2=Hausknecht |title=Cogroups and Co-rings in Categories of Associative Rings |url=https://books.google.com/books?id=s6NnkQs3JBMC&pg=PA61 |year=1996 |publisher=American Mathematical Society |isbn=978-0-8218-0495-7 |page=61}}.</ref> यह [[निकोलस बोरबाकी]] के में भी दिखाई देता है {{lang|fr|[[Éléments de mathématique]], Algèbre, chapitres 1 à 3, 1970}}.<ref name="Bourbaki1998">{{citation |first=N. |last=Bourbaki |title=Algebra I: Chapters 1–3 |chapter=Algebraic Structures: §1.1 Laws of Composition: Definition 1 |chapter-url=https://books.google.com/books?id=STS9aZ6F204C&pg=PA1 |year=1998 |publisher=Springer |isbn=978-3-540-64243-5 |page=1 |orig-year=1970}}.</ref>
+बर्गमैन और हॉस्कनेचट (1996) के अनुसार: एक सेट के लिए सामान्यतः स्वीकृत शब्द नहीं है, जो अनिवार्य रूप से साहचर्य बाइनरी ऑपरेशन नहीं है। Groupoid शब्द का प्रयोग कई सार्वभौमिक बीजगणितियों द्वारा किया जाता है, लेकिन श्रेणी सिद्धांत और संबंधित क्षेत्रों में कार्यकर्ता इस उपयोग के लिए कड़ी आपत्ति जताते हैं क्योंकि वे उसी शब्द का उपयोग करते हैं जिसका अर्थ है 'श्रेणी जिसमें सभी morphisms व्युत्क्रमणीय हैं'। मैग्मा शब्द का प्रयोग [[ जीन पियरे सेरे ]] [ली अलजेब्रास एंड लाइ ग्रुप्स, 1965] द्वारा किया गया था।<ref name="BergmanHausknecht1996">{{citation |first=George M. |last=Bergman |first2=Adam O. |last2=Hausknecht |title=Cogroups and Co-rings in Categories of Associative Rings |url=https://books.google.com/books?id=s6NnkQs3JBMC&pg=PA61 |year=1996 |publisher=American Mathematical Society |isbn=978-0-8218-0495-7 |page=61}}.</ref> यह [[निकोलस बोरबाकी]] के में भी दिखाई देता है {{lang|fr|[[Éléments de mathématique]], Algèbre, chapitres 1 à 3, 1970}}.<ref name="Bourbaki1998">{{citation |first=N. |last=Bourbaki |title=Algebra I: Chapters 1–3 |chapter=Algebraic Structures: §1.1 Laws of Composition: Definition 1 |chapter-url=https://books.google.com/books?id=STS9aZ6F204C&pg=PA1 |year=1998 |publisher=Springer |isbn=978-3-540-64243-5 |page=1 |orig-year=1970}}.</ref>
@@ Line 17: / Line 17: @@
 और गणितीय अंकन में:
 : <math>a, b \in M \implies a \cdot b \in M.</math>
-यदि • इसके बजाय एक आंशिक संक्रिया है, तो {{nowrap|(''M'', •)}} को आंशिक मैग्मा कहा जाता है<ref name="Müller-HoissenPallo2012">{{citation |editor-first=Folkert |editor-last=Müller-Hoissen |editor2-first=Jean Marcel |editor2-last=Pallo |editor3-first=Jim |editor3-last=Stasheff |title=Associahedra, Tamari Lattices and Related Structures: Tamari Memorial Festschrift |url=https://books.google.com/books?id=Y01d6g5UemQC&pg=PA11 |year=2012 |publisher=Springer |isbn=978-3-0348-0405-9 |page=11}}.</ref> या अधिक बार एक आंशिक ग्रुपॉयड।<ref name="Müller-HoissenPallo2012"/><ref name="Silver">{{citation |editor-first=Ben |editor-last=Silver |title=Nineteen Papers on Algebraic Semigroups |publisher=American Mathematical Society |isbn=0-8218-3115-1 |last=Evseev |first=A. E. |chapter=A survey of partial groupoids |year=1988}}.</ref>
+यदि • इसके अतिरिक्त एक आंशिक संक्रिया है, तो {{nowrap|(''M'', •)}} को आंशिक मैग्मा कहा जाता है<ref name="Müller-HoissenPallo2012">{{citation |editor-first=Folkert |editor-last=Müller-Hoissen |editor2-first=Jean Marcel |editor2-last=Pallo |editor3-first=Jim |editor3-last=Stasheff |title=Associahedra, Tamari Lattices and Related Structures: Tamari Memorial Festschrift |url=https://books.google.com/books?id=Y01d6g5UemQC&pg=PA11 |year=2012 |publisher=Springer |isbn=978-3-0348-0405-9 |page=11}}.</ref> या अधिक बार एक आंशिक ग्रुपॉयड।<ref name="Müller-HoissenPallo2012"/><ref name="Silver">{{citation |editor-first=Ben |editor-last=Silver |title=Nineteen Papers on Algebraic Semigroups |publisher=American Mathematical Society |isbn=0-8218-3115-1 |last=Evseev |first=A. E. |chapter=A survey of partial groupoids |year=1988}}.</ref>
@@ Line 29: / Line 29: @@
 == अंकन और कॉम्बिनेटरिक्स ==
-मैग्मा ऑपरेशन को बार-बार लागू किया जा सकता है, और सामान्य तौर पर, गैर-सहयोगी मामले में, आदेश मायने रखता है, जिसे कोष्ठकों के साथ नोट किया जाता है। साथ ही, संक्रिया • को अक्सर छोड़ दिया जाता है और सन्निकटन द्वारा नोट किया जाता है:
+मैग्मा ऑपरेशन को बार-बार लागू किया जा सकता है, और सामान्यतः, गैर-सहयोगी मामले में, आदेश मायने रखता है, जिसे कोष्ठकों के साथ नोट किया जाता है। साथ ही, संक्रिया • को अधिकांशतः छोड़ दिया जाता है और सन्निकटन द्वारा नोट किया जाता है:
 : {{math|1= (''a'' • (''b'' • ''c'')) • ''d'' ≡ (''a''(''bc''))''d''.}}
-एक आशुलिपि का उपयोग अक्सर कोष्ठकों की संख्या को कम करने के लिए किया जाता है, जिसमें अंतरतम संचालन और कोष्ठकों के जोड़े को छोड़ दिया जाता है, केवल रस के साथ प्रतिस्थापित किया जा रहा है: {{math|1=''xy'' • ''z'' ≡ (''x'' • ''y'') • ''z''}}. उदाहरण के लिए, उपरोक्त को निम्नलिखित अभिव्यक्ति के लिए संक्षिप्त किया गया है, जिसमें अभी भी कोष्ठक हैं:
+एक आशुलिपि का उपयोग अधिकांशतः कोष्ठकों की संख्या को कम करने के लिए किया जाता है, जिसमें अंतरतम संचालन और कोष्ठकों के जोड़े को छोड़ दिया जाता है, केवल रस के साथ प्रतिस्थापित किया जा रहा है: {{math|1=''xy'' • ''z'' ≡ (''x'' • ''y'') • ''z''}}. उदाहरण के लिए, उपरोक्त को निम्नलिखित अभिव्यक्ति के लिए संक्षिप्त किया गया है, जिसमें अभी भी कोष्ठक हैं:
 : {{math|1= (''a'' • ''bc'')''d''.}}
 कोष्ठकों के उपयोग से पूरी तरह बचने का एक तरीका [[उपसर्ग अंकन]] है, जिसमें एक ही अभिव्यक्ति लिखी जाएगी {{math|1= ••''a''•''bcd''}}. एक और तरीका, प्रोग्रामर से परिचित, [[पोस्टफिक्स नोटेशन]] ([[रिवर्स पोलिश नोटेशन]]) है, जिसमें एक ही एक्सप्रेशन लिखा जाएगा {{math|1= ''abc''••''d''•}}, जिसमें निष्पादन का क्रम केवल बाएँ से दाएँ होता है (कोई [[करी]] नहीं)।
@@ Line 43: / Line 43: @@
 == फ्री मैग्मा ==
-एक मुक्त मेग्मा ''एम<sub>X</sub>एक सेट पर एक्स एक्स द्वारा उत्पन्न सबसे सामान्य संभव मैग्मा है (यानी, जेनरेटर पर कोई संबंध या सिद्धांत नहीं लगाया गया है; मुफ्त वस्तु देखें)। एम पर बाइनरी ऑपरेशन<sub>X</sub>प्रत्येक दो ऑपरेंड को कोष्ठक में लपेटकर और उन्हें उसी क्रम में जोड़कर बनाया जाता है। उदाहरण के लिए:
+एक मुक्त मेग्मा ''एम<sub>X</sub>एक सेट पर एक्स एक्स द्वारा उत्पन्न सबसे सामान्य संभव मैग्मा है (अर्थात, जेनरेटर पर कोई संबंध या सिद्धांत नहीं लगाया गया है; मुफ्त वस्तु देखें)। एम पर बाइनरी ऑपरेशन<sub>X</sub>प्रत्येक दो ऑपरेंड को कोष्ठक में लपेटकर और उन्हें उसी क्रम में जोड़कर बनाया जाता है। उदाहरण के लिए:''
 : {{math|1= ''a'' • ''b'' = (''a'')(''b''),}}
 : {{math|1= ''a'' • (''a'' • ''b'') = (''a'')((''a'')(''b'')),}}
@@ Line 57: / Line 57: @@
 == मैग्मा के प्रकार ==
-[[Image:Magma to group4.svg|thumb|right|300px|मैग्मास और [[समूह (गणित)]] के बीच बीजगणितीय संरचनाएं]]मैग्मास का अक्सर इस तरह अध्ययन नहीं किया जाता है; इसके बजाय कई अलग-अलग प्रकार के मैग्मा हैं, जो इस बात पर निर्भर करता है कि ऑपरेशन को पूरा करने के लिए किन स्वयंसिद्धों की आवश्यकता है। आमतौर पर अध्ययन किए जाने वाले मैग्मा में शामिल हैं:
+[[Image:Magma to group4.svg|thumb|right|300px|मैग्मास और [[समूह (गणित)]] के बीच बीजगणितीय संरचनाएं]]मैग्मास का अधिकांशतः इस तरह अध्ययन नहीं किया जाता है; इसके अतिरिक्त कई अलग-अलग प्रकार के मैग्मा हैं, जो इस बात पर निर्भर करता है कि ऑपरेशन को पूरा करने के लिए किन स्वयंसिद्धों की आवश्यकता है। सामान्यतः अध्ययन किए जाने वाले मैग्मा में सम्मिलित हैं:
 *[[Quasigroup]]: एक मैग्मा जहां [[विभाजन (गणित)]] हमेशा संभव होता है।
 ** लूप (बीजगणित): एक [[पहचान तत्व]] के साथ अर्धसमूह।
@@ Line 76: / Line 76: @@
 एक मेग्मा {{math|(''S'', •)}}, साथ {{math|''x'', ''y'', ''u'', ''z''}} ∈ {{math|''S''}}, कहा जाता है
-[[औसत दर्जे का मैग्मा]]: अगर यह पहचान को संतुष्ट करता है {{math|''xy'' • ''uz'' ≡ ''xu'' • ''yz''}}
+[[औसत दर्जे का मैग्मा]]: यदि यह पहचान को संतुष्ट करता है {{math|''xy'' • ''uz'' ≡ ''xu'' • ''yz''}}
 ; वाम अर्धमध्य: यदि यह पहचान को संतुष्ट करता है {{math|''xx'' • ''yz'' ≡ ''xy'' • ''xz''}}
 ;दाहिना अर्धमध्य: यदि यह पहचान को संतुष्ट करता है {{math|''yz'' • ''xx'' ≡ ''yx'' • ''zx''}}
-;सेमीमेडियल: अगर यह लेफ्ट और राइट दोनों सेमीमेडियल है
+;सेमीमेडियल: यदि यह लेफ्ट और राइट दोनों सेमीमेडियल है
 बायां वितरण: यदि यह पहचान को संतुष्ट करता है {{math|''x'' • ''yz'' ≡ ''xy'' • ''xz''}}
 सही वितरण: यदि यह पहचान को संतुष्ट करता है {{math|''yz'' • ''x'' ≡ ''yx'' • ''zx''}}
 ;ऑटोडिस्ट्रीब्यूटिव: यदि यह लेफ्ट और राइट दोनों डिस्ट्रीब्यूटिव है
 कम्यूटेटिव मैग्मा: यदि यह पहचान को संतुष्ट करता है {{math|''xy'' ≡ ''yx''}}
-;[[Idempotent]]: अगर यह पहचान को संतुष्ट करता है {{math|''xx'' ≡ ''x''}}
+;[[Idempotent]]: यदि यह पहचान को संतुष्ट करता है {{math|''xx'' ≡ ''x''}}
 ;अक्षम: यदि यह पहचान को संतुष्ट करता है {{math|''xx'' ≡ ''yy''}}
 जीरोपोटेंट: यदि यह पहचानों को संतुष्ट करता है {{math|''xx'' • ''y'' ≡ ''xx'' ≡ ''y'' • ''xx''}}<ref>{{citation |first=T. |last=Kepka |first2=P. |last2=Němec |title=Simple balanced groupoids |journal=Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica |volume=35 |issue=1 |pages=53–60 |year=1996 |format=PDF |url=http://dml.cz/bitstream/handle/10338.dmlcz/120353/ActaOlom_35-1996-1_7.pdf }}.</ref>
@@ Line 92: / Line 92: @@
 ;एक अर्धसमूह, या साहचर्य: यदि यह पहचान को संतुष्ट करता है {{math|''x'' • ''yz'' ≡ ''xy'' • ''z''}}
 ए लेफ्ट अनार: यदि यह पहचान को संतुष्ट करता है {{math|''xy'' ≡ ''xz''}}
-;एक सही अनार: अगर यह पहचान को संतुष्ट करता है {{math|''yx'' ≡ ''zx''}}
+;एक सही अनार: यदि यह पहचान को संतुष्ट करता है {{math|''yx'' ≡ ''zx''}}
 शून्य गुणन वाला अर्धसमूह, या [[अशक्त अर्धसमूह]]: यदि यह पहचान को संतुष्ट करता है {{math|''xy'' ≡ ''uv''}}
 ;{{anchor|unital}}यूनिटल: यदि इसमें एक पहचान तत्व है

Anonymous

Search

मेग्मा (बीजगणित): Difference between revisions

Namespaces

More

Page actions

Revision as of 21:34, 6 March 2023

Contents

इतिहास और शब्दावली

परिभाषा

मैग्मास की आकृतिवाद

अंकन और कॉम्बिनेटरिक्स

फ्री मैग्मा

मैग्मा के प्रकार

गुणों द्वारा वर्गीकरण

मैग्मास की श्रेणी

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

मेग्मा (बीजगणित): Difference between revisions

Revision as of 21:34, 6 March 2023

इतिहास और शब्दावली

परिभाषा

मैग्मास की आकृतिवाद

अंकन और कॉम्बिनेटरिक्स

फ्री मैग्मा

मैग्मा के प्रकार

गुणों द्वारा वर्गीकरण

मैग्मास की श्रेणी

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories