why if G is an abelian pgroup not divisible then exists an element g in G which is not divisible by p? thanks
closed as off topic by Qiaochu Yuan, Pete L. Clark, Mark Sapir, Ryan Budney, Andreas Blass Jun 15 '11 at 22:27Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here. If this question can be reworded to fit the rules in the help center, please edit the question. 


As Pace said, but with more detail: If $G$ is an abelian $p$group, then for any $g$ in $G$, the order of $g$ is a power of $p$, say $p^k$. Thus for any integer $n$ coprime with $p$, $n$ is a unit (mod $p^k$), so for some $m$, $nm=1$ mod $p^k$. So $n(mg)=(nm)g=(ap^k+1)g=g+a(p^kg)=g+0=g$. Thus $g$ is divisible by $n$. This holds for any $g$; so if every $g$ is divisible by $p$, they are also divisible by $p^n$ for all $n$, so they are all divisible by $p^nk$ for any $n$ and any $k$ coprime to $n$, which is to say, any nonzero number. 

