INSTITUTO POLITÉCNICO NACIONAL

ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS

UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.19

Temario

Álgebra Moderna III

Extensiones de Campos y Teorı́a de Galois

Capı́tulo 1

Extensiones de campos
1. La dimensión de un espacio vectorial
2. Extensiones de campos
3. Extensiones algebraicas
4. Extensiones normales
5. Extensiones separables, puramente inseparables y extensiones simples

Capı́tulo 2

Teorı́a de Galois finita

1. Extensiones de Galois
2. Teorı́a de Galois finita
3. Grupo de Galois de un polinomio
4. Campos finitos
5. Raı́ces de la unidad. Extensiones ciclotómicas
6. Extensiones cı́clicas
7. Extensiones radicales
8. Construcciones con regla compás
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.19

Bibliografı́a
[ 1 ] Hungerford, T. W., Algebra. Springer-Verlag, New York Inc., 1984.
[ 2 ] Lang, S., Algebra. Springer-Verlag, New York Inc., 2002.
[ 3 ] Mc Carty, P. J., Algebraic Extensions of Fields. Blaisdell, Waltham Mass, 1966.
[ 4 ] Vargas Mendoza, J. A., Álgebra Clásica. Publicaciones Electrónicas SMM, Serie Textos,
Vol. 7, 2006.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.19

Prerequisitos

1. Álgebra lineal
2. Teorı́a de grupos
3. Teorı́a de anillos
En especial las propiedades que tengas loa campos y el anillo de polinomios A[x], donde A
es un anillo conmutativo con identidad.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.19

Capı́tulo 1

Extensiones de campos

1. La dimensión de un espacio vectorial

Definción 1. Si K es un campo, un espacio vectorial sobre K es un conjunto no vacı́o V dotado de

una operación binaria + de V llamada suma, y un producto por escalar sobre K, K × V → V ,
(a, →
−
x ) 7→ λ→
−x , tales que (V, +) es grupo abeliano y se cumple que, para cada a, b ∈ K y para cada
→
− →
−
x, y ∈V,

(i) (a + b)→
−
x = a→
−
x + b→
−
x
(ii) a(→
−
x +→
−
y ) = a→
−
x + a→
−
y
(iii) (ab)→
−
x = a(b→
−
x)
(iv) 1→
−
x =→
−
x.

A los elementos de K se les llaman escalares y a los elementos de V vectores.

→
−
Denotamos por 0 al vector cero aditivo de V y, para cada →
−
x ∈ V , −→
−
x es el inverso aditivo de
→
−
x.

Proposición 2. Sea V un espacio vectorial sobre K. Entonces, para cada a ∈ K y para cada
→
−
x ∈V,
→
− →
−
(i) a→
−
x = 0 ⇔ a=0o→
−
x = 0
(ii) −a→
−
x = (−a)→
−
x = a(−→
−
x ).

Demostración. Ejercicio.

Ejemplos. 3
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.19

1. Sea F un subcampo de un campo K. Entonces, K tiene estructura natural de espacio vectorial

sobre F . En particular, K es un espacio vectorial sobre K mismo. Por ejemplo, C es un espacio
vectorial sobre R, y también lo es sobre C mismo.
2. Sea K un campo. El anillo K[x] de polinomios con coeficientes en K en la variable x, es un
espacio vectorial sobre K.
3. Sean n ∈ N y K un campo. Se denota por K n := {(a1 , . . . , an ) | ai ∈ K, para cada i =
1, . . . , n}. Con operaciones canónicas usuales, tenemos que K n es un espacio vectorial sobre
K.
4. Sea K un campo e I un conjunto no vacı́o. Denotamos por K I = {f : I → K | f (i) = 0 i∈
I}, el sı́mbolo se lee:“para casi todo salvo posiblemente una cantidad finita”. Con la suma
puntual de funciones de K I , y el producto por escalar af estándar, donde a ∈ K y f ∈ K I ,
tenemos que K I es un espacio vectorial sobre K.

Definición 4. Sea V un espacio vectorial sobre un campo K, y W un subconjunto de V no vacı́o.

Se dice que W es un subespacio de V , si las operaciones de suma y producto por escalar de V
inducidas en W , hacen de W un espacio vectorial sobre K.

Proposición 5. Sea W un subconjunto no vacı́o de un espacio vectorial V sobre K. Entonces,

W es un subespacio de V si, y solo si para cada a ∈ K y para cada →−x,→−
y ∈ W , se tiene que
→
− →
−
a x + y ∈ W.

Demostración. Ejercicio.

Proposición 6. Sea {Wi }i∈I \una familia arbitraria de subespacios de un espacio vectorial V sobre
K. Entonces, la intersección Wi es un subespacio de V .
i∈I

Demostración. Ejercicio

Definición 7. Sean S un subconjunto de un espacio vectorial V sobre un campo K, y U un

subespacio de V . El subespacio de V generado por S, denotado por LK {S}, o simplemente por
L{S} si no hay riesgo de confusión con respecto al campo de escalares K, se define como:
\
L{S} := W.
W subespacio de V
W ⊇S
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.19

Al conjunto S se le llama un conjunto de generadores del subespacio L{S}. Si U es tal que

U = L{S} entonces decimos que S es un conjunto de generadores de U o que S genera a U .
Y que U es finitamente generado (f.g.) si U = L{S} con S finito.
Si S es un conjunto finito, digamos que S = {→ −x 1, . . . , →
−
x n }, entonces expresamos L{→ −x 1, . . . , →
−
x n },
→
− →
− →
− →
− →
− →
−
en lugar de L{{ x 1 , . . . , x n }}. Si U = L{ x 1 , . . . , x n }, decimos que x 1 , . . . , x n generan a U .

Proposición 8. Sean S un subconjunto de un espacio vectorial V sobre un campo K, y U un

subespacio de V .
→
−
(i) L{∅} = L{ 0 }
(ii) S ⊆ L{S}
(iii) S ⊆ U ⇒ L{S} ⊆ U
 
X 
(iv) L{S} = →
− a→ →
− →
−
a→
−x x x ∈ K ∀ x ∈ S, pero a→
− y =0
− y ∈S
→− 
x ∈S

Definición 9. Sea S un subconjunto no vacı́o de un espacio vectorial V sobre un campo K.

(i) Una combinación lineal de vectores de S (sobre K) es cualquier suma

→
−
X
a→
x x
−
→
−
x ∈S

→
− →
−
x ∈ K, ∀ x ∈ S, pero a→
donde a→
− y = 0,
− y ∈ S.
(ii) El conjunto S es un conjunto linealmente
X independiente (l.i.) (sobre K) si para cualquier
combinación lineal de vectores de S, a→ →
−
x x , se cumple la implicación
−
→
−
x ∈S
X
→
− →
− →
−
x x = 0 ⇒ a→
a→
− x = 0 ∀ x ∈ S.
−
→
−
x ∈S

Si S no es un conjunto linealmente independiente, entonces decimos que S es linealmente

dependiente (l.d) (sobre K).
(iii) El conjunto S es una base de V (sobre K) si S es un conjunto l.i. que genera a V .

Observación 10.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.19

1. Por vacuidad y por la Definición 9, inciso (ii) y (iii), podemos considerar que el conjunto
→
−
vacı́o ∅ es base del espacio vectorial V = { 0 }.
2. Todo subconjunto de un conjunto l.i. S de un espacio vectorial V sobre K es l.i.

3. Si un subconjunto S de un espacio vectorial V sobre K admite un subconjunto l.d., entonces

S es l.d.
4. Todo subconjunto de un espacio vectorial V sobre K conteniento al vector cero, es un conjunto
l.d.
5. Todo vector de un espacio vectorial V sobre K se expresa de manera única como una com-
binación de vectores de una base B de V .

→
−
Teorema 11. Todo espacio vectorial V 6= { 0 } sobre un campo K admite una base.

Demostración. Sea F = {S ⊆ V | S 6= ∅ y S es un conjunto l.i de V }. Tenemos que F es no

