P
Initializing...
The commutator subgroup is perfect and S_n is the smallest non-Abelian finite quotient (Proposition 4.7 and Corollary 4.9) · Prove2Me