🔢 mathematics

Maximal subgroups of free projection- and idempotent-generated semigroups with applications to partition monoids

यह शोध पत्र मुक्त प्रोजेक्शन- और इडेम्पोटेंट-जनरेटेड सेमग्रुप्स के अधिकतम उपसमूहों (maximal subgroups) के लिए सामान्य प्रस्तुतिकरण स्थापित करता है और उन्हें विभाजन मोनॉइड्स (partition monoids) पर लागू करता है, जिससे यह प्रकट होता है कि जहाँ पूर्व सममित समूह $S_r$ प्रदान करते हैं, वहीं बाद वाले ट्विस्टेड विभाजन मोनॉइड्स के साथ संबंध के कारण प्रत्यक्ष उत्पाद $Z \times S_r$ उत्पन्न करते हैं।

मूल लेखक: James East, Robert D. Gray, P. A. Azeef Muhammed, Nik Ruskuc

प्रकाशित 2026-07-20

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: James East, Robert D. Gray, P. A. Azeef Muhammed, Nik Ruskuc

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि एक ऐसी दुनिया है जो पूरी तरह से उन आकृतियों से बनी है जो आपस में जुड़ सकती हैं, एक-दूसरे के ऊपर फिसल सकती हैं, और कभी-कभी हमेशा के लिए वहीं अटक भी सकती हैं। गणित के क्षेत्र में, यह सेमीग्रुप (semigroups) का ब्रह्मांड है। एक सेमीग्रुप को एक विशाल, अराजक डांस फ्लोर की तरह समझें जहाँ हर नर्तक (एक तत्व) का एक विशिष्ट मूव (चाल) होता है। कुछ नर्तक विशेष होते हैं: यदि वे अपनी चाल दो बार चलते हैं, तो वे ठीक वहीं पहुँच जाते हैं जहाँ से उन्होंने शुरू किया था। इन्हें इडम्पोटेंट्स (idempotents) कहा जाता है। वे इस डांस फ्लोर के "पॉज़" (विराम) बटन की तरह हैं; एक बार जब आप उन्हें दबाते हैं, तो क्रिया वहीं थम जाती है।

अब, कल्पना कीजिए कि आप केवल इन "पॉज़" नर्तकों का उपयोग करके सबसे उत्तम, सबसे लचीला डांस फ्लोर बनाना चाहते हैं। आप इसमें कोई अतिरिक्त मूव या नियम नहीं जोड़ना चाहते जो अनिवार्य रूप से आवश्यक न हों। यह एक "फ्री इडम्पोटेंट-जेनरेटेड सेमीग्रुप" (free idempotent-generated semigroup) बनाता है। यह एक गणितीय निर्माण है जो पूछता है: "यदि मेरे पास केवल ये 'फ्रीज-बटन' हों, तो मैं कितनी जटिल संरचनाएं बना सकता हूँ?"

लेकिन इसमें एक मोड़ है। कुछ डांस फ्लोरों में एक विशेष दर्पण गुण होता है। यदि आप एक नर्तक को दर्पण में देखते हैं, तो वह मूल चाल के विपरीत एक चाल चलता है जो मूल को निष्प्रभावी कर देती है। इसे इनवोल्यूशन (involution) कहा जाता है, और यह डांस फ्लोर को एक "रेगुलर *-सेमीग्रुप" (regular *-semigroup) में बदल देता है। इस दर्पण वाली दुनिया में, "पॉज़" नर्तकों का एक अधिक सरल, अधिक कठोर रूप होता है जिसे प्रोजेक्शन (projection) कहा जाता है। बड़ा सवाल यह है कि गणितज्ञों ने पूछा है: "यदि हम केवल कठोर प्रोजेक्शन्स का उपयोग करके अपना डांस फ्लोर बनाते हैं, तो क्या यह उस डांस फ्लोर जैसा ही दिखता है जिसे लचीले इडम्पोटेंट्स से बनाया गया था? और उन नर्तकों के समूहों का क्या होता है जो एक लूप में फंसकर, पूर्ण वृत्तों में घूमते रहते हैं? ये घूमते हुए लूप्स मैक्सिमल सबग्रुप्स (maximal subgroups) कहलाते हैं, और उनके आकार को समझना डांस फ्लोर के गुप्त डीएनए को खोजने जैसा है।"

