Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View

Mathematical Logic Quarterly 40 (1):125-131 (1994)
  Copy   BIBTEX


Let G be a finite group. We prove that the theory af abelian-by-G groups is decidable if and only if the theory of modules over the group ring ℤ[G] is decidable. Then we study some model theoretic questions about abelian-by-G groups, in particular we show that their class is elementary when the order of G is squarefree



    Upload a copy of this work     Papers currently archived: 74,429

External links

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

Through your library

Similar books and articles

The Model Theory of Finitely Generated Finite-by-Abelian Groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Axiomatization of Abelian-by- G Groups for a Finite Group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
Quasi-Endomorphisms in Small Stable Groups.Frank O. Wagner - 1993 - Journal of Symbolic Logic 58 (3):1044-1051.
Some Model Theory of Abelian Groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
Supersimple Ω-Categorical Groups and Theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
A Note on the Model Theory of Generalized Polygons.Katrin Tent - 2000 - Journal of Symbolic Logic 65 (2):692-702.


Added to PP

11 (#837,981)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An Undecidability Theorem for Lattices Over Group Rings.Carlo Toffalori - 1997 - Annals of Pure and Applied Logic 88 (2-3):241-262.

Add more citations

References found in this work

Model Theory and Modules.Mike Prest - 1989 - Journal of Symbolic Logic 54 (3):1115-1118.

Add more references