vacı́o parcialmente ordenado por la relación de contención,
[ y satisface las condiciones del Lema de
Zorn. Pues si C es una cadena de F, entonces la unión C es un conjunto l.i. cota superior de
C∈C
C. Por lo tanto, F admite elementos maximales. Cualquier elemento maximal de F es una base de
V sobre K. 

Corolario 12. Sea V un espacio vectorial sobre un campo K teniendo una base finita B con n
vectores. Si S es un subconjunto de V tal que S ⊇ B y S contiene por lo menos n + 1 vectores,
entonces S es un conjunto l.d.

Demostración. Se sigue de que B es un conjunto maximal l.i. de V . 

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

Teorema 13. Sea K un campo. Todo espacio vectorial sobre un campo K teniendo una base finita
con n vectores (n ≥ 1) es tal que cualquier subconjunto con n + 1 vectores es l.d.

Demostración. La demostación es por inducción sobre n. Para n = 1, tenemos un espacio vectorial

sobre K teniendo una base {→ −
e 1 } con un vector. Tomamos un conjunto con dos vectores {→ −x 1, →
−
x 2 }.
→
− →
− →
− →
−
Suponemos que x 1 6= 0 6= x 2 (pues en caso contrario, el conjunto ya serı́a l.d.). Luego, x 1 =
a1 →
−
e1 y→−
x 2 = a2 →
−
e 2 con a1 6= 0 6= a2 . Entonces, → −
x 1 = a1 →
−
e 1 = a1 a−1 →
− →
− → −
2 x 2 . De aquı́ que, { x 1 , x 2 }
es l.d.
Suponemos cierta la firmación para n y lo demostraremos para n+1. Sea pues V un espacio vectorial
sobre K teniendo una base B = {→ −e 1, . . . , →
−
e n+1 } con n + 1 vectores. Sea S = {→−
x 1, . . . , →
−
x n+2 } un
conjunto con n + 2 vectores. Expresamos
→
−
x1 = a11 →
−
e1 + ··· + a1 →
−
e n+1
n+1
..
.
→
−
x n+2 = an+2 1 →
−
e1 + ··· + an+2 →
−
e n+1
n+1

Si ai n+1 = 0 para cada i = 1, . . . , n + 2, entonces tenemos que el conjunto S es un subconjunto

del espacio vectorial W = L{→
−e 1, . . . , →
−
e n } sobre K. Por hipótesis de inducción, tendremos que S
es un conjunto l.d.
Ası́ que supondremos que aj n+1 6= 0 para algún j ∈ {1, . . . , n + 2}. Sin pérdida de generalidad,
podemos suponer que an+2 n+1 6= 0. Consideremos los vectores
→
−
y1 := →
−
x 1 − a1 −1 →
−
n+1 an+2 n+1 x n+2
..
.
→
−y n+1 := → −x n+1 − a1 n+1 a−1 →
−
n+2 n+1 x n+2 .

Denotamos por T = {→ −y 1, . . . , →
−
y n+1 }. Si dos vectores de T son iguales, entonces S es un conjunto
l.d. Si T es un conjunto de n + 1, entonces T es un subconjunto de W que, por hipótesis de
inducción, T serı́a l.d. y, de aquı́ que, S será l.d.
En consecuencia, se cumple la afirmación para n + 1, y esto completa el proceso inductivo. Luego,
se tiene lo deseado. 

Corolario 14. (Invariancia de la dimensión en el caso finito) Si V es un espacio vectorial

sobre K teniendo una base con n vectores, entonces cualqier base de V consta de n vectores.

Demostración. Inmediato. 

Notación. Si A es un conjunto, denotamos por |A| o por card(A) a la cardinalidad o a la cantidad

de elementos que tiene el conjunto A.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

Teorema 15. (Invariancia de la dimensión) Sea V un espacio vectorial sobre un campo K.

Cualesquiera dos bases de V tienen la misma cardinatidad.

Demostración. Sean B1 y B2 dos bases de V . Si B1 o B2 es finita entonces, por el Corolario 14,

tenemos que ambas son finitas con la misma cantidad de vectores.
Por lo cual, suponemos que ambas son infintas. Cada vector →−e ∈ B1 lo expresamos como una
combinación lineal de vectores de la base B2 :
→
− →
− →−
X
e = a→
(e)  .
−
→
−
 ∈B2
→
−
Decimos que el vector →
− ∈ B aparece en el vector →
2
−
e ∈ B1 si a→ →
−
 ( e ) 6= 0 . Además, denotamos
−
→
− →
− →
−
 = { e ∈ B1 |  aparece en e }. Por independiencia lineal, tenemos que A→
por A→
− − 6= ∅ para
Y cada
→
− ∈ B . Por el Axioma de Elección, tomamos un elemento coordenado (→ −
e →
− )→
− ∈ A→
−
2   ∈B2 
→
−
 ∈B2
fijo.
Definimos ϕ : B2 → B1 dada por la correspondencia → − 7→ →−e→ . Se cumple que ϕ
− −1 →
({−
e }) es un
conjunto finito (posiblemente vacı́o). En particular, ϕ(B2 ) es un conjunto finito. De aquı́ que

ϕ−1 ({→
−
[
|B2 | = e }) (la unión es disjunta)
→
−
e ∈B1

|ϕ−1 ({→
−
X
= e })|
→
−
e ∈B1
X
≤ ℵ0
→
−
e ∈B1
= ℵ0 |B1 |
= |B1 |

Ası́ pues, tenemos que |B2 | ≤ |B1 |. Intercambiando los roles, tendremos que |B1 | ≤ |B2 |. Aplicando
el Teorema de Bernstein-Cantor, concluimos que |B1 | = |B2 |. 

Definición 16. Sea V un espacio vectorial sobre un campo K. Se define la dimensión de V

sobre K, denotado por dimK (V ), o simplemente por dim(V ) si no hay riesgo de confusión sobre
el campo de escalares K, como

dim(V ) = |B|,
donde B es cualesquier base de V .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

2. Resulatdos sobre el anillo de polinomios A[x]

Sea A un anillo y x una indeterminada. Un polinomio con coeficientes en A en la indeter-

minada x es una expresión formal de la forma

f (x) := a0 + a1 x + · · · + an xn ,
donde a0 , a1 , . . . , an ∈ A, para algún n ∈ N. Los elementos a0 , a1 , . . . , an son llamados coeficientes
del polinomio f (x); en particular, el coeficiente a0 es llamado el coeficiente independiente o
constante de f (x).
Al conjunto de los polinomios con coeficientes en A en la indeterminada x lo denotamos por A[x],
y siempre expresaremos: “sea f ∈ A[x] un polinomio” para establecer que f (x) := a0 + a1 x + · · · +
an xn , donde a0 , a1 , . . . , an ∈ A. Si a0 = a1 = · · · = an = 0, entonces decimos que f es el polinomio
cero, y escribimos que f = 0.
Si f 6= 0, entonces existe un i ∈ {0, 1, . . . , n} tal que ai 6= 0. Sin pérdida de generalidad, podemos
suponer que an 6= 0. Los coeficientes cero de f no se expresan. Y el coeficiente an es llamado el
coeficiente dominante o lı́der de f , y n es llamado el grado de f , denotado por deg(f ) o
gr(f ). No definimos grado para el polinomio cero.
Si el anillo A tiene identidad, y el coeficiente dominante de f es la identidad, entonces decimos que
el polinomio es mónico. Si n = 0, entonces decimos que el polinomio es un polinomio constante.

En A[x] definimos dos operaciones, una suma y un producto: Para cada f, g ∈ A[x], f (x) =
a0 + a1 x + · · · + an xn y g(x) = b0 + b1 x + · · · + bm xm

f (x) + g(x) := (a0 + b0 ) + (a1 + b1 )x + · · · + (al + bl )xl y

t
f (x)g(x) := c0 + c1 x + · · · + ct x ,
donde l = máx{n, m} y t = n + m con
i
X
ci = ak bi−k , i = 0, . . . , n + m.
k=0

A la suma y producto f (x) + g(x) y f (x)g(x), lo denotamos por f + g y f g, respectivamente.

Tenemos que con esta suma y producto de A[x], A[x] es un anillo donde el cero aditivo es el
polinomio cero, y para cada f (x) = a0 + a1 x + · · · + an xn , −f (x) = −a0 − a1 x − · · · − an xn . A[x]
es llamado el anillo de polinomios con coeficientes en A en la indeterminada x. Si A es
conmutativo (resp. tiene identidad; es dominio entero) entonces A[x] es conmutativo (resp. tiene
identidad, el cual es el poliniomio constante 1; es dominio entero).
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

Proposición 17. Sean A un anillo, y f, g ∈ A[x] polinomios no cero. Entonces,

(i) f g = 0 o deg(f g) ≤ deg(f ) + deg(g). La igualdad se cumple si A es un dominio entero.

(ii) f + g = 0 o deg(f + g) ≤ máx{deg(f ), deg(g)}

Demostración. Ejercicio

Sean A y B anillos tales que A es subanillo de B, y c ∈ B. Si f (x) = a0 + a1 x + · · · + an xn ∈ A[x],

entonces el elemento f (c) ∈ B definido por

f (c) = a0 + a1 c + · · · + an cn ,
es llamada la valuación de f (x) en c o la substitución de x por c en f (x). Si f (c) = 0,
entonces decimos c es raı́z de f (x).

Teorema 18. (Algoritmo de la división) Sean A un anillo conmutativo con identidad, y f, g ∈

A[x], con g 6= 0 y g teniendo coeficiene lı́der una unidad. Entonces, existen únicos polinomios
q, r ∈ A[x] tales que

f (x) = g(x)q(x) + r(x)

donde r = 0 o deg(r) < deg(g).

Demostración. Ejercicio

Los polinomio g y r del Teorema 18, son llamados el cociente y residuo de f y g.

Teorema 19. Si F es un campo, entonces el anillo F [x] es un dominio euclideano con función
grado.

Demostración. Ejercicio

Teorema 20. (Teorema del residuo) Sea A un anillo conmutativo con identidad. Si f ∈ A[x]
y a ∈ A, entonces existe único polinomio q ∈ A[x] tal que

f (x) = (x − a)q(x) + f (a).

Demostración. Ejercicio
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

Corolario 21. Sea A un anillo conmutativo con identidad. El polinomio f ∈ A[x] es divisible por
el polinomio x − a si, y solo si a es raı́z de f .

Demostración. Ejercicio

Teorema 22. Sean A un dominio entero y f ∈ A[x] un polinomio no constante de grado n ≥ 1.

Entonces, f tiene a lo más n raı́ces en A.

Demostración. Ejercicio

Corolario 23. Sean A un dominio entero, f, g ∈ A[x] polinomios no cero, ambos de grado n ≥ 1, y
a1 , . . . , an+1 ∈ A elementos distintos. Si f (ai ) = g(ai ) para cada i = 1, . . . , n + 1, entonces f = g.

Demostración. Ejercicio
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

Teorema 13. Sea K un campo. Todo espacio vectorial sobre un campo K teniendo una base finita
con n vectores (n ≥ 1) es tal que cualquier subconjunto con n + 1 vectores es l.d.

Demostración. La demostación es por inducción sobre n. Para n = 1, tenemos un espacio vectorial

sobre K teniendo una base {→ −
e 1 } con un vector. Tomamos un conjunto con dos vectores {→ −x 1, →
−
x 2 }.
→
− →
− →
− →
−
Suponemos que x 1 6= 0 6= x 2 (pues en caso contrario, el conjunto ya serı́a l.d.). Luego, x 1 =
a1 →
−
e1 y→−
x 2 = a2 →
−
e 2 con a1 6= 0 6= a2 . Entonces, → −
x 1 = a1 →
−
e 1 = a1 a−1 →
− →
− → −
2 x 2 . De aquı́ que, { x 1 , x 2 }
es l.d.
Suponemos cierta la firmación para n y lo demostraremos para n+1. Sea pues V un espacio vectorial
sobre K teniendo una base B = {→ −e 1, . . . , →
−
e n+1 } con n + 1 vectores. Sea S = {→−
x 1, . . . , →
−
x n+2 } un
conjunto con n + 2 vectores. Expresamos
→
−
x1 = a11 →
−
e1 + ··· + a1 →
−
e n+1
n+1
..
.
→
−
x n+2 = an+2 1 →
−
e1 + ··· + an+2 →
−
e n+1
n+1

Si ai n+1 = 0 para cada i = 1, . . . , n + 2, entonces tenemos que el conjunto S es un subconjunto

del espacio vectorial W = L{→
−e 1, . . . , →
−
e n } sobre K. Por hipótesis de inducción, tendremos que S
es un conjunto l.d.
Ası́ que supondremos que aj n+1 6= 0 para algún j ∈ {1, . . . , n + 2}. Sin pérdida de generalidad,
podemos suponer que an+2 n+1 6= 0. Consideremos los vectores
→
−
y1 := →
−
x 1 − a1 −1 →
−
n+1 an+2 n+1 x n+2
..
.
→
−y n+1 := → −x n+1 − a1 n+1 a−1 →
−
n+2 n+1 x n+2 .

Denotamos por T = {→ −y 1, . . . , →
−
y n+1 }. Si dos vectores de T son iguales, entonces S es un conjunto
l.d. Si T es un conjunto de n + 1, entonces T es un subconjunto de W que, por hipótesis de
inducción, T serı́a l.d. y, de aquı́ que, S será l.d.
En consecuencia, se cumple la afirmación para n + 1, y esto completa el proceso inductivo. Luego,
se tiene lo deseado. 

Corolario 14. (Invariancia de la dimensión en el caso finito) Si V es un espacio vectorial

sobre K teniendo una base con n vectores, entonces cualqier base de V consta de n vectores.

Demostración. Inmediato. 

Notación. Si A es un conjunto, denotamos por |A| o por card(A) a la cardinalidad o a la cantidad

de elementos que tiene el conjunto A.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

Teorema 15. (Invariancia de la dimensión) Sea V un espacio vectorial sobre un campo K.

Cualesquiera dos bases de V tienen la misma cardinatidad.

Demostración. Sean B1 y B2 dos bases de V . Si B1 o B2 es finita entonces, por el Corolario 14,

tenemos que ambas son finitas con la misma cantidad de vectores.
Por lo cual, suponemos que ambas son infintas. Cada vector →−e ∈ B1 lo expresamos como una
combinación lineal de vectores de la base B2 :
→
− →
− →−
X
e = a→
(e)  .
−
→
−
 ∈B2
→
−
Decimos que el vector →
− ∈ B aparece en el vector →
2
−
e ∈ B1 si a→ →
−
 ( e ) 6= 0 . Además, denotamos
−
→
− →
− →
−
 = { e ∈ B1 |  aparece en e }. Por independiencia lineal, tenemos que A→
por A→
− − 6= ∅ para
Y cada
→
− ∈ B . Por el Axioma de Elección, tomamos un elemento coordenado (→ −
e →
− )→
− ∈ A→
−
2   ∈B2 
→
−
 ∈B2
fijo.
Definimos ϕ : B2 → B1 dada por la correspondencia → − 7→ →−e→ . Se cumple que ϕ
− −1 →
({−
e }) es un
conjunto finito (posiblemente vacı́o). En particular, ϕ(B2 ) es un conjunto finito. De aquı́ que

ϕ−1 ({→
−
[
|B2 | = e }) (la unión es disjunta)
→
−
e ∈B1

|ϕ−1 ({→
−
X
= e })|
→
−
e ∈B1
X
≤ ℵ0
→
−
e ∈B1
= ℵ0 |B1 |
= |B1 |

Ası́ pues, tenemos que |B2 | ≤ |B1 |. Intercambiando los roles, tendremos que |B1 | ≤ |B2 |. Aplicando
el Teorema de Bernstein-Cantor, concluimos que |B1 | = |B2 |. 

Definición 16. Sea V un espacio vectorial sobre un campo K. Se define la dimensión de V

sobre K, denotado por dimK (V ), o simplemente por dim(V ) si no hay riesgo de confusión sobre
el campo de escalares K, como

dim(V ) = |B|,
donde B es cualesquier base de V .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

2. Resulatdos sobre el anillo de polinomios A[x]

Sea A un anillo y x una indeterminada. Un polinomio con coeficientes en A en la indeter-

minada x es una expresión formal de la forma

f (x) := a0 + a1 x + · · · + an xn ,
donde a0 , a1 , . . . , an ∈ A, para algún n ∈ N. Los elementos a0 , a1 , . . . , an son llamados coeficientes
del polinomio f (x); en particular, el coeficiente a0 es llamado el coeficiente independiente o
constante de f (x).
Al conjunto de los polinomios con coeficientes en A en la indeterminada x lo denotamos por A[x],
y siempre expresaremos: “sea f ∈ A[x] un polinomio” para establecer que f (x) := a0 + a1 x + · · · +
an xn , donde a0 , a1 , . . . , an ∈ A. Si a0 = a1 = · · · = an = 0, entonces decimos que f es el polinomio
cero, y escribimos que f = 0.
Si f 6= 0, entonces existe un i ∈ {0, 1, . . . , n} tal que ai 6= 0. Sin pérdida de generalidad, podemos
suponer que an 6= 0. Los coeficientes cero de f no se expresan. Y el coeficiente an es llamado el
coeficiente dominante o lı́der de f , y n es llamado el grado de f , denotado por deg(f ) o
gr(f ). No definimos grado para el polinomio cero.
Si el anillo A tiene identidad, y el coeficiente dominante de f es la identidad, entonces decimos que
el polinomio es mónico. Si n = 0, entonces decimos que el polinomio es un polinomio constante.

En A[x] definimos dos operaciones, una suma y un producto: Para cada f, g ∈ A[x], f (x) =
a0 + a1 x + · · · + an xn y g(x) = b0 + b1 x + · · · + bm xm

f (x) + g(x) := (a0 + b0 ) + (a1 + b1 )x + · · · + (al + bl )xl y

t
f (x)g(x) := c0 + c1 x + · · · + ct x ,
donde l = máx{n, m} y t = n + m con
i
X
ci = ak bi−k , i = 0, . . . , n + m.
k=0

A la suma y producto f (x) + g(x) y f (x)g(x), lo denotamos por f + g y f g, respectivamente.

Tenemos que con esta suma y producto de A[x], A[x] es un anillo donde el cero aditivo es el
polinomio cero, y para cada f (x) = a0 + a1 x + · · · + an xn , −f (x) = −a0 − a1 x − · · · − an xn . A[x]
es llamado el anillo de polinomios con coeficientes en A en la indeterminada x. Si A es
conmutativo (resp. tiene identidad; es dominio entero) entonces A[x] es conmutativo (resp. tiene
identidad, el cual es el poliniomio constante 1; es dominio entero).
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

Proposición 17. Sean A un anillo, y f, g ∈ A[x] polinomios no cero. Entonces,

(i) f g = 0 o deg(f g) ≤ deg(f ) + deg(g). La igualdad se cumple si A es un dominio entero.

(ii) f + g = 0 o deg(f + g) ≤ máx{deg(f ), deg(g)}

Demostración. Ejercicio

Sean A y B anillos tales que A es subanillo de B, y c ∈ B. Si f (x) = a0 + a1 x + · · · + an xn ∈ A[x],

entonces el elemento f (c) ∈ B definido por

f (c) = a0 + a1 c + · · · + an cn ,
es llamada la valuación de f (x) en c o la substitución de x por c en f (x). Si f (c) = 0,
entonces decimos c es raı́z de f (x).

Teorema 18. (Algoritmo de la división) Sean A un anillo conmutativo con identidad, y f, g ∈

A[x], con g 6= 0 y g teniendo coeficiene lı́der una unidad. Entonces, existen únicos polinomios
q, r ∈ A[x] tales que

f (x) = g(x)q(x) + r(x)

donde r = 0 o deg(r) < deg(g).

Demostración. Ejercicio

Los polinomio g y r del Teorema 18, son llamados el cociente y residuo de f y g.

Teorema 19. Si F es un campo, entonces el anillo F [x] es un dominio euclideano con función
grado.

Demostración. Ejercicio

Teorema 20. (Teorema del residuo) Sea A un anillo conmutativo con identidad. Si f ∈ A[x]
y a ∈ A, entonces existe único polinomio q ∈ A[x] tal que

f (x) = (x − a)q(x) + f (a).

Demostración. Ejercicio
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.23

Corolario 21. Sea A un anillo conmutativo con identidad. El polinomio f ∈ A[x] es divisible por
el polinomio x − a si, y solo si a es raı́z de f .

Demostración. Ejercicio

Teorema 22. Sean A un dominio entero y f ∈ A[x] un polinomio no constante de grado n ≥ 1.

Entonces, f tiene a lo más n raı́ces en A.

Demostración. Ejercicio

Corolario 23. Sean A un dominio entero, f, g ∈ A[x] polinomios no cero, ambos de grado n ≥ 1, y
a1 , . . . , an+1 ∈ A elementos distintos. Si f (ai ) = g(ai ) para cada i = 1, . . . , n + 1, entonces f = g.

Demostración. Ejercicio
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.26

Definición 24. Sean A un anillo conmutativo con identidad, f ∈ A[x] y c ∈ A. El elemento c es

raı́z de multiplicidad m si el polinomio (x − c)m divide a f pero el polinomio (x − c)m+1 ya no
lo divide, y m es llamada la multiplicidad de c en f .
Se m = 1, entonces decimos c es raı́z simple de f ; en caso contrario, decimos que c es raı́z
múltiple de f .

Definición 25. Sean A un dominio entero y f ∈ A[x] no constante. Se dice que f es un polinomio
irreducible en A[x], o irreducible en A, si f no se puede expresar como un producto de dos
polinomios de A[x] de grados positivos, es decir, si g, h ∈ A[x] son tales que f (x) = g(x)h(x),
entonces g o h es un polinomio constante.
En caso contrario, decimos que f es un polinomio reducible o no irreducible en A[x], o redu-
cible o no irreducible en A.

Definición 26. Sean A un dominio de factorización única (DFU), y f ∈ A[x] un polinomio no

constante, f (x) = a0 + a1 x + · · · + an xn (con an 6= 0). Se define el contenido de f , denotado por
c(f ) o cont(f ), como

c(f ) = mcd{a0 , a1 , . . . , an }.
Si el contenido c(f ) de f es una unidad, entonces decimos que el polinomio f es un polinomio
primitivo.

Observación 27. Si A es un DFU y f ∈ A[x] es un polinomio no constante, con f (x) = a0 + a1 x +

· · · + an xn , entonces f es un polinomio primitivo si, y solo si no existe un elemento irreducible del
anillo A tal que divida a cada uno de los coeficientes ai , para i = 0, . . . , n.

Proposición 28. Sean A un DFU y f ∈ A[x] es un polinomio no constante. Entonces, existe un

polinomio f1 ∈ A[x] no constante, primitivo y de grado igual al de f tal que

f (x) = c(f ) f1 (x).

Demostración. Ejercicio

Proposición 29. Sean A un DFU, K el campo de cocientes de A y f ∈ K[x] es un polinomio no

constante. Entonces, existen elementos a, b ∈ A, con b 6= 0, y f1 ∈ A[x] no constante, primitivo y
de grado igual al de f tal que
a
f (x) = f1 (x),
b
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.26

donde mcd{a, b} = 1.

Teorema 30. (Lema de Gauss) Sea A un DFU. Si f, g ∈ A[x] son polinomios no constantes
primitivos, entonces f g también es un polinomio primitivo.

Corolario 31. Sea A un DFU. Si f y g son polinomios no constantes de A[x], entonces existe una
unidad u de A tal que

c(f g) = u c(f ) c(g).

Teorema 32. (Lema de Gauss) Sea A un DFU, K el campo de cocientes de A y f ∈ A[x] un

polinomio no constante.

(i) Si f es un polinomio irreducible en K, entonces también lo es en A

(ii) Si f es un polinomio primitivo, entonces f es irreducible en A si, y solo lo es en K.

Demostración. Ejercicio

Teorema 33. (Criterio de Eisenstein) Sean A un DFU y f ∈ A[x] un polinomio no constante,

con f (x) = a0 + a1 x + · · · + an xn . Si existe un elemento primo p de A tal que p | ai para cada
i = 0, . . . , n − 1, p2 - a0 y p - an , entonces f es irreducible en K; si f es un polinomio primito,
entonces f es irreducible en A.

Demostración. Ejercicio

Teorema 34. Si A es un DFU, entonces el anillo de polinomios A[x] también lo es. En particular,
el anillo de polinomios A[x1 , . . . , xn ], en n indeterminadas, también es un DFU.

Demostración. Ejercicio

Teorema 35. Sea F un campo. Entonces,

(i) F [x] es un dominio de ideales principales (DIP)

(ii) Si f es un polinomio no constante de F [x], entonces las siguientes condiciones son equiva-
lentes
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.26

(a) f es irreducible en F
(b) El ideal hf i generado por f en F [x] es un ideal maximal de F [x]
(c) El anillo cociente F [x]/hf i es un campo.

(iii) F [x] es un DFU, es decir, todo polinomio no constante de F [x] se expresa de manera única,
salvo constantes, como un producto de polinomio irreducibles de F [x].

Demostración. Ejercicio

Sea F un campo y x una indeterminada sobre F . Puesto que F [x] es un dominio entero, tenemos
que el campo de cocientes de F [x] es el campo
 
f (x)
F (x) = f (x), g(x) ∈ F [x], con g(x) 6= 0
g(x)
el cual es llamado el campo de funciones racionales con coeficientes en F en la variable
x.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.30

3. Extensiones de campos

Definición 36. Sea F un subconjunto no vacı́o de un anillo E. Decimos que F es un subanillo

de E si las operaciones de E (de suma y producto) inducidas en F , haces de F un anillo. Cuando
esto ocurre, se dice que el anillo E es una extensión del anillo F , y se expresa bajo la notación
E/F . Además, si aplicamos esta definición al caso de que E sea campo, entonces decimos que F
es subcampo de E y que E es una extensión de campo sobre F .

Proposición 37. Sea F un subconjunto no vacı́o de un campo E. Entonces, F es subcampo de E

si, y solo si para cada a, b ∈ F , se tiene que a − b, ab ∈ F y a−1 ∈ F si a 6= 0.
Además, si E/F es una extensión de campos entonces, con las operaciones de suma y producto del
campo E, E es un espacio vectorial sobre el campo F .

Demostración. Ejercicio

Observación 38. La relación de “ser subcampo” es una relación transitiva.

Definición 39. Sea E/F una extensión de campos. La dimensión de E como espacio vectorial
sobre F es denotado por [E : F ], es decir, [E : F ] = dimF (E), y es llamado el grado de E sobre
F.
Si [E : F ] < ∞ entonces decimos que la extensión E/F es una extensión finita; en caso contrario,
decimos que la extensión E/F es infinita

Definición 40. Una torre o una cadena de campos es cualquier familia {Ei }i∈I de campos tal
que para cada i, j ∈ I se cumple que Ei ⊆ Ej o Ej ⊆ Ei ; y si Ei ⊆ Ej entonces Ei es subcampo de
Ej .
Si K ⊆ F ⊆ E es una torre de campos, entonces el campo F se dice ser un campo intermedio
de la extensión E/K.

Teorma 41. (Propiedad multiplicativa del grado) Sea K ⊆ F ⊆ E una torre de campos.
Entonces

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

Demostración. Sean {βj }j∈J y {αi }i∈I bases de E/F y F/K respectivamente, en donde [E :
F ] = |J| y [F : K] = |I|. Afirmamos que la familia {αi βj }(i,j)∈I×J es base de la extensión E/K.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.30

En efecto, sea x ∈ E. Entonces, de manera única expresamos a x como combinación lineal de la

base {βj }j∈J sobre F :
X
x= aj βj (aj ∈ F ∀ j ∈ J).
j∈J

Pero a cada aj ∈ F lo expresamos de manera única como una combinación lineal de la base {αi }i∈I
de F sobre K
X
aj = cij αi (cij ∈ K ∀ i ∈ I, ∀ j ∈ J).
i∈I

Ası́ que,
X
x= cij αi βj .
(i,j)∈I×J

En particular, si x = 0, tenemos que

!
X X
0= cij αi βj ,
j∈J i∈I

con lo cual
X
cij αi = 0 ∀ j ∈ J.
i∈I

Esto implica que cij = 0 para cada i ∈ I y para cada j ∈ J, donde

|{αi βj }(i,j)∈I×J | = |I × J| = |I| |J|.

Por lo tanto, {αi βj }(i,j)∈I×J es base de la extensión E/K, con

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


Proposición
\ 42. Sea {Fi }i∈I una familia de subcampos de un campo E. Entonces, la intersección
Fi es un subcampo de E.
i∈I

Demostración. Ejercicio
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.30

Sea S un subconjunto de un campo E. El subcampo (resp. subanillo) de E generado por S,

denotado por (S) (resp. [S]), como
 
\ \
(S) = K resp. [S] = A .
 
K subcampo de E A subanillo de E
K⊇S A⊇S

Si E/F es una extensión de campos, el subcampo (resp. subanillo) de E generado por S

sobre F es el subcampo (resp. subanillo) (F ∩ S) (resp. [F ∩ S]), y es denotado por F (S) (resp.
F [S]).
Si S es un conjunto finito, con S = {a1 , . . . , an }, entonces F (S) (resp. F [S]) se expresa como
F (a1 , . . . , an ) (resp. F [a1 , . . . , an ]).
Si E/F es una extensión de campos, decimos que la extensión E/F es finitamente generada
(f.g.) si existen elementos a1 , . . . , an ∈ E tales que E = F (a1 , . . . , an ). En particular, decimos que
la extensión E/F es simple si E = F (a) para algún elemento a ∈ E.

Observación 43. Sean E/F una extensión de campos, a1 , . . . , an ∈ E (n ∈ N), y σ ∈ Sn .

1. F (a1 , . . . , an ) = F (aσ(1) , . . . , aσ(n) )

2. F [a1 , . . . , an ] = F [aσ(1) , . . . , aσ(n) ]
3. F (a1 , . . . , an−1 )(an ) = F (a1 , . . . , an )
4. F [a1 , . . . , an−1 ][an ] = F [a1 , . . . , an ]

Teorema 44. Sean E/F una extensión de campos, a, a1 , . . . , an ∈ E (n ∈ N), y S ⊆ E. Entonces,

(i) F [a] = {f (a) | f (x) ∈ F [x]}

(ii) F [a1 , . . . , an ] = {f (a1 , . . . , an ) | f (x1 , . . . , xn ) ∈ F [x1 , . . . , xn ]}
(iii) F [S] = {f (u1 , . . . , un ) | f (x1 , . . . , xn ) ∈ F [x1 , . . . , xn ]; u1 , . . . , un ∈ S; n ∈ N}
 
f (a)
(iv) F (a) = f (x), g(x) ∈ F [x], g(a) 6= 0
g(a)

f (a1 , . . . , an )
(v) F (a1 , . . . , an ) = f (x1 , . . . , xn ), g(x1 , . . . , xn ) ∈ F [x1 , . . . , xn ],
g(a1 , . . . , an )
)
g(a1 , . . . , an ) 6= 0
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.08.30


f (u1 , . . . , un )
(vi) F (S) = f (x1 , . . . , xn ), g(x1 , . . . , xn ) ∈ F [x1 , . . . , xn ],
g(u1 , . . . , un )
)
g(u1 , . . . , un ) 6= 0; u1 , . . . , un ∈ S; n ∈ N .

Demostración. Ejercicio (Sugerencia: Basta con demostrar (vi) en detalle)

Definición 45. Sean F1 , . . . , Fn subcampos de un campo E. El subcampo de E generado por la

unión F1 ∪ · · · ∪ Fn es llamado el compuesto de los subcampos F1 , . . . , Fn , y es denotado por

F1 · · · Fn .

Notemos que en caso de dos subcampos F, K del campo E, el compuesto será

KF = F K = F (K) = K(F ).

Si F y E son dos campos y f : F → E es un homorfismo de campos (o lo que es lo mismo, de

anillo), entonces f debe de ser el homomorfismo trivial o debe de ser un monomorfismo. Si es un
monomorfismo, se debe de cumplir que f (1) = 1 y f (a−1 ) = f (a)−1 para cada a ∈ F , a 6= 0. Ası́
que, en estas condiciones, el campo E tiene un subcampo que es copia del campo F .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.02

4. Extensiones algebraicas

Definición 46. Sea E/F una extensión de campos y α ∈ E. Se dice que α es algebraico sobre F si
existe g(x) ∈ F [x], g(x) 6= 0, tal que g(α) = 0. En caso contrario, decimos que α es transcendente
sobre F .
La extensión E/F se dice que es algebraica si todo elemento de E es algebraico sobre F . En caso
contrario, decimos que E/F es transcendente.

Sea E/F una extensión y α ∈ E. Suponemos que α es algebraico sobre F . Sea g(x) ∈ F [x], g(x) 6= 0,
tal que g(α) = 0, y sea λ ∈ F el coeficiente lı́der de g(x), entonces h(x) = λ−1 g(x) ∈ F [x], h(x) 6= 0
y h(x) es mónico con h(α) = 0. Por lo cual, se puede elegir el único polinomio irreducible
f (x) ∈ F [x] que tiene la propiedad de ser el polinomio mónico, de menor grado y tal
que f (α) = 0.
Este polinomio es llamado el polinomio irreducible de α sobre F en la indeterminada x,
y es denotado por

f (x) = irr(α, F, x) o f = irr(α, F ).

El grado del polinomio irreducible f es referido como el grado de α sobre F .

Proposición 47. Sea E/F una extensión de campos y α ∈ E. Entonces, las siguientes condiciones
son equivalentes:
(i) α es algebraico sobre F
(ii) F (α) = F [α]
(iii) F (α)/F es una extensión finita.

Demostración. (i) ⇒ (ii): La función ϕ : F [x] → F [α] dada por ϕ(g(x)) = g(α), para cada
g(x) ∈ F [x], es un epimorfismo, con lo cual ϕ induce un isomorfismo

F [x]/ ker(ϕ) ∼
= F [α].
donde ker(ϕ) 6= h0i, pues α es algebraico sobre F , y ker(ϕ) 6= F [x]. Sea f (x) = irr(α, F, x),
Tenemos que hf (x)i ⊆ ker(ϕ) y, por maximalidad, necesariamente hf (x)i = ker(ϕ). De aquı́ que,
F [α] es un campo, con F [α] ⊆ F (α). Por lo tanto, F (α) = F [α].
(ii) ⇒ (iii): Notemos que el caso α = 0 es claro. Ası́ que, suponemos que α 6= 0. Como F [α] es
campo, tenemos que α−1 ∈ F [α]. Sean c0 , c1 , . . . .cm ∈ F tales que c0 + c1 α + · · · + cm αm = α−1 .
Entonces,
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.02

−1 + c0 α + c1 α2 + · · · + cm αm+1 = 0.
Luego, α es algebraico sobre F . Sea f (x) = irr(α, F, x), con n = deg(f ) ≥ 1. El conjunto B =
{1, α, . . . , αn−1 } es un conjunto de n elementos y es linealmente independiente sobre F . Además,
si β ∈ F (α) = F [α], entonces existe t(x) ∈ F [x] tal que β = t(α). Por el algoritmo de la división,
existen polinomios q, r ∈ F [x] tales que t(x) = f (x) q(x) + r(x) donde r(x) = 0 o deg(r) < deg(f ).
Luego, β = t(α) = f (α)q(α) + r(α) = r(α) ∈ L{1, α, . . . , αn−1 }. Por lo tanto, B es base de F (α)
sobre F .
En resumen, la extensión F (α)/F es extensión finita, [F (α) : F ] = n y {1, α, . . . , αn−1 } es base de
F (α) sobre F , donde n = deg(f ).
(iii) ⇒ (i): Si α = 0, entonces el resultado es inmediato. Suponemos que α 6= 0. Notemos que α es
algebraico sobre F si existen dos potencias αr y αs tales que αr = αs , con 0 < r < s, r, s ∈ N; ası́
que, también suponemos que esto no ocurre. Por hipótesis, {1, α, α2 , . . .} es un conjunto linealmente
dependiente, es decir, existe elementos b0 , b1 , . . . , bl ∈ F no todos cero tales que

b0 + b1 α + · · · + bl αl = 0.
Por lo tanto, α es algebraico sobre F . 

Proposición 48. Sean E/F una extensión de campos y S ⊆ E tal que E = F (S). Entonces,

(i) El conjunto L = {β ∈ E | β es algebraico sobre F } es un campo intermedio de la extensión

E/F
(ii) E/F es una extensión algebraica si, y solo si cada elemento de S es algebraico sobre F
(iii) E/F es finita si, y solo si E/F es algebraica y finitamente generada.

Demostración. (i): Sean α, β ∈ L. Entonces, α es algebraico sobre F (β) y β es algebraico sobre

F . Luego, las extensiones F (α, β)/F (β) y F (β)/F son finitas. Por la propiedad del producto de
grados, tenemos que la extensión F (α, β)/F es una extensión finita. Como α − β, αβ y α−1 (si
α 6= 0) pertenecen a F (α, β), se tiene que F (α − β)/F , F (αβ)/F y F (α−1 )/F son extensiones
finitas. De aquı́ que, α − β, αβ y α−1 son algebraicos sobre F , es decir, α − β, αβ y α−1 son
elementos de L. Ası́ que, L es un subcampo de E; como es claro que F ⊆ L, concluimos que L es
un campo intermedio de la extensión E/F .
(ii): ⇒c: Es inmediata.
⇐c: Tenemos que S ⊆ L y F ⊆ L, con lo cual E = F (S) ⊆ L ⊆ E, es decir, E = L.
(iii): ⇒c: Tenemos que para cada α ∈ E, F (α)/F es finita, es decir, α es algebraico sobre F . Ası́
que, E/F es una extensión algebraica y cada base de E sobre F (la cual es finita) genera a la
extensión E/F . Por lo tanto, E/F es algebraico y finitamente generada.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.02

⇐c: Expresamos E = F (α1 , . . . , αm ) para algunos α1 , . . . , αm algebraicos sobre F , donde αi

es algebraico sobre F (α1 , . . . , αi−1 ) para cada i = 2, . . . , m. Consideremos la torre de campos

F ⊆ F (α1 ) ⊆ F (α1 , α2 ) ⊆ · · · ⊆ F (α1 , . . . , αm−1 ) ⊆ F (α1 , . . . , αm ).

Luego,

[E : F ] = [F (α1 , . . . , αm ) : F (α1 , . . . , αm−1 )] · · · [F (α1 , α2 ) : F (α1 )] [F (α1 ) : F ] < ∞.

Por lo tanto, E/F es finita. 

El campo intermedio L de la extensión E/F de la Proposición 48, inciso (i), se llama cerradura
algebraica de F en E.

Proposición 49. Sean K ⊆ F ⊆ E una torre de campos, K la cerradura algebraica de K en F , y

α ∈ E. Entonces,

(i) Si α es algebraico sobre K entonces α es algebraico sobre K

(ii) Si α es algebraico sobre F y F/K es algebraica entonces α es algebraico sobre K.

Demostración. (ii) se sigue inmediatamente de (i). Probamos (i). Entonces, existen β0 , β1 , . . . , βr ∈

K, no todos cero, tales que

β0 + β1 α + · · · + βr αr = 0.
Lo que implica que α es algebraico sobre K(β0 , β1 , . . . , βr ). Por lo tanto,

[K(β0 , β1 , . . . , βr , α) : K] =

[K(β0 , β1 , . . . , βr , α) : K(β0 , β1 , . . . , βr )][K(β0 , β1 , . . . , βr ) : K]

<∞

Luego, la extensión K(α)/K es finita. Por lo tanto, α es algebraico sobre K. 

Sean F/K y E/K extensiones de campos tales F y E son subcampos de un campo L. La extensión
EF/F es llamada la translación de E por F
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.02

EF

Sea C una clase de extensiones de campos. Decimos que C es una clase distiguida si satisface las
siguientes condiciones:
(a) Sea K ⊆ F ⊆ E una torre de campos. Entonces, E/K ∈ C ⇔ E/F ∈ C & F/K ∈ C
(b) Sean E/K y F/K extensiones de campos tales F y E son subcampos de un campo común
L. Entonces, E/K ∈ C ⇒ EF/F ∈ C
(c) Sean E/K y F/K extensiones de campos tales F y E son subcampos de un campo común
L. Entonces, E/K ∈ C & F/K ∈ C ⇒ EF/K ∈ C.

L L

EF

E F EF

F E E F

K K K

(a) (b) (c)

Notar que (a) y (b) implican (c).

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.06

Proposición 50.

(i) La clase de extensiones finitas una clase distinguida

(ii) La clase de extensiones algebraicas es una clase distinguida.

Demostración. (i): La propiedad del inciso (a) de clase distinguida se sigue de la Propiedad del
Producto de Grados. Probemos (b). Sean E/K y F/K extensiones de campos tales F y E son
subcampos de un campo común L, y la extensión E/K es finita. Entonces, E/K es algebraica y
finitamente generada. Sean α1 , . . . , αm ∈ E tales que E = K(α1 , . . . , αm ). Tenemos que EF =
F (α1 , . . . , αm ) donde α1 , . . . , αm son algebraicos sobre F . Por lo tanto, la extensión EF/F es
algebraica y finitamente generada y, enconsecuencia, es finita.
(ii): Ejercicio 

Ejemplos 51.
√ √ √
1. Si p es un número primo, entonces p es algebraico sobre Q, irr( p, Q, x) = x2 − p, [Q( p) :
√ √
Q] = 2 y una base de Q( p)/Q es {1, p}.
√ √ √ √
2. Consideremos
√ el campo
√ Q( 2, 3). Entonces, se tiene que 3 ∈ / Q( 2),√ pues en caso con-
2 2
trario 3 = a + √b 2√con a, b ∈ Q, lo cual implicarı́a que 3 = a + 2ab 2 + 2b , pero esto
significarı́a que 2 o 3 serı́an números racionales, lo cual es una contradicción. Por lo tanto,
tenemos la torre de campos
√ √ √
Q $ Q( 2) $ Q( 2, 3),
√ √ √ √ √ √
donde
√ [Q(
√ √ 2, 3) : Q( 2)] [Q( 2) : Q] = 2 · 2 = 4. Ası́ que, una base de Q( 2, 3)/Q es
{1, 2, 3, 6}.
√ √ √ √ √ √
Sea α =√ 2 + 3 ∈ Q(√ 2, 3). Entonces Q(α) ⊆ Q( 2, 3), donde √ α∈ / Q. Tenemos que
α2 − 2α 2 + 2 = (α − 2)2 = 3, o equivalentemente α2 − 1 = 2α 2; luego, α4 − 2α2 + 1 =
(α2 − 1)2 = 8α2 , o lo que lo mismo α4 − 10α2 + 1 = 0. Esto implica que α es raı́z del
polinomio f (x) = x4 − 10x2 + 1 ∈ Q[x]. Si k = [Q(α)√: Q], tenemos que √ 2 ≤ k ≤ 4, con
k = 2 o k = 4; pero como α2 = 5 + 2 6, se tiene que 6 ∈ Q(α), donde
k | 4, es decir, √
el conjunto {1, 6, α} es linealmente independente
√ sobre
√ Q. De aquı́ que, [Q(α) : Q] = 4,
irr(α, Q, x) = f (x) = x4 − 10x2 + 1 y Q(α) = Q( 2, 3).

Se tiene, en un hecho general, que si {p1 , . . . , pn , q1 , . . . , qm } es un conjunto de m+n números

primos, entonces
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.06

√ √ √
q1 , . . . , q m ∈
/ Q( p1 , . . . , pn ).
√ √
Además, [Q( p1 , . . . , pn ) : Q] = 2n . En consecuencia, la extensión
√ √ √ √
Q( 2, 3, 5, 7, . . .)/Q

es infinita.
3. Sea F un campo y a ∈ F . Se tiene que la correspondencia g(x) 7→ g(x + a) determina in
isomorfismo de F [x] sobre F [x + a]. Ası́ que, g(x) es irreducible en F [x] si, y solo si g(x + a)
es irreducible en F [x + a]. Usando este hecho, sea p un número primo y consideremos el
polinomio

f (x) = xp−1 + xp−2 + · · · + x + 1 ∈ Q[x],

donde

xp − 1
f (x) = .
x−1
Luego

p  
(x + 1)p − 1 X p k−1
f (x + 1) = = x
x k
k=0
   
p p p−1 p
= x + x + ··· + xp−1 + p
1 p−2
 
p
donde p divide a para cada k = 1, . . . , p−2. Aplicando el Criterio de Eisenstein, tenemos
k
que el polinomio f (x + 1) es irreducible en Q[x + 1]; ası́ que, f (x) es irreducible en Q[x]. Pero
f (x) tiene por raı́z a ζ = e2πi/p ∈ C. Por lo tanto, ζ es algebraico sobre Q, f (x) = irr(ζ, Q, x),
[Q(ζ) : Q] = p − 1 y {1, ζ, . . . , ζ p−2 } es una base de la extensión Q(ζ)/Q.
√
4. Sean p un número primo y n ∈ N. Sea α = n p ∈ R, es decir, α es la raı́z n-ésima real de
p. Por el Criterio de Eisenstein, tenemos que f (x) = xn − p es irreducible en Q[x], donde
f (α) = 0. Por lo tanto, α es algebraico sobre Q, f (x) = irr(α, Q, x), [Q(α) : Q] = n y
{1, α, . . . , αn−1 } es una base de la extensión Q(α)/Q.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.06

5. Los números reales π y e son transcendentes sobre Q.

6. Si F es un campo y x es una indeterminada sobre F , entonces x es transcendente sobre F y
la extensión F (x)/F es una extensión infinita.

Nota. Sea ϕ : F → E un isomorfismo de campos. Entonces, ϕ induce el siguiente isomorfismo

F [x] → E[x]

f (x) = a0 + a1 x + · · · + am xm 7→ f ϕ (x) := ϕ(a0 ) + ϕ(a1 )x + · · · + ϕ(am )xm

y, a su vez, este induce el isomorfismo

F (x) → E(x)

f (x) f ϕ (x)
7→
g(x) g ϕ (x)
Por notación, referiremos al polinomio f ϕ (x) simplemente conmo f ϕ .

Teorema 52. Sea F/K y E/L extensiones de campos, ϕ : K → L un isomorfismo de campos,

α ∈ F y β ∈ E. Suponemos que alguna de las siguientes condiciones se cumple:

(a) α es transcendente sobre K y β es transcendente sobre L

(b) α es raı́z del polinomio irreducible f ∈ K[x] y β es raı́z del polinomio irreducible f ϕ ∈ L[x].

Entonces ϕ se extiende a un isomorfismo de campos de F (α) sobre L(β) la cual mapea α en β.

Demostración. Supóngase se cumple (a). Entonces, la composición

' ' '
K(α) −−−→ K(x) −−−→ L(x) −−−→ L(β)

f (α) f (x) f ϕ (x) f ϕ (β)

7−→ 7−→ 7−→
g(α) g(x) g ϕ (x) g ϕ (β)
es un isomorfismo que extiende al isomorfismo ϕ y mapea α en β.
Si se cumple (b), la composición
' ' '
K(α) −−−→ K(x)/hf (x)i −−−→ L(x)/hf ϕ (x)i −−−→ L(β)

g(α) 7−→ g(x) + hf (x)i 7−→ g ϕ (x) + hf ϕ (x)i 7−→ g ϕ (β)

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.06

es un isomorfismo que extiende al isomorfismo ϕ y mapea α en β. 

Corolario 53. Sean E/F una extesnsión de campos y α ∈ E transcendente sobre F . Entonces,
existe un isomorfismo ψ de F (α) sobre F (x) tal que ψ(α) = x y ψ(a) = a para cada a ∈ F .

Demostración. Basta tomar ϕ = idF en el Teorema 52.

Corolario 54. Sean F/K y E/K extensiones de campos, y sean α ∈ F y β ∈ E algebraicos sobre
K. Entonces, las siguientes condiciones son equivalentes:

(i) irr(α, K, x) = irr(β, K, x)

(ii) Existe un isomorfismo ψ de K(α) sobre K(β) tal que ψ(α) = β y ψ(a) = a para cada a ∈ K.

Demostración. (i) ⇒ (ii): Se sigue del Teorema 52 al tomar ϕ = idK y f (x) = irr(α, K, x)
(ii) ⇒ (i): Sea f (x) = irr(α, K, x) y ϕ el isomorfismo de K(α) sobre K(β) establecido por hipótesis.
Expresamos

f (x) = a0 + a1 x + · · · + an−1 xn−1 + an xn ,

donde an = 1. Entonces,

n
X n
X n
X
f (β) = ak β k = ϕ(ak )ϕ(α)k = ϕ(ak αk )
k=0 k=0 k=0
n
!
X
= ϕ ak αk =0
k=0

Por lo tanto, f (x) = irr(β, K, x). 

Definición 55. Sean F/K y E/K extensiones de campos, y ϕ un monomorfismo de F sobre E

tal que ϕ(a) = a para cada a ∈ K, entonces decimos que ϕ es un K-monomorfismo. Si además,
ϕ es in isomorfismo, entonces decimos que ϕ es un K-isomorfismo; en particular, si F = E
entonces decimos que ϕ es un K-automorfismo.

Definición 56. Sean E/F una extensión de campos y α, β ∈ E algebraicos sobre F . Si α y β

tienen el mismo polinomio irreducible sobre F , entonces decimos que α y β son F -conjugados (o
simplemente conjugados).
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.09

Teorema 57. (Existencia de raı́ces de polinomios) Sean F un campo y f ∈ F [x] de grado

n ≥ 1. Entonces, existe una extensión simple F (α) de F tal que
(i) α es raı́z de f
(ii) [F (α) : F ] ≤ n
(iii) [F (α) : F ] = n si, y solo si f es irreducible sobre F
(iv) Si f es irreducible sobre F , entonces F (α) es único salvo F -isomorfismo.

Demostración. Sin pérdida de generalidad, podemos suponer que f es un polinomio irreducible

sobre F . Ası́ que, E = F [x]/hf (x)i es un campo. Sea π : F [x] → F [x]/hf (x)i el epimorfismo
canónico. Entonces, π|F : F → F [x]/hf (x)i es un monomorfismo. Ası́ que, el campo E contiene
una copia del campo F , exactamente este es π(F ) ∼
= F ; notar que

π(F ) = (F + hf (x)i)/hf (x)i ∼

= F.
Luego, el campo E puede ser considerado una extensión del campo F ; además, si el polinomio
f (x) = a0 + a1 x + · · · + an xn , f puede ser considerado en la forma

f π (Y ) = (a0 + hf (x)i) + (a1 + hf (x)i)Y + · · · + (an + hf (x)i)Y n ∈ π(F )[Y ],

bajo el monomorfismo π|F . Puesto que x ∈ F [x], sea α = π(x) = x + hf (x)i ∈ E. Tenemos que
π(F )(α) = E, es decir, la extensión E/π(F ) es una extensión simple generado por α.

π(F )(α) = F [x]/hf (x)i = E

'
F −−−−−→ π(F )
π|F

f (x) f π (Y )

Entonces

f π (α) = (a0 + hf (x)i) + (a1 + hf (x)i)α + · · · + (an + hf (x)i)αn

= (a0 + hf (x)i) + (a1 + hf (x)i)(x + hf (x)i) + · · · + (an + hf (x)i)(x + hf (x)i)n
= f (x) + hf (x)i
= hf (x)i
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.09

Es decir, f π (α) = 0. Esto prueba (i). (ii) y (iii) se sigue de la demostración de la Proposición 47,
y (iv) se sigue del Corolario 54. 

Corolario 58. Sean F un campo y f1 , . . . , fn ∈ F [x] polinomios de grados ≥ 1. Entonces, existe

una extensión finita de campos E/F en el cual cada fi , 1 ≤ i ≤ n, contiene una raı́z en E.

Demostración. La demostración es por inducción sobre n. Para n = 1 se sigue del Teorema

57. Lo suponemos para n y lo probamos para n + 1. Sea E1 /F una extensión finita tal que cada
polinomio fi , 1 ≤ i ≤ n, contiene una raı́z en E1 . Tenemos que el polinomio fn+1 es un polinomio
con coeficientes en E1 [x], por lo cual existe una extensión simple E( α)/E1 tal que fn+1 (α) = 0.
Si E = E1 (α), entonces la extensión E/F es una extensión finita tal que cada fi , 1 ≤ i ≤ n + 1,
contiene una raı́z en E. Esto completa el proceso inductivo. 

Definición 59. Un campo E se dice que es algebraicamente cerrado si cada polinomio con
coeficientes en E de grado ≥ 1 tiene una raı́z en E.

Si E es un campo algebraicamente cerrado y f ∈ E[x] es un polinomio de grado n ≥ 1, entonces

existen λ, β1 , . . . , βn ∈ E, no necesariamente distintos, tales que

f (x) = λ(x − β1 ) · · · (x − βn ),
donde λ es el coeficiente dominante de f y β1 , . . . , βn son las raı́ces de f . Si {β1 , . . . , βn } =
{α1 , . . . , αk }, donde α1 , . . . , αk son distintos entre sı́, entonces podemos expresar

f (x) = λ(x − α1 )m1 · · · (x − αk )mk ,

donde α1 , . . . , αk son exactamente las raı́ces distintas de f con multiplicidades m1 , . . . , mk , res-
pectivamente. Notemos que si los coeficientes de f pertenencen a un subcampo F de E, entonces
λ ∈ F.

Proposición 60. Sea E un campo. Las siguientes condiciones son equivalentes.

(i) E es algebraicamente cerrado

(ii) L/E algebraica ⇒ L = E

(iii) L/E finita ⇒ L = E
(iv) Todo polinomio irreducible de E[x] es de grado 0 o 1

(v) Todo polinomio de E[x] de grado ≥ 1 es un producto de polinomio lineales de E[x]

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.09

Demostración. Ejercicio.

Proposición 61. Todo campo algebraicamente cerrado es infinito.

Demostración. Ejercicio.

Teorema 62. (Artin) Para todo campo F existe un campo E algebraicamente cerrado el cual es
extensión de F .

Demostración. Ejercicio. (Ver la demostración en el libro Algebra de S. Lang, Springer-Verlag,

2002, Chapter V, Section 2, Theorem 2.5, Pag. 231.)

Corolario 63. Sea F un campo. Entonces, existe un campo E extensión de F tal que la extensión
E/F es algebraica y E es algebracamente cerrado.

Demostración. Por el Teorema 62, sea L/F una extensión de campos tal que L es algebraicamente
cerrado. Sea E la cerradura algebraica de F en L. Entonces E es un campo intermedio de la
extensión L/F , donde E/F es algebraica y E es un campo algebraicamente cerrado.

Definción 64. Sea F un campo. Una cerradura algebraica de F es cualquier campo E extensión
de F tal que E/F es algebraica, con E algebraicamente cerrado.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.13

Proposición 65. Sean E/F una extensión de campos, α ∈ E algebraico sobre F con f (x) =
irr(α, x, F ), y σ un homomorfismo de F en un campo algebraicamente cerrrado L. Sea t el número
de raı́ces distintas de f σ (x) ∈ σ(F )[x]. Entonces, σ admite exactamente t extensiones a homomor-
fismos de F (α) en L.

Demostración. Sean β1 , . . . , βt ∈ L las raı́ces distintas de f σ . Para cada i = 1, . . . , t, sea ψi :

F (α) → L dada por: Para cada g(α) ∈ F (α), con g(x) ∈ F [x],

ψi (g(α)) := g σ (βi ).
Tenemos que ψi está bien definida (no depende de la representación g(α) de cada elemento de F (α)),
es un homomorfismo de F (α) en L cuya restricción a F es σ. Ası́ que, tenemos t extensiones de σ
a homomorfismos de F (α) en L. Estas son las únicas, pues si ψ : F (α) → L es un homomorfismo
que extiende a σ, tenemos que ψ está completamente determinada por su acción sobre α. Pero

f σ (ψ(α)) = ψ(f (α)) = ψ(0) = 0,

es decir, ψ(α) es raı́z del polinomio f σ , es decir, ψ(α) = βj para algún j ∈ {1, . . . , t}. De aquı́ que,
para todo g(α) ∈ F (α), con g(x) ∈ F [x],

ψ(g(α)) = g σ (ψ(α)) = g σ (βj ) = ψj (g(α)),

es decir, ψ = ψj . 

Teorema 66. Sean E/F una extensión algebraica y σ un homomorfismo de F en un campo

algebraicamente cerrado L. Entonces,

(i) Existe una extensión ϕ de σ a un homomorfismo de E en L

(ii) Si, además, E es algebraicamente cerrado y L es algebraico sobre σ(F ), entonces ϕ es un
isomorfismo.

Demostración. (i): Sea F el conjunto de todas las parejas (K, ρ) tales que K es campo intermedio
de la extensión E/F , ρ es una extensión de σ a un homomorfismo de K en L. Tenemos, por la
Proposición 65, que F 6= ∅, y la relación (K, ρ) ≤ (K 0 , ρ0 ) definida bajo las condiciones de que K es
subcampo de K 0 y ρ0 |K = ρ, determina un orden parcial sobre el conjunto F. Además, F satisface
las condiciones del Lema de Zorn, por lo que el conjunto F admite elementos maximales. Si (T, ψ)
es un elemento maximal de F, tenemos que T = E (por la Proposición 65), con lo cual ψ es una
extensión de σ a un homomorfismo de E en L.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.13

(ii): Suponemos que E es algebraicamente cerrrado, L es algebraico sobre σ(F ), y ψ es un homor-

fismo de E en L extesnión de σ. Entonces, ψ(E) es algebraicamente cerrrado con L/ψ(E) extensión
algebraica. Esto implica que ψ(E) = L. Por lo tanto, ψ es un isomorfismo. 

Corolario 67. Sea F un campo. Entonces, cualesquiera dos cerraduras algebraicas de F son F -
isomorfas.

Demostración. Si E y E 0 son dos cerraduras algebraicas de F entonces basta aplicar el Teorema

66 al tomar σ = idF . 

Corolario 68. Sea E/F una extensión algebraica y F una cerradura algebraica de F que contiene
a E. Entonces, cualquier F -homomorfismo de E en F se extiende a un F -automorfismo de F .

Demostración. Ejercicio.

Teorema 69. Sea E/F una extensión algebraica. Si F es infinito, entonces |E| = |F |.

Demostración. Sea M el conjunto de todos los polinomios mónicos de F [x] de grado ≥ 1 y, para
cada n ∈ N, sean Mn = {f ∈ M | deg(f ) = n}. Puesto que cada polinomio de Mn es de la forma

a0 + a1 x + · · · + an−1 xn−1 + xn ,
donde a0 , . . . , an−1 ∈ F , tenemos que

|Mn | = |F × · · · × F | = |F | (n − factores).
También,

[
|M| = Mn (unión disjunta)
n∈N
X
= |F | = ℵ0 |F |
n∈N
= |F |.

Para cada f ∈ M, sea Rf el conjunto de

[raı́ces de f en E (posiblemente Rf sea vacı́o). Puesto que
E/F es algebraica, tenemos que E = Rf . De aquı́ que,
f ∈M
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.13

[ X
|F | ≤ |E| ≤ Rf ≤ |Rf |
f ∈M f ∈M
≤ ℵ0 |S| ≤ ℵ0 |F |
= |F |,
es decir, |E| = |F |. 

Ejemplos 70.
1. Sabemos que el campo C de los números complejos es un campo algebraicamente cerrado. Sea
Q la cerradura algebraica de Q en C. Tenemos que Q es un campo algebraicamente cerrado
y la extensión Q/Q es una extensión algebraica. Ası́ que, Q es una cerradura algebraica de
Q llamado el campo de los número algebraicos y es un campo númerable.
2. Sea E/F ua extensión de campos. Denotamos por Aut(E/F ) al conjunto de los F -automorfismo
de E. Entonces, Aut(E/F ) es un grupo bajo la composición.
3. Sean F/Q y E/Q dos extensiones de campos, y ϕ : F → E un homomorfismo no trivial.
Entonces, ϕ es un Q-homomorfismo.
4. Sea p un número primo. El polinomio f (x) = x2 − p ∈ Q[x] es un polinomio irreduci-
√
ble de Q por el Criterio de Eisenstein, que tiene por raı́z a p. Luego, necesariamente
√ √ √
f (x) = irr( p, Q, x). Ası́ que, Q( p)/Q es una extensión algebraica. Sea ϕ : Q( p) → C
un homomorfismo no trivial. Entonces, ϕ es un Q-homomorfismo que está completamente
√ √ √ √
determinado por su acción sobre p. Pero, como ϕ( p)2 = p, tenemos que ϕ( p) = ± p.
√ √ √
Luego, como Q( p) = Q(− p), se tiene que ϕ es un Q-automorfismo de Q( p). De aquı́
√ √ √
que, Aut(Q( p)/Q) ∼ = Z/2Z; en particular, |Aut(Q( p)/Q)| = 2 = [Q( p) : Q].
5. Sea p un número primo. El polinomio f (x) = x4 − p ∈ Q[x] es un polinomio irreducible de
√
Q por el Criterio de Eisenstein, que tiene por raı́z a 4 p, la raı́z cuarta real de p. Luego,
√ √
necesariamente f (x) = irr( 4 p, Q, x). Ası́ que, Q( 4 p)/Q es una extensión algebraica. Sea
√
ϕ un automorfismo de Q( 4 p). Entonces, ϕ es un Q-automorfismo que está completamente
√ √ √
determinado por su acción sobre 4 p. Pero, como ϕ( 4 p)4 = p, tenemos que ϕ( 4 p) es una
raı́z cuarta de p. Las raı́ces cuartas de p son:

√ √ √ √
4
p, − 4 p, i 4 p, −i 4 p.
√ √ √
Luego, necesariamente, ϕ( 4 p) = ± 4 p. De aquı́ que, Aut(Q( 4 p)/Q) ∼
= Z/2Z. Por lo tanto,
√ √
|Aut(Q( 4 p)/Q)| = 2 6= 4 = [Q( 4 p) : Q].
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
EJERCICIOS

TEORÍA DE CAMPOS Y TEORÍA DE GALOIS FINITA

(UNA INTRODUCCIÓN)

EJERCICIOS

LISTA 1

EXTENSIONES DE CAMPOS Y EXTENSIONES ALGEBRAICAS

1. Sea E/F una extensión de campos. Pruebe que

a) [E : F ] = 1 si, y sólo si E = F ;
b) Si [E : F ] es un número primo, entonces no existen subcampos intermedios en la exten-
sión E/F , salvo los triviales;
c) Si α ∈ E tiene grado n sobre F , entonces n divide a [E : F ].

a) De una extensión de campos que no sea finita;

b) De un ejemplo de un campo con un número finito de elementos.

2. Sean E/F una extensión de campos y α1 , . . . , αn ∈ E. Pruebe que F (α1 , . . . , αn ) es isomorfo

al campo de cocientes del anillo F [α1 , . . . , αn ].
3. Sean F y E subcampos del campo L. ¿Cuándo se cumple que EF = F ∪ E?
4. Sean E1 , . . . , En subcampos de un campo E. Pruebe que

E1 · · · En = E1 (E2 (· · · (En−1 (En )))).

5. Sean E/F una extensión de campos y α, β ∈ E. Pruebe que si β es algebraico sobre F (α),
donde β es transcendente sobre F , entonces α es algebraico sobre F (β).
6. Sean E/F una extensión de campos y α ∈ E algebraico de grado impar sobre F . Demuestre
que α2 es de grado impar sobre F , y que F (α) = F (α2 ).
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
EJERCICIOS

7. Sea E/F una extensión de campos, y suponga que f (x) = xn − a ∈ F [x] es irreducible, donde
α ∈ E es raı́z de f (x). Sea m ∈ N tal que m divide a n. Pruebe que el grado de αm sobre F
es n/m. ¿Cuál es el polinomio irreducible de αm sobre F ?
8. Sea E/F extensión algebraica. Demuestre que cada subanillo de E que contiene a F es un
campo. ¿Esto es verdad si la extensión E/F no es algebraica? Pruebe ó de un contraejemplo.
9. Sean E/F una extensión de campos, y α, β ∈ E algebraicos sobre F de grados n y m
respectivamente. Pruebe que [F (α, β) : F ] ≤ nm. Si n y m son primos relativos, entonces
[F (α, β) : F ] = nm.
10. Sean L, M subcampos intermedios de la extensión E/F . Pruebe lo siguiente:

a) [LM : F ] es finito si, y sólo si [L : F ] y [M : F ] son finitos;

b) [LM : F ] finito implica que [L : F ] y [M : F ] dividen a [LM : F ], y que [LM : F ] ≤ [L :
F ][M : F ];
c) Si [L : F ] y [M : F ] son finitos y primos relativos, entonces [LM : F ] = [L : F ][M : F ].
d ) Si [L : F ] y [M : F ] son finitos con [LM : F ] = [L : F ][M : F ], entonces L ∩ M = F .
e) Demuestre que la recı́ciproca de (d) es cierta si [L : F ] = 2 o [M : F ] = 2.
f ) Use una raı́z real y una raı́z cúbica no real de 2 para dar un ejemplo donde L ∩ M = F ,
[L : F ] = [M : F ] = 3 pero que [LM : F ] < 9.

11. Sea E = F (α) de grado cinco sobre F . Pruebe que E = F (α3 ).

12. Sean m, n ∈ N. Sean p1 , . . . , pn , q1 , . . . , qm , m + n números primos distintos. Pruebe que
√ √ √ √ √
/ Q( p1 , . . . , pn ) y que [Q( p1 , . . . , pn ) : Q] = 2n .
q1 · · · qm ∈
13. Sea F (x1 , . . . , xn ) el campo de funciones racionales sobre el campo F en las indeterminadas
x1 , . . . , xn . Pruebe que todo elemento de F (x1 , . . . , xn ) \ F es transcendente sobre F .
14. Sea F (x) el campo de funciones racionales en la indeterminada x sobre F . Sea y = f (x)/g(x)
elemento no cero de F (x) con (f (x), g(x)) = 1. Se define el grado de y como:
deg(y) = max{deg(f ), deg(g)}.
Pruebe lo siguiente:

a) F (x)/F (y) es una extensión finita de grado deg(y), siempre que deg(y) ≥ 1;
b) F (x) = F (y) si, y sólo si
ax + b
y=
cx + d
con ad − bc 6= 0.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
EJERCICIOS

15. Sean E/F una extensión de campos, x, y indeterminadas algebraicamente independientes

sobre F , es decir, no existe un polinomio no cero f (x1 , x2 ) ∈ F (x1 , x2 ) tal que f (x, y) = 0.
Encuentre dos elementos α, β ∈ E los cuales son transcendentes sobre F y tales que F (α, β) ∼ 6 =
F (x, y).
16. Sea F (x) el campo de funciones racionales sobre el campo F , y sea u = x3 /(x + 1). De-
muestre que F (x) es extensión simple de F (u). Calcule el grado [F (x) : F (u)] y el polinomio
irr(x, F (u), y).
17. Sea E = K(x) el campo de funciones racionales sobre el campo K, y sea F subcampo de E
que contiene propiamente a K. Pruebe que x es algebraico sobre F .

18. En el campo C, demuestre que los siguientes campos no son isomorfos:

√
a) Q(i) y Q( 2);
√ √
b) Q( 2) y Q( 5);
√ √
c) Q( 3) y Q( 3 3).

Pruebe que en (a) y (b) los campos son isomorfos como espacios vectoriales.
19. Pruebe que E/F es extensión algebraica si y sólo si para cada campo intermedio K y para
cada F -monomorfismo σ : K −→ K se tiene que σ es un F -automorfismo de K.
20. Sean E/F y L/F extensiones de campos con E/F extensión algebraica, y sea σ : E −→ L
un F -homomorfismo. Pruebe lo siguiente:

a) σ(E)/F es una extensión algebraica.

b) [σ(E) : F ] = [E : F ].
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.20

5. Extensiones normales

Definición 71. Sean F un campo, F una cerradura algebraica de F y {fi }i∈I una familia de
polinomios
[ de F [x], de grados ≥ 1. Para cada i ∈ I, sea Sfi = {β ∈ F | fi (β) = 0}. Denotamos por
S= Sfi . El campo de descomposición de la familia {fi }i∈I sobre F en F , o simplemente
i∈I
el campo de descomposición de la familia {fi }i∈I sobre F si no existe riesgo de confusión
con respecto a la cerradura algebraica F , es exactamente el campo F (S).

Notemos que, bajo la notación de la definición anterior, en el campo F (S) cada polinomio fi (i ∈ I)
se expresa como un producto de polinomios lineales de F (S). Además, la extensión F (S)/F es una
extensión algebraica.
En ocasiones escribimos F ({fi }i∈I ) en lugar de F (S). Por ejemplo, si la familia {fi }i∈I es finita
con polinomios f1 , . . . , fk , escribimos F (f1 , . . . , fk ) y, en este caso paticular, hacemos notar que si
g(x) = f1 (x) · · · fk (x), entonces F (f1 , . . . , fk ) = F (g).

Teorema 72. Sean F una cerradura algebraica de un campo F , y E/F una extensión algebraica
de campos tal que E ⊆ F . Entonces, las siguientes condiciones son equivalentes.

(i) Cada F -homomorfismo de E en F es un F -automorfismo de E

(ii) Cada polinomio de F [x] de grado ≥ 1 irreducible en F [x] teniendo una raı́z en E, se descom-
pone en un producto de factores lineales de E[x].
(iii) El campo E es el campo de descomposición de una familia de polinomios de grados ≥ 1 de
F [x]
(iv) Cada F -conjugado de un elemento de E pertenece a E.

Demostración. (i) ⇒ (ii): Sea f (x) ∈ F [x] un polinomio irreducible en F y α ∈ E tal que
f (α) = 0. Sea β ∈ F un F -conjugado de α, es decir, f (β) = 0. Entonces, existe un F -isomorfismo
ϕ : F (α) → F (β) ⊆ F tal que ϕ(α) = β. Extendemos ϕ a un F -homomorfismo ψ : E → F . Por
hipótesis, β ∈ ψ(E) = E. Es decir, todo F -conjugado de α pertenece a E y, por lo tanto, f es un
producto de factores lineales de E[x].
(ii) ⇒ (iii): Basta tomar la familia de polinomio {fα }α∈E donde fα (x) = irr(α, F, x) para cada
α ∈ E.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.20

(iii) ⇒ (iv): De acuerdo con la notación de la Definición 72, suponemos que E = F (S) para
[
algún conjunto S determinado por la familia de polinomios {fi }i∈I de F [x], donde S = Sfi . Sea
i∈I
ϕ : E → F un F -homomorfismo. Se tiene que f (Sfi ) = Sfi para cada i ∈ I, con lo cual

!! !!
[ [
ϕ(E) = ϕ(F (S)) = ϕ F Sfi =F ϕ Sfi
i∈I i∈I
! !
[ [
= F ϕ(Sfi =F Sfi ) = F (S)
i∈I i∈I
= E

Es decir, cada F -homomorfismo de E en F es un F -automorfismo de E. Por la demostración de

(i) ⇒ (ii), obtenemos (iv).
(iv) ⇒ (i): Ejercicio. 

Corolario 73. Sea E/F una extensión finita. Entonces, E es el campo de descomposisición de
una familia de polinomios sobre F si, y solo E es el campo de descomposición de un solo polinomio
sobre F .

Demostración. Ejercicio.

Definición 74. Sea E/F una extensión algebraica. Decimos que el campo E es normal sobre
F o que la extensión E/F es normal sin E es el campo de una familia de polinomios sobre F .

Observación 75. Sea K ⊆ F ⊆ E una torre de campos. Se tiene que si las extensiones de campos
E/F y F/K son normales entonces, no necesariamente la extensión E/K es una extensión normal.
Por ejemplo, al considerar la torre de campos
√ √
4
Q ⊆ Q( 2) ⊆ Q( 2),
√ √ √ √
tenemos que las extensiones Q( 4 2)/Q( 2) y Q( 2)/Q son normales pero la extensión Q( 4 2)/Q
no lo es.

Teorema 76.

(i) Si K ⊆ F ⊆ E es una torre de campos con E/K normal, entonces E/F es normal
(ii) Si F/K y E/K son extensiones de campos, F y E contenidos en un campo común L, tal que
E/K es normal. Entonces, F E/F es normal.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.20

(iii) Si F/K y E/K son extensiones de campos, F y E contenidos en un campo común L, tales
que ambas son normales, entonces F E/K y (E ∩ F )/K son normales.

Demostración. Sea K una cerradura algebraica de K [ que contiene a E a F .

(i): Sea {fi }i∈I de K[x] tal que E = K(S), donde S = Sfi . Entonces, {fi }i∈I es una familia de
i∈I
polinomios en F [x], con E = K(S) ⊆ F (S) ⊆ E, es decir, [
E = F (S). Por lo tanto, E/F es normal.
(ii): Sea {fi }i∈I de K[x] tal que E = K(S), donde S = Sfi . Entonces, {fi }i∈I es una familia
i∈I
de polinomios en F [x], con F E = F K(S) = F (S). Por lo tanto, EF/F es normal.
(iii): Sea ϕ : F E → K un K-homomorfismo. Por hipótesis, tenemos que ϕ(E) = E y ϕ(F ) = F .
De aquı́ que, ϕ(F E) = ϕ(F )ϕ(E) = F E. Por lo tanto, EF/K es normal.
Por otro lado, sea ψ : F ∩ E → K un K-homomorfismo. Extendemos ψ a un K-automorfismo de
EF . Tenemos que ψ(E) = E y ψ(F ) = F . De aquı́ que, ψ(F ∩ E) = ψ(F ) ∩ ψ(E) = F ∩ E. Ası́
que, (F ∩ E)/K es normal. 

Proposición 77. Sean F una cerradura algebraica de un campo F , y {Ej }j∈J una familia de
subcampos de F que contienen
\ a F tales que Ej /F es normal para cada j ∈ J. Entonces, E/F es
normal cuando E = Ej .
j∈J

Demostración. Ejercicio
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

Definición 77. Sean F la cerradura algebraica de un campo F y E/F una extensión algebraica tal
que E ⊆ F . La cerradura normal de F en E es el subcampo L de F dado como la intersección
de todos los subcampos de F que contienen a E y que son normales sobre F .

Proposición 78. Sean F la cerradura algebraica de un campo F , E/F una extensión algebraica
tal que E ⊆ F y L la cerradura normal de F en E. Entonces,

(i) L es el más chico de los subcampos de F que contiene a F y que es normal sobre F
(ii) Sean [
T un subconjunto de E generador de la extensión E/F , es decir, E = F (T ), y sea
S= Cα donde Cα el conjunto de F -conjugados de α, para cada α ∈ T . Entonces, L =
α∈T
F (S).
(iii) Si ϕ : E → F es un F -homomorfismo, entonces ϕ(E) ⊆ L.

Demostración. Ejercicio

Ejercicios

1. Sea E/F una extensión de campos. Denotamos por Aut(E) (resp. AutF (E)) al conjunto de
los automorfismos (resp. F -automorfismos) de E. Demuestre que Aut(E) es un grupo con la
composición de funciones, y que AutF (E) es un subgrupo de Aut(E).
2. Calcule AutQ (R) y AutK (K(x)) donde K(x) es el campo de funciones racionales en la variable
x sobre K.
3. Sea E el campo de descomposición de un polinomio f (x) ∈ F [x] con deg(f ) = n ≥ 1. Pruebe
que [E : F ] divide a n!; más aún, el grupo AutF (E) está encajado en el grupo simétrico Sn
de grado n.
4. Sean α, β algebraicos sobre F , y sean f (x) = irr(α, F ) y g(x) = irr(β, F ) tales que deg(f ) y
deg(g) son primos relativos. Demuestre que g es irreducible sobre F (α)[x].
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

5. Sea α una raı́z del polinomio x6 + x3 + 1 sobre Q. Encuentre todos los homomorfismos de
Q(α) en C. (Sugerencia: El polinomio es factor del polinomio x9 − 1).
6. Encuentre el campo de descomposición de los siguientes polinomios sobre Q, y el grado de
tales campos de descomposición sobre Q.

a) x3 − 2;
b) x2 + x + 1;
c) x5 − 7;
d ) (x3 − 2)(x2 − 2);
e) x6 + x3 + 1.

7. Sea α un número real tal que α4 = 5. Demuestre lo siguiente:

a) Q(iα2 ) es extensión normal sobre Q;

b) Q(α + iα) es extensión normal sobre Q(iα2 ), pero no sobre Q.
8
8. Encuentre el campo de descomposición del polinomio xp − 1 sobre el campo finito Z/pZ de
p elementos, con p número primo.
9. Sea E/F una extensión algebraica. Demuestre E/F es extensión normal si, y sólo si cada
F -homomorfismo σ : E −→ N , donde N es cualquier extensión normal de F que contiene a
E, se tiene que σ(E) = E.

10. Sea E/F una extensión algebraica. Demuestre que si [E : F ] = 2, entonces E/F es extensión
normal.
11. Sean E/F una extensión normal, f (x) un polinomio con coeficientes en F el cual es irreducible
sobre F [x]. Sean g(x) y h(x) polinomios mónicos con coeficientes en E irreducibles sobre
E[x] los cuales son factores de f (x). Pruebe que existe un F -automorfismo de E tal que
g ϕ (x) = h(x).
12. Sea E/F extensión algebraica. Demuestre que la extensión E/F es normal si, y sólo si para
cada polinomio irreducible f (x) ∈ F [x], los factores irreducibles de f (x) en E[x] tienen el
mismo grado.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

6. Extensiones separables, puramente inseparables y exten-

siones simples

Definición 79. Sea F un campo. El campo primo de F , denotado por PF , como la intersección
de todos los subcampos de F .

El campo primo PF de F es el subcampo más chico que contiene a F . Si F y E son dos campos
contenidos en un campo común L, entonces PF = PE .

Si A es un anillo conmutativo con identidad, entonces existe un único homomorfismo f : Z → A tal

que f (1) = 1. Luego, si expresamos ker(f ) = nZ para algún n ≥ 0, tenemos que n es la caracterśtica
de A, denotado como n = car(A). En el caso de que se tenga un campo F y p = car(F ) ≥ 0 (con
p es número primo si p > 0), se tiene que F contiene una copia isomorfa a Z/pZ. Por lo tanto,

 Q si p = 0
PF ∼
=
Z/pZ si p > 0


Sea A un anillo conmutativo conmutativo con identidad y f (x) ∈ A[x] con f (x) = a0 + a1 x + · · · +
an xn . Se define la derivada de f como:

D(f (x)) = d(f (x)) = f 0 (x) := a1 + 2a2 x + · · · + nan xn−1 .

La derivada de polinomios de A[x] es una función D : A[x] → A[x] que cumple las siguientes
propiedades: Para cada c ∈ A y para cada f (x), g(x) ∈ A[x]

(a) D(f + g) = D(f ) + D(g)

(b) D(cf ) = cD(f )
(c) D(f g) = D(f )g + f D(g)
(d) D(x) = 1

La función derivada D está completamente determinada por las propiedades (a), (b), (c), (d).

Sean F la cerradura algebraica de un campo F , f (x) ∈ F [x] y α ∈ F una raı́z de f (x). Entonces,
tenemos que

f (x) = (x − α)m g(x),

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

para algún polinomio g(x) ∈ F [x] tal que g(α) 6= 0, y m ≥ 1. Exactamente, m es la multilicidad
de α para el polinomio f . Bajo estas notaciones tenemos lo siguiente:

Proposición 80. Bajo la notación anterior, α es raı́z múltiple de f si, y solo si f 0 (α) = 0.

Demostración. Basta analizar la derivada de f . 

Teorema 81. Sean F una cerradura algebraica de un campo F y f (x) ∈ F [x] de grado ≥ 1.

(i) Todas las raı́ces de f son simples si, y solo si mcd{f, f 0 } = 1

(ii) Si f es un polinomio irreducible de F , entonces todas las raı́ces de f son simples si, y solo
si f 0 6= 0.

Demostración Ejercicio

Teorema 82. Sean F un campo y f ∈ F [X] de grado ≥ 1.

(i) car(F ) = 0 ⇒ f 0 6= 0

(ii) Si la car(F ) = p > 0, entonces f 0 = 0 ⇔ f (x) = g(xp ), para algún g ∈ F [x].

Demostración. (i): Si f (x) = a0 + a1 x + · · · + an xn con n ≥ 1 y an 6= 0, entonces f 0 (x) = 0

implicarı́a que nan = 0, lo cual es absurdo. Por lo tanto, f 0 6= 0.
(ii): Si f (x) = g(xp ) con g(x) = b0 + b1 x + · · · + bn xn , es decir, f (x) = b0 + b1 xp + · · · + bn xpn ,
entonces f 0 (x) = pb1 xp−1 + · · · + pnbn xpn−1 , lo cual implica que f 0 (x) = 0.
Recı́procamente, si f (x) = a0 + a1 x + · · · + an xn , con f 0 (x) = a1 + · · · + nan xn−1 = 0, entonces
a1 = 2a2 = · · · = nan = 0. Para cada coeficiente ak 6= 0, tenemos que p divide a k, es decir, k = ptk
para algún tk ∈ N. (Notar que a1 = 0.) Con lo cual f (x) = a0 + a2 xptk + · · · + an xptn = g(xp ),
donde g(x) = a0 + a2 xtk + · · · + an xtn . 

Corolario 83. Sean F un campo, y f ∈ F [x] un polinomio irreducible en F .

(i) car(F ) = 0 ⇒ f tiene raı́ces simples

(ii) Si la car(F ) = p > 0, entonces f tiene raı́ces múltiples ⇔ f (x) = g(xp ), para algún g ∈ F [x].
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

Demostración. Ejercicio

Recordemos que si F es un campo tal que car(F ) = p > 0, entonces para cada n ∈ Z, con n ≥ 0,
y para cada a, b ∈ F
n n n
(a + b)p = ap + bp .

Además, si f es un polinomio en f [x], todas las raı́ces de f serán consideradas en una cerradura
algebraica fija F , sin mención alguna.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

Definición 77. Sean F la cerradura algebraica de un campo F y E/F una extensión algebraica tal
que E ⊆ F . La cerradura normal de F en E es el subcampo L de F dado como la intersección
de todos los subcampos de F que contienen a E y que son normales sobre F .

Proposición 78. Sean F la cerradura algebraica de un campo F , E/F una extensión algebraica
tal que E ⊆ F y L la cerradura normal de F en E. Entonces,

(i) L es el más chico de los subcampos de F que contiene a F y que es normal sobre F
(ii) Sean [
T un subconjunto de E generador de la extensión E/F , es decir, E = F (T ), y sea
S= Cα donde Cα el conjunto de F -conjugados de α, para cada α ∈ T . Entonces, L =
α∈T
F (S).
(iii) Si ϕ : E → F es un F -homomorfismo, entonces ϕ(E) ⊆ L.

Demostración. Ejercicio

Ejercicios

1. Sea E/F una extensión de campos. Denotamos por Aut(E) (resp. AutF (E)) al conjunto de
los automorfismos (resp. F -automorfismos) de E. Demuestre que Aut(E) es un grupo con la
composición de funciones, y que AutF (E) es un subgrupo de Aut(E).
2. Calcule AutQ (R) y AutK (K(x)) donde K(x) es el campo de funciones racionales en la variable
x sobre K.
3. Sea E el campo de descomposición de un polinomio f (x) ∈ F [x] con deg(f ) = n ≥ 1. Pruebe
que [E : F ] divide a n!; más aún, el grupo AutF (E) está encajado en el grupo simétrico Sn
de grado n.
4. Sean α, β algebraicos sobre F , y sean f (x) = irr(α, F ) y g(x) = irr(β, F ) tales que deg(f ) y
deg(g) son primos relativos. Demuestre que g es irreducible sobre F (α)[x].
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

5. Sea α una raı́z del polinomio x6 + x3 + 1 sobre Q. Encuentre todos los homomorfismos de
Q(α) en C. (Sugerencia: El polinomio es factor del polinomio x9 − 1).
6. Encuentre el campo de descomposición de los siguientes polinomios sobre Q, y el grado de
tales campos de descomposición sobre Q.

a) x3 − 2;
b) x2 + x + 1;
c) x5 − 7;
d ) (x3 − 2)(x2 − 2);
e) x6 + x3 + 1.