यह शोध पत्र उसी प्रश्न की गहराई में जाता है, विशेष रूप से एक प्रसिद्ध डांस फ्लोर जिसे पार्टीशन मोनॉइड (partition monoid) (जिसे $P_n$ द्वारा दर्शाया गया है) कहा जाता है, पर ध्यान केंद्रित करता है। लेखक, जेम्स ईस्ट, रॉबर्ट डी. ग्रे, पी.ए. अज़ीफ़ मोहम्मद और निक रुश्कुक, इस संरचना को बनाने के दो अलग-अलग तरीकों की तुलना करने के उद्देश्य से आगे बढ़ते हैं: एक लचीले "पॉज़" बटनों (इडम्पोटेंट्स) का उपयोग करके और दूसरा कठोर "दर्पण" बटनों (प्रोजेक्शन्स) का उपयोग करके।

उन्होंने पाया कि हालांकि दोनों डांस फ्लोर दूर से लगभग एक जैसे दिखते हैं, लेकिन उनके नर्तकों के घूमने के तरीके में एक गुप्त, मौलिक अंतर है।

जब उन्होंने कठोर प्रोजेक्शन्स का उपयोग करके फ्लोर बनाया (फ्री प्रोजेक्शन-जेनरेटेड सेमीग्रुप, $PG(P)$), तो घूमने वाले लूप बिल्कुल वही निकले जिसकी उम्मीद की गई थी: सिमेट्रिक ग्रुप (symmetric group) $S_r$ । सरल शब्दों में, यह केवल $r$ वस्तुओं को पुनर्व्यवस्थित करने के सभी संभावित तरीकों का समूह है। यदि आपके पास 3 नर्तक हैं, तो उनके स्थान बदलने के 6 तरीके हैं। यहाँ गणित साफ और सुव्यवस्थित है, और यह मूल पार्टीशन मोनॉइड से पूरी तरह मेल खाता है।

हालाँकि, जब उन्होंने लचीले इडम्पोटेंट्स का उपयोग करके फ्लोर बनाया (फ्री इडम्पोटेंट-जेनरेटेड सेमीग्रुप, $IG(E) $), तो कुछ अजीब हुआ। घूमने वाले लूप अब केवल पुनर्व्यवस्थाएँ नहीं रह गए थे। वे पुनर्व्यवस्थाओं के साथ-साथ पृष्ठभूमि में बजने वाली एक अनंत, अंतहीन घड़ी भी थे। गणितीय रूप से, यह **पूर्णांकों ($ \mathbb{Z} $) और सिमेट्रिक ग्रुप ($ S_r$) का डायरेक्ट प्रोडक्ट (direct product)** है।

लेखक इस "अतिरिक्त" अनंत भाग को पार्टीशन मोनॉइड के एक रहस्यमय, मुड़े हुए संस्करण—ट्विस्टेड पार्टीशन मोनॉइड ( $P^\Phi_n$ )—से जोड़कर समझाते हैं। कल्पना कीजिए कि इस नए फ्लोर पर हर बार जब दो नर्तक टकराते हैं, तो हवा में तैरते हुए डांस फ्लोर के कितने टुकड़े बचे हैं, इसके आधार पर कमरे के बीच में लगा एक काउंटर ऊपर या नीचे टिक-टिक करता है। यह काउंटर कभी नहीं रुकता; यह अनंत तक जा सकता है या नकारात्मक अनंत तक जा सकता है। यह शोध पत्र सिद्ध करता है कि इडम्पोटेंट डांस फ्लोर का "फ्री" संस्करण स्वाभाविक रूप से इस टिक-टिक करती घड़ी को विरासत में प्राप्त करता है, भले ही मूल पार्टीशन मोनीड $P_n$ इसके बारे में पूरी तरह से भूल जाता है।

लेखक इन परिणामों के प्रति बहुत आश्वस्त हैं। उन्होंने केवल अनुमान या सिमुलेशन नहीं किया; उन्होंने रीडेमेस्टर-श्रियर रीराइटिंग (Reidemeister–Schreier rewriting) नामक एक तकनीक का उपयोग करके कठोर गणितीय प्रमाणों का निर्माण किया। यह एक जटिल गांठ को लेने, उसके हर धागे को लेबल करने और फिर उसे व्यवस्थित रूप से सुलझाने जैसा है ताकि उसके भीतर के लूप के सटीक आकार को प्रकट किया जा सके। उन्होंने दिखाया कि 0 और $n-2$ के बीच किसी भी रैंक $r$ के लिए, प्रोजेक्शन-आधारित समूह ठीक $S_r$ है, जबकि इडम्पोटेंट-आधारित समूह निश्चित रूप से $\mathbb{Z} \times S_r$ है।

