Prove that every group $G$ has a unique maximal perfect subgroup $R$ and $R$ is fully-invarinat in $G$ A group is called perfect if it equals its derived subgroup.

Prove that every group $G$ has a unique maximal perfect subgroup $R$ and $R$ is fully-invarinat in $G$.

If this unique maximal perfect subgroup does exist, it is obviously fully-invariant. Now I have to prove the existence.
Let $S$ denote the set of perfect subgroups of $G$. As $\{ 1 \} \in S$, $S \neq \phi$. So, I think of proving it by showing that, for any two elements $H_1$ and $H_2$ of $S$, the subgroup $\langle H_1, H_2 \rangle$ of $G$ generated by $H_1$ and $H_2$ is still in $S$. But what will happen if $G$ doesn't satisfy the maximal condition (every set of subgroups has a maximal element) and $S$ doesn't have a maximal element?
Thanks very much.
 A: As you yourself and Mariano mention, you can create this largest perfect subgroup from below, by taking the subgroup K generated by all perfect subgroups.  Any particular element in K is a product of finitely many elements in Hi, and your finitely-many proof shows that product is a product of commutators from the perfect subgroups Hi.
However, you can also find this subgroup from above.  I like this method better because the first method requires having a large supply of perfect subgroups (and at face value requires having them all, even K itself).  The second method just requires being able to find derived subgroups (and in the infinite case, intersections).
A perfect subgroup of G is contained in [G,G], and so also in $G^{(2)}=[[G,G],[G,G]]$, and so on in $G^{(n+1)} = [ G^{(n)}, G^{(n)} ]$.  It is then of course in the intersection $G^{(\infty)} = \cap_{n=2}^\infty G^{(n)}$.  In a finite group, $G^{(\infty)}$ is the unique largest perfect subgroup and the unique smallest normal subgroup with solvable quotient.  In infinite groups, one may need to go further, defining $G^{(\infty+1)}=[G^{(\infty)},G^{(\infty)}]$, and so on transfinitely (taking intersections as limit ordinals).  Such a series always stabilizes (a group only has a specific cardinal worth of subgroups at all), and by definition it stabilizes at a perfect subgroup containing all other perfect subgroups.
A: The subgroup generated by the union of all the perfect subgroups of a group is perfect—and it is therefore the unique maximal perfect subgroup.
