सेमिग्रुप: Difference between revisions

Latest revision as of 09:55, 14 December 2022

मैग्मा (बीजगणित) और समूहों (गणित) के बीच बीजगणितीय संरचनाएँ: एक अर्द्धसमूह साह्चर्यता के साथ एक मैग्मा है। एकाभ एक तत्समक तत्व वाला अर्धसमूह है।

गणित में, सेमीग्रुप या अर्द्धसमूह एक समुच्चय पर साहचर्य आंतरिक द्विआधारी संक्रियायुक्त बीजगणितीय संरचना है।

अर्द्धसमूह के द्विआधारी संक्रिया को प्रायः x·y, या केवल xy गुणन के रूप में दर्शाया जाता है, जो अर्द्धसमूह संक्रिया को क्रमित युग्म (x, y) पर प्रयुक्त करने के परिणाम को दर्शाता है। साह्चर्यता औपचारिक रूप से इस रूप में व्यक्त की जाती है कि अर्द्धसमूह में सभी x, y और z के लिए, (x·y)·z = x·(y·z)।

अर्द्धसमूहों को मैग्माओं की एक विशेष स्थिति, जहाँ संक्रिया साहचर्य है, या तत्समक तत्व या व्युत्क्रम के अस्तित्व की आवश्यकता के बिना समूहों के सामान्यीकरण के रूप में माना जा सकता है।^{[note 1]} समूहों या मैग्माओं की स्थिति में, अर्द्धसमूह संक्रिया के क्रमविनिमेय होने की आवश्यकता नहीं होती है, इसलिए x·y आवश्यक रूप से y·x के बराबर नहीं है; आव्यूह गुणन एक ऐसी संक्रिया का प्रसिद्ध उदाहरण है, जो साहचर्य तो है परन्तु क्रम-विनिमेय नहीं है। यदि अर्द्धसमूह संक्रिया क्रम-विनिमेय है, तो अर्द्धसमूह को क्रम-विनिमेय अर्द्धसमूह कहा जाता है या (समूहों की समान स्थिति की तुलना में प्रायः कम) इसे एबेलियन अर्द्धसमूह कहा जा सकता है।

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

अर्धसमूहों का औपचारिक अध्ययन 20वीं शताब्दी के प्रारंभ में प्रारंभ हुआ। इसके प्रारंभिक परिणामों में अर्धसमूहों के लिए एक कैले प्रमेय सम्मिलित है, जो किसी भी अर्द्धसमूह को रूपांतरण अर्द्धसमूह के रूप में साकार करता है, जिसमें स्वेच्छ फलन समूह सिद्धांत से एकैकी आच्छादन की भूमिका को प्रतिस्थापित करते हैं। क्रोन-रोड्स सिद्धांत, परिमित अर्धसमूहों के वर्गीकरण में एक गहन परिणाम है, जो परिमित समूहों के लिए जॉर्डन-होल्डर वियोजन के अनुरूप है। अर्द्धसमूहों के अध्ययन के लिए ग्रीन के संबंध जैसी कुछ अन्य तकनीकें समूह सिद्धांत में किसी भी वस्तु को समान नहीं करती हैं।

1950 के दशक के बाद से सैद्धांतिक कंप्यूटर विज्ञान में परिमित अर्धसमूहों के सिद्धांत का विशेष महत्व रहा है क्योंकि परिमित अर्धसमूहों और परिमित ऑटोमेटा के बीच सिंटैक्टिक एकाभ के माध्यम से प्राकृतिक संबंध है। प्रायिकता सिद्धांत में, अर्द्धसमूह मार्कोव प्रक्रियाओं से जुड़े हैं।^[1] अनुप्रयुक्त गणित के अन्य क्षेत्रों में, अर्धसमूह रैखिक समय-अपरिवर्तनीय प्रणालियों के लिए मौलिक मॉडल हैं। आंशिक अवकल समीकरणों में, एक अर्धसमूह ऐसी किसी भी समीकरण से जुड़ा होता है जिसका स्थानिक मूलकलन समय से स्वतंत्र होता है।

अर्द्धसमूहों के कई विशेष वर्ग हैं, अतिरिक्त गुणों वाले अर्द्धसमूह, जो विशेष अनुप्रयोगों में दिखाई देते हैं। इनमें से कुछ वर्ग समूह के कुछ अतिरिक्त लेकिन सभी गुणों को प्रदर्शित न करके समूहों के और भी समीप हैं। इनमें से हम, नियमित अर्द्धसमूहों, ऑर्थोडॉक्स अर्द्धसमूहों, प्रत्यावर्तनयुक्त अर्द्धसमूहों, प्रतिलोम अर्धसमूहों और रद्दीकरण अर्धसमूहों का उल्लेख करते हैं। अर्द्धसमूहों के कुछ रोचक वर्ग भी हैं जिनमें तुच्छ समूह को छोड़कर कोई समूह नहीं होता है; बैंड और इनके क्रमविनिमेय उपवर्ग-अर्द्धजालक बाद वाले प्रकार के उदाहरण हैं, जो क्रमित बीजगणितीय संरचनाएँ भी हैं।

परिभाषा

अर्द्धसमूह एक द्विआधारी संक्रिया " $\cdot$ " (अर्थात्, एक फलन $\cdot :S\times S\rightarrow S$ ) के साथ एक समुच्चय $S$ है, जो साहचर्य संक्रिया को संतुष्ट करता है:

सभी

a,b,c\in S

के लिए, समीकरण

(a\cdot b)\cdot c=a\cdot (b\cdot c)

सत्य है।

अधिक संक्षिप्त रूप से, अर्धसमूह एक साहचर्य मैग्मा है।

अर्द्धसमूहों के उदाहरण

रिक्त अर्द्धसमूह: रिक्त समुच्चय द्विआधारी संक्रिया के रूप में रिक्त फलन के साथ रिक्त अर्धसमूह बनाता है।
एक तत्वयुक्त अर्द्धसमूह: एकल {a}, संक्रिया a · a = a के साथ अनिवार्य रूप से केवल एक (विशेष रूप से, समरूपता तक केवल एक), अर्द्धसमूह है।
दो तत्वयुक्त अर्द्धसमूह: ऐसे पाँच अर्धसमूह हैं जो अनिवार्य रूप से भिन्न हैं।
"फ्लिप-फ्लॉप" एकाभ: तीन तत्वों वाला एक अर्द्धसमूह एक स्विच पर तीन संक्रियाओं - निर्धारण, पुनर्निर्धारण और कुछ न करना का प्रतिनिधित्व करता है।
योग के साथ धनात्मक पूर्णांकों का समुच्चय। (0 के सम्मिलित होने पर, यह एक एकाभ बन जाता है।)
न्यूनतम या अधिकतम के साथ पूर्णांकों का समुच्चय। (धनात्मक/ऋणात्मक अनंतता सम्मिलित होने पर, यह एक एकाभ बन जाता है।)
आव्यूह गुणन के साथ दिए गए आकार का वर्ग गैर-नकारात्मक आव्यूह
वलय के गुणन के साथ वलय (बीजगणित) का कोई आदर्श।
संक्रिया के रूप में स्ट्रिंग्स के संयोजन के साथ एक निश्चित वर्णमाला Σ पर सभी परिमित स्ट्रिंग (कंप्यूटर विज्ञान) का सेट - Σ पर तथाकथित मुक्त अर्द्धसमूह। खाली स्ट्रिंग शामिल होने के साथ, यह अर्द्धसमूह Σ पर मुक्त एकाभ बन जाता है।
अर्द्धसमूह संक्रिया के रूप में स्ट्रिंगों के संयोजन के साथ एक निश्चित वर्णमाला Σ पर सभी परिमित स्ट्रिंगों का समुच्चय - तथाकथित "Σ पर मुक्त अर्द्धसमूह"। रिक्त स्ट्रिंग सम्मिलित होने पर यह अर्द्धसमूह Σ पर मुक्त एकाभ बन जाता है।

संक्रिया के रूप में संवलन के साथ F की सभी संवलन घातों के साथ एक प्रायिकता वितरण F। इसे संवलन अर्द्धसमूह कहा जाता है।
रूपान्तरण अर्धसमूह और एकाभ।
फलनों के संयोजन के साथ एक सांस्थितीय अंतरिक्ष से सतत फलन का समुच्चय तत्सम के रूप में कार्य करने वाले तत्समक फलन के साथ एक एकाभ बनाता है। अधिक सामान्यतः, किसी वर्ग के किसी वस्तु के अन्तःरूपण संयोजन के तहत एक एकाभ बनाते हैं।
अतिसमतलों की व्यवस्था के फलकों का गुणनफल।

आधारभूत अवधारणाएँ

तत्समक और शून्य

अर्द्धसमूह $S$ (या अधिक सामान्यतः, मैग्मा) का वाम तत्समक, एक तत्व $e$ इस प्रकार है, कि $S$ में सभी $x$ के लिए , $ex=x$ । इसी प्रकार, दक्षिण तत्समक, एक तत्व $f$ इस प्रकार है, कि $S$ में सभी $x$ के लिए, $xf=x$ । वाम और दक्षिण तत्समकों दोनों को एक-पक्षीय तत्समक कहा जाता है। एक अर्धसमूह में एक या अधिक वाम तत्समक हो सकते हैं, लेकिन कोई दक्षिण तत्समक नहीं हो सकता हैं, और इसके विपरीत भी।

द्वि-पक्षीय तत्समक (या केवल तत्समक) एक ऐसा तत्व है, जो वाम और दक्षिण दोनों तत्समक है। द्वि-पक्षीय तत्समक वाले अर्द्धसमूहों को एकाभ कहा जाता है। एक अर्धसमूह में अधिकतम एक द्वि-पक्षीय तत्समक हो सकता है। यदि एक अर्धसमूह में द्वि-पक्षीय तत्समक है, तो यह द्वि-पक्षीय तत्समक, उस अर्धसमूह में केवल एक-पक्षीय तत्समक होता है। यदि एक अर्धसमूह में वाम और दक्षिण तत्समक दोनों हैं, तो इसमें द्वि-पक्षीय तत्समक होता है (जो कि इस प्रकार अद्वितीय एक-पक्षीय तत्समक है)।

एक तत्समक-विहीन अर्द्धसमूह $S$ को $S$ में एक तत्व $e\notin S$ को संलग्न करने और सभी $s\in S\cup \{e\}$ के लिए $e\cdot s=s\cdot e=s$ को परिभाषित करने से निर्मित एक एकाभ में अंतःस्थापित किया जा सकता है।^[2]^[3] संकेतन $S^{1}$ , आवश्यक होने पर एक तत्समक के संलग्नन द्वारा $S$ से प्राप्त एक एकाभ को दर्शाता है, (एक एकाभ के लिए $S^{1}=S$ )।^[3]

इसी प्रकार, प्रत्येक मैग्मा में अधिक से अधिक एक अवशोषक तत्व होता है, जिसे अर्धसमूह सिद्धांत में शून्य कहा जाता है। उपरोक्त रचना के अनुरूप, प्रत्येक अर्द्धसमूह $S$ के लिए, $S^{0}$ को एक ऐसे अर्द्धसमूह के रूप में परिभाषित किया जा सकता है, जो 0 युक्त एक अर्द्धसमूह है, जो $S$ को अंतःस्थापित करता है।

उपसमूह और आदर्श

अर्द्धसमूह संक्रिया अपने उपसमुच्चयों के संग्रह पर एक संक्रिया को प्रेरित करती है: अर्द्धसमूह S के दिए गए उपसमुच्चयों A और B के लिए, इनका गुणनफल A · B, जिसे सामान्यतः AB के रूप में लिखा जाता है, समुच्चय { ab | a, A में और b, B में है } है। (इस धारणा को समूहों के लिए समान रूप से परिभाषित किया गया है।) इस संक्रिया के संदर्भ में, एक उपसमुच्चय A,

एक 'उपअर्द्धसमूह' यदि AA, A का एक उपसमुच्चय है,
एक 'दक्षिण आदर्श' यदि AS, A का एक उपसमुच्चय है, और
एक 'वाम आदर्श' यदि SA, A का एक उपसमुच्चय है।

कहलाता है।

यदि A एक वाम आदर्श और दक्षिण आदर्श दोनों है, तो इसे एक आदर्श (या द्वि-पक्षीय आदर्श) कहा जाता है।

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

बिना न्यूनतम आदर्श वाले अर्द्धसमूह का एक उदाहरण योग के तहत धनात्मक पूर्णांकों का समूह है। क्रमविनिमेय अर्द्धसमूह का न्यूनतम आदर्श एक समूह होता है, जब यह अस्तित्व में होता है।

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

प्रत्येक तत्व अर्द्धसमूह के किसी अन्य तत्व के साथ क्रम-विनिमेय करता है, इस गुण वाला उपसमुच्चय अर्द्धसमूह का केंद्र कहलाता है। ^[4] एक अर्द्धसमूह का केंद्र वास्तव में एक उपअर्द्धसमूह होता है।^[5]

समरूपता और सर्वांगसमता

एक अर्द्धसमूह समरूपता एक ऐसा फलन है, जो अर्द्धसमूह संरचना को संरक्षित करता है। एक फलन f: S → T, दो अर्धसमूहों के बीच एक समरूपता है यदि समीकरण

f(ab) = f(a)f(b)

S में सभी तत्वों a, b के लिए सत्य है, अर्थात् परिणाम वही होता है, जब अर्द्धसमूह संक्रिया को प्रतिचित्रण f प्रयुक्त करने के बाद या इससे पहले क्रियान्वित करते हैं।

एकाभों के बीच एक अर्द्धसमूह समरूपता तत्समक को संरक्षित रखती है यदि यह एक एकाभ समरूपता है। लेकिन ऐसी अर्द्धसमूह समरूपताएँ भी हैं, जो एकाभ समरूपता नहीं हैं, उदाहरण, $S^{1}$ में तत्समक के बिना अर्द्धसमूह $S$ का विहित अंतःस्थापन। एकाभ समरूपता की विशेषता वाली स्थितियों पर आगे चर्चा की गई है। माना $f:S_{0}\to S_{1}$ एक अर्द्धसमूह समरूपता है। $f$ का प्रतिबिम्ब भी एक अर्द्धसमूह है। यदि $S_{0}$ तत्समक तत्व $e_{0}$ वाला एक एकाभ है, तो $f(e_{0})$ , $f$ के प्रतिबिम्ब में तत्समक तत्व है। यदि $S^{1}$ भी, एक तत्समक तत्व $e_{1}$ वाला एक एकाभ है और $e_{1}$ , $f$ के प्रतिबिम्ब से संबंधित है, तब $f(e_{0})=e_{1}$ , अर्थात् $f$ एक एकाभ समरूपता है। विशेष रूप से, यदि $f$ आच्छादक है, तो यह एक एकाभ समरूपता है।

दो अर्धसमूहों S और T को तुल्याकारी कहा जाता है, यदि एक एकैकी-आच्छादक अर्धसमूह समरूपता f: S → T का अस्तित्व है। तुल्याकारी अर्धसमूहों की संरचना समान होती है।

एक अर्द्धसमूह सर्वांगसमता $\sim$ एक समतुल्य संबंध है, जो अर्द्धसमूह संक्रिया के साथ संगत है। अर्थात्, एक उपसमुच्चय $\sim \;\subseteq S\times S$ , जो एक तुल्यता संबंध है और $x\sim y\,$ और $u\sim v\,$ , S में प्रत्येक $x,y,u,v$ के लिए $xu\sim yv\,$ को इंगित करते हैं। किसी भी तुल्यता संबंध के समान, एक अर्धसमूह सर्वांगसमता $\sim$ , सर्वांगसमता वर्ग को प्रेरित करती है।

$[a]_{\sim }=\{x\in S\mid x\sim a\}$

और अर्द्धसमूह संक्रिया, सर्वांगसमता वर्गों पर एक द्विआधारी संक्रिया $\circ$ को प्रेरित करती है:

$[u]_{\sim }\circ [v]_{\sim }=[uv]_{\sim }$

चूँकि $\sim$ एक सर्वांगसमता है, $\sim$ के सभी सर्वांगसम वर्गों का समुच्चय $\circ$ के साथ एक अर्धसमूह बनाता है, जिसे भागफल अर्द्धसमूह या गुणनखंड अर्द्धसमूह कहा जाता है, और $S/\!\!\sim$ को निरूपित करता है। प्रतिचित्रण $x\mapsto [x]_{\sim }$ एक अर्द्धसमूह समरूपता है, जिसे भागफल प्रतिचित्र, विहित आच्छादन या प्रक्षेपण कहा जाता है; यदि S एक एकाभ है तो भागफल अर्द्धसमूह $[1]_{\sim }$ तत्समक वाला एक एकाभ है इसके विपरीत, किसी भी अर्धसमूह समरूपता की अष्ठि एक अर्धसमूह सर्वांगसमता है। ये परिणाम सार्वभौमिक बीजगणित में पहली समरूपता प्रमेय की विशिष्टता से अधिक कुछ नहीं हैं। सर्वांगसमता वर्ग और गुणनखंड एकाभ स्ट्रिंग पुनर्लेखन प्रणाली में अध्ययन की वस्तुएँ हैं।

S पर नाभिकीय सर्वांगसमता वह सर्वांगसमता है, जो S की अन्तःरूपता की अष्ठि है।

एक अर्द्धसमूह S 'सर्वांगसमता पर अधिकतम स्थिति' को संतुष्ट करता है, यदि समावेशन द्वारा क्रमित S पर सर्वांगसमता के किसी भी परिवार में एक अधिकतम तत्व है। ज़ोर्न की प्रमेयिका द्वारा, यह कहना समतुल्य है कि आरोही श्रृंखला की स्थिति सत्य है: S पर सर्वांगसमता की कोई अनंत आरोही श्रृंखला नहीं है।^[6]

अर्द्धसमूह का प्रत्येक आदर्श I, एक गुणनखंड अर्द्धसमूह, रीस गुणनखंड अर्द्धसमूह को सर्वांगसमता ρ द्वारा प्रेरित करता है, जो x ρ y द्वारा परिभाषित है, यदि x = y, या x और y दोनों I में हैं।

भागफल और विभाजन

निम्नलिखित धारणाएँ^[7] इस विचार का परिचय देती हैं कि एक अर्धसमूह दूसरे में समाहित है।

अर्द्धसमूह T, एक अर्द्धसमूह S का भागफल है यदि S से T में एक आच्छादक अर्द्धसमूह आकारिता है। उदाहरण के लिए, एक पूर्णांक के शेष मॉड्यूल 2 को लेने वाले आकारिता का उपयोग करते हुए $(\mathbb {Z} /2\mathbb {Z} ,+)$ , $(\mathbb {Z} /4\mathbb {Z} ,+)$ का भागफल है।

अर्द्धसमूह T एक अर्द्धसमूह S को विभाजित करता है, $T\preceq S$ पर ध्यान दें, यदि T एक उपअर्द्धसमूह S का भागफल है। विशेष रूप से, S के उपअर्द्धसमूह T को विभाजित करते हैं, जबकि यह स्थिति आवश्यक नहीं है कि इसमें S के भागफल हैं।

ये दोनों संबंध संक्रामक होते हैं।

अर्द्धसमूहों की संरचना

S के किसी उपसमुच्चय A के लिए S का सबसे छोटा उपसमूह T है जिसमें A सम्मिलित है, और हम कहते हैं कि A, T को उत्पन्न करता है। S का एक एकल तत्व x, उपसमूह {xⁿ | n ∈ Z⁺ } को उत्पन्न करता है। यदि यह परिमित है, तो x को परिमित क्रम का कहा जाता है, अन्यथा यह अनंत क्रम का होता है। एक अर्धसमूह को आवर्ती कहा जाता है यदि इसके सभी तत्व परिमित क्रम के हों। एकल तत्व द्वारा उत्पन्न एक अर्धसमूह को मोनोजेनिक (या चक्रीय) कहा जाता है। यदि एक मोनोजेनिक अर्द्धसमूह अनंत है तो यह योग की संक्रिया के साथ धनात्मक पूर्णांकों के अर्द्धसमूह के लिए समरूप होता है। यदि यह परिमित और अरिक्त है, तो इसमें कम से कम एक को वर्गसम होना चाहिए। यह इस प्रकार है कि प्रत्येक अरिक्त आवर्ती अर्धसमूह में कम से कम एक वर्गसम होता है।

