Extensión de Galois

En álgebra abstracta, una extensión de cuerpo algebraica E/K se dice extensión de Galois (o extensión galoisiana) si es una extensión normal y separable. En este caso, se puede considerar el grupo de Galois de la extensión y sobre él es válida la tesis del Teorema Fundamental de la Teoría de Galois.

Definición

Sea la extensión E sobre un cuerpo base K (E/K).

  • Por ser normal, E es el cuerpo de descomposición de un polinomio con coeficientes en K; o, equivalentemente, las K- inmersiones de E en un cuerpo algebraicamente cerrado que contenga a K son automorfismos de E sobre K.
  • Por ser separable, dicho polinomio descompone completamente en raíces simples.
Other Languages