Abstract.
We show that, for each finite group G, there exists an axiomatization of the class of abelian-by-G groups with a single sentence. In the proof, we use the definability of the subgroups M n in an abelian-by-finite group M, and the Auslander-Reiten sequences for modules over an Artin algebra.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 15 March 1996 / Published online: 18 July 2001
Rights and permissions
About this article
Cite this article
Oger, F. Axiomatization of abelian-by-G groups for a finite group G. Arch. Math. Logic 40, 515–521 (2001). https://doi.org/10.1007/s001530100084
Issue Date:
DOI: https://doi.org/10.1007/s001530100084