7. Sea α un número real tal que α4 = 5. Demuestre lo siguiente:

a) Q(iα2 ) es extensión normal sobre Q;

b) Q(α + iα) es extensión normal sobre Q(iα2 ), pero no sobre Q.
8
8. Encuentre el campo de descomposición del polinomio xp − 1 sobre el campo finito Z/pZ de
p elementos, con p número primo.
9. Sea E/F una extensión algebraica. Demuestre E/F es extensión normal si, y sólo si cada
F -homomorfismo σ : E −→ N , donde N es cualquier extensión normal de F que contiene a
E, se tiene que σ(E) = E.

10. Sea E/F una extensión algebraica. Demuestre que si [E : F ] = 2, entonces E/F es extensión
normal.
11. Sean E/F una extensión normal, f (x) un polinomio con coeficientes en F el cual es irreducible
sobre F [x]. Sean g(x) y h(x) polinomios mónicos con coeficientes en E irreducibles sobre
E[x] los cuales son factores de f (x). Pruebe que existe un F -automorfismo de E tal que
g ϕ (x) = h(x).
12. Sea E/F extensión algebraica. Demuestre que la extensión E/F es normal si, y sólo si para
cada polinomio irreducible f (x) ∈ F [x], los factores irreducibles de f (x) en E[x] tienen el
mismo grado.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

6. Extensiones separables, puramente inseparables y exten-

siones simples

Definición 79. Sea F un campo. El campo primo de F , denotado por PF , como la intersección
de todos los subcampos de F .

El campo primo PF de F es el subcampo más chico que contiene a F . Si F y E son dos campos
contenidos en un campo común L, entonces PF = PE .

Si A es un anillo conmutativo con identidad, entonces existe un único homomorfismo f : Z → A tal

que f (1) = 1. Luego, si expresamos ker(f ) = nZ para algún n ≥ 0, tenemos que n es la caracterśtica
de A, denotado como n = car(A). En el caso de que se tenga un campo F y p = car(F ) ≥ 0 (con
p es número primo si p > 0), se tiene que F contiene una copia isomorfa a Z/pZ. Por lo tanto,

 Q si p = 0
PF ∼
=
Z/pZ si p > 0


Sea A un anillo conmutativo conmutativo con identidad y f (x) ∈ A[x] con f (x) = a0 + a1 x + · · · +
an xn . Se define la derivada de f como:

D(f (x)) = d(f (x)) = f 0 (x) := a1 + 2a2 x + · · · + nan xn−1 .

La derivada de polinomios de A[x] es una función D : A[x] → A[x] que cumple las siguientes
propiedades: Para cada c ∈ A y para cada f (x), g(x) ∈ A[x]

(a) D(f + g) = D(f ) + D(g)

(b) D(cf ) = cD(f )
(c) D(f g) = D(f )g + f D(g)
(d) D(x) = 1

La función derivada D está completamente determinada por las propiedades (a), (b), (c), (d).

Sean F la cerradura algebraica de un campo F , f (x) ∈ F [x] y α ∈ F una raı́z de f (x). Entonces,
tenemos que

f (x) = (x − α)m g(x),

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

para algún polinomio g(x) ∈ F [x] tal que g(α) 6= 0, y m ≥ 1. Exactamente, m es la multilicidad
de α para el polinomio f . Bajo estas notaciones tenemos lo siguiente:

Proposición 80. Bajo la notación anterior, α es raı́z múltiple de f si, y solo si f 0 (α) = 0.

Demostración. Basta analizar la derivada de f . 

Teorema 81. Sean F una cerradura algebraica de un campo F y f (x) ∈ F [x] de grado ≥ 1.

(i) Todas las raı́ces de f son simples si, y solo si mcd{f, f 0 } = 1

(ii) Si f es un polinomio irreducible de F , entonces todas las raı́ces de f son simples si, y solo
si f 0 6= 0.

Demostración Ejercicio

Teorema 82. Sean F un campo y f ∈ F [X] de grado ≥ 1.

(i) car(F ) = 0 ⇒ f 0 6= 0

(ii) Si la car(F ) = p > 0, entonces f 0 = 0 ⇔ f (x) = g(xp ), para algún g ∈ F [x].

Demostración. (i): Si f (x) = a0 + a1 x + · · · + an xn con n ≥ 1 y an 6= 0, entonces f 0 (x) = 0

implicarı́a que nan = 0, lo cual es absurdo. Por lo tanto, f 0 6= 0.
(ii): Si f (x) = g(xp ) con g(x) = b0 + b1 x + · · · + bn xn , es decir, f (x) = b0 + b1 xp + · · · + bn xpn ,
entonces f 0 (x) = pb1 xp−1 + · · · + pnbn xpn−1 , lo cual implica que f 0 (x) = 0.
Recı́procamente, si f (x) = a0 + a1 x + · · · + an xn , con f 0 (x) = a1 + · · · + nan xn−1 = 0, entonces
a1 = 2a2 = · · · = nan = 0. Para cada coeficiente ak 6= 0, tenemos que p divide a k, es decir, k = ptk
para algún tk ∈ N. (Notar que a1 = 0.) Con lo cual f (x) = a0 + a2 xptk + · · · + an xptn = g(xp ),
donde g(x) = a0 + a2 xtk + · · · + an xtn . 

Corolario 83. Sean F un campo, y f ∈ F [x] un polinomio irreducible en F .

(i) car(F ) = 0 ⇒ f tiene raı́ces simples

(ii) Si la car(F ) = p > 0, entonces f tiene raı́ces múltiples ⇔ f (x) = g(xp ), para algún g ∈ F [x].
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.23

Demostración. Ejercicio

Recordemos que si F es un campo tal que car(F ) = p > 0, entonces para cada n ∈ Z, con n ≥ 0,
y para cada a, b ∈ F
n n n
(a + b)p = ap + bp .

Además, si f es un polinomio en f [x], todas las raı́ces de f serán consideradas en una cerradura
algebraica fija F , sin mención alguna.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.27

Teorema 84. Sean F un campo con car(F ) = p > 0, f ∈ F [x] un polinomio irreducible y e el
mı́nimo entero no negativo tal que
e e+1
f ∈ F [xp ], / F [xp
pero f ∈ ].
pe
Sea ψ ∈ F [x] tal que f (x) = ψ(x ).

(i) ψ es un polinomio irreducible en F y todas sus raı́ces son simples

(ii) Todas las raı́ces de f tienen la misma multiplicidad igual a pe , y la cantidad de raı́ces distintas
de f es deg(ψ). En particular, se cumple que

deg f = pe deg(ψ).

Demostración. (i): Puesto que f es irreducible sobre F , tenemos que ψ también lo es. Si ψ 0 = 0,
e+1 e+1
entonces existe g ∈ F [x] tal que ψ(x) = g(xp ), con lo cual f (x) = ψ(xp ) = g(xp ) ∈ F [xp ], lo
cual es absurdo. Por lo tanto, ψ 0 6= 0, luego ψ es tal que todas las raı́ces son simples.
(ii): Por la parte (i), expresamos

ψ(x) = (x − β1 ) · · · (x − βm ).
Entonces,
e e e
f (x) = ψ(xp ) = (xp − β1 ) · · · (xp − βm ).
e e
Si αi es raı́z de xp − βi , se tendrá que αip = βi , con lo cual

e e e e e e
f (x) = (xp − β1 ) · · · (xp − βm ) = (xp − α1p ) · · · (xp − αm
p
)
e e
= (x − α1 )p · · · (x − αm )p .

De acuerdo con las notaciones y resultados del Teorema 84, el grado del polinomio ψ se le llama
el grado de separabilidad de f sobre F , es decir, es el número de raı́ces distintas de f . El
número no negativo e se le llama el exponente de inseparabilidad de f sobre F .
Si α es algebraico sobre F y f = irr(α, F, x), entonces el grado de separabilidad (resp. el
exponente de inseparabilidad) de α sobre F es definido como el grado de separabilidad
(resp. el exponente de inseparabilidad) de f sobre F .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.27

Notemos que en el caso de que car(F ) = 0, todo polinomio irreducible f sobre F es tal que todas sus
raı́ces son simples y podemos aplicar, a este caso, las definiciones anteriores, salvo la de exponente
de inseparabidad que aquı́ no existe. Es decir, el grado de separabilidad de f sobre F es el grado
del polinomio. El grado de separabilidad de α sobre F es el grado de α sobre F .

Definición 85. Sean F una cerradura algebraica de un campo F , f ∈ F [x] un polinomio de grado
≥ 1, E/F una extensión de campos y α ∈ F .

(i) Si f es irreducible sobre F , decimos que f es separable (sobre F ) si todas las raı́ces de f
son simples. En caso contrario, decimos que el polinomio es inseparable o no separable
(sobre F ).
(ii) f es separable (sobre F ) si todos sus factores irreducibles sobre F son separables. En caso
contrario, decimos que el polinomio es inseparable o no separable (sobre F ).

(iii) α es separable sobre F si su polinomio irreducible irr(α, F ) es separable. En caso contrario,

decimos que α es inseparable o no separable sobre F .
(iv) La extensión E/F es separable si todo elemento de E es separable sobre F . En caso con-
trario, decimos que E/F es inseparable o no separable.

(v) El grado de separabilidad de la extensión E/F es la cardinalidad de todos los F -

homomorfismos de E en F , y es denotado por [E : F ]s .

Si F es un campo tal que car(F ) = 0, entonces la Definición 85 se cumple en F , es decir, el concepto

de separabilidad se cumple en todos los casos sobre F . Ası́ que, el concepto de separabilidad resulta
de ser importante en campos de caracterı́sta p > 0.

Proposición 86. Sean F una cerradura algebraica de un campo F y α ∈ F . Entonces, [F (α) : F ]s

es el grado separabilidad de α sobre F .

Demostración Se sigue de que todo F -homomorfismo de F (α) sobre F está completamente

determinado por su acción sobre α. 

Teorema 87. Sean F una cerradura algebraica de un campo F tal que car(F ) = p > 0 y α ∈ F .
Sea e el exponente de inseparabilidad de α sobre F . Entonces,

(i) [F (α) : F ] = pe [F (α) : F ]s

e
(ii) αp es separable sobre F
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.27

(iii) α es separable sobre F si, y solo si F (α) = F (αp ).

Demostración. Los incisos de (i) y (ii) se sigue del Teorema 84. Probemos (iii). Sea f (x) =
irr(α, F, x)
⇒c: Es claro que F (αp ) ⊆ F (α). Sea g(x) = irr(α, F (αp ), x). Entonces, g(α) = 0, con lo cual
g divide a f sobre F (αp )[x]. Por hipótesis, g es separable sobre F . Por otro lado, α es raı́z del
polinomio h(x) = (x − α)p = xp − αp ∈ F (αp ), con lo cual g divide a h. Esto quiere decir que
g(x) = x − α ∈ F (αp )[x]. Ası́ pues, α ∈ F (αp ), es decir, F (αp ) = F (α).
⇐c: Si α no es separable sobre F entonces, existe h ∈ F [x] tal que f (x) = h(xp ). Ası́ que, αp es
raı́z del polinomio h. Por lo tanto,

[F (xp ) : F ] ≤ deg(h) < deg(f ) = [F (α) : F ],

lo cual implica que F (αp ) 6= F (α). 

Proposición 88. Sea K ⊆ F ⊆ E ⊆ K una torre de campos, donde K es una cerradura algeberaica
de K y la extensión E/K es finita. Entonces

[E : K]s = [E : F ]s [F : K]s .

Demostración. Sean m = [F : K]s , n = [E : F ]s , σj : F → K (j = 1, . . . , m) los K-

homomorfismos de F en K, y θi : E → K (i = 1, . . . , n) los F -homomorfismos de E en K.
Extendemos los σj ’s y los θi ’s a K-automorfismos y F -automorfismos de K, de manera respectiva,
los cuales los denotamos por los σj ’s y los θi ’s (j = 1, . . . , m y i = 1, . . . , n). Entonces, tenemos
que

σ j ◦ θi |E j = 1, . . . , m y i = 1, . . . , n,
son exactamente los K-homomorfismos de E en K, los cuales son distintos entre sı́. Por lo tanto,

[E : K]s = mn = [E : F ]s [F : K]s .

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.30

Proposición 89. Sea E/F un extensiı́on finita, con E = F (α1 , . . . , αk ). Entonces

(i) Si car(F ) = p > 0, entonces [E : F ] = pt [E : F ]s , para algún t ≥ 0

(ii) Si car(F ) = 0, entonces [E : F ] = [E : F ]s .
(iii) E/F es separable si, solo si [E : F ]s = [E : F ]

Demostración. (i): Sean e1 (resp. ei , 1 < i ≤ k) el exponente de inseparabilidad de α1 (resp. αi )

sobre F (resp. F (α1 , . . . , αi−1 )). Entonces, tenemos que

[E : F ] = [F (α1 , . . . , αk ) : F (α1 , . . . , αk−1 )] [F (α1 , . . . , αk−1 ) : F (α1 , . . . , αk−2 )] · · ·

[F (α1 ) : F ]
= pek [F (α1 , . . . , αk ) : F (α1 , . . . , αk−1 )]s pek−1 [F (α1 , . . . , αk−1 ) : F (α1 , . . . , αk−2 )]s · · ·
pe1 [F (α1 ) : F ]s
= pe1 +···+ek [F (α1 , . . . , αk ) : F (α1 , . . . , αk−1 )]s [F (α1 , . . . , αk−1 ) : F (α1 , . . . , αk−2 )]s · · ·
[F (α1 ) : F ]s
= pt [F (α1 , . . . , αk ) : F ]s
= pt [E : F ]s ,

donde t = e1 + · · · + ek .
(ii): Es inmediato.
(iii): Si la car(F ) = 0, entonces no hay nada que probar, todo se cumple. Ası́ que, suponemos que
car(F ) = p > 0. De acuerdo con la notación de la demostración de (i), tenemos que [E : F ] =
[E : F ]s ⇔ ei = 0 para cada i = 1, . . . , k ⇔ α1 es separable sobre F y αi es separable sobre
F (α1 , . . . , αi−1 ) para cada 1 < i ≤ k. Pero como los elementos αi ’s son permutables, tenemos que
[E : F ] = [E : F ]s ⇔ cada αi es separable sobre F . Si α ∈ E arbitrario, podemos suponer que
α = α1 , con lo cual [E : F ] = [E : F ]s ⇔ α es separable sobre F para cada α ∈ E ⇔ E/F es
separable. 

Proposición 90. Sean F una cerradura algebraica de un campo F , β ∈ F , E/F una extensión
de campo tal que todo elemento de E algebraico sobre F pertence a F , S subconjunto de E tal que
E = F (S), y L = {γ ∈ E | γ es separable sobre F }. Entonces,

(i) Si β es algebraico sobre F , entonces β es algebraico sobre E

(ii) L es un campo intermedio de la extensión E/F
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.30

(iii) E/F es separable ⇔ cada elemento de S es separable sobre F .

Demostración. (i): Es inmediato

(ii): Es claro que todo elemento de F es separable sobre F . Ası́ que, F ⊆ L ⊆ E. Veamos que L es
subcampo de E. Sean γ1 , γ2 ∈ L y γ ∈ {γ1 − γ2 , γ1 γ2 , γ1−1 }, con γ1 6= 0. Entonces, γ1 es separable
sobre F , γ2 es separable sobre F (γ1 ), donde F (γ1 , γ2 ) = F (γ, γ1 , γ2 ); aplicando la demostración de
la Proposición 89, incisos (i) y (iii), tenemos que [F (γ, γ1 , γ2 ) : F ] = [F (γ1 , γ2 ) : F ] = [F (γ1 , γ2 ) :
F ]s = [F (γ, γ1 , γ2 ) : F ]s . Esto significa que la extensión F (γ, γ1 , γ2 )/F es separable. En particular,
γ es separable sobre F . Por lo tanto, γ ∈ L y L es subcampo de E.
(iii): Supongamos que cada elemento de S es separable sobre F . Entonces, S ⊆ L y, de aquı́ que,
E = F (S) ⊆ L ⊆ E, con lo cual E/F es separable. 

El campo L de la Proposición 90, se le llama la cerradura separable de F en E o de E/F . La

cerradura separable de F en F se le llama la cerradura separable de F .

Teorema 91. La clase de extensiones separables es una clase distinguida.

Demostración. Sea K ⊆ F ⊆ E es una torre de campos tal que E/F y F/K son separa-
bles. Sea α ∈ E arbitrario y f (x) = a0 + a1 x + · · · + an xn = irr(α, F, x). Entonces, f (x) =
irr(x, K(a0 , a1 , . . . , an ), x), de aquı́ que a0 es separable sobre F , a1 es separable sobre F (a0 ),...,
an es separable sobre F (a0 , a1 , . . . , an−1 ), y α es separable sobre K(a0 , a1 , . . . , an ). Por lo tanto,
la extensión K(a0 , a1 , . . . , an , α)/F es separable. En particular, α es separable sobre R. Ası́ que,
la extensión E/F es separable. La recı́proca, es fácil de probar. (¡Verifı́quelo!)
Por otro lado, sean E/K y F/K edos extensiones de campos tales que E y F son subcampos de un
campo común L, y E/K es separable. Entonces, cada elemento de E es separable sobre F , donde
F E = F (E). Ası́ que, la extensión F E/E es separable.
Por lo tanto, la clase de extensiones separables es una clase distinguida. 

Proposición 92. Sea E/F una extensión normal y Fs la cerradura separable de F en E. Entonces,
Fs /F es normal.

Demostración. Sea F la cerradura algebraica de F tal que E sea subcampo de F , y sea σ : Fs → F

un F -homomorfismo. Sean β ∈ Fs y T = {γ ∈ F | γ es F − conjugado de β}. Como la extensión
E/F es normal, tenemos que T ⊆ E; y como β es separable sobre F , entonces T ⊆ Fs , donde
σ(T ) = T . De aquı́ que, existe α ∈ T tal que σ(α) = β. Por lo tanto, σ es un F -automorfismo de
Fs . 

Sea F un campo. Decimos que F es un campo perfecto si toda extensión algebraica sobre F es
separable; en caso contrario, decimos que F es imperfecto o no perfecto. Notemos que todos
los campos de caracterı́stica cero son perfectos.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.30

Sea F un campo tal que car(F ) = p > 0, y denotamos por F p = {ap | a ∈ F }. La función
ϕ : F → F dada por ϕ(a) = ap es un monomorfismo tal que im(ϕ) = F p .

Proposición 93. Sea F un campo con car(F ) = p ≥ 0. Entonces, las siguientes condiciones son
equivalentes.
(i) F es perfecto
(ii) Toda extensión finita sobre F es separable
(iii) Todo polinomio de grado ≥ 1 de F [x] es separable sobre F
(iv) F p = F , si p > 0
n
(v) F p = F para cada n ≥ 1, si p > 0.

Demostración. Notemos que si p = 0, entonces (i), (ii) y (iii) son ciertas. Por lo tanto, suponemos
que p > 0. Sea F una cerradura algebraica de F .
(i) ⇒ (ii)c: Es inmediata
(ii) ⇒ (iii)c: Sea f (x) ∈ F [x] un polinomio de grado ≥ 1 irreducible sobre F . Sea α ∈ F una raı́z
de f . Entonces la extensión F (α)/F es una extensión finita y, de aquı́ que, es separable. Por lo
tanto, f es separable sobre F .
(iii) ⇒ (iv)c: Sea β ∈ F y α ∈ F tal que αp = β. Entonces, el polinomio h(x) = xp −β ∈ F [x] tiene
e
por raı́z a α. Sea f (x) = irr(α, F, x) y . Se tiene que f divide a h sobre F [x]. Luego, f (X) = (x−α)p
para algún e ≥ 0. Como f es separable, necesariamente e = 0, es decir, f (x) = x − α ∈ F [X].
Luego, β = αp ∈ F p . Por lo tanto, F p = F .
(iv) ⇒ (v)c: Se sigue por inducción sobre n.
(v) ⇒ (i)c: Sean E/F una extensión algebraica y α ∈ E, con f (x) = irr(α, F, x). Si f admite
alguna raı́z múltiple, entonces existe g(x) ∈ F [x] tal que g(xp ) = f (x). Expresamos g(x) =
a0 + a1 x + · · · + an xn . Sea b0 , b1 , . . . , bn ∈ F tales que bpi = ai para cada i = 0, 1, . . . , n, es
decir, g(x) = bp0 + bp1 x + · · · + bpn xn . Luego, f (x) = g(xp ) = (b0 + b1 x + · · · + bn xn )p lo cual implica
que f no es irreducible sobre F . Contradicción. Ası́ que, f es separable sobre F , es decir, α es
separable sobre F . Por lo tanto, E/F es separable. Esto prueba que F es perfecto. 

Teorema 94. Todo campo finito es perfecto.

Demostración. Sean F un campo finito y ϕ : F → F el monomorfismo dado por ϕ(α) = αp .

Puesto que ϕ es finito, tenemos que ϕ es un epimorfismo, es decir, F p = F . Por lo tanto, F es
perfecto. 

Definición 95. Sean F la cerradura algebraica de un campo F con car(F ) = p > 0, y E/F una
extensión de campos con E subcampo de F , y α ∈ F .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.09.30

t
(i) Se dice que α es puramente inseparable (p.i.) sobre F si αp ∈ F para algún t ≥ 0.
(ii) Decimos que E/F es una extensión puramente inseparable (p.i.) si todo elemento de E
es p.i. sobre F .

Si E/F es una extensión algebraica con car(F ) = 0, entonces no está definida la condición de que
la extensión E/F sea p.i. Podemos decir que, en este caso, E/F es p.i. si, y solo si E = F .

Por otro lado, si la extensión E/F es finita con car(F ) = p ≥ 0, entonces se define el grado de
inseparabilidad de F en E o de E/F como

[E : F ]
[E : F ]i = .
[E : F ]s

Si car(F ) = 0 o E/F es separable, entonces [E : F ]i = 1. Si car(F ) = p > 0, entonces [E : F ]i = pt

para algún t ≥ 0.

Si K ⊆ F ⊆ E es una torre de campos, entonces

[E : K]i = [E : F ]i [F : K]i .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.04

Proposción 96. Sean F una cerradura algebraica de un campo F con car(F ) = p > 0, E/F una
extensión de campos tal que E es subcampo de F y Fs la cerradura separable de F en E. Entonces,
las siguientes condiciones son equivalentes.

(i) E/F es p.i.

(i) Fs = F
(iii) Existe exactamente un único F -homomorfismo de E en F .

Demostración. Ejercicio

Corolario 97. Sea E/F una extensión algebraica la cual es separable y p.i. Entonces, E = F .

Demostración. Ejercicio

Corolario 98. Sean F una cerradura algebraica de un campo F con car(F ) = p > 0, E/F una
extensión finita de campos tal que E es subcampo de F y Fs la cerradura separable de F en E.
Entonces, las siguientes condiciones son equivalentes.

(i) E/F es p.i.

(i) [E : F ]s = 1
(iii) [E : F ]i = [E : F ].

Demostración. Ejercicio

Proposción 99. Sean F una cerradura algebraica de un campo F con car(F ) = p > 0, E/F
una extensión de campo tal que E es subcampo de F , S subconjunto de E tal que E = F (S), y
L = {γ ∈ E | γ es p.i . sobre F }. Entonces,

(ii) L es un campo intermedio de la extensión E/F

(iii) E/F es p.i. ⇔ cada elemento de S es p.i. sobre F .

Demostración. Ejercicio

Teorema 100. La clase de extension p.i. forma una clase distinguido.

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.04

Demostración. Ejercicio

Proposción 101. Sean F un campo con car(F ) = p > 0, E/F una extensión algebraica y Fs la
cerradura separable de F en E. Entonces, la extensión Fs /F es separable y la extensión E/Fs es
p.i.

Demostración. Ejercicio

Proposición 102. Sean E/F una extensión finita de campos y Fs la cerradura separable de F en
E. Entonces,

[E : F ]s = [Fs : F ].

Demostación. [E : F ]s = [E : Fs ]s [Fs : F ]s = [E : Fs ]s [Fs : F ] = [Fs : F ]. 

Proposición 103. Sean E/F una extensión algebraica, Fs (resp. Fi ) la cerradura separable (resp.
p.i) de F en E. Entonces, E/Fi es separable si, y solo si E = Fs Fi .

Demostración. La demostación se sigue del siguiente diagrama:

sep. p.i.
p.i.
Fs Fi
p.i. sep.

Fs Fi
sep. p.i.
F

Sea F la cerradura algebraica de un campo F . La cerradura p.i. de F es la cerradura p.i. de F

en F , y la denotamos por F i . Si car(F ) = 0, tenemos que F i = F .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.07

Proposición 104. Sea E/F una extensión algebraica y finitamente generada tal que E = F (α1 , . . . , αn , β)
donde cada uno de los αi ’s son separables sobre F , con F campo infinito. Entonces, la extensión
E/F es simple.

Demostración. La demostración es por inducción sobre n. Para n = 1 tenemos que E = F (α1 , β).
Sean f = irr(α1 , F ) (resp. g = irr(β, F )). Sea F la cerradura algebraica de F que contiene a E, y
sean γ1 = α1 , γ2 , . . . , γm (resp. δ1 = β, δ2 , . . . , δk ) los F -conjugados de α1 (resp. β) en F . Puesto
que, α1 es separable sobre F , tenemos que deg(f ) = m. Si m = 1, tenemos que f (x) = x−α1 ∈ F [x],
es decir, α1 ∈ F ; de aquı́ que, E = F (α1 , β) = F (β). Ası́ que, la extensión E/F es simple. Ahora,
supóngase que m > 1. Consideremos el conjunto finito de ecuaciones
δj − δ1
x= 2 ≤ i ≤ m, 1 ≤ j ≤ k.
γ1 − γi
Puesto que F es infinito, existe a ∈ F tal que

aγ1 + δ1 6= aγi + δj 2 ≤ i ≤ m, 1 ≤ j ≤ k.
Sea θ : aγ1 + δ1 ∈ E. Probemos que E = F (θ). Para esto, sea g(θ − ax) ∈ F (θ)[x]. Notemos que
g(θ − aγ1 ) = 0 y g(θ − aγi ) 6= 0 para cada i = 2, . . . , m. Sea d(x) ∈ F (θ)[x] el máximo común
divisor de f (x) y g(θ − ax). Supóngase que deg(d) ≥ 1, sea λ ∈ F raı́z de d(x), entonces λ es raı́z
tanto de f (x) como de g(θ − ax). Pero las raı́ces de f son los γi ’s. Luego, la única posibilidad es
de que λ = γ1 = α1 , es decir, d(x) = x − α1 . Sea t1 (x), t2 (x) ∈ F (θ)[x] tales que

x − α1 = t1 (x)f (x) + t2 (x)g(θ − ax) ∈ F (θ)[x].

Esto implica que α1 ∈ F (θ) y, de aquı́ que, β ∈ F (θ). Por lo tanto, E = F (θ). El suponer que se
cumple n, se sigue de inmediato que se cumple para n + 1. 

Proposición 105. Sea F un campo. Entonces, todo subgrupo finito del grupo multiplicativo F ∗ es
finito.

Demostración. Sea G un subgrupo finito de orden m del grupo multiplicativo F ∗ . Recordemos

que para cada a ∈ G, |a| | |G| = m, donde |a| es el orden de a. Para cada d divisor positivo de
m, sea Ad = {b ∈ G | |b| = d} (posiblemente Ad = ∅). Notemos que la familia {Ad }d|m es una
partición de G. Si Ad 6= ∅ y a ∈ Ad , entonces por lo menos Ad tiene por lo menos ϕ(d) elementos,
donde ϕ es la función de Euler, es decir, |Ad | ≥ ϕ(d). Luego,
X X
|Ad | = |G| = m = ϕ(d).
d|m d|m
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.07

Esto implica que Ad 6= ∅, con |Ad | = ϕ(d) para cada d|m. En particular, Am 6= ∅, o sea, existe
c ∈ G de orden m. Por lo tanto, G es cı́clico con G = hci. 

Teorema 106 (Teorema del elemento primitivo). Toda extensión finita y separable es simple.

Demostración. Sea E/F una extensión finita y separable. Si F es un campo finito, entonces el
campo E también lo es, por lo cual existe θ ∈ E ∗ tal que E ∗ = hθi, y ası́ E = F (θ).
Si F es un campo infinito, entonces la afirmación se sigue de la Proposición 104. 

Proposición 107. Sea E/F una extensión separable en el cual existe un entero positivo m tal que
para cada β ∈ E, [F (β) : F ] ≤ m. Entonces, E/F es simple.

Demostración. Sea α ∈ E tal que el grado [F (α) : F ] sea maximal. Si β ∈ E, entonces la

extensión F (α, β)/F es una extensión finita y separable y, de aquı́ que, la extensión es simple, es
decir, existe θ ∈ F (α, β) tal que F (θ) = F (α, β). Por maximalidad del grado, F (θ) = F (α). En
particular, β ∈ F (α). Por lo tanto, E = F (α). 

Ejercicios

1. Sea f (x) ∈ F [x] un polinomio mónico irreducible de grado ≥ 2 tal que f (x) tiene todas
sus raı́ces iguales en algún campo de descomposición. Pruebe que car(F ) = p > 0 y que
n
f (x) = xp − a para algún n ≥ 1 y para algún a ∈ F .
2. Sea f (x) ∈ F [x] un polinomio irreducible de grado m > 0, y car(F ) no divide a m. Demuestre
que f (x) es separable.
3. Sea F un campo de caracterı́stica p > 0, y sea a ∈ F tal que a 6∈ F p . Pruebe que el polinomio
n
f (x) = xp − a ∈ F [x] es irreducible para cada n ≥ 1.

