Entonces cada subgrupo es normal, y por lo tanto cualquier extensión también es normal. ¿Se puede extender este ejemplo eligiendo un campo intermedio no trivial con un polinomio irreducible no trivial...Entonces cada subgrupo es normal, y por lo tanto cualquier extensión también es normal. ¿Se puede extender este ejemplo eligiendo un campo intermedio no trivial con un polinomio irreducible no trivial que tenga todas sus raíces en el campo intermedio y un polinomio irreducible no trivial sin ninguna de sus raíces en el campo intermedio?
