Tal vez quiera ver esto papel . Aquí todos los grupos $G$ se clasifican que tienen sólo finitamente muchos subgrupos no normales. Se demuestra que un grupo $G$ tiene esta propiedad si y sólo si es abeliano o Hamiltoniano o finito o del formulario $A \times B$ , donde $A$ y $B$ son los siguientes: $B$ contiene para algún número primo $p$ un subgrupo central $C$ que es isomorfo al grupo de raíces complejas de la unidad de $p$ -de poder, tal que $B/C$ es un abeliano finito $p$ -grupo, y $A$ es un grupo abeliano o hamiltoniano finito de orden no divisible por $p$ .
De este resultado se deduce este resultado que cualquier grupo infinito que tenga subgrupos no normales tiene al menos seis de ellos, con igualdad precisamente para un grupo, hasta el isomorfismo.