एक उपअर्द्धसमूह, जो एक समूह भी है, उपसमूह कहलाता है। एक अर्धसमूह के उपसमूहों और इसके आदर्शों के बीच घनिष्ठ संबंध होता है। प्रत्येक उपसमूह में केवल एक आदर्श, अर्थात् उपसमूह का तत्समक तत्व होता है। अर्द्धसमूह के प्रत्येक वर्गसम e के लिए e को सम्मिलित करने वाला एक अद्वितीय अधिकतम उपसमूह होता है। प्रत्येक अधिकतम उपसमूह इस प्रकार से उत्पन्न होता है, इसलिए आदर्श और अधिकतम उपसमूहों के बीच एक-से-एक अंतःक्रिया होती है। यहाँ अधिकतम उपसमूह शब्द समूह सिद्धांत में इसके मानक उपयोग से भिन्न है।

क्रम परिमित होने पर प्रायः और भी कहा जा सकता है। उदाहरण के लिए, प्रत्येक अरिक्त परिमित अर्धसमूह आवर्ती होता है, और इसमें न्यूनतम आदर्श और कम से कम एक वर्गसम होता है। किसी दिए गए आकार (1 से अधिक) के परिमित अर्धसमूहों की संख्या (स्पष्ट रूप से) समान आकार के समूहों की संख्या से अधिक होती है। उदाहरण के लिए, दो तत्वों {a, b}, के एक समुच्चय के लिए सोलह संभावित "गुणन सारणियों" में, आठ सेमीग्रुप का निर्माण करते हैं,^{[note 2]} जबकि इनमें से केवल चार एकाभ होते हैं और केवल दो, समूहों का निर्माण करते हैं। परिमित अर्धसमूहों की संरचना के बारे में अधिक जानने के लिए, क्रोहन-रोड्स सिद्धांत देखें।

अर्द्धसमूहों के विशेष वर्ग

एकाभ एक तत्समक तत्व वाला एक अर्धसमूह है।
एक समूह (गणित) एक एकाभ है, जिसमें प्रत्येक तत्व का एक व्युत्क्रम तत्व होता है।
उपअर्द्धसमूह, अर्द्धसमूह का एक उपसमुच्चय है, जो अर्धसमूह संक्रिया के तहत विवृत है।
निरस्तीकरण अर्द्धसमूह, वह अर्द्धसमूह होता है जिसमें निरस्तीकरण गुण होता है:^[8] a · b = a · c का तात्पर्य b = c और इसी प्रकार b · a = c · a के लिए। प्रत्येक समूह एक निरस्तीकरण अर्धसमूह होता है, और प्रत्येक परिमित निरस्तीकरण अर्धसमूह एक समूह होता है।
बैंड (बीजगणित) एक ऐसा अर्द्धसमूह है, जिसकी संक्रिया वर्गसम है।
अर्द्धजालक एक ऐसा अर्द्धसमूह है, जिसकी संक्रिया वर्गसम और क्रम-विनिमेय है।
0-सामान्य अर्धसमूह।
रूपान्तरण अर्द्धसमूह: किसी भी परिमित अर्धसमूह S को एक (स्थिति-) समुच्चय Q के अधिकतम |S| + 1 के रूपान्तरणों द्वारा प्रदर्शित किया जा सकता है। S का प्रत्येक तत्व x, तब Q को स्वयं में प्रतिचित्रित करता है, अर्थात् x: Q → Q, और अनुक्रम xy को Q में प्रत्येक q के लिए q(xy) = (qx)y द्वारा परिभाषित किया गया है। अनुक्रम स्पष्टतः एक साहचर्य संक्रिया है, जो यहाँ फलनों के संयोजन के समतुल्य है। यह निरूपण किसी भी स्वचालन या परिमित-अवस्था मशीन (एफएसएम) के लिए मौलिक है।
द्विचक्रीय अर्द्धसमूह वास्तव में एक एकाभ है, जिसे संबंध pq = 1 के तहत दो उत्पादकों p और q पर मुक्त अर्द्धसमूह के रूप में वर्णित किया जा सकता है।
C₀-अर्धसमूह।
नियमित अर्धसमूह: प्रत्येक तत्त्व x में कम से कम एक व्युत्क्रम y ऐसा होता है, जो xyx=x तथा yxy=y को संतुष्ट करता है; तत्व x और y को कभी-कभी "परस्पर व्युत्क्रम" कहा जाता है।
व्युत्क्रम अर्धसमूह ऐसे नियमित अर्धसमूह होते हैं, जिनमें प्रत्येक तत्व का केवल एक व्युत्क्रम होता है। वैकल्पिक रूप से, एक नियमित अर्द्धसमूह व्युत्क्रम होता है, यदि और केवल यदि कोई दो वर्गसम क्रमविनिमेय होते हैं।
एफाइन अर्द्धसमूह: एक ऐसा अर्द्धसमूह, जो Z^d के परिमित रूप से उत्पन्न एक उपसमूह के लिए समरूप होता है। इन अर्द्धसमूहों में क्रमविनिमेय बीजगणित के अनुप्रयोग हैं।

क्रमविनिमेय अर्धसमूहों के लिए संरचना प्रमेय

अर्द्धजालकों के सन्दर्भ में क्रमविनिमेय अर्धसमूहों के लिए एक संरचना प्रमेय है।^[9] एक अर्द्धजालक (या अधिक सटीक रूप से एक मीट-अर्द्धजालक) $(L,\leq )$ एक आंशिकतः क्रमित समुच्चय है, जिसमें तत्वों के प्रत्येक युग्म $a,b\in L$ में महत्तम निम्न परिबंध है, जिसे $a\wedge b$ के रूप में दर्शाया गया है। संक्रिया $\wedge$ , $L$ को एक अर्द्धसमूह में बनाती है, जो योग के वर्गसमता नियम $a\wedge a=a$ को संतुष्ट करता है।

एक स्वेच्छ अर्धसमूह से एक अर्धजालक में दी गयी एक समरूपता $f:S\to L$ के लिए, प्रत्येक व्युत्क्रम प्रतिबिम्ब $S_{a}=f^{-1}\{a\}$ एक (संभवतः रिक्त) अर्धसमूह है। इसके अतिरिक्त, $S$ , $L$ द्वारा इस अर्थ में वर्गीकृत हो जाता है, कि

S_{a}S_{b}\subseteq S_{a\wedge b}.

यदि $f$ आच्छादक है, तो अर्द्धजालक $L$ तुल्यता संबंध $\sim$ द्वारा $S$ के भागफल के लिए इस प्रकार समरूप है, कि $x\sim y$ यदि और केवल यदि $f(x)=f(y)$ । जैसा कि ऊपर परिभाषित किया गया है, कि यह तुल्यता संबंध एक अर्धसमूह सर्वांगसमता है।

जब भी हम किसी क्रमविनिमेय अर्धसमूह के भागफल को सर्वांगसमता से लेते हैं, तो हमें एक अन्य क्रमविनिमेय अर्धसमूह प्राप्त होता है। संरचना प्रमेय कहती है कि किसी भी क्रमविनिमेय अर्धसमूह $S$ के लिए, एक उत्तम सर्वांगसमता $\sim$ इस प्रकार है, कि इस तुल्यता संबंध द्वारा $S$ का भागफल एक अर्धजालक है। इस अर्धजालक को $L$ द्वारा प्रदर्शित करने पर, हमें $S$ से $L$ पर एक समरूपता $f$ प्राप्त होती है। जैसा कि उल्लेख किया गया है, $S$ इस अर्धजालक द्वारा वर्गीकृत हो जाता है।

इसके अतिरिक्त, घटक $S_{a}$ सभी आर्किमिडीय अर्द्धसमूह हैं। एक आर्किमिडीय अर्द्धसमूह वह अर्द्धसमूह है, जिसमें दिए गए तत्वों के किसी युग्म $x,y$ के लिए, एक तत्व $z$ और $n>0$ का अस्तित्व इस प्रकार है, कि $x^{n}=yz$ ।

आर्किमिडीय गुण, अर्धजालक $L$ में क्रमण से तत्काल पालन करता है, क्योंकि इस क्रमण के साथ, हमारे पास $f(x)\leq f(y)$ है, यदि और केवल यदि $x^{n}=yz$ , कुछ $z$ और $n>0$ के लिए।

भिन्नों का समूह

समूह G = G(S), अर्द्धसमूह S के भिन्नों का समूह या समूह समापन है जो S के तत्वों द्वारा उत्पादक के रूप में और सभी समीकरणों xy = z द्वारा उत्पन्न होता है, जो S में सम्बन्ध के रूप में सत्य होते हैं।^[10] j : S → G(S), एक स्पष्ट अर्धसमूह समरूपता है जो S के प्रत्येक तत्व को संबंधित उत्पादक को भेजता है। इसमें S से एक समूह की आकारिता के लिए एक सार्वभौमिक गुण होता है:^[11] दिए गए किसी समूह H और अर्धसमूह समरूपता k : S → H के लिए, k=fj के साथ एक अद्वितीय समूह समरूपता f : G → H उपस्थित होती है। हम G को "सबसे सामान्य" समूह के रूप में सोच सकते हैं जिसमें S का समरूप प्रतिबिम्ब होता है।

एक महत्वपूर्ण प्रश्न उन अर्धसमूहों को चिह्नित करना है, जिनके लिए यह प्रतिचित्रण एक अन्तःस्थापन है। इसे हमेशा स्थिति होने की आवश्यकता नहीं होती है: उदाहरण के लिए, S को द्विआधारी संक्रिया के रूप में समुच्चय-सैद्धांतिक सर्वनिष्ठ के साथ किसी समुच्चय X के उपसमुच्चय के अर्द्धसमूह के रूप में लें (यह अर्द्धजालक का एक उदाहरण है)। चूँकि A.A = A, S के सभी तत्वों के लिए सत्य है, यह G(S) के सभी उत्पादकों के लिए भी सत्य होना चाहिए: जो इस प्रकार तुच्छ समूह है। अंतर्निहित करने की क्षमता के लिए यह स्पष्ट रूप से आवश्यक है कि S के पास निरस्तीकरण गुण हो। जब S क्रमविनिमेय होता है तो यह स्थिति भी पर्याप्त होती है^[12] और अर्द्धसमूह का ग्रोथेंडीक समूह भिन्नों के समूह का निर्माण प्रदान करता है। गैर-क्रम-विनिमेय अर्द्धसमूहों के लिए समस्या का पता अर्द्धसमूहों पर पहले पर्याप्त पृष्ठ से लगाया जा सकता है।^[13]^[14] अनातोली माल्टसेव ने वर्ष 1937 में अन्तःस्थापन के लिए आवश्यक और पर्याप्त शर्तें प्रदान कीं।^[15]

आंशिक अवकल समीकरणों में अर्द्धसमूह विधियाँ

आंशिक अवकल समीकरणों के क्षेत्र में कुछ समस्याओं का अध्ययन करने के लिए अर्द्धसमूह सिद्धांत का उपयोग किया जा सकता है। सामान्य रूप से बोलते हुए, अर्द्धसमूह दृष्टिकोण एक समय-निर्भर आंशिक अवकल समीकरण को फलन समष्टि पर सामान्य अवकल समीकरण के रूप में मानना है। उदाहरण के लिए, स्थानिक अंतराल (0, 1) ⊂ R और समय t ≥ 0 पर ऊष्मा समीकरण के लिए निम्न प्रारंभिक/सीमा मान समस्या पर विचार करें:

{\begin{cases}\partial _{t}u(t,x)=\partial _{x}^{2}u(t,x),&x\in (0,1),t>0;\\u(t,x)=0,&x\in \{0,1\},t>0;\\u(t,x)=u_{0}(x),&x\in (0,1),t=0.\end{cases}}

माना X = L²((0, 1) R) प्रांत अंतराल (0, 1) के साथ वर्ग-समाकलनीय वास्तविक-मान फलनों का L^p समष्टि है और माना A प्रांत

D(A)={\big \{}u\in H^{2}((0,1);\mathbf {R} ){\big |}u(0)=u(1)=0{\big \}},

के साथ द्वितीय-अवकलज ऑपरेटर बनें

जहाँ H² एक सोबोलेव समष्टि है। फिर उपरोक्त प्रारंभिक/सीमा मान समस्या को समष्टि X पर एक साधारण अवकल समीकरण के लिए प्रारंभिक मान समस्या के रूप में वर्णित किया जा सकता है:

{\begin{cases}{\dot {u}}(t)=Au(t);\\u(0)=u_{0}.\end{cases}}

अनुमानित स्तर पर, इस समस्या का समाधान u(t) = exp(tA)u₀ होना "चाहिए"। हालांकि, एक कठोर व्यवहार के लिए, tA के घातांक को एक अर्थ दिया जाना चाहिए। t के एक फलन के रूप में, exp(tA), समय t = 0 पर प्रारंभिक स्थिति u₀ को समय t पर स्थिति u(t) = exp(tA)u₀ लेने पर X से स्वयं पर ऑपरेटरों का एक अर्धसमूह है। ऑपरेटर A को अर्धसमूह का अतिसूक्ष्म उत्पादक कहा जाता है।

इतिहास

अर्द्धसमूहों का अध्ययन अन्य बीजगणितीय संरचनाओं के पीछे अधिक जटिल स्वयंसिद्धों जैसे समूहों या वलयों के साथ होता है। कई स्रोत ^[16]^[17] इस शब्द के प्रथम प्रयोग (फ्रांसीसी में) का श्रेय वर्ष 1904 में अमूर्त समूहों के सिद्धांत के तत्वों में जे.-ए डी सेगुएर को देते हैं। अंग्रेजी में इस शब्द का प्रयोग वर्ष 1908 में हेरोल्ड हिंटन के परिमित कोटि के समूहों के सिद्धांत में किया गया है।

एंटन सुशकेविच ने अर्द्धसमूह के बारे में प्रथम गैर-तुच्छ परिणाम प्राप्त किया। वर्ष 1928 के इनके पेपर "अद्वितीय व्युत्क्रमता के नियम के बिना परिमित समूहों पर" ने परिमित सामान्य अर्द्धसमूहों की संरचना निर्धारित की और प्रदर्शित किया कि एक परिमित अर्धसमूह का न्यूनतम आदर्श (या ग्रीन के संबंध जे-वर्ग) सामान्य है।^[17] उस समय से, अर्द्धसमूह सिद्धांत की नींव आगे डेविड रीस (गणितज्ञ), जेम्स अलेक्जेंडर ग्रीन, एवगेनी सर्गेइविच लायपिन, अल्फ्रेड एच. क्लिफर्ड और गॉर्डन प्रेस्टन द्वारा रखी गई थी। बाद वाले दो गणितज्ञों ने क्रमशः वर्ष 1961 और 1967 में अर्द्धसमूह सिद्धांत पर दो-भाग मोनोग्राफ प्रकाशित किया। वर्ष 1970 में, अर्द्धसमूह फोरम (वर्तमान में स्प्रिंगर वरलैग द्वारा संपादित) नामक एक नई पत्रिका अर्द्धसमूह सिद्धांत पर पूर्णतः समर्पित कुछ गणितीय पत्रिकाओं में से एक बन गई।

अर्द्धसमूहों का निरूपण सिद्धांत वर्ष 1963 में बोरिस शेन द्वारा विकसित किया गया था, जिसमें समुच्चय A और अर्द्धसमूह गुणन के लिए संबंधों के संयोजन पर द्विआधारी संबंधों का उपयोग किया गया था।^[18] वर्ष 1972 में एक बीजगणितीय सम्मेलन में स्कीन ने A पर संबंधों के अर्धसमूह B_A पर साहित्य का सर्वेक्षण किया।^[19] वर्ष 1997 में शेन और राल्फ मैकेंजी ने यह सिद्ध किया कि प्रत्येक अर्धसमूह द्विआधारी संबंधों के एक संक्रामक अर्धसमूह के लिए समरूप होता है।^[20]

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

सामान्यीकरण

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.

If the associativity axiom of a semigroup is dropped, the result is a magma, which is nothing more than a set M equipped with a binary operation that is closed $M \times M \to M$ .

यदि एक अर्द्धसमूह की साहचर्यता अभिगृहीत को छोड़ दिया जाता है, तो इसका परिणाम एक मैग्मा होता है, जो एक समुच्चय M से अधिक कुछ नहीं होता है जो द्विआधारी संक्रिया से सुसज्जित विवृत $M \times M \to M$ होता है।

एक n-ऐरी अर्द्धसमूह (n-अर्द्धसमूह, बहुविकल्पी अर्द्धसमूह या मल्टीऐरी अर्द्धसमूह भी) द्विआधारी संक्रिया के स्थान पर n-ऐरी संक्रिया के साथ एक समुच्चय G के अर्द्धसमूह का सामान्यीकरण, एक अलग दिशा में सामान्यीकरण है।^[21] साहचर्य नियम को इस प्रकार सामान्यीकृत किया जाता है: त्रिआधारी साहचर्यता $(abc) de = a (bcd) e = ab (cde)$ , अर्थात् स्ट्रिंग abcde, जिसमें किन्हीं तीन आसन्न तत्वों को कोष्ठक में रखा गया हो। n-ऐरी साहचर्यता $n + (n - 1)$ लंबाई की एक स्ट्रिंग है जिसमें किन्हीं भी n आसन्न तत्वों को कोष्ठीकृत किया गया है। एक 2-ऐरी अर्द्धसमूह सिर्फ एक अर्द्धसमूह होता है। आगे के अभिगृहीत एक n-ऐरी समूह की ओर जाते हैं।

अर्द्धसमूहाभ, एक तीसरा सामान्यीकरण है, जिसमें द्विआधारी के कुल होने की आवश्यकता को हटा दिया जाता है। चूंकि श्रेणियाँ एकाभों को इसी प्रकार सामान्यीकृत करती हैं, एक अर्द्धसमूहाभ एक श्रेणी की तरह व्यवहार करता है लेकिन तत्समता की कमी होती है।

क्रमविनिमेय अर्धसमूहों के अनंत सामान्यीकरणों पर कभी-कभी विभिन्न लेखकों द्वारा विचार किया गया है।^{[note 3]}

यह भी देखें

अवशोषण तत्त्व
द्विक्रमित समुच्चय
रिक्त अर्धसमूह
सामान्यीकृत प्रतिलोम
तत्समक तत्व
प्रकाश की साहचर्यता परीक्षण
क्वांटम गतिशील अर्द्धसमूह
अर्द्धसमूह वलय
निर्बल प्रतिलोम

↑ The closure axiom is implied by the definition of a binary operation on a set. Some authors thus omit it and specify three axioms for a group and only one axiom (associativity) for a semigroup.
↑ Namely: the trivial semigroup in which (for all x and y) xy = a and its counterpart in which xy = b, the semigroups based on multiplication modulo 2 (choosing a or b as the identity element 1), the groups equivalent to addition modulo 2 (choosing a or b to be the identity element 0), and the semigroups in which the elements are either both left identities or both right identities.
↑ See references in Udo Hebisch and Hanns Joachim Weinert, Semirings and Semifields, in particular, Section 10, Semirings with infinite sums, in M. Hazewinkel, Handbook of Algebra, Vol. 1, Elsevier, 1996. Notice that in this context the authors use the term semimodule in place of semigroup.

उद्धरण

↑ Feller (1971)
↑ Jacobson (2009, p. 30, ex. 5)
↑ ^3.0 ^3.1 Lawson (1998, p. 20)
↑ Kilp, Mati; Knauer, U.; Mikhalev, Aleksandr V. (2000). मोनोइड्स, अधिनियम और श्रेणियां: पुष्पांजलि उत्पादों और ग्राफ के अनुप्रयोगों के साथ: छात्रों और शोधकर्ताओं के लिए एक पुस्तिका. Walter de Gruyter. p. 25. ISBN 978-3-11-015248-7. Zbl 0945.20036.
↑ Li͡apin, E. S. (1968). सेमिग्रुप्स. American Mathematical Soc. p. 96. ISBN 978-0-8218-8641-0.</रेफरी>
समरूपता और सर्वांगसमताएं

एक सेमीग्रुप होमोमोर्फिज्म एक ऐसा कार्य है जो सेमीग्रुप संरचना को संरक्षित करता है। एक समारोह f: S → T यदि समीकरण दो अर्धसमूहों के बीच एक समरूपता है

f(ab) = f(a)f(b).

