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

Su certi semigruppi di trasformazioni parziali finite orientate e decrescenti rispetto all'ordine

Informazioni Fondamentali

  • ID Articolo: 2510.13484
  • Titolo: On certain semigroups of finite oriented and order-decreasing partial transformations
  • Autori: Gonca Ayık, Hayrullah Ayık, Ilinka Dimitrova, Jörg Koppitz
  • Classificazione: math.RA (Anelli e Algebre)
  • Data di Pubblicazione: 15 ottobre 2025
  • Link Articolo: https://arxiv.org/abs/2510.13484v1

Riassunto

Il presente articolo studia il semigruppo PORDn\mathcal{PORD}_n di trasformazioni parziali orientate e decrescenti rispetto all'ordine sulla catena finita Xn={1<⋯<n}X_n = \{1 < \cdots < n\}, nonché il suo sottosemigruppo iniettivo IORDn\mathcal{IORD}_n. Per 2≤r≤n2 \leq r \leq n, si definiscono PORD(n,r)={α∈PORDn:∣im(α)∣≤r}\mathcal{PORD}(n,r) = \{\alpha \in \mathcal{PORD}_n : |\text{im}(\alpha)| \leq r\} e IORD(n,r)={α∈IORDn:∣im(α)∣≤r}\mathcal{IORD}(n,r) = \{\alpha \in \mathcal{IORD}_n : |\text{im}(\alpha)| \leq r\}. L'articolo determina gli insiemi generatori minimi e il rango di PORD(n,r)\mathcal{PORD}(n,r) e IORD(n,r)\mathcal{IORD}(n,r), e caratterizza i loro sottosemigruppi massimali.

Contesto di Ricerca e Motivazione

Sfondo Problematico

La teoria dei semigruppi di trasformazioni rappresenta un ramo importante dell'algebra, dedicato allo studio delle strutture algebriche delle trasformazioni su insiemi. I problemi centrali affrontati in questo articolo sono:

  1. Trasformazioni Orientate: Una trasformazione parziale α\alpha si dice orientata se è conservante l'orientamento oppure invertente l'orientamento
  2. Decrescenza rispetto all'Ordine: Per ogni elemento xx nel dominio, vale xα≤xx\alpha \leq x
  3. Insiemi Generatori e Rango del Semigruppo: Determinazione dell'insieme generatore minimo e della sua cardinalità (rango)
  4. Sottosemigruppi Massimali: Caratterizzazione della struttura di tutti i sottosemigruppi massimali del semigruppo

Importanza della Ricerca

  1. Valore Teorico: Estensione della teoria dei semigruppi di trasformazioni, in particolare per classi speciali di trasformazioni su catene finite
  2. Analisi Strutturale: Comprensione approfondita delle proprietà algebriche e combinatorie di questa classe di semigruppi
  3. Fondamenti Applicativi: Fornisce basi teoriche per ricerche correlate in matematica combinatoria e strutture algebriche

Limitazioni della Ricerca Esistente

Sebbene siano stati condotti studi su trasformazioni conservanti l'ordine e trasformazioni orientate, la caratterizzazione completa dell'insieme generatore minimo, del rango e dei sottosemigruppi massimali per semigruppi di trasformazioni parziali simultaneamente orientate e decrescenti rimane incompleta.

Contributi Fondamentali

  1. Determinazione dell'Insieme Generatore Minimo di PORD(n,r)\mathcal{PORD}(n,r): Si dimostra che quando n−⌊n/3⌋≤r≤n−1n-\lfloor n/3 \rfloor \leq r \leq n-1, l'insieme Er∪Fr∪GnE_r \cup F_r \cup G_n è un insieme generatore minimo
  2. Calcolo del Rango del Semigruppo:
    • 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. Caratterizzazione del Caso Iniettivo: Fornisce formule per l'insieme generatore e il rango di IORD(n,r)\mathcal{IORD}(n,r)
  4. Caratterizzazione Completa dei Sottosemigruppi Massimali: Classificazione di tutti i sottosemigruppi massimali per diversi intervalli di parametri

Spiegazione Dettagliata dei Metodi

Definizioni e Notazioni Fondamentali

  • Catena Finita: Xn={1<2<⋯<n}X_n = \{1 < 2 < \cdots < n\}
  • Trasformazione Parziale: Applicazione da un sottoinsieme di XnX_n a XnX_n
  • Trasformazione Orientata: Trasformazione conservante o invertente l'orientamento
  • Decrescenza rispetto all'Ordine: Per tutti gli x∈dom(α)x \in \text{dom}(\alpha), vale xα≤xx\alpha \leq x

Concetti Tecnici Chiave

1. Classificazione degli Elementi Idempotenti

L'articolo dimostra che E(PORDn)=E(POPDn)E(\mathcal{PORD}_n) = E(\mathcal{POPD}_n), dove:

  • 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. Elementi Indecomponibili

Sono definite tre classi di elementi indecomponibili:

  • ErE_r: Elementi idempotenti con immagine di cardinalità rr
  • FrF_r: Elementi idempotenti di forma specifica ξp,qr\xi^r_{p,q}
  • GnG_n: Trasformazioni invertenti l'orientamento specifiche γp,q\gamma_{p,q}

3. Grado di Inversione Decrescente

Per α∈PORDn∗\alpha \in \mathcal{PORD}^*_n, si definisce: ord(α)=max⁡{m:α∣Xm∈PMDn e max⁡(im(α))=(m+1)α}\text{ord}(\alpha) = \max\{m : \alpha|_{X_m} \in \mathcal{PMD}_n \text{ e } \max(\text{im}(\alpha)) = (m+1)\alpha\}

Teoremi Fondamentali

Teorema 8 (Risultato Principale)

Quando n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1, l'insieme Er∪Fr∪GnE_r \cup F_r \cup G_n è un insieme generatore minimo di PORD(n,r)\mathcal{PORD}(n,r), e: 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}

Strategia Dimostrativa

  1. Dimostrazione che ogni elemento è indecomponibile
  2. Dimostrazione della necessità dell'insieme generatore
  3. Dimostrazione della sufficienza dell'insieme generatore, mediante rappresentazione di elementi arbitrari come prodotti di generatori

Configurazione Sperimentale

Verifica Teorica

L'articolo è una ricerca puramente teorica, i cui risultati sono verificati mediante dimostrazione matematica:

  1. Conteggio Combinatorio: Verifica delle formule per il numero di elementi di varie classi
  2. Esempi Concreti: Calcoli espliciti per casi di piccola scala
  3. Casi Particolari: Verifica dei risultati noti come casi speciali

Metodi di Verifica

  • Dimostrazione per induzione dei teoremi principali
  • Discussione per casi nella gestione di diversi intervalli di parametri
  • Dimostrazioni costruttive che illustrano il processo di generazione

Risultati Sperimentali

Risultati Principali

1. Risultati del Calcolo del Rango

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

2. Caso Iniettivo

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. Classificazione dei Sottosemigruppi Massimali

Per n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1, i sottosemigruppi massimali sono di tre tipi:

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

Scoperte Importanti

Proposizione 1

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

Questo risultato determina la cardinalità massima dell'immagine di trasformazioni invertenti l'orientamento e decrescenti.

Lavori Correlati

Sviluppo Storico

  1. Gomes e Howie (1992): Determinazione del rango dei semigruppi di trasformazioni conservanti l'ordine
  2. Fernandes et al. (2009): Studio del rango di trasformazioni orientate
  3. Dimitrova e Koppitz (2012): Ricerca su trasformazioni espandenti conservanti l'ordine
  4. Ayık et al. (2025): Studio di trasformazioni orientate e decrescenti conservanti l'ordine

Contributo dell'Articolo

Il presente articolo è il primo a studiare sistematicamente il semigruppo di trasformazioni parziali orientate e decrescenti, colmando una lacuna teorica in questa specifica classe di trasformazioni.

Conclusioni e Discussione

Conclusioni Principali

  1. Determinazione completa del rango di PORD(n,r)\mathcal{PORD}(n,r) e IORD(n,r)\mathcal{IORD}(n,r)
  2. Fornitura di insiemi generatori minimi espliciti
  3. Caratterizzazione completa di tutti i sottosemigruppi massimali

Limitazioni

  1. Per il caso 3≤r<n−⌊n/3⌋3 \leq r < n - \lfloor n/3 \rfloor, non è fornita una formula esplicita per ∣Hnr∣|H^r_n|
  2. Alcune dimostrazioni si basano su discussioni per casi complesse, per le quali potrebbero esistere approcci più eleganti

Direzioni Future

L'articolo propone il seguente problema aperto: esiste una formula esplicita per ∣Hnr∣|H^r_n|? Questo orienta la ricerca futura.

Valutazione Approfondita

Punti di Forza

  1. Completezza: Studio sistematico di una nuova classe di semigruppi di trasformazioni
  2. Innovazione Tecnica: Introduzione di nuovi concetti come il grado di inversione decrescente
  3. Completezza dei Risultati: Risoluzione simultanea dei problemi relativi all'insieme generatore, al rango e ai sottosemigruppi massimali
  4. Rigore Dimostrativo: Tutti i risultati sono supportati da dimostrazioni matematiche complete

Insufficienze

  1. Complessità Computazionale: Alcune formule sono piuttosto complesse, rendendo difficili i calcoli pratici
  2. Problemi Aperti: Rimangono irrisolti alcuni problemi di conteggio combinatorio
  3. Limitazioni Applicative: I risultati sono principalmente teorici, con applicazioni pratiche non evidenti

Impatto

  1. Contributo Teorico: Arricchimento della teoria dei semigruppi di trasformazioni
  2. Valore Metodologico: Le tecniche fornite sono applicabili a problemi simili
  3. Ricerca Successiva: Fornisce fondamenti per ricerche in campi correlati

Ambiti di Applicazione

  1. Ricerca su Strutture Algebriche: Teoria dei semigruppi e semigruppi di trasformazioni
  2. Matematica Combinatoria: Problemi di conteggio di strutture finite
  3. Informatica Teorica: Strutture di trasformazione nella teoria degli automi

Bibliografia

L'articolo cita 30 riferimenti correlati, che coprono lo sviluppo principale della teoria dei semigruppi di trasformazioni, in particolare i risultati di ricerca su trasformazioni conservanti l'ordine, trasformazioni orientate e strutture di semigruppi correlate.

Valutazione Complessiva: Si tratta di un articolo matematico teorico di alta qualità che studia sistematicamente una nuova classe di semigruppi di trasformazioni, ottenendo risultati teorici strutturali completi. Sebbene sia ricerca puramente teorica, presenta innovazioni metodologiche e risultati completi, fornendo contributi significativi alla teoria dei semigruppi di trasformazioni.