Extensiones de cuerpos y teorı́a de Galois básica

Andrés Abella

24 de junio de 2023

1
Índice
1. Anillos y polinomios 3
1.1. Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Polinomios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2. Cuerpos 10
2.1. Definiciones básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2. Extensiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3. Extensiones finitas en C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4. Morfismos entre extensiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3. Teorı́a de Galois 22
3.1. El grupo de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2. Extensiones normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.3. El teorema de Artin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.4. Extensiones de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.5. Correspondencia de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.6. El grupo de Galois de un polinomio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.7. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.8. El grupo de Galois y la composición de cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . 35

2
1. Anillos y polinomios
En esta sección se introducen los conceptos necesarios para el estudio de las extensiones de cuerpos y la
teorı́a de Galois.

1.1. Anillos
En lo que sigue veremos brevemente algunas propiedades de anillos que necesitamos para nuestra teorı́a.
Un anillo es una estructura (A, +, ·, 0, 1) en la cual A es un conjunto, 0, 1 son elementos de A y +, · son dos
operaciones en A llamadas suma y producto respectivamente, que verifican las siguientes propiedades

1. x + (y + z) = (x + y) + z, ∀x, y, z ∈ A.

2. x + 0 = 0 + x = x, ∀x ∈ A.

3. ∀x ∈ A existe y ∈ A tal que x + y = y + x = 0.

4. x + y = y + x, ∀x, y ∈ A.

5. x(yz) = (xy)z, ∀x, y, z ∈ A.

6. x1 = 1x = x, ∀x ∈ A.

7. x(y + z) = xy + xz y (x + y)z = xz + yz, ∀x, y, z ∈ A.

Observación 1.1. Los neutros de la suma y producto (0 y 1) son únicos. También, dado x ∈ A, el elemento
y que verifica la tercera propiedad es único, se le llama el opuesto de x y se escribe y = −x.

Si el producto es conmutativo, es decir si se verifica xy = yx, para todo x, y ∈ A, entonces decimos que
A es un anillo conmutativo. Por ejemplo Z (los enteros) es un anillo conmutativo mientras que Mn (R) (las
matrices cuadradas) con n ≥ 2 es un anillo no conmutativo.

De ahora en adelante todos los anillos que consideraremos son conmutativos. También vamos a asumir
siempre que vale 0 ̸= 1 (en caso contrario es A = {0}).

Sea A un anillo. De la existencia de opuestos se deduce la propiedad cancelativa de la suma: x + y = x + z

implica y = z. Luego de 0x = (0 + 0)x = 0x + 0x deducimos que vale 0x = 0, para todo x ∈ A. Si x, y ∈ A
son no nulos y verifican xy = 0, entonces decimos que x e y son divisores de cero. Si A no tiene divisores de
cero, entonces decimos que A es un dominio. La no existencia de divisores de cero equivale a la propiedad
cancelativa del producto: si xy = xz y x ̸= 0, entonces y = z. Un ejemplo de dominio es Z.
Un elemento x ∈ A se dice invertible si existe y ∈ A tal que xy = yx = 1. En ese caso el elemento y es
único, se le llama el inverso de x y se escribe y = x−1 . En Z los únicos elementos invertibles son ±1, que
son inversos de sı́ mismos.
Si todo elemento no nulo de A es invertible, entonces decimos que A es un cuerpo. Ejemplos de cuerpos son
los números racionales Q, los reales R y los complejos C. Notar que todo cuerpo es un dominio.

Sea A un anillo. Un subanillo de A es un subconjunto B ⊂ A tal que

1 ∈ B; x, y ∈ B ⇒ x + y ∈ B y xy ∈ B; x ∈ B ⇒ −x ∈ B.

Por ejemplo, Z ⊂ Q ⊂ R ⊂ C son subanillos. Notar que si B ⊂ A es un subanillo, entonces B es un anillo

con las operaciones de A restringidas a B. Un subanillo de un dominio es un dominio. En particular todo
subanillo de un cuerpo es un dominio.

3
Un ideal de A es un subconjunto K ⊂ A tal que

0 ∈ K; x, y ∈ K ⇒ x + y ∈ K; x ∈ K, y ∈ A ⇒ xy ∈ K.

Si K ⊂ A es un ideal y 1 ∈ K, entonces K = A; lo mismo sucede si K contiene un elemento invertible. Los

conjuntos {0} y A son ideales de A, todo otro ideal se dice que es propio. Notar que un cuerpo no tiene
ideales propios. Si b ∈ A, entonces el conjunto ⟨b⟩ := bA = {bx : x ∈ A} es un ideal llamado el ideal principal
generado por b. En Z todos los ideales son principales (por la existencia de la división entera).

Si A y B son dos anillos, un morfismo de anillos entre A y B es una función φ : A → B que verifica

φ(a + b) = φ(a) + φ(b), φ(ab) = φ(a)φ(b), φ(1) = 1, ∀a, b ∈ A.

Si φ es morfismo, entonces Ker (φ) := {a ∈ A : φ(a) = 0} es un ideal de A y Im(φ) es un subanillo de B.

Un isomorfismo de anillos es un morfismo de anillos que es biyectivo.

Si K es un ideal de A, entonces definimos una relación en A mediante

def
x∼y ⇐⇒ x−y ∈K ⇔ ∃k ∈ K t.q. x = y + k.

Esta relación es de equivalencia. Dado x ∈ A, el conjunto x := {y ∈ A : y ∼ x} es la coclase correspondiente

a x. Notar x = x + K := {x + k : k ∈ K}. Si x ∼ y y x′ ∼ y ′ , entonces existen k, k ′ ∈ K tales que x = y + k
y x′ = y ′ + k ′ . Luego

x + x′ = y + y ′ + (k + k ′ ) y xx′ = yy ′ + (xk ′ + y ′ k + kk ′ ) ⇒ x + x′ ∼ y + y ′ y xx′ ∼ yy ′ .

Est implica que podemos definir una suma y un producto en el conjunto cociente A/K := {x : x ∈ A}
mediante x + y := x + y y x y := xy, para todo x, y ∈ A. Es fácil de probar que A/K es un anillo con
las operaciones definidas anteriormente. La proyección canónica es la función π : A → A/K definida por
π(x) = x. Notar que π es un morfismo de anillos sobreyectivo y Ker π = K.

Proposición 1.2. Si φ : A → B es un morfismo de anillos, entonces φ induce un morfismo inyectivo

de anillos φ̂ : A/Ker φ → B mediante φ̂ (x) = φ(x), para todo x ∈ A. Vale Im φ̂ = Im φ. Luego si φ es
sobreyectivo, entonces φ̂ es un isomorfismo.

Dem. Lo único que probaremos es que φ̂ está bien definida, el resto es fácil.

Si x = y ⇒ ∃k ∈ K t.q. x = y+k ⇒ φ(x) = φ(y)+φ(k) = φ(y)+0 = φ(y) ⇒ φ̂(x) = φ̂(y).

Enteros módulo n. Sea n un entero positivo y consideramos el  ideal nZ. El anillo cociente Z/nZ es el
anillo de los enteros módulo n. Escribiremos Zn = Z/nZ. Vale Zn = 0, 1, . . . , n − 1 , luego Zn es un anillo
finito con n elementos. Notar que en Z6 vale 2 × 3 = 0, luego Z6 no es un dominio.

Proposición 1.3. Dado 0 ̸= n ∈ Z+ , las siguientes afirmaciones son equivalentes

n es primo; Zn es un dominio; Zn es un cuerpo.

Dem. La prueba es esencialmente la misma que veremos de la proposición 1.18, ası́ que la omitiremos.

4
1.2. Polinomios.
En esta sección veremos una construcción formal del anillo de los polinomios. En lo que sigue D es un
dominio y K es un cuerpo.

Al conjunto de las sucesiones (an ) = (a0 , a1 , . . . ) con coeficientes en D tales que existe m ∈ N tal que an = 0,
para todo n > m lo escribimos D[X]. El conjunto D[X] es un anillo con la suma y producto definidos por
(an ) + (bn ) = (cn ) y (an )(bn ) = (dn ), siendo
cn = an + bn , dn = a0 bn + a1 bn−1 + · · · + an−1 b1 + an b0 , ∀n ∈ N.
Al conjunto D[X] con estas operaciones se le llama el anillo de polinomios en una indeterminada, o en
una variable. Sus elementos son los polinomios con coeficientes en D. El mapa φ : D → D[X] definido
por φ(a) = (a, 0, 0, . . . ) es un morfismo inyectivo de anillos. Luego identificando D con φ(D), escribimos
a = (a, 0, 0, . . . ) y consideramos a D como subanillo de D[X]. Los elementos de D pensados en D[X] son
los polinomios constantes. Sea X := (0, 1, 0, 0, . . . ). Notar que vale
X = (0, 1, 0, 0, . . . ), X 2 = (0, 0, 1, 0, 0, . . . ), X 3 = (0, 0, 0, 1, 0, 0, . . . ), ···
Luego si a ∈ D, es
a = (a, 0, 0, 0, . . . ), aX = (0, a, 0, 0, 0, . . . ), aX 2 = (0, 0, a, 0, 0, 0, . . . ), ...
Esto implica que si (an ) ∈ D[X] y m ∈ N es tal que an = 0 para todo n > m, entonces
(an ) = (a0 , a1 , . . . , am , 0, 0, . . . ) = a0 + a1 X + · · · + am X m .
Al polinomio f = i ai X i ∈ D[X] lo escribiremos f o f (X), según convenga. Si f = ni=0 ai X i es un
P P
polinomio no nulo y an ̸= 0, entonces decimos que an es el coeficiente principal de f , que n es el grado de
f y escribimos gr f = n. Si el coeficiente principal es 1, entonces decimos que el polinomio es mónico. Para
el polinomio nulo no se le define el grado o se dice que su grado es −∞. Notar que dados f, g ∈ D[X], si
escribimos f = an X n + · · · + a0 y g = bm X m + · · · + b0 , entonces f g = an bm X n+m + · · · + a0 b0 . Luego vale
gr (f g) = grf + gr g. Esto implica que D[X] también es un dominio.

Función polinómica. A cada polinomio f = i ai X i ∈ D[X] se le puede asociar una función fˆ : D → D

P

definida por fˆ(x) = i ai xi , para todo x ∈ D. La correspondencia f 7→ fˆ es inyectiva si y solo si D es

P

infinito. Aún ası́ se suele escribir siempre f en vez de fˆ.

Proposición 1.4. Si f ∈ D[X] y a ∈ D entonces ∃ g ∈ D[X] tal que f = (X − a)g + f (a).
Dem. Ejercicio (funciona la misma prueba de secundaria).

El proceso de obtener el polinomio g anterior es lo que se conoce como la división de f por X − a.

Raı́ces. Decimos que a ∈ D es raı́z de f ∈ D[X] si verifica f (a) = 0. Dividiendo f por X −a obtenemos que
a ∈ D es raı́z de f ∈ D[X] si y solo si existe g ∈ D[X] tal que f = (X − a)g. Notar que vale gr g = gr f − 1.
El proceso anterior puede seguirse aplicando. Considerando el polinomio g, si g(a) = 0, entonces existe
h ∈ D[X] tal que g = (X − a)h. Luego f = (X − a)2 g. Ası́ seguimos hasta obtener n > 0 y h ∈ D[X] tales
que f = (X − a)n h y h(a) ̸= 0. El orden de multiplicidad de a como raı́z de f es el entero n. Si n = 1
entonces decimos que a es una raı́z simple, en caso contrario decimos que es una raı́z múltiple.
Observación 1.5. El argumento que recién aplicamos permite probar que un polinomio de grado n tiene a
lo más n raı́ces contadas con su orden de multiplicidad. Esto implica la inyectividad de la correspondencia
f 7→ fˆ antes mencionada.

5
El siguiente resultado se utiliza para encontrar las raı́ces racionales de los polinomios con coeficiente enteros.

Proposición 1.6. Si f = an X n + · · · + a1 X + a0 ∈ Z[X] admite una raı́z racional r/s, con r y s primos
entre sı́, entonces r | a0 y s | an .

Dem. Es a0 + a1 (r/s) + · · · + an (r/s)n = 0. Multiplicando por sn obtenemos

a0 sn + a1 rsn−1 + · · · + an−1 rn−1 s + an rn = 0 ⇒ − a0 sn−1 + a1 rsn−2 + · · · + an−1 rn−1 s = an rn .

(1)

Luego s | an rn , y como r y s son primos entre sı́, entonces s | an . La otra relación se obtiene despejando
a0 sn en la primer fórmula de (1).

Observación 1.7. El teorema fundamental del álgebra 1 dice que todo polinomio complejo de grado positivo
admite alguna raı́z. Aplicando inducción en el grado, se deduce que si f ∈ C[X] es de grado positivo, entonces
existen a ∈ C, u1 , . . . , ur ∈ C distintos entre sı́ y n1 , . . . , nr ∈ Z+ tales que

f = a(X − u1 )n1 · · · (X − ur )nr .

Notar que a es el coeficiente principal de f , u1 , . . . , ur son sus raı́ces y n1 , . . . , nr son los órdenes de multi-
plicidad de las raı́ces respectivas.

Divisibilidad. Sea D un dominio. Dados f, g ∈ D[X], si existe h ∈ D[X] tal que f = gh, entonces decimos
que g divide a f o que f es un múltiplo de g, y escribimos g | f .

Cuando K es un cuerpo, dados f, g ∈ K[X], con g ̸= 0, si no sabemos si g divide a f , entonces podemos

aplicar la proposición siguiente. La prueba es análoga a la de la división entera en Z, ası́ que la omitiremos.

Proposición 1.8. Sea K un cuerpo. Si f, g ∈ K[X] y g ̸= 0, entonces existen únicos q, r ∈ K[X] tales que
̸ 0 y gr r < gr g.
f = gq + r y r = 0 o r =

Con las notaciones de la proposición anterior, la expresión f = gq + r se llama la división entera de f entre
g, q es el cociente y r es el resto de la misma. El algoritmo para obtener la división entera es el mismo que
que se estudia en secundaria.

Observación 1.9. La división entera también se puede hacer en D[X], siendo D un dominio, pero en ese
caso necesitamos que el coeficiente principal de g sea invertible (en Z tiene que ser ±1).

Proposición 1.10. Si K es un cuerpo, entonces todo ideal de K[X] es principal.

Dem. Sea I un ideal de K[X]. Si es I = {0}, entonces I = ⟨0⟩. En caso contrario, sea g ∈ I tal que gr g = n,
siendo n = mı́n{gr f : 0 ̸= f ∈ I}. Si f ∈ I, dividiendo f entre g obtenemos q, r ∈ K[X] tales que f = gq + r
y r = 0 o r ̸= 0 y gr r < gr g. Al ser f, g ∈ I, deducimos r ∈ I, luego la minimalidad del grado de g implica
que necesariamente es r = 0; luego f = gq ∈ ⟨g⟩. De esto se deduce I = ⟨g⟩.

Observación 1.11. Si {0} = ̸ I ⊂ K[X] es un ideal, entonces vimos que existe f ∈ I tal que I = ⟨f ⟩. Notar
que I = ⟨f ⟩ implica que f es de grado mı́nimo entre los polinomios no nulos que están en I. Si g ∈ I es otro
elemento tal que I = ⟨g⟩, entonces valen f | g y g | f , luego existe 0 ̸= a ∈ K tal que f = ag. Esto implica
que si {0} =
̸ I ⊂ K[X] es un ideal, entonces existe un único polinomio mónico f ∈ I tal que I = ⟨f ⟩.
1
Este teorema se prueba en los cursos de análisis complejo. Nosotros lo asumiremos como válido.

6
Máximo común divisor. Sean f, g ∈ K[X] no ambos nulos. El conjunto I = {mf + ng : m.n ∈ K[X]}
es un ideal de K[X], luego existe un único polinomio mónico d ∈ I tal que I = ⟨d⟩. El polinomio d se llama
el máximo común divisor de f y g, y queda caracterizado por las siguientes condiciones

d | f, d | g; si h | f, h | g ⇒ h | d; d es mónico.

Escribimos d = mcd(f, g). Notar d ∈ I, luego existen h, k ∈ K[X] tales que d = hf + kg. Esta relación se
conoce como la identidad de Bézout. Dos polinomios f, g ∈ K[X] se dicen primos entre sı́, si mcd(f, g) = 1.
Notar que f y g son primos entre sı́ si y solo si existen h, k ∈ K[X] tales que hf + kg = 1.

