Let G be an infinite group generated by nilpotent normal subgroups. Prove that every maximal Abelian normal subgroup of G is infinite. (We call an Abelian normal subgroup maximal if it is not contained in another Abelian normal subgroup.)
P. Erdos abstract algebragroup theorysuperior algebrasuperior algebra unsolved