The classification of groups in which every product of four elements can be reordered
The Ore conjecture, posed in 1951, states that every element of every finite non-abelian simple group is a commutator. Despite considerable effort, it remains open for various infinite families of simple groups. In this paper we develop new strategies, combining character-theoretic methods with other ingredients, and use them to establish the conjecture.