Algoritmo de Euclides. Dados f, g ∈ K[X] con g ̸= 0, si f = gq + r es la división entera de f entre g,

entonces es fácil de probar que los divisores comunes a f y g coinciden con los divisores comunes a g y r.
Esto implica mcd(f, g) = mcd(g, r).

El algoritmo de Euclides es un método para hallar el máximo común divisor, que describimos a continuación.
Sean f, g ∈ K[X] con g ̸= 0. Consideremos f = gq1 + r1 la división entera de f entre g. Si r1 ̸= 0, entonces
dividimos g entre r1 obteniendo g = q2 r1 + r2 . Si r2 ̸= 0, entonces dividimos r1 entre r2 obteniendo
r1 = q3 r2 + r3 . Y ası́ seguimos en la medida que los restos obtenidos r1 , r2 , . . . sean no nulos. Por lo que
observamos anteriormente, es

mcd(f, g) = mcd(g, r1 ) = mcd(r1 , r2 ) = mcd(r2 , r3 ) = · · ·

Como los restos verifican gr g > gr r1 > gr r2 > · · · , entonces existe algún n tal que rn ̸= 0 y rn+1 = 0. En
ese caso obtenemos mcd(f, g) = mcd(rn , 0). Luego si a es el coeficiente principal de rn y d = a1 rn , entonces
mcd(f, g) = d. Notar que despejando rn en función de f y g en las ecuaciones

f = gq1 + r1 , g = q2 r1 + r2 , r1 = q3 r2 + r3 , ··· , rn−2 = qn rn−1 + rn ,

se obtienen dos polinomios h, k ∈ K[X] que verifican d = hf + kg

La definición de máximo común divisor se generaliza a familias finitas de polinomios. Dados f1 , . . . , fn ∈

K[X], existe un único polinomio d = mcd(f1 , . . . , fn ) ∈ K[X] llamado el máximo común divisor de f1 , . . . , fn ,
que queda caracterizado por verificar las siguientes condiciones

d | fi , ∀i; si h | fi , ∀i ⇒ h | d; d es mónico.

Como antes, si mcd(f1 , . . . , fn ) = 1, entonces decimos que f1 , . . . , fn son primos entre sı́.

Polinomios irreducibles Un polinomio f ∈ K[X] se dice irreducible si no es constante y verifica que si

g, h ∈ K[X] son tales que f =
gh, entonces g o h es constante. Esto último quiere decir que la única forma
de factorizarlo es f = a a−1 f , con 0 ̸= a ∈ K.

Ejemplos 1.12. 1. En K[X] todo polinomio de grado 1 es irreducible (para todo cuerpo K).

2. En C[X] los irreducibles son los polinomios de grado 1 (por el teorema fundamental del álgebra).

3. En R[X] los irreducibles son los polinomios de grado 1 o los del tipo aX 2 + bX + c, con b2 − 4ac < 0.

4. En Q[X] hay más polinomios irreducibles que en R[X] pero no tenemos una forma simple de caracte-
rizarlos. Por ejemplo X 2 − 2 es irreducible en Q[X], pero es reducible en R[X]

7
Los dos resultados siguientes se usan para estudiar la irreducibilidad de polinomios con coeficientes racionales.

Proposición 1.13 (Lema de Gauss). Sea f ∈ Z[X]. Si existen g, h ∈ Q[X] tales que f = gh, entonces
existe a ∈ Q no nulo tal que g0 = ag ∈ Z[X], h0 = a−1 h ∈ Z[X]. Luego f = g0 h0 en Z[X].

Dem. Ver en la bibliografı́a.

Observación 1.14. El lema de Gauss dice que si f ∈ Z[X] se puede factorizar de manera no trivial2 en
Q[X], entonces también lo puede hacer en Z[X]. Luego si no lo puede hacer en Z[X], entonces tampoco lo
puede hacer en Q[X].

Ejemplo 1.15. Queremos estudiar la irreducibilidad de f = X 4 + X + 11 ∈ Q[X]. Sus posibles raı́ces

racionales son ±11 y ±1; ninguna de esas es raı́z. Luego f no se puede factorizar como producto de un
polinomio de grado uno por uno de grado tres. La otra posibilidad es que se escriba como producto de dos
polinomios de grado dos. Por el lema de Gauss alcanza con estudiar el caso en que estos polinomios tienen
coeficientes enteros. Supongamos entonces que existen g = aX 2 + bX + c y h = αX 2 + βX + γ en Z[X] tales
que f = gh. Desarrollando el producto e igualando coeficientes obtenemos que f = gh equivale a

aα = 1, aβ + bα = 0, aγ + bβ + cα = 0, bγ + cβ = 1, cγ = 11.

La primer ecuación implica a = α = ±1. Podemos suponer a = α = 1 (dado que f = gh = (−g)(−h)).

Sustituyendo esos valores obtenemos

β + b = 0, γ + bβ + c = 0, bγ + cβ = 1, cγ = 11.

La ecuación cγ = 11 implica {c, γ} = {1, 11} o {c, γ} = {−1, −11}. Por otro lado de β + b = 0 y bγ + cβ = 1,
deducimos b(γ − c) = 1, luego γ − c = ±1, lo cual no se verifica para ninguno de los valores anteriores de c
y γ. Luego este caso no es posible. Esto termina de probar que f es irreducible en Q[X]

Proposición 1.16 (Criterio de irreducibilidad de Eisenstein). Sea f = ni=0 ai X i ∈ Z[X] con n ≥ 1 y

P
an ̸= 0. Supongamos que existe un número primo p ∈ N tal que

p | ai , ∀ 0 = 1, . . . , n − 1; p ∤ an ; p2 ∤ a0 .

Entonces f es irreducible en Q[X].

Dem. Supongamos Pr razonando porPel absurdo que f es reducible en Q[X], entonces el lema de Gauss implica
que existen g = i=0 bi X y h = si=0 ci X i en Z[X] tales que f = gh, con 1 ≤ r, s < n. Como es a0 = b0 c0 ,
i

p | a0 y p2 ∤ a0 , entonces podemos asumir p | b0 y p ∤ c0 . Si valiese p | bi para todo i, entonces serı́a p | an

contradiciendo nuestras hipótesis. Luego existe 1 ≤ h ≤ r tal que p | b0 , . . . , bh−1 y p ∤ bh . Pero en ese caso,
de p | ah y ah = bh c0 + bh−1 c1 + bh−2 c2 + · · · , deducimos p | bh c0 , contradiciendo que es p ∤ c0 y p ∤ bh .

Proposición 1.17. Sean f, g ∈ K[X], con f irreducible. Si f no divide a g, entonces mcd(f, g) = 1.

Dem. Sea d = mcd(f, g). Como f es irreducible y d | f , entonces d = 1 o existe 0 ̸= k ∈ K tal que f = kd.
En el segundo caso, como d | g, obtendrı́amos f | g en contra de nuestras hipótesis. Luego d = 1.
2
Todo polinomio f ∈ Z[X] se puede factorizar en Q[X] de la forma f = qg, siendo 0 ̸= q ∈ Q y g = q −1 f ∈ Q[X]. A esto es
lo que estamos llamando una factorización trivial de f .

8
La siguiente es una propiedad importante de los polinomios irreducibles.
Proposición 1.18. Dado 0 ̸= f ∈ K[X], las siguientes afirmaciones son equivalentes
1. El polinomio f es irreducible en K[X].
2. El anillo cociente K[X]/⟨f ⟩ es un cuerpo.
3. El anillo cociente K[X]/⟨f ⟩ es un dominio.
Dem. (1 ⇒ 2). Sea g ∈ K[X]/⟨f ⟩. Si g ̸= 0, entonces f no divide a g y por la proposición anterior es
mcd(f, g) = 1. Luego existen r, s ∈ K[X] tales que 1 = f r + gs y por lo tanto g s = 1 en K[X]/⟨f ⟩.
(2 ⇒ 3). Esto es evidente.
(3 ⇒ 1). Si f fuese constante, entonces serı́a ⟨f ⟩ = K[X] y por lo tanto K[X]/⟨f ⟩ = {0} que no es un
dominio; luego f no es constante. Sean g, h ∈ K[X] tales que f = gh. Entonces es g h = 0 en K[X]/⟨f ⟩ que
es un dominio, luego alguno de ellos es nulo. Supongamos g = 0. Entonces existe p ∈ K[X] tal que g = f p.
Luego f = gh = f ph implica ph = 1 y por lo tanto h es una constante no nula.
Proposición 1.19. Sean f, g, h ∈ K[X]. Si f | gh y mcd(f, g) = 1, entonces f | h.
Dem. Consideremos el anillo A = K[X]/⟨f ⟩. Como es mcd(f, g) = 1, entonces existen h, k ∈ K[X] tales
que hf + kg = 1. Esto implica kg = 1, luego g es invertible en A. La condición f | gh implica gh = 0, y
como g es invertible, concluimos h = 0 en A, lo cual equivale a f | h.
Corolario 1.20. Si f es irreducible y f | gh, entonces f | g o f | h.
Dem. Aplicar la proposición anterior junto con la proposición 1.17.
El siguiente resultado muestra que los polinomios irreducibles juegan en K[X] un rol análogo al de los
números primos en Z. Decimos que f, g ∈ K[X] son asociados si existe 0 ̸= a ∈ K tal que f (X) = ag(X).
Teorema 1.21. Sea f ∈ K[X] un polinomio no constante. Entonces vale lo siguiente.
1. Existen f1 , . . . , fn ∈ K[X] irreducibles tales que f = f1 · · · fn .
2. La descomposición anterior es única a menos de cambiar f1 , . . . , fn por polinomios asociados.
Dem. Existencia. Por inducción en el grado de f . Si gr f = 1, entonces f es irreducible y ya está probado.
Supongamos gr f ≥ 2 y que la tesis vale para los polinomios de grado menor que gr f . Si f es irreducible,
entonces ya está. En caso contrario es f = gh con g, h polinomios no constantes de grado menor que n. La
hipótesis inductiva implica que existen polinomios irreducibles g1 , . . . , gr y h1 , . . . , hs tales que g = g1 · · · gr
y h = h1 · · · hs . Luego es f = g1 · · · gr h1 · · · hs , en que todos los factores son irreducibles.
Unicidad. Supongamos que vale f1 · · · fn = k1 · · · km , en que todos los factores son irreducibles. Entonces f1
divide a k1 · · · km , luego el corolario 1.20 implica que f1 divide a alguno de los factores. Rordenando podemos
suponer que f1 divide a k1 , y como ambos son irreducibles deducimos que existe una constante a1 ∈ K tal
que k1 = af1 ; luego k1 y f1 son asociados. Entonces
f1 · · · fn = k1 · · · km ⇒ f1 f2 · · · fn = a1 f1 k2 · · · km ===⇒ f2 · · · fn = a1 k2 · · · km .
f1 ̸=0

Luego f2 divide a k2 · · · km y podemos seguir repitiendo el procedimiento hasta terminar con todos los fi .
Como no puede suceder que un producto de polinomios irreducibles sea igual a una constante, deducimos
que es n = m y que cada fi está asociado con algún kj .
Observación 1.22. Si en la factorización f = f1 · · · fn agrupamos los polinomios asociados, obtenemos que
si f ∈ K[X] es un polinomio no constante, entonces se puede factorizar de la forma f = g1m1 · · · grmr , en la
cual g1 , . . . , gr ∈ K[X] son polinomios irreducibles no asociados y m1 , . . . , mr son enteros positivos. Además
esa descomposición es única a menos de cambiar g1 , . . . , gr por polinomios asociados. Esta factorización
f = g1m1 · · · grmr se llama la descomposición factorial de f .

9
Cuerpo de expresiones racionales. Veremos que a K[X] le podemos asociar un cuerpo K(X), tal que
K[X] es un subanillo de K(X) y los elementos de K(X) son cocientes de elementos de K[X] (como Z ⊂ Q).

Formalmente lo que hacemos es lo siguiente. En el conjunto {(f, g) ∈ K[X] × K[X] : g ̸= 0} definimos la

siguiente relación: (f, g) ∼ (f ′ , g ′ ) si y solo si f g ′ = f ′ g. Es fácil de probar que esta relación es de equivalencia.
A la clase de equivalencia de (f, g) la escribimos f /g. Luego

f /g = f ′ /g ′ ⇔ f g ′ = f ′ g.

Sea K(X) = {f /g : f, g ∈ K[X], g ̸= 0} el conjunto cociente. Es un ejercicio el probar que, en forma

análoga a las operaciones en Q, tiene sentido definir una suma y producto en K(X) mediante
f h f k + gh f h fh
+ = , × = .
g k gk g k gk
Con esas operaciones el conjunto K(X) es un cuerpo llamado el cuerpo de expresiones racionales con
coeficientes en K. El mapa K[X] → K(X) definido por f 7→ f /1 es un morfismo inyectivo de anillos; luego
K(X) contiene un subanillo que es una copia de K[X] y podemos pensar K[X] como subanillo de K(X),
escribiendo f = f /1.

Notar que tenemos K ⊂ K[X] ⊂ K(X), en que K y K(X) son cuerpos y K[X] es un dominio.
Proposición 1.23. Sean K y F cuerpos. Si φ : K[X] → F es un morfismo inyectivo de anillos, entonces
φ induce un morfismo de anillos φ̂ : K(X) → F mediante φ̂(f /g) = φ(f )φ(g)−1 , para todo f /g ∈ K(X).
Dem. Probaremos solo que φ̂ está bien definida, dejando el resto como ejercicio. Para eso, si f /g = h/k,
entonces f k = gh y por lo tanto φ(f )φ(k) = φ(g)φ(h). Como φ es inyectiva, es φ(g) ̸= 0 y φ(h) ̸= 0 y por
lo tanto φ(f )φ(g)−1 = φ(h)φ(k)−1 . Luego f /g = h/k implica φ(f )φ(g)−1 = φ(h)φ(k)−1 .

Una forma equivalente de enunciar el resultado anterior es la siguiente.

Proposición 1.24. Sean K y F cuerpos. Si φ : K[X] → F es un morfismo inyectivo de anillos, entonces
existe un único morfismo de anillos φ̂ : K(X) → F tal que φ̂|K[X] = φ.

Con al misma prueba se demuestra el siguiente.

Proposición 1.25. Sea F un cuerpo arbitrario. Si φ : Z → F es un morfismo inyectivo de anillos, entonces
φ induce un morfismo de anillos φ̂ : Q → F mediante φ̂(m/n) = φ(m)φ(n)−1 , para todo m/n ∈ Q.

La construcción de los polinomios en una variable se generaliza naturalmente a varias variables, obteniéndose
el anillo de polinomios en varias variables K[X1 , . . . , Xn ], n ≥ 1. Sus elementos son sumas finitas del tipo
X
ai1 ,...,in X1i1 · · · Xnin , ai1 ,...,in ∈ K

Este anillo es un dominio y tiene asociado su cuerpo de expresiones racionales K(X1 , . . . , Xn ), formado por
los cocientes de los elementos de K[X1 , . . . , Xn ].

2. Cuerpos
2.1. Definiciones básicas
Recordar que un cuerpo es un anillo conmutativo con unidad K ̸= {0} en el cual todo elemento no nulo es
invertible. Si u, v ∈ K y v ̸= 0, entonces escribiremos u/v = uv −1 .

10
Un subconjunto H ⊂ K se dice que es un subcuerpo de K si contiene a 0 y 1, es cerrado respecto a la
suma y el producto, y contiene los opuestos e inversos de sus elementos; en ese caso H es un cuerpo con las
operaciones de K restringidas a H.
Nota que para que H ⊂ K sea un subcuerpo, alcanza con que H verifique las siguientes condiciones

1 ∈ H; u − v ∈ H, u/v ∈ H, ∀u, v ∈ H, v ̸= 0.

Ejemplos 2.1. 1. Q ⊂ R ⊂ C es una cadena de subcuerpos.

2. Si p es un número primo, entonces el cociente Zp = Z/pZ es un cuerpo.

3. Si K es un cuerpo y f ∈ K[X] es un polinomio irreducible, entonces el cociente K[X]/⟨f ⟩ es un cuerpo.

