Un grupo de p es un grupo de orden $p^d$ donde p es un primo.
Si el centro tiene orden $p^m$ (ya que su orden debe dividir el orden del grupo) entonces tenemos una unidimensional irreducible representación fiel del centro que sería un generador del centro $e^{2\pi i/m}$. ¿Podemos entonces inducir una representación en todo el grupo? Si es así, ¿cómo sabemos que esto es fiel e irreducible? Si no, ¿cómo podríamos demostrar esto?