Axiomatization of abelian-by- G groups for a finite group G

Archive for Mathematical Logic 40 (7):515-521 (2001)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s001530100084

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The class of groups which have a subgroup of index 2 is not elementary.Thierry Coulbois - 2001 - Archive for Mathematical Logic 40 (7):523-524.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
On properties of (weakly) small groups.Cédric Milliet - 2012 - Journal of Symbolic Logic 77 (1):94-110.
Quasi-endomorphisms in small stable groups.Frank O. Wagner - 1993 - Journal of Symbolic Logic 58 (3):1044-1051.
On the definability of verbal subgroups.Françcoise Point - 2001 - Archive for Mathematical Logic 40 (7):525-529.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
On Preservation of Stability for Finite Extensions of Abelian Groups.Frieder Haug - 1994 - Mathematical Logic Quarterly 40 (1):14-26.
Perfect MV-Algebras Are Categorically Equivalent to Abelian l-Groups.Antonio Di Nola & Ada Lettieri - 1994 - Studia Logica 53 (3):417-432.
Actions of groups of finite Morley rank on small abelian groups.Adrien Deloro - 2009 - Bulletin of Symbolic Logic 15 (1):70-90.
À propos d'équations génériques.Frank O. Wagner - 1992 - Journal of Symbolic Logic 57 (2):548-554.
A propos e'equations generiques.Frank O. Wagner - 1992 - Journal of Symbolic Logic 57 (2):548-554.
The additive group of the rationals does not have an automatic presentation.Todor Tsankov - 2011 - Journal of Symbolic Logic 76 (4):1341-1351.
Describing groups.André Nies - 2007 - Bulletin of Symbolic Logic 13 (3):305-339.

Analytics

Added to PP
2013-11-23

Downloads
15 (#899,486)

6 months
2 (#1,182,310)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Elementary Equivalence for Abelian-by-Finite and Nilpotent Groups.Francis Oger - 2001 - Journal of Symbolic Logic 66 (3):1471-1480.

Add more citations

References found in this work

On the definability of verbal subgroups.Françcoise Point - 2001 - Archive for Mathematical Logic 40 (7):525-529.

Add more references