4. Si K es un cuerpo, entonces tenemos las inclusiones K ⊂ K[X] ⊂ K(X), siendo K un subcuerpo de

K(X) y K[X] un subanillo de K(X).
T
Sea F un cuerpo y {Kλ }λ∈Λ una familia de subcuerpos de F . Es fácil de probarS que λ∈Λ Kλ es un T subcuerpo
de F . Luego si X es la familia de todos los subcuerpos de F que contienen a λ∈Λ Kλ , entonces L∈X L es
el menor subcuerpo de F que contiene a todos los Kλ y se llama la composición de la familia {Kλ }λ∈Λ . Si
Λ = {1, . . . , n}, entonces escribimos K1 · · · Kn para denotar la composición de K1 , . . . , Kn .

Observación 2.2. Si K y L son subcuerpos de F , entonces podemos describir su composición KL de

la manera siguiente. El conjunto A = { ni=1 ki li : ki ∈ K, li ∈ L, i = 1, . . . , n, n = 1, 2, . . . } es el menor
P
subanillo de F que contiene a K ∪ L, luego KL = {a/b : a, b ∈ A, b ̸= 0}.

Observación 2.3. Si F es un cuerpo y K ⊂ L ⊂ F son subcuerpos, decimos que L es un cuerpo intermedio

entre K y F . Lo anterior prueba que el conjunto de cuerpos intermedios entre K y F forma un retı́culo
completo respecto a la inclusión, es decir es un conjunto parcialmente ordenado en el cual todo subconjunto
no vacı́o tiene supremo e ı́nfimo. En particular el supremo de {E, L} es EL y el ı́nfimo es E ∩ L.
Notar que si G es un grupo, entonces el conjunto de sus subgrupos también forma un retı́culo completo
respecto a la inclusión.

Sea F un cuerpo y K ⊂ F un subcuerpo.

Si u1 , . . . , un ∈ F , entonces definimos

K[u1 , . . . , un ] := {f (u1 , . . . , un ) : f ∈ K[X1 , . . . , Xn ]} ,

 
f (u1 , . . . , un )
K(u1 , . . . , un ) := : f, g ∈ K[X1 , . . . , Xn ], g(u1 , . . . , un ) ̸= 0 .
g(u1 , . . . , un )

Notar que K[u1 , . . . , un ] es el menor subanillo de F que contiene a K y a u1 , . . . , un , y K(u1 , . . . , un ) es el

menor subcuerpo de F que verifica lo mismo.

La construcción anterior puede generalizarse cambiando {u1 , . . . , un } por un subconjunto arbitrario de F .

Si S es un subconjunto de F , entonces se definen

K[S] := {f (u1 , . . . , un ) : f ∈ K[X1 , . . . , Xn ], u1 , . . . , un ∈ S, n = 1, 2, . . . } ,

K(S) := {a/b : a, b ∈ K[S], b ̸= 0}.

Vale K ∪ S ⊂ K[S] ⊂ K(S), siendo K[S] ⊂ F un subanillo y K(S) ⊂ F un subcuerpo.

