Denne egenskab fås fra centersætningen, hvis vi tager i betragtning, at enhver undergruppe af en p -gruppe i sig selv er en p -gruppe, og at en normal undergruppe er invariant under konjugationer.
Hvis gruppen er endelig, så er dens rækkefølge også lig med en eller anden potens af p (dette følger af Sylows første sætning ).
Desuden er enhver ordensgruppe en p -gruppe (følger af Legendres sætning ).
For er antallet af ikke-isomorfe ordensgrupper asymptotisk lig med
.