एस में सभी तत्वों ए, बी के लिए होल्ड करता है, यानी परिणाम वही होता है जब नक्शा एफ लागू करने के बाद या उससे पहले सेमीग्रुप ऑपरेशन करते हैं।
मोनॉइड्स के बीच एक सेमीग्रुप होमोमोर्फिज्म पहचान को बरकरार रखता है यदि यह एक मोनॉइड होमोमोर्फिज्म है। लेकिन ऐसे सेमीग्रुप होमोमोर्फिज्म हैं जो मोनोइड समरूपता नहीं हैं, उदा। एक सेमीग्रुप का विहित एम्बेडिंग $S$ में पहचान के बिना $S^{1}$ . मोनोइड समरूपता की विशेषता वाली स्थितियों पर आगे चर्चा की गई है। होने देना $f:S_{0}\to S_{1}$ एक अर्धसमूह समरूपता हो। की छवि $f$ एक अर्धसमूह भी है। यदि $S_{0}$ एक पहचान तत्व के साथ एक मोनोइड है $e_{0}$ , फिर $f(e_{0})$ की छवि में पहचान तत्व है $f$ . यदि $S_{1}$ एक पहचान तत्व के साथ एक मोनोइड भी है $e_{1}$ तथा $e_{1}$ की छवि के अंतर्गत आता है $f$ , फिर $f(e_{0})=e_{1}$ , अर्थात। $f$ एक मोनोइड समरूपता है। खासकर अगर $f$ आच्छादक है, तो यह एक मोनोइड समरूपता है।
दो अर्धसमूहों एस और टी को 'समरूपता' कहा जाता है यदि एक विशेषण अर्धसमूह समाकारिता मौजूद है f : S → T. आइसोमॉर्फिक सेमीग्रुप की संरचना समान होती है।
एक अर्धसमूह समरूपता $\sim$ एक तुल्यता संबंध है जो सेमीग्रुप ऑपरेशन के अनुकूल है। यानी एक उपसमुच्चय $\sim \;\subseteq S\times S$ यह एक तुल्यता संबंध है और $x\sim y\,$ तथा $u\sim v\,$ तात्पर्य $xu\sim yv\,$ हरएक के लिए $x,y,u,v$ एस में। किसी भी तुल्यता संबंध की तरह, एक अर्धसमूह सर्वांगसमता $\sim$ तुल्यता वर्गों को प्रेरित करता है

$[a]_{\sim }=\{x\in S\mid x\sim a\}$

और सेमीग्रुप ऑपरेशन एक बाइनरी ऑपरेशन को प्रेरित करता है $\circ$ सर्वांगसमता वर्गों पर:

$[u]_{\sim }\circ [v]_{\sim }=[uv]_{\sim }$

इसलिये $\sim$ एक सर्वांगसमता है, के सभी सर्वांगसमता वर्गों का समुच्चय $\sim$ के साथ एक अर्धसमूह बनाता है $\circ$ भागफल अर्धसमूह या कारक अर्धसमूह कहा जाता है, और निरूपित किया जाता है $S/\!\!\sim$ . मानचित्रण $x\mapsto [x]_{\sim }$ एक अर्धसमूह समरूपता है, जिसे भागफल मानचित्र, विहित अनुमान या प्रक्षेपण कहा जाता है; यदि S एक मोनॉइड है तो भागफल सेमीग्रुप पहचान के साथ एक मोनोइड है $[1]_{\sim }$ . इसके विपरीत, किसी भी अर्धसमूह समरूपता का कर्नेल (सेट सिद्धांत) एक अर्धसमूह सर्वांगसमता है। ये परिणाम समरूपता प्रमेय #प्रथम समरूपता प्रमेय 4 के एक विशेषीकरण से ज्यादा कुछ नहीं हैं। स्ट्रिंग पुनर्लेखन प्रणालियों में सर्वांगसमता वर्ग और कारक मोनोइड्स अध्ययन की वस्तुएं हैं।
S पर एक नाभिकीय सर्वांगसमता वह है जो S के एंडोमोर्फिज्म का मूल है।<ref name=LotII463>Lothaire (2011, p. 463)
↑ Lothaire (2011, p. 465)
↑ Pin, Jean-Éric (November 30, 2016). ऑटोमेटा थ्योरी की गणितीय नींव (PDF). p. 19.
↑ Clifford & Preston (1967, p. 3)
↑ Grillet (2001)
↑ Farb, B. (2006). वर्ग समूहों और संबंधित विषयों की मैपिंग में समस्याएँ. Amer. Math. Soc. p. 357. ISBN 978-0-8218-3838-9.
↑ Auslander, M.; Buchsbaum, D. A. (1974). समूह, अंगूठियां, मॉड्यूल. Harper & Row. p. 50. ISBN 978-0-06-040387-4.
↑ Clifford & Preston (1961, p. 34)
↑ Suschkewitsch (1928)
↑ Preston, G. B. (1990). सेमिग्रुप्स के प्रारंभिक इतिहास की व्यक्तिगत यादें. Archived from the original on 2009-01-09. Retrieved 2009-05-12.
↑ Maltsev, A. (1937). एक बीजगणितीय वलय के एक क्षेत्र में विसर्जन पर. pp. 686–691. doi:10.1007/BF01571659. {{cite book}}: |journal= ignored (help)CS1 maint: postscript (link)
↑ "गणित के कुछ शब्दों के सबसे पुराने ज्ञात उपयोग".
↑ ^17.0 ^17.1 "क्रिस्टोफ़र होलिंग्स द्वारा सुश्केविच के पेपर का लेखा-जोखा". Archived from the original (PDF) on 2009-10-25.
↑ B. M. Schein (1963) "Representations of semigroups by means of binary relations" (Russian), Matematicheskii Sbornik 60: 292–303 MR0153760
↑ B. M. Schein (1972) Miniconference on semigroup Theory, MR0401970
↑ B. M. Schein & R. McKenzie (1997) "Every semigroup is isomorphic to a transitive semigroup of binary relations", Transactions of the American Mathematical Society 349(1): 271–85 MR1370647
↑ Dudek, W.A. (2001). एन-आर्य समूहों में कुछ पुरानी समस्याओं पर. pp. 15–36. Archived from the original on 2009-07-14. {{cite book}}: |journal= ignored (help)

संदर्भ

सामान्य संदर्भ

Howie, John M. (1995). सेमीग्रुप थ्योरी के फंडामेंटल. Clarendon Press. ISBN 978-0-19-851194-6. Zbl 0835.20077.
Clifford, Alfred Hoblitzelle; Preston, Gordon Bamford (1961). अर्धसमूहों का बीजगणितीय सिद्धांत. Vol. 1. American Mathematical Society. ISBN 978-0-8218-0271-7. Zbl 0111.03403.
Clifford, Alfred Hoblitzelle; Preston, Gordon Bamford (2010) [1967]. अर्धसमूहों का बीजगणितीय सिद्धांत. Vol. 2. American Mathematical Society. ISBN 978-0-8218-0272-4.
Grillet, Pierre Antoine (1995). सेमिग्रुप्स: एन इंट्रोडक्शन टू द स्ट्रक्चर थ्योरी. Marcel Dekker. ISBN 978-0-8247-9662-4. Zbl 0830.20079.
Grillet, Pierre Antoine (2001). क्रमविनिमेय अर्धसमूह. Springer Verlag. ISBN 978-0-7923-7067-3. Zbl 1040.20048.
Hollings, Christopher (2009). "सेमिग्रुप्स के बीजगणितीय सिद्धांत का प्रारंभिक विकास". Archive for History of Exact Sciences. 63: 497–536. doi:10.1007/s00407-009-0044-3.
Hollings, Christopher (2014). लोहे के पर्दे के पार गणित: अर्धसमूहों के बीजगणितीय सिद्धांत का इतिहास. American Mathematical Society. ISBN 978-1-4704-1493-1. Zbl 1317.20001.
Petrich, Mario (1973). सेमीग्रुप्स का परिचय. Charles E. Merrill. ISBN 978-0-675-09062-9. Zbl 0321.20037.

विशिष्ट संदर्भ

Feller, William (1971). प्रायिकता सिद्धांत और उसके आवेदन के लिए एक परिचय. Vol. II (2nd ed.). Wiley. MR 0270403.
Hille, Einar; Phillips, Ralph S. (1974). कार्यात्मक विश्लेषण और अर्ध-समूह. American Mathematical Society. ISBN 978-0821874646. MR 0423094.
Suschkewitsch, Anton (1928). अद्वितीय उत्क्रमण के नियम के बिना परिमित समूहों के बारे में. pp. 30–50. doi:10.1007/BF01459084. hdl:10338.dmlcz/100078. ISSN 0025-5831. MR 1512437. {{cite book}}: |journal= ignored (help)
Kantorovitz, Shmuel (2009). ऑपरेटर सेमीग्रुप में विषय. Springer. ISBN 978-0-8176-4932-6. Zbl 1187.47003.
Jacobson, Nathan (2009). मूल बीजगणित. Vol. 1 (2nd ed.). Dover. ISBN 978-0-486-47189-1.
Lawson, Mark V. (1998). उलटा अर्धसमूह: आंशिक समरूपता का सिद्धांत. World Scientific. ISBN 978-981-02-3316-7. Zbl 1079.20505.
Lothaire, M. (2011) [2002]. शब्दों पर बीजगणितीय संयोजन. Encyclopedia of Mathematics and Its Applications. Vol. 90. Cambridge University Press. ISBN 978-0-521-18071-9. Zbl 1221.68183.

श्रेणी:अर्धसमूह सिद्धांत श्रेणी:बीजगणितीय संरचनाएं

[1] The closure axiom is implied by the definition of a binary operation on a set. Some authors thus omit it and specify three axioms for a group and only one axiom (associativity) for a semigroup.

[9] Namely: the trivial semigroup in which (for all x and y) xy = a and its counterpart in which xy = b, the semigroups based on multiplication modulo 2 (choosing a or b as the identity element 1), the groups equivalent to addition modulo 2 (choosing a or b to be the identity element 0), and the semigroups in which the elements are either both left identities or both right identities.

[24] See references in Udo Hebisch and Hanns Joachim Weinert, Semirings and Semifields, in particular, Section 10, Semirings with infinite sums, in M. Hazewinkel, Handbook of Algebra, Vol. 1, Elsevier, 1996. Notice that in this context the authors use the term semimodule in place of semigroup.

[2] Feller (1971)

[3] Jacobson (2009, p. 30, ex. 5)

[lawson98-4] 3.0 ^3.1 Lawson (1998, p. 20)

[KilpKilʹp2000-5] Kilp, Mati; Knauer, U.; Mikhalev, Aleksandr V. (2000). मोनोइड्स, अधिनियम और श्रेणियां: पुष्पांजलि उत्पादों और ग्राफ के अनुप्रयोगों के साथ: छात्रों और शोधकर्ताओं के लिए एक पुस्तिका. Walter de Gruyter. p. 25. ISBN 978-3-11-015248-7. Zbl 0945.20036.

[Li͡apin1968-6] Li͡apin, E. S. (1968). सेमिग्रुप्स. American Mathematical Soc. p. 96. ISBN 978-0-8218-8641-0.</रेफरी>
समरूपता और सर्वांगसमताएं

एक सेमीग्रुप होमोमोर्फिज्म एक ऐसा कार्य है जो सेमीग्रुप संरचना को संरक्षित करता है। एक समारोह f: S → T यदि समीकरण दो अर्धसमूहों के बीच एक समरूपता है

f(ab) = f(a)f(b).

एस में सभी तत्वों ए, बी के लिए होल्ड करता है, यानी परिणाम वही होता है जब नक्शा एफ लागू करने के बाद या उससे पहले सेमीग्रुप ऑपरेशन करते हैं।
मोनॉइड्स के बीच एक सेमीग्रुप होमोमोर्फिज्म पहचान को बरकरार रखता है यदि यह एक मोनॉइड होमोमोर्फिज्म है। लेकिन ऐसे सेमीग्रुप होमोमोर्फिज्म हैं जो मोनोइड समरूपता नहीं हैं, उदा। एक सेमीग्रुप का विहित एम्बेडिंग $S$ में पहचान के बिना $S^{1}$ . मोनोइड समरूपता की विशेषता वाली स्थितियों पर आगे चर्चा की गई है। होने देना $f:S_{0}\to S_{1}$ एक अर्धसमूह समरूपता हो। की छवि $f$ एक अर्धसमूह भी है। यदि $S_{0}$ एक पहचान तत्व के साथ एक मोनोइड है $e_{0}$ , फिर $f(e_{0})$ की छवि में पहचान तत्व है $f$ . यदि $S_{1}$ एक पहचान तत्व के साथ एक मोनोइड भी है $e_{1}$ तथा $e_{1}$ की छवि के अंतर्गत आता है $f$ , फिर $f(e_{0})=e_{1}$ , अर्थात। $f$ एक मोनोइड समरूपता है। खासकर अगर $f$ आच्छादक है, तो यह एक मोनोइड समरूपता है।
दो अर्धसमूहों एस और टी को 'समरूपता' कहा जाता है यदि एक विशेषण अर्धसमूह समाकारिता मौजूद है f : S → T. आइसोमॉर्फिक सेमीग्रुप की संरचना समान होती है।
एक अर्धसमूह समरूपता $\sim$ एक तुल्यता संबंध है जो सेमीग्रुप ऑपरेशन के अनुकूल है। यानी एक उपसमुच्चय $\sim \;\subseteq S\times S$ यह एक तुल्यता संबंध है और $x\sim y\,$ तथा $u\sim v\,$ तात्पर्य $xu\sim yv\,$ हरएक के लिए $x,y,u,v$ एस में। किसी भी तुल्यता संबंध की तरह, एक अर्धसमूह सर्वांगसमता $\sim$ तुल्यता वर्गों को प्रेरित करता है

$[a]_{\sim }=\{x\in S\mid x\sim a\}$

और सेमीग्रुप ऑपरेशन एक बाइनरी ऑपरेशन को प्रेरित करता है $\circ$ सर्वांगसमता वर्गों पर:

$[u]_{\sim }\circ [v]_{\sim }=[uv]_{\sim }$

इसलिये $\sim$ एक सर्वांगसमता है, के सभी सर्वांगसमता वर्गों का समुच्चय $\sim$ के साथ एक अर्धसमूह बनाता है $\circ$ भागफल अर्धसमूह या कारक अर्धसमूह कहा जाता है, और निरूपित किया जाता है $S/\!\!\sim$ . मानचित्रण $x\mapsto [x]_{\sim }$ एक अर्धसमूह समरूपता है, जिसे भागफल मानचित्र, विहित अनुमान या प्रक्षेपण कहा जाता है; यदि S एक मोनॉइड है तो भागफल सेमीग्रुप पहचान के साथ एक मोनोइड है $[1]_{\sim }$ . इसके विपरीत, किसी भी अर्धसमूह समरूपता का कर्नेल (सेट सिद्धांत) एक अर्धसमूह सर्वांगसमता है। ये परिणाम समरूपता प्रमेय #प्रथम समरूपता प्रमेय 4 के एक विशेषीकरण से ज्यादा कुछ नहीं हैं। स्ट्रिंग पुनर्लेखन प्रणालियों में सर्वांगसमता वर्ग और कारक मोनोइड्स अध्ययन की वस्तुएं हैं।
S पर एक नाभिकीय सर्वांगसमता वह है जो S के एंडोमोर्फिज्म का मूल है।<ref name=LotII463>Lothaire (2011, p. 463)

[LotII465-7] Lothaire (2011, p. 465)

[8] Pin, Jean-Éric (November 30, 2016). ऑटोमेटा थ्योरी की गणितीय नींव (PDF). p. 19.

[10] Clifford & Preston (1967, p. 3)

[11] Grillet (2001)

[12] Farb, B. (2006). वर्ग समूहों और संबंधित विषयों की मैपिंग में समस्याएँ. Amer. Math. Soc. p. 357. ISBN 978-0-8218-3838-9.

[13] Auslander, M.; Buchsbaum, D. A. (1974). समूह, अंगूठियां, मॉड्यूल. Harper & Row. p. 50. ISBN 978-0-06-040387-4.

[14] Clifford & Preston (1961, p. 34)

[15] Suschkewitsch (1928)

[16] Preston, G. B. (1990). सेमिग्रुप्स के प्रारंभिक इतिहास की व्यक्तिगत यादें. Archived from the original on 2009-01-09. Retrieved 2009-05-12.

[17] Maltsev, A. (1937). एक बीजगणितीय वलय के एक क्षेत्र में विसर्जन पर. pp. 686–691. doi:10.1007/BF01571659. {{cite book}}: |journal= ignored (help)CS1 maint: postscript (link)

[18] "गणित के कुछ शब्दों के सबसे पुराने ज्ञात उपयोग".

[Hollings-19] 17.0 ^17.1 "क्रिस्टोफ़र होलिंग्स द्वारा सुश्केविच के पेपर का लेखा-जोखा". Archived from the original (PDF) on 2009-10-25.

[20] B. M. Schein (1963) "Representations of semigroups by means of binary relations" (Russian), Matematicheskii Sbornik 60: 292–303 MR0153760

[21] B. M. Schein (1972) Miniconference on semigroup Theory, MR0401970

[22] B. M. Schein & R. McKenzie (1997) "Every semigroup is isomorphic to a transitive semigroup of binary relations", Transactions of the American Mathematical Society 349(1): 271–85 MR1370647

[23] Dudek, W.A. (2001). एन-आर्य समूहों में कुछ पुरानी समस्याओं पर. pp. 15–36. Archived from the original on 2009-07-14. {{cite book}}: |journal= ignored (help)

[note 1]

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[note 2]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

α

[21]

[note 3]

Anonymous

Search

सेमिग्रुप: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 09:55, 14 December 2022

Contents

परिभाषा

अर्द्धसमूहों के उदाहरण

आधारभूत अवधारणाएँ

तत्समक और शून्य

उपसमूह और आदर्श

समरूपता और सर्वांगसमता

भागफल और विभाजन

अर्द्धसमूहों की संरचना

अर्द्धसमूहों के विशेष वर्ग

क्रमविनिमेय अर्धसमूहों के लिए संरचना प्रमेय

भिन्नों का समूह

आंशिक अवकल समीकरणों में अर्द्धसमूह विधियाँ

इतिहास

सामान्यीकरण

यह भी देखें

टिप्पणियाँ

उद्धरण

समरूपता और सर्वांगसमताएं

संदर्भ

सामान्य संदर्भ

विशिष्ट संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
 {{Short description|Algebraic structure consisting of a set with an associative binary operation}}
