Quiero demostrar que el grupo finito $G$ es nilpotent iff para cada subgrupo maximal de a$G$ como $M$ e $N$ , $MN=NM$.
Deje $G$ ser nilpotent. Ya que cada subgrupo maximal de a$G$ es normal en $G$, el resultado es claro.
Pero por lo contrario quiero mostrar la información de cada subgrupo maximal es normal en $G$ pero no sé cómo demostrarlo.