El conjunto de todos los no-generadores de un grupo forma un subgrupo de éste, llamado subgrupo de Frattini.