11
Observaciones 2.4. 1. Si K ⊂ F es un subcuerpo y S ⊂ F es un subconjunto, entonces
[
K(S) = H, siendo A = {K(u1 , . . . , un ) : u1 , . . . , un ∈ S, n = 1, 2, . . . }.
H∈A

2. Si K y L son subcuerpos de F , entonces K(L) = L(K) = KL.

A los morfismos de anillos entre cuerpos se les llama morfismos de cuerpos.

Observación 2.5. Sea φ : K → F un morfismo de cuerpos. Si 0 ̸= a ∈ K, entonces de aa−1 = 1 deducimos

1 = φ(a)φ a−1 ; luego φ(a) ̸= 0 y φ a−1 = φ(a)−1 . Esto implica Ker (φ) = {0}. Luego todo morfismo de

cuerpos es inyectivo.

Si un morfismo de cuerpos φ es sobreyectivo, entonces es biyectivo y se dice que es un isomorfismo. Si existe

un isomorfismo entre K y F decimos que son isomorfos y escribimos K ≃ F .

Caracterı́stica. Sea K un cuerpo. El cuerpo primo de K es la intersección de todos los subcuerpos de K,

y es el menor subcuerpo de K. Sea a ∈ K. Para n ∈ N definimos recursivamente na ∈ K mediante

0a = 0, (n + 1)a = na + a, ∀n ∈ N.

Esta definición se extiende a los enteros negativos mediante (−n)a := −(na), para todo n ∈ N. Notar que si
P es el cuerpo primo de K, entonces n1K ∈ P para todo n ∈ Z. Luego podemos definir φ : Z → P mediante
φ(n) = n1K , para todo n ∈ Z. Es un ejercicio el verificar que φ es un morfismo de anillos.

Proposición 2.6. Si P es el cuerpo primo de K, entonces P ≃ Q o P ≃ Zp para algún primo p.

Dem. Consideremos el morfismo φ : Z → P definido por φ(n) = n1K .

Si φ : Z → P es inyectivo, entonces (proposición 1.25) φ induce un morfismo de cuerpos de φ̃ : Q → P

definido por φ̃(m/n) = φ(m)φ(n)−1 . Luego φ̃(Q) es un subcuerpo de P y por lo tanto P = φ̃(Q) ≃ Q.

Si φ no es inyectivo, entonces existe p ∈ Z+ tal que Ker (φ) = pZ. Luego (proposición 1.2) φ induce un
morfismo de anillos inyectivo φ̂ : Zp = Z/pZ → P tal que φ̂(Zp ) = φ(Zp ). Como φ̂(Zp ) es un subanillo
del cuerpo P , resulta que φ̂(Zp ) es un dominio. Y como φ es inyectivo, deducimos que Zp ≃ φ̂(Zp ) es un
dominio. Luego (proposición 1.3) p es un número primo y Zp es un cuerpo. Entonces φ̂(Zp ) ≃ Zp es un
cuerpo y por lo tanto φ̂(Zp ) = P . Luego P = φ̂(Zp ) ≃ Zp .

Sea K un cuerpo y P el cuerpo primo de K. Si P ≃ Q, decimos que K tiene caracterı́stica cero y escribimos
car K = 0. Si P ≃ Zp , decimos que K tiene caracterı́stica positiva p y escribimos car K = p.

Observaciones 2.7. 1. Si car K = p > 0, entonces p = mı́n{n ∈ Z+ : n1K = 0}.

2. Los cuerpos finitos tienen caracterı́stica positiva.

Ejemplos 2.8. 1. Los cuerpos Q ⊂ R ⊂ C tienen caracterı́stica cero.

2. Si p es un primo, entonces car Zp = p.

3. Si p es un primo, entonces Zp (X) es un cuerpo infinito de caracterı́stica p.

12
2.2. Extensiones
Comenzamos con algunas definiciones.

1. Si K y F son dos cuerpos tales que K es un subcuerpo de F , entonces escribimos F/K y decimos que
F es una extensión de K.

2. Una extensión F/K se dice que está generada por S ⊂ F , si F = K(S). En el caso en que S sea
un conjunto finito, entonces se dice que F/K está finitamente generada. Luego F/K está finitamente
generada si y solo si existen u1 , . . . , un ∈ F tales que F = K(u1 , . . . , un ).

3. Una extensión F/K es simple si existe u ∈ F tal que F = K(u), en ese caso se dice que u es un
elemento primitivo de la extensión.

4. Si F es una extensión de K, entonces F es un K-espacio vectorial. A la dimensión de F como K-espacio

vectorial se le llama el grado de F/K y se escribe [F : K] = dimK F . La extensión F/K se dice finita
si [F : K] < ∞, e infinita en caso contrario.

Proposición 2.9. Si F ⊃ E ⊃ K es una torre de extensiones, entonces F/K es finita si y solo si F/E y
E/K son finitas. En caso de ser finitas, vale [F : K] = [F : E][E : K].

Dem. Supongamos que F/E y E/K son finitas. Sean BE = {e1 , . . . , en } una base de E como K-espacio y
BF = {f1 , . . . , fm } una base de F como E-espacio. Consideremos B = {ei fj : i = 1, . . . , n, j = 1, . . . , m}.
Probaremos que B es una base de F como K-espacio, lo cual implica [F : K] = [F : E][E : K].

Sean xij ∈ K tales que n,m 0. Luego es 0 = m

P P Pn Pn
i,j=1 xij ei fj = P j=1 ( i=1 xij ei ) fj , con i=1 xij ei ∈ E, para
todo j. Como BF es LI en F/E, entonces ni=1 xij ei = 0, para todo j. Ahora usando que BE es LI en E/K,
deducimos xij = 0, para todo i, j. Esto prueba que B es LI en F/K.

Sea u ∈ F . Como BF es un generador de F/E, entonces existen aj ∈ E tales que u = P m

P
j=1 aj fj . Como
n
BE es
Pmun generador de
Pm Pn E/K, entonces para
Pn,m cada j existen bi,j ∈ K tales que aj = i=1 bi,j ei . Luego
u = j=1 aj fj = j=1 ( i=1 bi,j ei ) fj = i,j=1 bij ei fj , con bij ∈ K. Entonces B es un generador de F/K.

La prueba anterior muestra que si en F/E hay un conjunto LI con m elementos y en E/K hay uno con
n elementos, entonces en F/K hay un LI con mn elementos. Luego si E/K o F/E son infinitas, entonces
vamos a poder encontrar en F/K conjuntos LI con cantidades arbitrariamente grandes de elementos. Esto
implica que F/K es infinita.

Elementos algebraicos y trascendentes. Sea F/K una extensión. Un elemento u ∈ F se dice algebraico
sobre K si existe 0 ̸= g ∈ K[X] tal que g(u) = 0, en caso contrario decimos que u es trascendente sobre K.

En lo que sigue interpretaremos lo anterior. El mapa εu : K[X] → F definido por ε(f ) = f (u), es un morfismo
de anillos y su imagen es K[u] = {f (u) : f ∈ K[X]}. Luego εu : K[X] → K[u] es un morfismo sobreyectivo.
Notar que u es algebraico si y solo si Ker (εu ) ̸= {0}, y u es trascendente si y solo si Ker (εu ) = {0}.

Si u es trascendente, entonces εu : K[X] → K[u] es un isomorfismo de anillos. Luego la composición

ϵu
K[X] → K[u] ,→ K(u) es un morfismo inyectivo de anillos y por lo tanto induce un morfismo de cuerpos φ :
K(X) → K(u) definido por φ(f /g) = f (u)/g(u). Claramente φ es sobreyectivo, luego φ es un isomorfismo.
En resumen, si u es trascendente, es K[u] ≃ K[X] y K(u) ≃ K(X).

13
Si u es algebraico, entonces existe un único polinomio f ∈ K[X] mónico de grado positivo tal que Ker (εu ) =
⟨f ⟩. Notar que K[X]/⟨f ⟩ ≃ K[u] es un dominio, por ser K[u] un subanillo de un cuerpo. Luego la proposición
1.18 implica que f es irreducible y K[X]/⟨f ⟩ es un cuerpo. Esto implica que K[u] ≃ K[X]/⟨f ⟩ es un
subcuerpo de K(u) y por lo tanto K(u) = K[u] ≃ K[X]/⟨f ⟩. El polinomio f se llama el polinomio irreducible
de u sobre K y se escribe f = IrrK (u).

Observación 2.10. Si u ∈ F es algebraico sobre K y f = IrrK (u) ∈ K[X], entonces f queda caracterizado
por ser mónico e irreducible y tener raı́z u. Como f es un generador del ideal Ker (εu ), entonces f divide a
todo polinomio g ∈ K[X] tal que g(u) = 0.

Ejemplos 2.11.
√ √
√

2 = X 2 − 2 y Q 2 = Q 2 es un cuerpo.
√ 
1. El elemento 2 ∈ R es algebraico sobre Q. Es IrrQ

2. El elemento i ∈ C es algebraico sobre R. Es IrrR (i) = X 2 + 1 y R(i) = R[i] = C.

3. Los elementos π y e son trascendentes sobre Q (ver [3]).

Notar que si K es un cuerpo y f ∈ K[X], entonces el anillo cociente K[X]/⟨f ⟩ tiene estructura de K-espacio
vectorial definiendo a · f (X) = af (X), para todo a ∈ K y f (X) ∈ K[X].

Lema 2.12. Sea K un cuerpo y f ∈ K[X] un polinomio de grado n > 0. Entonces

n o
2 n−1
B = 1, X, X , . . . , X

es una base de K[X]/⟨f ⟩ como K-espacio vectorial.

Dem. Si g ∈ K[X], entonces dividiendo g entre f obtenemos que existen q, r ∈ K[X] tales que g = f q + r
y r = 0 o r ̸= 0 y gr r < n. Luego si r = r0 + r1 X + · · · + rn−1 X n−1 , entonces g = r = r0 1 + r1 X + · · · +
n−1
rn−1 X . Esto prueba que B es un conjunto generador de K[X]/⟨f ⟩. Sean ahora a0 , . . . , an−1 ∈ K tales
n−1
que a0 1 + a1 X + · · · + an−1 X = 0. Entonces f divide a a0 + a1 X + · · · + an−1 X n−1 , pero como el grado
de f es n, la única posibilidad es a0 = · · · = an−1 = 0, luego B es linealmente independiente.

Teorema 2.13. Sea F/K una extensión y u ∈ F . Si K(u)/K es finita, entonces u es algebraico sobre K.
Recı́procamente, si u es algebraico sobre K y el grado del polinomio irreducible de u sobre K es n, entonces
[K(u) : K] = n y 1, u, . . . , un−1 es una base de K(u) sobre K.

Dem. Si u = 0 todo es obvio, ası́ que en lo que sigue supondremos u ̸= 0.

Si [K(u) : K] = n, entonces {1, u, . . . , un } es linealmente dependiente sobre K, luego
P existen a0 , . . . , an ∈ K
no todos nulos tales que a0 + a1 u + · · · + an un = 0. Ası́ es g(u) = 0, siendo g = ni=0 ai X i ∈ K[X] \ {0}.
Si u es algebraico sobre K, entonces K(u) = K[u] ≃ K[X]/⟨IrrK (u)⟩, en que  el isomorfismo es f (u) ↔ f .
Luego aplicando el lema 2.12 deducimos que si gr IrrK (u) = n, entonces 1, u, . . . , un−1 es una base de
K(u) sobre K y por lo tanto [K(u) : K] = n.
√
 √
 √
2 = X 2 − 2. Luego Q 2 : Q = 2 y 1, 2 es una base de

Ejemplo 2.14. Ya vimos que es IrrQ
√
√
 √
Q 2 como Q-espacio. Esto implica Q 2 = a + b 2 : a, b ∈ Q .

Proposición 2.15. Sea F ⊃ E ⊃ K una torre de extensiones y u ∈ F algebraico sobre K. Entonces u es

algebraico sobre E y IrrE (u) divide a IrrK (u) en E[X].

Dem. Sea f = IrrK (u) ∈ K[X]. Como es K[X] ⊂ E[X], entonces f ∈ E[X] y f (u) = 0, luego u es algebraico
sobre E y IrrE (u) | f en E[X].

14
 √ √
Ejemplo 2.16. Consideremos la extensión R ⊃ Q y u = 2+ 3. El elemento u verifica
√ √  √ 2 √
2  √ 2
u− 2= 3 ⇒ u− 2 = 3 ⇒ u2 − 2 2u + 2 = 3 ⇒ u2 − 1 = 2 2u
⇒ u4 − 2u2 + 1 = 8u2 ⇒ u4 − 10u2 + 1 = 0.

Luego u es raı́z de f = X 4 − 10X 2 + 1 ∈ Q[X]. Estudiaremos la irreducibilidad de f . Notar que por el

lema de Gauss alcanza con probar que f es irreducible en Z[X]. Si f no es irreducible, entonces es porque
se puede escribir como producto de un polinomio de grado 1 por uno de grado 3 o por dos de grado 2. Si se
diese el primer caso, entonces f tendrı́a una raı́z racional, pero aplicando la proposición 1.6 deducimos que
eso no ocurre. La otra posibilidad es que existan a, b, c, α, β, γ ∈ Z tales que

X 4 − 10X 2 + 1 = aX 2 + bX + c αX 2 + βX + γ .

Luego tiene que valer

aα = 1, aβ + bα = 0, aγ + bβ + cα = −10, bγ + cβ = 0, cγ = 1.

Como estamos en Z, la primer igualdad implica a = α = ±1. Podemos suponer a = α = 1 (si no, entonces
multiplicamos ambos polinomios por −1). Luego obtenemos

β + b = 0, γ + bβ + c = −10, bγ + cβ = 0, cγ = 1.

De la última ecuación obtenemos c = γ = ±1. Sustituyendo por esos valores en las fórmulas de arriba
obtenemos dos posibilidades

β + b = 0, bβ = −12, b+β =0 ⇒ b2 = 12,

β + b = 0, bβ = −8, −b − β = 0 ⇒ b2 = 8.

Como ninguna de esas ecuaciones tiene solución en Z, deducimos que f = X 4 − 10X 2 + 1 es irreducible en
Z[X] y por lo tanto en Q[X]. Luego IrrQ (u) = X 4 − 10X 2 + 1. Esto implica [Q(u) : Q] = 4.
√ √
Notar que en este caso se pueden hallar fácilmente las raı́ces de f que son ± 2 ± 3; luego
 √ √  √ √  √ √  √ √ 
f = X − 2− 3 X − 2+ 3 X + 2− 3 X + 2+ 3 .

A partir de la factorización de arriba obtenemos

 √  √  √ 
f = X 2 − 2 2X − 1 X 2 + 2 2X − 1 en Q 2 [X],
 √  √  √ 
f = X 2 − 2 3X + 1 X 2 + 2 3X + 1 en Q 3 [X],
 √  √  √ 
f = X 2 − 5 − 2 6 X 2 − 5 + 2 6 en Q 6 [X].
√ √ √ √ √ √ √ √
Notar que u−1 = 3 − 2, luego 2, 3, 6 ∈ Q(u) √
y por
 lo tanto
√
Q( 2), Q(
 3)√ y
Q(  6) son sub-
cuerpos de Q(u). Es fácil de probar que vale Q 2 : Q = Q 3 : Q = Q 6 : Q = 2, luego
 √
  √
  √
 √
√

Q(u) : Q 2 = Q(u) : Q 3 = Q(u) : Q 6 = 2. Esto implica u ∈ / Q 2 , u ∈ / Q 3 y
√

u∈/ Q 6 . Por lo tanto
√ √ √
IrrQ(√2) (u) = X 2 − 2 2X − 1, IrrQ(√3) (u) = X 2 − 2 3X + 1, IrrQ(√6) (u) = X 2 − 5 − 2 6.

15
Corolario 2.17. Si F/K es una extensión y u1 , . . . , un ∈ F son algebraicos sobre K, entonces

K(u1 , . . . , un ) = K[u1 , . . . , un ].

Dem. Como u1 es algebraico sobre K, es K(u1 ) = K[u1 ]. Como u2 es algebraico sobre K, entonces es
algebraico sobre K(u1 ), luego




K(u1 , u2 ) = K(u1 ) (u2 ) = K(u1 ) [u2 ] = K[u1 ] [u2 ] = K[u1 , u2 ].

El resto de la prueba sigue igual, razonando por inducción en n.

Definición 2.18. Una extensión F/K se dice algebraica si todo elemento de F es algebraico sobre K, en
caso contrario se dice que es trascendente.

Ejemplos 2.19. 1. K/K es algebraica, para todo cuerpo K.

2. C/R es algebraica y simple. Es simple porque vale C = R(i). Además, si u = a + bi ∈ C, entonces u es

raı́z de (X − u) (X − u) = X 2 − 2aX + a2 + b2 ∈ R[X].

3. R/Q es trascendente (e y π son trascendentes sobre Q).

4. K(X)/K es trascendente y simple, para todo cuerpo K.

Los siguientes resultados describen algunas propiedades de las extensiones, con énfasis en las finitas que son
las que más nos interesan.

Teorema 2.20. 1. Toda extensión finita es algebraica.

2. Toda extensión finitamente generada por elementos algebraicos es finita; vale también el recı́proco.

3. Toda extensión generada por elementos algebraicos es algebraica.

Dem. (1). Si F/K es finita y u ∈ F , entonces K ⊂ K(u) ⊂ F implica que K(u)/K es finita y por lo tanto
u es algebraico sobre K. Luego F/K es algebraica.

(2). Supongamos que es F = K(u1 , . . . , un ), siendo u1 , . . . , un algebraicos sobre K. Consideremos la torre

F = K(u1 , . . . , un ) ⊃ K(u1 , . . . , un−1 ) ⊃ · · · ⊃ K(u1 , u2 ) ⊃ K(u1 ) ⊃ K.

Como u1 es algebraico sobre K, entonces K(u1 )/K es finita. Como u2 es algebraico sobre K, entonces
u2 es algebraico sobre K(u1 ), luego K(u1 , u2 )/K(u1 ) es finita. Razonando de esta forma se prueba que
K(u1 , . . . , ui )/K(u1 , . . . , ui−1 ) es finita para todo i = 2, . . . , n. Luego aplicando reiteradamente la proposición
2.9 se deduce que F/K es finita.

Recı́procamente, supongamos que F/K es finita y que B = {u1 , . . . , un } es una K-base de F . Como F/K
es finita, entonces u1 , . . . , un son algebraicos sobre K (por la parte (1)). Además, como B es una K-base de
F , entonces es F = Ku1 + · · · + Kun ⊂ K(u1 , . . . , un ) ⊂ F , luego F = K(u1 , . . . , un ).

16
(3). Supongamos que es F = K(S), siendo S un conjunto de elementos algebraicos sobre K. Sea u ∈ F .
De acuerdo a la observación 2.3 sabemos que existen u1 , . . . , un elementos algebraicos sobre K tales que
u ∈ K(u1 , . . . , un ). Luego aplicando las partes (1) y (2) deducimos que u es algebraico sobre K.
√
Ejemplo 2.21. Sean p un primo, S = n p : n = 2, 3, . . . y K = Q(S). Como los elementos de S son
algebraicos sobre Q, entonces K/Q es algebraica. Por otro lado, para cada n es Irr √ n − p, luego
np = X
 √
 √

Q n p : Q = n. Como es Q n p ⊂ K, para todo n, entonces K/Q es infinita. Luego K/Q es una
extensión algebraica e infinita.
La siguiente proposición permite construir extensiones finitas, partiendo de extensiones finitas conocidas.
Proposición 2.22. Asumimos que todos los cuerpos son subcuerpos de algún cuerpo F .
1. Si E y L son extensiones de K tales que E/K y L/K son finitas, entonces EL/K es finita.
2. Sea E/K una extensión finita y L/K una extensión arbitraria. Entonces LE/L es finita.
Dem. Para la primer parte, aplicando el teorema 2.20 sabemos que existen u1 , . . . , um ∈ E y v1 , . . . , vn ∈ L
elementos algebraicos sobre K tales que E = K(u1 , . . . , um ) y L = K(v1 , . . . , vn ). Luego
EL = K(u1 , . . . , um )K(v1 , . . . , vn ) = K(u1 , . . . , um , v1 , . . . , vn ).
Entonces el teorema 2.20 implica que EL/K es finita.

Para la segunda, como E/K es finita, entonces existe un subconjunto finito S formado por elementos
algebraicos sobre K tal que E = K(S). Dada L ⊃ K una extensión arbitraria, es LE = LK(S) = L(S)
siendo los elementos de S algebraicos sobre L; luego LE/L = L(S)/L es finitamente generada por elementos
algebraicos y por lo tanto es finita.

Importante. Para simplificar, de ahora en adelante trabajaremos siempre dentro del cuerpo de números
complejos C. Luego, cuando escribamos “sea K un cuerpo . . . ”, implı́citamente estaremos asumiendo que
K es un subcuerpo de C. En particular esto implica Q ⊂ K y que la caracterı́stica de K es cero. Además,
si f ∈ K[X] \ K, entonces sabemos que f se factoriza completamente en C[X] (observación 1.7).

2.3. Extensiones finitas en C

Sea K un cuerpo. Empezamos probando algunas propiedades de los polinomios con coeficientes en K.
Proposición 2.23. Sean f, g ∈ K[X]. Si F/K es una extensión arbitraria, entonces el máximo comun
divisor de f y g en F [X] coincide con el máximo comun divisor de f y g en K[X].
Dem. Sean dK y dF los máximos comunes divisores de f y g en K[X] y F [X], respectivamente. Como dK
divide a f y g en F [X], entonces dK divide a dF en F [X]. Por otro lado sabemos que existen p, q ∈ K[X]
tales que dK = pf + qg ∈ K[X]; luego, como dF divide a f y g en F [X], entonces dF divide a dK en F [X].
Al ser ambos mónicos se deduce dK = dF .
Observación 2.24. La proposición anterior permite escribir al máximo común divisor de f, g ∈ K[X]
mediante mcd(f, g) sin hacer referencia al cuerpo K.
Definición 2.25. Si f = an X n + · · · + a2 x2 + a1 x + a0 ∈ K[X], se define la derivada 3 de f mediante
f ′ = nan X n−1 + · · · + 2a2 x + a1 . Es fácil de probar que valen las propiedades usuales de la derivada de
funciones:
(af + g)′ = af ′ + g ′ , (f g)′ = f ′ g + f g ′ (regla de Leibniz), ∀f, g ∈ K[X], a ∈ K.
3
En los números complejos se define la derivada de una función de la misma forma que en R y tiene propiedades similares.
En particular en los polinomios coincide con la fórmula que dimos.

17
Proposición 2.26. Si f ∈ K[X], entonces f tiene una raı́z múltiple en C si y solo si mcd(f, f ′ ) ̸= 1.
Dem. Si existe u ∈ C y g ∈ C[X] tales que f = (X − u)2 g ∈ C[X], entonces f ′ = (X − u)2 g ′ + 2(X − u)g;
luego X − u divide a f y f ′ en F [X] y por lo tanto mcd(f, f ′ ) ̸= 1.
Supongamos mcd(f, f ′ ) ̸= 1. Sea u una raı́z de mcd(f, f ′ ) en C. Luego X − u divide a f y f ′ en C[X]. Si
h ∈ C[X] verifica f = h(X − u) ∈ C[X], entonces f ′ = h′ (X − u) + h y por lo tanto X − u divide a h; luego
(X − u)2 divide a f .
Proposición 2.27. Si f ∈ K[X] es un polinomio irreducible, entonces f tiene solo raı́ces simples.
Dem. Si f tuviese una raı́z múltiple, serı́a mcd(f, f ′ ) ̸= 1 y como f es irreducible esto implicarı́a que f
divide a f ′ . Pero como el grado de f ′ es menor que el de f , la única posibilidad es f ′ = 0. Pero esto último
nos dice que f tiene que ser constante4 , lo cual no es posible si f es irreducible.

En lo que sigue probaremos que en el caso complejo toda extensión finita es simple. Este resultado se conoce
como el teorema del elemento primitivo, y es el teorema 2.29 que veremos a continuación. La base de la
prueba es el siguiente resultado.
Lema 2.28. Sean K un cuerpo y u, v ∈ C elementos algebraicos sobre K. Entonces existe w ∈ C tal que
K(u, v) = K(w).
Dem. Sean f, g ∈ K[X] los polinomios irreducibles de u y v, respectivamente. Sean u = u1 , u2 , . . . , um ∈ C
las raı́ces de f y v = v1 , v2 , . . . , vn ∈ C las raı́ces de g. La proposición anterior implica que estas raı́ces son
simples, luego

f = (X − u)(X − u2 ) · · · (X − um ), g = (X − v)(X − v2 ) · · · (X − vn ).

Consideremos los siguientes números complejos

ui − u
, ∀i = 1, . . . , m, j = 2, . . . , n.
v − vj
Elegimos z ∈ Q que sea distinto de los números anteriores. Sea w = u + zv. Probaremos K(u, v) = K(w).

Como es w = u+zv entonces es claro que vale K(w) ⊂ K(u, v). Luego solo nos resta probar K(u, v) ⊂ K(w).
Consideremos h = f (w − zX) ∈ K(w)[X], siendo f el polinomio irreducible de u considerado antes. Notar
que de acuerdo a cómo elegimos z, es z ̸= 0. Usando la factorización de f obtenemos
        
w − u1 w − u2 w − um
h = (−z)m X − X− ··· X −
z z z
     
w − u2 w − um
= (−z)m (X − v) X − ··· X −
z z
Probaremos que v es la única raı́z que tienen en común h y g (el polinomio irreducible de v). Si existiesen
i ∈ {2, . . . , m} y j ∈ {2, . . . , n} tales que w−u
z
i
= vj , entonces serı́a
ui − u
w = zvj + ui ⇒ u + zv = zvj + ui ⇒ z= ,
v − vj
contradiciendo nuestra elección de z. Luego v es la única raı́z que tienen en común h y g y por lo tanto su
máximo común divisor es X − v. Pero de h, g ∈ K(w)[X], deducimos X − v ∈ K(w)[X]. Luego v ∈ K(w), y
al ser u = w − zv, concluimos que u también está en K(w). Entonces u y v están en K(w), lo cual implica
K(u, v) ⊂ K(w).
4
Esta afirmación no es cierta en cuerpos de caracterı́stica positiva.

18
Teorema 2.29. Si F/K es una extensión finita, entonces existe u ∈ F algebraico sobre K tal que F = K(u).
Dem. Como F/K es finita, entonces existen u1 , . . . , un ∈ F algebraicos sobre K tales que F = K(u1 , . . . , un ).
Consideremos la torre

F = K(u1 , . . . , un ) ⊃ K(u1 , . . . , un−1 ) ⊃ · · · ⊃ K(u1 , u2 , u3 ) ⊃ K(u1 , u2 ) ⊃ K(u1 ) ⊃ K.

Aplicando el lema anterior obtenemos que existe w2 ∈ C tal que K(u1 , u2 ) = K(w2 ). Luego K(u1 , u2 , u3 ) =
K(u1 , u2 )(u3 ) = K(w2 )(u3 ) = K(w2 , u3 ). Aplicando de nuevo el lema obtenemos que existe w3 ∈ C tal que
K(w2 , u3 ) = K(w3 ) y por lo tanto K(u1 , u2 , u3 ) = K(w3 ). Entonces K(u1 , u2 , u3 , u4 ) = K(w3 , u4 ) y seguimos
repitiendo el procedimiento hasta obtener F = K(u1 , . . . , un ) = K(u), para cierto u ∈ C. Finalmente notar
que como K(u)/K es finita, entonces u es algebraico sobre K.
Observación 2.30. Para validez del teorema del elemento primitivo solo se requiere caracterı́stica cero,
pero hay que fundamentar mejor la prueba.

2.4. Morfismos entre extensiones

Recordar que si K y F son dos cuerpos, entonces un morfismo de cuerpos φ : K → F es simplemente un
morfismo de anillos. Además, sabemos que los morfismos de cuerpos siempre son inyectivos. En general abre-
viaremos “morfismo de cuerpos” en “morfismo”. Un isomorfismo es un morfismo biyectivo. Un automorfismo
es un isomorfismo de un cuerpo en sı́ mismo.
Definición 2.31. Sean F y E dos extensiones de un mismo cuerpo K. Un morfismo σ : F → E se dice que
es un K-morfismo si σ|K = id. Esto se suele representar mediante el siguiente diagrama

F
σ /E

K
Las definiciones de K-isomorfismo y K-automorfismo son las naturales.
Observación 2.32. Todo K-morfismo es un operador K-lineal. Luego si F es una extensión finita de K y
σ : F → F es un K-morfismo, entonces σ es un K-automorfismo (por ser K-lineal e inyectivo).
Proposición 2.33. Sean F/K y E/K extensiones, σ : F → E un K-morfismo. Si f ∈ K[X], entonces σ
lleva raı́ces de f en F en raı́ces de f en E. Luego si E = F , entonces σ permuta las raı́ces de f en F .



Dem. Si f (u) = 0, entonces 0 = σ f (u) = f σ(u) . Luego si E = F y R es el conjunto de las raı́ces de f
en F , entonces σ(R) ⊂ R y como σ es inyectivo y R es finito se deduce que σ|R : R → R es biyectivo.
Proposición 2.34. Sea K un cuerpo y f ∈ K[X] un polinomio irreducible. Si u, v ∈ C son raı́ces de f ,
entonces existe un único K-isomorfismo σ : K(u) → K(v) tal que σ(u) = v.
Dem.
Pn La unicidad

Pn es inmediata: si existe un tal isomorfismo σ, entonces tiene que estar definido por
σ a ui = a v i , para todo a , . . . , a ∈ K y todo n ∈ N.
i=0 i i=0 i 0 n
Para la existencia podemos suponer que f es mónico, luego f = IrrK (u) = IrrK (v). Entonces σ queda
definido por la composición de los siguientes K-isomorfismos
K[X] K[X] K[X]
K(u) = K[u] ≃ = = ≃ K[v] = K(v).
⟨IrrK (u)⟩ ⟨f ⟩ ⟨IrrK (v)⟩
K[X] K[X]
Notar que ⟨f ⟩ ≃ K[u] identifica x con u y ⟨f ⟩ ≃ K[u] identifica x con v, luego σ lleva u en v.

19
Proposición 2.35. Sea u ∈ C algebraico sobre K y F/K una extensión arbitraria. Sea f = IrrK (u).

1. Si f tiene alguna raı́z v ∈ F , entonces existe un único K-morfismo σ : K(u) → F tal que σ(u) = v.

2. El mapa σ 7→ σ(u) define una correspondencia uno a uno entre

{σ : K(u) → F : σ es un K-morfismo} ↔ {raı́ces de f en F }.

3. Vale
#{σ : K(u) → F : σ es un K-morfismo} ≤ [K(u) : K]. (2)
Además, vale el igual en (2) si y solo si F contiene a todas las raı́ces (en C) de f .

Dem. (1). Si v ∈ F es una raı́z de f , entonces la proposición 2.34 implica que existe un único K-morfismo
α : K(u) → K(v) tal que α(u) = v. Componiendo este morfismo con P la inclusión

K(v)
Pn ,→ Fi obtenemos
n i =
un K-morfismo σ : K(u) → F tal que σ(u) = v. Notar que vale σ a
i=0 i u i=0 ai v , para todo
a0 , . . . , an ∈ K y todo n ∈ N; esto implica la unicidad de σ.

(2). Como u es una raı́z de f en K(u), entonces la proposición 2.33 implica que si σ : K(u) → F es
un K-morfismo, entonces σ(u) es una raı́z de f en F . Esto junto con la parte anterior, implican que la
correspondencia σ 7→ σ(u) está bien definida y es biyectiva.

(3). La desigualdad (2) se deduce de lo siguiente

#{σ : K(u) → F : σ es un K-morfismo} = #{raı́ces de f en F } ≤ #{raı́ces de f } ≤ gr f = [K(u) : K].

Observar que como f es irreducible entonces tiene solo raı́ces simples y por lo tanto #{raı́ces de f } = gr f .
Luego vale el igual en (2) si y solo si #{raı́ces de f en F } = #{raı́ces de f }, y esto ocurre si y solo si todas
las raı́ces de f están en F .

Ejemplo 2.36. Consideremos el polinomio f = X 4 − 2 ∈ Q[X]. El criterio√ de Eisenstein implica que f

es irreducible en Q[X]. Notar que f tiene raı́ces ±w y ±wi, siendo w = 4 2 ∈ R. Consideremos Q(w) y
F = Q(w, i). Como ±w, ±wi ∈ F y [Q(w) : Q] = gr f = 4, entonces sabemos que hay exactamente 4
morfismos σ1 , σ2 , σ3 , σ4 : Q(w) → F que quedan determinados por

σ1 (w) = w, σ2 (w) = −w, σ3 (w) = wi, σ4 (w) = −wi.

Notar que σ1 es simplemente la inclusión Q(w) ,→ Q(w, i) = F . Vamos a dar una descripción explı́cita de
estos morfismos. Como f es irreducible en Q[X], entonces IrrQ (w) = f y por lo tanto [Q(w) : Q] = 4 y
B = {1, w, w2 , w3 } es una base de Q(w). En esa base es

σ1 a + bw + cw2 + dw3 = a + bw + cw2 + dw3 ,

σ2 a + bw + cw2 + dw3 = a − bw + cw2 − dw3 ,

σ3 a + bw + cw2 + dw3 = a + bwi − cw2 − dw3 i,

σ4 a + bw + cw2 + dw3 = a − bw − cw2 + dw3 i,

para todo a, b, c, d ∈ Q.

20
Morfismo K[X] → F [X] inducido por un morfismo K → F . Si σ : K → F es P un morfismo de
cuerpos, entonces lo podemos extender a un mapa σP : K[X] → F [X] tal que a cada f = ni=0 ai X i ∈ K[X]
le hace corresponder σf ∈ F [X], definido por σf = ni=0 σ(ai )X i . Es fácil de probar que vale

σ1 = 1, σ(f + g) = σf + σg, σ(f · g) = σf · σg, ∀f, g ∈ K[X].

Además es claro que σf = 0, implica f = 0. Luego σ : K[X] → F [X] es un morfismo de anillos

inyectivo


y por lo tanto K[X] ≃ σ(K)[X] ⊂ F [X].

Notar que si f ∈ K[X] y u ∈ K, entonces σ f (u) = σf σ(u) ;
luego f (u) = 0 en K implica σf σ(u) = 0 en F .

El siguiente resultado es una generalización de la proposición 2.35.

Proposición 2.37. Sean σ : K → F un morfismo de cuerpos y u ∈ C algebraico sobre K. Consideremos
f = IrrK (u) ∈ K[X]. Entonces.
1. Si σf tiene alguna raı́z v en F , entonces existe un único morfismo τ : K(u) → F tal que τ |K = σ y
τ (u) = v.

2. El mapa τ 7→ τ (u) define una correspondencia uno a uno entre

{τ : K(u) → F : τ morfismo y τ |K = σ} ↔ {raı́ces de σf en F }.

Dem. (1). Para simplificar la notación escribiremos K̃ = σ(K). Sea v ∈ F una raı́z de σf ∈ F [X]. El
morfismo de cuerpos σ : K → F induce un isomorfismo de cuerpos σ : K → K̃, el que a su vez induce
un isomorfismo de anillos σ : K[X] → K̃[X]. Luego, como f ∈ K[X] es mónico e irreducible, entonces
σf ∈ K̃[X] es mónico e irreducible y por lo tanto σf = IrrK̃ (v) ∈ K̃[X].
El isomorfismo σ : K[X] → K̃[X] compuesto con la proyección canónica K̃[X] → K̃[X]/⟨σf ⟩ define un
morfismo de anillos sobreyectivo Φ : K[X] → K̃[X]/⟨σf ⟩, definido por Φ(g) = σg.
Sea g ∈ K[X]. Notar que σg = 0 en K̃[X]/⟨σf ⟩ si y solo si σf divide a σg en K̃[X] lo cual equivale a que f
divide a g en K[X]. Luego el núcleo de Φ es el ideal generado por f y por lo tanto aplicando la proposición
1.2 obtenemos un isomorfismo K[X]/⟨f ⟩ → K̃[X]/⟨σf ⟩ definido por g 7→ σg. Luego podemos definir un
isomorfismo σ̂ : K(u) → K̃(v) mediante

K[X] K̃[X]
K(u) = K[u] ≃ ≃ ≃ K̃[v] = K̃(v).
⟨f ⟩ ⟨σf ⟩
σ̂
Finalmente definimos τ : K(u) → F como la composición K(u) → K̃(v) ,→ F . Notar que si el grado de f es
n, entonces {1, u, . . . , un−1 } es una base de K(u) como K-espacio y en esa base vale
n−1
! n−1
X X
τ ai ui = σ(ai )v i , ∀a0 , . . . , an−1 ∈ K.
i=0 i=0

Esta fórmula prueba la unicidad de τ y que valen τ |K = σ y τ (u) = v.

(2). Si τ : K(u) → F es un morfismo que verifica τ |K = σ, entonces 0 = τ f (u) = τ f τ (u) = σf τ (u) ,
luego τ (u) es raı́z de σf . Esto junto con la primera parte implican la tesis.
Observación 2.38. Las dos proposiciones anteriores nos permiten, al menos en teorı́a, hallar todos los
K-automorfismos de F , cuando F/K es una extensión finita. Para eso escribimos F = K(u1 , . . . , un ) siendo
u1 , . . . , un ∈ F elementos algebraicos sobre K y consideramos la torre

F = K(u1 , . . . , un ) ⊃ · · · ⊃ K(u1 , u2 ) ⊃ K(u1 ) ⊃ K.

21
Aplicando la proposición 2.35 hallamos todos los K-morfismos K(u1 ) → F . Luego aplicando la proposición
2.37 hallamos todas las extensiones posibles de cada uno de estos morfismos a K(u1 , u2 ) → F . Y ası́ seguimos
aplicando reiteradamente la proposición 2.37 hasta obtener K-morfismos de F = K(u1 , . . . , un ) en F . Como
F/K es finita, entonces los K-morfismos F → F son automáticamente K-automorfismos. Notar además que
si σ : F → F es un K-automorfismo, entonces σ es una extensión de su restricción a K(u1 , . . . , un−1 ), que es
un K-morfismo de K(u1 , . . . , un−1 ) a F . Siguiendo con ese razonamiento se deduce que todo K-automorfismo
de F se puede obtener mediante la serie de extensiones descrita anteriormente.
Ejemplo 2.39. Consideremos
√ de nuevo el polinomio irreducible f = X 4 − 2 ∈ Q[X] que tiene raı́ces ±w
y ±wi, siendo w = 4 2 ∈ R. En el ejemplo 2.36 vimos que si F = Q(w, i), entonces hay exactamente 4
morfismos σ1 , σ2 , σ3 , σ4 : Q(w) → F que quedan determinados por

σ1 (w) = w, σ2 (w) = −w, σ3 (w) = wi, σ4 (w) = −wi.

Observar que F = Q(w)(i) es una extensión simple de Q(w). Consideremos IrrQ (i) = X 2 + 1. Como es
Q(w) ⊂ R y i ∈ / R, entonces X 2 + 1 es irreducible en Q(w) y por lo tanto IrrQ(w) (i) = X 2 + 1. Como
X + 1 ∈ Q[X], entonces σl (X 2 + 1) = X 2 + 1 para cada morfismo σl . Notar que las raı́ces de X 2 + 1
2

son ±i ∈ F luego cada morfismo σl : Q(w) → F da lugar a dos morfismos αl , βl : F = Q(w)(i) → F

caracterizados por αl |Q(w) = βl |Q(w) = σl , αl (i) = i y βl (i) = −i. Diagramáticamente es
σl αl
Q(w) /F ⇒ Q(w)(i) ⇒ Q(w, i) /F .
αl

σl #
Q Q(w) /F Q

Luego existen 8 automorfismos αl , βl : F → F , l = 1, 2, 3, 4, caracterizados por las condiciones anteriores.

Si queremos hallar fórmulas explı́ctas para los αl , βl , entonces tenemos que hallar una base de Q(w, i) como
Q-espacio. Notar que {1, w, w2 , w3 } es una base de Q(w) como Q-espacio y {1, i} es una base de Q(w, i)
como Q(w)-espacio, luego B = {1, w, w2 , w3 , i, iw, iw2 , iw3 } es una base de Q(w, i) como Q-espacio. Usando
esta base podemos dar fórmulas para los morfismos. Por ejemplo β3 verifica β3 (w) = wi y β3 (i) = −i, luego

β3 x0 + x1 w + x2 w2 + x3 w3 + y0 i + y1 iw + y2 iw2 + y3 iw3 =

= x0 + x1 (wi) + x2 (wi)2 + x3 (wi)3 + y0 (−i) + y1 (−i)(wi) + y2 (−i)(wi)2 + y3 (−i)(wi)3

= x0 + x1 wi − x2 w2 − x3 iw3 − y0 i + y1 wi + y2 iw2 − y3 w3 .

3. Teorı́a de Galois
Recordar que estamos trabajando dentro de C. Todo lo que haremos vale también para cuerpos arbitrarios
de caracterı́stica cero. En caracterı́stica positiva aparecen ciertas dificultades que obligan a imponer más
condiciones para obtener el mismo tipo de resultados.

3.1. El grupo de Galois

Sea F un cuerpo. El conjunto Aut(F ) = {σ : F → F | σ es un automorfismo} es un subgrupo de Biy(F ),
luego Aut(F ) es un grupo. Si K es un subcuerpo de F , entonces el grupo de Galois de F/K es

Gal(F/K) := {σ ∈ Aut(F ) : σ|K = id} .

22
Notar que es Gal(F/K) = Aut(F ) ∩ GLK (F ), siendo GLK (F ) = {φ : F → F | φ isomorfismo K-lineal}.
Esto implica que Gal(F/K) es un subgrupo de Aut(F ) y por lo tanto Gal(F/K) es un grupo.

La proposición 2.35 implica directamente el siguiente resultado.

Proposición 3.1. Sea u ∈ C algebraico sobre K y f = IrrK (u). Entonces Gal (K(u)/K) es finito y

|Gal (K(u)/K)| = #{raı́ces de f en K(u)} ≤ [K(u) : K].

Además vale |Gal (K(u)/K)| = [K(u) : K] si y solo si todas las raı́ces (complejas) de f están en K(u).

El siguiente resultado muestra que el grupo de Galois de una extensión finita es un grupo finito, cuyo orden
es menor o igual que el grado de la extensión.

Teorema 3.2. Sea F/K una extensión finita. Entonces Gal(F/K) es finito y |Gal(F/K)| ≤ [F : K].

Dem. El teorema 2.29 implica que existe u ∈ F algebraico sobre K tal que F = K(u). Luego aplicando la
proposición anterior obtenemos |Gal(F/K)| = |Gal(K(u)/K)| ≤ [K(u) : K] = [F : K].

Ejemplos 3.3. A continuación se determinan los grupos de Galois de algunas extensiones finitas.

Gal(C/R) = C2 . Como C = R(i) y IrrR (i) = X 2 + 1 tiene raı́ces ±i ∈ C, entonces vale |Gal(C/R)| =
[C : R] = 2; luego Gal(C/R) = {id, σ}. El morfismo σ queda caracterizado por σ|R = id y σ(i) = −i,
luego σ es la conjugación compleja σ(z) = z, para todo z ∈ C.
√

√
√ √

Gal Q 2 /Q = C2 . Es IrrQ 2 = X 2 − 2 y sus raı́ces son ± 2 ∈ Q 2 .
√

√
√
Luego Gal Q 2 /Q = {id, σ}, con σ a + b 2 = a − b 2, para todo a, b ∈ Q.
√

√
√ √ √ 2πi
Gal Q 3 2 /Q = {id}. Es IrrQ 3 2 = X 3 −2 que tiene raı́ces 3 2, µ 3 2, µ2 3 2, siendo µ = e 3 ∈ C.
√
√ √


Como la única raı́z de X 3 − 2 que está en Q 3 2 es 3 2, se deduce Gal Q 3 2 /Q = 1.
√

√
√ √
Gal Q 4 2 /Q = C2 . Es IrrQ 4 2 = X 4 − 2 que tiene raı́ces ± 4 2, ±i 4 2. Como las raı́ces de de
√ √ √ √
√
X 4 − 2 que están en Q 4 2 son ± 4 2, se deduce Gal Q 4 2 /Q = {id, σ}, con σ 4 2 = − 4 2.

√

√


|Gal Q 4 2, i /Q | = 8. Esto ya lo vimos en el ejemplo 2.39. La identificación de Gal Q 4 2, i /Q
será vista más adelante en el ejemplo 3.31.

3.2. Extensiones normales

Empezamos con algunas definiciones.

Sea K un cuerpo y f ∈ K[X] un polinomio no constante. Decimos que f se escinde en K[X] si f se puede
escribir como producto de polinomios de grado uno en K[X], i.e. si existen a, u1 , . . . , un ∈ K tales que
f = a(X − u1 ) · · · (X − un ). Si en la descomposición anterior agrupamos los factores repetidos, entonces
obtenemos f = a(X − v1 )n1 · · · (X − vk )nk , siendo v1 , . . . , vk las raı́ces distintas de f y ni ≥ 1, para todo i.

Observaciones 3.4. 1. Para abreviar, diremos “f se escinde en K”, en vez de “f se escinde en K[X]”.

2. Que f ∈ K[X] se escinda en K equivale a que todas las raı́ces complejas de f estén en K.

3. El teorema fundamental del álgebra nos dice que en C todo polinomio de grado positivo se escinde.

4. Si f ∈ K[X] es un polinomio de grado positivo, entonces f siempre escinde en C, pero no necesaria-

mente en K.

23
Sean K un cuerpo y f ∈ K[X] un polinomio no constante. El cuerpo de descomposición de f es K(u1 , . . . , um ),
siendo u1 , . . . , um las raı́ces de f en C. Es el menor subcuerpo de C que contiene a K, en el cual f se escinde.
√
Ejemplo√3.5. √
1. El polinomio √
X 2 − 2 ∈ Q[X] tiene raı́ces ± 2, luego su cuerpo de descomposición es
Q 2, − 2 = Q 2 .
√ √ √
2. Las raı́ces de X 3 − 2 ∈ Q[X] son 3 2,√w 3 2 √ y w2 3 2,
√ siendo ̸= w ∈
C tal que w3 = 1. Luego el cuerpo
1√
de descomposición de X 3 − 2 es Q 2, w 2, w2 2 = Q
3 3 3

3
2, w .

Proposición 3.6. Sea K un cuerpo y f ∈ K[X] de grado n ≥ 1. Si F es el cuerpo de descomposición de

f , entonces [F : K] ≤ n!.

Dem. Sea F = K(u1 , . . . , um ), siendo u1 , . . . , um las raı́ces distintas de f en C.

Como f ∈ K[X] y f (u1 ) = 0, entonces IrrK (u1 ) divide a f y por lo tanto

[K(u1 ) : K] ≤ gr f = n.

Como u1 ∈ K(u1 ) y f (u1 ) = 0, entonces existen g1 ∈ K(u1 )[X] y n1 ≥ 1 tales que f = (X − u1 )n1 g1 y
g1 (u1 ) ̸= 0. Luego es 0 = f (u2 ) = (u2 − u1 )n1 g1 (u2 ). Como u1 , . . . , um son distintos, deducimos g1 (u2 ) = 0.
Luego
[K(u1 , u2 ) : K(u1 )] = [K(u1 )(u2 ) : K(u1 )] ≤ gr g1 ≤ n − 1.
Siguiendo con ese razonamiento terminamos probando que valen

[K(u1 ) : K] ≤ n, [K(u1 , u2 ) : K(u1 )] ≤ n − 1, · · · , [K(u1 , . . . , um−1 , um ) : K(u1 , . . . , um−1 )] ≤ n − (m − 1).

Luego [K(u1 , . . . , um ) : K] ≤ n(n − 1) · · · (n − m + 1) ≤ n!.

En la proposición anterior, la cota n! puede alcanzarse o no, como lo muestran los siguientes ejemplos.
√
Ejemplos 3.7. 1. Si f = X 4 √− X 2
− 2 ∈ Q[X], entonces sus raı́ces son ± 2 y ±i. Luego el cuerpo de
descomposición de f es Q 2, i . Consideremos la torre
√  √ 
Q⊂Q 2 ⊂Q 2, i
√
 √

2 = X 2 − 2, entonces Q 2 : Q = 2. Observar IrrQ (i) = X 2 + 1, como sus

Como IrrQ
√
 √
√

raı́ces son ±i que no están en Q 2 , entonces IrrQ(√2) (i) = X 2 + 1, luego Q 2, i : Q 2 =
 √
√
  √

Q 2 (i) : Q 2 = 2. Entonces Q 2, i : Q = 4 = gr f .
√
2. El cuerpo de descomposición de f = X 3 − 2 ∈ Q[X] es Q 3 2, w , siendo w ∈ C tal que w3 = 1, w ̸= 1.


√

El criterio de Eisenstein implica que el polinomio X 3 − 2 es irreducible en Q[X], luego IrrQ 3 2 =
X 3 −2. Notar que de la factorización X 3 −1 = (X −1)(X 2 +X +1), deducimos que w es una de las raı́ces
√ √

de X 2 + X + 1, que son −1±i 2
3
. Como w ∈ / Q 3 2 , deducimos IrrQ( √
3
2
2) (w) = IrrQ (w) = X + X + 1.
 √
  √
√
  √

Luego Q 3 2, w : Q = Q 3 2, w : Q 3 2 Q 3 2 : Q = 2 × 3 = 6 = (gr f )!.

El cuerpo de descomposición se puede definir para toda familia de polinomios. Lo veremos cuando la familia
es finita, que es el caso que nos interesa. Sea K un cuerpo y f1 , . . . , fn ∈ K[X] polinomios no constantes.
El cuerpo de descomposición de f1 , . . . , fn es el subcuerpo de C generado por K y las raı́ces complejas de
estos polinomios. Es la menor extensión de K en la cual cada cada fi se escinde. Notar que el cuerpo de
descomposición de la familia f1 , . . . , fn coincide con el cuerpo de descomposición del polinomio f = f1 · · · fn .

24
Una extensión F/K se dice normal 5 si F es el cuerpo de descomposición de algún polinomio f ∈ K[X].
Observaciones 3.8. 1. Si F/K es normal, entonces F/K es finita (proposición 3.6).
2. Si F/K es normal y K ⊂ E ⊂ F es un cuerpo intermedio, entonces F/E es normal. Esto se debe a que
si F es el cuerpo de descomposición de f ∈ K[X], entonces F también es el cuerpo de descomposición
de f pensado en E[X].
Proposición 3.9. Sea F/K una extensión normal. Si σ : F → C es un K-morfismo, entonces σ(F ) = F .
Dem. Sea f ∈ K[X] tal que F es el cuerpo de descomposición de f . Sean u1 , . . . .un ∈ C las raı́ces de f , luego
F = K(u1 , . . . , un ). Si z ∈ F entonces existen h, g ∈ K(X1 , . . . , Xn ) tales que z = h(u 1 ,...,un )
g(u1 ,...,un ) . Como vale


h σ(u1 ),...,σ(un )
σ|K = id, entonces σ(z) =
. Pero además u1 , . . . .un ∈ C son las raı́ces de f ∈ K[X], luego σ
g σ(u1 ),...,σ(un )
las permuta y por lo tanto {σ(u1 ), . . . , σ(un )} = {u1 , . . . .un }. Eso implica σ(z) ∈ K(u1 , . . . , un ) = F . Luego
σ(F ) ⊂ F , pero como F es una extensión finita de K y σ es K-lineal e inyectivo, deducimos σ(F ) = F .
Observación 3.10. De la proposición anterior se deduce que si F/K es una extensión normal, entonces
hay una correspondencia uno a uno
{σ : F → C| σ es un K-morfismo} ↔ {σ : F → F | σ es un K-automorfismo} = Gal(F/K).
La correspondencia está dada para un lado por la proposición anterior y para el otro es componer con la
inclusión F ,→ C. Además usamos que todo K-morfismo de F en F es automáticamente un K-automorfismo.
Teorema 3.11. Sea F/K una extensión finita. Entonces
#{σ : F → C| σ es un K-morfismo} = [F : K].
Dem. Como F/K es finita, entonces existe u ∈ F algebraico sobre K tal que F = K(u). Observar que
IrrK (u) ∈ K[X] tiene todas sus raı́ces en C, entonces aplicando la proposición 2.35 obtenemos
#{σ : K(u) → C : σ es un K-morfismo} = [K(u) : K].

Combinando el teorema anterior y las observaciones 3.8 y 3.10 obtenemos el siguiente resultado.
Teorema 3.12. Si F/K es una extensión normal, entonces F/K es finita y |Gal(F/K)| = [F : K].
√
√

Ejemplos 3.13. Las extensiones C/R, Q 2 /Q y Q 2, i /Q son normales, por ser los cuerpos de
descomposición de X 2 + 1 ∈ R[X], X 2 −
√ 2
∈ Q[X]

y X 4 − X 2 − 2√∈
Q[X],

respectivamente. Por √
otro

lado,
 en
3 4 3
los ejemplos 3.3 vimos que es Gal Q 2 /Q = 1 y Gal Q 2 /Q = 2; luego, al ser Q 2 :Q =3
 √
 √
√

y Q 4 2 : Q = 4, entonces el teorema anterior implica que Q 3 2 /Q y Q 4 2 /Q no son normales.

3.3. El teorema de Artin

Sea F un cuerpo. Si H es un subgrupo de Aut(F ), entonces H actúa en F mediante σ·x = σ(x). Consideremos
el conjunto de puntos fijos de F por la acción de H:
F H = {x ∈ F : σ(x) = x, ∀σ ∈ H},
Notar que F H es un subcuerpo de F .
Teorema 3.14 (E. Artin). Sean F un cuerpo, G un subgrupo finito de Aut(F ) y K = F G . Entonces
F/K es finita, [F : K] = |G| y Gal(F/K) = G.
Dem. Sea n = |G|. Probaremos primero que vale [F : K] ≤ n. Supongamos razonando por el absurdo que
existen u1 , . . . , un+1 en F que son LI sobre K. Sea G = {τ1 , τ2 , . . . , τn }, siendo τ1 = id.
5
Esta es la definición de extensión normal finita. También se definen extensiones normales infinitas, pero no las necesitaremos.

25
Consideremos en F el sistema de n ecuaciones con n + 1 variables x1 , . . . , xn+1 definido por

τ1 (u1 )x1 + τ1 (u2 )x2 + · · · + τ1 (un+1 )xn+1 = 0

.. . (3)
.
τn (u1 )x1 + τn (u2 )x2 + · · · + τn (un+1 )xn+1 = 0

Como es un sistema homogéneo con más variables que ecuaciones, entonces admite una solución no trivial.
Sea (a1 , . . . , an+1 ) ∈ F n+1 una solución fija con una cantidad mı́nima de entradas no nulas. Reordenando
u1 , . . . , un+1 si es necesario, podemos suponer que a1 , . . . , ar son todos no nulos y ar+1 = · · · = an+1 = 0.
Además, como las soluciones de (3) forman un subespacio de F n+1 , podemos asumir a1 = 1.

Como τ1 = id, entonces de la primera ecuación de (3) obtenemos

u1 + u2 a2 + · · · + ur ar = 0.

Como u1 , . . . , un+1 están en F , son LI sobre K y a1 , . . . , ar ∈ F son todos no nulos, entonces existe algún
i ≥ 2 tal que ai ̸∈ K = F G . Eventualmente reordenando los subı́ndices podemos suponer a2 ̸∈ F G . Luego
existe σ ∈ G tal que σ(a2 ) ̸= a2 .

Consideremos ahora el sistema de n ecuaciones en F

στ1 (u1 )x1 + στ1 (u2 )x2 + · · · + στ1 (un+1 )xn+1 = 0
.. . (4)
.
στn (u1 )x1 + στn (u2 )x2 + · · · + στn (un+1 )xn+1 = 0

Como (1, a2 , . . . , ar , 0, . . . , 0) es solución de (3) y σ ∈ Aut(F ), entonces (1, σ(a2 ), . . . , σ(ar ), 0, . . . , 0) es

solución de (4). Pero {στ1 , στ2 , . . . , στn } = G, luego los sistemas de ecuaciones (3) y (4) coinciden, a menos de
reordenar las filas. Entonces (1, a2 , . . . , ar , 0, . . . , 0) y (1, σ(a2 ), . . . , σ(ar ), 0, . . . , 0) son soluciones del sistema
homogéneo (3) y por lo tanto su resta

(0, a2 − σ(a2 ), a3 − σ(a3 ), . . . , ar − σ(ar ), 0, . . . , 0)

también lo es. Además sabemos a2 − σ(a2 ) ̸= 0. Luego obtuvimos una solución no trivial de (3) que tiene a
lo más r − 1 entradas no nulas, contradiciendo la minimalidad de r. Esto completa la prueba de [F : K] ≤ n.

Vimos que vale [F : K] ≤ |G|. Por ser K = F G , entonces G ⊂ Gal (F/K) y por lo tanto |G| ≤ |Gal (F/K)|.
Además como F/K es finita, entonces el teorema 3.2 implica |Gal (F/K)| ≤ [F : K]. Luego

[F : K] ≤ |G| ≤ |Gal (F/K)| ≤ [F : K] .

Esto implica |G| = |Gal (F/K)| = [F : K]. Luego, al ser G ⊂ Gal (F/K), deducimos G = Gal (F/K).

3.4. Extensiones de Galois

Sea F/K una extensión. Si H es un subgrupo de Gal(F/K), entonces H es un subgrupo de Aut(F ) y por
lo tanto F H es un subcuerpo de F . Notar que H deja fijos a los elementos de K, luego vale K ⊂ F H ⊂ F .
En particular es K ⊂ F Gal(F/K) ⊂ F .

26
Decimos que una extensión F/K es de Galois 6 si es finita y verifica F Gal(F/K) = K. Recordar que F/K
finita implica que Gal(F/K) es un grupo finito y |Gal(F/K)| ≤ [F : K] (teorema 3.2).
Observación 3.15. Dada una extensión finita F/K, las siguientes afirmaciones son equivalentes.
1. F/K es de Galois.
2. Si u ∈ F verifica σ(u) = u, para todo σ ∈ Gal(F/K), entonces u ∈ K (es decir F Gal(F/K) ⊂ K).
3. Si u ∈ F \ K, entonces existe σ ∈ Gal(F/K) tal que σ(u) ̸= u.
Ejemplos 3.16. 1. Si K es un cuerpo arbitrario, entonces K/K es de Galois.
2. Determinando F Gal(F/K) para algunos de los ejemplos 3.3, se obtienen los siguientes resultados.
√

a) Las extensiones C/R y Q 2 /Q son de Galois.
√
√