-[[File:Magma to group4.svg|thumb|right|300px|[[मैग्मा (बीजगणित)]] और [[समूह (गणित)]] के बीच बीजगणितीय संरचनाएं: एक अर्धसमूह सहयोगी संपत्ति के साथ एक मैग्मा (बीजगणित) है। एक [[मोनोइड]] एक [[पहचान तत्व]] वाला एक अर्धसमूह है।]]गणित में, एक सेमीग्रुप एक [[बीजगणितीय संरचना]] है जिसमें एक [[सेट (गणित)|समुच्चय]] होता है जिसमें एक सहयोगी आंतरिक [[बाइनरी ऑपरेशन]] होता है।
+[[File:Magma to group4.svg|thumb|right|300px|[[मैग्मा (बीजगणित)]] और [[समूह (गणित)|समूहों (गणित)]] के बीच बीजगणितीय संरचनाएँ: एक अर्द्धसमूह साह्चर्यता के साथ एक मैग्मा है। [[मोनोइड|एकाभ]] एक [[पहचान तत्व|तत्समक तत्व]] वाला अर्धसमूह है।]]गणित में, '''सेमीग्रुप''' या '''अर्द्धसमूह''' एक [[सेट (गणित)|समुच्चय]] पर साहचर्य आंतरिक [[बाइनरी ऑपरेशन|द्विआधारी संक्रियायुक्त]] [[बीजगणितीय संरचना]] है।
-सेमीग्रुप के बाइनरी ऑपरेशन को अक्सर गुणन के रूप में दर्शाया जाता है: ''x''·''y'', या बस ''xy'', ऑर्डर किए गए जोड़े के लिए सेमीग्रुप ऑपरेशन लागू करने के परिणाम को दर्शाता है। {{nowrap|(''x'', ''y'')}}. सहयोगीता औपचारिक रूप से उस रूप में व्यक्त की जाती है {{nowrap|1=(''x''·''y'')·''z'' = ''x''·(''y''·''z'')}} सेमीग्रुप में सभी x, y और z के लिए।
+अर्द्धसमूह के द्विआधारी संक्रिया को प्रायः ''x''·''y'', या केवल ''xy'' गुणन के रूप में दर्शाया जाता है, जो अर्द्धसमूह संक्रिया को क्रमित युग्म {{nowrap|(''x'', ''y'')}} पर प्रयुक्त करने के परिणाम को दर्शाता है। साह्चर्यता औपचारिक रूप से इस रूप में व्यक्त की जाती है कि अर्द्धसमूह में सभी ''x'', ''y'' और ''z'' के लिए, {{nowrap|1=(''x''·''y'')·''z'' = ''x''·(''y''·''z'')}}।
-सेमीग्रुप्स को मैग्मास का एक विशेष मामला माना जा सकता है, जहां ऑपरेशन साहचर्य है, या समूहों के सामान्यीकरण के रूप में, पहचान तत्व या व्युत्क्रम के अस्तित्व की आवश्यकता के बिना।<ref group="note"> The closure axiom is implied by the definition of a binary operation on a set. Some authors thus omit it and specify three axioms for a group and only one axiom (associativity) for a semigroup.</ref> समूहों या मैग्मास के मामले में, सेमीग्रुप ऑपरेशन [[क्रमविनिमेयता|क्रमविनिमेय]] होने की आवश्यकता नहीं है, इसलिए x·y आवश्यक रूप से y·x के बराबर नहीं है; एक ऑपरेशन का एक प्रसिद्ध उदाहरण जो साहचर्य है लेकिन गैर-कम्यूटेटिव [[मैट्रिक्स गुणन]] है। यदि सेमीग्रुप ऑपरेशन कम्यूटेटिव है, तो सेमीग्रुप को कम्यूटेटिव सेमीग्रुप कहा जाता है या (समूहों के समान मामले की तुलना में कम बार) इसे [[एबेलियन समूह|एबेलियन]] सेमीग्रुप कहा जा सकता है।
+अर्द्धसमूहों को मैग्माओं की एक विशेष स्थिति, जहाँ संक्रिया साहचर्य है, या तत्समक तत्व या व्युत्क्रम के अस्तित्व की आवश्यकता के बिना समूहों के सामान्यीकरण के रूप में माना जा सकता है।<ref group="note"> The closure axiom is implied by the definition of a binary operation on a set. Some authors thus omit it and specify three axioms for a group and only one axiom (associativity) for a semigroup.</ref> समूहों या मैग्माओं की स्थिति में, अर्द्धसमूह संक्रिया के [[क्रमविनिमेयता|क्रमविनिमेय]] होने की आवश्यकता नहीं होती है, इसलिए ''x·y'' आवश्यक रूप से ''y·x'' के बराबर नहीं है; [[मैट्रिक्स गुणन|आव्यूह गुणन]] एक ऐसी संक्रिया का प्रसिद्ध उदाहरण है, जो साहचर्य तो है परन्तु क्रम-विनिमेय नहीं है। यदि अर्द्धसमूह संक्रिया ''क्रम-विनिमेय'' है, तो अर्द्धसमूह को क्रम-विनिमेय अर्द्धसमूह कहा जाता है या (समूहों की समान स्थिति की तुलना में प्रायः कम) इसे ''[[एबेलियन समूह|एबेलियन]] अर्द्धसमूह'' कहा जा सकता है।
-एक मोनोइड एक बीजगणितीय संरचना है जो सेमीग्रुप और समूहों के बीच मध्यवर्ती है, और एक सेमीग्रुप है जिसमें एक पहचान तत्व होता है, इस प्रकार समूह के सभी स्वयंसिद्धों का पालन करता है: व्युत्क्रमों के अस्तित्व के लिए एक मोनोइड की आवश्यकता नहीं होती है। एक प्राकृतिक उदाहरण बाइनरी ऑपरेशन के रूप में संयोजन के साथ तार है, और पहचान तत्व के रूप में खाली [[स्ट्रिंग (कंप्यूटर विज्ञान)|स्ट्रिंग]] है। गैर-खाली स्ट्रिंग्स तक सीमित करना एक सेमीग्रुप का उदाहरण देता है जो एक मोनोइड नहीं है। जोड़ के साथ धनात्मक [[पूर्णांक]] एक क्रमविनिमेय अर्धसमूह बनाते हैं जो एक मोनोइड नहीं है, जबकि गैर-ऋणात्मक पूर्णांक एक मोनोइड बनाते हैं। एक पहचान तत्व के बिना एक अर्धसमूह को केवल एक पहचान तत्व जोड़कर आसानी से एक मोनोइड में बदल दिया जा सकता है। नतीजतन, मोनोइड्स का अध्ययन समूह सिद्धांत के बजाय सेमिग्रुप के सिद्धांत में किया जाता है। अर्धसमूहों को अर्धसमूहों के साथ भ्रमित नहीं होना चाहिए, जो एक अलग दिशा में समूहों का एक सामान्यीकरण है; एक अर्धसमूह में संचालन सहयोगी होने की आवश्यकता नहीं है, लेकिन अर्धसमूह समूहों से विभाजन की धारणा को संरक्षित करते हैं। सेमीग्रुप्स (या मोनोइड्स) में विभाजन सामान्य रूप से संभव नहीं है।
+एकाभ, अर्द्धसमूह और समूहों के बीच एक मध्यवर्ती बीजगणितीय संरचना है, और यह एक अर्द्धसमूह भी है जिसमें एक तत्समक तत्व होता है, इस प्रकार समूह के सभी स्वयंसिद्धों का पालन करता है: व्युत्क्रमों के अस्तित्व के लिए एक एकाभ की आवश्यकता नहीं होती है। एक प्राकृतिक उदाहरण द्विआधारी संक्रिया के रूप में संयोजन के साथ स्ट्रिंग हैं, और तत्समक तत्व के रूप में रिक्त [[स्ट्रिंग (कंप्यूटर विज्ञान)|स्ट्रिंग]] है। अरिक्त स्ट्रिंगों तक सीमित करना एक अर्द्धसमूह का उदाहरण प्रदान करता है जो एक एकाभ नहीं है। योग के साथ धनात्मक [[पूर्णांक]] एक क्रमविनिमेय अर्धसमूह बनाते हैं जो एक एकाभ नहीं है, जबकि गैर-ऋणात्मक पूर्णांक एक एकाभ बनाते हैं। तत्समक तत्व के बिना एक अर्धसमूह को केवल एक तत्समक तत्व जोड़कर आसानी से एक एकाभ में परिवर्तित किया जा सकता है। परिणामस्वरूप, एकाभों का अध्ययन समूह सिद्धांत के स्थान पर अर्द्धसमूह सिद्धांत में किया जाता है। अर्धसमूहों को क्वासीसमूहों के साथ भ्रमित नहीं होना चाहिए, जो एक अलग दिशा में समूहों का एक सामान्यीकरण है; एक क्वासीसमूह में संक्रिया के साहचर्य होने की आवश्यकता नहीं होती है, लेकिन क्वासीसमूह समूहों से विभाजन की धारणा को संरक्षित करते हैं। अर्द्धसमूहों (या एकाभों) में विभाजन सामान्य रूप से संभव नहीं है।
-अर्धसमूहों का औपचारिक अध्ययन 20वीं सदी की शुरुआत में शुरू हुआ। प्रारंभिक परिणामों में [[परिवर्तन अर्धसमूह|अर्धसमूहों]] के लिए एक केली प्रमेय शामिल है, जो किसी भी सेमीग्रुप को रूपांतरण सेमीग्रुप के रूप में साकार करता है, जिसमें स्वैच्छिक कार्य समूह सिद्धांत से आक्षेपों की भूमिका को प्रतिस्थापित करते हैं। परिमित अर्धसमूहों के वर्गीकरण में एक गहरा परिणाम क्रोन-रोड्स सिद्धांत है, जो परिमित समूहों के लिए जॉर्डन-होल्डर अपघटन के अनुरूप है। सेमीग्रुप्स के अध्ययन के लिए कुछ अन्य तकनीकें, जैसे ग्रीन के संबंध, समूह सिद्धांत में कुछ भी समान नहीं हैं।
+अर्धसमूहों का औपचारिक अध्ययन 20वीं शताब्दी के प्रारंभ में प्रारंभ हुआ। इसके प्रारंभिक परिणामों में [[परिवर्तन अर्धसमूह|अर्धसमूहों]] के लिए एक कैले प्रमेय सम्मिलित है, जो किसी भी अर्द्धसमूह को रूपांतरण अर्द्धसमूह के रूप में साकार करता है, जिसमें स्वेच्छ फलन समूह सिद्धांत से एकैकी आच्छादन की भूमिका को प्रतिस्थापित करते हैं। क्रोन-रोड्स सिद्धांत, परिमित अर्धसमूहों के वर्गीकरण में एक गहन परिणाम है, जो परिमित समूहों के लिए जॉर्डन-होल्डर वियोजन के अनुरूप है। अर्द्धसमूहों के अध्ययन के लिए ग्रीन के संबंध जैसी कुछ अन्य तकनीकें समूह सिद्धांत में किसी भी वस्तु को समान नहीं करती हैं।
-के दशक के बाद से [[सैद्धांतिक कंप्यूटर विज्ञान]] में परिमित अर्धसमूहों के सिद्धांत का विशेष महत्व रहा है क्योंकि सिंटैक्टिक मोनोइड के माध्यम से परिमित अर्धसमूहों और परिमित ऑटोमेटा के बीच प्राकृतिक संबंध है। संभाव्यता सिद्धांत में, सेमीग्रुप [[मार्कोव प्रक्रिया|मार्कोव प्रक्रियाओं]] से जुड़े हैं।<ref>{{Harvtxt|Feller|1971}}</ref> अनुप्रयुक्त गणित के अन्य क्षेत्रों में, अर्धसमूह रेखीय समय-अपरिवर्तनीय प्रणालियों के लिए मौलिक मॉडल हैं। [[आंशिक अंतर समीकरण|आंशिक अवकल समीकरणों]] में, एक अर्धसमूह किसी भी समीकरण से जुड़ा होता है जिसका स्थानिक विकास समय से स्वतंत्र होता है।
+के दशक के बाद से [[सैद्धांतिक कंप्यूटर विज्ञान]] में परिमित अर्धसमूहों के सिद्धांत का विशेष महत्व रहा है क्योंकि परिमित अर्धसमूहों और परिमित ऑटोमेटा के बीच सिंटैक्टिक एकाभ के माध्यम से प्राकृतिक संबंध है। प्रायिकता सिद्धांत में, अर्द्धसमूह [[मार्कोव प्रक्रिया|मार्कोव प्रक्रियाओं]] से जुड़े हैं।<ref>{{Harvtxt|Feller|1971}}</ref> अनुप्रयुक्त गणित के अन्य क्षेत्रों में, अर्धसमूह रैखिक समय-अपरिवर्तनीय प्रणालियों के लिए मौलिक मॉडल हैं। [[आंशिक अंतर समीकरण|आंशिक अवकल समीकरणों]] में, एक अर्धसमूह ऐसी किसी भी समीकरण से जुड़ा होता है जिसका स्थानिक मूलकलन समय से स्वतंत्र होता है।
-सेमीग्रुप के कई विशेष वर्ग हैं, अतिरिक्त गुणों वाले सेमीग्रुप, जो विशेष अनुप्रयोगों में दिखाई देते हैं। इनमें से कुछ वर्ग समूह के कुछ अतिरिक्त लेकिन सभी गुणों को प्रदर्शित करके समूहों के और भी करीब हैं। इनमें से हम उल्लेख करते हैं: नियमित सेमिग्रुप्स, रूढ़िवादी सेमीग्रुप्स, सेमीग्रुप्स विथ इनवोल्यूशन, [[उलटा अर्धसमूह|प्रतिलोम अर्धसमूह]] और [[रद्द करने वाला अर्धसमूह|रद्दीकरण अर्धसमूह]]। सेमीग्रुप्स के दिलचस्प वर्ग भी हैं जिनमें [[तुच्छ समूह]] को छोड़कर कोई समूह नहीं है; बाद के प्रकार के उदाहरण हैं [[बैंड (गणित)|बैंड]] और उनके क्रमविनिमेय उपवर्ग-सेमिलैटिस, जिन्हें बीजगणितीय संरचनाओं का भी आदेश दिया जाता है।
+अर्द्धसमूहों के कई विशेष वर्ग हैं, अतिरिक्त गुणों वाले अर्द्धसमूह, जो विशेष अनुप्रयोगों में दिखाई देते हैं। इनमें से कुछ वर्ग समूह के कुछ अतिरिक्त लेकिन सभी गुणों को प्रदर्शित न करके समूहों के और भी समीप हैं। इनमें से हम, नियमित अर्द्धसमूहों, ऑर्थोडॉक्स अर्द्धसमूहों, प्रत्यावर्तनयुक्त अर्द्धसमूहों, [[उलटा अर्धसमूह|प्रतिलोम अर्धसमूहों]] और [[रद्द करने वाला अर्धसमूह|रद्दीकरण अर्धसमूहों]] का उल्लेख करते हैं। अर्द्धसमूहों के कुछ रोचक वर्ग भी हैं जिनमें [[तुच्छ समूह]] को छोड़कर कोई समूह नहीं होता है; [[बैंड (गणित)|बैंड]] और इनके क्रमविनिमेय उपवर्ग-अर्द्धजालक बाद वाले प्रकार के उदाहरण हैं, जो क्रमित बीजगणितीय संरचनाएँ भी हैं।
-{{Algebraic structures |Group}}
+{{Algebraic structures |समूह}}
 == परिभाषा ==
