Power Semigroups and Two Rigidity Theorems for Groups

तकनीकी सारांश: पावर सेमीग्रुप्स और समूहों के लिए दो रिजिडिटी प्रमेय

समस्या विवरण
यह शोध पत्र पावर सेमीग्रूप्स की आइसोमोर्फिज्म (समरूपता) समस्या को संबोधित करता है। यदि एक सेमीग्रुप $H$ है, तो $P(H)$ "लार्ज पावर सेमीग्रुप" (सेटवाइज मल्टीप्लिकेशन के तहत $H$ के सभी गैर-रिक्त उपसमुच्चयों का सेट) को दर्शाता है और $P_{fin}(H)$ "फिनिटरी पावर सेमीग्रुप" (सभी गैर-रिक्त परिमित उपसमुच्चयों का सेट) को दर्शाता है। इसमें निम्नलिखित मुख्य प्रश्नों की जांच की गई है:

1. ग्लोबल रिजिडिटी (वैश्विक कठोरता): यदि $H$ सेमीग्रुप्स के एक विशिष्ट वर्ग $\mathcal{O}$ में आता है और $P(H) \cong P(K)$ किसी सेमीग्रुप $K$ के लिए है, तो क्या यह स्वतः सिद्ध होता है कि $K \in \mathcal{O}$ और $H \cong K$?
2. फिनिटरी रिजिडिटी (परिमित कठोरता): इसी प्रकार, यदि $P_{fin}(H) \cong P_{fin}(K)$, तो क्या यह स्वतः सिद्ध होता है कि $K \in \mathcal{O}$ और $H \cong K$?

जबकि यह ज्ञात है कि समूहों का संपूर्ण वर्ग ग्लोबली निर्धारित (अर्थात, यदि $H$ समूह है तो $P(H) \cong P(K) \implies H \cong K$) होता है, अनंत समूहों के लिए फिनिटरी पावर सेमीग्रुप $P_{fin}(H)$ का व्यवहार कम समझ में आया है। यह शोध पत्र विशेष रूप से तब $P_{fin}(H)$ की रिजिडिटी पर लक्षित है जब $H$ परिमेय संख्याओं $\mathbb{Q}$ का एक योगात्मक उपसमूह (additive subgroup) हो।

कार्यप्रणाली (Methodology)
लेखक स्ट्रक्चरल सेमीग्रुप थ्योरी, कॉम्बिनेटोरियल नंबर थ्योरी और डायोफेंटाइन ज्योमेट्री के संयोजन का उपयोग करते हैं।

• आइसोमोर्फिज्म का संरचनात्मक विश्लेषण: इन्फिनिटरी सेटिंग (अनुभाग 2) में, लेखक ग्लोबल आइसोमोर्फिज्म $f: P(H) \to P(K)$ का विश्लेषण करते हैं। वे पावर सेमीग्रुप्स में "यूनिट-स्टेबल" तत्वों की अवधारणा पेश करते हैं ताकि यह सिद्ध किया जा सके कि मोनॉइड्स के बीच कोई भी ग्लोबल आइसोमोर्फिज्म उनके संबंधित यूनिट ग्रुप्स के बीच एक आइसोमोर्फिज्म तक सीमित होता है। यह संरचनात्मक परिणाम उन्हें यह निष्कर्ष निकालने की अनुमति देता है कि यदि $H$ एक समूह है और $P(H) \cong P(K)$, तो $K$ भी एक समूह ही होगा।
• कॉम्बिनेटोरियल संबंध: फिनिटरी सेटिंग (अनुभाग 3 और 4) में, प्रमाण का आधार $P_{fin}(H)$ और फाइबोनैकी अनुक्रम (Fibonacci sequence) के बीच संबंध स्थापित करना है। विशेष रूप से, लेखक यह सिद्ध करते हैं कि समीकरण $\{0, 1\} + X = \{0, 1, \dots, n\}$ (जहाँ $H$ में अनंत क्रम का एक तत्व है) के समाधानों की संख्या $X \in P_{fin}(H)$ ठीक $n$-वीं फाइबोनैकी संख्या, $F_n$ है।
• प्रतिनिधित्व सिद्धांत और डायोफेंटाइन बाउंड्स: वे "इंडेक्स्ड साइन्ड बाइनरी रिप्रेजेंटेशन" (रूप $\sum 2^{e_i}\epsilon_i$ के रूप में योग) को परिभाषित करते हैं। वे डायोफेंटाइन ज्योमेट्री के एक गहरे परिणाम—मल्टीप्लिकेटिव ग्रुप्स में लीनियर इक्वेशंस के नॉन-डीजेनेरेट सॉल्यूशंस पर एवरत्से-श्लिकवेई-श्मिट (Evertse–Schlickewei–Schmidt) प्रमेय का उपयोग करते—यह दिखाने के लिए कि किसी भी निश्चित लंबाई $k$ के लिए, केवल सीमित संख्या में ही फाइबोनैकी संख्याएँ $F_n$ होती हैं जो अधिकतम लंबाई $k$ के इंडेक्स्ड साइन्ड बाइनरी रिप्रेजेंटेशन को स्वीकार करती हैं।
• तुच्छता की ओर न्यूनीकरण (Reduction to Triviality): मुख्य प्रमेय का प्रमाण विरोधाभास (contradiction) द्वारा आगे बढ़ता है। यह मानते हुए कि $P_{fin}(H) \cong P_{fin}(K)$ जहाँ $H \le \mathbb{Q}$, लेखक पहले एक स्ट्रक्चरल स्प्लिटिंग $K \cong L \times H$ स्थापित करते हैं, जहाँ $L$ एक सबमोनॉइड है जिसका यूनिट ग्रुप ट्रिवियल है। इसके बाद वे यह प्रदर्शित करते हैं कि यदि $L$ गैर-तुच्छ होता, तो $P_{fin}(K)$ में कुछ सेट्स का आकार सीमित होता, जिससे फाइबोनैकी संख्याओं के विकास गुणों और एवरत्से-श्लिकवेई-श्मिट प्रमेय से प्राप्त परिमितता परिणामों के बीच विरोधाभास उत्पन्न होता।

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