b) Las extensiones Q 3 2 /Q y Q 4 2 /Q no son de Galois.
El siguiente teorema es básico para la teorı́a de Galois.
Teorema 3.17. Sea F/K una extensión de cuerpos. Las siguientes afirmaciones son equivalentes.
1. F/K es normal.
2. F/K es finita y |Gal(F/K)| = [F : K].
3. F/K es de Galois.
4. K = F H , siendo H un subgrupo finito de Aut(F ).
5. F/K es finita y para todo u ∈ F se cumple que IrrK (u) se escinde en F [X].
Dem. (1) ⇒ (2). Esto es el teorema 3.12.

(2) ⇒ (3). Consideremos K ′ = F G , siendo G = Gal(F/K). Como G es finito, entonces el teorema de Artin
implica [F : K ′ ] = |G|. Luego
[F : K ′ ] = |G| = |Gal(F/K)| = [F : K] ⇒ [K ′ : K] = 1 ⇒ K ′ = K.
(3) ⇒ (4). Como F/K es de Galois, entonces F/K es finita y K = F Gal(F/K) . Además F/K finita implica
que Gal(F/K) es finito. Luego K = F Gal(F/K) , con Gal(F/K) finito.

(4) ⇒ (5). Como H < Aut(F ) es finito y K = F H , entonces el teorema de Artin implica que F/K es finita.
Sea u ∈ F y consideramos f = IrrK (u) ∈ K[X]. Sea {σ(u) : σ ∈ H} = {u1 , . . . , um }, en que u = u1 , . . . , um
son elementos distintos. Como f
∈ K[X] y K = F H , entonces para todo σ ∈ H vale σf = f y por lo tanto
de f (u) = 0 deducimos f σ(u) = 0. Esto implica que u1 , . . . , um son raı́ces de f en F y por lo tanto el
polinomio g = m
Q