उन्होंने यह भी सिद्ध किया कि ये दोनों संरचनाएं समान नहीं हैं। कुछ अन्य गणितीय दुनिया (जैसे टेंपरली-लीब मोनॉइड) में, प्रोजेक्शन संस्करण और इडम्पोटेंट संस्करण जुड़वां भाई-बहन होते हैं। लेकिन पार्टीशन मोनॉइड के लिए, लेखकों ने सिद्ध किया कि वे अलग दिखने वाले चचेरे भाई हैं। "फ्री" इडम्पोटेंट संस्करण उस अनंत चक्रीय कारक $\mathbb{Z}$ के कारण स्पष्ट रूप से "बड़ा" और अधिक जटिल है।

अंत में, यह शोध पत्र एक लंबे समय से चले आ रहे पहेली को हल करता है: यह हमें बताता है कि इन फ्री गणितीय संरचनाओं में "घूमने वाले लूप" वास्तव में कैसे दिखते हैं। यह प्रकट करता है कि "कठोर दर्पणों" बनाम "लचीले पॉज़" के साथ निर्माण करने का चुनाव समूह की मौलिक प्रकृति को बदल देता है, जिससे उसमें समय का एक अनंत आयाम जुड़ जाता है। यह खोज केवल एक गणितीय समस्या को सुलझाती नहीं है; यह सुझाव देती है कि ट्विस्टेड पार्टीशन मोनॉइड का "ट्विस्ट" वास्तव में इडम्पोटेंट संरचना के ताने-बाने के भीतर छिपा हुआ है, जो केवल उन लोगों के देखने की प्रतीक्षा कर रहा है जो इसे पहचान सकें।

तकनीकी सारांश: मुक्त प्रक्षेपण-जनित और समरूपता-जनित अर्धसमूहों के अधिकतम उपसमूहों का विभाजन मोनॉइड्स पर अनुप्रयोग

समस्या विवरण
यह शोध पत्र दो विशिष्ट वर्गों के मुक्त अर्धसमूहों (free semigroups) के भीतर अधिकतम उपसमूहों की संरचना की जांच करता है: एक बायोर्डर्ड सेट $E$ पर मुक्त समरूपता-जनित अर्धसमूह $IG(E) $, और एक प्रोजेक्शन अलजेब्रा$ P $पर मुक्त प्रक्षेपण-जनित नियमित$ * $-अर्धसमूह$ PG(P)$। जबकि एक अर्धसमूह की समरूपता संरचना और उसके अधिकतम उपसमूहों के बीच का संबंध सुस्थापित है, विशिष्ट और जटिल अर्धसमूहों के लिए इन उपसमूहों के विशिष्ट आइसोमोर्फिज्म प्रकारों (isomorphism types) को निर्धारित करना एक महत्वपूर्ण चुनौती बनी हुई है।

लेखक अपना ध्यान उन मामलों पर केंद्रित करते हैं जहाँ अंतर्निहित संरचनाएँ विभाजन मोनॉइड (partition monoid) $P_n$ से उत्पन्न होती हैं। विशेष रूप से, वे रैंक $r \le n-2$ के लिए प्रोजेक्शन और समरूपताओं (idempotents) के लिए $IG(E(P_n))$ और $PG(P(P_n))$ के अधिकतम उपसमूहों की गणना करने की एक खुली समस्या को संबोधित करते हैं। एक केंद्रीय प्रेरणा मूल अर्धसमूह और उसके समरूपता-जनित तत्वों के उपमोनॉइड, तथा पूर्ण रूपांतरण मोनॉइड $T_n$ और टेम्परली-लीब मोनॉइड $TL_n$ जैसे ज्ञात मामलों के साथ परिणामों की तुलना करना है।

कार्यप्रणाली
यह शोध पत्र संयोजन अर्धसमूह सिद्धांत (combinatorial semigroup theory), समूह प्रस्तुतिकरण (group presentations), और टोपोलॉजिकल रीराइटिंग तकनीकों के संयोजन का उपयोग करता है।

रीडेमाइस्टर-श्रियर रीराइटिंग (Reidemeister–Schreier Rewriting): अधिकतम उपसमूहों के प्रस्तुतिकरण प्राप्त करने के लिए प्राथमिक उपकरण रीडेमाइस्टर-श्रियर रीराइटिंग प्रक्रिया है, जिसे [81] में विकसित किया गया है। यह विधि लेखकों को एक नियमित $D$ -वर्ग के भीतर $H$ -वर्गों पर अर्धसमूह की क्रिया का विश्लेषण करके अर्धसमूह प्रस्तुतिकरणों से समूह प्रस्तुतिकरणों का निर्माण करने की अनुमति देती है।
सामान्य प्रस्तुतिकरण: लेखक पहले $PG(P) $और$ $और$ IG(E)$ के अधिकतम उपसमूहों के लिए सामान्य प्रस्तुतिकरण स्थापित करते हैं।
- $PG(P)$ के लिए, वे प्रोजेक्शन के "लिंक्ड डायमंड्स" (linked diamonds) और "लिंक्ड स्क्वायर्स" (linked squares) पर आधारित प्रस्तुतिकरण प्राप्त करते हैं, जो प्रोजेक्शन अलजेब्रा की संयोजन टोपोलॉजी को दर्शाते हैं।
- $IG(E)$ के लिए, वे समरूपताओं के "सिंगुलर स्क्वायर्स" (singular squares) का उपयोग करते हैं।
- वे प्रदर्शित करते हैं कि $PG(P)$, $IG(E)$ का एक स्वाभाविक होमोमोर्फिक इमेज है, और उनके प्रस्तुतिकरण इस कोशिएंट (quotient) संबंध को स्पष्ट रूप रूप से दर्शाते हैं।
स्पैनिंग ट्री और ग्राफ थ्योरी: प्रस्तुतिकरणों को सरल बनाने के लिए, लेखक प्रासंगिक $D$ -वर्गों से जुड़े ग्राहम-हौटन ग्राफ (Graham–Houghton graph) के स्पैनिंग ट्री का उपयोग करते हैं। विशिष्ट स्पैनिंग ट्री चुनकर, वे जनरेटर और संबंधों की संख्या को कम करते हैं, जिससे आवश्यक समूह संरचना अलग हो जाती है।
रूपांतरण मोनॉइड्स में न्यूनीकरण: विभाजन मोनॉइड $P_n$ के लिए समस्या को पूर्ण रूपांतरण मोनॉइड $T_n$ के ज्ञात परिणामों में बदलने की एक प्रमुख रणनीतिक चाल है। लेखक विशिष्ट स्पैनिंग ट्री का निर्माण करते हैं और $P_n$ में उन समरूपताओं के उपसमुच्चयों की पहचान करते हैं जो $T_n$ में मौजूद होते हैं, जिससे उन्हें सममित समूहों $S_r$ के संबंध में परिणामों को "आयात" करने की अनुमति मिलती है।
ट्विस्टेड विभाजन मोनॉइड्स (Twisted Partition Monoids): $IG(E)$ के मामले में एक अनंत चक्रीय कारक (infinite cyclic factor) की उपस्थिति को समझाने के लिए, लेखक अपने परिणामों को ट्विस्टेड विभाजन मोनॉइड $P^\Phi_n$ से जोड़ते हैं, जो $P_n$ के समान ही बायोर्डर्ड सेट साझा करता है लेकिन उत्पाद ग्राफों में "फ्लोटिंग कंपोनेंट्स" (floating components) के बारे में जानकारी रखता है।

मुख्य योगदान और परिणाम

