Presentation of monoids generated by a projection and an involution
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929230824079360 |
|---|---|
| author | Caron, Pascal Luque, Jean-Gabriel Patrou, Bruno |
| author_facet | Caron, Pascal Luque, Jean-Gabriel Patrou, Bruno |
| contents | Monoids generated by elements of order two appear in numerous places in the literature. For example, Coxeter reflection groups in geometry, Kuratowski monoids in topology, various monoids generated by regular operations in language theory and so on. In order to initiate a classification of these monoids, we are interested in the subproblem of monoids, called strict 2-PIMs, generated by an involution and an idempotent. In this case we show, when the monoid is finite, that it is generated by a single equation (in addition to the two defining the involution and the idempotent). We then describe the exact possible forms of this equation and classify them. We recover Kuratowski's theorem as a special case of our study. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_00417 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Presentation of monoids generated by a projection and an involution Caron, Pascal Luque, Jean-Gabriel Patrou, Bruno Group Theory Formal Languages and Automata Theory Monoids generated by elements of order two appear in numerous places in the literature. For example, Coxeter reflection groups in geometry, Kuratowski monoids in topology, various monoids generated by regular operations in language theory and so on. In order to initiate a classification of these monoids, we are interested in the subproblem of monoids, called strict 2-PIMs, generated by an involution and an idempotent. In this case we show, when the monoid is finite, that it is generated by a single equation (in addition to the two defining the involution and the idempotent). We then describe the exact possible forms of this equation and classify them. We recover Kuratowski's theorem as a special case of our study. |
| title | Presentation of monoids generated by a projection and an involution |
| topic | Group Theory Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2402.00417 |