1
$\begingroup$

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

  • 0
    @Stefan: Thanks for the advice. I made it a bit better.2011-06-06

1 Answers 1

4

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