सामान्य प्रस्तुतिकरण: शोध पत्र लिंक्ड डायमंड्स, लिंक्ड स्क्वायर्स और सिंगुलर स्क्वायर्स से प्राप्त जनरेटर और संबंधों के संदर्भ में $PG(P) $और$ IG(E)$ के अधिकतम उपसमूहों के लिए स्पष्ट समूह प्रस्तुतिकरण प्रदान करता है। ये प्रस्तुतिकरण इन समूहों की टोपोलॉजिकल प्रकृति को उजागर करते हैं, जो अंतर्निहित बीजगणितीय संरचनाओं से निर्मित कॉम्प्लेक्स के मौलिक समूहों (fundamental groups) के रूप में हैं।
विभाजन मोनॉइड का मामला ( $P_n$ ): लेखक $P_n$ $P_{n}$ के लिए रैंक $0 \le r \le n-2$ $0 \leq r \leq n - 2$ के लिए अधिकतम उपसमूहों की गणना करते हैं:
- प्रमेय 1.1: रैंक $r \le n-2$ के एक प्रोजेक्शन के अनुरूप मुक्त प्रक्षेपण-जनित अर्धसमूह $PG(P(P_n))$ का अधिकतम उपसमूह सममित समूह $S_r$ के आइसोमोर्फिक है।
- प्रमेय 1.2: रैंक $r \le n-2$ के एक समरूपता के अनुरूप मुक्त समरूपता-जनित अर्धसमूह $IG(E(P_n))$ का अधिकतम उपसमूह प्रत्यक्ष उत्पाद $\mathbb{Z} \times S_r$ के आइसोमोर्फिक है।
रैंक 0 का मामला: रैंक $r=0$ के लिए, $PG(P(P_n))$ का अधिकतम उपसमूह तुच्छ (trivial) है, जबकि $IG(E(P_n))$ का अधिकतम उपसमूह अनंत चक्रीय समूह $\mathbb{Z}$ के आइसोमोर्फिक है।
रैंक $n-1$ और $n$ : शोध पत्र नोट करता है कि $r=n-1$ के लिए, उपसमूह स्पष्ट रूप से गणनीय रैंक के मुक्त समूह हैं, और $r=n$ के लिए, वे तुच्छ हैं।

महत्व और दावे
शोध पत्र का दावा है कि ये परिणाम डायग्राम मोनॉइड्स से उत्पन्न होने वाले मुक्त समरूपता-जनित अर्धसमूहों के अधिकतम उपसमूहों के संबंध में एक लंबे समय से खुले प्रश्न को हल करते हैं।

रूपांतरण मोनॉइड्स से विचलन: पूर्ण रूपांतरण मोनॉइड $T_n$ के विपरीत, जहाँ $IG(E(T_n))$ के अधिकतम उपसमूह $S_r$ के आइसोमोर्फिक हैं (जो $T_n$ के उपसमूहों से मेल खाते हैं), विभाजन मोनॉइड $P_n$ एक भिन्न व्यवहार प्रदर्शित करता है। $IG(E(P_n))$ के अधिकतम उपसमूहों में एक अतिरिक्त अनंत चक्रीय कारक $\mathbb{Z}$ शामिल है। लेखक इसे $P^\Phi_n$ के साथ संबंध के माध्यम से समझाते हैं, जो यह सुझाव देता है कि "ट्विस्टिंग" जानकारी (फ्लोटिंग कंपोनेंट्स की गिनती) $P_n$ के बायोर्डर्ड सेट में अंतर्निहित है, भले ही $P_n$ का मानक गुणन इस डेटा को भूल जाता है।
संरचनात्मक विवरण: इन अधिकतम उपसमूहों का निर्धारण $PG(P(P_n))$ $P G (P (P_{n}))$ और $RIG(E(P_n))$ $R I G (E (P_{n}))$ के नियमित $D$ $D$ -वर्गों का पूर्ण संरचनात्मक विवरण प्रदान करता है।
- $PG(P(P_n))$ को $P_n$ के "लगभग समान" के रूप में वर्णित किया गया है, जो केवल रैंक $n-1$ के $D$ -वर्ग के अधिकतम उपसमूहों के मुद्रास्फीति (inflation) (जो मुक्त समूह बन जाते हैं) और गैर-तत्काल बाइजेक्शन की अनुपस्थिति में भिन्न है।
- $RIG(E(P_n))$ को ट्विस्टेड विभाजन मोनॉइड $P^\Phi_n$ के "लगभग समान" के रूप में वर्णित किया गया है।
एल्गोरिद्मिक गुण: लेखक निष्कर्ष निकालते हैं कि दोनों $PG(P(P_n))$ और $RIG(E(P_n))$ में एक समाधान योग्य वर्ड प्रॉब्लम (solvable word problem) है, वे परिमित पूर्ण रीराइटिंग सिस्टम (finite complete rewriting systems) को स्वीकार करते हैं, और अवशेषतः परिमित (residually finite) हैं।
खुले प्रश्न: शोध पत्र खुले प्रश्न भी प्रस्तुत करता है, जैसे कि क्या प्रत्येक समूह एक मुक्त प्रक्षेपण-जनित नियमित $*$ -अर्धसमूह के अधिकतम उपसमूह के रूप में उत्पन्न हो सकता है, और क्या मुक्त समरूपता-जनित अर्धसमूह $IG(E(P_n))$ (जिसमें गैर-नियमित तत्व शामिल हैं) में एक समाधान योग्य वर्ड प्रॉब्लम है।

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

इसी तरह के और पेपर