En álgebra abstracta, una extensión de cuerpo algebraica N/K es normal si N es el cuerpo de descomposición de una familia de polinomios en K[X].
Concretamente, una extensión es normal si verifica alguna de las siguientes condiciones equivalentes: