Extensión simple

En la teoría de cuerpos (una rama del álgebra), una extensión simple es una extensión de cuerpos de manera que L está generado por un solo elemento, al cual se lo denomina elemento primitivo. Dicho de otro modo, un elemento primitivo de una extensión de cuerpos L/K es un elemento ζ de L tal que

L = K(ζ),

o en otras palabras, L está generado por ζ sobre K. Esto significa que todo elemento de L puede ser escrito como cociente de dos polinomios en ζ con coeficientes en K.

Si la extensión L/K es simple (es decir, si admite un elemento primitivo), entonces L puede ser una extensión finita de K (caso en el que ζ es un elemento algebraico de L sobre K), o en cambio L es isomorfo al cuerpo de funciones racionales sobre K en una indeterminada (en este caso ζ es un elemento trascendente de L sobre K).

Construcción

Sean y dos cuerpos de manera que es extensión de . Se define la extensión generada por sobre como el conjunto

.

Así es exactamente el conjunto de los valores que se obtienen al evaluar en todas las funciones racionales definidas en .

Propiedades

  • es un subconjunto de :
Todo elemento de está también en , y como , si entonces . Si entonces es , y si , existe . Así pues, y es .
  • De hecho, es subcuerpo de .
Definimos las operaciones suma y producto en como las restricciones a de las operaciones del cuerpo de cocientes de , i.e., si , entonces:
.
Por ser un anillo y un cuerpo, es sencillo demostrar que la suma y el producto así definidos en son operaciones internas en .
Como es cuerpo, en particular es dominio de integridad, y por la Propiedad Universal del Cuerpo de Cocientes de un Dominio Íntegro, el cuerpo de cocientes de es (el menor cuerpo que contiene a es el propio ). Así se demuestra que , con las operaciones así definidas, es subcuerpo de .
  • es un subconjunto de
Para comprobar que , basta con tomar el cociente para cada (donde identificamos con el polinomio constante ). Además, como las operaciones en son las extensiones de las operaciones en , es inmediato que es subcuerpo de .
Tomando el polinomio , entonces es , luego .
Todo esto demuestra que es una extensión de y subcuerpo de .
  • Finalmente, es la menor extensión de que contiene a :
Sea ahora una extensión de de forma que . Como y , si , entonces , y como , entonces . Por último, como es cuerpo, si , entonces existe y , luego .
Queda entonces demostrado que es la menor extensión de que contiene a . A este proceso se le denomina a veces adjunción de un elemento a un cuerpo .

Observaciones

Una extensión simple puede ser algebraica o trascendente, dependiendo de si es un elemento algebraico o trascendente sobre . Si es trascendente, entonces el grado de la extensión es infinito. Si es algebraico, entonces el grado de la extensión es finito. En concreto, , siendo el polinomio mónico irreducible de sobre . Se deduce que toda extensión simple que sea algebraica es de grado finito.

Recíprocamente, si la extensión L/K admite un elemento primitivo, entonces L puede ser una extensión finita de K, caso en el que ζ es un elemento algebraico de L sobre K, o en cambio L es isomorfo al cuerpo de funciones racionales sobre K en una indeterminada, en este caso ζ es un elemento trascendente de L sobre K.

Other Languages
français: Extension simple
日本語: 単拡大
한국어: 단순 확대
中文: 单扩张