Finite Presentability of Brin-Higman-Thompson Monoids via Free Jónsson-Tarski Algebras

तकनीकी सारांश: मुक्त बहुआयामी जोन्सन-टार्स्की बीजगणितों के माध्यम से ब्रिन-हिगमैन-थॉम्पसन मोनोइड्स की परिमित प्रस्तुति (Finite Presentability)

समस्या विवरण
यह शोध पत्र उन मोनोइड्स $tot \, {}_n M_{k,r}$ की संरचनात्मक गुणों को संबोधित करता है, जो ब्रिन-हिगमैन-थॉम्पसन समूहों ${}_n G_{k,r}$ के गैर-आंशिक सामान्यीकरण (non-partial generalizations) हैं। बिर्गेट (Birget) द्वारा प्रस्तुत ये मोनोइड्स, उच्च आयामों में थॉम्पसन के समूह $V$ (और इसके मोनोइड संस्करण $tot \, M_{2,1}$) का विस्तार करते हैं और इसमें प्रीफिक्स कोड्स पर आंशिक मानचित्र (partial maps) शामिल हैं जो आवश्यक रूप से आक्षेपी (injective) नहीं होते हैं। जबकि थॉम्पसन के समूह $V$ और उनके उच्च-आयामी एनालॉग्स ${}_n G_{k,r}$ की परिमित प्रस्तुति (finite presentability) सुस्थापित है, उनसे संबंधित मोनोइड्स $tot \, {}_n M_{k,r}$ की परिमित प्रस्तुति सिद्ध नहीं की गई थी। लेखक इस उद्देश्य के साथ कार्य करते हैं कि सभी $n, r \ge 1$ और $k \ge 2$ के लिए ये मोनोइड्स परिमित रूप से प्रस्तुत (finitely presented) हैं।

कार्यप्रणाली
लेखक एक दोहरी पद्धति अपनाते हैं जो बीजगणिक ज्यामिति (जोन्सन-टार्स्की किस्मों के माध्यम से) और संयोजनकारी पुनर्लेखन प्रणालियों (combinatorial rewriting systems) को जोड़ती है।

1. जोन्सन-टार्स्की बीजगणितों के माध्यम से बीजगणिक यथार्थता (Algebraic Realization):
   लेखक $tot \, {}_n M_{k,r}$ मोनोइड और एक $n$-आयामी $k$-ary जोन्सन-टार्स्की किस्म (variety) के मुक्त बीजगणक के एंडोमोर्फिज्म मोनोइड $End(F_{n,k,r})$ के बीच एक समरूपता (isomorphism) स्थापित करते हैं।

• वे किस्म ${}_n J_k$ को $n$ $k$-ary ऑपरेशन्स ($\lambda_i$) और $nk$ unary ऑपरेशन्स ($\alpha_{i,j}$) का उपयोग करके परिभाषित करते हैं, जो विशिष्ट व्युत्क्रम और क्रमविनिमेय संबंधों (commutation relations) को संतुष्ट करते हैं।
• वे "श्रबरीज" (shrubberies - स्थान ${}_n T_{k,r}$ के तत्व जो प्रीफिक्स कोड्स का प्रतिनिधित्व करते हैं) और $F_{n,k,r}$ के मुक्त जनकों (free generators) के बीच एक मैपिंग का निर्माण करते हैं।
• "विस्तार" (expansions) की अवधारणा का उपयोग करते हुए (जो थॉम्पसन समूहों में ट्री एक्सपेंशन के समान है), वे सिद्ध करते हैं कि पूर्ण प्रीफिक्स कोड्स, बीजगणक के मुक्त जनक सेटों के साथ एक द्वैत संबंध (bijection) रखते हैं। यह इस प्रक्रिया को सक्षम बनाता है कि मोनोइड के तत्वों को इन जनक सेटों पर कार्य करने वाले एंडोमोर्फिज्म के रूप में दर्शाया जा सके।

2. पुनर्लेखन परिप्रेक्ष्य (The Rewrite Perspective):
   परिमित प्रस्तुति को सिद्ध करने के लिए, लेखक एक प्रति-समरूप (anti-isomorphic) मोनोइड, ${}_n Rel_{k,r}$ की ओर बढ़ते हैं, जिसके तत्वों को लेबल किए गए मुक्त जनक सेटों पर कार्य करने वाले "रीराइट नियमों" (rewrite rules) के रूप में देखा जाता है।

