2025-11-10T02:36:05.255019

On certain semigroups of finite oriented and order-decreasing partial transformations

Ayık, Ayık, Dimitrova et al.
Let $\mathcal{PORD}_{n}$ be the semigroup consisting of all oriented and order-decreasing partial transformations on the finite chain $X_{n}=\{ 1<\cdots<n \}$. Let $\mathcal{IORD}_{n}$ be the subsemigroup of $\mathcal{PORD}_{n}$ consisting of all injective transformations of $\mathcal{PORD}_{n}$. For $2\leq r\leq n$, let $\mathcal{PORD}(n,r) =\{ α\in \mathcal{PORD}_{n} :\lvert \text{im}(α) \rvert \leq r\}$ and $\mathcal{IORD}(n,r)=\{ α\in \mathcal{IORD}_{n} :\lvert \text{im}(α)\rvert \leq r\}$. In this paper, we determine some minimal generating sets and ranks of $\mathcal{PORD}(n,r)$ and $\mathcal{IORD}(n,r)$, and moreover, we characterize the maximal subsemigroups of $\mathcal{PORD}(n,r)$ and $\mathcal{IORD}(n,r)$.
academic

परिमित उन्मुख और क्रम-ह्रासमान आंशिक रूपांतरणों के कुछ अर्धसमूहों पर

मूल जानकारी

  • पेपर ID: 2510.13484
  • शीर्षक: परिमित उन्मुख और क्रम-ह्रासमान आंशिक रूपांतरणों के कुछ अर्धसमूहों पर
  • लेखक: गोंका अयीक, हयरुल्लाह अयीक, इलिंका दिमित्रोवा, जॉर्ग कोप्पित्ज़
  • वर्गीकरण: math.RA (वलय और बीजगणित)
  • प्रकाशन समय: 15 अक्टूबर 2025
  • पेपर लिंक: https://arxiv.org/abs/2510.13484v1

सारांश

यह पेपर परिमित श्रृंखला Xn={1<⋯<n}X_n = \{1 < \cdots < n\} पर उन्मुख और क्रम-ह्रासमान आंशिक रूपांतरण अर्धसमूह PORDn\mathcal{PORD}_n और इसके एकैकी उप-अर्धसमूह IORDn\mathcal{IORD}_n का अध्ययन करता है। 2≤r≤n2 \leq r \leq n के लिए, PORD(n,r)={α∈PORDn:∣im(α)∣≤r}\mathcal{PORD}(n,r) = \{\alpha \in \mathcal{PORD}_n : |\text{im}(\alpha)| \leq r\} और IORD(n,r)={α∈IORDn:∣im(α)∣≤r}\mathcal{IORD}(n,r) = \{\alpha \in \mathcal{IORD}_n : |\text{im}(\alpha)| \leq r\} को परिभाषित किया गया है। पेपर PORD(n,r)\mathcal{PORD}(n,r) और IORD(n,r)\mathcal{IORD}(n,r) के न्यूनतम जनक समुच्चय और कोटि को निर्धारित करता है, और उनके अधिकतम उप-अर्धसमूहों को चित्रित करता है।

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

समस्या की पृष्ठभूमि

रूपांतरण अर्धसमूह सिद्धांत बीजगणित की एक महत्वपूर्ण शाखा है जो समुच्चय पर रूपांतरणों की बीजगणितीय संरचना का अध्ययन करती है। इस पेपर की मुख्य समस्याएं हैं:

  1. उन्मुख रूपांतरण: एक आंशिक रूपांतरण α\alpha को उन्मुख कहा जाता है यदि यह दिशा-संरक्षी या दिशा-विपरीत है
  2. क्रम-ह्रासमान: परिभाषा क्षेत्र के प्रत्येक तत्व xx के लिए, xα≤xx\alpha \leq x है
  3. अर्धसमूह के जनक समुच्चय और कोटि: अर्धसमूह के न्यूनतम जनक समुच्चय और इसके आकार (कोटि) को निर्धारित करना
  4. अधिकतम उप-अर्धसमूह: अर्धसमूह में सभी अधिकतम उप-अर्धसमूहों की संरचना को चित्रित करना