4. Sea F un campo de caracterı́stica cero, y supóngase que existe un polinomio de grado dos
irreducible sobre F [x]. Probar que hay un número infinito de polinomios irreducibles sobre
F [x] de grado dos.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.07

5. Sea E/F extensión de campos con car(F ) = p > 0. Pruebe que si α ∈ E es algebraico sobre
n
F , entonces αp es separable sobre F para algún n ≥ 0.
6. Sea F un campo de caracterı́stica p > 0, y sea α algebraico sobre F . Demuestre que α es
n
separable sobre F si, y sólo si F (α) = F (αp ) para cada n ≥ 1.

7. Sea E/F una extensión de campos con car(F ) = p > 0, y sea n ≥ 1 tal que (n, p) = 1. Pruebe
que para cada α ∈ E, con nα ∈ F , se tiene que α ∈ F .
8. Sea α algebraico sobre F . Demuestre que [F (α) : F ]i es la multiplicidad de α en su polinomio
irreducible sobre F .

9. Sea E/F una extensión de campos finita con E campo perfecto. Demuestre que F es también
campo perfecto.
10. Sea F un campo y F una cerradura algebraica de F . Pruebe que F es un campo perfecto.
11. Sea E/F una extensión finita de campos con car(F ) = p > 0. Pruebe que la extensión E/F
es separable si, y sólo si E = E p F .

12. Sea E/F una extensión de finita y separable con car(F ) = p > 0. Pruebe que si {u1 , . . . , un }
m m
es una base de E sobre F , entonces también lo es {up1 , . . . , upn } para cualquier m ≥ 0.

13. Sea E/F una extensión finita de campos con F campo infinito. Pruebe que E/F es una
extensión simple si, y sólo si existe solamente un número finito de campos intermedios en la
extensión E/F .
14. Sea E/F una extensión de campos con car(F ) = p > 0, y sea α ∈ E algebraico sobre F .
Pruebe que las siguientes condiciones son equivalentes:

a) α es puramente inseparable sobre F ;

b) El polinomio irreducible de α sobre F es de la forma (x − α)m para algún m ≥ 1, donde
m es una potencia de p.

15. Sea E/F una extensión de campos con car(F ) = p > 0, y sean α ∈ E separable sobre F
y β ∈ E puramente inseparable sobre F . Pruebe que F (α, β) = F (α + β). Si α 6= 0 6= β,
entonces F (α, β) = F (αβ).
16. Dar un ejemplo de una extensión finita de campos que no sea separable ni puramente inse-
parable.
√ √ √ √
17. Encuentre un elemento α ∈ Q( 2, 3 3) tal que Q(α) = Q( 2, 3 3).
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.07

18. Sea E/F una extensión de campos finita con car(F ) = p > 0, y sea pr = [E : F ]i . Supóngase
s
que no existe una potencia ps , con s < r, tal que E p F sea separable sobre F . Pruebe que
la extensión E/F es simple. (Sugerencia: Suponga primeramente que E/F es una extensión
puramente inseparable).

19. Sea F un campo de caracterı́stica p > 0, y sea E = F (α, β) con α, β 6∈ F . Supóngase que
αp , β p ∈ F y que [E : F ] = p2 . Pruebe que E/F no es una extensión simple. Exhiba un
número infinito de campos intermedios.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.11

Capı́tulo 2

Teorı́a de Galois finita

1. Extensiones de Galois

Sean F un campo y F una cerradura algebraica fija. Si K/F es una extensión algebraica cualquiera,
entonces siempre supondremos que K es subcampo de F .

Para cualquier campo E, el grupo de automorfismo de E lo denotamos por Aut(E). Si G es

un subgrupo de Aut(E), el campo fijo de E por G se define como E G = {α ∈ E | σ(α) =
α, para cada σ ∈ G}, el cual es un subcampo de E.

Si E/F es una extensión de campos, el grupo de F -automorfismos de E es el grupo AutF (E) =

{σ ∈ Aut(E) | σ(a) = a, para cada a ∈ F }, el cual es un subgrupo de Aut(E).

Definición 1. Sea E/F una extensión de campos. La extensión E/F se dice que es una extensión
de Galois, o simplemente Galois, si la extensión E/F es normal y separable. Cuando esto ocurre,
al grupo AutF (E) de F -automorfismos de E se llama el grupo de Galois de la extensión de
Galois E/F , y se denota por Gal(E/F ).

Proposición 2. Sean E/F una extensión algebraica, y G = AutF (E). Las siguientes condiciones
son equivalentes.

(i) E/F es de Galois

(ii) E es el campo de descomposición de una familia de polinomios separables sobre F
(iii) E G = F

Demostración. (i) ⇔ (ii) : Es inmediato.

(i) ⇒ (iii) : Notemos que se tiene siempre la torre de campos F j E G j E. Probemos que
E G j F . Sea α ∈ E G y f (x) = irr(α, F, x). Sea β ∈ F un F -conjugado de α. Por hipótesis, β ∈ E;
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.11

además, existe un F -isomorfismo θ de F (α) sobre F (β) tal que θ(α) = β. Pero al extender θ a un
F -automorfismo σ de E, tenemos que α = σ(α) = β. De aquı́ que, f (x) = x − α ∈ F [x], es decir,
α ∈ F . Por lo tanto, E G = F .
(iii) ⇒ (i) : Sean α ∈ E, y α1 = α, . . . , αm los F -conjugados de α que están en E. Notemos
que los elementos α1 , . . . , αm son permutables con cada elemento de G. Si definimos fα (x) =
(x − α1 ) · · · (x − αm ), tenemos que fα (x) ∈ E G [x] = F [x]. Esto implica que fα (x) = irr(α, F, x).
Por lo tanto, E es el campo de descomposición de la familia {fα (x)}α∈E de polinomios separables
sobre F . Es decir, E/F es una extensión de Galois. 

Proposición 3. Sea E/F una extensión finita de campos, con G = AutF (E). Entonces,

(i) |G| ≤ [E : F ]
(ii) |G| = [E : F ] ⇔ E/F es una extensión de Galois.

Demostración. Se cumple que

|G| ≤ [E : F ]s ≤ [E : F ].
Además,

|G| = [E : F ] ⇔ |G| = [E : F ]s y [E : F ]s = [E : F ]
⇔ E/F es normal y separable
⇔ E/F es de Galois

Esto completa las demostraciones de (i) y (ii). 

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.18

Teorema 4 (Artin). Sea E un campo y G un subgrupo finito del grupo Aut(E). Entonces,

(i) La extensión E/E G es de Galois

(ii) Gal(E/E G ) = G
(iii) [E : E G ] = |G|.

Demostración. Sean α ∈ E, y S = {σ(α) | σ ∈ G}. Puesto que G es un grupo finito, tenemos que
S es finito y σ(S) = S para cada σ ∈ G, con α ∈ S. Si |S| = r, escribimos S = {σ1 (α), . . . , σr (α)},
y escribimos g(x) = (x − σ1 (α)) · · · (x − σr (α)) ∈ E G [x]. Entonces, g es un polinomio separable con
coeficientes en E G que tiene por raı́z a α. De aquı́ que, α es separable sobre E G con la propiedad
de que [E G (α) : E G ] ≤ |G|. Luego, necesariamente, la extensión E/E G es simple. Ası́ que, la
extensión E/E G es separable y finita. Por la Proposición 3, se tiene que

|AutE G (E)| ≤ [E : E G ] ≤ |G| ≤ |AutE G (E)|.

En consecuencia,

|AutE G (E)| = [E : E G ] = |G| y G = AutE G (E).

Por lo tanto, se tiene (i), (ii) y (iii). 

2. Teorı́a de Galois finita

Teorema 5 (Teorema fundamental de la teorı́a de Galois finita). Sea E/F una extensión
finita y de Galois, con G = Gal(E/F ). Entonces,

(i) Para cada campo intermedio K de la extensión E/F , la extensión E/K es una extensión de
Galois tal que si H = Gal(E/K) se tiene que K = E H , [E : K] = |H| y [K : F ] = [G : H].
(ii) Para cada H subgrupo de G, la extensión E/E H es una extensión de Galois, Gal(E/E H ) = H
y [E : E H ] = |H|
(iii) La correspondencia K 7→ Gal(E/K) es una biyección entre el conjunto de los campos in-
termedios de la extensión E/F con el conjunto de los subgrupo de G, cuya inversa está
determinada por la correspondencia H 7→ E H
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.18

(iv) Si K es un campo intermedio de la extensión E/F y σ ∈ G, entonces σ(K) es un campo

intermedio de la extensión E/F tal que Gal(E/σ(K)) = σGal(E/K)σ −1
(v) Si K es un campo intermedio de la extensión E/F , entonces la extensión K/F es de Galois
si, y solo si el grupo de Galois Gal(E/K) es un subgrupo normal de G. Cuando esto ocurre,
se tiene que la función

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

es un epimorfismo, cuyo kernel es el grupo Gal(E/K) y, por lo tanto, se tiene inducido el

isomorfismo

G/Gal(E/K) ∼
= Gal(K/F ).

Demostración. (i): Se sigue de la Proposición 2 y Proposición 3, haciendo notar que

[E : F ] |G|
[K : F ] = = = [G : H].
[E : K] |H|
(ii): Es el Teorema 4.
(iii): Sea Φ (resp. Ψ) la función determinada por la correspondiencia K 7→ Gal(E/K) (resp.
H 7→ E H ). Entonces, para cada campo intermedio K de la estensión E/F se tiene que

(Ψ ◦ Φ)(K) = Ψ(Φ(K)) = Ψ(Gal(E/K)) = E Gal(E/K) = K,

y para cada subgrupo H de G se cumple que

(Φ ◦ Ψ)(H) = Φ(Ψ(H)) = Φ(E H ) = Gal(E/E H ) = H.

Por lo tanto, Φ es biyección con inversa Ψ.
(iv): Sea K un campo intermedio de la extensión E/F y σ ∈ G. Es claro que σ(K) es un campo
intermedio de la extensión E/F . Además, tenemos lo siguiente. Si θ ∈ G, tenemos que

θ ∈ σGal(E/K)σ −1 ⇔ σ −1 θσ ∈ Gal(E/K)
⇔ (σ −1 θσ)(α) = α ∀α∈K
⇔ θ ∈ Gal(E/σ(K))

Es decir, σGal(E/K)σ −1 = Gal(E/σ(K)).

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.18

(v): Sea K un campo intermedio de la extensión E/F . Supóngase que la extensión K/F . Entonces,
la función

G → Gal(K/F )
σ 7→ σ|K
está bien definida y es un epimorfismo cuyo kernel es Gal(E/K). Por lo tanto, tenemos el isomor-
fismo

G/Gal(E/K) ∼
= Gal(K/F ).
Recı́procamente, suponemos que Gal(E/K) es un subgrupo normal de G. Sea ρ un F -homomorfismo
de K en F ; lo extendemos a un F -automorfismo σ de E. Entonces, tenemos que Gal(E/ρ(K)) =
Gal(E/σ(K)) = σGal(E/K)σ −1 = Gal(E/K). Esto implica que ρ(K) = K. Por lo tanto, ρ es un
F -automorfismo de K, y la extensión K/F es normal. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.18

Teorema 4 (Artin). Sea E un campo y G un subgrupo finito del grupo Aut(E). Entonces,

(i) La extensión E/E G es de Galois

(ii) Gal(E/E G ) = G
(iii) [E : E G ] = |G|.

Demostración. Sean α ∈ E, y S = {σ(α) | σ ∈ G}. Puesto que G es un grupo finito, tenemos que
S es finito y σ(S) = S para cada σ ∈ G, con α ∈ S. Si |S| = r, escribimos S = {σ1 (α), . . . , σr (α)},
y escribimos g(x) = (x − σ1 (α)) · · · (x − σr (α)) ∈ E G [x]. Entonces, g es un polinomio separable con
coeficientes en E G que tiene por raı́z a α. De aquı́ que, α es separable sobre E G con la propiedad
de que [E G (α) : E G ] ≤ |G|. Luego, necesariamente, la extensión E/E G es simple. Ası́ que, la
extensión E/E G es separable y finita. Por la Proposición 3, se tiene que

|AutE G (E)| ≤ [E : E G ] ≤ |G| ≤ |AutE G (E)|.

En consecuencia,

|AutE G (E)| = [E : E G ] = |G| y G = AutE G (E).

Por lo tanto, se tiene (i), (ii) y (iii). 

2. Teorı́a de Galois finita

Teorema 5 (Teorema fundamental de la teorı́a de Galois finita). Sea E/F una extensión
finita y de Galois, con G = Gal(E/F ). Entonces,

(i) Para cada campo intermedio K de la extensión E/F , la extensión E/K es una extensión de
Galois tal que si H = Gal(E/K) se tiene que K = E H , [E : K] = |H| y [K : F ] = [G : H].
(ii) Para cada H subgrupo de G, la extensión E/E H es una extensión de Galois, Gal(E/E H ) = H
y [E : E H ] = |H|
(iii) La correspondencia K 7→ Gal(E/K) es una biyección entre el conjunto de los campos in-
termedios de la extensión E/F con el conjunto de los subgrupo de G, cuya inversa está
determinada por la correspondencia H 7→ E H
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.18

(iv) Si K es un campo intermedio de la extensión E/F y σ ∈ G, entonces σ(K) es un campo

intermedio de la extensión E/F tal que Gal(E/σ(K)) = σGal(E/K)σ −1
(v) Si K es un campo intermedio de la extensión E/F , entonces la extensión K/F es de Galois
si, y solo si el grupo de Galois Gal(E/K) es un subgrupo normal de G. Cuando esto ocurre,
se tiene que la función

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

es un epimorfismo, cuyo kernel es el grupo Gal(E/K) y, por lo tanto, se tiene inducido el

isomorfismo

G/Gal(E/K) ∼
= Gal(K/F ).

Demostración. (i): Se sigue de la Proposición 2 y Proposición 3, haciendo notar que

[E : F ] |G|
[K : F ] = = = [G : H].
[E : K] |H|
(ii): Es el Teorema 4.
(iii): Sea Φ (resp. Ψ) la función determinada por la correspondiencia K 7→ Gal(E/K) (resp.
H 7→ E H ). Entonces, para cada campo intermedio K de la estensión E/F se tiene que

(Ψ ◦ Φ)(K) = Ψ(Φ(K)) = Ψ(Gal(E/K)) = E Gal(E/K) = K,

y para cada subgrupo H de G se cumple que

(Φ ◦ Ψ)(H) = Φ(Ψ(H)) = Φ(E H ) = Gal(E/E H ) = H.

Por lo tanto, Φ es biyección con inversa Ψ.
(iv): Sea K un campo intermedio de la extensión E/F y σ ∈ G. Es claro que σ(K) es un campo
intermedio de la extensión E/F . Además, tenemos lo siguiente. Si θ ∈ G, tenemos que

θ ∈ σGal(E/K)σ −1 ⇔ σ −1 θσ ∈ Gal(E/K)
⇔ (σ −1 θσ)(α) = α ∀α∈K
⇔ θ ∈ Gal(E/σ(K))

Es decir, σGal(E/K)σ −1 = Gal(E/σ(K)).

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.18

(v): Sea K un campo intermedio de la extensión E/F . Supóngase que la extensión K/F . Entonces,
la función

G → Gal(K/F )
σ 7→ σ|K
está bien definida y es un epimorfismo cuyo kernel es Gal(E/K). Por lo tanto, tenemos el isomor-
fismo

G/Gal(E/K) ∼
= Gal(K/F ).
Recı́procamente, suponemos que Gal(E/K) es un subgrupo normal de G. Sea ρ un F -homomorfismo
de K en F ; lo extendemos a un F -automorfismo σ de E. Entonces, tenemos que Gal(E/ρ(K)) =
Gal(E/σ(K)) = σGal(E/K)σ −1 = Gal(E/K). Esto implica que ρ(K) = K. Por lo tanto, ρ es un
F -automorfismo de K, y la extensión K/F es normal. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.21

Teorema 6. Sea E y F extensiones de un campo K, subcampos de un campo común L, tal que la

extensión E/K es una extensión finita de Galois. Entonces, el transladado de EF/F de E por F
y la extensión E/(E ∩ F ) también son extensión de Galois finita. En particular, [EF : F ] divide a
[E : K]

Demostración. Se tiene que las extensiones EF/F y E/(E ∩ F ) son extensiones de Galois finita,
tal que la función

ψ : Gal(EF/F ) → Gal(E/(E ∩ F ))
σ 7→ σ|E
está bien definida y es un monomorfismo. Probaremos que ψ es un isomorfismo, es decir, ψ es
suprayectivo. Sea H := ψ(Gal(EF/F )). H es un subgrupo de Gal(E/(E ∩ F )). Queremos ver que
H = Gal(E/(E ∩ F )). Notar que H = Gal(E/E H ), por lo cual hay que probar que E H = E ∩ F .
Es claro que E ∩ F j E H . Sea α ∈ E H , entonces θ(α) = α para todo θ ∈ H, lo cual implica
que σ|E (α) = α para cada α ∈ Gal(EF/F ), luego α ∈ F . Ası́ que, E H j E ∩ F . Por lo tanto,
E H = E ∩ F , y ψ es un isomorfismo. 

Teorema 7. Sean F1 /K y F2 /K dos extensiones de Galois finita, con F1 y F2 subcampos de un

campo común L, y tales que sus grupos de Galois son G1 y G2 , respectivamente. Sea E = F1 F2 .
Entonces,

(i) La extensión E/K es una extensión de Galois

(ii) Si G = Gal(E/K) entonces la función

φ : G → G1 × G2
σ 7→ (σ|F1 , σ|F2 )

es un monomorfismo
(iii) Si F1 ∩ F2 = K, entonces φ es un isomorfismo.

Demostración. Ejercicio.

Corolario 8. Sean F1 /K, . . . , Fn /K dos extensiones de Galois finita, con F1 , . . . , Fn subcampos

de un campo común L, y tales que sus grupos de Galois son G1 , . . . , Gn , respectivamente. Sea
E = F1 · · · Fn . Entonces,

(i) La extensión E/K es una extensión de Galois

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.21

(ii) Si G = Gal(E/K) entonces la función

φ : G → G1 × · · · × Gn
σ 7→ (σ|F1 , . . . , σ|Fn )

es un monomorfismo

(iii) Si (F1 · · · Fi ) ∩ Fi+1 = K para cada i = 1, . . . , n − 1, entonces φ es un isomorfismo.

Demostración. Por inducción sobre n.

Corolario 9. Sea E/K una extensión de Galois finita con grupo de Galois G, tal que G el producto
directo de los grupos G1 , . . . , Gn , es decir, G = G1 × · · · × Gn . Para cada i = 1, . . . , n, denotamos
Hi = G1 × · · · × Gi−1 × {1} × Gi+1 × · · · × Gn y Fi = E Hi (el campo fijo de E por Hi ). Entonces,

(i) La extensión Fi /K es de Galois con grupo de Galois Gi

(ii) (F1 · · · Fi ) ∩ Fi+1 = K para cada i = 1, . . . , n − 1

(iii) E = F1 · · · Fn .

Demostración. Ejercicio.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.25

Ejercicios

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . p es un número primo.

1. Sea P el campo primo de F . Pruebe que todos los homomorfismos de F en F son P -

homomorfismos.
2. Pruebe lo siguiente:
√ √
a) Sea n un entero distinto de cero. Pruebe que Q( n) = Q( d) donde d es un entero
libre cuadrado ó d = 1;
√
b) Sea d es un entero libre de cuadrado. Describa el campo Q( d), y encuentre un conjunto
de elementos que generen al campo total;
√ √
c) Calcule el grupo de automorfismos de Q( d), y dedezca que la extensión Q( d)/Q es
de Galois.

3. Sea α una raı́z cuarta de 2. Encuentre todos los campos intermedios de la extensión Q(α)/Q.
4. Sea E/F una extensión algebraica y normal. Sea Fs la cerradura separable de F en E, y Fi
la cerradura puramente inseparable de F en E. Pruebe que Fs /F es extensión normal, E/Fi
es extensión de Galois, y que

Gal(Fs /F ) ∼
= Gal(E/Fi ) = AutF (E).
√ √
5. Sean p1 , . . . , pn números primos distintos a pares. Demuestre que la extensión Q( p1 , . . . , pn )/Q
es de Galois, y calcule su grupo de Galois.

6. Sea α una solución de la ecuación 13x4 − 29x2 + 13 = 0. Pruebe que la extensión Q(α)/Q es
de Galois.
√
7. Encuentre el grupo de automorfismos de Q( 3 3).
8. Sea F una extensión de Q y f (x) = x3 −3x+1. Pruebe que f (x) es irreducible ó se descompone
sobre F [x].
9. Sea Q la cerradura algebraica de Q contenida en C, y sea E el campo de descomposición del
conjunto S = {x2 + a | a ∈ Q}. Pruebe lo siguiente:
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.25

a) E/Q es una extensión de Galois con E = Q(S0 ) donde

√
S0 = { p | p es número primo} ∪ {−1};

Sea G = Gal(E/Q).
b) Para cada σ ∈ G, σ 2 = idE ;
c) El grupo G es un espacio vectorial sobre el campo Z/2Z;
d ) |G| = |P(S0 )| > |S0 | = N0 . (Sugerencia: Defina ϕ : G −→ P(S0 ) tal que para cada
√ √ √
σ ∈ G, ϕ(σ) = Y donde Y = { p | σ( p) = p});
e) Dada una B base de G sobre el campo Z/2Z, se tiene que |B| = |G|;
f ) [E : Q] ≤ N0 < |AutQ (E)|.

10. Sea K(x) el campo de funciones racionales en la variable x sobre K. Sea f (x)/g(x) ∈ K(x)
(f (x), g(x) ∈ K[x], g(x) 6= 0 y (f (x), g(x)) = 1). Pruebe lo siguiente:

a) x es algebraico sobre K(f (x)/g(x)) y

[K(x) : K(f (x)/g(x))] = max{deg(f ), deg(g)}

(Sugerencia: x es raı́z del polinomio no cero ϕ(y) = (f (x)/g(x))g(y)−f (y) ∈ K(f (x)/g(x))[y];
pruebe que deg(ϕ) = max{deg(f ), deg(g)}. Además, ϕ(y) es irreducible, al probar que
f (x)/g(x) es trascendente sobre K, y reemplazando f (x)/g(x) por la variable z, consi-
dere ϕ(y) = zg(y) − f (y) ∈ K(z)[y] el cual es irreducible en K[z][y] pues ϕ es lineal en
z y (f (x), g(x)) = 1);
b) Si E es un campo intermedio de la extensión K(x)/K, entonces K(x)/E es una extensión
finita;
c) La asignación x 7−→ f /g induce un homomorfismo σ : K(x) −→ K(x) tal que h(x)/t(x) 7−→
h(f /g)/t(f /g). σ es un K-automorfismo de K(x) si, y sólo si max{deg(f ), deg(g)} = 1.
d ) AutK K(x) consiste de todos aquellos automorfismos inducidos por el asignamiento:
x 7−→ (ax + c)/(cx + d), donde a, b, c, d ∈ K y ad − bc 6= 0.
e) Si K es un campo infinito, entonces K(x)/K es extensión de Galois. (Sugerencia: Sea
E el campo fijo de K(x) por AutK K(x), entonces si E 6= K se tiene que la extensión
K(x)/E es finita, pero AutE K(x) = AutK K(x) es infinito).
f ) Si K es finito, entonces K(x)/K no es de Galois. (Sugerencia: Si K(x)/K fuera una
extensión de Galois, entonces AutK K(x) serı́a infinito, contradicción).
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.25

g) Si σ ∈ Sn , entonces la función K(x1 , . . . , xn ) −→ K(x1 , . . . , xn ) dada por

f (x1 , . . . , xn ) f (xσ(1) , . . . , xσ(n) )

7−→
g(x1 , . . . , xn ) g(xσ(1) , . . . , xσ(n) )

es un K-automorfismo de K(x1 , . . . , xn ).

2. El grupo de Galois de un polinomio

Definición 10. Sean F una cerradura algebraica del campo F , f (x) ∈ F [x] de grado ≥ 1 y E el
campo de descomposición del polinomio f sobre F contenido en F . El grupo de automorfismos
de f sobre F es el grupo AutF (E). Si el polinomio f es separable, el grupo de automorfismos de
f sobre F es llamado el grupo de Galois de f sobre F , y será denotado or G(f ) o Gf .

Sea Sn el grupo simétrico de grado n. Un subgrupo G de Sn se dice que es transitivo si para cada
i, j ∈ {1, . . . , n}, existe σ ∈ G tal que σ(i) = j.

Teorema 11. Sean F un campo, f (x) ∈ F [x] y G el grupo de automorfismos de f sobre F .

Entonces,

(i) El grupo G es isomorfo a un subgrupo de algún grupo simétrico Sn

(ii) Si f es irreducible y separable sobre F de grando n, entonces n divide a |G| y el grupo de
Galois G es isomorfo a un subgrupo transitivo de Sn .

Demostración. Sean E el campo de descomposición de f sobre F en la cerradura algebraica F

que contiene a E, y α1 , . . . , αn ∈ E las raı́ces distintas de f . Tenemos que E = F (α1 , . . . , αn ), con
1 ≤ n ≤ deg(f ).
(i): Si σ ∈ G, entonces σ induce una permutación de Sn sobre el conjunto {α1 , . . . , αn }. Luego, la
función

Φ : G → Sn
σ 7→ σ|{α1 ,...,αn }
es un monomorfismo.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.25

(ii): Tenemos que la extensión E/F es de Galois teniendo como campo intermedio al campo F (α1 ),
donde [F (α1 ) : F ] = n. De aquı́ que, n|[E : F ] = |G|.
Finalmente, dadas αi y αj raı́ces de f , tenemos que existe un F -isomorfismo σ de F (αi ) sobre F (αj )
que mapeo αi en αj . Extendemos σ a un F -automorfismo de E, la cual la seguimos denotando por
σ. Ası́ que, σ ∈ G y σ(αi ) = αj . Por lo tanto, G es isomorfo a un subgrupo transitivo de Sn . 

Teorema 12. Sea F un campo y f (x) ∈ F [x] irreducible y separable de grado 2. Entonces, el grupo
de Galois G de f sobre F es isomorfo al grupo Z/2Z.

Demostración. De acuerdo con el Teorema 11, tenemos que G es isomorfo a un subgrupo transitivo
del grupo simétrico S2 ∼
= Z/2Z. Pero, S2 es el único subgrupo transitivo de S2 . Por lo tanto,
G∼= Z/2Z. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.25

Ejercicios

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . p es un número primo.

1. Sea P el campo primo de F . Pruebe que todos los homomorfismos de F en F son P -

homomorfismos.
2. Pruebe lo siguiente:
√ √
a) Sea n un entero distinto de cero. Pruebe que Q( n) = Q( d) donde d es un entero
libre cuadrado ó d = 1;
√
b) Sea d es un entero libre de cuadrado. Describa el campo Q( d), y encuentre un conjunto
de elementos que generen al campo total;
√ √
c) Calcule el grupo de automorfismos de Q( d), y dedezca que la extensión Q( d)/Q es
de Galois.

3. Sea α una raı́z cuarta de 2. Encuentre todos los campos intermedios de la extensión Q(α)/Q.
4. Sea E/F una extensión algebraica y normal. Sea Fs la cerradura separable de F en E, y Fi
la cerradura puramente inseparable de F en E. Pruebe que Fs /F es extensión normal, E/Fi
es extensión de Galois, y que

Gal(Fs /F ) ∼
= Gal(E/Fi ) = AutF (E).
√ √
5. Sean p1 , . . . , pn números primos distintos a pares. Demuestre que la extensión Q( p1 , . . . , pn )/Q
es de Galois, y calcule su grupo de Galois.

6. Sea α una solución de la ecuación 13x4 − 29x2 + 13 = 0. Pruebe que la extensión Q(α)/Q es
de Galois.
√
7. Encuentre el grupo de automorfismos de Q( 3 3).
8. Sea F una extensión de Q y f (x) = x3 −3x+1. Pruebe que f (x) es irreducible ó se descompone
sobre F [x].
9. Sea Q la cerradura algebraica de Q contenida en C, y sea E el campo de descomposición del
conjunto S = {x2 + a | a ∈ Q}. Pruebe lo siguiente:
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.25

a) E/Q es una extensión de Galois con E = Q(S0 ) donde

√
S0 = { p | p es número primo} ∪ {−1};

Sea G = Gal(E/Q).
b) Para cada σ ∈ G, σ 2 = idE ;
c) El grupo G es un espacio vectorial sobre el campo Z/2Z;
d ) |G| = |P(S0 )| > |S0 | = N0 . (Sugerencia: Defina ϕ : G −→ P(S0 ) tal que para cada
√ √ √
σ ∈ G, ϕ(σ) = Y donde Y = { p | σ( p) = p});
e) Dada una B base de G sobre el campo Z/2Z, se tiene que |B| = |G|;
f ) [E : Q] ≤ N0 < |AutQ (E)|.

10. Sea K(x) el campo de funciones racionales en la variable x sobre K. Sea f (x)/g(x) ∈ K(x)
(f (x), g(x) ∈ K[x], g(x) 6= 0 y (f (x), g(x)) = 1). Pruebe lo siguiente:

a) x es algebraico sobre K(f (x)/g(x)) y

[K(x) : K(f (x)/g(x))] = max{deg(f ), deg(g)}

(Sugerencia: x es raı́z del polinomio no cero ϕ(y) = (f (x)/g(x))g(y)−f (y) ∈ K(f (x)/g(x))[y];
pruebe que deg(ϕ) = max{deg(f ), deg(g)}. Además, ϕ(y) es irreducible, al probar que
f (x)/g(x) es trascendente sobre K, y reemplazando f (x)/g(x) por la variable z, consi-
dere ϕ(y) = zg(y) − f (y) ∈ K(z)[y] el cual es irreducible en K[z][y] pues ϕ es lineal en
z y (f (x), g(x)) = 1);
b) Si E es un campo intermedio de la extensión K(x)/K, entonces K(x)/E es una extensión
finita;
c) La asignación x 7−→ f /g induce un homomorfismo σ : K(x) −→ K(x) tal que h(x)/t(x) 7−→
h(f /g)/t(f /g). σ es un K-automorfismo de K(x) si, y sólo si max{deg(f ), deg(g)} = 1.
d ) AutK K(x) consiste de todos aquellos automorfismos inducidos por el asignamiento:
x 7−→ (ax + c)/(cx + d), donde a, b, c, d ∈ K y ad − bc 6= 0.
e) Si K es un campo infinito, entonces K(x)/K es extensión de Galois. (Sugerencia: Sea
E el campo fijo de K(x) por AutK K(x), entonces si E 6= K se tiene que la extensión
K(x)/E es finita, pero AutE K(x) = AutK K(x) es infinito).
f ) Si K es finito, entonces K(x)/K no es de Galois. (Sugerencia: Si K(x)/K fuera una
extensión de Galois, entonces AutK K(x) serı́a infinito, contradicción).
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.25

