Cuerpo algebraicamente cerrado

De Wikipedia, la enciclopedia libre

En matemática, un cuerpo F se dice algebraicamente cerrado si cada polinomio de grado al menos 1, con coeficientes en F, tiene un cero en F. En ese caso, cada polinomio de tal clase se descompone en factores lineales. Puede demostrarse que un cuerpo es algebraicamente cerrado si no tiene extensiones propias, lo que se toma a veces como definición.

Como ejemplo, el cuerpo de los Números reales no es algebraicamente cerrado, ya que el polinomio

x² + 1

no tiene ceros reales. Como contraste, el cuerpo de los números complejos es algebraicamente cerrado: esto es lo que dice el Teorema fundamental del álgebra.

Cada cuerpo F tiene una «cerradura algebraica», que es el cuerpo algebraicamente cerrado más pequeño del cual F es un subcuerpo. Cada cerradura algebraica de un cuerpo es única salvo isomorfismo. En particular, el cuerpo de los números complejos es la cerradura algebraica del cuerpo de los números reales. También tenemos que el cuerpo de los números algebraicos es la cerradura algebraica del cuerpo de los números racionales.