अनुसंधान का महत्व

  1. सैद्धांतिक मूल्य: रूपांतरण अर्धसमूह सिद्धांत को विस्तारित करता है, विशेषकर परिमित श्रृंखलाओं पर विशेष रूपांतरण वर्गों में
  2. संरचना विश्लेषण: इस प्रकार के अर्धसमूहों की बीजगणितीय संरचना और संयोजक गुणों को गहराई से समझना
  3. अनुप्रयोग आधार: संबंधित संयोजक गणित और बीजगणितीय संरचना अनुसंधान के लिए सैद्धांतिक आधार प्रदान करना

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

यद्यपि क्रम-संरक्षी रूपांतरण, दिशा-संरक्षी रूपांतरण आदि पर अनुसंधान मौजूद है, लेकिन एक साथ उन्मुख और क्रम-ह्रासमान शर्तों को संतुष्ट करने वाले आंशिक रूपांतरण अर्धसमूहों के जनक समुच्चय, कोटि और अधिकतम उप-अर्धसमूहों का पूर्ण चित्रण अभी भी स्पष्ट नहीं है।

मुख्य योगदान

  1. PORD(n,r)\mathcal{PORD}(n,r) के न्यूनतम जनक समुच्चय को निर्धारित किया: यह सिद्ध किया गया कि जब n−⌊n/3⌋≤r≤n−1n-\lfloor n/3 \rfloor \leq r \leq n-1 हो, तो Er∪Fr∪GnE_r \cup F_r \cup G_n न्यूनतम जनक समुच्चय है
  2. अर्धसमूह की कोटि की गणना की:
    • rank(PORD(n,r))=(nr)2n−r+(2n−r−1)(r−2)2+n(n−3)2\text{rank}(\mathcal{PORD}(n,r)) = \binom{n}{r}2^{n-r} + \frac{(2n-r-1)(r-2)}{2} + \frac{n(n-3)}{2}
    • rank(PORDn)=n2−n+1\text{rank}(\mathcal{PORD}_n) = n^2 - n + 1
  3. एकैकी स्थिति को चित्रित किया: IORD(n,r)\mathcal{IORD}(n,r) के जनक समुच्चय और कोटि सूत्र दिए
  4. अधिकतम उप-अर्धसमूहों को पूरी तरह चित्रित किया: विभिन्न पैरामीटर श्रेणियों के लिए सभी अधिकतम उप-अर्धसमूहों का वर्गीकरण दिया

विधि विवरण

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

  • परिमित श्रृंखला: Xn={1<2<⋯<n}X_n = \{1 < 2 < \cdots < n\}
  • आंशिक रूपांतरण: XnX_n के उप-समुच्चय से XnX_n तक का मानचित्र
  • उन्मुख रूपांतरण: दिशा-संरक्षी या दिशा-विपरीत रूपांतरण
  • क्रम-ह्रासमान: सभी x∈dom(α)x \in \text{dom}(\alpha) के लिए, xα≤xx\alpha \leq x है

मुख्य तकनीकी अवधारणाएं

1. वर्गसमान तत्वों का वर्गीकरण

पेपर सिद्ध करता है कि E(PORDn)=E(POPDn)E(\mathcal{PORD}_n) = E(\mathcal{POPD}_n), जहां:

  • Er(PORDn)={α∈E(PORDn):∣im(α)∣=r}E_r(\mathcal{PORD}_n) = \{\alpha \in E(\mathcal{PORD}_n) : |\text{im}(\alpha)| = r\}
  • ∣Er(PORDn)∣=(nr)2n−r|E_r(\mathcal{PORD}_n)| = \binom{n}{r}2^{n-r}

2. अविघटनीय तत्व

तीन प्रकार के अविघटनीय तत्वों को परिभाषित किया:

  • ErE_r: प्रतिबिंब आकार rr वाले वर्गसमान तत्व
  • FrF_r: विशेष रूप के वर्गसमान तत्व ξp,qr\xi^r_{p,q}
  • GnG_n: विशेष दिशा-विपरीत रूपांतरण γp,q\gamma_{p,q}

3. दिशा-विपरीत ह्रास डिग्री

α∈PORDn∗\alpha \in \mathcal{PORD}^*_n के लिए, परिभाषित करें: ord(α)=max⁡{m:α∣Xm∈PMDn और max⁡(im(α))=(m+1)α}\text{ord}(\alpha) = \max\{m : \alpha|_{X_m} \in \mathcal{PMD}_n \text{ और } \max(\text{im}(\alpha)) = (m+1)\alpha\}

