In mathematics, a pro-p group (for some prime number p) is a profinite group
Alternatively, one can define a pro-p group to be the inverse limit of an inverse system of discrete finite p-groups.
The best-understood (and historically most important) class of pro-p groups is the p-adic analytic groups: groups with the structure of an analytic manifold over
The Coclass Theorems have been proved in 1994 by A. Shalev and independently by C. R. Leedham-Green. Theorem D is one of these theorems and asserts that, for any prime number p and any positive integer r, there exist only finitely many pro-p groups of coclass r. This finiteness result is fundamental for the classification of finite p-groups by means of directed coclass graphs.