| Naslov: | $F$-birestriction monoids in enriched signature |
|---|
| Avtorji: | ID Kudryavtseva, Ganna (Avtor)
ID Lemut Furlani, Ajda (Avtor) |
|---|
| Datoteke: |  PDF - Predstavitvena datoteka, prenos (656,63 KB)
MD5: 1276F81699CBEBA88FD67077756B8E83
 URL - Izvorni URL, za dostop obiščite https://link.springer.com/article/10.1007/s40840-025-01995-2
|
|---|
| Jezik: | Angleški jezik |
|---|
| Tipologija: | 1.01 - Izvirni znanstveni članek |
|---|
| Organizacija: |  IMFM - Inštitut za matematiko, fiziko in mehaniko
|
|---|
| Povzetek: | Motivated by recent interest to $F$-inverse monoids, on the one hand, and to restriction and birestriction monoids, on the other hand, we initiate the study of $F$-birestriction monoids as algebraic structures in the enriched signature $(\cdot, \, ^*, \,^+, \, ^\mathfrak{m},1)$ where the unary operation $(\cdot)^\mathfrak{m}$ maps each element to the maximum element of its $\sigma$-class. We find a presentation of the free $F$-birestriction monoid ${\mathsf{FFBR}}(X)$ as a birestriction monoid ${\mathcal F}$ over the extended set of generators $X\cup\overline{X^+}$ where $\overline{X^+}$ is a set in a bijection with the free semigroup $X^+$ and encodes the maximum elements of (non-projection) $\sigma$-classes. This enables us to show that ${\mathsf{FFBR}}(X)$ decomposes as the partial action product $E({\mathcal I})\rtimes X^*$ of the idempotent semilattice of the universal inverse monoid ${\mathcal I}$ of ${\mathcal F}$ partially acted upon by the free monoid $X^*$. Invoking Schützenberger graphs, we prove that the word problem for ${\mathsf{FFBR}}(X)$ and its strong and perfect analogues is decidable. Furthermore, we show that ${\mathsf{FFBR}}(X)$ does not admit a geometric model based on a quotient of the Margolis-Meakin expansion $M({\mathsf{FG}}(X), X\cup \overline{X^+})$ over the free group ${\mathsf{FG}}(X)$, but the free perfect $X$-generated $F$-birestriction monoid admits such a model. |
|---|
| Ključne besede: | birestriction monoid, F-birestriction monoid, free F-birestriction monoid, inverse monoid, F-inverse monoid, Margolis-Meakin expansion, Schützenberger graph, partial action, partial action product |
|---|
| Status publikacije: | Objavljeno |
|---|
| Verzija publikacije: | Objavljena publikacija |
|---|
| Datum objave: | 01.11.2025 |
|---|
| Leto izida: | 2025 |
|---|
| Št. strani: | 36 str. |
|---|
| Številčenje: | Vol. 48, iss. 6, article no. 212 |
|---|
| PID: | 20.500.12556/DiRROS-23980  |
|---|
| UDK: | 512 |
|---|
| ISSN pri članku: | 0126-6705 |
|---|
| DOI: | 10.1007/s40840-025-01995-2 |
|---|
| COBISS.SI-ID: | 255627779 |
|---|
| Opomba: |
|
|---|
| Datum objave v DiRROS: | 03.11.2025 |
|---|
| Število ogledov: | 162 |
|---|
| Število prenosov: | 84 |
|---|
| Metapodatki: |    |
|---|
|
:
|
Kopiraj citat |
|---|
| | | | Objavi na: |  |
|---|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |
