Coclass

In mathematics, the coclass of a finite p-group of order pn is n − c, where c is the nilpotency class.

The coclass conjectures were introduced by Leedham-Green and Newman (1980) and proved by Leedham-Green (1994) and Shalev (1994).

They are: