3
$\begingroup$

If $G$ and $H$ are divisible groups each of which is isomorphic to a subgroup of the other, then $G$ is isomorphic to $H$.

Here, $G$ and $H$ are abelian groups. Can we assume another adjective rather than divisibility?

  • 0
    1) Cyclic. 2) Finitely-generated-and-torsion-free. Surely many others (perhaps "finitely generated" suffices?)2011-05-08

1 Answers 1