| Title: | A new approach to universal $F$-inverse monoids in enriched signature |
|---|
| Authors: | ID Kudryavtseva, Ganna (Author)
ID Lemut Furlani, Ajda (Author) |
|---|
| Files: |  PDF - Presentation file, download (347,64 KB)
MD5: 8BC86DECDD2A8C17712D8BE633DC1036
 URL - Source URL, visit https://link.springer.com/article/10.1007/s00025-024-02291-4
|
|---|
| Language: | English |
|---|
| Typology: | 1.01 - Original Scientific Article |
|---|
| Organization: |  IMFM - Institute of Mathematics, Physics, and Mechanics
|
|---|
| Abstract: | We show that the universal $X$-generated $F$-inverse monoid $F(G)$, where ▫$G$▫ is an $X$-generated group, introduced by Auinger, Szendrei and the first-named author, arises as a quotient inverse monoid of the Margolis-Meakin expansion $M(G, X\cup \overline{G})$ of $G$, with respect to the extended generating set $X\cup \overline{G}$, where $\overline{G}$ is a bijective copy of $G$ which encodes the ▫$m$▫-operation in $F(G)$. The construction relies on a certain dual-closure operator on the semilattice of all finite and connected subgraphs containing the origin of the Cayley graph ${\rm Cay}(G, X\cup {\overline{G}})$ and leads to a new and simpler proof of the universal property of $F(G)$. |
|---|
| Keywords: | inverse monoid, F-inverse monoid, Margolis-Meakin expansion, group presentation, Cayley graph of a group, closure operator, dual-closure operator, partial action, partial action product |
|---|
| Publication status: | Published |
|---|
| Publication version: | Version of Record |
|---|
| Publication date: | 01.11.2024 |
|---|
| Year of publishing: | 2024 |
|---|
| Number of pages: | 13 str. |
|---|
| Numbering: | Vol. 79, iss. 7, [article no.] 260 |
|---|
| PID: | 20.500.12556/DiRROS-20546  |
|---|
| UDC: | 512 |
|---|
| ISSN on article: | 1422-6383 |
|---|
| DOI: | 10.1007/s00025-024-02291-4 |
|---|
| COBISS.SI-ID: | 211681795 |
|---|
| Note: |
|
|---|
| Publication date in DiRROS: | 21.10.2024 |
|---|
| Views: | 632 |
|---|
| Downloads: | 319 |
|---|
| Metadata: |    |
|---|
|
:
|
Copy citation |
|---|
| | | | Share: |  |
|---|
Hover the mouse pointer over a document title to show the abstract or click
on the title to get all document metadata. |
