Coclass

In mathematics, the coclass of a finite "p"-group of order "p""n" is "n" − "c", where "c" is the class.
The coclass conjectures.
The coclass conjectures were introduced by and proved by and . They are: