Describing groups
Nies, André
Bull. Symbolic Logic, Tome 13 (2007) no. 3, p. 305-339 / Harvested from Project Euclid
Two ways of describing a group are considered. 1. A group is finite-automaton presentable if its elements can be represented by strings over a finite alphabet, in such a way that the set of representing strings and the group operation can be recognized by finite automata. 2. An infinite f.g. group is quasi-finitely axiomatizable if there is a description consisting of a single first-order sentence, together with the information that the group is finitely generated. In the first part of the paper we survey examples of FA-presentable groups, but also discuss theorems restricting this class. In the second part, we give examples of quasi-finitely axiomatizable groups, consider the algebraic content of the notion, and compare it to the notion of a group which is a prime model. We also show that if a structure is bi-interpretable in parameters with the ring of integers, then it is prime and quasi-finitely axiomatizable.
Publié le : 2007-09-14
Classification: 
@article{1186666149,
     author = {Nies, Andr\'e},
     title = {Describing groups},
     journal = {Bull. Symbolic Logic},
     volume = {13},
     number = {3},
     year = {2007},
     pages = { 305-339},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1186666149}
}
Nies, André. Describing groups. Bull. Symbolic Logic, Tome 13 (2007) no. 3, pp.  305-339. http://gdmltest.u-ga.fr/item/1186666149/