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

I asked this via MathSE, but haven't got any responces. Sorry for asking it here. Sorry.

We know that in the context of abelian groups, $p$-groups are called $p$-primary groups. I have a question about $p$-primary groups as follows. Derek J.S.Robinson, noted:

...the group $\mathbb Q/\mathbb Z$ is the direct sum of its primary components, each of which is also divisible. Now the $p$-primary ...

when he was giving a basic concepts and ideas of Quasicyclic Groups in chapter 4 of his book A course in the theory of groups. In another reference, An introduction to the theory of groups by J.J.Rotman, we face to the following lemma in chapter 10:

Lemma 10.27. If $G$ and $H$ are divisible $p$-primary groups, then $G\cong H$ if and only if $G[p]\cong H[p]$.

I see that Robinson says any primary component is divisible naturally while in another view, Rotman is noting the groups which are divisible and $p$-primary.

Is being $p$-primitive leads us to being divisible? Or the whole groups are necessarily torsion?

Am I misunderstanding an important point here? Thanks for sharing your thoughts.

share|cite|improve this question
up vote 2 down vote accepted

Robinson only assserts that for the specific group $\mathbb{Q}/\mathbb{Z}$ the $p$-primary componenents/subgroups are divisible; and this would remain true replacing $\mathbb{Q}/\mathbb{Z}$ by any other divisible group.

Rotman's lemma is very different. Here, you suppose $G$ is divisible and in addition that it is $p$-primary (or to use a different terminology a $p$-group). And, the same for $H$. Then some result on $G$ and $H$ is proved.

So, the $p$-primary subgroups of a divisible group are divisible. But, certainly not every $p$-primary group is divisible; just consider finite cycylic groups of prime power order, for example.

To answer your additional question: it is not necessary for a divisible group to be torsion (think of the rationals), but $p$-primary groups are always torsion essentially by definition.

share|cite|improve this answer
Just an add-on in view of a comment of you on mathSE: if you want an example of an infinite p-primary group that is not divisible take an infinite/countable direct sum of prime cyclic ones for example. – user9072 Dec 8 '12 at 11:04
@quid. Thanks so much. Yo saved me. Thanks. – Babak S. Dec 8 '12 at 13:04
You are welcome! – user9072 Dec 8 '12 at 13:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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