Published online by Cambridge University Press: 20 November 2018
This paper arose out of an attempt to solve the following problem due to Suprunenko [5, Problem 2.77]. For which pairs of abelian groups A, B is every extension of A by B nilpotent? We obtain complete answers when A and B are p-groups and (a) A has finite exponent or (b) B is divisible or (c) A has infinite exponent, is countable and B is non-divisible. The structure of a basic subgroup of A plays a central role in cases (b) and (c).
At the outset we must say that the problem is too difficult to solve in complete generality. If G/A ≅ 2?, then the nilpotency of G depends solely on properties of the associated homomorphism θ.B → Aut A. Thus for instance if A is torsion-free and B finite, G is nilpotent if and only if the extension is a central one, and we would need detailed information on finite subgroups of the group Aut A.