प्रपांतरण अर्धसमूह
बीजगणित में, एक रूपांतरण अर्धसमूह या संघटन अर्धसमूह परिवर्तन (फ़ंक्शन गणित एक संग्रह से स्वयं) का एक संग्रह है जो फ़ंक्शन संरचना के तहत क्लोजर गणित है। यदि इसमें पहचान कार्य शामिल है, तो यह एक मोनोइड है, जिसे एक परिवर्तन या रचना मोनोइड कहा जाता है। यह क्रमपरिवर्तन समूह का अर्धसमूह एनालॉग है।
एक संग्रह के परिवर्तन अर्धसमूह में एक टॉटोलॉजिकल अर्धसमूह क्रिया होती है। इस तरह के कार्यों मे यथातथ्य होने की विशेषता होती है, अर्थात, यदि अर्धसमूह के दो तत्वों में समान क्रिया होती है, तो वे समान होते हैं।
केली प्रमेय के एक एनालॉग से पता चलता है कि किसी भी अर्धसमूह के कुछ संग्रह के रूपांतरण को अर्धसमूह के रूप में महसूस किया जा सकता है।
ऑटोमेटा सिद्धांत में, कुछ लेखक अर्धसमूह के आधार संग्रह से अलग संग्रह की एक स्थिति पर अर्धसमूह क्रिया को संदर्भित करने के लिए 'परिवर्तन अर्धसमूह' शब्द का उपयोग करते हैं।[1] दो धारणाओं के बीच एक पत्राचार है।
परिवर्तन सेमिग्रुप्स और मोनोइड्स
एक परिवर्तन अर्धसमूह एक जोड़ी एक्स,एस (X,S) है, जहाँ एक्स (X) एक संग्रह है और एस,एक्स (S X) के परिवर्तन का अर्धसमूह है। यहाँ एक्स (X) का रूपांतरण एक्स (X) के उपसमुच्चय से एक्स (X) तक केवल एक फ़ंक्शन (गणित) है, जरूरी नहीं कि उलटा हो, और इसलिए एस (S) केवल परिवर्तनों का एक संग्रह है एक्स (X) जो कार्यों की संरचना के अंतर्गत क्लोजर (गणित) है। किसी दिए गए बेस संग्रह एक्स (X) पर सभी आंशिक कार्यों का संग्रह, एक नियमित अर्धसमूह बनाता है जिसे सभी आंशिक परिवर्तनों का अर्धसमूह कहा जाता है (या एक्स (X) पर आंशिक परिवर्तन अर्धसमूह), जिसे आमतौर पर निरूपित किया जाता है .[2] अगर एस,एक्स (S में X का आइडेंटिटी परिवर्तनों शामिल है, तो इसे 'परिवर्तनों मोनोइड' कहा जाता है। स्पष्ट रूप से कोई भी परिवर्तन अर्धसमूह एस पहचान परिवर्तन के साथ एस के संघ को ले कर एक परिवर्तन मोनोइड एम निर्धारित करता है। एक परिवर्तन मोनोइड जिसका तत्व उलटा हो सकता है एक क्रमचय समूह है।
एक्स (X) के सभी परिवर्तनों का समुच्चय एक रूपांतरण मोनोइड है जिसे एक्स (X) का 'पूर्ण परिवर्तन मोनोइड' (या 'अर्धसमूह') कहा जाता है। इसे एक्स (X) का 'सममित अर्धसमूह' भी कहा जाता है और इसे टी (T) द्वारा दर्शाया जाता है।X. इस प्रकार एक रूपांतरण उपार्ध समूह (या मोनोइड) एक्स के पूर्ण परिवर्तन मोनोइड का सिर्फ एक उपसमूह (या submonoid) है।
यदि एक्स, एस (X =T) एक रूपांतरण अर्धसमूह है तो एक्स (X) को मूल्यांकन द्वारा एस (S)की एक अर्धसमूह कार्रवाई में बनाया जा सकता है:
यह एक मोनोइड क्रिया है यदि एस (S) एक रूपांतरण मोनोइड है।
क्रियाओं के रूप में परिवर्तन अर्धसमूहों की विशेषता यह है कि वे वफादार हैं, अर्थात, यदि
फिर एस = टी (T)। विलोमतः यदि एक अर्धसमूह एस (S) समुच्चय एक्स (X) पर टी (T) एस,एक्स (s,x) = s • x द्वारा कार्य करता है तो हम s ∈ S के लिए एक परिवर्तन टी (T) को परिभाषित कर सकते हैंs एक्स द्वारा
टी (T) को नक्शा भेज रहा हैs इंजेक्शन है अगर और केवल अगर (एक्स, टी (X,T) वफादार है, इस मामले में इस मानचित्र की छवि एस (S) के लिए एक परिवर्तन अर्धसमूह आइसोमोर्फिक है।
केली प्रतिनिधित्व
समूह सिद्धांत में, केली के प्रमेय का दावा है कि कोई भी समूह जी (G) के सममित समूह (एक सेट के रूप में माना जाता है) के एक उपसमूह के लिए समरुप है, ताकि जी (G) एक क्रमचय समूह हो। यह प्रमेय सीधे तौर पर मोनोइड्स के लिए सामान्यीकृत होता है: कोई भी मोनोइड एम (M) इसके अंतर्निहित सेट का एक रूपांतरण मोनोइड है, जो बाएं (या दाएं) गुणन द्वारा दी गई क्रिया के माध्यम से होता है। यह क्रिया सत्य है क्योंकि यदि एम (M) में सभी x के लिए ax = bx है, तो x को सर्वसमिका अवयव के बराबर लेने पर, हमें a = b प्राप्त होता है।
एक (बाएं या दाएं) पहचान तत्व के बिना एक सेमीग्रुप एस के लिए, हम एक्स को मोनॉयड # उदाहरण के अंतर्निहित सेट के रूप में लेते हैं ताकि एस को एक्स के रूपांतरण सेमीग्रुप के रूप में महसूस किया जा सके। विशेष रूप से किसी भी परिमित सेमीग्रुप को परिवर्तनों के उप-समूह के रूप में दर्शाया जा सकता है एक सेट एक्स के साथ | एक्स | ≤ |एस| + 1, और यदि S एक मोनोइड है, तो हमारे पास शार्प बाउंड |X| है ≤ |S|, जैसा परिमित समूहों के मामले में है।[3]: 21
कंप्यूटर विज्ञान में
कंप्यूटर विज्ञान में, केली के अभ्यावेदन को कई रचित गुणन मे पुन: संबद्ध करके अर्धसमूह की स्पर्शोन्मुख दक्षता में सुधार करने के लिए लागू किया जा सकता है। बाएं गुणन द्वारा दी गई क्रिया का परिणाम दाएं-संबद्ध गुणन में होता है, और इसके विपरीत सही गुणन द्वारा दी गई क्रिया के लिए किसी भी अर्धसमूह के लिए समान परिणाम होने के बावजूद, स्पर्शोन्मुख दक्षता भिन्न होती है। बाएं गुणन की एक क्रिया द्वारा दिए गए उपयोगी परिवर्तन मोनोइड्स के दो उदाहरण अंतर सूची डेटा संरचना के कार्यात्मक रूपांतर हैं, और मोनैडिक घनत्व परिवर्तन (मोनैड का एक केली प्रतिनिधित्व, जो एक विशेष मोनोइडल फ़ंक्टर श्रेणी में एक मोनोइड है)।[4]
एक ऑटोमेटन का परिवर्तन मोनोइड
एम(M) को राज्य स्थान एस (S) और वर्णमाला ए (A) के साथ एक निर्धारक ऑटोमेटन होने दें। मुक्त मोनोइड ए (A)∗ में शब्द एस (S) के परिवर्तनों को प्रेरित करते हैं जो ए (A)∗ से पूर्ण परिवर्तन मोनोइड टी एस (TS) तक एक मोनोइड आकारिकी को जन्म देते हैं। इस आकारिकी की छवि एम (M) का परिवर्तन अर्धसमूह है।
एक नियमित भाषा के लिए, सिंटैक्टिक मोनॉयड भाषा के न्यूनतम ऑटोमेटन के परिवर्तन मोनोइड के लिए समरूप है। [3]
यह भी देखें
- अर्धस्वचालित
- क्रोहन-रोड्स सिद्धांत
- सममित उलटा अर्धसमूह
- बायोआर्डर सेट
- सेमीग्रुप्स की विशेष कक्षाएं
- रचना की अंगूठी
संदर्भ
- ↑ Dominique Perrin; Jean Eric Pin (2004). Infinite Words: Automata, Semigroups, Logic and Games. Academic Press. p. 448. ISBN 978-0-12-532111-2.
- ↑ Alfred Hoblitzelle Clifford; G. B. Preston (1967). The Algebraic Theory of Semigroups. Volume II. American Mathematical Soc. p. 254. ISBN 978-0-8218-0272-4.
- ↑ 3.0 3.1 Anderson, James A. (2006). Automata Theory with Modern Applications. With contributions by Tom Head. Cambridge: Cambridge University Press. doi:10.1017/CBO9780511607202. ISBN 978-0-521-61324-8. Zbl 1127.68049.
- ↑ Rivas, Exequiel; Jaskelioff, Mauro (2017). "Notions of Computation as Monoids". Journal of Functional Programming. 27 (e21). arXiv:1406.4823. doi:10.1017/S0956796817000132.
- Clifford, A.H.; Preston, G.B. (1961). The algebraic theory of semigroups. Vol. I. Mathematical Surveys. Vol. 7. Providence, R.I.: American Mathematical Society. ISBN 978-0-8218-0272-4. Zbl 0111.03403.
- Howie, John M. (1995). Fundamentals of Semigroup Theory. London Mathematical Society Monographs. New Series. Vol. 12. Oxford: Clarendon Press. ISBN 978-0-19-851194-6. Zbl 0835.20077.
- Mati Kilp, Ulrich Knauer, Alexander V. Mikhalev (2000), Monoids, Acts and Categories: with Applications to Wreath Products and Graphs, Expositions in Mathematics 29, Walter de Gruyter, Berlin, ISBN 978-3-11-015248-7.
