Ore's conjecture

Statement

As the commutator subgroup is generated by commutators, a perfect group may contain elements that are products of commutators but not themselves commutators. Øystein Ore showed in 1951 that the alternating groups on five or more elements contained only commutators, and conjectured that this was so for all the finite non-abelian simple groups. Ore's conjecture was finally proven in 2008. The proof relies on the classification theorem.