3
$\begingroup$

Problem: Let $G$ be an infinite abelian group. Show that if $G$ has a nontrivial subgroup $K$ such that $K$ is contained in all nontrivial subgroups of $G$, then $G$ is a $p$- group for some prime $p$. Moreover, $G$ is of type $p^\infty$ (quasicyclic) group.

I have the following result:

If $G$ is an infinite abelian group all of whose proper subgroup are finite, then $G$ is of type $p^\infty$ group for some prime $p$.

So I am trying to show that each of subgroup of $G$ is finite. But I can't see anymore. Please help me to find some direction.

  • 0
    Show that if $G$ has a nontrivial subgroup that **contains in** Or **is contained in** Or **contains all**?2012-12-06
  • 1
    $G$ is a nontrivial subgroup which contains all nontrivial subgroups for every non-identity group $G$. Please formulate your question better.2012-12-06
  • 0
    Sorry. I want to say : **is contained in**. More details, $G$ has a nontrivial subgroup $H$ such that $H \le K$, where $K$ is any nontrivial subgroup of G.2012-12-06

2 Answers 2

1

Hint: If it is as @Alexander noted, show that the group is torsion. So you can write $G$ for some prime $p$ as $$G\cong G_p$$ where $G_p=\{x\in G\mid p^nx=0\}$ for some $n\geq 0$. This can be show that the group in a $p$ group. For the rest, I think we should focus on proving $G$ is dividable.

  • 0
    @tlquyen: Could you solve the problem finally? Could you get the gist of Hagen's nite answer?2012-12-08
  • 0
    I can see $G$ is torsion and $G\cong G_p$ for some prime $p$. $G$ is dividable if $pG= G$, so suppose $G/pG\ne 0$. I pass to consider $G/pG$ is a $Z_p$-vector space to get something wrong, but I stuck here. Can you give me some help.2012-12-09
  • 0
    @tlquyen: Let we prove that $G$ is torsion, so we can prove that, according to our assumption, that for some $p$ $G\cong G_p$. If $G$ is divisible so it should be of form $\mathbb Z(p^{\infty})$ (We have a theorem about this fact) and so the proof is complete.2012-12-09
  • 0
    @tlquyen: If $G$ is not divisible so since it is a $p$ group, there is a pure cyclic subgroup like $S$ such that for an $n$, $nS=0$. We have a theorem saying that in this step $S$ is a direct summand in $G$. In other words, there is an $H\leq G$ such that $G=H\oplus S$. But it leads us to a contradiction because according to our assumption $H$ and $S$ have non trivial elements . And the proof is again complete. $G$ is divisible and torsion. Is it useful?2012-12-09
  • 0
    @tlquyen: Did you read my comments above? :)2012-12-18
  • 1
    Sorry Babak Sorouh for my late. I have learn many thing from your help. Thank you very much!2013-01-01
  • 0
    @tlquyen: I am glad you have. Happy new year. :-)2013-01-01
3

Assume $K\le G$ is a non-trivial subgroup of $G$ and that for every non-trivial subgroup $X\le G$, we have $K\le X$. Then $K$ itself has no nontrivial subgroup. Especially, for any $k\in K\setminus\{1\}$, we have $\langle k\rangle=K$ and thus $K\cong \mathbb Z$ or $K\cong \mathbb Z/n\mathbb Z$. But only the case with $n=p$ prime leads to $K$ having no nontrivial subgroups.

Let $g\in G\setminus\{1\}$ be arbitrary. Then $k\in\langle k\rangle = K\le \langle g\rangle$, i.e. $k=g^n$ for some $n$. If we write $n=p^mr$ with $r$ not divisible by $p$, then $h:=g^{p^{m+1}}$ has order dividing $r$ (because $h^r=g^{pn}=k^p=1$) and thus $k\notin \langle h\rangle$, from which we conclude $h=1$, hence $g^{p^{m+1}}=1$ and the order of $g$ is a power of $p$. This shows that $G$ is a $p$-group.

Can you see why the second claim (type $p^\infty$) follows from here if we use that $|G|=\infty$? And where did I use that $G$ is abelian?

  • 0
    I think the OP should know the structure $\mathbb Z(p^{\infty})$, until find out your first question above. Nice approach. I favorited it for the latter. +1 and :)2012-12-06
  • 0
    @ Hagen von Eitzen: Thank. There are some mistakes in my question. The case that I want to mention is : $H\le G$ is a non-trivial subgroup of $G$ and that for every non-trivial subgroup $X\le G$, we have $H\le X$. What do you think about this case?2012-12-06
  • 0
    @tlquyen Oops, actually that was what my solution is about and I made a typo $X\le H$ instead of $H\le X$. In fact, this is how I concluded that there is no nontrivial subgroup in $H$: If $X\le H$ is nontrivial, then also $H\le X$, hence $X=H$.2012-12-06