Estaba cazando un ejemplo de grupo finito no trivial en el que
1) Todo subgrupo normal no trivial es no abeliano.
2) Existe un subgrupo abeliano subnormal no trivial.
¿Hay alguna esperanza de averiguarlo?
Notación
Un subgrupo $H$ de un grupo determinado $G$ es un subnormal subgrupo de $G$ si existe una cadena finita de subgrupos del grupo, cada uno normal en el siguiente, que comienza en H y termina en $G$ .