अर्धसमूह क्रिया: Difference between revisions

From Vigyanwiki
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 2: Line 2:
{{Redirect|S-समुच्चय|संकीर्ण ट्रेन फ्लीट|सिडनी ट्रेन S सेट}}
{{Redirect|S-समुच्चय|संकीर्ण ट्रेन फ्लीट|सिडनी ट्रेन S सेट}}


[[बीजगणित]] और [[सैद्धांतिक कंप्यूटर विज्ञान]] में, सेट (सम्मुच्य) पर एक सेमीग्रुप की '''एक्शन''' (क्रिया) या '''एक्ट''' (कृत्य''')''' नियम है जो सेमीग्रुप के प्रत्येक तत्व को सेट के एक [[परिवर्तन (ज्यामिति)|परिवर्तन]] से जोड़ता है, इस तरह से कि सेमीग्रुप के दो तत्वों का उत्पाद (सेमिग्रुप [[बाइनरी ऑपरेशन|ऑपरेशन]] का उपयोग करके) दो संबंधित परिवर्तनों के सम्मिश्रण से जुड़ा हुआ है। शब्दावली इस विचार को व्यक्त करती है कि सेमीग्रुप के तत्व सेट के रूपांतरण के रूप में कार्य कर रहे हैं। [[बीजगणितीय संरचना|बीजगणितीय]] परिप्रेक्ष्य से, एक अर्धसमूह क्रिया समूह सिद्धांत में [[समूह (गणित)|समूह]] क्रिया की धारणा का सामान्यीकरण है। कंप्यूटर विज्ञान के दृष्टिकोण से, अर्ध समूह क्रियाएं ऑटोमेटा से निकटता से संबंधित हैं: इनपुट के जवाब में सेट मॉडल स्वचालित की स्थिति और उस स्थिति के क्रिया मॉडल परिवर्तन।
[[बीजगणित]] और [[सैद्धांतिक कंप्यूटर विज्ञान]] में, सेट (सम्मुच्य) पर अर्धसमूह की '''एक्शन''' (क्रिया) या '''एक्ट''' (कृत्य''')''' नियम है जो अर्धसमूह के प्रत्येक अवयव को सेट के [[परिवर्तन (ज्यामिति)|रूपांतरण]] से जोड़ता है, इस तरह से कि अर्धसमूह के दो अवयवों का उत्पाद (अर्धसमूह [[बाइनरी ऑपरेशन|ऑपरेशन]] का उपयोग करके) दो संबंधित परिवर्तनों के सम्मिश्रण से जुड़ा हुआ है। शब्दावली इस विचार को व्यक्त करती है कि अर्धसमूह के अवयव सेट के रूपांतरण के रूप में कार्य कर रहे हैं। [[बीजगणितीय संरचना|बीजगणितीय]] परिप्रेक्ष्य से, अर्धसमूह क्रिया समूह सिद्धांत में [[समूह (गणित)|समूह]] क्रिया की धारणा का सामान्यीकरण है। कंप्यूटर विज्ञान के दृष्टिकोण से, अर्ध समूह क्रियाएं ऑटोमेटा से निकटता से संबंधित हैं: इनपुट के उत्तर में सेट मॉडल स्वचालित की स्थिति और उस स्थिति के क्रिया मॉडल परिवर्तन है।


एक महत्वपूर्ण विशेष मामला एक [[मोनोइड]] क्रिया या एक्ट है, जिसमें सेमिग्रुप एक मोनोइड है और मोनोइड का तत्समक अवयव सेट के तत्समक रूपांतरण के रूप में कार्य करता है। एक श्रेणी-सैद्धांतिक दृष्टिकोण से, एक मोनॉयड एक वस्तु के साथ एक [[श्रेणी (गणित)|श्रेणी]] है, और एक एक्ट उस श्रेणी से [[सेट की श्रेणी]] के लिए एक फ़ंक्टर है। यह तुरंत सेट की श्रेणी के अलावा अन्य श्रेणियों में वस्तुओं पर मोनॉइड क्रियाओं का सामान्यीकरण प्रदान करता है।
महत्वपूर्ण विशेष स्थिति एक [[मोनोइड]] क्रिया या एक्ट है, जिसमें अर्धसमूह एक मोनोइड है और मोनोइड का तत्समक अवयव सेट के तत्समक रूपांतरण के रूप में कार्य करता है। श्रेणी-सैद्धांतिक दृष्टिकोण से, मोनोइड वस्तु के साथ [[श्रेणी (गणित)|श्रेणी]] है, और एक्ट उस श्रेणी से [[सेट की श्रेणी]] के लिए फ़ंक्टर है। यह तुरंत सेट की श्रेणी के अलावा अन्य श्रेणियों में वस्तुओं पर मोनॉइड क्रियाओं का सामान्यीकरण प्रदान करता है।


एक अन्य महत्वपूर्ण विशेष मामला एक परिवर्तन [[परिवर्तन अर्धसमूह|अर्धसमूह]] है। यह एक समुच्चय के परिवर्तनों का एक अर्धसमूह है, और इसलिए उस समुच्चय पर एक अनुश्रवणात्मक क्रिया होती है। यह अवधारणा केली के प्रमेय के अनुरूप एक अर्धसमूह की अधिक सामान्य धारणा से जुड़ी हुई है।
एक अन्य महत्वपूर्ण विशेष स्थिति परिवर्तन [[परिवर्तन अर्धसमूह|अर्धसमूह]] है। यह समुच्चय के परिवर्तनों का अर्धसमूह है, और इसलिए उस समुच्चय पर अनुश्रवणात्मक क्रिया होती है। यह अवधारणा केली के प्रमेय के अनुरूप अर्धसमूह की अधिक सामान्य धारणा से जुड़ी हुई है।


''(शब्दावली पर एक नोट: इस क्षेत्र में प्रयुक्त शब्दावली कभी-कभी एक लेखक से दूसरे लेखक में भिन्न होती है। विवरण के लिए लेख देखें।)''
''(शब्दावली पर एक नोट: इस क्षेत्र में प्रयुक्त शब्दावली कभी-कभी एक लेखक से दूसरे लेखक में भिन्न होती है। विवरण के लिए लेख देखें।)''
Line 12: Line 12:
== औपचारिक परिभाषाएँ ==
== औपचारिक परिभाषाएँ ==


मान लीजिए कि S एक अर्धसमूह है। तब S का एक (बायाँ) '''सेमीग्रुप एक्शन''' (या '''एक्ट''') एक सेट X है जिसमें एक ऑपरेशन {{nowrap|• : ''S'' × ''X'' → ''X''}}  है जो सेमीग्रुप ऑपरेशन के साथ संगत है ∗ निम्नानुसार है:
मान लीजिए कि S अर्धसमूह है। तब S का (बायाँ) '''अर्धसमूह एक्शन''' (या '''एक्ट''') सेट X है जिसमें एक ऑपरेशन {{nowrap|• : ''S'' × ''X'' → ''X''}}  है जो अर्धसमूह ऑपरेशन के साथ संगत है ∗ निम्नानुसार है:
* सभी ''s'', ''t'' in ''S'' और ''x'' in ''X'', ''s'' • (''t'' • ''x'') = (''s'' ∗ ''t'') • ''x'' के लिए।
* सभी ''s'', ''t'' in ''S'' और ''x'' in ''X'', ''s'' • (''t'' • ''x'') = (''s'' ∗ ''t'') • ''x'' के लिए।
यह एक (बाएं) समूह क्रिया के सेमीग्रुप सिद्धांत में एनालॉग है और ''X'' पर कार्यों के सेट में एक सेमीग्रुप समरूपता के बराबर है। सही सेमीग्रुप क्रियाओं को एक ऑपरेशन का उपयोग करके इसी तरह परिभाषित किया गया है {{nowrap|• : ''X'' × ''S'' → ''X''}} समाधानप्रद {{nowrap|1=(''x'' • ''a'') • ''b'' = ''x'' • (''a'' ∗ ''b'')}}।
यह (बाएं) समूह क्रिया के अर्धसमूह सिद्धांत में एनालॉग है और ''X'' पर कार्यों के सेट में अर्धसमूह समरूपता के बराबर है। सही अर्धसमूह क्रियाओं को ऑपरेशन का उपयोग करके इसी तरह परिभाषित किया गया है {{nowrap|• : ''X'' × ''S'' → ''X''}} समाधानप्रद {{nowrap|1=(''x'' • ''a'') • ''b'' = ''x'' • (''a'' ∗ ''b'')}}।


यदि ''M'' एक मोनॉइड है, तो ''M'' का एक (बायाँ) '''मोनोइड एक्शन''' (या '''एक्ट''') अतिरिक्त संपत्ति के साथ M का एक (बायाँ) सेमीग्रुप क्रिया है
यदि ''M'' मोनॉइड है, तो ''M'' का (बायाँ) '''मोनोइड एक्शन''' (या '''एक्ट''') अतिरिक्त गुण के साथ M का (बायाँ) अर्धसमूह क्रिया है
* X में सभी x के लिए:  ''X'': ''e'' • ''x'' = ''x''
* X में सभी x के लिए:  ''X'': ''e'' • ''x'' = ''x''
जहाँ e, ''M'' का तत्समक अवयव है। यह तदनुरूप एक मोनोइड समरूपता देता है। सही मोनोइड क्रियाओं को एक समान तरीके से परिभाषित किया गया है। एक सेट पर क्रिया के साथ एक मोनॉयड ''M'' को एक '''ऑपरेटर मोनोइड''' भी कहा जाता है।
जहाँ e, ''M'' का तत्समक अवयव है। यह तदनुरूप मोनोइड समरूपता देता है। सही मोनोइड क्रियाओं को एक समान तरीके से परिभाषित किया गया है। सेट पर क्रिया के साथ मोनोइड ''M'' को '''ऑपरेटर मोनोइड''' भी कहा जाता है।


''X'' पर ''S'' की एक सेमीग्रुप क्रिया को एक तत्समक को सेमीग्रुप से जोड़कर और ''X'' पर तत्समक समरूपता के रूप में कार्य करने की आवश्यकता के द्वारा एक मोनोइड एक्ट में बनाया जा सकता है।
''X'' पर ''S'' की अर्धसमूह क्रिया को तत्समक को अर्धसमूह से जोड़कर और ''X'' पर तत्समक समरूपता के रूप में कार्य करने की आवश्यकता के द्वारा मोनोइड एक्ट में बनाया जा सकता है।


=== शब्दावली और अंकन ===
=== शब्दावली और अंकन ===


यदि S एक सेमीग्रुप या मोनॉयड है, तो एक सेट X जिस पर S ऊपर के रूप में कार्य करता है (बाएं, कहते हैं) को (बाएं) '<nowiki/>'''''S''-एक्ट', ''<nowiki/>'S''-सेट', '<nowiki/>''S''-एक्शन', '<nowiki/>''S''-ऑपरेंड'<nowiki/>''' या '''S के ऊपर एक्ट''' के रूप में भी जाना जाता है। कुछ लेखक सेमीग्रुप और मोनॉइड क्रियाओं के बीच अंतर नहीं करते हैं, तत्समक स्वयंसिद्ध ({{nowrap|1=''e'' • ''x'' = ''x''}}) के संबंध में जब कोई तत्समक तत्व नहीं होता है, या तत्समक के साथ '''''S''- एक्ट''' के लिए '''एकात्मक ''S''-एक्ट''' शब्द का उपयोग करते हैं।<ref>Kilp, Knauer and Mikhalev, 2000, pages 43–44.</ref>
यदि S अर्धसमूह या मोनोइड है, तो सेट ''X'' जिस पर ''S'' ऊपर के रूप में कार्य करता है (बाएं, कहते हैं) को (बाएं) '<nowiki/>'''''S''-एक्ट', ''<nowiki/>'S''-सेट', '''S''-एक्शन', '''S''-ऑपरेंड'''' या '''''S''-एक्ट''' के रूप में भी जाना जाता है। कुछ लेखक अर्धसमूह और मोनॉइड क्रियाओं के बीच अंतर नहीं करते हैं, तत्समक स्वयंसिद्ध ({{nowrap|1=''e'' • ''x'' = ''x''}}) के संबंध में जब कोई तत्समक अवयव नहीं होता है, या तत्समक के साथ '''''S''- एक्ट''' के लिए '''एकात्मक ''S''-एक्ट''' शब्द का उपयोग करते हैं।<ref>Kilp, Knauer and Mikhalev, 2000, pages 43–44.</ref>


एक एक्ट की परिभाषित संपत्ति सेमिग्रुप ऑपरेशन की सहयोगीता के समान है और इसका मतलब है कि सभी कोष्ठकों को छोड़ा जा सकता है। यह सामान्य अभ्यास है, विशेष रूप से कंप्यूटर विज्ञान में, परिचालनों को छोड़ने के लिए भी ताकि सेमीग्रुप ऑपरेशन और क्रिया दोनों को संसर्ग द्वारा दर्शाया जा सके। इस प्रकार ''S'' से [[स्ट्रिंग (कंप्यूटर विज्ञान)|स्ट्रिंग]] ''X'' पर कार्य करते हैं, जैसा कि अभिव्यक्ति ''stx'' में ''s, t'' में ''S'' और ''x'' में ''X'' के लिए है।
एक्ट की परिभाषित गुण अर्धसमूह ऑपरेशन की सहयोगीता के समान है और इसका मतलब है कि सभी कोष्ठकों को छोड़ा जा सकता है। यह सामान्य अभ्यास है, विशेष रूप से कंप्यूटर विज्ञान में, परिचालनों को छोड़ने के लिए भी ताकि अर्धसमूह ऑपरेशन और क्रिया दोनों को संसर्ग द्वारा दर्शाया जा सके। इस प्रकार ''S'' से [[स्ट्रिंग (कंप्यूटर विज्ञान)|स्ट्रिंग]] ''X'' पर कार्य करते हैं, जैसा कि अभिव्यक्ति ''stx'' में ''s, t'' में ''S'' और ''x'' में ''X'' के लिए है।


बायीं क्रियाओं के बदले दाएं कार्यों के साथ काम करना भी काफी सामान्य है।<ref>Kilp, Knauer and Mikhalev, 2000.</ref> हालांकि, प्रत्येक सही एस-अधिनियम को विपरीत अर्धसमूह पर एक बाएं अधिनियम के रूप में व्याख्या किया जा सकता है, जिसमें एस के समान तत्व हैं, लेकिन जहां गुणन को कारकों को उलट कर परिभाषित किया गया है,{{nowrap|1=''s'' • ''t'' = ''t'' • ''s''}}, इसलिए दो धारणाएं अनिवार्य रूप से समकक्ष हैं। यहाँ हम मुख्य रूप से वामपंथी कृत्यों के दृष्टिकोण को अपनाते हैं।
बायीं क्रियाओं के बदले दाएं कार्यों के साथ काम करना भी काफी सामान्य है।<ref>Kilp, Knauer and Mikhalev, 2000.</ref> हालांकि, प्रत्येक सही <math>S</math>-एक्ट को विपरीत अर्धसमूह पर बाएं एक्ट के रूप में व्याख्या किया जा सकता है, जिसमें ''S'' के समान अवयव हैं, लेकिन जहां गुणन को कारकों को उलट कर परिभाषित किया गया है,{{nowrap|1=''s'' • ''t'' = ''t'' • ''s''}}, इसलिए दो धारणाएं अनिवार्य रूप से समकक्ष हैं। यहाँ हम मुख्य रूप से वामपंथी कृत्यों के दृष्टिकोण को अपनाते हैं।


=== एक्ट और रूपांतरण ===
=== एक्ट और रूपांतरण ===


यह अक्सर सुविधाजनक होता है (उदाहरण के लिए यदि विचाराधीन एक से अधिक कार्य हैं) फलन को निरूपित करने के लिए <math>T</math> जैसे अक्षर का उपयोग करना
यह प्रायः सुविधाजनक होता है (उदाहरण के लिए यदि विचाराधीन एक से अधिक कार्य हैं) फलन को निरूपित करने के लिए <math>T</math> जैसे अक्षर का उपयोग करना
:<math> T\colon S\times X \to X</math>
:<math> T\colon S\times X \to X</math>
को परिभाषित करना <math>S</math>-एक्ट और इसलिए लिखें <math>T(s, x)</math> की जगह <math>s\cdot x</math>. फिर किसी के लिए <math>s</math> में <math>S</math> द्वारा निरूपित करते हैं
को परिभाषित करना <math>S</math>-एक्ट और इसलिए लिखें <math>T(s, x)</math> की जगह <math>s\cdot x</math>. फिर किसी के लिए <math>s</math> में <math>S</math> द्वारा निरूपित करते हैं
Line 38: Line 38:
का परिवर्तन <math>X</math> द्वारा परिभाषित
का परिवर्तन <math>X</math> द्वारा परिभाषित
:<math> T_s(x) = T(s,x).</math>
:<math> T_s(x) = T(s,x).</math>
एक की परिभाषित संपत्ति द्वारा <math>S</math>-एक्ट , <math>T</math> संतुष्ट
एक की परिभाषित गुण द्वारा <math>S</math>-एक्ट , <math>T</math> संतुष्ट
:<math> T_{s*t} = T_s\circ T_t.</math>
:<math> T_{s*t} = T_s\circ T_t.</math>
इसके अलावा, एक समारोह पर विचार करें <math>s\mapsto T_s</math>. यह समान है <math>\operatorname{curry}(T):S\to(X\to X)</math> (कर्र्यींग देखें)। क्योंकि <math>\operatorname{curry}</math> एक आक्षेप है, सेमीग्रुप क्रियाओं को कार्यों के रूप में परिभाषित किया जा सकता है <math>S\to(X\to X)</math> जो संतुष्ट करता है
इसके अलावा, फलन पर विचार करें <math>s\mapsto T_s</math>. यह समान है <math>\operatorname{curry}(T):S\to(X\to X)</math> (कर्र्यींग देखें)। क्योंकि <math>\operatorname{curry}</math> आक्षेप है, अर्धसमूह क्रियाओं को कार्यों के रूप में परिभाषित किया जा सकता है <math>S\to(X\to X)</math> जो संतुष्ट करता है
:<math> \operatorname{curry}(T)(s*t) = \operatorname{curry}(T)(s)\circ \operatorname{curry}(T)(t).</math>
:<math> \operatorname{curry}(T)(s*t) = \operatorname{curry}(T)(s)\circ \operatorname{curry}(T)(t).</math>
अर्थात्, <math>T</math>, <math>X</math> पर <math>S</math> की एक अर्धसमूह क्रिया है यदि और केवल यदि <math>\operatorname{curry}(T)</math>, <math>S</math> से <math>X</math> के पूर्ण रूपांतरण मोनोइड के लिए एक [[अर्धसमूह समरूपता]] है।
अर्थात्, <math>T</math>, <math>X</math> पर <math>S</math> की अर्धसमूह एक्ट है यदि <math>\operatorname{curry}(T)</math>, <math>S</math> से <math>X</math> के पूर्ण रूपांतरण मोनोइड के लिए [[अर्धसमूह समरूपता]] है।


=== S-समरूपता ===
=== S-समरूपता ===
Line 50: Line 50:
ऐसा है कि
ऐसा है कि
:<math>F(sx) =s F(x)</math> सभी के लिए <math>s\in S</math> और <math>x\in X</math>.
:<math>F(sx) =s F(x)</math> सभी के लिए <math>s\in S</math> और <math>x\in X</math>.
ऐसे सभी ''S''-समरूपताओं के समुच्चय को सामान्यतः इस प्रकार लिखा जाता है <math>\mathrm{Hom}_S(X,X')</math>.
ऐसे सभी ''S''-समरूपताओं के समुच्चय को सामान्यतः <math>\mathrm{Hom}_S(X,X')</math> इस प्रकार लिखा जाता है .


एम-एक्ट के एम-होमोमोर्फिज्म, एम मोनोइड के लिए, ठीक उसी तरह परिभाषित किए गए हैं।
''M''-एक्ट के ''M'' -समरूपता, ''M'' मोनोइड के लिए, ठीक उसी तरह परिभाषित किए गए हैं।


===''S''-एक्ट और ''M''-एक्ट===
===''S''-एक्ट और ''M''-एक्ट===


एक निश्चित सेमिग्रुप एस के लिए, बाएं ''S''-एक्ट एक श्रेणी की वस्तुएं हैं, जो ''S''-एक्ट को निरूपित करती हैं, जिनके आकारिकी ''S''-समरूपता हैं। सही ''S''-एक्ट की संगत श्रेणी को कभी-कभी अधिनियम-एस द्वारा दर्शाया जाता है। (यह एक रिंग के ऊपर बाएँ और दाएँ मॉड्यूल के ''R''-मॉड और मॉड-''R'' की श्रेणियों के अनुरूप है।)
एक निश्चित अर्धसमूह एस के लिए, बाएं ''S''-एक्ट श्रेणी की वस्तुएं हैं, जो ''S''-एक्ट को निरूपित करती हैं, जिनके आकारिकी ''S''-समरूपता हैं। सही ''S''-एक्ट की संगत श्रेणी को कभी-कभी एक्ट''-S'' द्वारा दर्शाया जाता है। (यह एक रिंग के ऊपर बाएँ और दाएँ मॉड्यूल के ''R''-मॉड और मॉड-''R'' की श्रेणियों के अनुरूप है।)


मोनोइड एम के लिए, ''M''-एक्ट और एक्ट-''M'' श्रेणियों को उसी तरह परिभाषित किया गया है।
मोनोइड I के लिए, ''M''-एक्ट और एक्ट-''M'' श्रेणियों को उसी तरह परिभाषित किया गया है।


== उदाहरण ==
== उदाहरण ==
* किसी भी अर्धसमूह <math>(S, *)</math> की <math>S</math> पर क्रिया होती है, जहाँ <math>\cdot = *</math> है। क्रिया गुण <math>*</math> की साहचर्यता के कारण धारण करती है।
* किसी भी अर्धसमूह <math>(S, *)</math> की <math>S</math> पर क्रिया होती है, जहाँ <math>\cdot = *</math> है। क्रिया गुण <math>*</math> की साहचर्यता के कारण धारण करती है।
*अधिक आम तौर पर, किसी भी अर्धसमूह समाकारिता <math>F\colon (S, *) \rightarrow (T, \oplus)</math> के लिए, सेमीग्रुप <math>(S, *)</math> में <math>T</math> पर एक क्रिया होती है जो <math>s \cdot t = F(s) \oplus t</math> द्वारा दी जाती है।
*अधिक सामान्यतः, किसी भी अर्धसमूह समाकारिता <math>F\colon (S, *) \rightarrow (T, \oplus)</math> के लिए, अर्धसमूह <math>(S, *)</math> में <math>T</math> पर एक क्रिया होती है जो <math>s \cdot t = F(s) \oplus t</math> द्वारा दी जाती है।
* किसी भी सेट <math>X</math> के लिए, <math>X^*</math> को <math>X</math> के तत्वों के अनुक्रमों का सेट होने दें। सेमीग्रुप <math>(\mathbb{N}, \times)</math> में <math>X^*</math> पर <math>n \cdot s = s^n</math>(जहाँ <math>s^n</math><math>s</math> दोहराए गए <math>n</math> बार को दर्शाता है) पर एक क्रिया होती है।
* किसी भी सेट <math>X</math> के लिए, <math>X^*</math> को <math>X</math> के अवयवों के अनुक्रमों का सेट होने दें। अर्धसमूह <math>(\mathbb{N}, \times)</math> में <math>X^*</math> पर <math>n \cdot s = s^n</math>(जहाँ <math>s^n</math><math>s</math> दोहराए गए <math>n</math> बार को दर्शाता है) पर एक क्रिया होती है।
*सेमीग्रुप <math>(\mathbb{N}, \times)</math>, में एक सही क्रिया <math>(\mathbb{N}, \cdot)</math> है, जो <math>x \cdot y = x^y</math> द्वारा दी गई है।
*अर्धसमूह <math>(\mathbb{N}, \times)</math>, में एक सही क्रिया <math>(\mathbb{N}, \cdot)</math> है, जो <math>x \cdot y = x^y</math> द्वारा दी गई है।


== परिवर्तन अर्धसमूह ==
== रूपांतरण अर्धसमूह ==


{{main|Transformation semigroup}}
{{main|रूपांतरण अर्धसमूह}}


ट्रांसफ़ॉर्मेशन सेमीग्रुप्स और सेमीग्रुप क्रियाओं के बीच एक पत्राचार नीचे वर्णित है। यदि हम इसे [[ श्रद्धेय क्रिया ]] सेमीग्रुप एक्शन तक सीमित रखते हैं, तो इसमें अच्छे गुण हैं।
रूपांतरण अर्धसमूह और अर्धसमूह क्रियाओं के बीच एक पत्राचार नीचे वर्णित है। यदि हम इसे विश्वसनीय अर्धसमूह क्रियाओं तक सीमित रखते हैं, तो इसमें अच्छे गुण होते हैं।


किसी भी परिवर्तन अर्धसमूह को निम्नलिखित निर्माण द्वारा एक अर्धसमूह क्रिया में बदला जा सकता है। किसी भी परिवर्तन के लिए सेमीग्रुप <math>S</math> का <math>X</math>, एक सेमीग्रुप क्रिया को परिभाषित करें <math>T</math> का <math>S</math> पर <math>X</math> जैसा <math>T(s, x) = s(x)</math> के लिए <math> s\in S, x\in X</math>. यह क्रिया श्रद्धेय है, जो तुल्य है <math>curry(T)</math> [[इंजेक्शन]] होना।
किसी भी रूपांतरण अर्धसमूह को निम्न निर्माण द्वारा एक अर्धसमूह क्रिया में बदला जा सकता है। <math>X</math> के किसी भी ट्रांसफॉर्मेशन अर्धसमूह <math>S</math> के लिए, <math>X</math> पर <math>S</math> के अर्धसमूह एक्शन <math>T</math> को <math>T(s, x) = s(x)</math> के लिए <math> s\in S, x\in X</math> के रूप में परिभाषित करें। यह क्रिया वफ़ादार है, जो कि <math>curry(T)</math> के अन्तःक्षेपण के बराबर है।


इसके विपरीत, किसी भी अर्धसमूह एक्ट के लिए <math>T</math> का <math>S</math> पर <math>X</math>, एक परिवर्तन अर्धसमूह को परिभाषित करें <math>S' = \{T_s \mid s \in S\}</math>. इस निर्माण में हम समुच्चय को भूल जाते हैं <math>S</math>. <math>S'</math> की [[छवि (गणित)]] के बराबर है <math>curry(T)</math>. आइए बताते हैं <math>curry(T)</math> जैसा <math>f</math> संक्षिप्तता के लिए। अगर <math>f</math> इंजेक्शन है, तो यह एक सेमीग्रुप [[ समाकृतिकता ]] है <math>S</math> को <math>S'</math>. दूसरे शब्दों में, अगर <math>T</math> यथातथ्य है, तो चलिए कुछ भी महत्वपूर्ण नहीं भूलते हैं। यह दावा निम्नलिखित अवलोकन द्वारा सटीक बनाया गया है: यदि हम मुड़ें <math>S'</math> एक अर्धसमूह क्रिया में वापस <math>T'</math> का <math>S'</math> पर <math>X</math>, तब <math>T'(f(s), x) = T(s, x)</math> सभी के लिए <math>s \in S, x \in X</math>. <math>T</math> और <math>T'</math> के माध्यम से आइसोमॉर्फिक हैं <math>f</math>, यानी, हम अनिवार्य रूप से ठीक हो गए <math>T</math>. इस प्रकार कुछ लेखक<ref>{{cite book
इसके विपरीत, <math>X</math> पर <math>S</math> की किसी भी अर्धसमूह क्रिया <math>T</math> के लिए, रूपांतरण अर्धसमूह <math>S' = \{T_s \mid s \in S\}</math> परिभाषित करें। इस निर्माण में, हम समुच्चय <math>S</math> को "भूल" जाते हैं। <math>S'</math> <math>curry(T)</math> की छवि के बराबर है। संक्षिप्तता के लिए हम <math>curry(T)</math> को <math>f</math> के रूप में निरूपित करते हैं। यदि <math>f</math> अंतःक्षेपी है, तो यह <math>S</math> से <math>S'</math> तक एक अर्धसमूह समरूपता है। दूसरे शब्दों में, यदि <math>T</math> विश्वासयोग्य है, तो हम कोई महत्वपूर्ण बात नहीं भूलते। इस दावे को निम्नलिखित अवलोकन द्वारा सटीक बनाया गया है: यदि हम <math>S'</math> को <math>X</math> पर <math>S'</math> की अर्धसमूह क्रिया <math>T'</math> में बदल देते हैं, तो <math>T'(f(s), x) = T(s, x)</math> सभी के लिए <math>s \in S, x \in X</math><math>T</math> और <math>T'</math><math>f</math> के माध्यम से "आइसोमोर्फिक" हैं, यानी, हमने अनिवार्य रूप से <math>T</math> को पुनर्प्राप्त किया है। इस प्रकार कुछ लेखक<ref>{{cite book
| editor1-first = Michael A.
| editor1-first = Michael A.
| editor1-last = Arbib
| editor1-last = Arbib
Line 82: Line 82:
| location = New York and London
| location = New York and London
| page = 83
| page = 83
}}</ref> वफादार अर्धसमूह क्रियाओं और परिवर्तन अर्धसमूहों के बीच कोई अंतर नहीं देखें।
}}</ref> विश्वासयोग्य अर्धसमूह क्रियाएं  और रूपांतरण अर्धसमूह के बीच कोई अंतर नहीं देखते हैं।


== कंप्यूटर विज्ञान के लिए अनुप्रयोग ==
== कंप्यूटर विज्ञान के लिए अनुप्रयोग ==
Line 88: Line 88:
=== अर्ध-स्वचालित ===
=== अर्ध-स्वचालित ===


{{main|Semiautomaton}}
{{main|अर्धस्वचालित}}


[[ऑटोमेटा सिद्धांत]] में परिमित राज्य मशीनों के संरचना सिद्धांत के लिए परिवर्तन सेमिग्रुप आवश्यक महत्व के हैं। विशेष रूप से, एक सेमीऑटोमेटन एक ट्रिपल (Σ, एक्स, टी) है, जहां Σ एक गैर-खाली सेट है जिसे इनपुट वर्णमाला कहा जाता है, एक्स एक गैर-खाली सेट है जिसे राज्यों का सेट कहा जाता है और टी एक  फलन है
[[ऑटोमेटा सिद्धांत]] में परिमित राज्य मशीनों के संरचना सिद्धांत के लिए परिवर्तन अर्धसमूह आवश्यक हैं। विशेष रूप से, सेमीऑटोमेटन ट्रिपल (Σ, X, T) है, जहां Σ गैर-खाली सेट है जिसे इनपुट वर्णमाला कहा जाता है, X गैर-रिक्त सेट है जिसे स्टेट्स का सेट कहा जाता है और T फलन है
:<math>T\colon \Sigma\times X \to X</math>
:<math>T\colon \Sigma\times X \to X</math>
संक्रमण समारोह कहा जाता है। सेमियाटोमेटा प्रारंभिक अवस्था और स्वीकृत राज्यों के सेट की अनदेखी करके नियतात्मक परिमित ऑटोमेटन से उत्पन्न होता है।
ट्रांजिशन फलन कहते हैं। सेमियाटोमेटा प्रारंभिक अवस्था और स्वीकृत अवस्थाओं के सेट की उपेक्षा करके नियतात्मक ऑटोमेटा से उत्पन्न होता है।


एक सेमीऑटोमेटन को देखते हुए, टी<sub>''a''</sub>: X → X, ∈ Σ के लिए, T द्वारा परिभाषित X के परिवर्तन को निरूपित करता है<sub>''a''</sub>(एक्स) = टी (, एक्स)तब {T द्वारा उत्पन्न X के परिवर्तनों का अर्धसमूह<sub>''a''</sub> : a ∈ Σ} को (Σ,X,T) का अभिलाक्षणिक अर्धसमूह या संक्रमण तंत्र कहा जाता है। यह सेमीग्रुप एक मोनोइड है, इसलिए इस मोनोइड को विशेषता या संक्रमण मोनोइड कहा जाता है। इसे कभी-कभी Σ के रूप में भी देखा जाता है<sup>∗</sup>- X पर कार्य करें, जहां Σ<sup>∗</sup> वर्णमाला Σ द्वारा उत्पन्न स्ट्रिंग्स का [[मुक्त मोनोइड]] है,<ref group="note">The monoid operation is concatenation; the identity element is the empty string.</ref> और स्ट्रिंग्स की एक्ट संपत्ति के माध्यम से Σ की एक्ट का विस्तार करती है
एक सेमीऑटोमेटन को देखते हुए, ''T<sub>a</sub>'': ''X'' ''X'', ''a'' ∈ Σ के लिए,''T<sub>a</sub>''(''x'') = ''T''(''a'',''x'') द्वारा परिभाषित X के परिवर्तन को दर्शाता है। तब {''T<sub>a</sub>'' : ''a'' ∈ Σ} द्वारा उत्पन्न X के रूपांतरणों के अर्धसमूह को (Σ,''X'',''T'') की विशेषता अर्धसमूह या संक्रमण प्रणाली कहा जाता है। यह अर्धसमूह एक मोनोइड है, इसलिए इस मोनोइड को विशेषता या संक्रमण मोनोइड कहा जाता है। इसे कभी-कभी ''X'' पर Σ<sup>∗</sup>-एक्ट के रूप में भी देखा जाता है, जहां Σ<sup>∗</sup> वर्णमाला Σ द्वारा उत्पन्न स्ट्रिंग्स का मुक्त मोनोइड है, और स्ट्रिंग्स की एक्ट गुण के माध्यम से Σ एक्ट का विस्तार करती है
:<math>T_{vw} = T_w \circ T_v.</math>
:<math>T_{vw} = T_w \circ T_v.</math>
=== क्रोहन-रोड्स सिद्धांत ===
=== क्रोहन-रोड्स सिद्धांत ===


{{main|Krohn–Rhodes theory}}
{{main|क्रोहन-रोड्स सिद्धांत}}


क्रोहन-रोड्स सिद्धांत, जिसे कभी-कभी बीजगणितीय ऑटोमेटा सिद्धांत भी कहा जाता है, सरल घटकों को कैस्केडिंग करके परिमित परिवर्तन अर्धसमूहों के लिए शक्तिशाली अपघटन परिणाम देता है।
क्रोह्न-रोड्स सिद्धांत, जिसे कभी-कभी बीजगणितीय ऑटोमेटा सिद्धांत भी कहा जाता है, सरल घटकों को कैस्केडिंग करके परिमित रूपांतरण अर्धसमूहों के लिए शक्तिशाली अपघटन परिणाम देता है।


==टिप्पणियाँ==
==टिप्पणियाँ==


{{reflist|group=note}}
{{reflist|group=note}}
==संदर्भ==
==संदर्भ==
{{reflist|2}}
{{reflist|2}}
Line 115: Line 111:
* 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}}.
* 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}}.
* Rudolf Lidl and Günter Pilz, ''Applied Abstract Algebra'' (1998), Springer, {{isbn|978-0-387-98290-8}}
* Rudolf Lidl and Günter Pilz, ''Applied Abstract Algebra'' (1998), Springer, {{isbn|978-0-387-98290-8}}
[[Category: अर्धसमूह सिद्धांत]] [[Category: सैद्धांतिक कंप्यूटर विज्ञान]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 26/05/2023]]
[[Category:Created On 26/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Missing redirects]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:अर्धसमूह सिद्धांत]]
[[Category:सैद्धांतिक कंप्यूटर विज्ञान]]

Latest revision as of 17:22, 13 June 2023

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

महत्वपूर्ण विशेष स्थिति एक मोनोइड क्रिया या एक्ट है, जिसमें अर्धसमूह एक मोनोइड है और मोनोइड का तत्समक अवयव सेट के तत्समक रूपांतरण के रूप में कार्य करता है। श्रेणी-सैद्धांतिक दृष्टिकोण से, मोनोइड वस्तु के साथ श्रेणी है, और एक्ट उस श्रेणी से सेट की श्रेणी के लिए फ़ंक्टर है। यह तुरंत सेट की श्रेणी के अलावा अन्य श्रेणियों में वस्तुओं पर मोनॉइड क्रियाओं का सामान्यीकरण प्रदान करता है।

एक अन्य महत्वपूर्ण विशेष स्थिति परिवर्तन अर्धसमूह है। यह समुच्चय के परिवर्तनों का अर्धसमूह है, और इसलिए उस समुच्चय पर अनुश्रवणात्मक क्रिया होती है। यह अवधारणा केली के प्रमेय के अनुरूप अर्धसमूह की अधिक सामान्य धारणा से जुड़ी हुई है।

(शब्दावली पर एक नोट: इस क्षेत्र में प्रयुक्त शब्दावली कभी-कभी एक लेखक से दूसरे लेखक में भिन्न होती है। विवरण के लिए लेख देखें।)

औपचारिक परिभाषाएँ

मान लीजिए कि S अर्धसमूह है। तब S का (बायाँ) अर्धसमूह एक्शन (या एक्ट) सेट X है जिसमें एक ऑपरेशन • : S × XX है जो अर्धसमूह ऑपरेशन के साथ संगत है ∗ निम्नानुसार है:

  • सभी s, t in S और x in X, s • (tx) = (st) • x के लिए।

यह (बाएं) समूह क्रिया के अर्धसमूह सिद्धांत में एनालॉग है और X पर कार्यों के सेट में अर्धसमूह समरूपता के बराबर है। सही अर्धसमूह क्रियाओं को ऑपरेशन का उपयोग करके इसी तरह परिभाषित किया गया है • : X × SX समाधानप्रद (xa) • b = x • (ab)

यदि M मोनॉइड है, तो M का (बायाँ) मोनोइड एक्शन (या एक्ट) अतिरिक्त गुण के साथ M का (बायाँ) अर्धसमूह क्रिया है

  • X में सभी x के लिए: X: ex = x

जहाँ e, M का तत्समक अवयव है। यह तदनुरूप मोनोइड समरूपता देता है। सही मोनोइड क्रियाओं को एक समान तरीके से परिभाषित किया गया है। सेट पर क्रिया के साथ मोनोइड M को ऑपरेटर मोनोइड भी कहा जाता है।

X पर S की अर्धसमूह क्रिया को तत्समक को अर्धसमूह से जोड़कर और X पर तत्समक समरूपता के रूप में कार्य करने की आवश्यकता के द्वारा मोनोइड एक्ट में बनाया जा सकता है।

शब्दावली और अंकन

यदि S अर्धसमूह या मोनोइड है, तो सेट X जिस पर S ऊपर के रूप में कार्य करता है (बाएं, कहते हैं) को (बाएं) 'S-एक्ट', 'S-सेट', S-एक्शन', S-ऑपरेंड' या S-एक्ट के रूप में भी जाना जाता है। कुछ लेखक अर्धसमूह और मोनॉइड क्रियाओं के बीच अंतर नहीं करते हैं, तत्समक स्वयंसिद्ध (ex = x) के संबंध में जब कोई तत्समक अवयव नहीं होता है, या तत्समक के साथ S- एक्ट के लिए एकात्मक S-एक्ट शब्द का उपयोग करते हैं।[1]

एक्ट की परिभाषित गुण अर्धसमूह ऑपरेशन की सहयोगीता के समान है और इसका मतलब है कि सभी कोष्ठकों को छोड़ा जा सकता है। यह सामान्य अभ्यास है, विशेष रूप से कंप्यूटर विज्ञान में, परिचालनों को छोड़ने के लिए भी ताकि अर्धसमूह ऑपरेशन और क्रिया दोनों को संसर्ग द्वारा दर्शाया जा सके। इस प्रकार S से स्ट्रिंग X पर कार्य करते हैं, जैसा कि अभिव्यक्ति stx में s, t में S और x में X के लिए है।

बायीं क्रियाओं के बदले दाएं कार्यों के साथ काम करना भी काफी सामान्य है।[2] हालांकि, प्रत्येक सही -एक्ट को विपरीत अर्धसमूह पर बाएं एक्ट के रूप में व्याख्या किया जा सकता है, जिसमें S के समान अवयव हैं, लेकिन जहां गुणन को कारकों को उलट कर परिभाषित किया गया है,st = ts, इसलिए दो धारणाएं अनिवार्य रूप से समकक्ष हैं। यहाँ हम मुख्य रूप से वामपंथी कृत्यों के दृष्टिकोण को अपनाते हैं।

एक्ट और रूपांतरण

यह प्रायः सुविधाजनक होता है (उदाहरण के लिए यदि विचाराधीन एक से अधिक कार्य हैं) फलन को निरूपित करने के लिए जैसे अक्षर का उपयोग करना

को परिभाषित करना -एक्ट और इसलिए लिखें की जगह . फिर किसी के लिए में द्वारा निरूपित करते हैं

का परिवर्तन द्वारा परिभाषित

एक की परिभाषित गुण द्वारा -एक्ट , संतुष्ट

इसके अलावा, फलन पर विचार करें . यह समान है (कर्र्यींग देखें)। क्योंकि आक्षेप है, अर्धसमूह क्रियाओं को कार्यों के रूप में परिभाषित किया जा सकता है जो संतुष्ट करता है

अर्थात्, , पर की अर्धसमूह एक्ट है यदि , से के पूर्ण रूपांतरण मोनोइड के लिए अर्धसमूह समरूपता है।

S-समरूपता

मान लीजिए कि X और X' S-एक्ट हैं। तब X से X' तक का S-समरूपता एक मानचित्र होता है

ऐसा है कि

सभी के लिए और .

ऐसे सभी S-समरूपताओं के समुच्चय को सामान्यतः इस प्रकार लिखा जाता है .

M-एक्ट के M -समरूपता, M मोनोइड के लिए, ठीक उसी तरह परिभाषित किए गए हैं।

S-एक्ट और M-एक्ट

एक निश्चित अर्धसमूह एस के लिए, बाएं S-एक्ट श्रेणी की वस्तुएं हैं, जो S-एक्ट को निरूपित करती हैं, जिनके आकारिकी S-समरूपता हैं। सही S-एक्ट की संगत श्रेणी को कभी-कभी एक्ट-S द्वारा दर्शाया जाता है। (यह एक रिंग के ऊपर बाएँ और दाएँ मॉड्यूल के R-मॉड और मॉड-R की श्रेणियों के अनुरूप है।)

मोनोइड I के लिए, M-एक्ट और एक्ट-M श्रेणियों को उसी तरह परिभाषित किया गया है।

उदाहरण

  • किसी भी अर्धसमूह की पर क्रिया होती है, जहाँ है। क्रिया गुण की साहचर्यता के कारण धारण करती है।
  • अधिक सामान्यतः, किसी भी अर्धसमूह समाकारिता के लिए, अर्धसमूह में पर एक क्रिया होती है जो द्वारा दी जाती है।
  • किसी भी सेट के लिए, को के अवयवों के अनुक्रमों का सेट होने दें। अर्धसमूह में पर (जहाँ दोहराए गए बार को दर्शाता है) पर एक क्रिया होती है।
  • अर्धसमूह , में एक सही क्रिया है, जो द्वारा दी गई है।

रूपांतरण अर्धसमूह

रूपांतरण अर्धसमूह और अर्धसमूह क्रियाओं के बीच एक पत्राचार नीचे वर्णित है। यदि हम इसे विश्वसनीय अर्धसमूह क्रियाओं तक सीमित रखते हैं, तो इसमें अच्छे गुण होते हैं।

किसी भी रूपांतरण अर्धसमूह को निम्न निर्माण द्वारा एक अर्धसमूह क्रिया में बदला जा सकता है। के किसी भी ट्रांसफॉर्मेशन अर्धसमूह के लिए, पर के अर्धसमूह एक्शन को के लिए के रूप में परिभाषित करें। यह क्रिया वफ़ादार है, जो कि के अन्तःक्षेपण के बराबर है।

इसके विपरीत, पर की किसी भी अर्धसमूह क्रिया के लिए, रूपांतरण अर्धसमूह परिभाषित करें। इस निर्माण में, हम समुच्चय को "भूल" जाते हैं। की छवि के बराबर है। संक्षिप्तता के लिए हम को के रूप में निरूपित करते हैं। यदि अंतःक्षेपी है, तो यह से तक एक अर्धसमूह समरूपता है। दूसरे शब्दों में, यदि विश्वासयोग्य है, तो हम कोई महत्वपूर्ण बात नहीं भूलते। इस दावे को निम्नलिखित अवलोकन द्वारा सटीक बनाया गया है: यदि हम को पर की अर्धसमूह क्रिया में बदल देते हैं, तो सभी के लिए और के माध्यम से "आइसोमोर्फिक" हैं, यानी, हमने अनिवार्य रूप से को पुनर्प्राप्त किया है। इस प्रकार कुछ लेखक[3] विश्वासयोग्य अर्धसमूह क्रियाएं और रूपांतरण अर्धसमूह के बीच कोई अंतर नहीं देखते हैं।

कंप्यूटर विज्ञान के लिए अनुप्रयोग

अर्ध-स्वचालित

ऑटोमेटा सिद्धांत में परिमित राज्य मशीनों के संरचना सिद्धांत के लिए परिवर्तन अर्धसमूह आवश्यक हैं। विशेष रूप से, सेमीऑटोमेटन ट्रिपल (Σ, X, T) है, जहां Σ गैर-खाली सेट है जिसे इनपुट वर्णमाला कहा जाता है, X गैर-रिक्त सेट है जिसे स्टेट्स का सेट कहा जाता है और T फलन है

ट्रांजिशन फलन कहते हैं। सेमियाटोमेटा प्रारंभिक अवस्था और स्वीकृत अवस्थाओं के सेट की उपेक्षा करके नियतात्मक ऑटोमेटा से उत्पन्न होता है।

एक सेमीऑटोमेटन को देखते हुए, Ta: XX, a ∈ Σ के लिए,Ta(x) = T(a,x) द्वारा परिभाषित X के परिवर्तन को दर्शाता है। तब {Ta : a ∈ Σ} द्वारा उत्पन्न X के रूपांतरणों के अर्धसमूह को (Σ,X,T) की विशेषता अर्धसमूह या संक्रमण प्रणाली कहा जाता है। यह अर्धसमूह एक मोनोइड है, इसलिए इस मोनोइड को विशेषता या संक्रमण मोनोइड कहा जाता है। इसे कभी-कभी X पर Σ-एक्ट के रूप में भी देखा जाता है, जहां Σ वर्णमाला Σ द्वारा उत्पन्न स्ट्रिंग्स का मुक्त मोनोइड है, और स्ट्रिंग्स की एक्ट गुण के माध्यम से Σ एक्ट का विस्तार करती है

क्रोहन-रोड्स सिद्धांत

क्रोह्न-रोड्स सिद्धांत, जिसे कभी-कभी बीजगणितीय ऑटोमेटा सिद्धांत भी कहा जाता है, सरल घटकों को कैस्केडिंग करके परिमित रूपांतरण अर्धसमूहों के लिए शक्तिशाली अपघटन परिणाम देता है।

टिप्पणियाँ

संदर्भ

  1. Kilp, Knauer and Mikhalev, 2000, pages 43–44.
  2. Kilp, Knauer and Mikhalev, 2000.
  3. Arbib, Michael A., ed. (1968). Algebraic Theory of Machines, Languages, and Semigroups. New York and London: Academic Press. p. 83.
  • A. H. Clifford and G. B. Preston (1961), The Algebraic Theory of Semigroups, volume 1. American Mathematical Society, ISBN 978-0-8218-0272-4.
  • A. H. Clifford and G. B. Preston (1967), The Algebraic Theory of Semigroups, volume 2. American Mathematical Society, ISBN 978-0-8218-0272-4.
  • 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.
  • Rudolf Lidl and Günter Pilz, Applied Abstract Algebra (1998), Springer, ISBN 978-0-387-98290-8