MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

why if G is an abelian p-group not divisible then exists an element g in G which is not divisible by p? thanks

share|cite|improve this question

closed as off topic by Qiaochu Yuan, Pete L. Clark, Mark Sapir, Ryan Budney, Andreas Blass Jun 15 '11 at 22:27

Questions 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.

Because any element is divisible by any other prime. – Pace Nielsen Jun 15 '11 at 19:38
up vote 0 down vote accepted

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.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.