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

Über bestimmte Halbgruppen endlicher orientierter und ordnungsabnehmender partieller Transformationen

Grundinformationen

  • Papier-ID: 2510.13484
  • Titel: On certain semigroups of finite oriented and order-decreasing partial transformations
  • Autoren: Gonca Ayık, Hayrullah Ayık, Ilinka Dimitrova, Jörg Koppitz
  • Klassifizierung: math.RA (Ringe und Algebren)
  • Veröffentlichungsdatum: 15. Oktober 2025
  • Papierlink: https://arxiv.org/abs/2510.13484v1

Zusammenfassung

In diesem Artikel werden Halbgruppen PORDn\mathcal{PORD}_n von orientierten und ordnungsabnehmenden partiellen Transformationen auf der endlichen Kette Xn={1<⋯<n}X_n = \{1 < \cdots < n\} sowie deren injektive Unterhalbgruppen IORDn\mathcal{IORD}_n untersucht. Für 2≤r≤n2 \leq r \leq n werden PORD(n,r)={α∈PORDn:∣im(α)∣≤r}\mathcal{PORD}(n,r) = \{\alpha \in \mathcal{PORD}_n : |\text{im}(\alpha)| \leq r\} und IORD(n,r)={α∈IORDn:∣im(α)∣≤r}\mathcal{IORD}(n,r) = \{\alpha \in \mathcal{IORD}_n : |\text{im}(\alpha)| \leq r\} definiert. Der Artikel bestimmt die minimalen Erzeugendensysteme und Ränge von PORD(n,r)\mathcal{PORD}(n,r) und IORD(n,r)\mathcal{IORD}(n,r) und charakterisiert ihre maximalen Unterhalbgruppen.

Forschungshintergrund und Motivation

Problemhintergrund

Die Theorie der Transformationshalbgruppen ist ein wichtiger Zweig der Algebra, der algebraische Strukturen von Transformationen auf Mengen untersucht. Die Kernfragen dieses Artikels sind:

  1. Orientierte Transformationen: Eine partielle Transformation α\alpha heißt orientiert, wenn sie ordnungserhaltend oder ordnungsumkehrend ist
  2. Ordnungsabnehmend: Für jedes Element xx im Definitionsbereich gilt xα≤xx\alpha \leq x
  3. Erzeugendensysteme und Rang von Halbgruppen: Bestimmung des minimalen Erzeugendensystems und seiner Größe (Rang)
  4. Maximale Unterhalbgruppen: Charakterisierung der Struktur aller maximalen Unterhalbgruppen einer Halbgruppe

Forschungsbedeutung

  1. Theoretischer Wert: Erweiterung der Transformationshalbgruppentheorie, insbesondere für spezielle Transformationsklassen auf endlichen Ketten
  2. Strukturanalyse: Tieferes Verständnis der algebraischen Struktur und kombinatorischen Eigenschaften dieser Halbgruppen
  3. Anwendungsgrundlagen: Bereitstellung theoretischer Grundlagen für verwandte Forschung in kombinatorischer Mathematik und algebraischen Strukturen

Bestehende Forschungslücken

Obwohl bereits Forschungen zu ordnungserhaltenden Transformationen und orientierten Transformationen vorliegen, fehlte bislang eine vollständige Charakterisierung der Erzeugendensysteme, Ränge und maximalen Unterhalbgruppen von partiellen Transformationshalbgruppen, die gleichzeitig orientiert und ordnungsabnehmend sind.

Kernbeiträge

  1. Bestimmung der minimalen Erzeugendensysteme von PORD(n,r)\mathcal{PORD}(n,r): Es wird bewiesen, dass Er∪Fr∪GnE_r \cup F_r \cup G_n für n−⌊n/3⌋≤r≤n−1n-\lfloor n/3 \rfloor \leq r \leq n-1 ein minimales Erzeugendensystem ist
  2. Berechnung der Halbgruppenränge:
    • 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. Charakterisierung des injektiven Falls: Angabe von Erzeugendensystemen und Rangformeln für IORD(n,r)\mathcal{IORD}(n,r)
  4. Vollständige Charakterisierung maximaler Unterhalbgruppen: Klassifizierung aller maximalen Unterhalbgruppen für verschiedene Parameterbereiche

Methodische Details

Grundlegende Definitionen und Notation

  • Endliche Kette: Xn={1<2<⋯<n}X_n = \{1 < 2 < \cdots < n\}
  • Partielle Transformation: Abbildung von einer Teilmenge von XnX_n nach XnX_n
  • Orientierte Transformation: Ordnungserhaltende oder ordnungsumkehrende Transformation
  • Ordnungsabnehmend: Für alle x∈dom(α)x \in \text{dom}(\alpha) gilt xα≤xx\alpha \leq x

Zentrale technische Konzepte

1. Klassifizierung idempotenter Elemente

Der Artikel beweist E(PORDn)=E(POPDn)E(\mathcal{PORD}_n) = E(\mathcal{POPD}_n), wobei:

  • 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. Unzerlegbare Elemente

Definition von drei Klassen unzerlegbarer Elemente:

  • ErE_r: Idempotente Elemente mit Bildgröße rr
  • FrF_r: Idempotente Elemente der Form ξp,qr\xi^r_{p,q}
  • GnG_n: Spezifische ordnungsumkehrende Transformationen γp,q\gamma_{p,q}

3. Ordnungsumkehrgradus

Für α∈PORDn∗\alpha \in \mathcal{PORD}^*_n wird definiert: ord(α)=max⁡{m:α∣Xm∈PMDn und max⁡(im(α))=(m+1)α}\text{ord}(\alpha) = \max\{m : \alpha|_{X_m} \in \mathcal{PMD}_n \text{ und } \max(\text{im}(\alpha)) = (m+1)\alpha\}

Zentrale Theoreme

Theorem 8 (Hauptergebnis)

Für n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1 ist Er∪Fr∪GnE_r \cup F_r \cup G_n ein minimales Erzeugendensystem von PORD(n,r)\mathcal{PORD}(n,r), und es gilt: 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}

Beweisidee

  1. Nachweis, dass jedes Element unzerlegbar ist
  2. Nachweis der Notwendigkeit des Erzeugendensystems
  3. Nachweis der Hinlänglichkeit durch Darstellung beliebiger Elemente als Produkte von Erzeugern

Experimentelle Einrichtung

Theoretische Verifikation

Dieser Artikel ist eine reine theoretische Forschung, deren Ergebnisse durch mathematische Beweise verifiziert werden:

  1. Kombinatorisches Zählen: Verifikation von Anzahlformeln für verschiedene Elementklassen
  2. Konkrete Beispiele: Angabe konkreter Berechnungen für kleine Fälle
  3. Spezialfälle: Verifikation bekannter Ergebnisse als Spezialfälle

Verifikationsmethoden

  • Beweise durch vollständige Induktion für Haupttheoreme
  • Fallunterscheidung für verschiedene Parameterbereiche
  • Konstruktive Beweise zur Darstellung des Erzeugungsprozesses

Experimentelle Ergebnisse

Hauptergebnisse

1. Rangberechnungsergebnisse

  • rank(PORD4)=13\text{rank}(\mathcal{PORD}_4) = 13
  • rank(PORD5)=21\text{rank}(\mathcal{PORD}_5) = 21
  • Allgemeine Formel: rank(PORDn)=n2−n+1\text{rank}(\mathcal{PORD}_n) = n^2 - n + 1

2. Injektiver Fall

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. Klassifizierung maximaler Unterhalbgruppen

Für n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1 gibt es drei Typen maximaler Unterhalbgruppen:

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

Wichtige Erkenntnisse

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

Dieses Ergebnis bestimmt die maximale Bildgröße ordnungsumkehrender Transformationen.

Verwandte Arbeiten

Historische Entwicklung

  1. Gomes und Howie (1992): Bestimmung des Ranges ordnungserhaltender Transformationshalbgruppen
  2. Fernandes et al. (2009): Untersuchung des Ranges orientierter Transformationen
  3. Dimitrova und Koppitz (2012): Forschung zu ordnungserhaltenden Erweiterungstransformationen
  4. Ayık et al. (2025): Untersuchung orientierter ordnungsabnehmender Transformationen

Beitrag dieses Artikels

Der Artikel untersucht erstmals vollständig die Halbgruppen orientierter und ordnungsabnehmender partieller Transformationen und schließt damit eine theoretische Lücke für diese spezifische Transformationsklasse.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Vollständige Bestimmung der Ränge von PORD(n,r)\mathcal{PORD}(n,r) und IORD(n,r)\mathcal{IORD}(n,r)
  2. Angabe expliziter minimaler Erzeugendensysteme
  3. Vollständige Charakterisierung aller maximalen Unterhalbgruppen

Einschränkungen

  1. Für 3≤r<n−⌊n/3⌋3 \leq r < n - \lfloor n/3 \rfloor konnte keine explizite Formel für ∣Hnr∣|H^r_n| angegeben werden
  2. Einige Beweise beruhen auf komplexen Fallunterscheidungen; möglicherweise existieren elegantere Methoden

Zukünftige Forschungsrichtungen

Der Artikel stellt die offene Frage: Existiert eine explizite Formel für ∣Hnr∣|H^r_n|? Dies weist auf zukünftige Forschungsmöglichkeiten hin.

Tiefgreifende Bewertung

Stärken

  1. Vollständigkeit: Systematische Untersuchung einer neuen Transformationshalbgruppenklasse
  2. Technische Innovation: Einführung neuer Konzepte wie des Ordnungsumkehrgradus
  3. Umfassende Ergebnisse: Gleichzeitige Lösung von Problemen zu Erzeugendensystemen, Rängen und maximalen Unterhalbgruppen
  4. Rigorose Beweise: Alle Ergebnisse verfügen über vollständige mathematische Beweise

Schwächen

  1. Rechenkomplexität: Einige Formeln sind komplex und praktisch schwer zu berechnen
  2. Offene Probleme: Es bleiben kombinatorische Zählprobleme ungelöst
  3. Anwendungsbeschränkungen: Hauptsächlich theoretische Ergebnisse mit begrenzter praktischer Anwendbarkeit

Einfluss

  1. Theoretischer Beitrag: Bereicherung der Transformationshalbgruppentheorie
  2. Methodischer Wert: Die bereitgestellten Techniken sind auf ähnliche Probleme anwendbar
  3. Nachfolgeforschung: Bietet Grundlagen für verwandte Forschungsbereiche

Anwendungsszenarien

  1. Algebraische Strukturforschung: Halbgruppentheorie und Transformationshalbgruppen
  2. Kombinatorische Mathematik: Zählprobleme endlicher Strukturen
  3. Theoretische Informatik: Transformationsstrukturen in der Automatentheorie

Literaturverzeichnis

Der Artikel zitiert 30 relevante Arbeiten, die die Hauptentwicklungsgeschichte der Transformationshalbgruppentheorie abdecken, insbesondere Forschungsergebnisse zu ordnungserhaltenden Transformationen, orientierten Transformationen und verwandten Halbgruppenstrukturen.

Gesamtbewertung: Dies ist ein hochqualitatives theoretisches mathematisches Papier, das eine neue Transformationshalbgruppenklasse systematisch untersucht und umfassende strukturtheoretische Ergebnisse erzielt. Obwohl es sich um reine theoretische Forschung handelt, weist es methodische Innovationen auf, verfügt über umfassende Ergebnisse und leistet wichtige Beiträge zur Transformationshalbgruppentheorie.