1. थ्योरम 1.3 (इन्फिनिटरी रिजिडिटी): लेखक यह प्रमाण प्रदान करते हैं कि यदि $H$ एक समूह है और $K$ एक सेमीग्रुप है ऐसा कि $P(H) \cong P(K)$, तो $H \cong K$। इसे एक अधिक सामान्य परिणाम (थ्योरम 2.3) के कोरोलरी के रूप में स्थापित किया गया है: प्रत्येक ग्लोबल आइसोमोर्फिज्म मोनॉइड $H$ से मोनॉइड $K$ तक, उनके यूनिट ग्रुप $H^\times$ से $K^\times$ तक एक ग्लोबल आइसोमोर्फिज्म तक सीमित होता है।
2. थ्योरम 1.4 ($\mathbb{Q}$ के उपसमूहों के लिए फिनिटरी रिजिडिटी): यह शोध पत्र सिद्ध करता है कि यदि $H$ परिमेय संख्याओं $\mathbb{Q}$ के एक योगात्मक उपसमूह का सदस्य है और $K$ एक सेमीग्रुप है ऐसा कि $P_{fin}(H) \cong P_{fin}(K)$, तो $H \cong K$। यह $\mathbb{Q}$ के उपसमूहों के समतुल्य समूहों (जैसे $\mathbb{Z}$, $\mathbb{Q}$, और $\mathbb{Z}[1/p]$ जैसे समूह) के वर्ग के लिए फिनिटरी रिजिडिटी समस्या को हल करता है।
3. कॉम्बिनेटोरियल लेम्मा (प्रपोजिशन 3.2): यह शोध पत्र पावर सेमीग्रुप्स और फाइबोनैकी अनुक्रम के बीच एक नवीन संबंध स्थापित करता है, यह दिखाते हुए कि अनंत क्रम के एक तत्व वाले मोनॉइड में एक विशिष्ट सेटवाइज एडिशन समीकरण के समाधानों की संख्या फाइबोनैकी संख्याएँ दी गई है।
4. प्रतिनिधित्व की परिमितता (लेम्मा 3.4): लेखक सिद्ध करते हैं कि किसी भी निश्चित $k$ के लिए, $n$ के केवल सीमित मान हैं जिनके लिए फाइबोनैकी संख्या $F_n$ की लंबाई कम से कम $k$ वाला इंडेक्स्ड साइन्ड बाइनरी रिप्रेजेंटेशन है। यह परिणाम एवरत्से-श्लिकवेई-श्मिट प्रमेय का उपयोग करके प्राप्त किया गया है।

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

लेखक स्पष्ट रूप से कहते हैं कि फिनिटरी मामले के लिए प्रमाण को इन्फिनिटरी परिणामों से सीधे प्राप्त नहीं किया जा सकता है क्योंकि एक अनंत मोनॉइड का यूनिट ग्रुप आवश्यक रूप से फिनिटरी पावर सेमीग्रुप में नहीं होता है, जो सेक्शन 2 में उपयोग किए गए यूनिट-स्टेबिलिटी तर्कों के प्रत्यक्ष अनुप्रयोग को रोकता है।

भविष्य की दिशाएं
शोध पत्र प्रश्न 1.2(2) (फिनिटरी रिजिडिटी) के लिए सभी समूहों के वर्ग के लिए सकारात्मक उत्तर होने का अनुमान लगाते हुए समाप्त होता है। लेखक सुझाव देते हैं कि अगला तार्किक कदम टोरशन-फ्री अबेलियन समूहों (torsion-free abelian groups) के लिए इस प्रश्न को हल करना है, यह उल्लेख करते हुए कि उनका वर्तमान परिणाम विशेष रूप से $\mathbb{Q}$ के उपसमूहों के मामले को कवर करता है। वे यह ओपन क्वेश्चन भी पूछते हैं कि क्या मोनॉइड्स के फिनिटरी पावर सेमीग्रुप्स के बीच एक आइसोमोर्फिज्म उनके यूनिट ग्रुप्स के फिनिटरी पावर सेमीग्रुप्स के बीच एक आइसोमोर्फिज्म तक सीमित होना चाहिए।