Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups

यहाँ कॉलम बार्बर और निक रुस्किक के शोध पत्र "Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण (Problem Statement)

यह शोध पत्र परिमित अर्धसमूहों (finite semigroups) के भीतर कंग्रुएंस (congruences) और डायगोनल सबसेमग्रुप्स (diagonal subsemigroups) के बीच संरचनात्मक संबंध को संबोधित करता है।

• परिभाषाएँ:
  • एक अर्धसमूह $S$ पर एक कंग्रुएंस (congruence) एक तुल्यता संबंध (equivalence relation) है जो गुणन के अनुकूल (compatible) होता है।
  • एक डायगोनल सबसेमग्रुप (diagonal subsemigroup) $S$ पर एक रिफ्लेक्सिव संबंध (reflexive relation) है जो गुणन के अनुकूल है (अर्थात, यह $S \times S$ का एक सबसेमग्रुप है जिसमें विकर्ण $\Delta_S = \{(s,s) : s \in S\}$ शामिल है)।
  • प्रत्येक कंग्रुएंस एक डायगोनल सबसेमग्रुप होती है, लेकिन इसका विलोम हमेशा सत्य नहीं होता है।
• DSC गुणांक (The DSC Coefficient): लेखक एक परिमित अर्धसमूह $S$ के लिए DSC गुणांक $\chi(S)$ को कंग्रुएंस की संख्या और डायगोनल सबसेमग्रुप्स की संख्या के अनुपात के रूप में परिभाषित करते हैं:
  $$\chi(S) = \frac{|\text{Cong}(S)|}{|\text{Diag}(S)|}$$
  चूंकि कंग्रुएंस का सेट डायगोनल सबसेमग्रुप्स का एक उपसमुच्चय है, इसलिए $\chi(S) \in \mathbb{Q} \cap (0, 1]$ है।
• मुख्य प्रश्न: पिछले कार्यों ने स्थापित किया था कि $\chi(S) = 1$ यदि और केवल यदि $S$ एक समूह (group) है। लेखक सभी परिमित अर्धसमूहों में $\chi(S)$ के संभावित मानों के स्पेक्ट्रम की जांच करते हैं। विशेष रूप से, वे यह सिद्ध करने का लक्ष्य रखते हैं कि किसी भी परिमेय संख्या $\alpha \in (0, 1]$ के लिए, एक परिमित अर्धसमूह $S$ मौजूद है ताकि $\chi(S) = \alpha$ हो सके।

2. कार्यप्रणाली (Methodology)

लेखक नियंत्रित DSC गुणांकों वाले अर्धसमूहों को उत्पन्न करने के लिए रीस मैट्रिक्स निर्माण (Rees Matrix Construction) का उपयोग करते हैं।

A. सैद्धांतिक ढांचा: रीस मैट्रिक्स अर्धसमूह (Rees Matrix Semigroups)

वे रीस मैट्रिक्स अर्धसमूहों $S = M[G; I, \Lambda; P]$ पर ध्यान केंद्रित करते हैं, जहाँ:

• $G$ एक समूह है।
• $I$ और $\Lambda$ इंडेक्स सेट (index sets) हैं।
• $P$ एक $\Lambda \times I$ मैट्रिक्स है जिसके प्रविष्टियाँ (entries) $G$ में हैं।
• गुणन इस प्रकार परिभाषित है: $(i, g, \lambda)(j, h, \mu) = (i, gp_{\lambda j}h, \mu)$।

B. संरचनाओं का लक्षण वर्णन (Characterization of Structures)

शोध पत्र $S$ पर बीजगणितीय संरचनाओं और $G, I,$ और $\Lambda$ से प्राप्त ट्रिपल्स (triples) के बीच एक द्वैत संबंध (bijection) स्थापित करता है:

1. कंग्रुएंस (Congruences): प्रेस्टन के प्रमेय के आधार पर, $S$ पर कंग्रुएंस लिंक्ड इक्विवेलेंस ट्रिपल्स (linked equivalence triples) $(N, S, T)$ के अनुरूप होते हैं, जहाँ $N, G$ का एक नॉर्मल सबग्रुप है, और $S, T$ क्रमशः $I$ और $\Lambda$ पर इक्विलेंस संबंध हैं, जो मैट्रिक्स एक्सट्रैक्ट्स (matrix extracts) से जुड़े विशिष्ट "लिंक्ड" (linked) नियमों का पालन करते हैं।
2. डायगोनल सबसेमग्रुप्स (Diagonal Subsemigroups): लेखक सिद्ध करते हैं कि यदि $G$ एक DSC समूह है (एक ऐसा समूह जहाँ प्रत्येक डायगोनल सबसेमग्रुप एक कंग्रुएंस है; सभी परिमित समूह DSC हैं), तो $S$ पर डायगोनल सबसेमग्रुप्स लिंक्ड रिफ्लेक्सिव ट्रिपल्स (reflexive triples) के अनुरूप होते हैं।
   • मुख्य अंतर यह है कि $S$ और $T$ को केवल रिफ्लेक्सिव संबंध (इक्विवेलेंस संबंध नहीं) होने की आवश्यकता है।

C. गणना रणनीति (Counting Strategy)

DSC गुणांक को इन ट्रिपल्स की गणना के अनुपात के रूप में व्यक्त किया जाता है:
$$\chi(S) = \frac{\sum_{k} |E_{I,k}| |E_{\Lambda,k}|}{\sum_{k} |R_{I,k}| |R_{\Lambda,k}|}$$
जहाँ:

• $k, G$ के नॉर्मल सबग्रुप्स को इंडेक्स करता है।
• $E$, लिंक्ड इक्विवेलेंस (equivalence) संबंधों को दर्शाता है।
• $R$, लिंक्ड रिफ्लेक्सिव (reflexive) संबंधों को दर्शाता है।
• लेखक विश्लेषण करते हैं कि कैसे मैट्रिक्स $P$ की संरचना और समूह $G$, "लिंक्ड" शर्तों को या तो निरर्थक (trivial) बनाती है (सभी संबंधों की अनुमति देती है) या प्रतिबंधात्मक (restrictive) बनाती है (संबंधों को डायगोनल होने के लिए मजबूर करती है)।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

A. डायगोनल सबसेमग्रुप्स का लक्षण वर्णन (अनुभाग 2)

लेखक रीस मैट्रिक्स अर्धसमूहों पर डायगोनल सबसेमग्रुप्स का पहला पूर्ण वर्गीकरण प्रदान करते हैं। वे सिद्ध करते हैं कि ये संरचनाएं लिंक्ड रिफ्लेक्सिव ट्रिपल्स के साथ एक-से-एक पत्राचार (one-to-one correspondence) में हैं, बशर्ते कि अंतर्निहित समूह DSC हो। यह डायगोनल सबसेमग्रुप्स के ज्ञात वर्गीकरण (लिंक्ड इक्क्विवेलेंस ट्रिपल्स) को डायगोनल सबसेमग्रुप्स के व्यापक वर्ग तक विस्तारित करता है।

B. DSC गुणांक पर सीमाएँ (Theorem 3.4)

एक रीस मैट्रिक्स अर्धसमूह $M[G; I, \Lambda; P]$ के लिए जहाँ $|I|=a$ और $|\Lambda|=b$ ($a,b > 1$):

• निम्नतम सीमा (Lower Bound): गुणांक रेक्टेंगुलर बैंड $I \times \Lambda$ के DSC गुणांक द्वारा निम्नतम सीमा पर बंधा हुआ है:
  $$\frac{B(a)B(b)}{2^{a^2-a} 2^{b^2-b}} \leq \chi(S)$$
  जहाँ $B(n)$ $n$-वाँ बेल नंबर (इक्विवेलेंस संबंधों की गणना करने वाला) है और $2^{n^2-n}$ रिफ्लेक्सिव संबंधों की गणना करता है।
• उच्चतम सीमा (Upper Bound): $\chi(S) < 1$ (चूंकि $S$ एक समूह नहीं है)।
• सरजक्टिविटी (Surjectivity): लेखक सिद्ध करते हैं कि किसी भी परिमेय $\alpha$ के लिए जो अंतराल $[\text{Lower Bound}, 1)$ में है, एक विशिष्ट समूह $G$ और मैट्रिक्स $P$ मौजूद है ताकि $\chi(S) = \alpha$ हो सके।

