¿Existe algún tipo de clasificación de grupos (digamos finitos) con la propiedad de que cada subgrupo es normal?
Por supuesto, cualquier grupo abeliano tiene esta propiedad, pero los cuaterniones muestran que la conmutatividad no es necesaria.
Si no hay una clasificación, ¿podemos al menos decir que el grupo debe ser de orden de potencia principal, o incluso una potencia de dos?