g) Si σ ∈ Sn , entonces la función K(x1 , . . . , xn ) −→ K(x1 , . . . , xn ) dada por

f (x1 , . . . , xn ) f (xσ(1) , . . . , xσ(n) )

7−→
g(x1 , . . . , xn ) g(xσ(1) , . . . , xσ(n) )

es un K-automorfismo de K(x1 , . . . , xn ).

2. El grupo de Galois de un polinomio

Definición 10. Sean F una cerradura algebraica del campo F , f (x) ∈ F [x] de grado ≥ 1 y E el
campo de descomposición del polinomio f sobre F contenido en F . El grupo de automorfismos
de f sobre F es el grupo AutF (E). Si el polinomio f es separable, el grupo de automorfismos de
f sobre F es llamado el grupo de Galois de f sobre F , y será denotado or G(f ) o Gf .

Sea Sn el grupo simétrico de grado n. Un subgrupo G de Sn se dice que es transitivo si para cada
i, j ∈ {1, . . . , n}, existe σ ∈ G tal que σ(i) = j.

Teorema 11. Sean F un campo, f (x) ∈ F [x] y G el grupo de automorfismos de f sobre F .

Entonces,

(i) El grupo G es isomorfo a un subgrupo de algún grupo simétrico Sn

(ii) Si f es irreducible y separable sobre F de grando n, entonces n divide a |G| y el grupo de
Galois G es isomorfo a un subgrupo transitivo de Sn .

Demostración. Sean E el campo de descomposición de f sobre F en la cerradura algebraica F

que contiene a E, y α1 , . . . , αn ∈ E las raı́ces distintas de f . Tenemos que E = F (α1 , . . . , αn ), con
1 ≤ n ≤ deg(f ).
(i): Si σ ∈ G, entonces σ induce una permutación de Sn sobre el conjunto {α1 , . . . , αn }. Luego, la
función

Φ : G → Sn
σ 7→ σ|{α1 ,...,αn }
es un monomorfismo.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.25

(ii): Tenemos que la extensión E/F es de Galois teniendo como campo intermedio al campo F (α1 ),
donde [F (α1 ) : F ] = n. De aquı́ que, n|[E : F ] = |G|.
Finalmente, dadas αi y αj raı́ces de f , tenemos que existe un F -isomorfismo σ de F (αi ) sobre F (αj )
que mapeo αi en αj . Extendemos σ a un F -automorfismo de E, la cual la seguimos denotando por
σ. Ası́ que, σ ∈ G y σ(αi ) = αj . Por lo tanto, G es isomorfo a un subgrupo transitivo de Sn . 

Teorema 12. Sea F un campo y f (x) ∈ F [x] irreducible y separable de grado 2. Entonces, el grupo
de Galois G de f sobre F es isomorfo al grupo Z/2Z.

Demostración. De acuerdo con el Teorema 11, tenemos que G es isomorfo a un subgrupo transitivo
del grupo simétrico S2 ∼
= Z/2Z. Pero, S2 es el único subgrupo transitivo de S2 . Por lo tanto,
G∼= Z/2Z. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.28

Definición 13. Sean F un campo, f ∈ F [x] de grado n ≥ 1, teniendo n raı́ces distintas α1 , . . . , αn ∈

F y E = F (α1 , . . . , αn ). Sea
Y
∆f = ∆ := (αi − αj ) ∈ E.
1≤i<j≤n

El discriminante de f se define com

δf = δ := ∆2f ∈ E.

Teorema 14. En las notaciones y condiciones de la Definición 13, denotamos por G = Gal(E/F ) <
Sn . Entonces,

(i) δf ∈ F
(ii) Para cada σ ∈ G, σ es par (resp. impar) si, y solo si σ(∆) = ∆ (resp. σ(∆) = −∆)

Demostración. (ii): Tenemos que, para cada σ ∈ G

σ es par ⇔ sgn(σ) = 1 ⇔ σ(∆)/∆ = 1 ⇔ σ(∆) = ∆.

(i): Para cada σ ∈ G, σ(∆) = ±∆. Por lo que, σ(∆2 ) = ∆2 para cada σ ∈ G. Por lo tanto, δf ∈ F .


Corolario 15. En las notaciones y condiciones de la Definición 13, F (∆) es un campo intermedio
de la extensión E/F , tal que el grupo de Galois de la extensión E/F (∆) es G ∩ An . En particular,
G consiste de puras permutaciones pares si, y solo si ∆ ∈ F .

Deostración. Ejercicio.

Teorema 16. Sean F un campo, f (x) ∈ F [x] un polinomio irreducible y separable de grado 3 y G
el grupo de Galois de f sobre F . Entonces

(i) G es isomorfo a A3 o S3

(ii) G es isomorfo a A3 si, y solo si el discriminante δf de f sobre F es un cuadrado en F .

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.28

Demostración. (i): Se sigue del Teorema 11, sabiendo que los únicos subgrupos transitivos de S3
son A3 y S3 .
(ii): δf es un cuadrado en F ⇔ existe a ∈ F tal que δf = a2 ⇔ ∆2 = a2 ⇔ ∆ = ±a ∈ F ⇔
G∼ = A3 . 

Teorema 17. Sean F un campo de car(F ) 6= 2, 3 y f (x) = x3 + bx2 + cx + d ∈ F [x] teniendo tres
raı́ces distintas en F . Entonces, el polinomio g(x) = f (x − b/3) ∈ F [x] tiene la forma x3 + px + q,
y el discriminante δf = δg = −4p3 − 27q 2 .

Demostración. Sean α1 , α2 , α3 las tres raı́ces distintas de f , y β1 = α1 + b/3, β2 = α2 + b/3, β3 =

α3 + b/3. Las raı́ces de g son β1 , β2 , β3 . De aquı́ que, δf = δg . Por otro lado,

g(x) = f (x − b/3)
b2
   3 
2b bc
= x3 + c − x+ − +d
3 27 3

Si p = c − b2 /3 y q = 2b3 /27 − bc/3 + d, entonces p, q ∈ F y, de aquı́ que, g(x) = x3 + px + q =

(x − β1 )(x − β2 )(x − β3 ), lo cual implica que

β1 + β2 + β3 = 0
β1 β2 + β1 β3 + β2 β3 = p
−β1 β2 β3 = q
βi3 = −pβi − q (i = 1, 2, 3) y
(βi − βj )2 = (βi + βj ) − 4βi βj si i 6= j.
Usando las ecuaciones anteriores, tenemos que

δf = ∆2f = (β1 − β2 )2 (β1 − β3 )2 (β2 − β3 )2 = −4p3 − 27q 2 .



Ejemplos 18.

1. Sea f (x) = x3 + 15x2 + 72x + 111 ∈ Q[x], donde f 0 (x) = 3x2 + 30x + 72. Tenemos que las
raı́ces de la derivada f 0 (x) = 3x2 +30x+72 son −4 y −6 las cuales no son raı́ces de f . Ası́ que,
todas las raı́ces de f son simples y, de aquı́ que, son distintas. Utilizando el cambio de variable
x−b/3 = x−5, tenemos que g(x) = f (x−5) = (x−5)3 +15(x−5)2 +72(x−5)+111 = x3 −3x+1.
Si g tiene una raı́z µ ∈ Q, entonces expresamos µ = a/b donde a, b ∈ Z, b > 0 y (a, b) = 1.
Luego, se tiene la ecuación
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.10.28

a3 − 3ab2 + b3 = 0.

Puesto que (a, b) = 1, necesariamente b = 1 y a3 − 3a + 1 = 0, donde a es un entero divisor

de 1, es decir, µ = a = ±1. Pero ±1 no son raı́ces de g. Lo cual es una contradicción. Esto
significa que g es irreducible sobre Q y, en consecuencia, f es irreducible sobre Q tal que el
discriminante de f es δf = −4(−3)3 − 27(1)2 = 81 el cual es un cuadrado en Q. Por lo tanto,
Gf ∼= A3 .
2. Siguiendo el procedimiento del ejemplo anterior, sea f (x) = x3 − 21x2 + 143x − 313 ∈ Q[x],
donde f 0 (x)√= 3x2 − 42x + 143. 0 2
√ Tenemos que las raı́ces de la derivada f (x) = 3x − 42x + 143
son (21 + 2 3)/3 y (21 − 2 3)/3 las cuales no son raı́ces de f . Ası́ que, todas las raı́ces de
f son simples y, de aquı́ que, son distintas. Utilizando el cambio de variable x − b/3 = x + 7,
tenemos que g(x) = f (x + 7) = (x + 7)3 − 21(x + 7)2 + 143(x + 7) − 313 = x3 − 4x + 2 el
cual, or el Criterio de Eisenstein, es un polinomio irreducible sobre Q. El discriminante de f
es δf = −4(−4)3 − 27(2)2 = 148 el cual no es un cuadrado en Q. Por lo tanto, Gf ∼ = S3 .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.04

Ahora trataremos, de una manera informal, el caso de un polinomio de grado 4. Ası́ que, sean F
un campo, F la cerradura algebraica de F , f (x) ∈ F [x] un polinomio mónico de grado 4, teniendo
cuatro raı́ces distintas α1 , α2 , α3 , α4 ∈ F . Sea E el campo de descomposición de f sobre F , es
decir, E = F (α1 , α2 , α3 , α4 ). Tenemos que la extensión E/F es de Galois. Denotemos por G al
grupo de Galois del polinomio f , o sea, G = Gf . Luego, G puede ser considerado como un grupo
de permutaciones del conjunto {α1 , α2 , α3 , α4 }, subgrupo de S4 .

Se tiene que S4 admite un subgrupo normal de orden 4, a saber

V = {e, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)},

el cual es isomorfo al grupo 4-Klein Z/2Z × Z/2Z. Este subgrupo normal V de S4 es importante
en este desarrollo.

Si f es irreducible sobre F , tenemos que su grupo de Galois G es un subgrupo transitivo de S4

cuyo orden es divisible por 4. Puesto que |S4 | = 24, las posibilidades del orden de G son 4, 8, 12 o
24 y, para cada uno de estos órdenes, S4 tiene subgrupos transitivos de ordenes 4, 8, 12 o 24. En
el primer caso, S4 tiene varios subgrupo transitivo de orden 4, a saber, el subgrupo normal V de
S4 , y varios subgrupos cı́clicos generados por 4-ciclos. Para el segundo caso, S4 tiene un subgrupo
de orden 8 isomorfo al subgrupo diédrico D4 teniendo 8 elementos, y este es el subgrupo de S4
generado por los elementos (2 4) y (1 2 3 4), el cual no es normal en S4 . Pero, notemos que este
subgrupo es un 2-subgrupo Sylow de S4 y, como no es normal en S4 , tenemos que existen otros
dos 2-subgrupos Sylow de S4 isomorfos al grupo diédrico D4 y que son conjugados al subgrupo
h(2 4) , (1 2 3 4)i. Finalmente, los subgrupos transitivos de S4 de orden 12 y 24 son exactamente
A4 y el propio S4 . Por lo tanto, el grupo de Galois G del polinomio f irreducible sobre F es isomorfo
a V , a D4 , a A4 o a S4 . Veamos cómo se debe establecer cuál de estas posibilidades debe de ser.

Definimos los elementos de E

α = α1 α2 + α3 α4 , β = α1 α3 + α2 α4 y γ = α1 α4 + α2 α3 .
Y también definimos la resolvente cúbica del polinomio f sobre F como el polinomio

(x − α)(x − β)(x − γ) ∈ F (α, β, γ)[x].

Denotemos por g(x) a la resolvente cúbica de f sobre F , es decir, g(x) = (x − α)(x − β)(x − γ). Se
cumple que g(x) ∈ F [x]. En efecto, si f (x) = e + dx + cx2 + bx3 + x4 , entonces tenemos que

g(x) = −b2 e + 4ce − d2 + (bd − 4e)x − cx2 + x3 ∈ F [x].

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.04

Por otro lado, la extensión E/F es de Galois y F (α, β, γ) es un campo intermedio de la extensión
E/F ; de aquı́ que, la extensión E/F (α, β, γ) es de Galois. Notemos que todo F -automorfismo de
G ∩ V deja fijo a todo elemento del campo F (α, β, γ), donde G ∩ V es un subgrupo normal de
G. Más aún, se tiene que el grupo de Galois de la extensión E/F (α, β, γ), Gal(E/F (α, β, γ)), es
isomorfo a G ∩ V . Luego, la extensión F (α, β, γ)/F es de Galois, con grupo de Galois isomorfo a
G/(G ∩ V ), donde el orden |G ∩ V | es de valor 1, 2 o 4.
Si denotamos por m = [F (α, β, γ) : F ] entonces tenemos que m ≤ 6, ya que el campo F (α, β, γ) es
el campo de descomposición sobre F de la resolvente cúbica g(x). Es decir, m = 1, 2, 3 o 6.

Tenemos el siguiente resultado.

Teorema 19. En las condiciones anteriores. Si f es un polinomio irreducible y denotamos por

m = [F (α, β, γ) : F ], entonces

(i) m = 1 ⇔ G ∼
=V
(ii) m = 2 ⇔ G ∼ = D4 o G ∼ = Z/4Z; G ∼
= D4 si f es un polinomio irreducible sobre F (α, β, γ),
∼
y G = Z/4Z en otro caso
(iii) m = 3 ⇔ G ∼
= A4
(iv) m = 6 ⇔ G ∼
= S4

Demostración. Ejercicio (Ver la Proposición 4.11, del libro de Hungerford, pag. 273.)

Nada más, para tener una idea de lo que está pasando, analicemos una parte del inciso (ii) del
Teorema 19, cuyo enunciado tiene caracterı́sticas muy especı́ficas. Por supuesto, sabiendo quiénes
son los subgrupos transitivos de orden 4, 8, 12 y 24 de S4 . Supóngase que m = 2 y consideremos
todas las posibilidades que debe de ser el orden |G| del grupo G.

Si |G| = 4, entonces tenemos que G ∼=V oG∼ = Z/4Z, donde |G|/|G∩V | = |G/G∩V | = [F (α, β, γ) :
F ] = m = 2, es decir, |G ∩ V | = 2. Por lo tanto, G no puede ser isomorfo al subgrupo V de S4
y, necesariamente, G ∼ = Z/4Z. Pero también notemos que el polinomio f no puede ser irreducible
sobre el campo F (α, β, γ), ya que [E : F (α, β, γ)] = 2, para este caso.

Si |G| = 8, entonces el grupo G tiene que ser isomorfo al grupo diédrico D4 de S4 , y |G ∩ V | = 4,

pues estamos suponiendo que m = 2. De aquı́ que, V tiene que ser un subgrupo del grupo G, ya
que G ∩ V = V . Para cualesquier dos raı́ces distintas de f , por ejemplo αi y αj , existe σ ∈ V
tal que σ(αi ) = αj donde σ deja fijo a los elementos del campo intermedio F (α, β, γ), pues V
es transitivo. Luego, si h(x) = irr(αi , F (α, β, γ), x) entonces αj debe de ser raı́z de h(x). Siendo
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.04

j arbitrario distinto de i, tenemos que toda raı́z de f es raı́z de h. Por lo tanto, h = f , y f es

irreducible sobre F (α, β, γ).

Si |G| = 12 o 24, entonces debe de pasar que G ∼ = A4 o G ∼ = S4 , respectivamente. Pero esto

implicarı́a que |G ∩ V | = 6 o |G ∩ V | = 12, respectivamente, lo cual es absurdo. Luego, estos casos
no se pueden dar.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.08

Teorema 20. Sea p un número primo y f un polinomio irreducible con coeficientes en Q de grado
p el cual tiene exactamente dos raı́ces no reales en C. Entonces, el grupo de Galois de f es isomorfo
a Sp .

Demostración. Sea G el grupo de Galois de f . Tenemos que G es subgrupo de Sp , donde p divide

al orden |G| de G. Sea σ ∈ G tal que el orden de σ es p. Luego, necesariamente, σ debe de ser
un p-ciclo. Por otro lado, la conjugación compleja es un R-automorfismo de C que mueve a cada
elemento no real; por lo que intercambia las dos raı́ces no reales de f , y fija a las restantes raı́ces
de f . Esto implica que G tiene una transposición τ = (i1 i2 ). Puesto que σ la podemos escribir con
σ = (i1 j2 · · · jp ), donde i2 ∈ {j2 , . . . , jp }, existe un k ∈ N tal que σ k = (i1 i2 · · · ). Sin pérdida de
generalidad, y cambiando notación, podemos suponer que τ = (1 2) y σ = (1 2 · · · p) los cuales
son elementos de G. Por lo tanto, G = Sp . 
p
Ejemplo
p 21. Sea f (x) = x5 − 8x − 2 ∈ Q[x], donde f 0 (x) = 5x4 − 8. Por lo tanto, x1 = − 4 8/5 y
x2 = 4 8/5 son los únicos puntos crı́tos de f , con f 00 (x1 ) < 0 y f 00 (x2 ) > 0; ası́ que, x1 (resp. x2 )
es un máximo (resp. mı́nimo) local de f , con f (x1 ) > 0 y f (x2 ) < 0. Notar que lı́m f (x) = −∞
x→−∞
y lı́m f (x) = ∞. Ası́ pues, f exactamente tres raı́ces reales y dos complejas no reales. Puesto que
x→∞
f es un polinomio irreducible sobre Q, tenemos que el grupo de Galois Gf de f es isomorfo a S5 .

4. Campos finitos

Sea F un campo finito. Necesariamente se tiene que la caracterı́sta de F debe de ser un número
primo p, y su campo primo, denotado por Fp , es isomorfo al campo finito Z/pZ de p elementos.
Siempre supondremos dada una cerradura algebraica fija Fp de Fp que contiene a F

Teorema 22. Sea F un campo finito de q elementos, con car(F ) = p > 0 (p número primo).
Entonces,

(i) La extensión F/Fp es una extensión finita tal que si n = [F : Fp ] entonces q = pn .

(ii) F ∗ es un grupo cı́clico multiplicativo de orden q − 1 = pn − 1
(iii) Los elementos de F son exactamente las raı́ces del polinomio xq − x ∈ Fp [x]

(iv) El campo finito F está determinado de manera completa por el polinomio xq − x ∈ Fp [x]
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.08

(v) El polinomio xq − x ∈ Fp [x] es un polinomio separable sobre Fp

Demostración. (i): Tenemos que la extensión F/Fp es finita. Si n = [F : Fp ], tenemos que

F ∼
= Fp × · · · × Fp como espacios vectoriales sobre Fp , donde la cantidad de factores es n. Por lo
tanto,

|F | = |Fp × · · · × Fp | = |Fp | · · · |Fp | = pn .

(ii): Es claro.
(iii): |F ∗ | = q − 1, con lo cual, si α ∈ F ∗ , se tiene que αq−1 = 1, es decir, todo elemento de F ∗ es
raı́z del polinomio xq−1 − 1 ∈ Fp [x]. En particular, todas las raı́ces de xq−1 − 1 son simples y tiene
exactamente q − 1 raı́ces distintas las cuales son los elementos de F ∗ . Por lo tanto, las raı́ces del
polinomio xq − x ∈ Fp [x] son exactamente los q elementos de F .
(iv) y (v): Son claras. 

En las condiciones del Teorema 22, inciso (iv), denotaremos al campo finito de q = pn elementos
como Fq = Fpn .

Teorema 23. Sean n, k enteros positivos, y E = Fpk y F = Fpn los campos finitos de pk y pn
elementos, extensiones del campo primo Fp , respectivamente. Tenemos que F j E si, solo si n | k.

Demostración. ⇒: Tenemos que k = [E : Fp ] = [E : F ][F : Fp ] = [E : F ]n. Por lo tanto, n | k.

⇐: Usando la ecuación algebraica am − 1 = (a − 1)(am−1 + · · · + a + 1), tenemos que si n | k,
n k
entonces (pn − 1) | (pk − 1). Por lo cual, el polinomio xp −1 − 1 divide al polinomio xp −1 − 1, en
n k
el anillo Fp [x]. En consecuencia, el polinomio xp − x divide al polinomio xp − x. Por lo tanto,
F j E. 

Teorema 24. Sea Fq el campo finito de q = pn elementos. Entonces, para cada m ∈ N existe un
subcampo E de Fp de q m elementos, extensión de Fq , tal que [E : Fq ] = m.

Demostración. Basta tomar el campo E = Fpk = Fqm , donde k = mn. 

Por lo tanto, toda extensión E/F de campos finitos lo podemos expresar en la forma Fqm /Fq , para
algún m ≥ 1. Con lo cual tenemos lo siguientes.

Corolario 25. Si Fqm /Fq es una extensión de campos finitos, entonces el campo finito Fqm es el
m
campo de descomposición del polinomio xq − x sobre Fq .

Demostración. Es inmediato. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.11

Ejercicios
El grupo de Galois de un polinomio

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . Y p es un número primo.

1. Supóngase que F es un subcampo de R y f (x) ∈ F [x] es un polinomio irreducible de grado

3. Sea δ el discriminante de f (x). Pruebe lo siguiente:

a) δ > 0 si, y sólo si f (x) tiene tres raı́ces reales;

b) δ < 0 si, y sólo si f (x) tiene exactamente una raı́z real.

2. Sea α una raı́z cuarta de 2. Encuentre todos los campos intermedios de la extensión Q(α)/Q.
3. Sea F un campo con car(F ) 6= 2, y sea f (x) ∈ F [x] un polinomio cúbico cuyo discriminante
es un cuadrado en F . Pruebe que f (x) es o bien irreducible ó se descompone en F [x].
4. Sea E/F una extensión de campos y f (x) un polinomio en F [x] el cual se descompone en
E[x] como:
f (x) = (x − u1 )n1 · · · (x − ur )nr
(ui distintos; ni ≥ 1). Sean a0 , . . . , ar los coeficientes del polinomio g(x) = (x−u1 ) · · · (x−ur )
y K = F (a0 , . . . , ar ). Si E es el campo de descomposición del polinomio f (x) sobre F ,
entonces pruebe lo siguiente:

a) E es el campo de descomposición de g sobre K;

b) E/K es extensión de Galois;
c) Gal(E/K) = AutF (E).

5. Sea F un campo con car(F ) 6= 2, 3. Pruebe que el discriminante del polinomio f (x) =
x3 + bx2 + cx + d ∈ F [x] es δ = −4c3 − 27d2 + b2 (c2 − 4bd) + 18bcd.
6. Pruebe que el polinomio x3 − 3x + 1 ∈ F [x] es o bien irreducible ó se descompone en F [x].
7. Pruebe que S4 no tiene subgrupos transitivos de orden 6.
8. Sea f (x) ∈ F [x] un polinomio irreducible y separable de grado 4, y sea u una raı́z de f (x).
Pruebe que no existe un campo intermedio propio de la extensión F (u)/F si, y sólo si el
grupo de Galois del polinomio f (x) es o bien A4 ó S4 .
9. Sea x4 + ax2 + b ∈ F [x] (con car(F ) 6= 2) un polinomio irreducible con grupo de Galois G.
Pruebe lo siguiente:
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.11

a) Si b es un cuadrado en F , entonces G = V ;
b) Si b no es un cuadrado en F y b(a2 − 4b) es un cuadrado en F , entonces G ∼
= Z/4Z;
2 ∼
c) Si ni b ni b(a − 4b) es un cuadrado en F , entonces G = D4 .

10. Sea E el campo de descomposición de un polinomio f (x) sobre F . Calcule el grupo de

AutF (E) donde f (x) es el polinomio sobre F como se da:
√ √
a) x4 − 5 sobre Q; sobre Q( 5); sobre Q( 5i);
b) (x3 − p1 )(x2 − p2 )(x2 − p3 ) sobre Q, donde los pi ’s son números primos distintos;
c) x3 − x − 1 sobre Q;
√
d ) x3 − 10 sobre Q; sobre Q( 2);
e) x4 + 3x3 + 3x − 2 sobre Q;
√
f ) (x3 − 2)(x3 − 3) sobre Q( −3);
g) x4 − 4x2 − 1 sobre Q;
h) x4 + 2x2 + x + 3 sobre Q;
i ) x5 − 6x + 3 sobre Q;
j ) x4 − a sobre Q, donde a es cualquier entero distinto de 0 y de ±1 libre de cuadrado;
k ) xn − a sobre Q, donde n > 1 impar, y a es cualquier entero positivo libre de cuadrado.

11. Sea F = C(t) el campo de funciones racionales en la variable t. Encuentre el grupo de Galois
sobre F de los siguientes polinomios:

a) x3 + x + t;
b) x3 + tx + 1;
c) x3 + t2 x − t3 ;
d ) xn − t con n > 0.

12. Determine todos los subgrupos del grupo de Galois y todos los campos intermedios del campo
de descomposición sobre Q del polinomio (x3 − 2)(x2 − 3) ∈ Q[x].
13. Supóngase que F es un subcampo de R, y que f (x) ∈ F [x] es un polinomio cuártico irredu-
cible. Pruebe que si f (x) tiene exactamente dos raı́ces reales, entonces el grupo de Galois de
f (x) es S4 ó D4 .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.11

Continuación de resultados de campos finitos.

Tenemos que todo campo finito Fq es perfecto, con q = pn . Ası́ que, si Fqm /Fq es una extensión
arbitraria, entonces tenemos que la función φq : Fqm → Fqm , dada por φq (α) = αq para cada
α ∈ Fqm , es un Fq -automorfismo de Fqm , el cual es llamado el automorfismo de Frobenius de
grado q. Cuando no exista riesgo de confusión, esribiremos φ en lugar de φq .

Teorema 26. Sea Fqm /Fq una extensión de campos finitos, con q = pn . Entonces, la extensión
Fqm /Fq es una extensión de Galois finita de grado m, con grupo de Galois cı́clico generado por el
automorfismo de Frobenius φq sobre Fqm .

Demostración. Es claro que la extensión Fqm /Fq es de Galois finita de grado m, y el automorfismo
de Frobenius φq satisface que, para cada k ∈ N,
k
φkq (α) = αq , para cada α ∈ Fqm .
Con lo cual, φq es de orden m. Es decir, φq es un elemento del grupo de Galois Gal(Fqm /Fq ) de
orden m, donde el grupo Gal(Fqm /Fq ) tiene m elementos. Por lo tanto, Gal(Fqm /Fq ) = hφq i. 

Teorema 27. Sea q = pn , con p número primo y n ∈ N. Entonces,

(i) Si p = 2, entonces todo elemento de Fq es un cuadrado, en Fq .

(ii) Si p > 2, los cuadrados de F∗q forman un subgrupo multiplicativo de F∗q de ı́ndice 2, el cual
es el kernel del epimorfismo f : F∗q → {−1, 1} dado por f (α) = α(q−1)/2 para cada α ∈ F∗q .

(iii) Si p > 2 y a ∈ Z, con (a, p) = 1, entonces a es un cuadrado módulo p si, y solo si a(q−1)/2 ≡ 1
mód p.

Demostración. (i)c : Se sigue de que φ2 es el F2 -automorfismo de Frobenius de Fq .

(ii)c : Notemos que f está bien definida pues, para cada γ ∈ F∗q , (γ (q−1)/2 )2 = 1, con lo cual
γ (q−1)/2 = ±1, donde −1 6= 1 en Fq . Por supuesto, es claro que f es un epimorfismo. Por otro lado,
sea β ∈ F∗q y α ∈ Fp tal que α2 = β. Tenemos que αq−1 = β (q−1)/2 . Luego,

β ∈ ker(f ) ⇔ β (q−1)/2 = 1 ⇔ αq−1 = 1 ⇔ β es un cuadrado en F∗q .

(iii) :c Se sigue de (ii). 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.08

Teorema 20. Sea p un número primo y f un polinomio irreducible con coeficientes en Q de grado
p el cual tiene exactamente dos raı́ces no reales en C. Entonces, el grupo de Galois de f es isomorfo
a Sp .

Demostración. Sea G el grupo de Galois de f . Tenemos que G es subgrupo de Sp , donde p divide

al orden |G| de G. Sea σ ∈ G tal que el orden de σ es p. Luego, necesariamente, σ debe de ser
un p-ciclo. Por otro lado, la conjugación compleja es un R-automorfismo de C que mueve a cada
elemento no real; por lo que intercambia las dos raı́ces no reales de f , y fija a las restantes raı́ces
de f . Esto implica que G tiene una transposición τ = (i1 i2 ). Puesto que σ la podemos escribir con
σ = (i1 j2 · · · jp ), donde i2 ∈ {j2 , . . . , jp }, existe un k ∈ N tal que σ k = (i1 i2 · · · ). Sin pérdida de
generalidad, y cambiando notación, podemos suponer que τ = (1 2) y σ = (1 2 · · · p) los cuales
son elementos de G. Por lo tanto, G = Sp . 
p
Ejemplo
p 21. Sea f (x) = x5 − 8x − 2 ∈ Q[x], donde f 0 (x) = 5x4 − 8. Por lo tanto, x1 = − 4 8/5 y
x2 = 4 8/5 son los únicos puntos crı́tos de f , con f 00 (x1 ) < 0 y f 00 (x2 ) > 0; ası́ que, x1 (resp. x2 )
es un máximo (resp. mı́nimo) local de f , con f (x1 ) > 0 y f (x2 ) < 0. Notar que lı́m f (x) = −∞
x→−∞
y lı́m f (x) = ∞. Ası́ pues, f exactamente tres raı́ces reales y dos complejas no reales. Puesto que
x→∞
f es un polinomio irreducible sobre Q, tenemos que el grupo de Galois Gf de f es isomorfo a S5 .

4. Campos finitos

Sea F un campo finito. Necesariamente se tiene que la caracterı́sta de F debe de ser un número
primo p, y su campo primo, denotado por Fp , es isomorfo al campo finito Z/pZ de p elementos.
Siempre supondremos dada una cerradura algebraica fija Fp de Fp que contiene a F

Teorema 22. Sea F un campo finito de q elementos, con car(F ) = p > 0 (p número primo).
Entonces,

(i) La extensión F/Fp es una extensión finita tal que si n = [F : Fp ] entonces q = pn .

(ii) F ∗ es un grupo cı́clico multiplicativo de orden q − 1 = pn − 1
(iii) Los elementos de F son exactamente las raı́ces del polinomio xq − x ∈ Fp [x]

(iv) El campo finito F está determinado de manera completa por el polinomio xq − x ∈ Fp [x]
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.08

(v) El polinomio xq − x ∈ Fp [x] es un polinomio separable sobre Fp

Demostración. (i): Tenemos que la extensión F/Fp es finita. Si n = [F : Fp ], tenemos que

F ∼
= Fp × · · · × Fp como espacios vectoriales sobre Fp , donde la cantidad de factores es n. Por lo
tanto,

|F | = |Fp × · · · × Fp | = |Fp | · · · |Fp | = pn .

(ii): Es claro.
(iii): |F ∗ | = q − 1, con lo cual, si α ∈ F ∗ , se tiene que αq−1 = 1, es decir, todo elemento de F ∗ es
raı́z del polinomio xq−1 − 1 ∈ Fp [x]. En particular, todas las raı́ces de xq−1 − 1 son simples y tiene
exactamente q − 1 raı́ces distintas las cuales son los elementos de F ∗ . Por lo tanto, las raı́ces del
polinomio xq − x ∈ Fp [x] son exactamente los q elementos de F .
(iv) y (v): Son claras. 

En las condiciones del Teorema 22, inciso (iv), denotaremos al campo finito de q = pn elementos
como Fq = Fpn .

Teorema 23. Sean n, k enteros positivos, y E = Fpk y F = Fpn los campos finitos de pk y pn
elementos, extensiones del campo primo Fp , respectivamente. Tenemos que F j E si, solo si n | k.

Demostración. ⇒: Tenemos que k = [E : Fp ] = [E : F ][F : Fp ] = [E : F ]n. Por lo tanto, n | k.

⇐: Usando la ecuación algebraica am − 1 = (a − 1)(am−1 + · · · + a + 1), tenemos que si n | k,
n k
entonces (pn − 1) | (pk − 1). Por lo cual, el polinomio xp −1 − 1 divide al polinomio xp −1 − 1, en
n k
el anillo Fp [x]. En consecuencia, el polinomio xp − x divide al polinomio xp − x. Por lo tanto,
F j E. 

Teorema 24. Sea Fq el campo finito de q = pn elementos. Entonces, para cada m ∈ N existe un
subcampo E de Fp de q m elementos, extensión de Fq , tal que [E : Fq ] = m.

Demostración. Basta tomar el campo E = Fpk = Fqm , donde k = mn. 

Por lo tanto, toda extensión E/F de campos finitos lo podemos expresar en la forma Fqm /Fq , para
algún m ≥ 1. Con lo cual tenemos lo siguientes.

Corolario 25. Si Fqm /Fq es una extensión de campos finitos, entonces el campo finito Fqm es el
m
campo de descomposición del polinomio xq − x sobre Fq .

Demostración. Es inmediato. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.11

Ejercicios
El grupo de Galois de un polinomio

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . Y p es un número primo.

1. Supóngase que F es un subcampo de R y f (x) ∈ F [x] es un polinomio irreducible de grado

3. Sea δ el discriminante de f (x). Pruebe lo siguiente:

a) δ > 0 si, y sólo si f (x) tiene tres raı́ces reales;

b) δ < 0 si, y sólo si f (x) tiene exactamente una raı́z real.

2. Sea α una raı́z cuarta de 2. Encuentre todos los campos intermedios de la extensión Q(α)/Q.
3. Sea F un campo con car(F ) 6= 2, y sea f (x) ∈ F [x] un polinomio cúbico cuyo discriminante
es un cuadrado en F . Pruebe que f (x) es o bien irreducible ó se descompone en F [x].
4. Sea E/F una extensión de campos y f (x) un polinomio en F [x] el cual se descompone en
E[x] como:
f (x) = (x − u1 )n1 · · · (x − ur )nr
(ui distintos; ni ≥ 1). Sean a0 , . . . , ar los coeficientes del polinomio g(x) = (x−u1 ) · · · (x−ur )
y K = F (a0 , . . . , ar ). Si E es el campo de descomposición del polinomio f (x) sobre F ,
entonces pruebe lo siguiente:

a) E es el campo de descomposición de g sobre K;

b) E/K es extensión de Galois;
c) Gal(E/K) = AutF (E).

5. Sea F un campo con car(F ) 6= 2, 3. Pruebe que el discriminante del polinomio f (x) =
x3 + bx2 + cx + d ∈ F [x] es δ = −4c3 − 27d2 + b2 (c2 − 4bd) + 18bcd.
6. Pruebe que el polinomio x3 − 3x + 1 ∈ F [x] es o bien irreducible ó se descompone en F [x].
7. Pruebe que S4 no tiene subgrupos transitivos de orden 6.
8. Sea f (x) ∈ F [x] un polinomio irreducible y separable de grado 4, y sea u una raı́z de f (x).
Pruebe que no existe un campo intermedio propio de la extensión F (u)/F si, y sólo si el
grupo de Galois del polinomio f (x) es o bien A4 ó S4 .
9. Sea x4 + ax2 + b ∈ F [x] (con car(F ) 6= 2) un polinomio irreducible con grupo de Galois G.
Pruebe lo siguiente:
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.11

a) Si b es un cuadrado en F , entonces G = V ;
b) Si b no es un cuadrado en F y b(a2 − 4b) es un cuadrado en F , entonces G ∼
= Z/4Z;
2 ∼
c) Si ni b ni b(a − 4b) es un cuadrado en F , entonces G = D4 .

10. Sea E el campo de descomposición de un polinomio f (x) sobre F . Calcule el grupo de

AutF (E) donde f (x) es el polinomio sobre F como se da:
√ √
a) x4 − 5 sobre Q; sobre Q( 5); sobre Q( 5i);
b) (x3 − p1 )(x2 − p2 )(x2 − p3 ) sobre Q, donde los pi ’s son números primos distintos;
c) x3 − x − 1 sobre Q;
√
d ) x3 − 10 sobre Q; sobre Q( 2);
e) x4 + 3x3 + 3x − 2 sobre Q;
√
f ) (x3 − 2)(x3 − 3) sobre Q( −3);
g) x4 − 4x2 − 1 sobre Q;
h) x4 + 2x2 + x + 3 sobre Q;
i ) x5 − 6x + 3 sobre Q;
j ) x4 − a sobre Q, donde a es cualquier entero distinto de 0 y de ±1 libre de cuadrado;
k ) xn − a sobre Q, donde n > 1 impar, y a es cualquier entero positivo libre de cuadrado.

11. Sea F = C(t) el campo de funciones racionales en la variable t. Encuentre el grupo de Galois
sobre F de los siguientes polinomios:

a) x3 + x + t;
b) x3 + tx + 1;
c) x3 + t2 x − t3 ;
d ) xn − t con n > 0.

12. Determine todos los subgrupos del grupo de Galois y todos los campos intermedios del campo
de descomposición sobre Q del polinomio (x3 − 2)(x2 − 3) ∈ Q[x].
13. Supóngase que F es un subcampo de R, y que f (x) ∈ F [x] es un polinomio cuártico irredu-
cible. Pruebe que si f (x) tiene exactamente dos raı́ces reales, entonces el grupo de Galois de
f (x) es S4 ó D4 .
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.11

Continuación de resultados de campos finitos.

Tenemos que todo campo finito Fq es perfecto, con q = pn . Ası́ que, si Fqm /Fq es una extensión
arbitraria, entonces tenemos que la función φq : Fqm → Fqm , dada por φq (α) = αq para cada
α ∈ Fqm , es un Fq -automorfismo de Fqm , el cual es llamado el automorfismo de Frobenius de
grado q. Cuando no exista riesgo de confusión, esribiremos φ en lugar de φq .

Teorema 26. Sea Fqm /Fq una extensión de campos finitos, con q = pn . Entonces, la extensión
Fqm /Fq es una extensión de Galois finita de grado m, con grupo de Galois cı́clico generado por el
automorfismo de Frobenius φq sobre Fqm .

Demostración. Es claro que la extensión Fqm /Fq es de Galois finita de grado m, y el automorfismo
de Frobenius φq satisface que, para cada k ∈ N,
k
φkq (α) = αq , para cada α ∈ Fqm .
Con lo cual, φq es de orden m. Es decir, φq es un elemento del grupo de Galois Gal(Fqm /Fq ) de
orden m, donde el grupo Gal(Fqm /Fq ) tiene m elementos. Por lo tanto, Gal(Fqm /Fq ) = hφq i. 

Teorema 27. Sea q = pn , con p número primo y n ∈ N. Entonces,

(i) Si p = 2, entonces todo elemento de Fq es un cuadrado, en Fq .

(ii) Si p > 2, los cuadrados de F∗q forman un subgrupo multiplicativo de F∗q de ı́ndice 2, el cual
es el kernel del epimorfismo f : F∗q → {−1, 1} dado por f (α) = α(q−1)/2 para cada α ∈ F∗q .

(iii) Si p > 2 y a ∈ Z, con (a, p) = 1, entonces a es un cuadrado módulo p si, y solo si a(q−1)/2 ≡ 1
mód p.

Demostración. (i)c : Se sigue de que φ2 es el F2 -automorfismo de Frobenius de Fq .

(ii)c : Notemos que f está bien definida pues, para cada γ ∈ F∗q , (γ (q−1)/2 )2 = 1, con lo cual
γ (q−1)/2 = ±1, donde −1 6= 1 en Fq . Por supuesto, es claro que f es un epimorfismo. Por otro lado,
sea β ∈ F∗q y α ∈ Fp tal que α2 = β. Tenemos que αq−1 = β (q−1)/2 . Luego,

β ∈ ker(f ) ⇔ β (q−1)/2 = 1 ⇔ αq−1 = 1 ⇔ β es un cuadrado en F∗q .

(iii) :c Se sigue de (ii). 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.22

Ejercicios
Campos finitos

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . p es un número primo.

1. Si las raı́ces de un polinomio mónico f (x) ∈ F [x] en algún campo de descomposición son
n
distintas y forman un campo, entonces pruebe que car(F ) = p > 0, y f (x) = xp − x para
algún n ≥ 1.
2. Sean F un campo finito con q elementos, n ≥ 1 tal que (n, q) = 1, y E el campo de descom-
posición del polinomio xn − 1 sobre F . Pruebe que [E : F ] es el mı́nimo entero k tal que n
divide a q k − 1.

3. Sea F un campo finito con q elementos, y sea f (x) ∈ F [x] irreducible. Pruebe que f (x) divide
n
a xq − x si, y sólo si deg(f ) divide a n.
4. Sea F un campo finito, y n ≥ 1. Pruebe que existe un polinomio irreducible en F [x] de grado
n.
5. Calcule AutFq (Fq (x)).

6. Pruebe que cada elemento en un campo finito puede escribirse como suma de dos cuadrados
en el campo.
7. Pruebe que 3 es un cuadrado en todo campo con p2 elementos.
8. Sea F un campo finito con q elementos. Pruebe que
n Y Y
xq − x = fd (x)
d|n fd ,irr

donde el producto interior es sobre todos los polinomios fd (x) ∈ F [x] irreducibles mónicos
de grado d.
n
9. Si n ≥ 3, entonces pruebe que el polinomio x2 + x + 1 es reducible sobre F2 .
10. Sea F un campo finito con q elementos, y K = F (x) el campo de funciones racionales en la
variable x. Sea G el grupo de automorfismos de F (x) sobre F . Pruebe que |G| = q 3 − q.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.22

5. Raı́ces de unidad. Extensiones ciclotómicas

Sea F un campo con F su cerradura algebraica, y n ∈ N. Un elemento λ ∈ F se dice que es una

raı́z n-ésima de la unidad sobre F es cualquier elemento λ ∈ F tal que si λn = 1. Es decir, las
raı́ces n-ésimas de unidad sobre F son las raı́ces del polinomio xn − 1 ∈ F [x].
Si car(F ) = p > 0 y n = pm s, con (s, p) = 1, λn = 1 implica que λs = 1. Por lo que, en esta
situación, se puede suponer que (n, p) = 1. Ası́ que, la colección de las raı́ces n-ésimas sobre F
∗
forman un subgrupo multiplicativo finito de n elementos de F .

Proposición 28. Sea F un campo con F su cerradura algebraica, y n ≥ 1 tal que car(F ) - n.

(i) El polinomio xn − 1 ∈ F [x] es tal que todas sus raı́ces son simples
(ii) Existen exactamente n raı́ces n-ésimas de la unidad sobre F
(iii) La colección de las raı́ces n-ésimas sobre F forman un subgrupo cı́clico multiplicativo finito
∗
de n elementos de F
(iv) La colección de las raı́ces n-ésimas sobre F que están en F forman un subgrupo cı́clico
multiplicativo finito de F ∗ .

Demostración. Ejercicio.

Bajo las condiciones anteriores, cualquier generador del grupo cı́clico multiplicativo finito de n
elementos de las raı́ces n-ésimas de la unidad es llamada una raı́z n-ésima primitiva de unidad
sobre F , es decir, es una raı́z n-ésima de la unidad sobre F de orden multiplicativo n. Recordar
que deberán de existir ϕ(n) raı́ces n-ésimas primitivas de la unidad sobre F , donde ϕ es la función
de Euler.

Si ζn ∈ F es una raı́z n-ésima primitiva de la unidad sobre F , entonces el campo F (ζn ) es llamado
la n-ésima extensión ciclotómica sobre F .

Teorema 29. Sean Fq un campo finito de q = pn elementos, y sea m ≥ 1 tal que (m, p) = 1. Si
ζm es una raı́z m-ésima primitiva de unidad sobre Fq , entonces

(i) La extensión ciclotómica Fq (ζm )/Fq es una extensión de Galois finita

(ii) El grupo de Galois de la extensión Fq (ζm )/Fq , Gal(Fq (ζm )/Fq ), es un grupo cı́clico finito
generado por el Fq -automorfismo de Frobenius φq de Fq (ζm )
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.22

(iii) El grado [Fq (ζm ) : Fq ] de la extensión Fq (ζm )/Fq es igual al orden multiplicativo de q módulo
m.

Demostración. (i)c : Exactamente Fq (ζm ) es el campo de descomposición del polinomio separable

xm − 1 sobre Fq .
(ii)c : Es inmediato por las propiedades de extensiones de campos finitos.
(iii)c : El grado [Fq (ζm ) : Fq ] de la extensión Fq (ζm )/Fq es igual al orden del Fq -automorfismo
de Frobenius φq de Fq (ζm ). Pero, el orden del Fq -automorfismo de Frobenius φq de Fq (ζm ) es el
q k −1
mı́nimo entero k ≥ 1 tal que ζm = 1, es decir, es el orden multiplivo de q módulo m. 

Analizaremos el grupo de Galois de una extensión ciclotómica. Para ello, denotamos por (Z/nZ)∗
el grupo multiplicativo de las unidades del anillo Z/nZ, el cual es de orden ϕ(n), donde ϕ es la
función de Euler.

Teorema 30. Sean F un campo y n ≥ 1 tal que car(F ) - n. Si ζn es una raı́z n-ésima primitiva
de la unidad sobre F , entonces

(i) La extensión F (ζn )/F es una extensión de Galois finita

(ii) El grupo de Galois de la extensión F (ζn )/F , Gal(F (ζn )/F ), está encajado en el grupo mul-
tiplicativo (Z/nZ)∗ . En particular, Gal(F (ζn )/F ) es un grupo abeliano
(iii) [F (ζn ) : F ] ≤ ϕ(n), donde ϕ es la función de Euler.

Demostración. (i)c : Ejercicio

(ii)c : Para cada σ ∈ Gal(F (ζn )/F ), tenemos que σ está completamente determinado por su
acción sobre ζn . Como σ(ζn ) es una raı́z n-ésima primitiva de la unidad, existe un entero mσ , con
1 ≤ mσ ≤ n y (mσ , n) = 1, tal que σ(ζn ) = ζnmσ . Entonces, tenemos que la correspondencia

σ 7→ [mσ ]
determina un monomorfismo de Gal(F (ζn )/F ) en el grupo multiplicativo (Z/nZ)∗ .
(iii)c : Es claro. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.22

Ejercicios
Campos finitos

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . p es un número primo.

1. Si las raı́ces de un polinomio mónico f (x) ∈ F [x] en algún campo de descomposición son
n
distintas y forman un campo, entonces pruebe que car(F ) = p > 0, y f (x) = xp − x para
algún n ≥ 1.
2. Sean F un campo finito con q elementos, n ≥ 1 tal que (n, q) = 1, y E el campo de descom-
posición del polinomio xn − 1 sobre F . Pruebe que [E : F ] es el mı́nimo entero k tal que n
divide a q k − 1.

3. Sea F un campo finito con q elementos, y sea f (x) ∈ F [x] irreducible. Pruebe que f (x) divide
n
a xq − x si, y sólo si deg(f ) divide a n.
4. Sea F un campo finito, y n ≥ 1. Pruebe que existe un polinomio irreducible en F [x] de grado
n.
5. Calcule AutFq (Fq (x)).

6. Pruebe que cada elemento en un campo finito puede escribirse como suma de dos cuadrados
en el campo.
7. Pruebe que 3 es un cuadrado en todo campo con p2 elementos.
8. Sea F un campo finito con q elementos. Pruebe que
n Y Y
xq − x = fd (x)
d|n fd ,irr

donde el producto interior es sobre todos los polinomios fd (x) ∈ F [x] irreducibles mónicos
de grado d.
n
9. Si n ≥ 3, entonces pruebe que el polinomio x2 + x + 1 es reducible sobre F2 .
10. Sea F un campo finito con q elementos, y K = F (x) el campo de funciones racionales en la
variable x. Sea G el grupo de automorfismos de F (x) sobre F . Pruebe que |G| = q 3 − q.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.22

5. Raı́ces de unidad. Extensiones ciclotómicas

Sea F un campo con F su cerradura algebraica, y n ∈ N. Un elemento λ ∈ F se dice que es una

raı́z n-ésima de la unidad sobre F es cualquier elemento λ ∈ F tal que si λn = 1. Es decir, las
raı́ces n-ésimas de unidad sobre F son las raı́ces del polinomio xn − 1 ∈ F [x].
Si car(F ) = p > 0 y n = pm s, con (s, p) = 1, λn = 1 implica que λs = 1. Por lo que, en esta
situación, se puede suponer que (n, p) = 1. Ası́ que, la colección de las raı́ces n-ésimas sobre F
∗
forman un subgrupo multiplicativo finito de n elementos de F .

Proposición 28. Sea F un campo con F su cerradura algebraica, y n ≥ 1 tal que car(F ) - n.

(i) El polinomio xn − 1 ∈ F [x] es tal que todas sus raı́ces son simples
(ii) Existen exactamente n raı́ces n-ésimas de la unidad sobre F
(iii) La colección de las raı́ces n-ésimas sobre F forman un subgrupo cı́clico multiplicativo finito
∗
de n elementos de F
(iv) La colección de las raı́ces n-ésimas sobre F que están en F forman un subgrupo cı́clico
multiplicativo finito de F ∗ .

Demostración. Ejercicio.

Bajo las condiciones anteriores, cualquier generador del grupo cı́clico multiplicativo finito de n
elementos de las raı́ces n-ésimas de la unidad es llamada una raı́z n-ésima primitiva de unidad
sobre F , es decir, es una raı́z n-ésima de la unidad sobre F de orden multiplicativo n. Recordar
que deberán de existir ϕ(n) raı́ces n-ésimas primitivas de la unidad sobre F , donde ϕ es la función
de Euler.

Si ζn ∈ F es una raı́z n-ésima primitiva de la unidad sobre F , entonces el campo F (ζn ) es llamado
la n-ésima extensión ciclotómica sobre F .

Teorema 29. Sean Fq un campo finito de q = pn elementos, y sea m ≥ 1 tal que (m, p) = 1. Si
ζm es una raı́z m-ésima primitiva de unidad sobre Fq , entonces

(i) La extensión ciclotómica Fq (ζm )/Fq es una extensión de Galois finita

(ii) El grupo de Galois de la extensión Fq (ζm )/Fq , Gal(Fq (ζm )/Fq ), es un grupo cı́clico finito
generado por el Fq -automorfismo de Frobenius φq de Fq (ζm )
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.22

(iii) El grado [Fq (ζm ) : Fq ] de la extensión Fq (ζm )/Fq es igual al orden multiplicativo de q módulo
m.

Demostración. (i)c : Exactamente Fq (ζm ) es el campo de descomposición del polinomio separable

xm − 1 sobre Fq .
(ii)c : Es inmediato por las propiedades de extensiones de campos finitos.
(iii)c : El grado [Fq (ζm ) : Fq ] de la extensión Fq (ζm )/Fq es igual al orden del Fq -automorfismo
de Frobenius φq de Fq (ζm ). Pero, el orden del Fq -automorfismo de Frobenius φq de Fq (ζm ) es el
q k −1
mı́nimo entero k ≥ 1 tal que ζm = 1, es decir, es el orden multiplivo de q módulo m. 

Analizaremos el grupo de Galois de una extensión ciclotómica. Para ello, denotamos por (Z/nZ)∗
el grupo multiplicativo de las unidades del anillo Z/nZ, el cual es de orden ϕ(n), donde ϕ es la
función de Euler.

Teorema 30. Sean F un campo y n ≥ 1 tal que car(F ) - n. Si ζn es una raı́z n-ésima primitiva
de la unidad sobre F , entonces

(i) La extensión F (ζn )/F es una extensión de Galois finita

(ii) El grupo de Galois de la extensión F (ζn )/F , Gal(F (ζn )/F ), está encajado en el grupo mul-
tiplicativo (Z/nZ)∗ . En particular, Gal(F (ζn )/F ) es un grupo abeliano
(iii) [F (ζn ) : F ] ≤ ϕ(n), donde ϕ es la función de Euler.

Demostración. (i)c : Ejercicio

(ii)c : Para cada σ ∈ Gal(F (ζn )/F ), tenemos que σ está completamente determinado por su
acción sobre ζn . Como σ(ζn ) es una raı́z n-ésima primitiva de la unidad, existe un entero mσ , con
1 ≤ mσ ≤ n y (mσ , n) = 1, tal que σ(ζn ) = ζnmσ . Entonces, tenemos que la correspondencia

σ 7→ [mσ ]
determina un monomorfismo de Gal(F (ζn )/F ) en el grupo multiplicativo (Z/nZ)∗ .
(iii)c : Es claro. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.25

Bajo las condiciones del Teorema 30, sean α1 , . . . , αr las distintas raı́ces n-ésimas primitivas de
unidad sobre F , donde r = ϕ(n). El n-ésimo polinomio ciclotómico sobre F se define como

Φn (x) = (x − α1 ) · · · (x − αr ) ∈ F (ζn )[x],

el cual es un polinomio mónico. Además, puesto que para cada σ ∈ Gal(F (ζn )/F ), σ permuta las
raı́ces n-ésimas primitivas de unidad sobre F , se tiene que Φσn (x) = Φn (x). Ası́ que

Φn (x) ∈ F [x].
Por otro lado, si d ∈ N tal que d | n, tenemos que xd − 1 divide a xn − 1. Luego, toda raı́z d-ésima
primitiva de la unidad es una raı́z n-ésisma de la unidad. Por lo tanto,
Y
x. − 1 = Φd (x).
d|n

Proposición 31. En el caso del campo de los números racionales Q, se tiene que

Φn (x) ∈ Z[x].

Demostración. La demostración será por inducción sobre n. Notemos que si n = 1, entonces

Φ1 (x) = x − 1 ∈ Z[x]. Si n = 2, entonces x2 − 1 = (x − 1)(x + 1) = Φ1 (x)Φ2 (x). Luego, Φ2 (x) =
x + 1 ∈ Z[x]. Supóngase que Φk (x) ∈ Z[x], para cada 1 ≤ k < n. Tenemos que
Y
xn − 1 = Φd (x) = Φn (x)q(x),
d|n

donde q(x) es un polinomio mónico de Z[x] y, de aquı́ que, primitivo. Expresamos

a
Φn (x) = t(x),
b
donde a, b son enteros no cero con b > 0, (a, b) = 1 y t(x) ∈ Z[x] primitivo. Por lo tanto, tenemos
la ecuación

b(xn − 1) = a t(x)q(x).
Aplicando contenido en ambos miembros, se tiene que b = ± a. De aquı́ que, Φn (x) = ± t(x) ∈ Z[x].
Esto completa la demostración. 

Teorema 32. Sean F un campo y n ≥ 1 tal que car(F ) - n. Si ζn es una raı́z n-ésima primitiva
de unidad sobre F , entonces las siguientes condiciones son equivalentes:
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.25

(i) Gal(F (ζn )/F ) ∼

= (Z/nZ)∗
(ii) Φn (x) = irr(ζn , F, x)
(iii) [F (ζn ) : F ] = ϕ(n), donde ϕ es la función de Euler.

Demostración. Ejercicio

Teorema 33. Sean n ≥ 1 y ζn una raı́z n-ésima raı́z primitiva de la unidad sobre Q. Entonces,

(i) Φn (x) = irr(ζn , Q, x) (y Φn (x) es irreducible sobre Z[x])

(ii) Gal(Q(ζn )/Q) ∼
= (Z/nZ)∗ (grupo abeliano)
(iii) [Q(ζn ) : Q] = ϕ(n).

Demostración. Basta probar el inciso (i). Escribiremos ζ en lugar de ζn en la demostración. Por

el Lema de Gauss y puesto que Φn (x) es mónico con coeficientes en Z, basta probar que Φn (x) es
irreducible en Z[x]. Sea f (x) ∈ Z[x] un polinomio mónico factor irreducible de Φn (x) que tiene por
raı́z a ζ, deg(f (x)) ≥ 1. Tenemos que Φn (x) = f (x)g(x) para algún polinomio mónico g(x) ∈ Z[x].
Sea p un número primo arbitrario tal que (p, n) = 1. Probaremos que ζ p también es raı́z del
polinomio f (x). Notemos que ζ p es raı́z de Φn (x), pues ζ p sigue siendo una raı́z n-ésima primitiva
de la unidad, por lo cual ζ p es raı́z de f (x) o de g(x). Suponemos que ζ p es raı́z de g(x). Entonces,
ζ es raı́z de g(xp ). Puesto que f (x) = irr(ζ, Q, x), tenemos que f (x) divide a g(xp ) en Q[x]; sea
h(x) ∈ Q[x] polinomio mónico tal que g(xp ) = f (x)h(x).
Por otro lado, aplicando el Algoritmo de la División en Z[x], se tiene que existen únicos polinomios
q(x), r(x) ∈ Z[x] tales que g(xp ) = f (x)q(x) + r(x), donde r(x) = 0 o deg(r(x)) < deg(f (x)).
Pero también, por la unicidad de Algoritmo de División en Q[x] establece que, necesariamente
h(x) = q(x) y r(x) = 0. Ası́ que, h(x) ∈ Z[x].
El epimorfismo canónico Z → Z/pZ, induce el epimorfismo Z[x] → Z/pZ[x] bajo la correspondien-
cia t(x) 7→ t(x), donde t(x) es el polinomio deducido de t(x) al aplicarle congruencia módulo p a
sus coeficientes. Notar que la caracterı́stica de Z/pZ es p.
Luego, en Z/pZ[x] y por el Teorema de Fermat, tenemos que g(x)p = g(xp ) = f (x)h(x), con lo
cual cualquier factor irreducible de f (x) divide a g(x)p y, de aquı́ que, también a g(x). Pero como
Φn (x) = f (x)g(x), se tiene que Φn (x) = f (x)g(x), lo cual significa que por lo menos Φn (x) admite
al menos una raı́z de multiplicidad ≥ 2.
Notar que Φn (x) divide al polinomio xn − 1 en Z[x], por lo cual xn − 1 = Φn (x)k(x) para algún
polinomio k(x) ∈ Z[x]. Es decir, xn − 1 = Φn (x)k(x) = f (x)g(x)k(x). Esto implica, al aplicar
congruencia módulo p, que xn − 1 = f (x)g(x)k(x), lo que significa que el polinomio xn − 1 de
Z/pZ[x] admite una raı́z de multiplicidad ≥ 2. Lo cual es absurdo.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.25

Por lo tanto, necesariamente ζ p es raı́z del polinomio f (x). De aquı́ que, aplicando esta situación a
la raı́z n-ésima primitiva de unidad ζ p , tenemos que ζ pq es raı́z de f (x) para cual q número primo.
Repitiendo esta situación tantas veces como sea necesario, tenemos que ζ m es raı́z de f (x) para
cualquier entero positivo m tal que (m, n) = 1. Esto significa que cualquier raı́z n-ésima primitiva
de unidad es raı́z del polinomio f (x). Por lo tanto, f (x) = Φn (x), y Φn (x) es irreducible en Z[x].


Notemos que sobre Q[x]

Φ1 (x) = x−1
Φ2 (x) = x−1
Φ3 (x) = x2 − 1
Φ4 (x) = x2 − 1
Φ5 (x) = x4 + x3 + x2 + x + 1
..
.
Φp (x) = xp−1 + xp−2 + · · · + x + 1 p primo

Por supuesto, un proceso recursivo nos lo da la relación

xn − 1
Φn (x) = Q .
d|n Φd (x)

Por otro lado, si n ≥ 2 con descomposición en primos distintos n = pk11 · · · pkt t , entonces se tiene
que

Z/nZ ∼
= Z/pk11 Z × · · · × Z/pkt t Z,
con lo cual

(Z/nZ)∗ ∼
= (Z/pk11 Z)∗ × · · · × (Z/pkt t Z)∗ .
Ası́ que, para saber la estructura de grupo multiplicativo (Z/nZ)∗ basta conocer la estructura de
los grupos multiplicativos (Z/pk Z)∗ para p primo k ≥ 1. Se tiene el siguiente resultado

Teorema 34. Se cumple lo siguiente:

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.25

(i) Si p es número primo impar y k ≥ 1, entonces (Z/pk Z)∗ es un grupo cı́clico de orden
pk−1 (p − 1), es decir,

(Z/pk Z)∗ ∼
= Z/pk−1 (p − 1)Z ∼
= Z/pk−1 Z × Z/(p − 1)Z.

(ii) (Z/2Z)∗ y (Z/4Z)∗ son cı́clicos, y si k ≥ 3 entonces

(Z/2k Z)∗ ∼
= Z/2Z × Z/2k−2 Z.

Demostración. Ver el libro de Kenneth Ireland y Michael Rosen, “A Classical Introduction to

Modern Number Theory”, Section 1, Chapter 4, pag. 39. 

Ejercicios
Campos ciclotómicos

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . p es un número primo.

1. Establezca las siguientes propiedades de la función de Euler.