C. मुख्य प्रमेय: मानों का स्पेक्ट्रम (Theorem 1.2)

शोध पत्र मुख्य परिणाम सिद्ध करता है: परिमित अर्धसमूहों के लिए DSC गुणांकों का सेट ठीक $\mathbb{Q} \cap (0, 1]$ है।

• प्रमाण रणनीति: एक चक्रीय समूह (cyclic group) $G = \mathbb{Z}_{p^k}$ चुनकर और 2 की घातों का उपयोग करके मैट्रिक्स $P$ का सावधानीपूर्वक निर्माण करके, लेखक उन नॉर्मल सबग्रुप्स की संख्या को नियंत्रित करते हैं जो "लिंक्ड" शर्त को पूरा करते हैं।
• वे दिखाते हैं कि मापदंडों (parameters) को बदलकर, कंग्रुएंस और डायगोनल सबसेमग्रुप्स का अनुपात किसी भी परिमेय संख्या $\alpha$ को प्राप्त करने के लिए ट्यून किया जा सकता है जो सैद्धांतिक निचली सीमा (जो इंडेक्स सेट्स के आकार द्वारा निर्धारित होती है) और 1 के बीच है।
• चूंकि इंडेक्स सेट्स के बढ़ने के साथ निचली सीमा 0 की ओर बढ़ती है, इसलिए $(0, 1)$ के बीच किसी भी परिमेय $\alpha$ को प्राप्त किया जा सकता है।

D. क्लिफोर्ड अर्धसमूहों के साथ तुलना (अनुभाग 4)

लेखक संक्षिप्त रूप में क्लिफोर्ड अर्धसमूहों (समूहों का सेमिलैटिस/semilattices of groups) का विश्लेषण करते हैं।

• वे स्थापित करते हैं कि $\chi(S) \leq \chi(Y)$, जहाँ $Y$ अंतर्निहित सेमिलैटिस है।
• रीस मैट्रिक्स अर्धसमूहों के विपरीत, जहाँ इंडेक्स सेट्स के बढ़ने के साथ निचली सीमा 0 की ओर जाती है, क्लिफोर्ड अर्धसमूहों के लिए ऊपरी सीमा (सेमिलैटिस द्वारा निर्धारित) सेमिलैटिस के बढ़ने के साथ 0 की ओर अभिसरित (converge) होती प्रतीत होती है। यह सुझाव देता है कि क्लिफोर्ड अर्धसमूह विविध DSC गुणांक उत्पन्न करने के लिए पर्याप्त नहीं हो सकते हैं, जो इस समस्या के लिए रीस मैट्रिक्स निर्माण की अद्वितीय उपयोगिता को उजागर करता है।

4. महत्व (Significance)

• स्पेक्ट्रम की पूर्णता: शोध पत्र इस प्रश्न को हल करता है कि DSC गुणांक क्या मान ले सकते हैं, यह सिद्ध करते हुए कि मानों का सेट $(0, 1]$ के भीतर परिमेय संख्याओं में सघन (dense) और पूर्ण है।
• संरचनात्मक अंतर्दृष्टि: यह कंग्रुएंस और डायगोनल सबसेमग्रुप्स के बीच के संबंध की समझ को गहरा करता है, यह दिखाते हुए कि उनके बीच के "अंतराल" (gap) को रीस मैट्रिक्स निर्माण के माध्यम से सटीक रूप से नियंत्रित किया जा सकता है।
• पद्धतिगत नवाचार: डायगोनल सबसेमग्रुप्स की गणना करने के लिए एक उपकरण के रूप में "लिंक्ड रिफ्लेक्सिव ट्रिपल्स" का परिचय अन्य वर्गों के अर्धसमूहों पर भी लागू किया जा सकने वाला एक नया बीजगणितीय ढांचा प्रदान करता है।
• प्रति-सहज परिणाम (Counter-Intuitive Results): यह परिणाम क्लिफोर्ड अर्धसमूहों के व्यवहार के विपरीत है, जहाँ गुणांक सेमिलैटिस संरचना द्वारा बंधा होता है, जो यह सुझाव देता है कि रीस मैट्रिक्स अर्धसमूहों में इंडेक्स सेट्स की "जटिलता" विविध DSC गुणांक उत्पन्न करने वाला मुख्य कारक है।

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