Finitely Generated Metabelian Groups are not Subnormality Separable.
Let G be an infinite, locally soluble group which is isomorphic to all its nontrivial normal subgroups. If G/G' has finite p-rank for p = 0 and for all primes p, then G is cyclic.
Page 1