-एक सेमीग्रुप एक सेट है (गणित) <math>S</math> एक साथ एक बाइनरी ऑपरेशन के साथ<math>\cdot</math>(यानी, एक [[समारोह (गणित)]] <math>\cdot:S\times S\rightarrow S</math>) जो साहचर्य संक्रिया को संतुष्ट करता है:
+अर्द्धसमूह एक द्विआधारी संक्रिया "<math>\cdot</math>" (अर्थात्, एक [[समारोह (गणित)|फलन]] <math>\cdot:S\times S\rightarrow S</math>) के साथ एक समुच्चय <math>S</math> है, जो साहचर्य संक्रिया को संतुष्ट करता है:
-:सभी  <math>a,b,c\in S</math> के लिए, समीकरण <math>(a\cdot b)\cdot c = a\cdot(b\cdot c)</math> रखती है।
+:सभी  <math>a,b,c\in S</math> के लिए, समीकरण <math>(a\cdot b)\cdot c = a\cdot(b\cdot c)</math> सत्य है।
-अधिक संक्षिप्त रूप से, एक अर्धसमूह एक साहचर्य मेग्मा है।
+अधिक संक्षिप्त रूप से, अर्धसमूह एक साहचर्य मैग्मा है।
-== सेमीग्रुप्स के उदाहरण ==
+== अर्द्धसमूहों के उदाहरण ==
-* खाली सेमीग्रुप: [[खाली सेट]] बाइनरी ऑपरेशन के रूप में खाली फ़ंक्शन के साथ [[खाली अर्धसमूह]] बनाता है।
+* रिक्त अर्द्धसमूह: [[खाली सेट|रिक्त समुच्चय]] द्विआधारी संक्रिया के रूप में रिक्त फलन के साथ [[खाली अर्धसमूह|रिक्त अर्धसमूह]] बनाता है।
-* एक तत्व के साथ सेमिग्रुप: ऑपरेशन के साथ अनिवार्य रूप से केवल एक (विशेष रूप से, केवल एक [[समाकृतिकता]] [[तक]]), सिंगलटन {ए} है {{nowrap|1=''a'' · ''a'' = ''a''}}.
+* एक तत्वयुक्त अर्द्धसमूह: एकल {a}, संक्रिया {{nowrap|1=''a'' · ''a'' = ''a''}} के साथ अनिवार्य रूप से केवल एक (विशेष रूप से, [[समाकृतिकता|समरूपता]] [[तक]] केवल एक), अर्द्धसमूह है।
-* दो तत्वों के साथ अर्धसमूह: पाँच हैं जो अनिवार्य रूप से भिन्न हैं।
+* दो तत्वयुक्त अर्द्धसमूह: ऐसे पाँच अर्धसमूह हैं जो अनिवार्य रूप से भिन्न हैं।
-* फ्लिप-फ्लॉप मोनोइड: तीन तत्वों वाला एक सेमीग्रुप एक स्विच पर तीन ऑपरेशनों का प्रतिनिधित्व करता है - सेट करें, रीसेट करें और कुछ न करें।
+* "फ्लिप-फ्लॉप" एकाभ: तीन तत्वों वाला एक अर्द्धसमूह एक स्विच पर तीन संक्रियाओं - निर्धारण, पुनर्निर्धारण और कुछ न करना का प्रतिनिधित्व करता है।
-* जोड़ के साथ धनात्मक पूर्णांकों का समुच्चय। (0 सहित, यह एक मोनोइड बन जाता है।)
+* योग के साथ धनात्मक पूर्णांकों का समुच्चय। (0 के सम्मिलित होने पर, यह एक एकाभ बन जाता है।)
-* न्यूनतम या अधिकतम के साथ पूर्णांकों का सेट। (सकारात्मक/नकारात्मक अनंत शामिल होने के साथ, यह एक मोनोइड बन जाता है।)
+* न्यूनतम या अधिकतम के साथ पूर्णांकों का समुच्चय। (धनात्मक/ऋणात्मक अनंतता सम्मिलित होने पर, यह एक एकाभ बन जाता है।)
-* मैट्रिक्स गुणन के साथ दिए गए आकार का स्क्वायर [[गैर-नकारात्मक मैट्रिक्स]]
+* आव्यूह गुणन के साथ दिए गए आकार का वर्ग [[गैर-नकारात्मक मैट्रिक्स|गैर-नकारात्मक आव्यूह]]
-* वलय के गुणन के साथ वलय (बीजगणित) का कोई वलय आदर्श।
+* वलय के गुणन के साथ वलय (बीजगणित) का कोई आदर्श।
-[[मुक्त अर्धसमूह]] ऑपरेशन के रूप में स्ट्रिंग्स के संयोजन के साथ एक निश्चित वर्णमाला Σ पर सभी परिमित स्ट्रिंग (कंप्यूटर विज्ञान) का सेट - Σ पर तथाकथित मुक्त सेमीग्रुप। खाली स्ट्रिंग शामिल होने के साथ, यह सेमीग्रुप Σ पर [[मुक्त मोनोइड]] बन जाता है।
+*संक्रिया के रूप में स्ट्रिंग्स के संयोजन के साथ एक निश्चित वर्णमाला Σ पर सभी परिमित स्ट्रिंग (कंप्यूटर विज्ञान) का सेट - Σ पर तथाकथित मुक्त अर्द्धसमूह। खाली स्ट्रिंग शामिल होने के साथ, यह अर्द्धसमूह Σ पर [[मुक्त मोनोइड|मुक्त एकाभ]] बन जाता है।
-* ऑपरेशन के रूप में कनवल्शन के साथ F की सभी कनवल्शन शक्तियों के साथ एक संभाव्यता वितरण F। इसे कनवल्शन सेमीग्रुप कहा जाता है।
+*अर्द्धसमूह संक्रिया के रूप में स्ट्रिंगों के संयोजन के साथ एक निश्चित वर्णमाला Σ पर सभी परिमित स्ट्रिंगों का समुच्चय - तथाकथित "Σ पर [[मुक्त अर्धसमूह|मुक्त अर्द्धसमूह]]"। रिक्त स्ट्रिंग सम्मिलित होने पर यह अर्द्धसमूह Σ पर मुक्त एकाभ बन जाता है।
-* परिवर्तन अर्धसमूह और [[परिवर्तन मोनोइड]]।
-* कार्यों की संरचना के साथ एक [[टोपोलॉजिकल स्पेस]] से [[निरंतर कार्य]]ों का सेट पहचान के रूप में कार्य करने वाले [[पहचान समारोह]] के साथ एक मोनोइड बनाता है। अधिक आम तौर पर, किसी [[श्रेणी (गणित)]] की किसी भी वस्तु का [[एंडोमोर्फिज्म]] रचना के तहत एक मोनोइड बनाता है।
-* [[हाइपरप्लेन की व्यवस्था]] के चेहरों का उत्पाद।
-== बुनियादी अवधारणाएँ ==
+* संक्रिया के रूप में संवलन के साथ ''F'' की सभी संवलन घातों के साथ एक प्रायिकता वितरण ''F''। इसे संवलन अर्द्धसमूह कहा जाता है।
+* रूपान्तरण अर्धसमूह और [[परिवर्तन मोनोइड|एकाभ]]।
+*फलनों के संयोजन के साथ एक [[टोपोलॉजिकल स्पेस|सांस्थितीय अंतरिक्ष]] से [[निरंतर कार्य|सतत फलन]] का समुच्चय तत्सम के रूप में कार्य करने वाले [[पहचान समारोह|तत्समक फलन]] के साथ एक एकाभ बनाता है। अधिक सामान्यतः, किसी [[श्रेणी (गणित)|वर्ग]] के किसी वस्तु के [[एंडोमोर्फिज्म|अन्तःरूपण]] संयोजन के तहत एक एकाभ बनाते हैं।
+* [[हाइपरप्लेन की व्यवस्था|अतिसमतलों की व्यवस्था]] के फलकों का गुणनफल।
-=== पहचान और शून्य ===
+== आधारभूत अवधारणाएँ ==
-सेमीग्रुप <math>S</math> (या अधिक सामान्यतः, मैग्मा) की बाईं पहचान एक तत्व <math>e</math> है, जो सभी <math>x</math> में <math>S</math>, <math>ex = x</math>. इसी तरह, एक [[सही पहचान]] एक तत्व <math>f</math> है, जो सभी <math>x</math> in <math>xf = x</math> के लिए है। बाएँ और दाएँ की पहचान दोनों को एक तरफा पहचान कहा जाता है। एक अर्धसमूह में एक या अधिक बायीं पहचान हो सकती है लेकिन कोई सही पहचान नहीं है, और इसके विपरीत।
-एक दो तरफा पहचान (या सिर्फ पहचान) एक ऐसा तत्व है जो बाएं और दाएं दोनों पहचान है। दो तरफा पहचान वाले सेमिग्रुप्स को मोनोइड्स कहा जाता है। एक अर्धसमूह में अधिकतम एक दो तरफा पहचान हो सकती है। यदि एक अर्धसमूह की दो तरफा पहचान है, तो दो तरफा पहचान अर्धसमूह में केवल एक तरफा पहचान है। यदि एक अर्धसमूह के पास बायीं पहचान और सही पहचान दोनों हैं, तो इसकी दो तरफा पहचान है (जो कि अद्वितीय एक तरफा पहचान है)।
+=== तत्समक और शून्य ===
+अर्द्धसमूह <math>S</math> (या अधिक सामान्यतः, मैग्मा) का वाम तत्समक, एक तत्व <math>e</math> इस प्रकार है, कि <math>S</math> में सभी <math>x</math> के लिए , <math>ex = x</math>। इसी प्रकार, [[सही पहचान|दक्षिण तत्समक]], एक तत्व <math>f</math> इस प्रकार है, कि <math>S</math> में सभी <math>x</math> के लिए, <math>xf = x</math> । वाम और दक्षिण तत्समकों दोनों को '''एक-पक्षीय तत्समक''' कहा जाता है। एक अर्धसमूह में एक या अधिक वाम तत्समक हो सकते हैं, लेकिन कोई दक्षिण तत्समक नहीं हो सकता हैं, और इसके विपरीत भी।
-बिना पहचान के एक सेमीग्रुप <math>S</math> को <math>e \notin S</math> और परिभाषित <math>e \cdot s = s \cdot e = s</math> सबके लिए <math>s \in S \cup \{e\}</math><ref>{{Harvtxt|Jacobson|2009|p=30, ex. 5}}</ref><ref name="lawson98">{{Harvtxt|Lawson|1998|loc=[{{Google books|plainurl=y|id=_F78nQEACAAJ|page=20|text=adjoining an identity}} p. 20]}}</ref> संकेतन <math>S^1</math> से प्राप्त एक मोनॉइड को [[एम्बेडिंग]] दर्शाता है, यदि आवश्यक हो तो एक पहचान से जुड़ा हुआ है (<math>S^1 = S</math> एक मोनोइड के लिए)।<ref name="lawson98"/>
+'''द्वि-पक्षीय तत्समक''' (या केवल '''तत्समक''') एक ऐसा तत्व है, जो वाम और दक्षिण दोनों तत्समक है। द्वि-पक्षीय तत्समक वाले अर्द्धसमूहों को एकाभ कहा जाता है। एक अर्धसमूह में अधिकतम एक द्वि-पक्षीय तत्समक हो सकता है। यदि एक अर्धसमूह में द्वि-पक्षीय तत्समक है, तो यह द्वि-पक्षीय तत्समक, उस अर्धसमूह में केवल एक-पक्षीय तत्समक होता है। यदि एक अर्धसमूह में वाम और दक्षिण तत्समक दोनों हैं, तो इसमें द्वि-पक्षीय तत्समक होता है (जो कि इस प्रकार अद्वितीय एक-पक्षीय तत्समक है)।
-इसी तरह, प्रत्येक मेग्मा में अधिक से अधिक एक अव होता है, जिसे अर्धसमूह सिद्धांत में शून्य कहा जाता है। उपरोक्त निर्माण के अनुरूप, प्रत्येक अर्धसमूह के लिए <math>S</math>, कोई परिभाषित कर सकता है , 0 के साथ एक सेमीग्रुप जो एम्बेड करता है .
+एक तत्समक-विहीन अर्द्धसमूह <math>S</math> को <math>S</math> में एक तत्व <math>e \notin S</math> को संलग्न करने और सभी <math>s \in S \cup \{e\}</math> के लिए <math>e \cdot s = s \cdot e = s</math> को परिभाषित करने से निर्मित एक एकाभ में [[एम्बेडिंग|अंतःस्थापित]] किया जा सकता है।<ref>{{Harvtxt|Jacobson|2009|p=30, ex. 5}}</ref><ref name="lawson98">{{Harvtxt|Lawson|1998|loc=[{{Google books|plainurl=y|id=_F78nQEACAAJ|page=20|text=adjoining an identity}} p. 20]}}</ref> संकेतन <math>S^1</math>, आवश्यक होने पर एक तत्समक के संलग्नन द्वारा <math>S</math> से प्राप्त एक एकाभ को दर्शाता है, (एक एकाभ के लिए <math>S^1 = S</math>)।<ref name="lawson98"/>
-इसी तरह, प्रत्येक मेग्मा में अधिक से अधिक एक [[शोषक तत्व|अवशोषक तत्व]] होता है, जिसे अर्धसमूह सिद्धांत में शून्य कहा जाता है। उपरोक्त निर्माण के अनुरूप, प्रत्येक सेमीग्रुप {\displaystyle S}S के लिए, <math>S^0</math> को परिभाषित किया जा सकता है, जो 0 के साथ एक सेमीग्रुप है जो <math>S</math> को एम्बेड करता है।
+इसी प्रकार, प्रत्येक मैग्मा में अधिक से अधिक एक [[शोषक तत्व|अवशोषक तत्व]] होता है, जिसे अर्धसमूह सिद्धांत में शून्य कहा जाता है। उपरोक्त रचना के अनुरूप, प्रत्येक अर्द्धसमूह <math>S</math> के लिए, <math>S^0</math> को एक ऐसे अर्द्धसमूह के रूप में परिभाषित किया जा सकता है, जो 0 युक्त एक अर्द्धसमूह है, जो <math>S</math> को अंतःस्थापित करता है।
 === उपसमूह और आदर्श ===
-सेमीग्रुप ऑपरेशन अपने सबसेट के संग्रह पर एक ऑपरेशन को प्रेरित करता है: सेमीग्रुप एस के दिए गए सबसेट ए और बी, उनके उत्पाद {{nowrap|''A'' · ''B''}}, जिसे आमतौर पर AB के रूप में लिखा जाता है, सेट {{nowrap|{ ''ab'' {{!}} ''a'' in ''A'' and ''b'' in ''B'' }.}}। (इस धारणा को समूहों के लिए समान रूप से परिभाषित किया गया है।) इस संक्रिया के संदर्भ में, एक उपसमुच्चय A कहलाता है
+अर्द्धसमूह संक्रिया अपने उपसमुच्चयों के संग्रह पर एक संक्रिया को प्रेरित करती है: अर्द्धसमूह ''S'' के दिए गए उपसमुच्चयों ''A'' और ''B'' के लिए, इनका गुणनफल {{nowrap|''A'' · ''B''}}, जिसे सामान्यतः ''AB'' के रूप में लिखा जाता है, समुच्चय {{nowrap|{ ''ab'' {{!}} ''a'', ''A'' में और ''b'', ''B'' में है <nowiki>}</nowiki>}} है। (इस धारणा को समूहों के लिए समान रूप से परिभाषित किया गया है।) इस संक्रिया के संदर्भ में, एक उपसमुच्चय A,
 * एक ''''उपअर्द्धसमूह'''<nowiki/>' यदि ''AA'', ''A'' का एक उपसमुच्चय है,
