2025-11-10T03:08:02.521234

On injective partial Catalan monoids

Al-Kharousi, Umar, Zubairu
Let $[n]$ be a finite chain $\{1, 2, \ldots, n\}$, and let $\mathcal{IC}_{n}$ be the semigroup consisting of all isotone and order-decreasing injective partial transformations on $[n]$. In addition, let $\mathcal{Q}^{\prime}_{n} = \{α\in \mathcal{IC}_{n} : \, 1\not \in \text{Dom } α\}$ be the subsemigroup of $\mathcal{IC}_{n}$, consisting of all transformations in $\mathcal{IC}_{n}$, each of whose domains does not contain $1$. For $1 \leq p \leq n$, let $K(n,p) = \{α\in \mathcal{IC}_{n} : \, |\text{Im }\, α| \leq p\}$ and $M(n,p) = \{α\in \mathcal{Q}^{\prime}_{n} : \, |\text{Im } \, α| \leq p\}$ be the two-sided ideals of $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$, respectively. Moreover, let ${RIC}_{p}(n)$ and ${RQ}^{\prime}_{p}(n)$ denote the Rees quotients of $K(n,p)$ and $M(n,p)$, respectively. It is shown in this article that for any \( S \in \{ \mathcal{RIC}_{p}(n), K(n,p) \} \), \( S \) is abundant; \( \mathcal{IC}_{n} \) is ample; and for any \( S \in \{ \mathcal{Q}^{\prime}_{n}, \mathcal{RQ}^{\prime}_{p}(n), M(n,p) \} \), \( S \) is right abundant for all values of \( n \), but not left abundant for \( n \geq 2 \). Furthermore, the ranks of the Rees quotients ${RIC}_{p}(n)$ and ${RQ}^{\prime}_{p}(n)$ are shown to be equal to the ranks of the two-sided ideals $K(n,p)$ and $M(n,p)$, respectively. These ranks are found to be $\binom{n}{p}+(n-1)\binom{n-2}{p-1}$ and $\binom{n}{p}+(n-2)\binom{n-3}{p-1}$, respectively. In addition, the ranks of the semigroups $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$ were found to be $2n$ and $n^{2}-3n+4$, respectively. Finally, we characterize all the maximal subsemigroups of $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$.
academic

इंजेक्टिव आंशिक कैटलान मोनॉयड्स पर

मूल जानकारी

  • पेपर ID: 2501.00285
  • शीर्षक: इंजेक्टिव आंशिक कैटलान मोनॉयड्स पर
  • लेखक: F. S. Al-Kharousi, A. Umar, M. M. Zubairu
  • वर्गीकरण: math.GR (समूह सिद्धांत)
  • प्रकाशन समय: 3 जनवरी 2025
  • पेपर लिंक: https://arxiv.org/abs/2501.00285

सारांश

यह पेपर परिमित श्रृंखला [n]={1,2,…,n}[n] = \{1, 2, \ldots, n\} पर एकदिष्ट और क्रम-ह्रासमान इंजेक्टिव आंशिक रूपांतरण अर्धसमूह ICn\mathcal{IC}_n और इसके उप-अर्धसमूह Qn′\mathcal{Q}'_n के बीजगणितीय गुणों और रैंक गुणों का अध्ययन करता है। मुख्य परिणामों में शामिल हैं: यह सिद्ध करना कि ICn\mathcal{IC}_n पर्याप्त (ample) है, जबकि Qn′\mathcal{Q}'_n दाएं-पर्याप्त है लेकिन n≥2n \geq 2 के लिए बाएं-पर्याप्त नहीं है; संबंधित रीज़ भागफल अर्धसमूहों की रैंक का निर्धारण; और ICn\mathcal{IC}_n और Qn′\mathcal{Q}'_n के सभी अधिकतम उप-अर्धसमूहों का लक्षण वर्णन।

अनुसंधान पृष्ठभूमि और प्रेरणा

अनुसंधान समस्याएं

