Extensión algebraica

Si pensamos en L como un espacio vectorial sobre K, podemos considerar su dimensión. Esta dimensión es también llamada el grado de la extensión. Así, la extensión L/K puede ser clasificada además como extensión finita o infinita de acuerdo con esta dimensión. Todas las extensiones trascendentes son de grado infinito. Esto además implica que todas las extensiones finitas son algebraicas.

Sin embargo lo contrario no es cierto: existen extensiones infinitas que son además algebraicas. Por ejemplo, el cuerpo de todos los números algebraicos es una extensión infinita algebraica de los números racionales.

Si a es algebraico sobre K, entonces K[a], el conjunto de todos los polinomios en a con coeficientes en K, es un cuerpo. Es una extensión de cuerpos algebraica de K que tiene grado finito sobre K. En el caso especial de que K=Q, Q[a] es un ejemplo de cuerpo de números algebraicos.

Un cuerpo sin extensiones algebraicas propias es llamado algebraicamente cerrado. Un ejemplo es el de los números complejos. Cada cuerpo tiene una extensión algebraica que es algebraicamente cerrada (que se denomina su clausura algebraica), pero el probar esto en general, requiere cierta forma del axioma de elección.

La teoría de modelos generaliza la noción de extensión algebraica a teorías arbitrarias: una inmersión difeomorfa (incubamiento) de M en N se le llama extensión algebraica si para cada x en N existe una condición p con parámetros en M, tal que p(x) es cierta y el conjunto

${\displaystyle \{y\in N|p(y)\}}$

es finito. Ocurre que aplicando esta definición a la teoría de cuerpos tenemos la definición usual de extensión algebraica. El grupo de Galois de N sobre M puede ser de nuevo definido como el grupo de automorfismos, y gran parte de la teoría de grupos de Galois puede ser desarrollada para el caso general.

En Teoría de Cuerpos, una extensión de cuerpos ${\displaystyle L:K}$ es transcendente o trascendente si existe algún elemento ${\displaystyle \alpha \in L}$ que es trascendente sobre ${\displaystyle K}$.[1][2]

• Álgebra abstracta
• Cuerpo
• Espacio vectorial
• Teoría de Galois
• Número algebraico
• Cuerpo algebraicamente cerrado

• Weisstein, Eric W. «Algebraic Extension». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.