×

On some model theoretic problems concerning certain extensions of abelian groups by groups of finite exponent. (English) Zbl 0974.03033

This paper is devoted to the study of the following classes of groups derived from a fixed group \(G\). Let \(\mathfrak{K} (G)\) be the class of all groups \(S\) with abelian normal subgroup \(A\) such that \(S/A\) and \(G\) are elementary equivalent \((G \equiv S/A)\). Moreover, let \(\mathfrak{K}_{a b} (G)= \{X \in \mathfrak{K} (G)\), \(X\) abelian}. F. Oger [“Axiomatization of the class of abelian-by-\(G\)-groups for a finite group \(G\)” (to appear)] showed hat \(\mathfrak{K} (G)\) is finitely axiomatizable for finite \(G\). This motivated the author to consider infinite groups and to see when \(\mathfrak{K} (G)\) is elementary or finitely axiomatizable. Special attention is given to the case when \(G\) is the direct sum of a finite group and an elementary abelian \(p\)-group of rank \(\aleph_0\). In this particular case \(\mathfrak{K}_{ab} (G)\) can be characterized and cases can be singled out when \(\mathfrak{K} (G)\) is elementary.

MSC:

03C60 Model-theoretic algebra
20A15 Applications of logic to group theory
20F50 Periodic groups; locally finite groups
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] A. Baudisch , Decidability and stability of free nilpotent Lie algebras and free nilpotent p-groups of finite exponent , Ann. Math. Logic , 23 ( 1982 ), pp. 1 - 25 . MR 674671 | Zbl 0499.03016 · Zbl 0499.03016 · doi:10.1016/0003-4843(82)90008-0
[2] W. Hodges , Model Theory , Cambridge University Press , Cambridge , 1993 . MR 1221741 | Zbl 0789.03031 · Zbl 0789.03031
[3] A. Marcja - C. Toffalori , On the elementarity of some classes of abelian-by-infinite groups , Studia Logica , 62 ( 1999 ), pp. 201 - 213 . MR 1695999 | Zbl 1018.03035 · Zbl 1018.03035 · doi:10.1023/A:1026451519369
[4] A. Mekler , Stability of nilpotent groups of class 2 and prime exponent , J. Symbolic Logic , 46 ( 1981 ), pp. 781 - 788 . MR 641491 | Zbl 0482.03014 · Zbl 0482.03014 · doi:10.2307/2273227
[5] F. Oger , Equivalence élémentaire entre groupes finis-par-abéliens de type fini , Comment. Math. Helv. , 57 ( 1982 ), pp. 469 - 480 . MR 689074 | Zbl 0515.20019 · Zbl 0515.20019 · doi:10.1007/BF02565870
[6] F. Oger , Axiomatization of the class of abelian-by-G groups for a finite group G , preprint. · Zbl 1021.03027 · doi:10.1007/s001530100084
[7] J. Rotman , An Introduction to the Theory of Groups , Springer , New York , 1995 . MR 1307623 | Zbl 0810.20001 · Zbl 0810.20001
[8] C. Toffalori , An elementary class extending abelian-by-G groups, for G infinite , Rend. Mat. Acc. Lincei ( 9 ) 7 ( 1996 ), pp. 213 - 217 . MR 1454415 | Zbl 0871.03025 · Zbl 0871.03025
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.