यह पेपर मुख्य रूप से इंजेक्टिव आंशिक कैटलान अर्धसमूह ICn\mathcal{IC}_n और इसकी संबंधित संरचनाओं के बीजगणितीय गुणों का अध्ययन करता है, विशेष रूप से:

  1. ग्रीन संबंधों और उनके तारांकित समरूपों का लक्षण वर्णन
  2. पर्याप्तता (abundance) और समृद्धता (ampleness) का निर्धारण
  3. विभिन्न संबंधित अर्धसमूहों की रैंक की गणना
  4. अधिकतम उप-अर्धसमूहों का संपूर्ण लक्षण वर्णन

समस्या की महत्ता

  1. सैद्धांतिक महत्व: ICn\mathcal{IC}_n रूपांतरण अर्धसमूह सिद्धांत में एक महत्वपूर्ण वस्तु है, जिसके तत्वों की संख्या ठीक (n+1)(n+1)वीं कैटलान संख्या cn+1c_{n+1} है, जो संयोजक गणित और अर्धसमूह सिद्धांत को जोड़ता है
  2. संरचना अनुसंधान: इस प्रकार के अर्धसमूह रूपांतरण अर्धसमूहों के वर्गीकरण और संरचना सिद्धांत में महत्वपूर्ण भूमिका निभाते हैं
  3. कम्प्यूटेशनल जटिलता: रैंक की गणना अर्धसमूह के जनन गुणों को समझने के लिए महत्वपूर्ण है

मौजूदा अनुसंधान की सीमाएं

हालांकि ICn\mathcal{IC}_n के कुछ गुणों का अध्ययन किया गया है, लेकिन इसके उप-अर्धसमूह Qn′\mathcal{Q}'_n और संबंधित रीज़ भागफल अर्धसमूहों के बीजगणितीय और रैंक गुणों का पहले व्यवस्थित रूप से अध्ययन नहीं किया गया था।

मुख्य योगदान

  1. बीजगणितीय संरचना विश्लेषण: ICn\mathcal{IC}_n, Qn′\mathcal{Q}'_n और उनके संबंधित आदर्शों और रीज़ भागफलों के ग्रीन संबंधों और तारांकित ग्रीन संबंधों का संपूर्ण लक्षण वर्णन
  2. पर्याप्तता निर्धारण: यह सिद्ध करना कि ICn\mathcal{IC}_n समृद्ध (ample) है, Qn′\mathcal{Q}'_n दाएं-पर्याप्त है लेकिन बाएं-पर्याप्त नहीं है
  3. रैंक सूत्र: सभी संबंधित अर्धसमूहों के लिए सटीक रैंक सूत्र प्रदान करना
  4. अधिकतम उप-अर्धसमूह लक्षण वर्णन: ICn\mathcal{IC}_n और Qn′\mathcal{Q}'_n की अधिकतम उप-अर्धसमूह संरचना का संपूर्ण निर्धारण

विधि विवरण

मूल परिभाषाएं और संकेतन

α∈ICn\alpha \in \mathcal{IC}_n के लिए, दो-पंक्ति संकेतन का उपयोग करते हुए: α=(x1⋯xpa1⋯ap)\alpha = \begin{pmatrix} x_1 & \cdots & x_p \\ a_1 & \cdots & a_p \end{pmatrix} जहां ai≤xia_i \leq x_i (क्रम-ह्रास गुण) और 1≤x1<⋯<xp≤n1 \leq x_1 < \cdots < x_p \leq n, 1≤a1<⋯<ap≤n1 \leq a_1 < \cdots < a_p \leq n (एकदिष्टता और इंजेक्टिविटी)।

मुख्य अवधारणाएं

अर्ध-निरंजक तत्व

परिभाषा 3.1: तत्व α∈ICn\alpha \in \mathcal{IC}_n को अर्ध-निरंजक कहा जाता है, यदि α2\alpha^2 निरंजक है, समतुल्य रूप से, α4=α2\alpha^4 = \alpha^2।

आवश्यक तत्व

परिभाषा 3.5: विस्थापन 1 वाला अर्ध-निरंजक तत्व ε\varepsilon को आवश्यक कहा जाता है, यदि इसका रूप है: ε=(y1⋯yi−1yiyi+1⋯ypy1⋯yi−1yi−1yi+1⋯yp)\varepsilon = \begin{pmatrix} y_1 & \cdots & y_{i-1} & y_i & y_{i+1} & \cdots & y_p \\ y_1 & \cdots & y_{i-1} & y_i-1 & y_{i+1} & \cdots & y_p \end{pmatrix}

