Pseudovarieties of semigroups
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913788147531776 |
|---|---|
| author | Almeida, Jorge |
| author_facet | Almeida, Jorge |
| contents | The most developed aspect of the theory of finite semigroups is their classification in pseudovarieties. The main motivation for investigating such entities comes from their connection with the classification of regular languages via Eilenberg's correspondence. This connection prompted the study of various natural operators on pseudovarieties and led to several important questions, both algebraic and algorithmic. The most important of these questions is decidability: given a finite semigroup is there an algorithm that tests whether it belongs to the pseudovariety? Since the most relevant operators on pseudovarieties do not preserve decidability, one often seeks to establish stronger properties. A key role is played by relatively free profinite semigroups, which is the counterpart of free algebras in universal algebra. The purpose of this paper is to give a brief survey of the state of the art, highlighting some of the main developments and problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_22546 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Pseudovarieties of semigroups Almeida, Jorge Group Theory Formal Languages and Automata Theory 20M07, 20M35 The most developed aspect of the theory of finite semigroups is their classification in pseudovarieties. The main motivation for investigating such entities comes from their connection with the classification of regular languages via Eilenberg's correspondence. This connection prompted the study of various natural operators on pseudovarieties and led to several important questions, both algebraic and algorithmic. The most important of these questions is decidability: given a finite semigroup is there an algorithm that tests whether it belongs to the pseudovariety? Since the most relevant operators on pseudovarieties do not preserve decidability, one often seeks to establish stronger properties. A key role is played by relatively free profinite semigroups, which is the counterpart of free algebras in universal algebra. The purpose of this paper is to give a brief survey of the state of the art, highlighting some of the main developments and problems. |
| title | Pseudovarieties of semigroups |
| topic | Group Theory Formal Languages and Automata Theory 20M07, 20M35 |
| url | https://arxiv.org/abs/2503.22546 |