On the existence of free subsemigroups in reversible automata semigroups
Abstract
We prove that the semigroup generated by a reversible Mealy automaton contains a free subsemigroup of rank two if and only if it contains an element of infinite order.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2018
- DOI:
- 10.48550/arXiv.1811.04679
- arXiv:
- arXiv:1811.04679
- Bibcode:
- 2018arXiv181104679F
- Keywords:
-
- Mathematics - Group Theory;
- 20M35
- E-Print:
- 23 pages, 3 figures