Subalgebras of FA-presentable algebras
Abstract
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even within the class of algebras with only unary operations. However, it is proven that a finitely generated subalgebra of an FA-presentable algebra with a single unary operation is itself FA-presentable. Furthermore, it is proven that the class of unary FA-presentable algebras is closed under forming finitely generated subalgebras, and that the membership problem for such subalgebras is decidable.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2012
- DOI:
- 10.48550/arXiv.1206.5548
- arXiv:
- arXiv:1206.5548
- Bibcode:
- 2012arXiv1206.5548C
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Formal Languages and Automata Theory;
- 08A30 (Primary) 03D45;
- 68Q45 (Secondary)
- E-Print:
- 19 pages, 6 figures