The structure of finite p-groups: effective proof of the coclass conjectures.
For a group and a positive real number , define to be the number of integers less than which are dimensions of irreducible complex representations of . We study the asymptotics of for algebraic groups, arithmetic groups and finitely generated linear groups. In particular we prove an “alternative” for finitely generated linear groups in characteristic zero, showing that either there exists such that for all large , or is virtually abelian (in which case is bounded).
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.
Page 1