There are some applications of Zorn Lemma to subgroups; for example: 1. Every group has maximal commutative subgroup. 2. Existence of maximal proper normal subgroups (or maximal normal subgroup not containing a given element).
Are there some interesting applications of these facts or some other interesting applications of Zorn Lemma to groups and subgroups?