-* एक ''''दक्षिण आदर्श'''<nowiki/>' यदि ''AS'', ''A'' का उपसमुच्चय है, और
+* एक ''''दक्षिण आदर्श'''<nowiki/>' यदि ''AS'', ''A'' का एक उपसमुच्चय है, और
-* एक ''''वाम आदर्श'''<nowiki/>' यदि ''SA'', ''A'' का उपसमुच्चय है।
+* एक ''''वाम आदर्श'''<nowiki/>' यदि ''SA'', ''A'' का एक उपसमुच्चय है।
-यदि ''A'' एक बाएं आदर्श और सही आदर्श दोनों है तो इसे एक '''आदर्श''' (या '''द्वि-पक्षीय आदर्श''') कहा जाता है।
+कहलाता है।
-यदि S एक अर्धसमूह है, तो S के उपसमूहों के किसी भी संग्रह का प्रतिच्छेदन भी S का एक उपसमूह है। इसलिए S के उपसमूह एक पूर्ण जाली बनाते हैं।
+यदि ''A'' एक वाम आदर्श और दक्षिण आदर्श दोनों है, तो इसे एक '''आदर्श''' (या '''द्वि-पक्षीय आदर्श''') कहा जाता है।
-बिना न्यूनतम आदर्श वाले सेमीग्रुप का एक उदाहरण योग के तहत सकारात्मक पूर्णांकों का समूह है। [[विनिमेय|क्रमविनिमेय]] सेमीग्रुप का न्यूनतम आदर्श, जब यह मौजूद होता है, एक समूह होता है।
+यदि ''S'' एक अर्द्धसमूह है, तो S के उपसमूहों के किसी भी संग्रह का सर्वनिष्ठ भी S का एक उपसमूह होता है। इसलिए S के उपसमूह एक पूर्ण-जालक बनाते हैं।
-ग्रीन के संबंध, पांच समतुल्य संबंधों का एक सेट जो तत्वों को उनके द्वारा उत्पन्न किए गए [[प्रमुख आदर्श|प्रमुख आदर्शों]] के संदर्भ में चिह्नित करते हैं, एक अर्धसमूह के आदर्शों और संरचना के संबंधित विचारों का विश्लेषण करने के लिए महत्वपूर्ण उपकरण हैं।
+बिना न्यूनतम आदर्श वाले अर्द्धसमूह का एक उदाहरण योग के तहत धनात्मक पूर्णांकों का समूह है। [[विनिमेय|क्रमविनिमेय]] अर्द्धसमूह का न्यूनतम आदर्श एक समूह होता है, जब यह अस्तित्व में होता है।
-संपत्ति के साथ उपसमुच्चय जो प्रत्येक तत्व सेमीग्रुप के किसी अन्य तत्व के साथ संचार करता है, सेमीग्रुप का [[केंद्र (बीजगणित)|केंद्र]] कहलाता है।<ref name="KilpKilʹp2000">{{Cite book|first=Mati |last=Kilp |first2=U. |last2=Knauer |first3=Aleksandr V. |last3=Mikhalev |title=मोनोइड्स, अधिनियम और श्रेणियां: पुष्पांजलि उत्पादों और ग्राफ के अनुप्रयोगों के साथ: छात्रों और शोधकर्ताओं के लिए एक पुस्तिका|url=https://books.google.com/books?id=4gPhmmW-EGcC&pg=PA25 |year=2000 |publisher=Walter de Gruyter |isbn=978-3-11-015248-7 |page=25 |zbl=0945.20036}}</ref> एक अर्धसमूह का केंद्र वास्तव में एक उपसमूह है।<ref name="Li͡apin1968">{{Cite book|first=E. S. |last=Li͡apin|title=सेमिग्रुप्स|url=https://books.google.com/books?id=G8pWKPp4tKwC&pg=PA96|year=1968|publisher=American Mathematical Soc.|isbn=978-0-8218-8641-0|page=96}}</रेफरी>
+ग्रीन के संबंध, पाँच तुल्यता संबंधों का एक समुच्चय, जो तत्वों को उनके द्वारा उत्पन्न किए गए [[प्रमुख आदर्श|प्रमुख आदर्शों]] के संदर्भ में चिह्नित करता है, एक अर्धसमूह के आदर्शों और संरचना के संबंधित विचारों का विश्लेषण करने के लिए महत्वपूर्ण उपकरण हैं।
+प्रत्येक तत्व अर्द्धसमूह के किसी अन्य तत्व के साथ क्रम-विनिमेय करता है, इस गुण वाला उपसमुच्चय अर्द्धसमूह का [[केंद्र (बीजगणित)|'''केंद्र''']] कहलाता है। <ref name="KilpKilʹp2000">{{Cite book|first=Mati |last=Kilp |first2=U. |last2=Knauer |first3=Aleksandr V. |last3=Mikhalev |title=मोनोइड्स, अधिनियम और श्रेणियां: पुष्पांजलि उत्पादों और ग्राफ के अनुप्रयोगों के साथ: छात्रों और शोधकर्ताओं के लिए एक पुस्तिका|url=https://books.google.com/books?id=4gPhmmW-EGcC&pg=PA25 |year=2000 |publisher=Walter de Gruyter |isbn=978-3-11-015248-7 |page=25 |zbl=0945.20036}}</ref> एक अर्द्धसमूह का केंद्र वास्तव में एक उपअर्द्धसमूह होता है।<ref name="Li͡apin1968">{{Cite book|first=E. S. |last=Li͡apin|title=सेमिग्रुप्स|url=https://books.google.com/books?id=G8pWKPp4tKwC&pg=PA96|year=1968|publisher=American Mathematical Soc.|isbn=978-0-8218-8641-0|page=96}}</रेफरी>
 ===[[समरूपता]] और सर्वांगसमताएं===
@@ Line 91: / Line 93: @@
 === समरूपता और सर्वांगसमता ===
-एक '''सेमीग्रुप होमोमोर्फिज्म''' एक ऐसा कार्य है जो सेमीग्रुप संरचना को संरक्षित करता है। एक फलन ''f: S → T'' दो अर्धसमूहों के बीच एक समरूपता है यदि समीकरण
+एक '''अर्द्धसमूह समरूपता''' एक ऐसा फलन है, जो अर्द्धसमूह संरचना को संरक्षित करता है। एक फलन ''f: S → T,'' दो अर्धसमूहों के बीच एक समरूपता है यदि समीकरण
 ''f''(''ab'') = ''f''(''a'')''f''(''b'')
-''S'' में सभी तत्वों ''a'', ''b'' के लिए होल्ड करता है, यानी परिणाम वही होता है जब नक्शा एफ लागू करने के बाद या उससे पहले सेमीग्रुप ऑपरेशन करते हैं।
+''S'' में सभी तत्वों ''a'', ''b'' के लिए सत्य है, अर्थात् परिणाम वही होता है, जब अर्द्धसमूह संक्रिया को प्रतिचित्रण ''f'' प्रयुक्त करने के बाद या इससे पहले क्रियान्वित करते हैं।
-मोनॉइड्स के बीच एक सेमीग्रुप होमोमोर्फिज्म पहचान को बरकरार रखता है यदि यह एक मोनॉइड होमोमोर्फिज्म है। लेकिन ऐसे सेमीग्रुप होमोमोर्फिज्म हैं जो मोनोइड होमोमोर्फिज्म नहीं हैं, उदा। <math>S^1</math> में पहचान के बिना सेमीग्रुप <math>S</math> की कैननिकल एम्बेडिंग। मोनोइड समरूपता की विशेषता वाली स्थितियों पर आगे चर्चा की गई है। चलो  एक सेमीग्रुप होमोमोर्फिज्म हो। <math>f</math> की इमेज भी एक सेमीग्रुप है। अगर <math>S_0</math> पहचान तत्व <math>e_0</math> वाला एक मोनोइड है, तो <math>f(e_0)</math> है <math>f</math> की छवि में पहचान तत्व। अगर <math>S^1</math> एक पहचान तत्व के साथ एक मोनोइड भी है <math>e_1</math> और <math>e_1</math> छवि से संबंधित है <math>f</math>, फिर <math>f(e_0)=e_1</math>, यानी <math>f</math> एक मोनोइड समरूपता है। विशेष रूप से, यदि <math>f</math> आच्छादक है, तो यह एक मोनोइड समरूपता है।
+एकाभों के बीच एक अर्द्धसमूह समरूपता तत्समक को संरक्षित रखती है यदि यह एक एकाभ समरूपता है। लेकिन ऐसी अर्द्धसमूह समरूपताएँ भी हैं, जो एकाभ समरूपता नहीं हैं, उदाहरण, <math>S^1</math> में तत्समक के बिना अर्द्धसमूह <math>S</math> का विहित अंतःस्थापन। एकाभ समरूपता की विशेषता वाली स्थितियों पर आगे चर्चा की गई है। माना <math>f:S_0\to S_1</math> एक अर्द्धसमूह समरूपता है। <math>f</math> का प्रतिबिम्ब भी एक अर्द्धसमूह है। यदि <math>S_0</math> तत्समक तत्व <math>e_0</math> वाला एक एकाभ है, तो <math>f(e_0)</math>, <math>f</math> के प्रतिबिम्ब में तत्समक तत्व है। यदि <math>S^1</math>भी, एक तत्समक तत्व <math>e_1</math> वाला एक एकाभ है और <math>e_1</math>, <math>f</math> के प्रतिबिम्ब से संबंधित है, तब <math>f(e_0)=e_1</math>, अर्थात् <math>f</math> एक एकाभ समरूपता है। विशेष रूप से, यदि <math>f</math> आच्छादक है, तो यह एक एकाभ समरूपता है।
-दो अर्धसमूहों S और T को '''तुल्याकारी''' कहा जाता है यदि वहाँ एक विशेषण अर्धसमूह समाकारिता ''f : S'' → ''T'' मौजूद हो। तुल्याकारी अर्धसमूहों की संरचना समान होती है।
+दो अर्धसमूहों ''S'' और ''T'' को '''तुल्याकारी''' कहा जाता है, यदि एक एकैकी-आच्छादक अर्धसमूह समरूपता ''f: S'' → ''T'' का अस्तित्व है। तुल्याकारी अर्धसमूहों की संरचना समान होती है।
-एक सेमीग्रुप सर्वांगसमता <math>\sim</math> एक समतुल्य संबंध है जो सेमीग्रुप ऑपरेशन के साथ संगत है। अर्थात्, एक उपसमुच्चय <math>\sim\;\subseteq S\times S</math> जो एक तुल्यता संबंध है और <math>x\sim y\,</math> , और <math>u\sim v\,</math>, <math>xu\sim yv\,</math>, हर <math>x,y,u,v</math> in S. किसी भी तुल्यता संबंध की तरह, एक अर्धसमूह सर्वांगसमता <math>\sim</math> सर्वांगसमता वर्ग को प्रेरित करता है
+एक '''अर्द्धसमूह सर्वांगसमता''' <math>\sim</math> एक समतुल्य संबंध है, जो अर्द्धसमूह संक्रिया के साथ संगत है। अर्थात्, एक उपसमुच्चय <math>\sim\;\subseteq S\times S</math>, जो एक तुल्यता संबंध है और <math>x\sim y\,</math> और <math>u\sim v\,</math>, S में प्रत्येक <math>x,y,u,v</math> के लिए <math>xu\sim yv\,</math> को इंगित करते हैं। किसी भी तुल्यता संबंध के समान, एक अर्धसमूह सर्वांगसमता <math>\sim</math>, सर्वांगसमता वर्ग को प्रेरित करती है।
 <math>[a]_\sim = \{x \in S \mid x \sim a\}</math>
-और सेमीग्रुप ऑपरेशन सर्वांगसमता कक्षाओं पर एक बाइनरी ऑपरेशन <math>\circ</math> को प्रेरित करता है:
+और अर्द्धसमूह संक्रिया, सर्वांगसमता वर्गों पर एक द्विआधारी संक्रिया <math>\circ</math> को प्रेरित करती है:
 <math>[u]_\sim\circ [v]_\sim = [uv]_\sim</math>
-चूँकि <math>\sim</math> एक सर्वांगसमता है, <math>\sim</math> के सभी सर्वांगसम वर्गों का समुच्चय <math>\circ</math> के साथ एक अर्धसमूह बनाता है, जिसे भागफल सेमीग्रुप या फ़ैक्टर सेमीग्रुप कहा जाता है, और निरूपित <math>S/\!\!\sim</math>। मैपिंग <math>x \mapsto [x]_\sim</math> एक सेमीग्रुप होमोमोर्फिज़्म है, जिसे भागफल मानचित्र, विहित अनुमान या प्रक्षेपण कहा जाता है; यदि S एक मोनॉइड है तो भागफल सेमीग्रुप पहचान वाला एक मोनोइड है <math>[1]_\sim</math> इसके विपरीत, किसी भी अर्धसमूह समाकारिता की गिरी एक अर्धसमूह सर्वांगसमता है। ये परिणाम सार्वभौमिक बीजगणित में पहले समरूपता प्रमेय की विशिष्टता से ज्यादा कुछ नहीं हैं। स्ट्रिंग रीराइटिंग सिस्टम में सर्वांगसमता वर्ग और कारक मोनोइड्स अध्ययन की वस्तुएं हैं।
+चूँकि <math>\sim</math> एक सर्वांगसमता है, <math>\sim</math> के सभी सर्वांगसम वर्गों का समुच्चय <math>\circ</math> के साथ एक अर्धसमूह बनाता है, जिसे '''भागफल अर्द्धसमूह''' या '''गुणनखंड अर्द्धसमूह''' कहा जाता है, और <math>S/\!\!\sim</math> को निरूपित करता है। प्रतिचित्रण <math>x \mapsto [x]_\sim</math> एक अर्द्धसमूह समरूपता है, जिसे '''भागफल प्रतिचित्र''', '''विहित आच्छादन''' या '''प्रक्षेपण''' कहा जाता है; यदि ''S'' एक एकाभ है तो भागफल अर्द्धसमूह <math>[1]_\sim</math> तत्समक वाला एक एकाभ है  इसके विपरीत, किसी भी अर्धसमूह समरूपता की अष्ठि एक अर्धसमूह सर्वांगसमता है। ये परिणाम सार्वभौमिक बीजगणित में पहली समरूपता प्रमेय की विशिष्टता से अधिक कुछ नहीं हैं। सर्वांगसमता वर्ग और गुणनखंड एकाभ स्ट्रिंग पुनर्लेखन प्रणाली में अध्ययन की वस्तुएँ हैं।
-''S'' पर एक नाभिकीय सर्वांगसमता वह है जो ''S'' के एंडोमोर्फिज्म का मूल है।
+''S'' पर '''नाभिकीय सर्वांगसमता''' वह सर्वांगसमता है, जो ''S'' की अन्तःरूपता की अष्ठि है।
-एक सेमीग्रुप एस 'सर्वांगसमता पर अधिकतम स्थिति' को संतुष्ट करता है, यदि समावेशन द्वारा आदेशित एस पर सर्वांगसमता के किसी भी परिवार में एक अधिकतम तत्व है। ज़ोर्न के लेम्मा द्वारा, यह कहने के बराबर है कि [[आरोही श्रृंखला की स्थिति]] धारण करती है: S पर सर्वांगसमता की कोई अनंत आरोही श्रृंखला नहीं है।<ref name="LotII465">{{Harvtxt|Lothaire|2011|p=465}}</ref>
+एक अर्द्धसमूह ''S'' ''''सर्वांगसमता पर अधिकतम स्थिति'''<nowiki/>' को संतुष्ट करता है, यदि समावेशन द्वारा क्रमित ''S'' पर सर्वांगसमता के किसी भी परिवार में एक अधिकतम तत्व है। ज़ोर्न की प्रमेयिका द्वारा, यह कहना समतुल्य है कि [[आरोही श्रृंखला की स्थिति]] सत्य है: S पर सर्वांगसमता की कोई अनंत आरोही श्रृंखला नहीं है।<ref name="LotII465">{{Harvtxt|Lothaire|2011|p=465}}</ref>
-सेमीग्रुप का हर आदर्श I एक कारक सेमीग्रुप, [[रीस फैक्टर सेमीग्रुप]] को प्रेरित करता है, जो सर्वांगसमता ρ द्वारा परिभाषित होता है {{nowrap|''x'' ρ ''y''}} या तो {{nowrap|1=''x'' = ''y''}}, या x और y दोनों I में हैं।
+अर्द्धसमूह का प्रत्येक आदर्श ''I,'' एक गुणनखंड अर्द्धसमूह, [[रीस फैक्टर सेमीग्रुप|रीस गुणनखंड अर्द्धसमूह]] को सर्वांगसमता ρ द्वारा प्रेरित करता है, जो {{nowrap|''x'' ρ ''y''}} द्वारा परिभाषित है, यदि {{nowrap|1=''x'' = ''y''}}, या x और y दोनों ''I'' में हैं।
-=== भागफल और भाग ===
+=== भागफल और विभाजन ===
 निम्नलिखित धारणाएँ<ref>{{cite book|last1=Pin|first1=Jean-Éric|title=ऑटोमेटा थ्योरी की गणितीय नींव|date=November 30, 2016|page=19|url=http://www.liafa.jussieu.fr/~jep/PDF/MPRI/MPRI.pdf}}</ref> इस विचार का परिचय देती हैं कि एक अर्धसमूह दूसरे में समाहित है।
-एक सेमीग्रुप '''T''' एक सेमीग्रुप '''S''' का भागफल है यदि '''S''' से '''T''' तक विशेषण सेमीग्रुप मोर्फिज़्म है। उदाहरण के लिए, <math>(\mathbb Z/2\mathbb Z,+)</math> <math>(\mathbb Z/4\mathbb Z,+)</math> का भागफल है, एक पूर्णांक के शेष मॉड्यूल '''2''' को लेने वाले आकारिकी का उपयोग करते हुए।
+अर्द्धसमूह '''T''', एक अर्द्धसमूह '''S''' का भागफल है यदि '''S''' से '''T''' में एक आच्छादक अर्द्धसमूह आकारिता है। उदाहरण के लिए, एक पूर्णांक के शेष मॉड्यूल '''2''' को लेने वाले आकारिता का उपयोग करते हुए <math>(\mathbb Z/2\mathbb Z,+)</math>, <math>(\mathbb Z/4\mathbb Z,+)</math> का भागफल है।
-एक सेमीग्रुप '''T''' एक सेमीग्रुप '''S''' को विभाजित करता है, नोट किया गया <math>T\preceq S</math> यदि '''T''' एक सबसेमिग्रुप '''S''' का भागफल है। विशेष रूप से, '''S''' के सबसेमिग्रुप '''T''' को विभाजित करते हैं, जबकि यह जरूरी नहीं है मामला है कि '''S''' के भागफल हैं।
+अर्द्धसमूह '''T''' एक अर्द्धसमूह '''S''' को विभाजित करता है, <math>T\preceq S</math> पर ध्यान दें, यदि '''T''' एक उपअर्द्धसमूह '''S''' का भागफल है। विशेष रूप से, '''S''' के उपअर्द्धसमूह '''T''' को विभाजित करते हैं, जबकि यह स्थिति आवश्यक नहीं है कि इसमें '''S''' के भागफल हैं।
-वे दोनों संबंध संक्रामक हैं।
+ये दोनों संबंध संक्रामक होते हैं।
-== सेमीग्रुप्स की संरचना ==
+== अर्द्धसमूहों की संरचना ==
-S के किसी उपसमुच्चय A के लिए S का सबसे छोटा उपसमूह T है जिसमें A शामिल है, और हम कहते हैं कि A, T उत्पन्न करता है। S का एक एकल तत्व x उपसमूह {x<sup>n</sup> | n ∈ '''''Z'''''<sup>+</sup> }. यदि यह परिमित है, तो x को परिमित क्रम का कहा जाता है, अन्यथा यह अनंत क्रम का है। एक अर्धसमूह को आवधिक कहा जाता है यदि इसके सभी तत्व परिमित क्रम के हों। एकल तत्व द्वारा उत्पन्न एक अर्धसमूह को मोनोजेनिक (या चक्रीय) कहा जाता है। यदि एक [[मोनोजेनिक सेमीग्रुप]] अनंत है तो यह योग के संचालन के साथ सकारात्मक पूर्णांकों के सेमीग्रुप के लिए आइसोमॉर्फिक है। यदि यह परिमित और गैर-खाली है, तो इसमें कम से कम एक बेवकूफ होना चाहिए। यह इस प्रकार है कि प्रत्येक गैर-खाली आवधिक अर्धसमूह में कम से कम एक बेवकूफ है।
+''S'' के किसी उपसमुच्चय ''A'' के लिए ''S'' का सबसे छोटा उपसमूह ''T'' है जिसमें ''A'' सम्मिलित है, और हम कहते हैं कि A, T को '''उत्पन्न''' करता है। ''S'' का एक एकल तत्व x, उपसमूह {x<sup>n</sup> | n ∈ '''''Z'''''<sup>+</sup> } को उत्पन्न करता है। यदि यह परिमित है, तो ''x'' को '''परिमित क्रम''' का कहा जाता है, अन्यथा यह '''अनंत क्रम''' का होता है। एक अर्धसमूह को '''आवर्ती''' कहा जाता है यदि इसके सभी तत्व परिमित क्रम के हों। एकल तत्व द्वारा उत्पन्न एक अर्धसमूह को मोनोजेनिक (या चक्रीय) कहा जाता है। यदि एक [[मोनोजेनिक सेमीग्रुप|मोनोजेनिक अर्द्धसमूह]] अनंत है तो यह योग की संक्रिया के साथ धनात्मक पूर्णांकों के अर्द्धसमूह के लिए समरूप होता है। यदि यह परिमित और अरिक्त है, तो इसमें कम से कम एक को वर्गसम होना चाहिए। यह इस प्रकार है कि प्रत्येक अरिक्त आवर्ती अर्धसमूह में कम से कम एक वर्गसम होता है।
-एक [[उपसमूह]] जो एक समूह भी है, उपसमूह कहलाता है। एक अर्धसमूह के उपसमूहों और उसके आदर्शों के बीच घनिष्ठ संबंध होता है। प्रत्येक उपसमूह में बिल्कुल एक आदर्श होता है, अर्थात् उपसमूह का पहचान तत्व। सेमीग्रुप के प्रत्येक [[idempotent]] e के लिए एक अद्वितीय [[अधिकतम उपसमूह]] होता है जिसमें e होता है। प्रत्येक अधिकतम उपसमूह इस तरह से उत्पन्न होता है, इसलिए आदर्श और अधिकतम उपसमूहों के बीच एक-से-एक पत्राचार होता है। यहाँ अधिकतम उपसमूह शब्द समूह सिद्धांत में इसके मानक उपयोग से भिन्न है।
+एक [[उपसमूह|उपअर्द्धसमूह]], जो एक समूह भी है, '''उपसमूह''' कहलाता है। एक अर्धसमूह के उपसमूहों और इसके आदर्शों के बीच घनिष्ठ संबंध होता है। प्रत्येक उपसमूह में केवल एक आदर्श, अर्थात् उपसमूह का तत्समक तत्व होता है। अर्द्धसमूह के प्रत्येक [[idempotent|वर्गसम]] ''e'' के लिए e को सम्मिलित करने वाला एक अद्वितीय [[अधिकतम उपसमूह]] होता है। प्रत्येक अधिकतम उपसमूह इस प्रकार से उत्पन्न होता है, इसलिए आदर्श और अधिकतम उपसमूहों के बीच एक-से-एक अंतःक्रिया होती है। यहाँ ''अधिकतम उपसमूह'' शब्द समूह सिद्धांत में इसके मानक उपयोग से भिन्न है।
-आदेश परिमित होने पर अक्सर अधिक कहा जा सकता है। उदाहरण के लिए, प्रत्येक गैर-खाली परिमित अर्धसमूह आवधिक होता है, और इसमें न्यूनतम आदर्श और कम से कम एक आदर्श होता है। किसी दिए गए आकार (1 से अधिक) के परिमित अर्धसमूहों की संख्या (स्पष्ट रूप से) समान आकार के समूहों की संख्या से अधिक है। उदाहरण के लिए, दो तत्वों {{nowrap|{a, b},}} आठ फार्म सेमीग्रुप<ref group="note">Namely: the trivial semigroup in which (for all ''x'' and ''y'') {{nowrap|1=''xy'' = a}} and its counterpart in which {{nowrap|1=''xy'' = b}}, the semigroups based on multiplication modulo 2 (choosing a or b as the identity element 1), the groups equivalent to addition modulo 2 (choosing a or b to be the identity element 0), and the semigroups in which the elements are either both left identities or both right identities.</ref> के एक सेट के लिए सोलह संभावित "गुणन सारणी" में, जबकि इनमें से केवल चार मोनोइड हैं और केवल दो फॉर्म समूह हैं। परिमित अर्धसमूहों की संरचना के बारे में अधिक जानने के लिए, क्रोहन-रोड्स सिद्धांत देखें।
+क्रम परिमित होने पर प्रायः और भी कहा जा सकता है। उदाहरण के लिए, प्रत्येक अरिक्त परिमित अर्धसमूह आवर्ती होता है, और इसमें न्यूनतम आदर्श और कम से कम एक वर्गसम होता है। किसी दिए गए आकार (1 से अधिक) के परिमित अर्धसमूहों की संख्या (स्पष्ट रूप से) समान आकार के समूहों की संख्या से अधिक होती है। उदाहरण के लिए, दो तत्वों {{nowrap|{a, b},}} के एक समुच्चय के लिए सोलह संभावित "गुणन सारणियों" में, आठ सेमीग्रुप का निर्माण करते हैं,<ref group="note">Namely: the trivial semigroup in which (for all ''x'' and ''y'') {{nowrap|1=''xy'' = a}} and its counterpart in which {{nowrap|1=''xy'' = b}}, the semigroups based on multiplication modulo 2 (choosing a or b as the identity element 1), the groups equivalent to addition modulo 2 (choosing a or b to be the identity element 0), and the semigroups in which the elements are either both left identities or both right identities.</ref> जबकि इनमें से केवल चार एकाभ होते हैं और केवल दो, समूहों का निर्माण करते हैं। परिमित अर्धसमूहों की संरचना के बारे में अधिक जानने के लिए, क्रोहन-रोड्स सिद्धांत देखें।
-== सेमीग्रुप्स की विशेष कक्षाएं ==
+== अर्द्धसमूहों के विशेष वर्ग ==
-{{Main|Special classes of semigroups}}
+{{Main|अर्द्धसमूहों के विशेष वर्ग}}
-* एक मोनोइड एक पहचान तत्व वाला एक अर्धसमूह है।
+* एकाभ एक तत्समक तत्व वाला एक अर्धसमूह है।
-* एक समूह (गणित) एक मोनोइड है जिसमें प्रत्येक तत्व में एक व्युत्क्रम तत्व होता है।
+* एक समूह (गणित) एक एकाभ है, जिसमें प्रत्येक तत्व का एक व्युत्क्रम तत्व होता है।
-* एक उपसमूह एक अर्धसमूह का एक उपसमुच्चय है जो अर्धसमूह संचालन के तहत बंद है।
+* उपअर्द्धसमूह, अर्द्धसमूह का एक उपसमुच्चय है, जो अर्धसमूह संक्रिया के तहत विवृत है।
-* रद्द करने वाला अर्धसमूह वह होता है जिसके पास [[रद्द करने की संपत्ति]] होती है:<ref>{{Harvtxt|Clifford|Preston|1967|p=3}}</ref> {{nowrap|1=''a'' · ''b'' = ''a'' · ''c''}} तात्पर्य {{nowrap|1=''b'' = ''c''}} और इसी तरह के लिए {{nowrap|1=''b'' · ''a'' = ''c'' · ''a''}}. प्रत्येक समूह एक रद्दीकरण अर्धसमूह है, और प्रत्येक परिमित रद्दीकरण अर्धसमूह एक समूह है।
+* निरस्तीकरण अर्द्धसमूह, वह अर्द्धसमूह होता है जिसमें [[रद्द करने की संपत्ति|निरस्तीकरण गुण]] होता है:<ref>{{Harvtxt|Clifford|Preston|1967|p=3}}</ref> {{nowrap|1=''a'' · ''b'' = ''a'' · ''c''}} का तात्पर्य {{nowrap|1=''b'' = ''c''}} और इसी प्रकार {{nowrap|1=''b'' · ''a'' = ''c'' · ''a''}} के लिए। प्रत्येक समूह एक निरस्तीकरण अर्धसमूह होता है, और प्रत्येक परिमित निरस्तीकरण अर्धसमूह एक समूह होता है।
-* एक [[बैंड (बीजगणित)]] एक अर्धसमूह है जिसका संचालन निष्क्रिय है।
+* [[बैंड (बीजगणित)]] एक ऐसा अर्द्धसमूह है, जिसकी संक्रिया वर्गसम है।
-* एक सेमिलेटिस एक सेमीग्रुप है जिसका ऑपरेशन बेवकूफ और कम्यूटेटिविटी है।
+* अर्द्धजालक एक ऐसा अर्द्धसमूह है, जिसकी संक्रिया वर्गसम और क्रम-विनिमेय है।
-* 0-साधारण अर्धसमूह।
+* 0-सामान्य अर्धसमूह।
-* परिवर्तन सेमीग्रुप: किसी भी परिमित सेमीग्रुप एस को एक (राज्य-) सेट क्यू के परिवर्तनों द्वारा सबसे अधिक प्रतिनिधित्व किया जा सकता है {{nowrap|{{abs|''S''}} + 1}} राज्यों। S का प्रत्येक तत्व x तब Q को अपने आप में मैप करता है {{nowrap|''x'': ''Q'' → ''Q''}} और अनुक्रम xy द्वारा परिभाषित किया गया है {{nowrap|1=''q''(''xy'') = (''qx'')''y''}} क्यू में प्रत्येक क्यू के लिए। अनुक्रम स्पष्ट रूप से एक सहयोगी ऑपरेशन है, यहां फ़ंक्शन संरचना के बराबर है। यह प्रतिनिधित्व किसी भी [[automaton]] या परिमित-राज्य मशीन (FSM) के लिए बुनियादी है।
+*रूपान्तरण अर्द्धसमूह: किसी भी परिमित अर्धसमूह ''S'' को एक (स्थिति-) समुच्चय ''Q'' के अधिकतम {{nowrap|{{abs|''S''}} + 1}} के रूपान्तरणों द्वारा प्रदर्शित किया जा सकता है। ''S'' का प्रत्येक तत्व ''x,'' तब ''Q'' को स्वयं में प्रतिचित्रित करता है, अर्थात् {{nowrap|''x'': ''Q'' → ''Q''}}, और अनुक्रम ''xy'' को ''Q'' में प्रत्येक ''q'' के लिए {{nowrap|1=''q''(''xy'') = (''qx'')''y''}} द्वारा परिभाषित किया गया है। अनुक्रम स्पष्टतः एक साहचर्य संक्रिया है, जो यहाँ फलनों के संयोजन के समतुल्य है। यह निरूपण किसी भी [[automaton|स्वचालन]] या परिमित-अवस्था मशीन (एफएसएम) के लिए मौलिक है।
-* [[बाइसिकल सेमीग्रुप]] वास्तव में एक मोनोइड है, जिसे संबंध के तहत दो जेनरेटर पी और क्यू पर मुक्त सेमीग्रुप के रूप में वर्णित किया जा सकता है {{nowrap|1=''pq'' = 1}}.
+* [[बाइसिकल सेमीग्रुप|द्विचक्रीय अर्द्धसमूह]] वास्तव में एक एकाभ है, जिसे संबंध {{nowrap|1=''pq'' = 1}} के तहत दो उत्पादकों ''p'' और ''q'' पर मुक्त अर्द्धसमूह के रूप में वर्णित किया जा सकता है।
-* सी0-सेमीग्रुप|सी<sub>0</sub>-अर्धसमूह।
+* C<sub>0</sub>-अर्धसमूह।
-* नियमित अर्धसमूह। प्रत्येक अवयव x में कम से कम एक व्युत्क्रम y संतोषजनक होता है {{nowrap|1=''xyx''=''x''}} तथा {{nowrap|1=''yxy''=''y''}}; तत्व x और y को कभी-कभी परस्पर व्युत्क्रम कहा जाता है।
+* नियमित अर्धसमूह: प्रत्येक तत्त्व ''x'' में कम से कम एक व्युत्क्रम ''y'' ऐसा होता है, जो {{nowrap|1=''xyx''=''x''}} तथा {{nowrap|1=''yxy''=''y''}} को संतुष्ट करता है; तत्व ''x'' और ''y'' को कभी-कभी "परस्पर व्युत्क्रम" कहा जाता है।
-* प्रतिलोम अर्धसमूह नियमित अर्धसमूह होते हैं जहां प्रत्येक तत्व का ठीक एक व्युत्क्रम होता है। वैकल्पिक रूप से, एक नियमित सेमिग्रुप उलटा होता है अगर और केवल अगर कोई दो बेवकूफ कम्यूट करते हैं।
+* व्युत्क्रम अर्धसमूह ऐसे नियमित अर्धसमूह होते हैं, जिनमें प्रत्येक तत्व का केवल एक व्युत्क्रम होता है। वैकल्पिक रूप से, एक नियमित अर्द्धसमूह व्युत्क्रम होता है, यदि और केवल यदि कोई दो वर्गसम क्रमविनिमेय होते हैं।
-* एफाइन सेमीग्रुप: एक सेमीग्रुप जो जेड के एक अंतिम रूप से उत्पन्न उपसमूह के लिए आइसोमॉर्फिक है<sup>घ</sup>. इन सेमीग्रुप्स में [[क्रमविनिमेय बीजगणित]] के अनुप्रयोग हैं।
+* एफाइन अर्द्धसमूह: एक ऐसा अर्द्धसमूह, जो ''Z<sup>d</sup>'' के परिमित रूप से उत्पन्न एक उपसमूह के लिए समरूप होता है। इन अर्द्धसमूहों में [[क्रमविनिमेय बीजगणित]] के अनुप्रयोग हैं।
 == क्रमविनिमेय अर्धसमूहों के लिए संरचना प्रमेय==
-सेमीलैटिस के संदर्भ में क्रमविनिमेय अर्धसमूहों के लिए एक संरचना प्रमेय है।<ref>{{Harvtxt|Grillet|2001}}</ref> एक सेमिलैटिस (या अधिक सटीक रूप से एक मीट-सेमिलैटिस) <math> (L, \le) </math> एक [[आंशिक रूप से आदेशित सेट]] है जहां तत्वों की हर जोड़ी <math>a,b \in L</math> की [[सबसे बड़ी निचली सीमा]] है, जिसे <math>a \wedge b</math> के रूप में दर्शाया गया है। ऑपरेशन <math>\wedge</math> बनाता है <math> L</math> एक सेमीग्रुप में अतिरिक्त idempotence नियम को संतुष्ट करता है <math> a \wedge a = a </math>।
+अर्द्धजालकों के सन्दर्भ में क्रमविनिमेय अर्धसमूहों के लिए एक संरचना प्रमेय है।<ref>{{Harvtxt|Grillet|2001}}</ref> एक अर्द्धजालक (या अधिक सटीक रूप से एक मीट-अर्द्धजालक) <math> (L, \le) </math> एक [[आंशिक रूप से आदेशित सेट|आंशिकतः क्रमित समुच्चय]] है, जिसमें तत्वों के प्रत्येक युग्म <math>a,b \in L</math> में [[सबसे बड़ी निचली सीमा|महत्तम निम्न परिबंध]] है, जिसे <math>a \wedge b</math> के रूप में दर्शाया गया है। संक्रिया <math>\wedge</math>, <math> L</math> को एक अर्द्धसमूह में बनाती है, जो योग के वर्गसमता नियम <math> a \wedge a = a </math> को संतुष्ट करता है।
-एक समरूपता <math> f: S \to L </math> एक मनमाना अर्धसमूह से एक अर्धजाल तक दिया गया है, प्रत्येक प्रतिलोम छवि <math> S_a = f^{-1} \{a \} </math> एक (संभवतः खाली) अर्धसमूह है। इसके अलावा, <math> S</math>, <math> L</math> द्वारा ग्रेडेड हो जाता है, इस अर्थ में
+एक स्वेच्छ अर्धसमूह से एक अर्धजालक में दी गयी एक समरूपता <math> f: S \to L </math> के लिए, प्रत्येक व्युत्क्रम प्रतिबिम्ब <math> S_a = f^{-1} \{a \} </math> एक (संभवतः रिक्त) अर्धसमूह है। इसके अतिरिक्त, <math> S</math>, <math> L</math> द्वारा इस अर्थ में '''वर्गीकृत''' हो जाता है, कि
 :<math> S_a S_b \subseteq S_{a \wedge b}. </math>
-यदि <math> f </math> आच्छादक है, तो अर्द्धजाल <math> L</math> तुल्यता संबंध <math> \sim </math> द्वारा <math>S</math> के भागफल के लिए समरूपी है, जैसे कि <math> x \sim y </math> यदि और केवल यदि <math> f(x) = f(y) </math>। जैसा कि ऊपर परिभाषित किया गया है, यह तुल्यता संबंध एक अर्धसमूह सर्वांगसमता है।
+यदि <math> f </math> आच्छादक है, तो अर्द्धजालक <math> L</math> तुल्यता संबंध <math> \sim </math> द्वारा <math>S</math> के भागफल के लिए इस प्रकार समरूप है, कि <math> x \sim y </math> यदि और केवल यदि <math> f(x) = f(y) </math>। जैसा कि ऊपर परिभाषित किया गया है, कि यह तुल्यता संबंध एक अर्धसमूह सर्वांगसमता है।
-जब भी हम किसी क्रमविनिमेय अर्धसमूह के भागफल को सर्वांगसमता से लेते हैं, तो हमें एक अन्य क्रमविनिमेय अर्धसमूह प्राप्त होता है। संरचना प्रमेय कहता है कि किसी भी क्रमविनिमेय अर्धसमूह <math>S</math> के लिए, एक बेहतरीन सर्वांगसमता <math> \sim </math> है जैसे कि इस तुल्यता संबंध द्वारा <math> S</math> का भागफल एक अर्धजालक है। <math> L </math> द्वारा इस अर्धजाल को नकारते हुए, हमें <math>S</math> से <math> L </math> पर एक समरूपता <math> f </math> मिलती है। जैसा कि उल्लेख किया गया है, <math>S</math> इस अर्धजाल द्वारा वर्गीकृत हो जाता है।
+जब भी हम किसी क्रमविनिमेय अर्धसमूह के भागफल को सर्वांगसमता से लेते हैं, तो हमें एक अन्य क्रमविनिमेय अर्धसमूह प्राप्त होता है। संरचना प्रमेय कहती है कि किसी भी क्रमविनिमेय अर्धसमूह <math>S</math> के लिए, एक उत्तम सर्वांगसमता <math> \sim </math> इस प्रकार है, कि इस तुल्यता संबंध द्वारा <math> S</math> का भागफल एक अर्धजालक है। इस अर्धजालक को <math> L </math> द्वारा प्रदर्शित करने पर, हमें <math>S</math> से <math> L </math> पर एक समरूपता <math> f </math> प्राप्त होती है। जैसा कि उल्लेख किया गया है, <math>S</math> इस अर्धजालक द्वारा वर्गीकृत हो जाता है।
-इसके अलावा, घटक <math> S_a </math> सभी आर्किमिडीज़ सेमीग्रुप हैं। एक आर्किमिडीयन सेमीग्रुप वह है जहां <math> x, y </math> तत्वों की कोई भी जोड़ी दी गई है, वहां एक तत्व <math> z</math> और <math> n > 0 </math> मौजूद है जैसे कि <math> x^n = y z </math>।
+इसके अतिरिक्त, घटक <math> S_a </math> सभी आर्किमिडीय अर्द्धसमूह हैं। एक आर्किमिडीय अर्द्धसमूह वह अर्द्धसमूह है, जिसमें दिए गए तत्वों के किसी युग्म <math> x, y </math> के लिए, एक तत्व <math> z</math> और <math> n > 0 </math> का अस्तित्व इस प्रकार है, कि <math> x^n = y z </math>।
-आर्किमिडीयन संपत्ति अर्ध-जाल <math> L</math> में आदेश देने के तुरंत बाद आती है, क्योंकि इस आदेश के साथ हमारे पास <math> f(x) \le f(y) </math> अगर और केवल अगर <math> x^n = y z </math> कुछ <math> z</math> और <math> n > 0 </math> के लिए।
+आर्किमिडीय गुण, अर्धजालक <math> L</math> में क्रमण से तत्काल पालन करता है, क्योंकि इस क्रमण के साथ, हमारे पास <math> f(x) \le f(y) </math> है, यदि और केवल यदि <math> x^n = y z </math>, कुछ <math> z</math> और <math> n > 0 </math> के लिए।
-== अंशों का समूह ==
+== भिन्नों का समूह ==
-अंशों का समूह या सेमीग्रुप एस का समूह समापन समूह {{nowrap|1=''G'' = ''G''(''S'')}} है जो एस के तत्वों द्वारा जेनरेटर के रूप में उत्पन्न होता है और सभी समीकरण {{nowrap|1=''xy'' = ''z''}} जो [[एक समूह की प्रस्तुति]] के रूप में S में सही होते हैं।<ref>{{Cite book|first=B. |last=Farb |title=वर्ग समूहों और संबंधित विषयों की मैपिंग में समस्याएँ|publisher=Amer. Math. Soc. |year=2006 |isbn=978-0-8218-3838-9 |page=357 }}</ref> एक स्पष्ट अर्धसमूह समरूपता {{nowrap|''j'' : ''S'' &rarr; ''G''(''S'')}} है जो S के प्रत्येक तत्व को संबंधित जनरेटर को भेजता है। इसमें S से एक समूह के आकारिकी के लिए एक [[सार्वभौमिक संपत्ति]] है:<ref>{{Cite book|first=M. |last=Auslander |first2=D. A. |last2=Buchsbaum |title=समूह, अंगूठियां, मॉड्यूल|publisher=Harper & Row |year=1974 |isbn=978-0-06-040387-4 |page=50 }}</ref> किसी भी समूह H और किसी भी अर्धसमूह समरूपता {{nowrap|''k'' : ''S'' &rarr; ''H''}} को देखते हुए, एक अद्वितीय [[समूह समरूपता]] {{nowrap|''f'' : ''G'' &rarr; ''H''}} के साथ मौजूद है। हम G को "सबसे सामान्य" समूह के रूप में सोच सकते हैं जिसमें S की समरूप छवि होती है।
+समूह {{nowrap|1=''G'' = ''G''(''S'')}}, अर्द्धसमूह ''S'' के '''भिन्नों का समूह''' या '''समूह समापन''' है जो ''S'' के तत्वों द्वारा उत्पादक के रूप में और सभी समीकरणों {{nowrap|1=''xy'' = ''z''}} द्वारा उत्पन्न होता है, जो S में [[एक समूह की प्रस्तुति|सम्बन्ध]] के रूप में सत्य होते हैं।<ref>{{Cite book|first=B. |last=Farb |title=वर्ग समूहों और संबंधित विषयों की मैपिंग में समस्याएँ|publisher=Amer. Math. Soc. |year=2006 |isbn=978-0-8218-3838-9 |page=357 }}</ref> {{nowrap|''j'' : ''S'' &rarr; ''G''(''S'')}}, एक स्पष्ट अर्धसमूह समरूपता है जो ''S'' के प्रत्येक तत्व को संबंधित उत्पादक को भेजता है। इसमें ''S'' से एक समूह की आकारिता के लिए एक [[सार्वभौमिक संपत्ति|सार्वभौमिक]] गुण होता है:<ref>{{Cite book|first=M. |last=Auslander |first2=D. A. |last2=Buchsbaum |title=समूह, अंगूठियां, मॉड्यूल|publisher=Harper & Row |year=1974 |isbn=978-0-06-040387-4 |page=50 }}</ref> दिए गए किसी समूह ''H'' और अर्धसमूह समरूपता {{nowrap|''k'' : ''S'' &rarr; ''H''}} के लिए, ''k''=''fj'' के साथ एक अद्वितीय [[समूह समरूपता]] {{nowrap|''f'' : ''G'' &rarr; ''H''}}  उपस्थित होती है। हम ''G'' को "सबसे सामान्य" समूह के रूप में सोच सकते हैं जिसमें ''S'' का समरूप प्रतिबिम्ब होता है।
-एक महत्वपूर्ण प्रश्न उन अर्धसमूहों को चिह्नित करना है जिनके लिए यह नक्शा एक एम्बेडिंग है। यह हमेशा मामला नहीं होना चाहिए: उदाहरण के लिए, एस को बाइनरी ऑपरेशन के रूप में सेट-सैद्धांतिक चौराहे के साथ कुछ सेट एक्स के सबसेट के सेमीग्रुप के रूप में लें (यह एक सेमिलेटिस का एक उदाहरण है)। चूंकि {{nowrap|1=''A''.''A'' = ''A''}} एस के सभी तत्वों के लिए है, यह ''G''(''S'') के सभी जनरेटर के लिए भी सही होना चाहिए: जो कि तुच्छ समूह है। एम्बेड करने की क्षमता के लिए यह स्पष्ट रूप से आवश्यक है कि S के पास रद्द करने की संपत्ति हो। जब S क्रमविनिमेय होता है तो यह स्थिति भी पर्याप्त होती है<ref>{{Harvtxt|Clifford|Preston|1961|p=34}}</ref> और सेमीग्रुप का ग्रोथेंडिक समूह अंशों के समूह का निर्माण प्रदान करता है। गैर-कम्यूटेटिव सेमीग्रुप्स के लिए समस्या का पता सेमीग्रुप्स पर पहले पर्याप्त पेपर में लगाया जा सकता है।<ref>{{Harvtxt|Suschkewitsch|1928}}</ref><ref>{{Cite book|url=http://www.gap-system.org/~history/Extras/Preston_semigroups.html|title=सेमिग्रुप्स के प्रारंभिक इतिहास की व्यक्तिगत यादें|first=G. B.|last=Preston|year=1990|access-date=2009-05-12|author-link=Gordon Preston|url-status=dead|archive-url=https://web.archive.org/web/20090109045100/http://www.gap-system.org/~history/Extras/Preston_semigroups.html|archive-date=2009-01-09}}</ref> [[अनातोली माल्टसेव]] ने 1937 में एम्बेडिंग के लिए आवश्यक और पर्याप्त शर्तें दी थीं।<ref>{{Cite book| doi=10.1007/BF01571659 | last=Maltsev | first=A. | author-link=Anatoly Maltsev | title=एक बीजगणितीय वलय के एक क्षेत्र में विसर्जन पर| journal=Math. Annalen | volume=113 | year=1937 | pages=686–691 | postscript=.}}</ref>
+एक महत्वपूर्ण प्रश्न उन अर्धसमूहों को चिह्नित करना है, जिनके लिए यह प्रतिचित्रण एक अन्तःस्थापन है। इसे हमेशा स्थिति होने की आवश्यकता नहीं होती है: उदाहरण के लिए, ''S'' को द्विआधारी संक्रिया के रूप में समुच्चय-सैद्धांतिक सर्वनिष्ठ के साथ किसी समुच्चय ''X'' के उपसमुच्चय के अर्द्धसमूह के रूप में लें (यह अर्द्धजालक का एक उदाहरण है)। चूँकि {{nowrap|1=''A''.''A'' = ''A''}}, ''S'' के सभी तत्वों के लिए सत्य है, यह ''G''(''S'') के सभी उत्पादकों के लिए भी सत्य होना चाहिए: जो इस प्रकार तुच्छ समूह है। अंतर्निहित करने की क्षमता के लिए यह स्पष्ट रूप से आवश्यक है कि ''S'' के पास निरस्तीकरण गुण हो। जब ''S'' क्रमविनिमेय होता है तो यह स्थिति भी पर्याप्त होती है<ref>{{Harvtxt|Clifford|Preston|1961|p=34}}</ref> और अर्द्धसमूह का ग्रोथेंडीक समूह भिन्नों के समूह का निर्माण प्रदान करता है। गैर-क्रम-विनिमेय अर्द्धसमूहों के लिए समस्या का पता अर्द्धसमूहों पर पहले पर्याप्त पृष्ठ से लगाया जा सकता है।<ref>{{Harvtxt|Suschkewitsch|1928}}</ref><ref>{{Cite book|url=http://www.gap-system.org/~history/Extras/Preston_semigroups.html|title=सेमिग्रुप्स के प्रारंभिक इतिहास की व्यक्तिगत यादें|first=G. B.|last=Preston|year=1990|access-date=2009-05-12|author-link=Gordon Preston|url-status=dead|archive-url=https://web.archive.org/web/20090109045100/http://www.gap-system.org/~history/Extras/Preston_semigroups.html|archive-date=2009-01-09}}</ref> [[अनातोली माल्टसेव]] ने वर्ष 1937 में अन्तःस्थापन के लिए आवश्यक और पर्याप्त शर्तें प्रदान कीं।<ref>{{Cite book| doi=10.1007/BF01571659 | last=Maltsev | first=A. | author-link=Anatoly Maltsev | title=एक बीजगणितीय वलय के एक क्षेत्र में विसर्जन पर| journal=Math. Annalen | volume=113 | year=1937 | pages=686–691 | postscript=.}}</ref>
-== आंशिक अंतर समीकरणों में सेमीग्रुप तरीके ==
+== आंशिक अवकल समीकरणों में अर्द्धसमूह विधियाँ ==
-{{further|C0-semigroup}}
+{{further|C0-अर्द्धसमूह}}
-आंशिक अंतर समीकरणों के क्षेत्र में कुछ समस्याओं का अध्ययन करने के लिए सेमिग्रुप सिद्धांत का उपयोग किया जा सकता है। मोटे तौर पर बोलते हुए, सेमीग्रुप दृष्टिकोण एक समय-निर्भर आंशिक अंतर समीकरण को फ़ंक्शन स्पेस पर सामान्य अंतर समीकरण के रूप में मानना है। उदाहरण के लिए, स्थानिक [[अंतराल (गणित)|अंतराल]] {{nowrap|(0, 1) ⊂ '''R'''}} और समय {{nowrap|''t'' ≥ 0}} पर ऊष्मा समीकरण के लिए निम्न आरंभिक/सीमा मान समस्या पर विचार करें:
+आंशिक अवकल समीकरणों के क्षेत्र में कुछ समस्याओं का अध्ययन करने के लिए अर्द्धसमूह सिद्धांत का उपयोग किया जा सकता है। सामान्य रूप से बोलते हुए, अर्द्धसमूह दृष्टिकोण एक समय-निर्भर आंशिक अवकल समीकरण को फलन समष्टि पर सामान्य अवकल समीकरण के रूप में मानना है। उदाहरण के लिए, स्थानिक [[अंतराल (गणित)|अंतराल]] {{nowrap|(0, 1) ⊂ '''R'''}} और समय {{nowrap|''t'' ≥ 0}} पर ऊष्मा समीकरण के लिए निम्न प्रारंभिक/सीमा मान समस्या पर विचार करें:
 :<math>\begin{cases} \partial_{t} u(t, x) = \partial_{x}^{2} u(t, x), & x \in (0, 1), t > 0; \\ u(t, x) = 0, & x \in \{ 0, 1 \}, t > 0; \\ u(t, x) = u_{0} (x), & x \in (0, 1), t = 0. \end{cases}</math>
-{{nowrap|1=''X'' = ''L''<sup>2</sup>((0, 1) '''R''')}} डोमेन अंतराल {{nowrap|(0, 1)}} के साथ स्क्वायर-इंटीग्रेबल रीयल-वैल्यू फ़ंक्शंस का ''L<sup>p</sup>'' स्पेस बनें और A को डोमेन के साथ दूसरा व्युत्पन्न ऑपरेटर बनें
+माना {{nowrap|1=''X'' = ''L''<sup>2</sup>((0, 1) '''R''')}} प्रांत अंतराल {{nowrap|(0, 1)}} के साथ वर्ग-समाकलनीय वास्तविक-मान फलनों का ''L<sup>p</sup>'' समष्टि है और माना ''A'' प्रांत
-:<math>D(A) = \big\{ u \in H^{2} ((0, 1); \mathbf{R}) \big| u(0) = u(1) = 0 \big\},</math>
+:<math>D(A) = \big\{ u \in H^{2} ((0, 1); \mathbf{R}) \big| u(0) = u(1) = 0 \big\},</math> के साथ द्वितीय-अवकलज ऑपरेटर बनें
-जहाँ ''H<sup>2</sup>'' एक [[सोबोलेव स्पेस]] है। फिर उपरोक्त प्रारंभिक/सीमा मूल्य समस्या को स्थान X पर एक साधारण अंतर समीकरण के लिए प्रारंभिक मूल्य समस्या के रूप में व्याख्या किया जा सकता है:
+जहाँ ''H<sup>2</sup>'' एक [[सोबोलेव स्पेस|सोबोलेव समष्टि]] है। फिर उपरोक्त प्रारंभिक/सीमा मान समस्या को समष्टि ''X'' पर एक साधारण अवकल समीकरण के लिए प्रारंभिक मान समस्या के रूप में वर्णित किया जा सकता है:
 :<math>\begin{cases} \dot{u}(t) = A u (t); \\ u(0) = u_{0}. \end{cases}</math>
-अनुमानी स्तर पर, इस समस्या का समाधान "चाहिए" {{nowrap|1=''u''(''t'') = exp(''tA'')''u''<sub>0</sub>}} होना चाहिए। हालांकि, एक कठोर उपचार के लिए, ''tA'' के [[घातांक]] को एक अर्थ दिया जाना चाहिए। टी के एक समारोह के रूप में, exp(''tA'') ''X'' से ऑपरेटरों का एक अर्धसमूह है, समय {{nowrap|1=''t'' = 0}} पर प्रारंभिक स्थिति यू 0 को राज्य {{nowrap|1=''u''(''t'') = exp(''tA'')''u''<sub>0</sub>}} समय ''t'' पर ले जाता है। संकारक A को अर्धसमूह का अतिसूक्ष्म जनित्र कहा जाता है।
+अनुमानित स्तर पर, इस समस्या का समाधान {{nowrap|1=''u''(''t'') = exp(''tA'')''u''<sub>0</sub>}} होना "चाहिए"। हालांकि, एक कठोर व्यवहार के लिए, ''tA'' के [[घातांक]] को एक अर्थ दिया जाना चाहिए। ''t'' के एक फलन के रूप में, exp(''tA''), समय {{nowrap|1=''t'' = 0}} पर प्रारंभिक स्थिति ''u''<sub>0</sub> को समय ''t'' पर स्थिति {{nowrap|1=''u''(''t'') = exp(''tA'')''u''<sub>0</sub>}} लेने पर ''X'' से स्वयं पर ऑपरेटरों का एक अर्धसमूह है। ऑपरेटर ''A'' को अर्धसमूह का अतिसूक्ष्म उत्पादक कहा जाता है।
 == इतिहास ==
-सेमीग्रुप्स का अध्ययन अन्य बीजगणितीय संरचनाओं के पीछे अधिक जटिल स्वयंसिद्धों जैसे समूहों या रिंगों के साथ होता है। कई स्रोत <ref>{{cite web| url = http://jeff560.tripod.com/s.html| title = गणित के कुछ शब्दों के सबसे पुराने ज्ञात उपयोग}}</ref><ref name="Hollings">{{cite web| url = http://uk.geocities.com/cdhollings/suschkewitsch3.pdf| archive-url = https://www.webcitation.org/query?url=http://uk.geocities.com/cdhollings/suschkewitsch3.pdf&date=2009-10-25+04:13:15| url-status = dead| archive-date = 2009-10-25| title = क्रिस्टोफ़र होलिंग्स द्वारा सुश्केविच के पेपर का लेखा-जोखा}}</ref> इस शब्द के पहले प्रयोग (फ्रेंच में) का श्रेय जे.-ए को देते हैं। 1904 में Élements de la Théorie des Groupes Abstraits (सार समूहों के सिद्धांत के तत्व) में de Séguier। इस शब्द का प्रयोग अंग्रेजी में 1908 में Harold Hinton's Theory of Groups of Finite Order में किया गया है।
+अर्द्धसमूहों का अध्ययन अन्य बीजगणितीय संरचनाओं के पीछे अधिक जटिल स्वयंसिद्धों जैसे समूहों या वलयों के साथ होता है। कई स्रोत <ref>{{cite web| url = http://jeff560.tripod.com/s.html| title = गणित के कुछ शब्दों के सबसे पुराने ज्ञात उपयोग}}</ref><ref name="Hollings">{{cite web| url = http://uk.geocities.com/cdhollings/suschkewitsch3.pdf| archive-url = https://www.webcitation.org/query?url=http://uk.geocities.com/cdhollings/suschkewitsch3.pdf&date=2009-10-25+04:13:15| url-status = dead| archive-date = 2009-10-25| title = क्रिस्टोफ़र होलिंग्स द्वारा सुश्केविच के पेपर का लेखा-जोखा}}</ref> इस शब्द के प्रथम प्रयोग (फ्रांसीसी में) का श्रेय वर्ष 1904 में ''अमूर्त समूहों के सिद्धांत के तत्वों में''  जे.-ए डी सेगुएर को देते हैं। अंग्रेजी में इस शब्द का प्रयोग वर्ष 1908 में हेरोल्ड हिंटन के ''परिमित कोटि के समूहों के सिद्धांत'' में किया गया है।
-एंटन सुशकेविच ने सेमीग्रुप के बारे में पहला गैर-तुच्छ परिणाम प्राप्त किया। उनका 1928 का पेपर "Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit" ("ऑन फाइनाइट ग्रुप्स विदाउट द रूल ऑफ यूनीक इन्वर्टिबिलिटी") ने फाइन सिंपल सेमीग्रुप्स की संरचना निर्धारित की और दिखाया कि न्यूनतम आदर्श (या ग्रीन के संबंध जे-क्लास) एक परिमित अर्धसमूह सरल है।<ref name=Hollings/> उस समय से, सेमीग्रुप सिद्धांत की नींव आगे [[डेविड रीस (गणितज्ञ)]], [[जेम्स अलेक्जेंडर ग्रीन]], [[एवगेनी सर्गेइविच लायपिन]], अल्फ्रेड एच। क्लिफर्ड और [[गॉर्डन प्रेस्टन]] द्वारा रखी गई थी। बाद के दो ने क्रमशः 1961 और 1967 में सेमीग्रुप थ्योरी पर दो-वॉल्यूम मोनोग्राफ प्रकाशित किया। 1970 में, [[सेमीग्रुप फोरम]] (वर्तमान में [[स्प्रिंगर पब्लिशिंग हाउस|स्प्रिंगर वरलैग]] द्वारा संपादित) नामक एक नई पत्रिका पूरी तरह से सेमीग्रुप सिद्धांत के लिए समर्पित कुछ गणितीय पत्रिकाओं में से एक बन गई।
+एंटन सुशकेविच ने अर्द्धसमूह के बारे में प्रथम गैर-तुच्छ परिणाम प्राप्त किया। वर्ष 1928 के इनके पेपर "अद्वितीय व्युत्क्रमता के नियम के बिना परिमित समूहों पर" ने परिमित सामान्य अर्द्धसमूहों की संरचना निर्धारित की और प्रदर्शित किया कि एक परिमित अर्धसमूह का न्यूनतम आदर्श (या ग्रीन के संबंध जे-वर्ग) सामान्य है।<ref name=Hollings/> उस समय से, अर्द्धसमूह सिद्धांत की नींव आगे [[डेविड रीस (गणितज्ञ)]], [[जेम्स अलेक्जेंडर ग्रीन]], [[एवगेनी सर्गेइविच लायपिन]], अल्फ्रेड एच. क्लिफर्ड और [[गॉर्डन प्रेस्टन]] द्वारा रखी गई थी। बाद वाले दो गणितज्ञों ने क्रमशः वर्ष 1961 और 1967 में अर्द्धसमूह सिद्धांत पर दो-भाग मोनोग्राफ प्रकाशित किया। वर्ष 1970 में, [[सेमीग्रुप फोरम|''अर्द्धसमूह फोरम'']] (वर्तमान में [[स्प्रिंगर पब्लिशिंग हाउस|स्प्रिंगर वरलैग]] द्वारा संपादित) नामक एक नई पत्रिका अर्द्धसमूह सिद्धांत पर पूर्णतः समर्पित कुछ गणितीय पत्रिकाओं में से एक बन गई।
-सेमिग्रुप्स का [[प्रतिनिधित्व सिद्धांत]] 1963 में [[बोरिस शेन]] द्वारा विकसित किया गया था, जिसमें सेट ए पर बाइनरी संबंधों और सेमीग्रुप उत्पाद के लिए संबंधों की संरचना का उपयोग किया गया था।<ref>B. M. Schein (1963) "Representations of semigroups by means of binary relations" (Russian), [[Matematicheskii Sbornik]] 60: 292–303 {{mr|id=0153760}}</ref> 1972 में एक बीजगणितीय सम्मेलन में स्कीन ने B<sub>''A''</sub> पर साहित्य का सर्वेक्षण किया, ''A'' पर संबंधों का अर्धसमूह।<ref>B. M. Schein (1972) ''Miniconference on semigroup Theory'', {{mr|id=0401970}}</ref> 1997 में शेन और [[राल्फ मैकेंजी]] ने साबित किया कि प्रत्येक अर्धसमूह द्विआधारी संबंधों के एक सकर्मक अर्धसमूह के लिए समरूप है।<ref>B. M. Schein & R. McKenzie (1997) "Every semigroup is isomorphic to a transitive semigroup of binary relations", [[Transactions of the American Mathematical Society]] 349(1): 271–85 {{mr|id=1370647}}</ref>
+अर्द्धसमूहों का [[प्रतिनिधित्व सिद्धांत|निरूपण सिद्धांत]] वर्ष 1963 में [[बोरिस शेन]] द्वारा विकसित किया गया था, जिसमें समुच्चय ''A'' और अर्द्धसमूह गुणन के लिए संबंधों के संयोजन पर द्विआधारी संबंधों का उपयोग किया गया था।<ref>B. M. Schein (1963) "Representations of semigroups by means of binary relations" (Russian), [[Matematicheskii Sbornik]] 60: 292–303 {{mr|id=0153760}}</ref> वर्ष 1972 में एक बीजगणितीय सम्मेलन में स्कीन ने A पर संबंधों के अर्धसमूह ''B<sub>A</sub>'' पर साहित्य का सर्वेक्षण किया।<ref>B. M. Schein (1972) ''Miniconference on semigroup Theory'', {{mr|id=0401970}}</ref> वर्ष 1997 में शेन और [[राल्फ मैकेंजी]] ने यह सिद्ध किया कि प्रत्येक अर्धसमूह द्विआधारी संबंधों के एक संक्रामक अर्धसमूह के लिए समरूप होता है।<ref>B. M. Schein & R. McKenzie (1997) "Every semigroup is isomorphic to a transitive semigroup of binary relations", [[Transactions of the American Mathematical Society]] 349(1): 271–85 {{mr|id=1370647}}</ref>
-हाल के वर्षों में क्षेत्र के शोधकर्ता सेमीग्रुप्स के महत्वपूर्ण वर्गों, जैसे व्युत्क्रम सेमीग्रुप्स, साथ ही [[बीजगणितीय ऑटोमेटा सिद्धांत]] में अनुप्रयोगों पर ध्यान केंद्रित करने वाले मोनोग्राफ, विशेष रूप से परिमित ऑटोमेटा के लिए, और [[कार्यात्मक विश्लेषण]] में भी समर्पित मोनोग्राफ के साथ अधिक विशिष्ट हो गए हैं।
+हाल के वर्षों में इस क्षेत्र के शोधकर्ता अर्द्धसमूहों के महत्वपूर्ण वर्गों, जैसे व्युत्क्रम अर्द्धसमूहों, साथ ही [[बीजगणितीय ऑटोमेटा सिद्धांत]] में अनुप्रयोगों पर ध्यान केंद्रित करने वाले मोनोग्राफ, विशेष रूप से परिमित ऑटोमेटा के लिए, और [[कार्यात्मक विश्लेषण]] में भी समर्पित मोनोग्राफ के साथ अधिक विशिष्ट हो गए हैं।
 == सामान्यीकरण ==
-यदि एक सेमीग्रुप की साहचर्यता अभिगृहीत को छोड़ दिया जाता है, तो परिणाम एक मैग्मा होता है, जो एक सेट M से अधिक कुछ नहीं होता है जो बाइनरी ऑपरेशन से लैस होता है जो {{math|1=''M'' × ''M'' → ''M''}} बंद होता है।
+{{Group-like structures}}
+If the associativity axiom of a semigroup is dropped, the result is a [[magma (mathematics)|magma]], which is nothing more than a set ''M'' equipped with a [[binary operation]] that is closed {{math|1=''M'' × ''M'' → ''M''}}.
+यदि एक अर्द्धसमूह की साहचर्यता अभिगृहीत को छोड़ दिया जाता है, तो इसका परिणाम एक मैग्मा होता है, जो एक समुच्चय ''M'' से अधिक कुछ नहीं होता है जो द्विआधारी संक्रिया से सुसज्जित विवृत {{math|1=''M'' × ''M'' → ''M''}} होता है।
-एक अलग दिशा में सामान्यीकरण, एक एन-आरी सेमीग्रुप (एन-सेमीग्रुप, पॉलीएडिक सेमीग्रुप या मल्टीएरी सेमीग्रुप भी) बाइनरी ऑपरेशन के बजाय एन-आरी ऑपरेशन के साथ एक सेट जी के सेमीग्रुप का सामान्यीकरण है।<ref>{{Cite book|last=Dudek |first=W.A. |title=''एन''-आर्य समूहों में कुछ पुरानी समस्याओं पर|url=http://www.quasigroups.eu/contents/contents8.php?m=trzeci |archive-url=https://web.archive.org/web/20090714003319/http://www.quasigroups.eu/contents/contents8.php?m=trzeci |url-status=dead |archive-date=2009-07-14 |journal=Quasigroups and Related Systems |year=2001 |volume=8 |pages=15–36 }}</ref> साहचर्य कानून को इस प्रकार सामान्यीकृत किया जाता है: त्रैमासिक साहचर्य {{math|1=(''abc'')''de'' = ''a''(''bcd'')''e'' = ''ab''(''cde'')}}, यानी स्ट्रिंग abcde जिसमें किन्हीं तीन आसन्न तत्वों को कोष्ठक में रखा गया हो। एन-एरी सहयोगीता लंबाई {{math|''n'' + (''n'' − ''1'')}} की एक स्ट्रिंग है जिसमें किसी भी एन आसन्न तत्वों को ब्रैकेट किया गया है। एक 2-एरी सेमीग्रुप सिर्फ एक सेमीग्रुप है। आगे के अभिगृहीत एक n-आरी समूह की ओर ले जाते हैं।
+एक '''''n-''ऐरी''' '''अर्द्धसमूह''' ('''''n''-अर्द्धसमूह''', '''बहुविकल्पी अर्द्धसमूह''' या '''मल्टीऐरी अर्द्धसमूह''' भी) द्विआधारी संक्रिया के स्थान पर ''n-''ऐरी संक्रिया के साथ एक समुच्चय ''G'' के अर्द्धसमूह का सामान्यीकरण, एक अलग दिशा में सामान्यीकरण है।<ref>{{Cite book|last=Dudek |first=W.A. |title=''एन''-आर्य समूहों में कुछ पुरानी समस्याओं पर|url=http://www.quasigroups.eu/contents/contents8.php?m=trzeci |archive-url=https://web.archive.org/web/20090714003319/http://www.quasigroups.eu/contents/contents8.php?m=trzeci |url-status=dead |archive-date=2009-07-14 |journal=Quasigroups and Related Systems |year=2001 |volume=8 |pages=15–36 }}</ref> साहचर्य नियम को इस प्रकार सामान्यीकृत किया जाता है: त्रिआधारी साहचर्यता {{math|1=(''abc'')''de'' = ''a''(''bcd'')''e'' = ''ab''(''cde'')}}, अर्थात् स्ट्रिंग ''abcde,'' जिसमें किन्हीं तीन आसन्न तत्वों को कोष्ठक में रखा गया हो। ''n-''ऐरी साहचर्यता {{math|''n'' + (''n'' − ''1'')}} लंबाई की एक स्ट्रिंग है जिसमें किन्हीं भी ''n'' आसन्न तत्वों को कोष्ठीकृत किया गया है। एक 2-ऐरी अर्द्धसमूह सिर्फ एक अर्द्धसमूह होता है। आगे के अभिगृहीत एक ''n-''ऐरी समूह की ओर जाते हैं।
-एक तीसरा सामान्यीकरण [[semigroupoid|सेमीग्रुपॉइड]] है, जिसमें बाइनरी रिलेशन के कुल होने की आवश्यकता को हटा दिया जाता है। चूंकि श्रेणियां मोनोइड्स को उसी तरह सामान्यीकृत करती हैं, एक सेमिग्रुपोइड एक श्रेणी की तरह व्यवहार करता है लेकिन पहचान की कमी होती है।
+[[semigroupoid|अर्द्धसमूहाभ]], एक तीसरा सामान्यीकरण है, जिसमें द्विआधारी के कुल होने की आवश्यकता को हटा दिया जाता है। चूंकि श्रेणियाँ एकाभों को इसी प्रकार सामान्यीकृत करती हैं, एक अर्द्धसमूहाभ एक श्रेणी की तरह व्यवहार करता है लेकिन तत्समता की कमी होती है।
 क्रमविनिमेय अर्धसमूहों के अनंत सामान्यीकरणों पर कभी-कभी विभिन्न लेखकों द्वारा विचार किया गया है।<ref group="note">See references in Udo Hebisch and Hanns Joachim  Weinert, ''Semirings  and  Semifields'', in particular, Section 10, ''Semirings  with  infinite sums'', in M.  Hazewinkel, Handbook of Algebra, Vol. 1, Elsevier, 1996. Notice that in this context the authors use the term ''semimodule'' in place of ''semigroup''.</ref>
 == यह भी देखें ==
-* शोषक तत्व
+* अवशोषण तत्त्व
-* [[बायोआर्डर सेट]]
+* [[बायोआर्डर सेट|द्विक्रमित समुच्चय]]
-* खाली अर्धसमूह
+* रिक्त अर्धसमूह
-* [[सामान्यीकृत उलटा]]
+* [[सामान्यीकृत उलटा|सामान्यीकृत प्रतिलोम]]
-* पहचान तत्व
+* तत्समक तत्व
 * प्रकाश की साहचर्यता परीक्षण
-* [[क्वांटम डायनेमिक सेमीग्रुप]]
+* [[क्वांटम डायनेमिक सेमीग्रुप|क्वांटम गतिशील अर्द्धसमूह]]
-* [[सेमीग्रुप रिंग]]
+* [[सेमीग्रुप रिंग|अर्द्धसमूह वलय]]
-* [[कमजोर उलटा]]
+* [[कमजोर उलटा|निर्बल प्रतिलोम]]
 ==टिप्पणियाँ==
@@ Line 247: / Line 262: @@
 श्रेणी:बीजगणितीय संरचनाएं
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with short description]]
+[[Category:CS1 français-language sources (fr)]]
+[[Category:CS1 maint]]
+[[Category:CS1 Ελληνικά-language sources (el)]]
+[[Category:Citation Style 1 templates|W]]
+[[Category:Collapse templates]]
 [[Category:Created On 26/11/2022]]
+[[Category:Harv and Sfn no-target errors]]
+[[Category:Machine Translated Page]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates based on the Citation/CS1 Lua module]]
+[[Category:Templates generating COinS|Cite web]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates used by AutoWikiBrowser|Cite web]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia fully protected templates|Cite web]]
+[[Category:Wikipedia metatemplates]]

Anonymous

Search

सेमिग्रुप: Difference between revisions

Latest revision as of 09:55, 14 December 2022

परिभाषा

अर्द्धसमूहों के उदाहरण

आधारभूत अवधारणाएँ

तत्समक और शून्य

उपसमूह और आदर्श

समरूपता और सर्वांगसमता

भागफल और विभाजन

अर्द्धसमूहों की संरचना

अर्द्धसमूहों के विशेष वर्ग

क्रमविनिमेय अर्धसमूहों के लिए संरचना प्रमेय

भिन्नों का समूह

आंशिक अवकल समीकरणों में अर्द्धसमूह विधियाँ

इतिहास

सामान्यीकरण

यह भी देखें

टिप्पणियाँ

उद्धरण

समरूपता और सर्वांगसमताएं

संदर्भ

सामान्य संदर्भ

विशिष्ट संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories