Preserving self-similarity in free products of semigroups
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916923814445056 |
|---|---|
| author | Brough, Tara Macalister Wächter, Jan Philipp Welker, Janette |
| author_facet | Brough, Tara Macalister Wächter, Jan Philipp Welker, Janette |
| contents | We improve on earlier results on the closure under free products of the class of automaton semigroups. We consider partial automata and show that the free product of two self-similar semigroups (or automaton semigroups) is self-similar (an automaton semigroup) if there is a homomorphism from one of the base semigroups to the other. The construction used is computable and yields further consequences. One of them is that we can adjoin a free generator to any self-similar semigroup (or automaton semigroup) and preserve the property of self-similarity (or being an automaton semigroup).
The existence of a homomorphism between two semigroups is a very lax requirement; in particular, it is satisfied if one of the semigroups contains an idempotent. To explore the limits of this requirement, we show that no simple or $0$-simple idempotent-free semigroup is a finitely generated self-similar semigroup (or an automaton semigroup). Furthermore, we give an example of a pair of residually finite semigroups without a homomorphism from one to the other. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2003_12810 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Preserving self-similarity in free products of semigroups Brough, Tara Macalister Wächter, Jan Philipp Welker, Janette Group Theory Formal Languages and Automata Theory 20M35, 68Q45 We improve on earlier results on the closure under free products of the class of automaton semigroups. We consider partial automata and show that the free product of two self-similar semigroups (or automaton semigroups) is self-similar (an automaton semigroup) if there is a homomorphism from one of the base semigroups to the other. The construction used is computable and yields further consequences. One of them is that we can adjoin a free generator to any self-similar semigroup (or automaton semigroup) and preserve the property of self-similarity (or being an automaton semigroup). The existence of a homomorphism between two semigroups is a very lax requirement; in particular, it is satisfied if one of the semigroups contains an idempotent. To explore the limits of this requirement, we show that no simple or $0$-simple idempotent-free semigroup is a finitely generated self-similar semigroup (or an automaton semigroup). Furthermore, we give an example of a pair of residually finite semigroups without a homomorphism from one to the other. |
| title | Preserving self-similarity in free products of semigroups |
| topic | Group Theory Formal Languages and Automata Theory 20M35, 68Q45 |
| url | https://arxiv.org/abs/2003.12810 |