Existence of a Model Companion for Groups of Exponent 3
En palabras de los autores
In this article, we prove that the theory of groups of exponent has a model companion. Previous work established the existence of model companions for theories of groups of fixed finite exponent and nilpotency class at most (Saracino--Wood), and for theories of groups of prime exponent and nilpotency class at most (Maier). These results do not cover , since groups of exponent may have nilpotency class . Our theorem verifies the case of a conjecture proposed by the third author that, for each integer , the theory of groups of exponent has a model companion if and only if every finitely generated group of exponent is finite, or equivalently, if and only if the Burnside problem has a positive solution for exponent .
Apareció: viernes, 25 de septiembre. arXiv. Preprint, todavía sin revisión por pares.