Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Is this true that a pure subgroup of divisible group is also divisible?

share|cite|improve this question
The statement of your question itself would make a better title, even if it looks strange to have the statement just repeat the title. – Stefan Jun 6 '11 at 9:53
@Stefan: Thanks for the advice. I made it a bit better. – Sama Jun 6 '11 at 10:01

This follows directly from the definitions. A group $G$ is divisible if ever element has an $n$th root for every $n$. A subgroup is $H$ pure if, whenever an element of $H$ has an $n$th root in $G$, it has one in $H$. So let $H$ be a pure subgroup of a divisible group $G$. Given any $h\in H$ and $n\in \mathbb{N}$, $h$ has an $n$th root in $G$, and hence in $H$. Since this holds for every $h$ and $n$, every element of $H$ is divisible in $H$.

share|cite|improve this answer

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.