On the undecidability of some classes of abelian-by-finite groups (Q688804)

For any group \(G\) and every formula \(\varphi(v)\) in the first-order language of groups, \(K(G,\varphi)\) denote the class of groups \(H\) such that \(\varphi(H)\) is a normal Abelian subgroup of \(H\) and \(H/\varphi(H)\cong G\). The main result is the following theorem: Let \(G\) be a finite nilpotent group whose order is not square-free. Then there is a formula \(\varphi(v)\) such that the theory of \(K(G,\varphi)\) is undecidable.