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"].