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

From Vigyanwiki
Line 30: Line 30:
बायीं क्रियाओं के बदले दाएं कार्यों के साथ काम करना भी काफी सामान्य है।<ref>Kilp, Knauer and Mikhalev, 2000.</ref> हालांकि, प्रत्येक सही एस-अधिनियम को विपरीत अर्धसमूह पर एक बाएं अधिनियम के रूप में व्याख्या किया जा सकता है, जिसमें एस के समान तत्व हैं, लेकिन जहां गुणन को कारकों को उलट कर परिभाषित किया गया है,{{nowrap|1=''s'' • ''t'' = ''t'' • ''s''}}, इसलिए दो धारणाएं अनिवार्य रूप से समकक्ष हैं। यहाँ हम मुख्य रूप से वामपंथी कृत्यों के दृष्टिकोण को अपनाते हैं।
बायीं क्रियाओं के बदले दाएं कार्यों के साथ काम करना भी काफी सामान्य है।<ref>Kilp, Knauer and Mikhalev, 2000.</ref> हालांकि, प्रत्येक सही एस-अधिनियम को विपरीत अर्धसमूह पर एक बाएं अधिनियम के रूप में व्याख्या किया जा सकता है, जिसमें एस के समान तत्व हैं, लेकिन जहां गुणन को कारकों को उलट कर परिभाषित किया गया है,{{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> द्वारा निरूपित करते हैं
:<math> T_s\colon X \to X</math>
:<math> T_s\colon X \to X</math>
का परिवर्तन <math>X</math> द्वारा परिभाषित
का परिवर्तन <math>X</math> द्वारा परिभाषित
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>.
ऐसे सभी एस-समरूपताओं के समुच्चय को सामान्यतः इस प्रकार लिखा जाता है <math>\mathrm{Hom}_S(X,X')</math>.
ऐसे सभी ''S''-समरूपताओं के समुच्चय को सामान्यतः इस प्रकार लिखा जाता है <math>\mathrm{Hom}_S(X,X')</math>.


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


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


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


एक मोनोइड एम के लिए, एम-एक्ट और एक्ट-एम श्रेणियों को उसी तरह परिभाषित किया गया है।
मोनोइड एम के लिए, ''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>.


== परिवर्तन अर्धसमूह ==
== परिवर्तन अर्धसमूह ==
Line 74: Line 74:
किसी भी परिवर्तन अर्धसमूह को निम्नलिखित निर्माण द्वारा एक अर्धसमूह क्रिया में बदला जा सकता है। किसी भी परिवर्तन के लिए सेमीग्रुप <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>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>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>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
| editor1-first = Michael A.
| editor1-first = Michael A.
| editor1-last = Arbib
| editor1-last = Arbib
Line 94: Line 94:
संक्रमण समारोह कहा जाता है। सेमियाटोमेटा प्रारंभिक अवस्था और स्वीकृत राज्यों के सेट की अनदेखी करके नियतात्मक परिमित ऑटोमेटन से उत्पन्न होता है।
संक्रमण समारोह कहा जाता है। सेमियाटोमेटा प्रारंभिक अवस्था और स्वीकृत राज्यों के सेट की अनदेखी करके नियतात्मक परिमित ऑटोमेटन से उत्पन्न होता है।


एक सेमीऑटोमेटन को देखते हुए, टी<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> और स्ट्रिंग्स की कार्रवाई संपत्ति के माध्यम से Σ की कार्रवाई का विस्तार करती है
एक सेमीऑटोमेटन को देखते हुए, टी<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> और स्ट्रिंग्स की एक्ट संपत्ति के माध्यम से Σ की एक्ट का विस्तार करती है
:<math>T_{vw} = T_w \circ T_v.</math>
:<math>T_{vw} = T_w \circ T_v.</math>


Revision as of 11:13, 31 May 2023

"S-समुच्चय" redirects here. For संकीर्ण ट्रेन फ्लीट, see सिडनी ट्रेन S सेट.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

S-समरूपता

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

ऐसा है कि

सभी के लिए और .

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

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

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

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

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

उदाहरण

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

परिवर्तन अर्धसमूह

Main article: Transformation semigroup

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

किसी भी परिवर्तन अर्धसमूह को निम्नलिखित निर्माण द्वारा एक अर्धसमूह क्रिया में बदला जा सकता है। किसी भी परिवर्तन के लिए सेमीग्रुप का , एक सेमीग्रुप क्रिया को परिभाषित करें का पर जैसा के लिए . यह क्रिया श्रद्धेय है, जो तुल्य है इंजेक्शन होना।

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

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

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

Main article: Semiautomaton

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

संक्रमण समारोह कहा जाता है। सेमियाटोमेटा प्रारंभिक अवस्था और स्वीकृत राज्यों के सेट की अनदेखी करके नियतात्मक परिमित ऑटोमेटन से उत्पन्न होता है।

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


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

Main article: Krohn–Rhodes theory

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

टिप्पणियाँ

  1. ↑ The monoid operation is concatenation; the identity element is the empty string.


संदर्भ

  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
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=अर्धसमूह_क्रिया&oldid=185101’