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

Sur certains semi-groupes de transformations partielles finies orientées et décroissantes en ordre

Informations fondamentales

  • ID de l'article: 2510.13484
  • Titre: On certain semigroups of finite oriented and order-decreasing partial transformations
  • Auteurs: Gonca Ayık, Hayrullah Ayık, Ilinka Dimitrova, Jörg Koppitz
  • Classification: math.RA (Anneaux et algèbres)
  • Date de publication: 15 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.13484v1

Résumé

Cet article étudie le semi-groupe PORDn\mathcal{PORD}_n des transformations partielles orientées et décroissantes en ordre sur la chaîne finie Xn={1<⋯<n}X_n = \{1 < \cdots < n\}, ainsi que son sous-semi-groupe injectif IORDn\mathcal{IORD}_n. Pour 2≤r≤n2 \leq r \leq n, on définit PORD(n,r)={α∈PORDn:∣im(α)∣≤r}\mathcal{PORD}(n,r) = \{\alpha \in \mathcal{PORD}_n : |\text{im}(\alpha)| \leq r\} et IORD(n,r)={α∈IORDn:∣im(α)∣≤r}\mathcal{IORD}(n,r) = \{\alpha \in \mathcal{IORD}_n : |\text{im}(\alpha)| \leq r\}. L'article détermine les ensembles générateurs minimaux et les rangs de PORD(n,r)\mathcal{PORD}(n,r) et IORD(n,r)\mathcal{IORD}(n,r), et caractérise leurs sous-semi-groupes maximaux.

Contexte et motivation de la recherche

Contexte du problème

La théorie des semi-groupes de transformations est une branche importante de l'algèbre, étudiant les structures algébriques des transformations sur des ensembles. Les questions centrales abordées dans cet article sont:

  1. Transformations orientées: Une transformation partielle α\alpha est dite orientée si elle préserve l'ordre ou l'inverse
  2. Décroissance en ordre: Pour chaque élément xx du domaine, on a xα≤xx\alpha \leq x
  3. Ensembles générateurs et rang des semi-groupes: Déterminer l'ensemble générateur minimal et sa cardinalité (rang)
  4. Sous-semi-groupes maximaux: Caractériser la structure de tous les sous-semi-groupes maximaux du semi-groupe

Importance de la recherche

  1. Valeur théorique: Extension de la théorie des semi-groupes de transformations, en particulier pour les classes spéciales de transformations sur les chaînes finies
  2. Analyse structurelle: Compréhension approfondie des structures algébriques et des propriétés combinatoires de ces semi-groupes
  3. Fondations applicatives: Fournir une base théorique pour les recherches connexes en mathématiques combinatoires et en structures algébriques

Limitations des recherches existantes

Bien que des études existent sur les transformations préservant l'ordre, les transformations préservant l'orientation, etc., la caractérisation complète des ensembles générateurs, des rangs et des sous-semi-groupes maximaux pour les semi-groupes de transformations partielles satisfaisant simultanément les conditions d'orientation et de décroissance en ordre restait incomplète.

Contributions principales

  1. Détermination de l'ensemble générateur minimal de PORD(n,r)\mathcal{PORD}(n,r): Preuve que lorsque 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 est un ensemble générateur minimal
  2. Calcul du rang du semi-groupe:
    • rang(PORD(n,r))=(nr)2n−r+(2n−r−1)(r−2)2+n(n−3)2\text{rang}(\mathcal{PORD}(n,r)) = \binom{n}{r}2^{n-r} + \frac{(2n-r-1)(r-2)}{2} + \frac{n(n-3)}{2}
    • rang(PORDn)=n2−n+1\text{rang}(\mathcal{PORD}_n) = n^2 - n + 1
  3. Caractérisation du cas injectif: Formules pour l'ensemble générateur et le rang de IORD(n,r)\mathcal{IORD}(n,r)
  4. Caractérisation complète des sous-semi-groupes maximaux: Classification de tous les sous-semi-groupes maximaux pour différentes plages de paramètres

Explication détaillée des méthodes

Définitions et notations fondamentales

  • Chaîne finie: Xn={1<2<⋯<n}X_n = \{1 < 2 < \cdots < n\}
  • Transformation partielle: Application d'un sous-ensemble de XnX_n vers XnX_n
  • Transformation orientée: Transformation préservant l'ordre ou l'inversant
  • Décroissance en ordre: Pour tous x∈dom(α)x \in \text{dom}(\alpha), on a xα≤xx\alpha \leq x

Concepts techniques clés

1. Classification des éléments idempotents

L'article prouve que E(PORDn)=E(POPDn)E(\mathcal{PORD}_n) = E(\mathcal{POPD}_n), où:

  • 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. Éléments indécomposables

Trois classes d'éléments indécomposables sont définies:

  • ErE_r: Éléments idempotents d'image de taille rr
  • FrF_r: Éléments idempotents de forme spécifique ξp,qr\xi^r_{p,q}
  • GnG_n: Transformations inverses spécifiques γp,q\gamma_{p,q}

3. Degré de décroissance inverse

Pour α∈PORDn∗\alpha \in \mathcal{PORD}^*_n, on définit: ord(α)=max⁡{m:α∣Xm∈PMDn et max⁡(im(α))=(m+1)α}\text{ord}(\alpha) = \max\{m : \alpha|_{X_m} \in \mathcal{PMD}_n \text{ et } \max(\text{im}(\alpha)) = (m+1)\alpha\}

Théorèmes fondamentaux

Théorème 8 (Résultat principal)