i=1 X − u i divide a f en F [X]. Por otro lado, si τ ∈ H, entonces {τ σ : σ ∈ H} = H.
Luego
{τ (u1 ), . . . , τ (um )} = {τ σ(u) : σ ∈ H} = {η(u) : η ∈ H} = {u1 , . . . , um }.
Esto implica
m
Y m

Y
τg = X − τ (ui ) = (X − ui ) = g, ∀τ ∈ H.
i=1 i=1
Como es K = F H , deducimos g ∈ K[X]. Al ser g(u) = g(u1 ) = 0, sabemos Q
que f = Irrk (u)

divide a g en
K[X]. Como f y g se dividen mutuamente y son mónicos, entonces f = g = m i=1 X − u i ∈ F [X].
6
La definición de extensión de Galois no requiere que sea finita, pero donde la teorı́a funciona mejor es en las extensiones
finitas, que son las únicas que vamos a considerar.

27
(5) ⇒ (1). Como F/K es finita, entonces aplicando la proposición 2.29 obtenemos que existe u ∈ F algebraico
sobre K, tal que F = K(u). Sea f = IrrK (u) ∈ K[X]. Por hipótesis sabemos que f se escinde en F , luego
F contiene a todas las raı́ces de f y por lo tanto F contiene al cuerpo de descomposición de f sobre K. Por
otro lado, u es raı́z de f , y por lo tanto está en el cuerpo de descomposición de f ; ası́ que tenemos también
la inclusión inversa. Luego F es el cuerpo de descomposición de f sobre K.

