2
$\begingroup$

If $G$ is an infinite abelian group such that $G \cong H$ for every non trivial subgroup $H$ of $G$ , then is $G$ cyclic , or equivalently asking , then is $[G:H]$ finite for every non trivial subgroup $H$ of $G$ ?

I know that the assumption holds for $G=\mathbb Z$ , so I am asking is this the only group upto isomorphism for which the stated assumption holds . Also I know that if for an infinite group $G$ , $[G:H]$ is finite for every non trivial subgroup of $H$ then $G$ is cyclic .

Please help . Thanks in advance

$\endgroup$
3
$\begingroup$

Let $x\in G$, $x\ne0$; then $\langle x\rangle$ is a (non trivial) cyclic subgroup of $G$. Since $\langle x\rangle\cong G$, we have that $G$ is cyclic.

$\endgroup$
  • 1
    $\begingroup$ off-course .. and I missed that :) thanks $\endgroup$ – user228169 Apr 30 '16 at 8:11
  • 1
    $\begingroup$ @user228169 Now a quiz: does there exist a non cyclic abelian group such that its proper (non trivial) subgroups are all cyclic? Can you classify such groups, if they exist? $\endgroup$ – egreg Apr 30 '16 at 8:23
  • $\begingroup$ For prime $p$ , all proper subgroups of the abelian non cyclic group $\mathbb Z_p \times \mathbb Z_p$ is cyclic . Let me think about the classification and an infinite example .. $\endgroup$ – user228169 Apr 30 '16 at 8:27
  • 1
    $\begingroup$ Any finite abelian non cyclic group with the stated property is of the form $\mathbb Z_p \times Z_p$ for some prime $p$ $\endgroup$ – user228169 Apr 30 '16 at 8:51
  • $\begingroup$ @user228169 Correct. Infinite groups are a bit harder. 😀 $\endgroup$ – egreg Apr 30 '16 at 9:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy