On finitely generated submonoids of virtually free groups
Abstract
We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a relation). We also solve the isomorphism problem for this class of monoids, generalizing earlier results for submonoids of free monoids. We also prove that the classes of graded monoids, regular monoids and Kleene monoids coincide for submonoids of free groups.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2017
- DOI:
- 10.48550/arXiv.1712.07746
- arXiv:
- arXiv:1712.07746
- Bibcode:
- 2017arXiv171207746S
- Keywords:
-
- Mathematics - Group Theory;
- Computer Science - Formal Languages and Automata Theory;
- 20E05;
- 20M05;
- 20F10;
- 68Q45;
- 68Q70
- E-Print:
- 22 pages. Main results generalized to virtually free groups, new geometric characterisation added in Section 4, Section 6 modified to include word problem for monoids, main proofs shortened, references added