मुख्य प्रमेय

प्रमेय 8 (मुख्य परिणाम)

जब n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1 हो, तो Er∪Fr∪GnE_r \cup F_r \cup G_n PORD(n,r)\mathcal{PORD}(n,r) का न्यूनतम जनक समुच्चय है, और: rank(PORD(n,r))=(nr)2n−r+(2n−r−1)(r−2)2+n(n−3)2\text{rank}(\mathcal{PORD}(n,r)) = \binom{n}{r}2^{n-r} + \frac{(2n-r-1)(r-2)}{2} + \frac{n(n-3)}{2}

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

  1. प्रत्येक तत्व अविघटनीय है यह सिद्ध करना
  2. जनक समुच्चय की आवश्यकता को सिद्ध करना
  3. जनक समुच्चय की पर्याप्तता को सिद्ध करना, किसी भी तत्व को जनकों के गुणनफल के रूप में व्यक्त करके

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन

यह पेपर शुद्ध सैद्धांतिक अनुसंधान है, गणितीय प्रमाण द्वारा परिणामों को सत्यापित करता है:

  1. संयोजक गणना: विभिन्न प्रकार के तत्वों के संख्या सूत्रों को सत्यापित करना
  2. ठोस उदाहरण: छोटे पैमाने की स्थितियों में ठोस गणना प्रदान करना
  3. विशेष स्थितियां: ज्ञात परिणामों को विशेष मामलों के रूप में सत्यापित करना

सत्यापन विधि

  • गणितीय प्रेरण द्वारा मुख्य प्रमेय को सिद्ध करना
  • विभिन्न पैरामीटर श्रेणियों को संभालने के लिए वर्गीकृत चर्चा का उपयोग करना
  • जनक प्रक्रिया को प्रदर्शित करने के लिए रचनात्मक प्रमाण

प्रायोगिक परिणाम

मुख्य परिणाम

1. कोटि की गणना के परिणाम

  • rank(PORD4)=13\text{rank}(\mathcal{PORD}_4) = 13
  • rank(PORD5)=21\text{rank}(\mathcal{PORD}_5) = 21
  • सामान्य सूत्र: rank(PORDn)=n2−n+1\text{rank}(\mathcal{PORD}_n) = n^2 - n + 1

2. एकैकी स्थिति

rank(IORD(n,r))=(nr)+n(n−2r−1)+(r−2)n−r2−r−22+n(n−3)2\text{rank}(\mathcal{IORD}(n,r)) = \binom{n}{r} + n\binom{n-2}{r-1} + \frac{(r-2)n - r^2 - r - 2}{2} + \frac{n(n-3)}{2}

3. अधिकतम उप-अर्धसमूहों का वर्गीकरण

n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1 के लिए, अधिकतम उप-अर्धसमूह तीन प्रकार के हैं:

  1. PORD(n,r)∖{ε}\mathcal{PORD}(n,r) \setminus \{\varepsilon\}, जहां ε∈Er\varepsilon \in E_r
  2. PORD(n,r)∖Fp,qr\mathcal{PORD}(n,r) \setminus F^r_{p,q}
  3. PORD(n,r)∖Gp,q\mathcal{PORD}(n,r) \setminus G_{p,q}

महत्वपूर्ण खोजें

प्रस्ताव 1

rn=max⁡{∣im(α)∣:α∈PRDn∗}=n−⌊n/3⌋r_n = \max\{|\text{im}(\alpha)| : \alpha \in \mathcal{PRD}^*_n\} = n - \lfloor n/3 \rfloor

यह परिणाम दिशा-विपरीत ह्रास रूपांतरणों के अधिकतम प्रतिबिंब आकार को निर्धारित करता है।

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

ऐतिहासिक विकास

  1. गोम्स और होवी (1992): क्रम-संरक्षी रूपांतरण अर्धसमूहों की कोटि निर्धारित की
  2. फर्नांडेस आदि (2009): दिशा-संरक्षी रूपांतरणों की कोटि का अध्ययन किया
  3. दिमित्रोवा और कोप्पित्ज़ (2012): क्रम-संरक्षी विस्तार रूपांतरणों का अध्ययन किया
  4. अयीक आदि (2025): दिशा-संरक्षी क्रम-ह्रासमान रूपांतरणों का अध्ययन किया

इस पेपर का योगदान

यह पेपर पहली बार उन्मुख और क्रम-ह्रासमान आंशिक रूपांतरण अर्धसमूहों का संपूर्ण अध्ययन करता है, इस विशेष रूपांतरण वर्ग के सैद्धांतिक अंतराल को भरता है।

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

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

  1. PORD(n,r)\mathcal{PORD}(n,r) और IORD(n,r)\mathcal{IORD}(n,r) की कोटि को पूरी तरह निर्धारित किया
  2. स्पष्ट न्यूनतम जनक समुच्चय दिए
  3. सभी अधिकतम उप-अर्धसमूहों को पूरी तरह चित्रित किया

सीमाएं

  1. 3≤r<n−⌊n/3⌋3 \leq r < n - \lfloor n/3 \rfloor की स्थिति के लिए, ∣Hnr∣|H^r_n| का स्पष्ट सूत्र नहीं दिया जा सका
  2. कुछ प्रमाण जटिल वर्गीकृत चर्चा पर निर्भर करते हैं, अधिक सरल विधि संभव हो सकती है

भविष्य की दिशाएं

पेपर द्वारा प्रस्तावित खुली समस्या: क्या ∣Hnr∣|H^r_n| का स्पष्ट सूत्र मौजूद है? यह आगामी अनुसंधान के लिए दिशा निर्दिष्ट करता है।

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

शक्तियां

  1. पूर्णता: एक नए रूपांतरण अर्धसमूह वर्ग का व्यवस्थित अध्ययन
  2. तकनीकी नवाचार: दिशा-विपरीत ह्रास डिग्री जैसी नई अवधारणाएं प्रस्तुत करना
  3. परिणामों की पूर्णता: जनक समुच्चय, कोटि और अधिकतम उप-अर्धसमूह समस्याओं को एक साथ हल करना
  4. प्रमाण की कठोरता: सभी परिणामों में पूर्ण गणितीय प्रमाण हैं

कमियां

  1. गणना की जटिलता: कुछ सूत्र काफी जटिल हैं, व्यावहारिक गणना कठिन है
  2. खुली समस्याएं: अभी भी कुछ अनसुलझी संयोजक गणना समस्याएं हैं
  3. अनुप्रयोग सीमाएं: मुख्यतः सैद्धांतिक परिणाम हैं, व्यावहारिक अनुप्रयोग स्पष्ट नहीं हैं

प्रभाव

  1. सैद्धांतिक योगदान: रूपांतरण अर्धसमूह सिद्धांत को समृद्ध करता है
  2. विधि मूल्य: प्रदान की गई तकनीकें समान समस्याओं पर लागू की जा सकती हैं
  3. आगामी अनुसंधान: संबंधित क्षेत्रों के अनुसंधान के लिए आधार प्रदान करता है

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

  1. बीजगणितीय संरचना अनुसंधान: अर्धसमूह सिद्धांत और रूपांतरण अर्धसमूह
  2. संयोजक गणित: परिमित संरचनाओं की गणना समस्याएं
  3. सैद्धांतिक कंप्यूटर विज्ञान: स्वचालन सिद्धांत में रूपांतरण संरचनाएं

संदर्भ

पेपर 30 संबंधित संदर्भों का हवाला देता है, जो रूपांतरण अर्धसमूह सिद्धांत के मुख्य विकास को शामिल करते हैं, विशेषकर क्रम-संरक्षी रूपांतरण, दिशा-संरक्षी रूपांतरण और संबंधित अर्धसमूह संरचनाओं के अनुसंधान परिणाम।

समग्र मूल्यांकन: यह एक उच्च गुणवत्ता वाला सैद्धांतिक गणित पेपर है जो एक नए रूपांतरण अर्धसमूह वर्ग का व्यवस्थित अध्ययन करता है और पूर्ण संरचना सैद्धांतिक परिणाम प्राप्त करता है। यद्यपि शुद्ध सैद्धांतिक अनुसंधान है, लेकिन विधि नवीन है, परिणाम पूर्ण हैं, और रूपांतरण अर्धसमूह सिद्धांत में महत्वपूर्ण योगदान देता है।