Observaciones 3.18. 1. Una forma equivalente de escribir la condición (5) es que F/K es finita, y para
todo polinomio irreducible f ∈ K[X] se cumple que si f tiene una raı́z en F , entonces f se escinde en
F [X]. Esta condición a veces se usa como definición de normalidad.

2. Supongamos que F/K es de Galois y por lo tanto K = F Gal(F/K) . Sea u ∈ F . En la prueba de

(3) ⇒ (4) mostramos que actuando con Gal(F/K) en u obtenemos todas las raı́ces de IrrK (u) y vale
m
Y
IrrK (u) = (X − ui ) en F [X].
i=1

siendo u1 , . . . , um los distintos elementos de la órbita {σ(u) : σ ∈ Gal(F/K)}.

3. Si F es un cuerpo, G es un subgrupo finito de Aut(F ) y K = F G , entonces F/K es de Galois por el

teorema anterior y Gal(F/K) = G por el teorema de Artin.

4. Una pregunta natural es por qué definir los conceptos de extensión normal y de extensión de Galois,
si al final terminan siendo equivalentes. La razón es que en nuestro caso equivalen porque estamos
trabajando en caracterı́stica cero (lo usamos en la prueba del teorema 3.17, en las partes (1) ⇒ (2) y
(5) ⇒ (1), aunque esto último podrı́a evitarse). En general lo que vale para extensiones finitas es que
Galois equivale a normal y separable7 , pero en caracterı́stica cero la separabilidad es automática.
√
Ejemplo 3.19. El cuerpo de descomposición de X 3 − 2 ∈ Q[X] es Q 3 2, ω , siendo 1 ̸= ω ∈ C, ω 3 = 1;


√
√
√

luego Q 3 2, ω /Q es de Galois. Por otro lado ω ∈ / Q 3 2 , ası́ que Q 3 2 /Q no es de Galois (por no
contener todas las raı́ces del polinomio irreducible X 3 − 2 ∈ Q[X]). Notar que es IrrQ (ω) = X 2 + X + 1, que
tiene raı́ces ω y ω = ω −1 . Luego Q(ω) es el cuerpo de descomposición de X 2 + X + 1 y por lo tanto Q(ω)/Q
es de Galois.

Combinando el teorema anterior con la proposición 3.1 se obtiene el siguiente resultado.

Corolario 3.20. Sea K(u) una extensión algebraica simple de K. Entonces K(u)/K es de Galois si y solo
si IrrK (u) se factoriza completamente en K(u).
√ √
√

Ejemplo 3.21. 1. Las raı́ces de X 2 − 2 son ± 2 ∈ Q 2 . Luego Q 2 /Q es de Galois.
√ √ √ √

2. Las raı́ces de X 3 − 2 son 3 2, ω 3 2 y ω 2 3 2, siendo ω ̸= 1 tal que ω 3 = 1. Como ω ∈
/ Q 3 2 , deducimos
√

que Q 3 2 Q no es de Galois.

3.5. Correspondencia de Galois

Sea F/K una extensión. Notar que vale lo siguiente.

1. Si E es un cuerpo intermedio entre F y K, entonces Gal(F/E) es un subgrupo de Gal(F/K).

2. Si H es un subgrupo de Gal(F/K), entonces F H es un cuerpo intermedio entre F y K.

7
Una extensión algebraica F/K es separable si IrrK (u) tiene solo raı́ces simples, para todo u ∈ F .

28
La correspondencia de Galois es la correspondencia entre la familia de cuerpos intermedios entre F y K y
la familia de subgrupos de Gal(F/K), que asocia a cada cuerpo intermedio E el subgrupo Gal(F/E) y a
cada subgrupo H el cuerpo intermedio F H .
Observación 3.22. Dada F/K, la correspondencia de Galois invierte el orden de inclusión

H1 < H2 < Gal(F/K) ⇒ F H2 ⊂ F H1 ;

K ⊂ E1 ⊂ E2 ⊂ F ⇒ Gal(F/E2 ) < Gal(F/E1 ).

Notar que vale F ⟨id⟩ = F y Gal(F/F ) = ⟨id⟩.

Proposición 3.23. Si F/K es una extensión de Galois y E es un cuerpo intermedio, entonces F/E es de
Galois.
Dem. Esto se deduce directamente de la observación 3.8, dado que en el teorema 3.17 vimos que una
extensión es de Galois si y solo si es normal.
Teorema 3.24. Sea F/K una extensión de Galois. Entonces:
1. Las correspondencias entre la familia de subgrupos de Gal(F/K) y la familia de cuerpos intermedios
entre F y K, definidas por H 7→ F H y E 7→ Gal(F/E), son inversas una de la otra.

2. Si H1 ⊂ H2 son subgrupos de Gal(F/K), entonces [H2 : H1 ] = F H1 : F H2 .

 

3. Si E ⊃ L son cuerpos intermedios, entonces [E : L] = [Gal(F/L) : Gal(F/E)].

Dem. (1). Si H es un subgrupo de Gal(F/K), entonces el teorema de Artin implica Gal F/F H = H.

Recı́procamente, si E es un cuerpo intermedio, entonces F/E es de Galois y por lo tanto E = F Gal(F/E) .

(2). El teorema de Artin implica F : F H1 = |H1 | y F : F H2 = |H2 |. Además abemos que vale
   

F : F H2 = F : F H1 F H1 : F H2 .
    
|H2 | = [H2 : H1 ]|H1 |;

Luego
F : F H2
 
|H2 |  H1 H2

[H2 : H1 ] = = H
= F : F .
|H1 | [F : F 1 ]
(3). Si E ⊃ L son cuerpos intermedios, entonces existen H1 < H2 subgrupos de Gal(F/K) tales que
E = F H1 yL = F H2 . Notar que esto último implica H1 = Gal(F/E) y H2 = Gal(F/L). Luego [E : L] =
F : F H2 = [H2 : H1 ] = [Gal(F/L) : Gal(F/E)].
H 1

El próximo resultado lo necesitamos para probar el teorema que le sigue, pero es de interés en sı́ mismo.
Proposición 3.25. Sea F/K una extensión. Si E es un cuerpo intermedio entre F y K, y σ ∈ Gal(F/K),
entonces
Gal F/σ(E) = σGal(F/E)σ −1 .

Dem. Sean E un cuerpo intermedio entre F y K, y σ ∈ Gal(F/K). Consideremos α ∈ Gal(F/E) y u ∈ σ(E),

arbitrarios. Sea u = σ(v), con v ∈ E. Entonces

σασ −1 (u) = σασ −1 σ(v) = σα(v) = σ(v) = u.

Luego probamos σGal(F/E)σ −1 ⊂ Gal F/σ(E) , para todo cuerpo intermedio E y todo σ ∈ Gal(F/K).

Entonces, dados
E y σ, aplicando esa fórmula al cuerpo σ(E) y al morfismo σ −1 , obtenemos la inclusión
σ Gal F/σ(E) σ ⊂ Gal(F/E). Esto implica Gal F/σ(E) ⊂ σGal(F/E)σ −1 , y completa la prueba.
−1

29
Teorema 3.26. Sea F/K una extensión de Galois y E un cuerpo intermedio. Entonces E/K es de Galois
si y solo si Gal(F/E) es un subgrupo normal de Gal(F/K). En ese caso el morfismo restricción

Gal(F/K) → Gal(E/K)
σ 7→ σ|E

induce un isomorfismo Gal(F/K)/Gal(F/E) ≃ Gal(E/K).

Dem. Sea E un cuerpo intermedio. Recordar que ya vimos que F/E es de Galois.

Supongamos que E/K es de Galois. Queremos probar que vale

σGal(F/E)σ −1 = Gal(F/E), ∀σ ∈ Gal(F/K).

Por la proposición 3.25, lo anterior equivale a probar

Gal F/σ(E) = Gal(F/E), ∀σ ∈ Gal(F/K). (5)

Sea σ ∈ Gal(F/K). Como E/K es normal y σ|E : E → F ,→ C es un K-morfismo, entonces la proposición

3.9 implica σ(E) = E. Luego es σ(E) = E, para todo σ ∈ Gal(F/K), lo cual implica directamente (5).

Supongamos ahora que Gal(F/E) es un subgrupo normal de Gal(F/K). Sea σ ∈ Gal(F/K). La nor-
malidad de
Gal(F/E) implica σGal(F/E)σ −1 = Gal(F/E), lo cual, por la proposición 3.25, equivale a
Gal F/σ(E) = Gal(F/E). Pero como F/K es de Galois, esto implica σ(E) = E (aplicando la primera
parte del teorema 3.24). Luego vale σ(E) = E, para todo σ ∈ Gal(F/K) y por lo tanto tiene sentido definir
Φ : Gal(F/K) → Gal(E/K) mediante Φ(σ) = σ|E . Notar que claramente Φ es un morfismo de grupos.
El núcleo de Φ es Gal(F/E), luego el primer teorema de isomorfismo implica que Φ induce un morfismo
inyectivo Φ̂ : Gal(F/K)/Gal(F/E) → Gal(E/K). Probaremos que Φ̂ es un isomorfismo.

Como Φ̂ es inyectivo, entonces [Gal(F/K) : Gal(F/E)] ≤ |Gal(E/K)|. Por otro lado, la tercera parte del
teorema 3.24 implica [Gal(F/K) : Gal(F/E)] = [E : K]. Luego [E : K] ≤ |Gal(E/K)|. Pero como E/K
es finita sabemos que vale |Gal(E/K)| ≤ [E : K] (teorema 3.2) y por lo tanto es |Gal(E/K)| = [E : K].
Luego Φ̂ es un morfismo inyectivo entre dos grupos finitos del mismo orden y por lo tanto es un isomorfismo.
Además probamos que vale |Gal(E/K)| = [E : K], luego E/K es de Galois por el teorema 3.17.

En resumen, juntando la proposición 3.23 y los teoremas 3.24 y 3.26, obtenemos el siguiente resultado.

Teorema 3.27 (Teorema fundamental). Sea F/K una extensión de Galois. Entonces:

1. Las correspondencias entre la familia de subgrupos de Gal(F/K) y la familia de cuerpos intermedios

entre F y K, definidas por H 7→ F H y E 7→ Gal(F/E), son inversas una de la otra.

2. Si H1 ⊂ H2 son subgrupos de Gal(F/K), entonces [H2 : H1 ] = F H1 : F H2 .

 

3. Si E ⊃ L son cuerpos intermedios, entonces [E : L] = [Gal(F/L) : Gal(F/E)].

4. Si E es un cuerpo intermedio, entonces F/E es de Galois. La extensión E/K es de Galois si y solo

si Gal(F/E) es un subgrupo normal de Gal(F/K). En ese caso el morfismo restricción

Gal(F/K) → Gal(E/K)
σ 7→ σ|E

induce un isomorfismo Gal(F/K)/Gal(F/E) ≃ Gal(E/K).

30
El siguiente resultado es un corolario del teorema fundamental que resulta útil para hacer cálculos.

Proposición 3.28. Sea F/K una extensión de Galois con grupo de Galois G. Sean E, L cuerpos intermedios
y H, J subgrupos de G. Vale:

1. F H∩J = F H F J y F H ∩ F J = F H∨J .

2. GalFEL = Gal(F/E) ∩ Gal(F/L) y GalFE∩L = Gal(F/E) ∨ Gal(F/L).

Además, si H o G es normal en G, entonces F H ∩ F J = F HJ ; equivalentemente, si E/K o L/K es de

Galois, entonces GalFE∩L = Gal(F/E) · Gal(F/L).

Dem. La tesis se deduce de que la correspondencia de Galois establece una biyección monótona decreciente
entre el retı́culo de los cuerpos intermedios entre F y K, y el de los subgrupos de G. Luego lleva ı́nfimos en
supremos y supremos en ı́nfimos. La última afirmación es porque si H ◁G o J ◁G, entonces H ∨J = HJ.

3.6. El grupo de Galois de un polinomio

El grupo de Galois de f ∈ K[X] es Gal(F/K), siendo F el cuerpo de descomposición de f sobre K.

Dado f ∈ K[X], decimos que la ecuación f (x) = 0 es soluble por radicales si existe una torre de extensiones

K = K0 ⊂ K1 ⊂ · · · ⊂ Km ,

tal que:

1. Para cada i = 1, . . . , m, es Ki = Ki−1 (vi ), siendo vi tal que vimi ∈ Ki−1 , para algún mi ≥ 1.

2. El cuerpo Km contiene un cuerpo de descomposición de f .

Un grupo G se dice soluble si existe una torre de subgrupos

{e} = G0 ⊂ G1 ⊂ · · · ⊂ Gn = G

tal que Gi−1 ◁ Gi y Gi /Gi−1 es abeliano, para todo i = 1, . . . , n.

Vale el siguiente resultado.

Teorema 3.29 (Galois, 1832). Dado f ∈ K[X], la ecuación f (x) = 0 es soluble por radicales si y solo si el
grupo de Galois de f es soluble.

Si el grado de f ∈ K[X] es menor o igual que 4, entonces su grupo de Galois es soluble y se puede encontrar
una fórmula para obtener las raı́ces de f a partir de sus coeficientes (como en el caso de la ecuación de
segundo grado). Pero si consideramos f = X 5 − 4X + 2 ∈ Q[X], entonces se prueba que el grupo de Galois
de f es S5 . Este grupo no es soluble (si no el grupo alternado A5 serı́a soluble y eso es imposible porque es
simple y no abeliano). Luego la ecuación X 5 − 4X + 2 = 0 no es soluble por radicales8 .
8
Que la ecuación de grado mayor o igual que cinco no es soluble por radicales fue probado por P. Ruffini en 1799, pero la
prueba tenı́a errores. El primero en probarlo correctamente fue N. Abel en 1824 y se lo conoce como el teorema de Abel-Ruffini.

31
3.7. Ejemplos
√ √

Ejemplo 3.30. Consideremos la extensión Q 2, 3 /Q.
√ √

Notar que F = Q 2, 3 es el cuerpo de descomposición de X 2 − 2 X 2 − 3 ∈ Q[X], luego F/Q es



√
√

de Galois. Vamos a hallar [F : Q]. Consideremos la torre Q ⊂ Q 2 ⊂ F . Es IrrQ 2 = X 2 − 2, luego
 √
√
√ √ √

3 = X 2 −3 y es un ejercicio el verificar que 3 ∈


Q 2 : Q = 2. Es IrrQ / Q 2 ; luego IrrQ(√2) 3 =
√
2
 √
  √
  √

IrrQ 3 = X − 3 y por lo tanto F : Q 2 = 2. Luego [F : Q] = F : Q 2 Q 2 : Q = 4.

Sea G = Gal(F/Q).
√
√
F/Q es de Galois, es |G| = [F : Q] = 4; luego G = C4 o G = C2 × C2 .
Como
Como Q 2 y Q 3 son dos cuerpos intermedios, entonces G tiene al menos dos subgrupos propios.
Como C4 tiene solo un subgrupo propio, deducimos que es G = C2 × C2 .

Vamos a √ hallar

los elementos de√G.
Aplicando
√ la proposición
√
√ 2.35 sabemos que existen
√ dos

Q-morfismos
√

σ, τ : Q 2 → F tales que σ 2 = 2 y τ √
2 = − 2. Notar que vale IrrQ( 2) 3 = IrrQ 3 =
2
X − 3, y que este√
polinomio queda fijo al aplicarle σ o τ . Ahora√aplicando
√ la proposición 2.37 podemos
extender σ : Q 2 → F a dos morfismos en G caracterizados por 3 7→ ± 3. Uno de ellos es la identidad
√
√ √
√
y el otro es un morfismo α ∈ G que verifica α 2 = 2 y α 3 = − 3.
√

Razonando análogamente con τ : Q 2 → F obtenemos dos morfismos β, γ ∈ G tales que
√  √ √  √ √  √ √  √
β 2 = − 2, β 3 = 3, γ 2 = − 2, γ 3 = − 3.