a) Si n ≥ 1, entonces  
n n 1
ϕ(p ) = p 1− = pn−1 (p − 1)
p
b) Si n > 1 con n = pr11 · · · prss su descomposición canónica en potencias de primos distintos,
entonces    
1 1
ϕ(n) = n 1 − ··· 1 −
p1 ps
X
c) ϕ(d) = n.
d|n
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.25

2. Se define la función de Möbius µ sobre N como:



 1 si n = 1



µ(n) := (−1)k si n = p1 · · · pk con los p0i s primos distintos




0 en otro caso


Pruebe lo siguiente:

a) Para cada m, n ∈ N con (m, n) = 1, se cumple que µ(mn) = µ(m)µ(n)

b) Para cada n ∈ N

X  1 si n = 1
µ(d) =
0 si n > 1

d|n

3. Dada una función f : N → R se define su transformada de Möbius como la función

g : N → R dada como sigue: Para cada n ∈ N
X n X n
g(n) = µ f (d) = µ(d)f .
d d
d|n d|n

Pruebe lo siguiente

a) Con las notaciones anteriores

X
f (n) = g(d).
d|n

b) La tranformada de Möbius de la función de Euler ϕ es la función n 7→ n, es decir,

X
n= ϕ(d).
d|n

c)
X n
ϕ(n) = µ(d) .
d
d|n

4. Pruebe las siguientes propiedades que deben de cumplir los polinomios ciclotómicos Φn (x)
sobre Q.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.25

Y
a) xn − 1 = Φd (x)
d|n
Y
b) Φn (x) = (xd − 1)µ(n/d)
d|n

c) Si p es número primo

Φp (x) = xp−1 + xp−2 + · · · + x + 1.

d ) Si k ≥ 1,
k−1
Φpk (x) = Φp (xp ).

e) Si n es entero impar

Φ2n (x) = Φn (−x).

f ) Si p - n, entonces

Φn (xp )
Φpn (x) =
Φn (x)

g) Si n ≥ 2, con n = pk11 · · · pkt t su descomposición en primos distintos, entonces

 k1 −1 kt −1 
Φn (x) = Φp1 ···pt xp1 ···pt .

5. Sea n > 2, y ζ una raı́z n-ésima primitiva de la unidad. Pruebe que Q(ζ + ζ −1 ) ⊆ R y
[Q(ζ + ζ −1 ) : Q] = ϕ(n)/2. ¿Cuál es el polinomio irreducible de ζ sobre Q(ζ + ζ −1 ).
6. Calcule el polinomio irreducible de ζ7 + ζ7−1 sobre Q, donde ζ7 es una raı́z 7-ésima primitiva
de la unidad.
7. Sea F un campo finito con pn elementos. Demuestre que cada elemento de F tiene una única
p-ésima raı́z en F .
8. Sea n un entero impar tal que F contiene una raı́z n-ésima primitiva de la unidad con
car(F ) 6= 2. Pruebe que F también contiene una 2n-ésima raı́z primitiva de la unidad.
9. Sea α una raı́z compleja del polinomio x6 + x3 + 1. Pruebe que la extensión Q(α)/Q es de
Galois, y calcule [Q(α) : Q].
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.11.25

√
10. Determina
√ √cuáles raı́ces
√ de √la unidad están en los siguientes campos: Q, Q(i), Q( −2),
Q( 2), Q( −3), Q( 3), Q( −5).
11. Calcule Φ100 (x) y Φ360 (x) sobre Q.
12. Demuestre que existe un número infinito de números primos de la forma p ≡ 3 mod 4.

13. Demuestre que existe un número infinito de números primos de la forma p ≡ 1 mod 4.
14. Sean p 6= 2, ζp una raı́z p-ésima primitiva de la unidad, y E = Q(ζp ). Pruebe que existe un
único campo F tal que Q ⊆ F ⊆ E con [F : Q] = 2. Además, F es subcampo de R si, y sólo
si p ≡ 1 mod 4.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.02

Capı́tulo 3

Algunos tipos de extensiones de Galois finitas

1. Extensiones cı́clicas

Sea E/F una extensión de Galois con grupo de Galois G. Según el tipo de grupo que sea G,
es referida la extensión de Galois E/F . Por ejemplo, si G es un grupo abeliano, cı́clico, soluble,
nilpotente, etc., decimos que la extensión de Galois E/F es cı́clica, soluble, nilpotente, etc.
Una manera más general, es tener una extensión separable K/F y considerar la cerradura normal
E de K/F . Entonces la extensión K/F es cı́clica, soluble, nilpotente, etc., si la extensión E/F
lo es de manera respectiva.

Analizaremos aquı́ las extensiones cı́clicas finitas.

Sea E/F una extensión separable y finita. Denotamos por n = [E : F ]s el grado de separabilidad de
la extensión E/F , y sean σ1 , . . . , σn los distintos F -homomorfismo de E en F . Si α ∈ E, entonces
definimos la norma y la traza de α de E sobre F como

n
![E:F ]i
Y
NE/F (α) = σi (α)
i=1
n
X
T rE/F (α) = [E : F ]i σi (α)
i=1

respectivamente, donde [E : F ]i es el grado de inseparabilidad de la extensión E/F .

Tenemos que si la extensión no es separable, entonces [E : F ]i > 1 y, por lo tanto, la traza es igual
cero. Si la extensión E/F es separable, entonces para cada α ∈ E
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.02

n
Y
NE/F (α) = σi (α)
i=1
n
X
T rE/F (α) = σi (α)
i=1

donde n = [E : F ].
Solamente nos vamos a enfocar en el caso de que la extensión E/F sea una extensión finita y de
Galois con grupo de Galois G con lo cual, en este caso, se tiene que

Y
NE/F (α) = σ(α)
σ∈G
X
T rE/F (α) = σ(α)
σ∈G

Ası́ que, cuando la extensión E/F es de Galois finita, se cumplen las siguientes propiedades: Para
cada α, β ∈ E

(a) NE/F (α) ∈ F y T rE/F (α) ∈ F

(b) NE/F (αβ) = NE/F (α) NE/F (β)
(c) T rE/F (α + β) = T rE/F (α) + T rE/F (β).

(d) NE/F (α) = αn y T rE/F (α) = n α, si α ∈ F . (Donde n = [E : F ].)

Es decir, las funciones NE/F : E ∗ → F ∗ y T rE/F : E + → F + son homomorfismos de los grupos

indicados, donde E + es el grupo aditivo de E.

Proposición 1. Sean E/F un extensión cı́clica de grado n con grupo de Galois G, y σ ∈ G tal
que G = hσi. Entonces, el conjunto {σ 0 , σ, . . . , σ n−1 } satisface la siguiente propiedad: Para cada
c0 , c1 , . . . , cn−1 ∈ E

c0 σ 0 + c1 σ + · · · + cn−1 σ n−1 = 0 ⇒ c0 = c1 = · · · = cn−1 = 0.

 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.02

Demostración. Probaremos por inducción que para cada 1 ≤ i ≤ n−1, el conjunto {σ 0 , σ, . . . , σ i }

satisface la propiedad, donde σ 0 = idE . Puesto que σ 0 6= 0, tenemos claramente que el conjunto
{σ 0 } satisface la propiedad.
Sean c0 , c1 ∈ E tales que c0 σ 0 + c1 σ = 0, donde σ 6= σ 0 . Podemos suponer que c1 6= 0, ya que
en caso contrario habremos terminado. Por lo tanto, podemos expresar que σ = aσ 0 para algún
a ∈ E, con a 6= 0. Luego, para cada α, β ∈ E, con α 6= 0, se tiene que

σ(α)σ(β) = σ(αβ) = aαβ;

como σ(α) = aα, al multiplicar a ambos miembros por σ(β), tendremos que σ(α)σ(β) = aασ(β).
Restando esta última ecuación a la anterior, obtenemos que

aα(β − σ(β)) = 0,
donde aα 6= 0. Por lo tanto, σ(β) = β; siendo β elemento arbitrario de E, concluimos que σ = σ 0 ,
lo cual es absurdo. De aquı́ que, el conjunto {σ 0 , σ} satisface la propiedad.
Ahora, suponemos que el conjunto {σ 0 , σ, . . . , σ i−1 } satisface la propiedad, donde 1 ≤ i < n. Notar
que σ i ∈
/ {σ 0 , σ, . . . , σ i−1 }. Sean c0 , c1 , . . . , ci−1 ∈ E tales que c0 σ 0 +c1 σ +· · ·+ci−1 σ i−1 +ci σ i = 0.
Similar al caso anterior, podemos suponer que ci 6= 0, con lo cual podemos expresar que σ i =
a0 σ 0 + a1 σ + · · · + ai−1 σ i−1 para algunos a0 , a1 , . . . , ai−1 ∈ E. Entonces, para cada α, β ∈ E,
tenemos que

σ i (α)σ i (β) = a0 αβ + a1 σ(α)σ(β) + · · · + ai−1 σ i−1 (α)σ i−1 (β).

Como σ i (α) = a0 α + a1 σ(α) + · · · + ai−1 σ i−1 (α), al multiplicar por σ i (β) obtenemos que

σ i (α)σ i (β) = a0 ασ i (β) + a1 σ(α)σ i (β) + · · · + ai−1 σ i−1 (α)σ i (β).

Luego, restando esta ecuación con la anterior, tenemos que

a0 α(β − σ i (β)) + a1 σ(α)(σ(β) − σ i (β)) + · · · + ai−1 σ i−1 (α)(σ i−1 (β) − σ i (β)) = 0.
Siendo α ∈ E arbitrario, tenemos que

a0 (β − σ i (β))σ 0 + a1 (σ(β) − σ i (β))σ + · · · + ai−1 (σ i−1 (β) − σ i (β))σ i−1 = 0,

para cada β ∈ E. Como el conjunto {σ 0 , σ, . . . , σ i−1 } satisface la propiedad, obtenemos que

ak (σ k (β) − σ i (β)) = 0
para cada 0 ≤ k ≤ i − 1. Si algún ak 6= 0, tendremos que σ i (β) = σ k (β) para cada β ∈ E, es
decir, σ i = σ k , con k < i, lo cual es absurdo. Por lo tanto, el conjunto {σ 0 , σ, . . . , σ i } satisface la
propiedad.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.02

Esto completa la demostración. 

Teorema 2 (Teorema 90 de Hilbert). Sea E/F una extensión cı́clica de grado n con grupo de
Galois G, y sea σ ∈ G tal que G = hσi. Entonces, para cada β ∈ E, NE/F (β) = 1 si, y solo si
existe un elemento α ∈ E ∗ tal que β = α/σ(α).

Demostración. Si existe un elemento α ∈ E ∗ tal que β = α/σ(α), entonces tenemos que

NE/F (α) NE/F (α)

NE/F (β) = NE/F (α/σ(α)) = = = 1.
NE/F (σ(α)) NE/F (α)
Recı́procamente, supóngase que NE/F (β) = 1. Notemos que β 6= 0. Por la Proposición 1, elegimos
θ ∈ E tal que

α := θ + βσ(θ) + βσ(β)σ 2 (θ) + · · · + βσ(β) · · · σ n−2 (β)σ n−1 (θ) 6= 0.

Esto implica que

βσ(α) = βσ(θ) + βσ(β)σ 2 (θ) + βσ(β)σ 2 (β)σ 3 (θ) + · · · + βσ(β) · · · σ n−1 (β)θ
= βσ(θ) + βσ(β)σ 2 (θ) + βσ(β)σ 2 (β)σ 3 (θ) + · · · + βσ(β) · · · σ n−2 (β)σ n−1 (θ) + θ
= α.

Por lo tanto, β = α/σ(α). 

Teorema 3Sea F un campo y n ≥ 1 primo relativo a la caracterı́stica de F . Spóngase que existe

en F una raı́z n-ésima primitiva de la unidad ζ.

(i) Sea E/F una extensión cı́clica de grado n. Entonces, existe α ∈ E tal que E = F (α) y
satisface la ecuación xn − a = 0 para algún a ∈ F .
(ii) Recı́procamente, sea a ∈ F y α ∈ F raı́z del polinomio g(x) = xn − a. Entonces, F (α)/F es
una extensión cı́clica de grado d tal que d | n, y αd ∈ F .

Demostración. Sea G el grupo de Galois de la extensión cı́clica E/F , y sea σ ∈ G tal que
G = hσi. Notemos que NE/F (ζ−1 ) = 1. Por el Teorema 90 de Hilbert, existe α ∈ E tal que
σ(α) = ζα. Entonces, σ i (α) = ζ i α para cada i = 1, . . . , n. Sea f (x) = irr(α, F, x). Entonces, el
conjunto {α, σ(α), . . . , σ n−1 (α)} es el conjunto de los F -conjugados de α teniendo n elementos, lo
cual indica que deg(f ) = n. Como [E : F ] = n, neesariamente E = F (α). Además, σ(αn ) = αn , es
decir, αn ∈ F . Si a = αn , tenemos que α satisface la ecuación xn − a = 0.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.02

Recı́procamente, sea a ∈ F y α ∈ E raı́z del polinomio xn − a. Entonces ζ i α también es raı́z

del polinomio xn − a, para cada i = 1, . . . , n y, de aquı́ que, estas raı́ces están en F (α), donde
las raı́ces son distintas. Luego, la extensión F (α)/F es de Galois. Sea G el grupo de Galois de
la extensión F (α)/F . Tenemos que si θ ∈ G, entonces θ(α) es raı́z del polinomio xn − a; por lo
tanto, θ(α) = ζ i α, para algún 1 ≤ i ≤ n. Luego, la correspondencia θ 7→ ζ i de G en hζi es un
monomorfismo. Por lo tanto, G es un grupo cı́clico de orden d tal que d | n. Sea σ ∈ G tal que
G = hσi. Entonces, σ(α) = ξ j α para algún j ∈ {1, . . . , d}, con ξ raı́z d-ésima primitiva de la
unidad. Por lo cual σ(αd ) = αd , lo cual implica que αd ∈ F . 

Teorema 4 (Teorema 90 de HIlbert (Versión aditiva)) Sea E/F una extensión cı́clica de
grado n con grupo de Galois G. Sea σ ∈ G tal que G = hσi y β ∈ E. Entonces, T rE/F (β) = 0 si,
y solo si existe α ∈ E tal que β = α − σ(α).

Demostración. Si existe α ∈ E tal que β = α − σ(α), entonces

T rE/F (β) = T rE/F (α − σ(α)) = T rE/F (α) − T rE/F (σ(α))

= T rE/F (α) − σ(T rE/F (α)) = T rE/F (α) − T rE/F (α)
= 0

Recı́procamente, supóngase que T rE/F (β) = 0. Entonces, por la Proposición 1, tenemos que existe
θ ∈ E tal que T rE/F (θ) 6= 0. Sea
Pn−2
i=0 (β + σ(β) + · · · + σ i (β))σ i+1 (θ)
α := .
T rE/F (θ)
Entonces,

T rE/F (θ)(α − σ(α)) = βT rE/F (θ).

Por lo tanto, β = α − σ(α). 

Teorema 5. (Artin-Schreier) Sea F un campo de caracterı́stica p > 0.

(i) Si E/F es una extensión cı́clica de grado p, entonces existe α ∈ E tal que E = F (α) y α
satisface la ecuación xp − x − a = 0 para algún a ∈ F .
(ii) Dado a ∈ F , el polinomio xp − x − a o bien tiene raı́z en F , en cuyo caso todas sus raı́ces
están en F , o es irreducible. En este último caso, si α es raı́z del polinomio considerado
entonces F (α)/F es una extensión cı́clica de grado p.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.02

Demostración. Sea E/F extensión cı́clica de grado p con G = Gal(E/F ) = hσi. Entonces,
T rE/f (−1) = 0. Por el Teorema 90 de Hilbert, en su versión aditiva, existe un α ∈ E tal que
σ(α) = α + 1. Luego, σ i (α) = α + i para 0 ≤ i ≤ p − 1. Si α ∈ F , se tendrá que α = α + i para
0 ≤ i ≤ p − 1, lo cual es absurdo. Ası́ que, α ∈ / F . Como F & F (α) ⊆ E, necesariamente F (α) = E.
Puesto que σ(αp − α) = αp − α, se tiene que existe un a ∈ F tal que a = αp − α.
Recı́procamente, sea a ∈ F . Si α es raı́z del polinomio f (x) = xp −x−a, entonces α+i también raı́z
para cada 0 ≤ i ≤ p − 1. Ası́ que f (x) tiene p raı́ces distinas. Si al menos alguna de estas raı́ces está
en F , entonces todas deben de ser elemtnos de F . Supongamos ahora que ninguna de las raı́ces
pertenecen a F . Veamos que f (x) es irreducible sobre F [x]. Si f (x) = g(x)h(x) con g(x), h(x)
polinomios en F [x], ambos de grado mayores o iguales que 1. Ası́ que, g(x) es un producto de
ciertos factores de la forma x − α − i, con lo cual el coeficiente de xd−1 , donde d = deg(g), es de la
forma −dα+j ∈ F para algún j. Puesto que d 6= 0 en F , se tiene que α ∈ F , lo cual es absurdo. Por
lo tanto, f (x) es irreducible sobre F . Por lo tanto, la extensión F (α)/F es una extensión finita de
Galois. Como α y α + 1 son F -conjugados, existe un σ ∈ G := Gal(F (α)/F ) tal que σ(α) = α + 1.
Entonces, idF (α) , σ, . . . , σ p−1 son distintos F -automorfismos de F (α). Puesto que G es de orden p,
tenemos que G = hσi. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.09

Ejercicios
Extensiones cı́clicas

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . p es un número primo.

1. Sean G = AutF (F ), σ ∈ G, y E = {u ∈ F | σ(u) = u }. Pruebe que E es un campo tal que

cada extensión finita de E es cı́clica.
2. Sea E/F una extensión finita de campos de grado pn , y K campo intermedio de la extensión
tal que E = K(u) y K es extensión cı́clica de F de grado pn−1 . Pruebe que E = F (u).

3. Sea car(F ) = p > 0, y sea Fp = { up − u | u ∈ F }. Pruebe lo siguiente:

a) Existe una extensión cı́clica de grado p sobre F si, y sólo si F 6= Fp ;

b) Si existe una extensión cı́clica de grado p sobre F , entonces existe una extensión cı́clica
de grado pn sobre F para cada n ≥ 1. (Sugerencia: Use induccción; Si E es extensión
cı́clica sobre F de grado pn−1 con Gal(E/F ) = hσi, entonces demuestre que existen
u, v ∈ E tales que TrE/F (v) = 1 y σ(u) − u = v p − v. Luego, xp − x − u ∈ E[x] es
irreducible y si w es una raı́z, entonces F (w) es cı́clica de grado pn sobre F ).

4. Pruebe que toda extensión finita de Q contiene un número finito de raı́ces de unidad.
5. Para car(F ) = p, pruebe lo siguiente:

a) xp − a ∈ F [x] es o bien irreducible ó se descompone completamente en F [x].

b) Para cualquier raı́z u del polinomio xp − a ∈ F [x], F (u) 6= F (up ) si, y sólo si [F (u) :
F ] = p.
√
6. Sea F = Q( a) donde a ∈ Z, a < 0. Pruebe que F no puede ser encajado en una extensión
cı́clica cuyo grado sobre Q sea divisible por 4.
7. Sea E/F una extensión finita y separable de grado p. Sea θ ∈ E tal que E = F (θ), y sean
θ1 = θ, . . . , θp los F -conjugados de θ (en F ). Si θ2 ∈ F (θ), entonces pruebe que E/F es una
extensión de Galois cı́clica.
8. Sea F un campo tal que toda extensión finita de F es cı́clica. Pruebe que existe un F -
automorfismo σ de F tal que F es campo fijo de σ.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.09

9. Sea σ un automorfismo de F que deja fijo de F , y sea E el campo fijo de σ. Pruebe que cada
extensión finita de E es cı́clica.

2. Extensiones radicales

Sea G un grupo. Para cada a, b ∈ G, se define el conmutador de a y b, denotado por [a, b], como
[a, b] = aba−1 b−1 . Si A, B son subgrupos de G, denotamos por [A, B] al subgrupo de G generado
por todos los conmutadores [a, b] tales que a ∈ A y b ∈ B. En particular, el derivado de G es
el subgrupo de G dado por G(1) = G0 = DG := [G, G]. Se tiene que G(1) es un subgrupo normal
de G; más aún, si N es subgrupo normal de G, entonces el cociente G/N es abeliano si, y solo N
contiene al derivado G(1) de G.
Definimos de manera recurrente, G(2) := [G(1) , G(1) ] = (G(1) )(1) . Habiendo definido G(n) , definimos
G(n+1) := [G(n) , G(n) ] = (G(n) )(1) , para n ∈ N. De aquı́ que, tenemos una sucesión decrecientes de
subgrupos de G, a saber,

G = G(0) > G(1) > G(2) > · · · > G(n) > · · ·

la cual es llamada la serie derivada de G. Al subgrupo G(n) de G se le llama el n-ésimo
subgrupo derivado de G, el cual es un subgrupo normal de G.

Definición 6. Un grupo G se dice que es soluble si existe un n ∈ N tal que G(n) = hei.

Se tienen las siguientes propiedades de los grupos solubles:

(a) Todo subgrupo de un grupo soluble es soluble.

(b) Si N es un subgrupo normal de un grupo G tal que N y G/N son solubles, entonces G es
soluble
(c) La imagen homomorfa de un grupo soluble es soluble.

Teorema 7. El grupo simétrico Sn de grado n no es soluble para n ≥ 5.

Demostración. Si Sn fuera soluble, deberı́amos de tener que An serı́a soluble. Pero, tenemos que
(1) (1)
hei 6= An es un subgrupo normal de An y, como An es simple, se tendrá que An = An . Por
(k)
inducción, obtenemos que An = An para cada k ≥ 1, es decir, An no es soluble. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.09

Sea E/F finita y separable. Recordemos que la extensión E/F es soluble si la cerradura normal
N/F de la extensión E/F es soluble, es decir, el grupo de Galois de la extensión N/F es soluble.
Esta condición es equivalente a que existe una extensión de Galois L/F que contiene a N tal que
la extensión L/F es soluble, es decir, no necesarimante la solubilidad de la extensión es sobre la
cerradura normal.

Proposición 8. La clase de extensiones solubles forman una clase distinguida.

Demostración. Ver el Libro Serge Lang, Algebra, Proposition 7.1, Section 7, Chapter VI, pág.
291.

Sea F un campo, y f (x) ∈ F [x] un polinomio no constante. ¿Qué significa que f se pueda resolver
por radicales? A groso modo, podemos decir que las raı́ces f se pueden expresar a través de ciertos
elementos de F y de cierto radicales deducidos de elementos de F , los cuales están contenidos en
el campo de descomposición de f sobre F . Para ser más preciso, tenemos lo siguiente:

Una extensión finita y separable E/F se dice que es soluble por radicales si existe una extensión
finita K/F que contiene a E tal que la extensión K/F se descompone en una torre de campos

F = F0 ⊆ F1 ⊆ · · · ⊆ Fn = K
tal que para cada 0 ≤ i ≤ n − 1, se tiene que Fi+1 = Fi (α) donde α es uno de los siguientes
elementos de F :

(a) Es una raı́z de unidad

(b) Es raı́z de un polinomio de la forma xn − a ∈ Fi [x], con n primo relativo con la caracterı́stica
de F
(c) Es raı́z de un polinomio de la forma xp − x − a ∈ Fi [x], si p > 0 es la caracterı́stica de F .

Se cumple que la clase de extensiones solubles por radicales forma una clase distinguida de exten-
siones.

Teroema 9. Sea E/F una extensión finita y separable. La extensión E/F es soluble por radicales
si, y solo si E/F es una extensión soluble.

Demostración. Ver el Libro Serge Lang, Algebra, Proposition 7.2, Section 7, Chapter VI, pág.
292.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.09

Ejercicios
Extensiones cı́clicas

En los siguientes ejercicios E, F y K determinan campos; F es una cerradura algebraica (fija) de

F . p es un número primo.

1. Sean G = AutF (F ), σ ∈ G, y E = {u ∈ F | σ(u) = u }. Pruebe que E es un campo tal que

cada extensión finita de E es cı́clica.
2. Sea E/F una extensión finita de campos de grado pn , y K campo intermedio de la extensión
tal que E = K(u) y K es extensión cı́clica de F de grado pn−1 . Pruebe que E = F (u).

3. Sea car(F ) = p > 0, y sea Fp = { up − u | u ∈ F }. Pruebe lo siguiente:

a) Existe una extensión cı́clica de grado p sobre F si, y sólo si F 6= Fp ;

b) Si existe una extensión cı́clica de grado p sobre F , entonces existe una extensión cı́clica
de grado pn sobre F para cada n ≥ 1. (Sugerencia: Use induccción; Si E es extensión
cı́clica sobre F de grado pn−1 con Gal(E/F ) = hσi, entonces demuestre que existen
u, v ∈ E tales que TrE/F (v) = 1 y σ(u) − u = v p − v. Luego, xp − x − u ∈ E[x] es
irreducible y si w es una raı́z, entonces F (w) es cı́clica de grado pn sobre F ).

4. Pruebe que toda extensión finita de Q contiene un número finito de raı́ces de unidad.
5. Para car(F ) = p, pruebe lo siguiente:

a) xp − a ∈ F [x] es o bien irreducible ó se descompone completamente en F [x].

b) Para cualquier raı́z u del polinomio xp − a ∈ F [x], F (u) 6= F (up ) si, y sólo si [F (u) :
F ] = p.
√
6. Sea F = Q( a) donde a ∈ Z, a < 0. Pruebe que F no puede ser encajado en una extensión
cı́clica cuyo grado sobre Q sea divisible por 4.
7. Sea E/F una extensión finita y separable de grado p. Sea θ ∈ E tal que E = F (θ), y sean
θ1 = θ, . . . , θp los F -conjugados de θ (en F ). Si θ2 ∈ F (θ), entonces pruebe que E/F es una
extensión de Galois cı́clica.
8. Sea F un campo tal que toda extensión finita de F es cı́clica. Pruebe que existe un F -
automorfismo σ de F tal que F es campo fijo de σ.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.09

9. Sea σ un automorfismo de F que deja fijo de F , y sea E el campo fijo de σ. Pruebe que cada
extensión finita de E es cı́clica.

2. Extensiones radicales

Sea G un grupo. Para cada a, b ∈ G, se define el conmutador de a y b, denotado por [a, b], como
[a, b] = aba−1 b−1 . Si A, B son subgrupos de G, denotamos por [A, B] al subgrupo de G generado
por todos los conmutadores [a, b] tales que a ∈ A y b ∈ B. En particular, el derivado de G es
el subgrupo de G dado por G(1) = G0 = DG := [G, G]. Se tiene que G(1) es un subgrupo normal
de G; más aún, si N es subgrupo normal de G, entonces el cociente G/N es abeliano si, y solo N
contiene al derivado G(1) de G.
Definimos de manera recurrente, G(2) := [G(1) , G(1) ] = (G(1) )(1) . Habiendo definido G(n) , definimos
G(n+1) := [G(n) , G(n) ] = (G(n) )(1) , para n ∈ N. De aquı́ que, tenemos una sucesión decrecientes de
subgrupos de G, a saber,

G = G(0) > G(1) > G(2) > · · · > G(n) > · · ·

la cual es llamada la serie derivada de G. Al subgrupo G(n) de G se le llama el n-ésimo
subgrupo derivado de G, el cual es un subgrupo normal de G.

Definición 6. Un grupo G se dice que es soluble si existe un n ∈ N tal que G(n) = hei.

Se tienen las siguientes propiedades de los grupos solubles:

(a) Todo subgrupo de un grupo soluble es soluble.

(b) Si N es un subgrupo normal de un grupo G tal que N y G/N son solubles, entonces G es
soluble
(c) La imagen homomorfa de un grupo soluble es soluble.

Teorema 7. El grupo simétrico Sn de grado n no es soluble para n ≥ 5.

Demostración. Si Sn fuera soluble, deberı́amos de tener que An serı́a soluble. Pero, tenemos que
(1) (1)
hei 6= An es un subgrupo normal de An y, como An es simple, se tendrá que An = An . Por
(k)
inducción, obtenemos que An = An para cada k ≥ 1, es decir, An no es soluble. 
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE FÍSICA Y MATEMÁTICAS
UNIDAD ZACATENCO
ÁLGEBRA MODERNA III
(EXTENSIONES DE CAMPOS Y TEORÍA DE GALOIS)
PABLO LAM ESTRADA
CLASE 2021.12.09

Sea E/F finita y separable. Recordemos que la extensión E/F es soluble si la cerradura normal
N/F de la extensión E/F es soluble, es decir, el grupo de Galois de la extensión N/F es soluble.
Esta condición es equivalente a que existe una extensión de Galois L/F que contiene a N tal que
la extensión L/F es soluble, es decir, no necesarimante la solubilidad de la extensión es sobre la
cerradura normal.

Proposición 8. La clase de extensiones solubles forman una clase distinguida.

Demostración. Ver el Libro Serge Lang, Algebra, Proposition 7.1, Section 7, Chapter VI, pág.
291.

Sea F un campo, y f (x) ∈ F [x] un polinomio no constante. ¿Qué significa que f se pueda resolver
por radicales? A groso modo, podemos decir que las raı́ces f se pueden expresar a través de ciertos
elementos de F y de cierto radicales deducidos de elementos de F , los cuales están contenidos en
el campo de descomposición de f sobre F . Para ser más preciso, tenemos lo siguiente:

Una extensión finita y separable E/F se dice que es soluble por radicales si existe una extensión
finita K/F que contiene a E tal que la extensión K/F se descompone en una torre de campos

F = F0 ⊆ F1 ⊆ · · · ⊆ Fn = K
tal que para cada 0 ≤ i ≤ n − 1, se tiene que Fi+1 = Fi (α) donde α es uno de los siguientes
elementos de F :

(a) Es una raı́z de unidad

(b) Es raı́z de un polinomio de la forma xn − a ∈ Fi [x], con n primo relativo con la caracterı́stica
de F
(c) Es raı́z de un polinomio de la forma xp − x − a ∈ Fi [x], si p > 0 es la caracterı́stica de F .

Se cumple que la clase de extensiones solubles por radicales forma una clase distinguida de exten-
siones.

Teroema 9. Sea E/F una extensión finita y separable. La extensión E/F es soluble por radicales
si, y solo si E/F es una extensión soluble.

Demostración. Ver el Libro Serge Lang, Algebra, Proposition 7.2, Section 7, Chapter VI, pág.
292.