Abstract Algebra – Is There a Non-Cyclic Group with Every Subgroup Characteristic?

abstract-algebragroup-theory

Suppose $G$ is a group such that every subgroup of $G$ is a characteristic subgroup. Does this mean that $G$ is cyclic? I remember reading that this is true in the finite case, is that right? What about the infinite case?

Best Answer

Consider the Prüfer $p$-group, $\mathbb{Z}_{p^{\infty}}$. Since every proper subgroup of $G$ is finite, and there is one and only one subgroup of each finite order $p^k$, every subgroup of $G$ is characteristic. But $G$ is not cyclic. (It is, of course, quasicyclic: every finitely generated subgroup is cyclic).

Related Question