How do I prove that any abelian group $G$ contains divisible subgroup $H$, such that $G / H$ has no divisible subgroups other than $\{0\}$?


1) Using Zorn's lemma was suggested to me in the comments, so I started figuring out how to construct a partially ordered set that would allow me to extract maximal divisible subgroup.

2) A hint also provided a simple useful proposition for me to prove.

Edit: Based on the hints and my attempts in the comments, I have figured out the solution, which I have posted as an answer.

  • 1
    $\begingroup$ Have you heard of Zorn's lemma? $\endgroup$ – Steve D Sep 21 '18 at 4:44
  • $\begingroup$ It was mentioned several times by our lecturer during some proofs. He never stated it though. I looked up its definition on Wikipedia, but have never used it. How does it apply to my question? $\endgroup$ – Drinkwater Sep 21 '18 at 4:53
  • 2
    $\begingroup$ It helps ensure you can get a maximal divisble subgroup. Here's another hint: suppose you have an abelian group $K$ and a subgroup $L$, such that both $L$ and $K/L$ are divisible. Can you show $K$ is divisible? $\endgroup$ – Steve D Sep 21 '18 at 4:57
  • 1
    $\begingroup$ Let's suppose you use Zorn's lemma to find a maximal divisible subgroup $H$. Then suppose $G/H$ has a divisible subgroup $K/H$. Then by what you've shown $K$ is divisble, contradicting the maximality of $H$. $\endgroup$ – Steve D Sep 21 '18 at 7:54
  • 1
    $\begingroup$ In many algebraic cases, you take the union of a chain. Show this is a subgroup, and divisible. $\endgroup$ – Steve D Sep 21 '18 at 8:13

I thank user Steve D for helping me figure this one out.

1 General structure of the proof

1) Consider a set $P$ of all divisible subgroups of $G$, endowed with the partial ordering $\le$: $A \le B \iff A \text{ is a subgroup of } B$.

2) Apply Zorn's lemma to extract $D$, the maximal element of $P$.

3) Show that existence of any non-trivial divisible subgroup of $G / D$ implies that $D$ is not maximal, which yields the contradiction that concludes the proof.

2 Some helpful details for expanding the proof


Zorn's lemma is applicable in step 2 because $P$ at the very least contains $\{0\}$ and each chain in $P$ has the upper bound: a union of all chain members. It is indeed a divisible group, which is easily proven.


Lemma Consider an abelian group $K$ and its subgroup $L$, such that both $L$ and $K/L$ are divisible.
Then $K$ is divisible as well.

$$(\forall l \in L) \ (\forall n \in \mathbb{N}) \ (\exists l_n \in L) \ (n l_n = l)$$ $$(\forall (k + L) \in K / L) \ (\forall n \in \mathbb{N}) \ (\exists (k'_n + L) \in K / L) \ (n (k'_n + L) = k + L)$$

Consider arbitrary fixed $k \in K$ and $n \in \mathbb{N}$. From the above statement: $$(\exists (k'_n + L) \in K / L) \ (n (k'_n + L) = k + L)$$

It follows that $l := (n k'_n - k) \in L$.

Also, from the above: $$(\exists l_n \in L) \ (n l_n = l)$$

Therefore $$ n k'_n - k = n l_n \Rightarrow k = n(k'_n - l_n)$$ Hence $k_n := (k'_n - l_n) \in K$ has the desired property $n k_n = k$, thus $K$ is divisible. $\square$


Using above lemma, if we now suppose (step 3) that $G / D$ contains a non-trivial divisible subgroup $K / D$, we automatically conclude $K$ is divisible. Combined with $D$ being a subgroup of $K$ (and thus $D \le K$, non-triviality ensures $K \ne D$) it follows that $D$ is not maximal. Contradiction.

2.4 Zorn's lemma

For the reference, Zorn's lemma states that every non-empty partially ordered set $(P, \le)$, with the property that every chain has an upper bound in $P$, contains a maximal element.

Maximal element of $(P, \le)$ is defined as the element which does not precede any other element of $P$.

Chain in $(P, \le)$ is defined as a subset of $P$ where each pair of elements is $\le$-comparable.

  • 2
    $\begingroup$ Minor comment on Step 2.1: the union works for all but the empty chain; you need to deal with the empty chain separately, which can be done by exhibiting an element of $P$ (which is an upper bound for the empty chain). $\endgroup$ – Arturo Magidin Sep 21 '18 at 18:04
  • $\begingroup$ Interesting insight. Easy to look over, but ultimately trivial, as long as there's at least one element in $P$. $\endgroup$ – Drinkwater Sep 22 '18 at 9:10
  • $\begingroup$ Yes, but it’s an important point of the formulation of Zorn’s Lemma you have given. Other (equivalent) formulations require $P$ to be nonempty, and then restrict to “nonempty chains”. That’s why you often see applications of Zorn’s Lemma begin by saying “the set is nonempty, since blah is in there”. That’s dealing with the empty chain. $\endgroup$ – Arturo Magidin Sep 22 '18 at 17:01
  • $\begingroup$ I believe I have now accounted for those formalities. $\endgroup$ – Drinkwater Sep 23 '18 at 8:31

Zorn's lemma is not needed.

I'll use additive notation for the abelian group $G$.

The sum of any family of divisible subgroups is divisible.

Indeed, let $(H_\alpha)$ be a family of divisible subgroups and $H=\sum_\alpha H_\alpha$. Let $x\in H$; then $x=\sum_{i=1}^n x_{\alpha_i}$, for $x_{\alpha_i}\in H_{\alpha_i}$. If $m>0$ is an integer, then for each $i$, there is $y_i\in H_{\alpha_i}$ with $$ my_i=x_{\alpha_i} $$ Set $y=\sum_{i=1}^ny_i$; then $y\in H$ and $my=x$.

Thus you can consider the sum $D$ of all divisible subgroups of $G$, which is a divisible subgroup and the larges such.

Let's prove that $G/D$ has no divisible subgroup except $\{0\}=D/D$.

To this end we show that if $A$ is a divisible subgroup of $B$ and $B/A$ is divisible, then also $B$ is divisible. Let $x\in B$ and $m>0$. By assumption there is $y\in B$ such that $$ x+A=my+A $$ (since $B/A$ is divisible). This means that $x-my\in A$, which is divisible as well, so there is $z\in A$ with $mz=x-my$. Hence $x=m(y+z)$ as desired.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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