Luego G = {id, α, β, γ}. Notar que vale que α2 = β 2 = id y αβ = βα = γ, lo cual confirma G = C2 × C2 .

 √ √
 √
Vanos a hallar una base de F como Q-espacio. Como 1, 2 es una base de Q 2 sobre Q y 1, 3
√
 √ √ √
es una base de F sobre Q 2 , entonces B = 1, 2, 3, 6 es una base de F sobre Q. En la base B los
morfismos α, β, γ se expresan mediante:
 √ √ √  √ √ √
α a + b 2 + c 3 + d 6 = a + b 2 − c 3 − d 6,
 √ √ √  √ √ √
β a + b 2 + c 3 + d 6 = a − b 2 + c 3 − d 6,
 √ √ √  √ √ √
γ a + b 2 + c 3 + d 6 = a − b 2 − c 3 + d 6,

para todo a, b, c, d ∈ Q.

A continuación vamos a hallar todos los cuerpos intermedios entre Q y F . Los subgrupos propios de G son
⟨α⟩, ⟨β⟩ y ⟨γ⟩. Luego usando las fórmulas de arriba deducimos que los cuerpos intermedios entre F y Q son
√  √  √ 
F ⟨α⟩ = Q 2 , F ⟨β⟩ = Q 3 , F ⟨γ⟩ = Q 6 .

En conclusión la correspondencia de Galois es la siguiente

√ √

F = Q 2, 3 ⟨id⟩
2 2 2 2
2 2
√
√
√

Q 2 Q 6 Q 3 ks +3 ⟨α⟩ ⟨γ⟩ ⟨β⟩
2 2
2 2 2 2
Q G

32
 √ √
En este caso hay√una √ forma alternativa para encontrar el grupo de Galois. Si escribimos u = 3 + 2 ∈ F ,
entonces u−1 = 3 − 2 ∈ F . Usando esto se deduce que es F = Q(u). √ El √ polinomio irreducible de u sobre
4 2
Q es IrrQ (u) = X − 10X + 1 (ejemplo 2.16), que tiene raı́ces ± 3 ± 2 ∈ F . Luego F es el cuerpo de
descomposición de X 4 −10X 2 +1 ∈ Q[X]; por lo tanto F/Q es de Galois y |G| = [Q(u) : Q] = gr IrrQ (u) = 4.
Las raı́ces de X 4 − 10X 2 + 1 se pueden describir en función de u mediante
√ √ √ √ √ √ √ √
u = 3 + 2, u−1 = 3 − 2, −u = − 3 − 2, −u−1 = − 3 + 2.

Luego aplicando la proposición 2.35 deducimos G = {σ1 , σ2 , σ3 , σ4 }, quedando estos morfismos determina-
dos por
σ1 (u) = u, σ2 (u) = u−1 , σ3 (u) = −u, σ4 (u) = −u−1 .
Notar que si comparamos con lo que hicimos al principio, obtenemos σ1 = id, σ2 = β, σ3 = γ y σ4 = α.
√
Ejemplo 3.31. Consideremos el polinomio X 4 − 2 ∈ Q[X]. Sus raı́ces son ±u y ±iu, siendo u = 4 2. Luego√
su cuerpo de descomposición es F = Q(u, i). Consideremos la extensión F/Q, siendo F = Q (u, i) y u = 4 2.

Sea G = Gal(F/Q). Observar que es IrrQ (u) = X 4 − 2 y IrrQ (i) = X 2 + 1. Como i ∈ / Q(u), entonces
IrrQ(u) (i) = IrrQ (i) = X 2 + 1. En base a lo anterior, considerando la torre F = Q(u, i) ⊃ Q(u) ⊃ Q,
deducimos |G| = [F : Q] = 8. Ahora de las extensiones intermedias Q(u) y Q(i) obtenemos

F = Q(u, i) ⟨id⟩
2 4 2 4

Q(u) Q(i) +3 H J

4 2 4 2
Q G

siendo H = Gal (F/Q(u)) y J = Gal (F/Q(i)). Notar que |H| = 2, |J| = 4 y [G : J] = 2, luego J ◁ G.
Además de Q(u)Q(i) = F y Q(u) ∩ Q(i) = Q, deducimos H ∩ J = ⟨id⟩ y G = HJ.
La normalidad de J refleja que Q(i)/Q es de Galois. Por otro lado IrrQ (u) = X 4 − 2 tiene raı́ces ±u y ±iu,
de las cuales solo ±u ∈ Q(u). Esto implica que Q(u)/Q no es de Galois (teorema 3.17) y por lo tanto H no
es normal en G. Esto muestra que G = HJ no es abeliano y al tener orden 8 es el diedral D4 o los cuaternios
Q. Los cuaternios no puede ser porque todos sus subgrupos son normales y H no es normal en G, luego
G = D4 . A continuación vamos a hallar todos los elementos de G.

Consideremos H = Gal (F/Q(u)). Sabemos |H| = 2, luego H = {id, τ }. Como i ∈ / Q(u), entonces IrrQ(u) (i) =
2
X + 1 que tiene raı́ces ±i; luego τ queda caracterizado por τ (u) = u y τ (i) = −i.

Consideremos J = Gal (F/Q(i)). Sabemos |J| = 4, luego gr IrrQ(i) (u) = 4 y por lo tanto IrrQ(i) (u) = X 4 − 2.
Las raı́ces de X 4 − 2 son ±u y ±ui que están en F , luego J = {σ1 , σ2 , σ3 , σ4 }, estando estos automorfismos
de F determinados por σl (i) = i, para todo l = 1, 2, 3, 4, y

σ1 (u) = u, σ2 (u) = ui, σ3 (u) = −u, σ4 (u) = −ui.

Notar que σ1 = id, σ3 = σ22 y σ4 = σ23 , luego llamando σ = σ2 , es J = ⟨σ⟩ = {id, σ, σ 2 , σ 3 } = C4 . Entonces

G = HJ = id, σ, σ 2 , σ 3 , τ, στ, σ 2 τ, σ 3 τ = ⟨τ, σ⟩,


τ (u) = u, τ (i) = −i, σ(u) = ui, σ(i) = i.

Observar que vale |τ | = 2, |σ| = 4, τ στ = σ 3 , lo cual caracteriza a D4 . Veremos ahora cómo obtener todos
los cuerpos intermedios entre F y Q.

33
La tabla de subgrupos de G es

⟨id⟩

⟨τ ⟩ ⟨σ 2 τ ⟩ ⟨σ 2 ⟩ ⟨στ ⟩ ⟨σ 3 τ ⟩

⟨σ 2 , τ ⟩ ⟨σ⟩ ⟨σ 2 , στ ⟩

G
En la tabla anterior, contando desde arriba, los subgrupos de la segunda fila tienen 2 elementos y los de la
tercera tienen 4. Explı́citamente los subgrupos de orden 4 son

⟨σ 2 , τ ⟩ = id, σ 2 , τ, σ 2 τ , ⟨σ⟩ = {id, σ, σ 2 , σ 3 }, ⟨σ 2 , στ ⟩ = id, σ 2 , στ, σ 3 τ .

 

Aplicando la correspondencia de Galois, obtenemos

2τ ⟩ 2⟩ 3τ ⟩
F ⟨τ ⟩ F ⟨σ F ⟨σ F ⟨στ ⟩ F ⟨σ

2 ,τ ⟩ 2 ,στ ⟩
F ⟨σ F ⟨σ⟩ F ⟨σ

La tabla siguiente describe los valores de los morfismos de G en los generadores i, u de F

σ σ2 σ3 τ στ σ 2 τ σ3τ
i i i i −i −i −i −i
u ui −u −ui u ui −u −ui

Vamos hallar cada uno de estos cuerpos. Sabemos F ⟨τ ⟩ = Q(u) y F ⟨σ⟩ = Q(i).
2 2
Es F ⟨σ
√
,τ ⟩ ⊂ F ⟨τ ⟩ = Q(u). Notar σ 2 (u) = −u, luego σ 2 (u2 ) = (−u)2 = u2 . Entonces u2 ∈ F ⟨σ ,τ ⟩ y además
2 2 2
u2 = 2 ∈ / Q. Esto implica Q ⊊ Q(u2 ) ⊂ F ⟨σ ,τ ⟩ y como es [F ⟨σ ,τ ⟩ : Q] = 2, deducimos F ⟨σ ,τ ⟩ = Q u2 .

2⟩ 2 ,τ ⟩
De ⟨σ 2 , τ ⟩ ∩ ⟨σ⟩ = ⟨σ 2 ⟩, se deduce F ⟨σ = F ⟨σ F ⟨σ⟩ = Q u2 Q (i) = Q u2 , i .

2 2
Es F ⟨σ ,στ ⟩ ⊂ F ⟨σ ⟩ =
Q u2 , i . Considerando la torre Q ⊂ Q(u2 ) ⊂ Q
u2 , i , obtenemos que {1, u2 , i, u2 i} es

una Q-base de Q u2 , i . Necesitamos encontrar un elemento de Q u2 , i que sea invariante por στ . No pueden
2
ser u2 ni i, porque Q(u2 ) = F ⟨σ ,τ ⟩ y Q(i) = F ⟨σ⟩ . Probamos con u2 i: στ (u2 i) = σ(−u2 i) = −(ui)2 i = u2 i.
2 2
Luego u2 i ∈ F ⟨σ ,στ ⟩ y razonando como antes obtenemos F ⟨σ ,στ ⟩ = Q(u2 i).
2τ ⟩ 2τ ⟩
Es σ 2 τ (ui) = σ 2 (−ui) = −(−ui) = ui. Luego Q(u2 ) ⊊ Q(ui) ⊂ F ⟨σ y como [F ⟨σ : Q(u2 )] = 2,
2
deducimos F ⟨σ τ ⟩ = Q (ui).

34
Considerando Q ⊂ Q(u) ⊂ Q(u, i) = F , obtenemos que el conjunto 1, u, u2 , u3 , i, ui, u2 i, u3 i es una base


de F como Q-espacio vectorial. Operando en esta base obtenemos F ⟨στ ⟩ = Q u(1 + i), u3 (1 − i), u2 i . Notar

(u(1 + i))2 = 2u2 i y (u(1 + i))3 = −2u3 (1 − i). Luego F ⟨στ ⟩ = Q u(1 + i) . Razonando análogamente se


3
obtiene F ⟨σ τ ⟩ = Q u(1 − i) .

Resumiendo, la tabla de cuerpos intermedios entre Q y F = Q(u, i) es

Q u2 , i




Q(u) Q (ui) Q u(i + 1) Q u(1 − i)

Q u2 Q u2 i



Q(i)

3.8. El grupo de Galois y la composición de cuerpos

Terminamos con un par de resultados que muestran cómo se relaciona el grupo de Galois con la composición
de cuerpos.

Proposición 3.32. Si F/K es una extensión de Galois y E/K es una extensión arbitraria, entonces F E/E
es de Galois y
Gal(F E/E) ≃ Gal(F/F ∩ E) < Gal(F/K).
Diagramáticamente,
FE
//

F E
//

F ∩E

K
Luego [F E : E] = [F : F ∩ E].

Dem. Notar que como F/K es de Galois y F ∩ E es un cuerpo intermedio, entonces F/F ∩ E es de Galois.
Al ser F/K de Galois, entonces F es el cuerpo de descomposición de un polinomio f ∈ K[X] y por lo tanto
F E es un cuerpo de descomposición del mismo polinomio f pensado en E[X]. Luego F E/E es de Galois.

Sea σ ∈ Gal (F E/E), probaremos que vale σ(F ) = F . Consideremos la restricción σ|E : E → EF ,→ C.
Como es σ|E = id, entonces σ|K = id, y al ser E/K normal, deducimos σ(F ) = σ|E (F ) = F . Notar
(σ|F ) |F ∩E = σ|F ∩E = id. Luego definimos Ψ : Gal(F E/E) → Gal(F/F ∩ E) por Ψ(σ) = σ|F . Es claro que
Ψ es un morfismo. En lo que sigue probaremos que Ψ es un isomorfismo.

35
Si σ ∈ Gal (F E/E) es tal que Ψ(σ) = id, entonces es σ|F = id y σ|E = id, luego σ = id (recordar la
observación 2.2). Esto nos dice que Ψ es inyectivo.
Sea H = Im(Ψ) < Gal(F/F ∩ E) y consideramos F H , que es un cuerpo intemedio entre F ∩ E y F . Sea
u ∈ F . Notar que vale

u ∈ FH ⇔ τ (u) = u, ∀τ ∈ H ⇔ σ(u) = u, ∀σ ∈ Gal(F E/E).

Como u ∈ F ⊂ F E y F E/E es de Galois, entonces la cuenta anterior implica u ∈ E, y por lo tanto

u ∈ F ∩ E. Luego F H = F ∩ E y por lo tanto H = Gal(F/F ∩ E). Esto prueba que Ψ es sobreyectivo y
completa la demostración.

Corolario 3.33. Si F/K es de Galois y E/K es arbitraria, entonces [F E : E] divide a [F : K].

Observación 3.34. Si F/K no es de Galois y E/K es arbitraria, entonces la afirmación del corolario
anterior no es necesariamente cierta, como lo muestra el siguiente ejemplo.

Ejemplo 3.35. Consideremos f = √ X 3 − 2 ∈ Q[X]. El polinomio f es irreducible en Q[X] y sus raı́ces son
√ √ √ √
√

3
2, w 3 2 y w2 3 2, siendo w = −1+i 3
. Consideremos E = Q 3 2 , F = Q w 3 2 y K = Q.
√ 2 √ √

El polinomio irreducible de w 3 2 sobre Q es f , luego [F : K] = 3. Por otro lado es F E = Q 3 2, w 3 2 . En
E[X] obtenemos la factorización
 √  √ √ 
X 3 − 2 = X − 2 X 2 + 2X + 4
3 3 3

√ √ √ √ √

Como las raı́ces de X 2 + 3 2X + 3 4 son w 3 2 y w2 3 2, y ninguna de estas está en E, deducimos IrrE w 3 2 =
√ √
X 2 + 3 2X + 3 4. Luego [F E : E] = 2 y por lo tanto [F E : E] no divide a [F : K].

Proposición 3.36. Sean E/K y F/K extensiones de Galois. Entonces.

1. La extensión EF/K es de Galois.

2. El mapa Φ : Gal(EF/K) → Gal(E/K) × Gal(F/K) definido por Φ(σ) = (σ|E , σ|F ) es un monomor-
fismo de grupos.

3. El morfismo Φ es un isomorfismo si y solo si E ∩ F = K.

Dem. (1). Como E/K y F/K son de Galois, entonces son normales y por lo tanto existen f, g ∈ K[X] tales
que E es el cuerpo de descomposición de f y F es el cuerpo de descomposición de g. Luego EF es el cuerpo
de descomposición de f g ∈ K[X] y por lo tanto EF/K es de Galois (por ser normal).

(2). Sea σ ∈ Gal(EF/K). El mapa σ|E : E → EF es un K-morfismo y como E/K es normal, entonces
σ|E (E) = E. Luego σ|E ∈ Gal(E/K) y análogamente σ|F ∈ Gal(F/K). Esto muestra que la definición de
Φ tene sentido. Es claro que Φ es morfismo. Si σ ∈ Ker (Φ), entonces σ|E = id y σ|F = id, esto implica que
σ : EF → EF es la identidad (recordar la observación 2.2). Luego Φ es inyectivo.

(3). Como Φ es inyectivo, entonces Φ es un isomorfismo si y solo si [EF : K] = [E : K][F : K]. Usando la
proposición anterior obtenemos [EF : K] = [EF : F ][F : K] = [E : E ∩F ][F : K]. Luego Φ es un isomorfismo
si y solo si [E : E ∩ F ] = [E : K], y al ser K ⊂ E ∩ F ⊂ E, esta última equivale a E ∩ F = K.

36
Referencias
[1] A. Gonçalves, Introduçao a álgebra, Projeto Euclides.

[2] T. W. Hungerford, Algebra, Springer-Verlag.

[3] S. Lang, Algebra, Addison-Wesley, 1993.

[4] J. S. Milne, Fields and Galois Theory. Se puede bajar de [Link]/math/.

[5] I. Stewart, Galois Theory. Second edition. Chapman and Halls Mathematics.

37