Extensión algebraica


Extensión algebraica

Extensión algebraica

En álgebra abstracta, una extensión de cuerpo L/K se dice algebraica si cada elemento de L es algebraico sobre K, i.e. si cada elemento de L es una raíz de algún polinomio distinto de cero con coeficientes en K. Las extensiones de cuerpos que no son algebraicas, i.e. que contienen elementos trascendentes, son llamadas transcendentes.

Por ejemplo, la extensión de cuerpos R/Q es trascendente, mientras que las extensiones de cuerpos C/R y Q(√2)/Q son algebraicas.

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 la elección.

Generalizaciones

La teoría de modelos generaliza la noción de extensión algebraica a teorías arbitrarias: una inmersión difeomorfa (embedding) 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

{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.

Véase también:

Obtenido de "Extensi%C3%B3n algebraica"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Extensión algebraica — En álgebra abstracta, una extensión de cuerpo L/K se dice algebraica si cada elemento de L es algebraico sobre K, i.e. si cada elemento de L es una …   Enciclopedia Universal

  • Extensión de cuerpo — Saltar a navegación, búsqueda En Álgebra, las extensiones de cuerpo son el problema fundamental de la Teoría de Cuerpos. Un cuerpo es un conjunto en el que las operaciones suma y producto están definidas y funcionan bien . Cuando se construye una …   Wikipedia Español

  • Extensión — ► sustantivo femenino 1 Acción y resultado de extender o extenderse. 2 GEOMETRÍA Propiedad que tienen los cuerpos de ocupar una parte de espacio. 3 Espacio que ocupa una cosa considerada sólo en dos dimensiones: ■ han comprado una finca de gran… …   Enciclopedia Universal

  • Extensión separable — Saltar a navegación, búsqueda En matemáticas, una extensión separable de un cuerpo K es un cuerpo L que contiene a K y que puede ser generado adjuntando a K un conjunto de elementos α, tales que son raíces de polinomios separables sobre K. En… …   Wikipedia Español

  • Extensión simple — Saltar a navegación, búsqueda En la teoría de cuerpos (una rama del álgebra), una extensión simple es una extensión de cuerpos L:K de manera que L está generado por un solo elemento. Contenido 1 Construcción 2 Definición de extensión simple …   Wikipedia Español

  • Extensión finita — Saltar a navegación, búsqueda En Teoría de Cuerpos (una rama del Álgebra), una extensión se dice que es finita si es de grado finito. En concreto, sea L:K una extensión de cuerpos. Se dice que L:K es extensión finita si el grado de la extensión… …   Wikipedia Español

  • Extensión de Galois — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • Extensión normal — Saltar a navegación, búsqueda En álgebra abstracta, una extensión de cuerpo algebraica N/K es normal si verifica alguna de las siguientes condiciones equivalentes: Para todo elemento , el polinomio irreducible de α en K sobre la variable x,… …   Wikipedia Español

  • Extension de Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extensión finita — En Teoría de Cuerpos (una rama del Álgebra), una extensión se dice que es finita si es de grado finito. En concreto, sea una extensión de cuerpos. Se dice que es extensión finita si el grado de la extensión es un número finito. Esto implica que… …   Enciclopedia Universal