Lorsque 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 est un ensemble générateur minimal de PORD(n,r)\mathcal{PORD}(n,r), et: rang(PORD(n,r))=(nr)2n−r+(2n−r−1)(r−2)2+n(n−3)2\text{rang}(\mathcal{PORD}(n,r)) = \binom{n}{r}2^{n-r} + \frac{(2n-r-1)(r-2)}{2} + \frac{n(n-3)}{2}

Stratégie de preuve

  1. Preuve que chaque élément est indécomposable
  2. Preuve de la nécessité de l'ensemble générateur
  3. Preuve de la suffisance de l'ensemble générateur, en exprimant tout élément arbitraire comme produit des générateurs

Configuration expérimentale

Vérification théorique

Cet article est une recherche purement théorique, dont les résultats sont vérifiés par des preuves mathématiques:

  1. Comptage combinatoire: Vérification des formules de cardinalité pour diverses classes d'éléments
  2. Exemples concrets: Calculs explicites pour les cas de petite taille
  3. Cas particuliers: Vérification des résultats connus comme cas particuliers

Méthodes de vérification

  • Preuves par récurrence pour les théorèmes principaux
  • Discussions par cas pour traiter différentes plages de paramètres
  • Preuves constructives montrant le processus de génération

Résultats expérimentaux

Résultats principaux

1. Résultats du calcul du rang

  • rang(PORD4)=13\text{rang}(\mathcal{PORD}_4) = 13
  • rang(PORD5)=21\text{rang}(\mathcal{PORD}_5) = 21
  • Formule générale: rang(PORDn)=n2−n+1\text{rang}(\mathcal{PORD}_n) = n^2 - n + 1

2. Cas injectif

rang(IORD(n,r))=(nr)+n(n−2r−1)+(r−2)n−r2−r−22+n(n−3)2\text{rang}(\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. Classification des sous-semi-groupes maximaux

Pour n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1, les sous-semi-groupes maximaux sont de trois types:

  1. PORD(n,r)∖{ε}\mathcal{PORD}(n,r) \setminus \{\varepsilon\}, où ε∈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}

Découvertes importantes

Proposition 1

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

Ce résultat détermine la taille maximale de l'image des transformations décroissantes inverses.

Travaux connexes

Développement historique

  1. Gomes et Howie (1992): Détermination du rang des semi-groupes de transformations préservant l'ordre
  2. Fernandes et al. (2009): Étude du rang des transformations préservant l'orientation
  3. Dimitrova et Koppitz (2012): Étude des transformations d'expansion préservant l'ordre
  4. Ayık et al. (2025): Étude des transformations préservant l'orientation et décroissantes en ordre

Contributions de cet article

Cet article est le premier à étudier complètement le semi-groupe de transformations partielles orientées et décroissantes en ordre, comblant une lacune théorique pour cette classe spécifique de transformations.

Conclusions et discussion

Conclusions principales

  1. Détermination complète du rang de PORD(n,r)\mathcal{PORD}(n,r) et IORD(n,r)\mathcal{IORD}(n,r)
  2. Présentation d'ensembles générateurs minimaux explicites
  3. Caractérisation complète de tous les sous-semi-groupes maximaux

Limitations

  1. Pour le cas 3≤r<n−⌊n/3⌋3 \leq r < n - \lfloor n/3 \rfloor, aucune formule explicite pour ∣Hnr∣|H^r_n| n'a pu être donnée
  2. Certaines preuves reposent sur des discussions par cas complexes, et des approches plus élégantes pourraient exister

Directions futures

L'article pose la question ouverte: existe-t-il une formule explicite pour ∣Hnr∣|H^r_n|? Cela indique les directions pour les recherches ultérieures.

Évaluation approfondie

Avantages

  1. Complétude: Étude systématique d'une nouvelle classe de semi-groupes de transformations
  2. Innovation technique: Introduction de nouveaux concepts tels que le degré de décroissance inverse
  3. Résultats complets: Résolution simultanée des problèmes d'ensembles générateurs, de rangs et de sous-semi-groupes maximaux
  4. Preuves rigoureuses: Tous les résultats sont accompagnés de preuves mathématiques complètes

Insuffisances

  1. Complexité computationnelle: Certaines formules sont complexes, rendant les calculs pratiques difficiles
  2. Problèmes ouverts: Certains problèmes de comptage combinatoire restent non résolus
  3. Limitations applicatives: Les résultats sont principalement théoriques, avec peu d'applications pratiques évidentes

Impact

  1. Contribution théorique: Enrichissement de la théorie des semi-groupes de transformations
  2. Valeur méthodologique: Les techniques fournies peuvent s'appliquer à des problèmes similaires
  3. Recherches ultérieures: Fournit une base pour les recherches dans les domaines connexes

Domaines d'application

  1. Étude des structures algébriques: Théorie des semi-groupes et semi-groupes de transformations
  2. Mathématiques combinatoires: Problèmes de comptage pour les structures finies
  3. Informatique théorique: Structures de transformations dans la théorie des automates

Références bibliographiques

L'article cite 30 références connexes, couvrant l'évolution majeure de la théorie des semi-groupes de transformations, en particulier les résultats de recherche sur les transformations préservant l'ordre, les transformations préservant l'orientation et les structures de semi-groupes connexes.

Évaluation générale: Cet article est un travail mathématique théorique de haute qualité qui étudie systématiquement une nouvelle classe de semi-groupes de transformations et obtient des résultats de théorie structurelle complets. Bien qu'il s'agisse d'une recherche purement théorique, l'innovation méthodologique et la complétude des résultats constituent une contribution importante à la théorie des semi-groupes de transformations.