• वे "लेबल किए गए मुक्त जनक सेट" पेश करते हैं जहाँ जनकों को एक अनंत सेट से लेबल दिए जाते हैं।
• मोनोइड के तत्वों को इस प्रकार परिभाषित किया जाता है कि वे लेबल को संरक्षित करते हुए एक लेबल सेट को दूसरे में मैप करते हैं। यह ढांचा लेखकों को मोनोइड तत्वों को अभिव्यक्तियों (expressions) के रूपांतरण के रूप में मानने की अनुमति देता है (जो थॉम्पसन के समूह $V$ के ब्रैकेटेड एक्सप्रेशन के समान है)।
• वे "डिफरमेंट्स" (deferments) को पेश करते हैं, जो किसी मानचित्र की क्रिया को विशिष्ट रूट सिस्टम्स (root systems) पर स्थानांतरित करने की अनुमति देते हैं, जिससे जनकों का हेरफेर सुलभ हो जाता है।

3. प्रस्तुति का निर्माण:
   परिमित प्रस्तुति की सिद्धि निम्नलिखित चरणों में आगे बढ़ती है:

• यह प्रदर्शित करना कि मोनोइड अपने यूनिट्स के समूह (automorphisms) और दो विशिष्ट गैर-व्युत्क्रमणीय तत्वों ($U$ और $\pi$) द्वारा परिमित रूप से जनित (finitely generated) है।
• एक उप-मोनोइड ${}_n P_{k,1}$ का निर्माण करना जो एक मुक्त मोनोइड उत्पाद के समरूप है, जो तत्वों के बीच समानता का पता लगाने के लिए एक उपकरण के रूप में कार्य करता है।
• एक स्पष्ट परिमित प्रस्तुति $\langle \Sigma | R \rangle$ का निर्माण करना। इन संबंधों (relations) में यूनिट्स को परिभाषित करने वाले संबंध, यूनिट्स और गैर-व्युत्क्रमणीय जनकों के बीच की अंतःक्रिया को नियंत्रित करने वाले संबंध, और "डिफरमेंट" तंत्र और मुक्त बीजगणक की संरचना से प्राप्त विशिष्ट संबंध शामिल हैं।

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

• प्रमेय 1.1 (समरूपता): $r, n \ge 1$ और $k \ge 2$ के लिए, मोनोइड $tot \, {}_n M_{k,r}$, $n$-आयामी $k$-ary जोन्सन-टार्स्की किस्म के $r$-जनित मुक्त बीजगणक के एंडोमोर्फिज्म मोनोइड के समरूप है। यह इन मोनोइड्स के लिए एक ठोस बीजगणिक मॉडल प्रदान करता है।
• प्रमेय 1.2 (परिमित प्रस्तुति): मोनोइड $tot \, {}_n M_{k,r}$ परिमित रूप से प्रस्तुत (finitely presented) है।
• स्पष्ट प्रस्तुति: लेखक विशिष्ट मामले $tot \, M_{2,1}$ (थॉम्पसन का मूल मोनोइड) के लिए एक स्पष्ट, हालांकि जटिल, परिमित प्रस्तुति प्रदान करते हैं। इसमें जनरेटर $u, v, \pi_L, U$ और 82 संबंध शामिल हैं, जो सामान्य निर्माण से प्राप्त हुए हैं।
• थॉम्पसन के प्रमाण का सामान्यीकरण: यह कार्य थॉम्पसन के अपने मोनोइड की परिमित प्रस्तुति के लिए मूल प्रमाण की पद्धति को उच्च-आयामी सेटिंग में अनुकूलित करता है, जिसमें उच्च-आयामी प्रीफिक्स कोड्स को संभालने के लिए जोन्सन-टार्स्की बीजगणितों की संरचना का उपयोग किया गया है।

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

लेखक नोट करते हैं कि जबकि उनकी पद्धतियां सफलतापूर्वक गैर-आंशिक मोनोइड्स $tot \, {}_n M_{k,r}$ को संबोधित करती हैं, आंशिक मोनोइड्स ${}_n M_{k,r}$ (जिनमें गैर-आक्षेपी मानचित्र शामिल हैं जिनके इमेज सेट तुलनात्मक रूप से भिन्न हो सकते हैं) की परिमित प्रस्तुति का प्रश्न अभी भी खुला है। वे सुझाव देते हैं कि उनके तरीकों को इन आंशिक संरचनाओं को संबोधित करने के लिए संशोधित किया जा सकता है, लेकिन वे उस विशिष्ट मामले को हल करने का दावा नहीं करते हैं। यह कार्य हिगमैन-थॉम्पसन प्रकार के समूहों और मोनोइड्स की संरचना को समझने में जोन्सन-टार्स्की बीजगणकों की उपयोगिता को भी रेखांकित करता है।