अनिवार्य तत्व

परिभाषा 3.18: Qn′\mathcal{Q}'_n में ऊंचाई pp वाला इंजेक्टिव मानचित्र α\alpha को अनिवार्य कहा जाता है, यदि इसका रूप है: αi=(2⋯iai⋯ap1⋯i−1ai⋯ap)\alpha_i = \begin{pmatrix} 2 & \cdots & i & a_i & \cdots & a_p \\ 1 & \cdots & i-1 & a_i & \cdots & a_p \end{pmatrix}

तकनीकी नवाचार

  1. एकीकृत ग्रीन संबंध लक्षण वर्णन: प्रतिबिंब समुच्चय और परिभाषा क्षेत्र की समानता के माध्यम से L∗L^* और R∗R^* संबंधों का लक्षण वर्णन
  2. अर्ध-निरंजक जनन सिद्धांत: यह सिद्ध करना कि ICn\mathcal{IC}_n अर्ध-निरंजक तत्वों द्वारा जनित है, और इसलिए आवश्यक तत्वों द्वारा जनित है
  3. स्तरीय विश्लेषण विधि: J∗J^*-वर्गों के स्तरीय विभाजन के माध्यम से अर्धसमूह संरचना का विश्लेषण

मुख्य परिणाम

ग्रीन संबंधों का लक्षण वर्णन

प्रमेय 2.9: α,β∈ICn\alpha, \beta \in \mathcal{IC}_n के लिए:

  • αL∗β\alpha L^* \beta यदि और केवल यदि Imα=Imβ\text{Im}\alpha = \text{Im}\beta
  • αR∗β\alpha R^* \beta यदि और केवल यदि Domα=Domβ\text{Dom}\alpha = \text{Dom}\beta
  • αH∗β\alpha H^* \beta यदि और केवल यदि α=β\alpha = \beta

पर्याप्तता परिणाम

प्रमेय 2.8:

  • ICn\mathcal{IC}_n पर्याप्त है
  • Qn′\mathcal{Q}'_n दाएं-पर्याप्त है

प्रमेय 2.11: ICn\mathcal{IC}_n समृद्ध है

रैंक सूत्र

प्रमेय 3.13: रीज़ भागफल RICn(p)R\mathcal{IC}_n(p) की रैंक है: rank(RICn(p))=(n−1)(n−2p−1)+(np)\text{rank}(R\mathcal{IC}_n(p)) = (n-1)\binom{n-2}{p-1} + \binom{n}{p}

प्रमेय 3.27: रीज़ भागफल RQn′(p)R\mathcal{Q}'_n(p) की रैंक है: rank(RQn′(p))=(np)+(n−2)(n−3p−1)\text{rank}(R\mathcal{Q}'_n(p)) = \binom{n}{p} + (n-2)\binom{n-3}{p-1}

उपफल 3.17: rank(ICn)=2n\text{rank}(\mathcal{IC}_n) = 2^n

प्रमेय 3.35: rank(Qn′)=n2−3n+4\text{rank}(\mathcal{Q}'_n) = n^2 - 3n + 4

अधिकतम उप-अर्धसमूह

प्रमेय 4.1: ICn\mathcal{IC}_n के अधिकतम उप-अर्धसमूह ठीक तीन प्रकार के हैं:

  1. Mid[n]=ICn∖{id[n]}M_{\text{id}_{[n]}} = \mathcal{IC}_n \setminus \{\text{id}_{[n]}\}
  2. Mεi,i+1=ICn∖{εi,i+1}M_{\varepsilon_{i,i+1}} = \mathcal{IC}_n \setminus \{\varepsilon_{i,i+1}\} (1≤i≤n−11 \leq i \leq n-1)
  3. Mεi=ICn∖{εi}M_{\varepsilon_i} = \mathcal{IC}_n \setminus \{\varepsilon_i\} (1≤i≤n1 \leq i \leq n)

उपफल 4.2: ICn\mathcal{IC}_n के ठीक 2n2n अधिकतम उप-अर्धसमूह हैं।

उपफल 4.4: Qn′\mathcal{Q}'_n के ठीक n2−3n+4n^2 - 3n + 4 अधिकतम उप-अर्धसमूह हैं।

तकनीकी विधियां

प्रमाण रणनीति

  1. व्युत्क्रम आदर्श विधि: यह सिद्ध करना कि ICn\mathcal{IC}_n InI_n का व्युत्क्रम आदर्श है, और इसलिए पर्याप्तता को विरासत में लेता है
  2. अपघटन तकनीक: किसी भी तत्व को आवश्यक तत्वों और निरंजकों के गुणनफल में अपघटित करना
  3. संयोजक गणना: विभिन्न तत्वों की संख्या की गणना के लिए संयोजक सर्वसमिकाओं का उपयोग
  4. जनन समुच्चय न्यूनीकरण: यह सिद्ध करके कि कुछ तत्व अपघटनीय नहीं हैं, न्यूनतम जनन समुच्चय का निर्धारण

मुख्य लेम्मा

लेम्मा 3.3: ICn\mathcal{IC}_n अर्ध-निरंजक-जनित है।

लेम्मा 3.14: 0≤p≤n−20 \leq p \leq n-2 और n≥4n \geq 4 के लिए, Jp∗⊂⟨Jp+1∗⟩J^*_p \subset \langle J^*_{p+1} \rangle।

संबंधित कार्य

यह पेपर रूपांतरण अर्धसमूह सिद्धांत के समृद्ध साहित्य पर आधारित है, विशेष रूप से:

  • Ganyushkin और Mazorchuk की शास्त्रीय कृति सैद्धांतिक ढांचा प्रदान करती है
  • Umar और अन्य के पूर्व कार्य ने क्रम-ह्रास रूपांतरण अर्धसमूहों का आधार स्थापित किया
  • Fountain का पर्याप्त अर्धसमूह सिद्धांत विश्लेषण उपकरण प्रदान करता है

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. इंजेक्टिव आंशिक कैटलान अर्धसमूह और इसकी उप-संरचनाओं के बीजगणितीय गुणों का संपूर्ण निर्धारण
  2. सभी संबंधित अर्धसमूहों के लिए सटीक रैंक सूत्र
  3. अधिकतम उप-अर्धसमूहों की संपूर्ण संरचना का लक्षण वर्णन

सैद्धांतिक महत्व

  • रूपांतरण अर्धसमूह सिद्धांत की सामग्री को समृद्ध करता है
  • कैटलान संख्याओं और अर्धसमूह रैंक के बीच नए संबंध स्थापित करता है
  • संबंधित रूपांतरण अर्धसमूहों के आगे के अनुसंधान के लिए पद्धति प्रदान करता है

सीमाएं

  • मुख्य रूप से परिमित स्थिति पर केंद्रित है, अनंत स्थिति का सामान्यीकरण अभी तक संबोधित नहीं किया गया है
  • कुछ प्रमाण विशिष्ट संयोजक गणना पर निर्भर करते हैं, सामान्यीकरण की डिग्री सीमित है

गहन मूल्यांकन

शक्तियां

  1. प्रणालीगत शक्ति: संबंधित अर्धसमूहों के कई महत्वपूर्ण गुणों का व्यापक अनुसंधान
  2. तकनीकी कौशल: अर्धसमूह सिद्धांत के कई उपकरणों का कुशल उपयोग
  3. परिणाम की पूर्णता: सटीक सूत्र और संपूर्ण लक्षण वर्णन प्रदान करता है
  4. विधि नवाचार: आवश्यक तत्वों और अनिवार्य तत्वों की अवधारणाओं का परिचय

कमियां

  1. कुछ प्रमाण अत्यधिक तकनीकी हैं, ज्यामितीय या संयोजक अंतर्ज्ञान की कमी है
  2. अन्य गणितीय शाखाओं के साथ संबंधों की पर्याप्त गहराई से खोज नहीं की गई है
  3. कम्प्यूटेशनल जटिलता पहलुओं पर कम विचार किया गया है

प्रभाव

यह पेपर रूपांतरण अर्धसमूह सिद्धांत पर महत्वपूर्ण प्रभाव डालेगा, विशेष रूप से:

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

लागू परिदृश्य

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

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