Esta propiedad se obtiene del teorema del centro si tenemos en cuenta que cualquier subgrupo de un p -grupo es en sí mismo un p -grupo y que un subgrupo normal es invariante bajo conjugaciones.
Si el grupo es finito, entonces su orden también es igual a alguna potencia de p (esto se deriva del primer teorema de Sylow ).