Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
UCM
Estructuras Algebraicas
Miguel González
3 de octubre de 2016
Índice
1. Anillos 5
1.1. Definición y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Divisores de cero. Unidades . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3. Subanillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Homomorfismos de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5. Ideales. Anillo cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.1. Teorema de isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.2. Operaciones con ideales . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5.3. Función de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5.4. Ideales maximales. Ideales primos . . . . . . . . . . . . . . . . . . . 23
1.6. Anillos de fracciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.7. Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.8. Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.8.1. Definición y propiedades . . . . . . . . . . . . . . . . . . . . . . . . 32
1.9. Elemento irreducible. Elemento primo . . . . . . . . . . . . . . . . . . . . . 34
1.10. Dominios de ideales principales . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.11. Dominios de factorización única . . . . . . . . . . . . . . . . . . . . . . . . 38
1.11.1. Definición y propiedades . . . . . . . . . . . . . . . . . . . . . . . . 38
1.11.2. Máximo común divisor y mı́nimo común múltiplo . . . . . . . . . 39
1.12. Dominios euclı́deos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.12.1. Definición y propiedades . . . . . . . . . . . . . . . . . . . . . . . . 41
1.12.2. Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.12.3. Ecuaciones diofánticas lineales . . . . . . . . . . . . . . . . . . . . . 43
1.12.4. Un DIP que no es DE . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.12.5. Factorización en el anillo de enteros de Gauss . . . . . . . . . . . . 45
1.13. Factorialidad de los anillos de polinomios . . . . . . . . . . . . . . . . . . . 48
1.13.1. Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
1.13.2. Criterios de irreducibilidad . . . . . . . . . . . . . . . . . . . . . . . 51
1.14. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2. Grupos 69
2.1. Definición y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.2. Grupo simétrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3
4 ÍNDICE
A. Ejercicios 226
A.1. Capı́tulos 1, 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 226
A.2. Capı́tulo 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
Capı́tulo 1
Anillos
r · (s + t) = r · s + r · t,
(r + s) · t = r · t + s · t,
para todos r, s, t ∈ R
5
6 Capı́tulo 1 Anillos
(3) −(−r) = r.
(5) R = {0} si, y sólo si, 1 = 0. En efecto, si 1 = 0, entonces para todo r ∈ R se tiene
r = r1 = r0 = 0.
Supondremos, por tanto, que 1 , 0.
(8) Un anillo unitario se dice anillo de división si para todo elemento 0 , r ∈ R existe
s ∈ R tal que rs = 1 = sr. Un anillo de división conmutativo es un cuerpo.
(1) 0r = r0 = 0.
Demostración. (1)
1.1 Definición y propiedades 7
Proposición 1.1.5. r, s ∈ R, m, n ∈ N
(4) rm rn = rm+n .
Ejemplos 1.1.6. (1) Anillo trivial (R, +) con rs = 0 para todo r, s ∈ R. No es nada más
que un grupo abeliano.
(2) El anillo conmutativo y unitario de los enteros Z. Los cuerpos de los números
racionales, reales, complejos: Q, R, C.
(5) El anillo conmutativo y unitario √ de los enteros de Gauss, Z[i] ⊂ C definido por
Z[i] = {a + bi|a, b ∈ Z}, donde i = −1.
(8) El producto R × S de dos anillos (unitarios) R, S tinen una estructura de anillo con
la suma y producto definidas componente a componente. El cero es (0R , 0S ) (y el
uno es (1R , 1S ).
(donde los coeficientes reales conmutan con i, j, k). De forma similar podemos
definir los anillos de los cuaternios racionales (o enteros) con a, b, c, d ∈ Q (Z).
En todos los casos podemos definir la conjugación: si α = a+bi+cj+dk el conjugado
es ᾱ = a − bi − cj − dk, y la norma N(α) = αᾱ = a2 + b2 + c2 + d2 . Es claro que α = 0
si, y sólo si, N(α) = 0. Los cuaternios reales o racionales son anillos de división, el
inverso de 0 , α es α−1 = N(α)−1 ᾱ.
R = { f : X → A | f aplicación}
El anillo R es conmutativo si, y sólo si, A es conmutativo, y R tiene 1 si, y sólo si, A
tiene 1, en este caso 1R (x) = 1A para todo x ∈ X.
(12) Todo anillo R se puede sumergir en un anillo con unidad: R × Z con la suma obvia
y producto definido por (r, m)(s, n) = (rs + nr + ms, mn). Es R ⊂ R × Z vı́a r 7→ (r, 0)
y (r, m)(0, 1) = (r, m). Esto es 1R×Z = (0, 1).
1.2 Divisores de cero. Unidades 9
(8) Sea n ≥ 2. Un elemento ā ∈ Z/nZ es unidad si, y sólo si, mcd(a, n) = 1 si, y sólo si, ā
es un generador del grupo cı́clico aditivo (Z/nZ, +). Si 0̄ , ā no es unidad entonces
es divisor de cero.
(9) Z/nZ es un cuerpo si, y sólo si, para todo 1 ≤ a < n es mcd(a, n) = 1 si, y sólo si, n
es primo.
(10) Z/nZ contiene nilpotentes no nulos si, y sólo si, n tiene algún divisor primo
múltiple.
(11) Sea R el anillo de funciones reales definidas en [0, 1]. Las unidades de R son las
f ∈ R tales que f (x) , 0 para todo x ∈ [0, 1]. Si 0 , f no es unidad entonces f g = 0
donde g(x) = 0 si f (x) , 0 y g(x) = 1 si f (x) = 0, esto es f es divisor de cero.
(12) Sea R el anillo de funciones reales continuas en [0, 1]. Las unidades son las funciones
continuas tales f (x) , 0 para todo x ∈ [0, 1]. Ahora hay funciones que no son unidad
ni divisor de cero. Por ejemplo f (x) = x − 1/2. Si f g = 0 entonces g(x) , 0 para
todo x , 1/2. de aquı́ g = 0 puesto que g es continua. De forma similar ninguna
función con una cantidad numerable de (ceros es un divisor de cero. Sin embargo
0 si 0 ≤ x ≤ 1/2
hay divisores de cero f g = 0 para f (x) = y g(x) = f (1 − x).
x − 1/2 si 1/2 ≤ x ≤ 1
√ √ √
(13) Sean
√ D ∈ Z libre de cuadrados√y Q[ D] = {a + b D
√ | a, b ∈ Q} ⊂ C. Es (a + b D)(c +
d D) = (ac + bdD) √ + (ad +√bc) D. Además a + b D = 0 si, y sólo si,√a = b = 0 si,
y sólo√si, (a + b D)(a − b D) = a2 − Db2√= 0. Por√tanto, si 0 , a + b D√entonces
(a + b D)−1 = a/(a2 − Db2 ) − b/(a2 − Db2 ) D ∈ Q[ D]. Diremos que Q[ D] es un
cuerpo cuadrático.
1.3 Subanillos 11
1.3. Subanillos
Definición 1.3.1. Un subanillo de R es un subgrupo aditivo S que es cerrado para el
producto. Por tanto ∅ , S ⊂ R es subanillo si, y sólo si, para todo x, y ∈ S se tiene x − y ∈ S
y xy ∈ S. El subanillo S es subanillo unitario si 1R ∈ S.
donde √
− D si D ≡ 2, 3 (mod 4)
√
ω̄ =
1− D
si D ≡ 1(mod 4)
2
Lema 1.3.3. El elemento α ∈ Z[ω] es unidad en Z[ω] si, y sólo si, N(α) = ±1. En este
caso α−1 = ±ᾱ.
para algún n ∈ N.
14 Capı́tulo 1 Anillos
(1) f (0R ) = 0S .
Ejercicios 1.4.7. (1) Para cada anillo unitario R existe un único homomorfismo de
anillos unitarios Z → R.
f
R /S
O
π i
f¯ ?
R/ker f / im f.
(2) (2o teorema de isomorfismo) Sean I, J ideales de R tales que I ⊂ J. Entonces J/I = {ā | a ∈ J}
es un ideal de R/I y existe un isomorfismo natural R/IJ/I
' R/J.
(7) El ideal (A) generado por un subconjunto A ⊂ R es el menor ideal ((A)i a izquierda,
(A)d a derecha) de R que contiene a A (si A = ∅ ponemos (A) = {0}). El ideal (A)
((A)i , (A)d ) es la intersección de la familia de ideales (a izquierda, a derecha) de R
que contienen a A.
1.5 Ideales. Anillo cociente 19
(14) Un anillo conmuattivo, unitario en el que todos sus ideales son finitamente gene-
rados se llama anillo noetheriano. Ejemplo: C[X, Y].
(1) Un ideal a izquierda (derecha) I es I = R si, y sólo si, I contiene una unidad.
(2) Los únicos ideales a izquierda (derecha) de un anillo de división D son {0}, D.
(3) Supongamos R conmutativo. Si los únicos ideales de R son {0}, R, entonces R es un cuerpo.
(4) Sea F un cuerpo. Los únicos ideales del anillo Mn (F), son {0}, Mn (F). Sin embargo, si n ≥ 2
el anillo Mn (F) no es de división (tiene ideales propios sólo a izquierda e ideales propios
sólo a derecha).
Definición 1.5.7. Un anillo R cuyos únicos ideales (biláteros) son {0}, R se denomina
simple.
Ejemplos 1.5.8. (1) En R = Z o R = F[X], con F cuerpo, todo ideal es principal (en
ambos hay una división). Si r, s ∈ R = Z, F[X] el ideal (r, s)R = rR + sR = mcd(r, s)R.
(2) El ideal (2, X)Z[X] = {2p(X) + Xq(X) | p(X), q(X) ∈ Z[X]} = { polinomios cuyo
término constante es par } no es principal. En efecto, supongamos (2, X)Z[X] =
a(X)Z[X]. Entonces 2 = p(X)a(X), para algún p(X) ∈ Z[X]. Puesto que el grado del
producto p(X)a(X) es la suma de los grados de p(X), a(X), se deduce p(X), a(X) ∈ Z.
Ası́ p(X), a(X) ∈ {±1, ±2}. Si a(X) = ±1 entonces 1 ∈ (2, X)Z[X], y es claro que
1 = 2q(X) + Xr(X) no tiene solución. Si a(X) = ±2, entonces X = 2q(X), imposible.
Observemos, sin embargo, que (2, X)Q[X] = Q[X].
20 Capı́tulo 1 Anillos
Teorema 1.5.9 (Teorema de división entera). Sea 0 , d ∈ Z un entero no nulo. Para cada
entero m ∈ Z existen únicos enteros q, r ∈ Z tales que m = dq + r y 0 ≤ r <| d |.
Demostración. Si d < 0 y m = (−d)q + r es la división de m por −d, entonces m = d(−q) + r
es la división de m por d. Por tanto, podemos suponer d > 0. Si m < 0 y (−m) = dq + r, con
0 ≤ r < d es la división de −m por d, entonces si r = 0 la división de m por d es m = d(−q)
y, si r > 0 la división de m por d es m = d(−q − 1) + (d − r). Por tanto, podemos suponer
d > 0 y m ≥ 0. Si 0 ≤ m < d, la división de m por d es m = d0 + m. Supongamos que m ≥ d
y que, por hipótesis de inducción hay división de todo 0 ≤ n < m por d. Entonces para
0 ≤ m − d < m hay división m − d = dq1 + r, con 0 ≤ r < d. Ası́ m = d(q1 + 1) + r es la
división de m por d.
Respecto de la unicidad, si m = dq + r y m = dq0 + r0 son divisiones, entonces |d||q − q0 | =
|r0 − r|. Puesto que de 0 ≤ r, r0 < |d| se deduce |r0 − r| < d, de la igualdad |d||q − q0 | = |r0 − r|
se obtiene |r0 − r| = 0 = |q − q0 |.
Corolario 1.5.10. Todo ideal de Z es principal.
Demostración. Sea I ⊂ Z un ideal. Si I = {0}, entonces I = 0Z. Supongamos que I , {0}.
Entonces I+ = {s ∈ I | s > 0} , ∅. Sea d el mı́nimo del conjunto I+ . Demostremos que
I = dZ. Puesto que d ∈ I es dZ ⊂ I. Recı́procamente, si m ∈ I, consideramos la división
m = dq + r, con 0 ≤ r < d. Entonces r = m − dq ∈ I y, por tanto ha de ser r = 0. Ası́
m = dq ∈ dZ.
= f (n).
Lema 1.5.21.
X
1
si n = 1,
µ(d) =
d|n
0
si n > 1.
Proposición 1.5.22. X
ϕ(d) = n.
d|n
1.5 Ideales. Anillo cociente 23
Demostración. En Lema 1.5.11 hemos visto que ϕ(n) es el número de generadores del
grupo cı́clico Zn . Por otra parte, sabemos que Zn tiene exactamente un subgrupo de
orden d para cada divisor d | n y todos los subgrupos son cı́clicos. De aquı́ se sigue la
fórmula.
Corolario 1.5.23.
X µ(d)
ϕ(n) = n .
d
d|n
Ejemplos 1.5.27. (1) En el anillo 2Z, que no tiene 1, el ideal 4Z es maximal. Es claro
que 2Z/4Z no es cuerpo.
(3) nZ es maximal si, y sólo si, n primo si, y sólo si, Z/nZ es un cuerpo. En efecto,
sean p ∈ Z primo y 0 , a ∈ Z/pZ, 1 ≤ a < p, hay que probar que a tiene inverso
en Z/pZ. La condición 0 , a significa que a < pZ. El ideal aZ + pZ es principal
aZ + pZ = dZ con d > 0. En particular d | p. Puesto que p es primo, ha de ser d = 1, p.
Si d = p, entonces a ∈ pZ. Por tanto, d = 1. Ası́, existen u, v ∈ Z tales que au + pv = 1.
Entonces a u = 1. Recı́procamente, si Z/nZ es un cuerpo y 1 ≤ a < n, el elemento
a ∈ Z/nZ tiene inverso. Esto significa que existem u, v ∈ Z tales que au + nv = 1.
Si suponemos que a|n, existe w ∈ Z tal que n = aw. Entonces a(u + wv) = 1. De esta
igualdad se deduce a = 1. Por tanto, n es primo.
(4) (2, X)Z[X] es maximal puesto que Z[X]/(2, X)Z[X] ' Z/2Z.
Ejemplo 1.5.29. (1) 0 , p ∈ Z es primo si, y sólo si, {0} , pZ ideal primo. En efecto,
sean 0 , p ∈ Z primo, xy ∈ pZ y x < pZ. Entonces, (razonando como en (1.5.27)
xu + pv = 1 para ciertos u, v ∈ Z. Ası́ y = y1 = yxu + ypv ∈ pZ. Recı́procamente
si {0} , nZ es ideal primo y 1 ≤ a < n verifica n = au, ha de ser u ∈ nZ, esto es
u = nw. Entonces n = anw y, puesto que, 0 , n es 1 = aw. Ası́ a = 1.
(2) I = (X2 +Y2 −1)C[X, Y], J = (X)C[X, Y] son primos. La suma I + J = (Y2 −1, X)C[X, Y]
no es primo, puesto que Y2 − 1 = (Y + 1)(Y − 1) ∈ I + J, pero Y ± 1 < I + J
Proposición 1.5.30. Un ideal P ⊂ R es primo si, y sólo si, R/P es un dominio de integridad.
Demostración. En primer lugar, P , R si, y sólo si, 1R/P , 0. Por otra parte, xy ∈ P si, y
sólo si, (x + P)(y + P) = 0, y, x ∈ P ó y ∈ P si, y sólo si, x + P = 0 ó y + P = 0.
(2) 0 , nZ primo si, y sólo si, {0} , nZ maximal si, y sólo si, 0 , n primo.
que 0 < D.
ϕ
El homomorfismo natural R → R[D−1 ] definido por r 7→ 1r es inyectivo si, y sólo si, D no
contiene divisores de cero, puesto que ker ϕ = {r ∈ R | existe d ∈ D con dr = 0}.
Ejemplos 1.6.1. (1) El conjunto D de todos los no divisores de cero en R es multipli-
cativamente cerrado. En este caso, la relación de equivalencia es la bien conocida
r r0
= 0 ⇔ rd0 = dr0 .
d d
f
Teorema 1.6.2. Sean T un anillo conmutativo con unidad y R → T un homomorfismo tal que
f (d) es unidad en T para cada d ∈ D, con D multiplicativamente cerrado en R. Entonces existe
un único homomorfismo de anillos Φ : R[D−1 ] → T, definido por Φ(r/d) = f (r) f (d)−1 , que hace
conmutativo el diagrama
f
R /: T
ϕ
Φ
R[D−1 ] .
1.7 Anillos de polinomios 27
r0 + r1 X + · · · + rk X = s0 + s1 X + · · · + sl Xl ⇔ r0 = s0 , r1 = s1 , . . . .
k
(2) deg(p(X)q(X)) ≤ deg p(X) + deg q(X), con igualdad si, y sólo si, rk sl , 0.
Proposición 1.7.3. Sea R un dominio de integridad.
(1) R[X] es dominio de integridad.
(2) R[X]∗ = R∗ .
Demostración. (1) Si p(X)q(X) = 0, entonces −∞ = deg(p(X)q(X)) = deg p(X) + deg q(X).
Por tanto, deg p(X) = −∞ o deg q(X) = −∞ y, en consecuencia, p(X) = 0 o q(X) = 0.
(2) Si p(X)q(X) = 1, entonces 0 = deg(p(X)q(X)) = deg p(X) + deg q(X). Por tanto,
deg p(X) = deg q(X) = 0. Ası́, p(X) = r0 ∈ R, q(X) = s= ∈ R y r0 s0 = 1. En consecuencia,
p(X) = r0 ∈ R∗ , q(X) = s0 ∈ R∗ .
para algún k ≥ 0 y ai1 ,...,in ∈ R. Este elemento es cero si, y sólo si, todo ri1 ,...,in = 0.
ϕ
Teorema 1.7.7. Sean S un anillo conmutativo unitario, s1 , . . . , sn ∈ S y R → S un homo-
morfismo de anillos. Existe un único homomorfismo de anillos (homomorfismo de sustitución)
Φ
R[X1 , . . . , Xn ] → S tal que Φ|R = ϕ y Φ(Xi ) = si para cada i = 1, . . . , n. El homomorfismo Φ está
definido por X X
ri1 ,...,in X1i1 · · · Xnin 7→ ϕ(ri1 ,...,in )si11 · · · sinn .
i1 +···+in ≤k i1 +···+in ≤k
con deg r(X) < deg d(X). Si a es no divisor de cero en R, entonces q(X), r(X) son únicos con
estas condiciones. Si a es unidad en R (en particular, si R es un cuerpo) la división se puede
escribir en la forma
f (X) = d(X)q(X) + r(X),
para únicos q(X), r(X) con la condición deg r(X) < deg d(X).
Demostración. Si n = 0, entonces d(X) = a, k = m + 1, q(X) = am f (X) y r(X) = 0. Sea
n > 0 fijado. Hacemos inducción en m = deg f . Si f (X) = 0 o m < n, entonces k = 0,
q(X) = 0 y r(X) = f (X). Supongamos m ≥ n y el enunciado cierto para deg f (X) < m.
Sea f (X) = bXm + · · · , con 0 , b ∈ R. Entonces deg(a f (X) − bXm−n d(X)) ≤ m − 1. Ası́
a(m−1)−n+1 (a f (X) − bXm−n d(X)) = d(X)q1 (X) + r(X), con deg r(X) < deg d(X). De donde
am−n+1 f (X) = (am−n bXm−n + q1 (X))d(X) + r(X).
Supongamos que a es no divisor de cero en R. Si dq + r = dq1 + r1 con deg r1 < deg d,
entonces d(q − q1 ) = r1 − r. En esta igualdad deg(r1 − r) < deg d y deg d(q − q1 ) =
deg d + deg(q − q1 ). Por tanto deg(q − q1 ) = −∞. Ası́ q = q1 , r = r1 .
Ejemplo 1.7.11.
(1) Existe un único q(X) ∈ R[X] tal que f (X) = (X − a)q(X) + f (a).
Corolario 1.7.16. Sean f (X) ∈ R[X] y a ∈ R tales que f (a) = 0. Entonces, para un s ≤ deg f
y q(X) ∈ R[X] bien definidos, f (X) = (X − a)s q(X), con q(a) , 0. Diremos que s es el orden de
anulación (o la multiplicidad) de f (X) en a.
Proposición 1.7.17. Sean f (X) ∈ R[X] y a ∈ R tales que f (a) = 0. El orden de anulación de
f (X) en a es ≥ 2 si, y sólo si, f 0 (a) = 0.
Proposición 1.7.18. Sean R un DI, f (X) ∈ R[X] y a1 , . . . , ar ∈ R, distintos dos a dos, tales
f (ai ) = 0 para cada i = 1, . . . , r con órdenes de anulación si . Entonces (X−a1 )s1 · · · (X−ar )sr | f (X)
en R[X]. En particular, s1 + · · · + sr ≤ n.
Teorema 1.7.20 (Teorema Fundamental del Álgebra). Sea p(X) ∈ C[X] un polinomio de
grado positivo con coeficientes complejos. Entonces existe z ∈ C tal que p(z) = 0.
1.8. Divisibilidad
1.8.1. Definición y propiedades
Definición 1.8.1. Sean R un anillo conmutativo unitario (supondremos R dominio de
integridad) y a, b ∈ R con b , 0.
a) d | a y d | b, y
b) si d0 | a y d0 | b entonces d0 | d.
a) a | m y b | m, y
b) si a | m0 y b | m0 entonces m | m0 .
a) mR ⊂ aR ∩ bR, y
b) si m0 R ⊂ aR ∩ bR entonces m0 R ⊂ mR.
La simetrı́a con la definición de máximo común divisor es aparente, puesto que las
condiciones:
a) mR ⊂ aR ∩ bR, y
b) si m0 R ⊂ aR ∩ bR entonces m0 R ⊂ mR,
a) aR ∩ bR = mR.
(4) Si el ideal (a, b)R es principal (a, b)R = dR, entonces d = mcd(a, b) y, además se tiene
una identidad de Bezout d = au + bv, para ciertos u, v ∈ R.
(5) Si d = au + bv es una identidad de Bezout entonces d = a(u + rb0 ) + b(v − ra0 ), donde
a = da0 , b = db0 y r ∈ R es un elemento cualquiera, es otra identidad de Bezout.
Además, toda identidad de Bezout d = au1 + bv1 se obtiene de esta forma a partir
de d = au + bv. En efecto, de da0 (u1 − u) = db0 (v − v1 ), teniendo en cuenta que
1 = a0 u + b0 v, se deduce, primero, v − v1 = a0 r para cierto r ∈ R, y luego, u1 − u = b0 r.
(6) Si el ideal (a, b)R es principal, entonces 1 = mcd(a, b) si, y sólo si, existen u, v ∈ R
tales que 1 = au + bv. Por ejemplo: 29 · (−31) + 75 · (12) = −899 + 900 = 1.
(7) En F[X, Y], con F cuerpo, el ideal (X, Y)F[X, Y] F[X, Y] y mcd(X, Y) = 1.
(3) Diremos que dos elementos 0 , x, 0 , y ∈ R son asociados si existe una unidad
u ∈ R tal que y = xu.
(4) Un elemento es irreducible o primo si, y sólo si, cualquiera de sus asociados es
irreducible o primo.
Ejemplo 1.9.2. (1) En Z los conceptos de elemento primo o irreducible coinciden con
la clásica noción de número primo. Dos enteros x, y ∈ Z son asociados si, y sólo si,
x = ±y.
(2) Sea Z[ω] un anillo de enteros cuadrático. Si N(α) = ±p, donde p es un entero primo,
entonces α es irreducible en Z[ω].
En efecto, usando Lema 1.3.3, vemos que α no es unidad. Si α = βδ entonces
N(α) = N(β)N(δ). Puesto que N(α) es primo (de hecho irreducible) N(β) = ±1 o
N(δ) = ±1. Por tanto β es unidad o δ es unidad.
Por ejemplo, 1 + i es irreducible en Z[i], puesto que N(1 + i) = (1 + i)(1 − i) = 2.
√ √
= (3, 2 + −5)Z[ −5]
(3) El√ideal I √ √ no es principal.
√ √ supongamos I =√ (a +
En efecto,
b −5)Z[ −5]. Ası́ 3 = α(a + b −5) y 2 + −5 = β(a + b −5) con α, β ∈ Z[ −5].
Tomando normas 9 = N(α)(a2 + 5b2 ). Ası́ a2 + 5b2 = 1, 3, 9. Como a2 + 5b2 √ = 3 no
tiene soluciones enteras, será a2 +
√ 5b2
= 1, 9. Si a2
+ 5b2
= 9 entonces
√ 3(a − b −5) =
√
α(a +5b ) = 9α √
2 2
y, por tanto, a+b −5 = 3ᾱ. Sustituyendo en 2+ −5 = β(a+b −5),
obtenemos 2 + −5 = 3ᾱβ, igualdad que no √ es posible, puesto que 3 no divide
√ a 2.
Por tanto a + 5b = 1.√Entonces ±1 = a + b −5 ∈ I. Esto es 1 = 3γ + (2 + −5)δ,
2 2
para√ciertos γ, δ ∈√Z[ −5]. Esto √ tampoco√es posible, puesto que se tiene entonces
2 − −5 = 3(2 − −5)γ + (2 − −5)(2 + −5)δ = 3ω.
(4) Existen DI donde hay elementos que no admiten factorización finita. Sea R =
1 1 1 1 1
Q[X n , n ∈ N] (expresiones polinómicas en X, X 2 , X 3 , . . .), entonces X = X 2 X 2 =
1 1 1 1 1 1 1
X 2 X 4 X 4 = X 2 X 4 X 8 X 8 = · · · , no admite factorización finita en producto de irredu-
cibles.
36 Capı́tulo 1 Anillos
Proposición 1.10.4. Sea R un DIP. Todo elemento irreducible en R genera un ideal maxi-
mal. En particular, todo elemento irreducible es primo y todo ideal primo no nulo es maximal.
Recı́procamente, si 0 , rR es maximal, entonces r es irreducible.
Proposición 1.10.8. Sea R un DIP. Entonces todo elemento r ∈ R no nulo ni unidad se escribe
como producto de elementos irreducibles en R.
aR a1 R a2 R a3 R ··· ,
FU1 todo elemento no nulo ni unidad r ∈ R puede ser escrito como producto r = p1 · · · pn de
elementos p1 , . . . , pn irreducibles en R.
Entonces son equivalentes las condiciones:
Si se verifican las condiciones FU1, FU2 diremos que R es un dominio de factorización única.
(2) Todo DIP es DFU. Por ejemplo, Z y el anillo de polinomios F[X] donde F es un
cuerpo.
Proposición 1.11.5. Sea R un DI. Supongamos que a, b ∈ R − {0} son tales que (a, b)R = R
(e.g., R es DIP y mcd(a, b) = 1). Si a | bc, con c ∈ R, entonces a | c.
Demostración. Puesto que, por definición de DIP, R[X] es DI, el subanillo R ⊂ R[X] es
DI. Por otra parte, R ' R[X]/XR[X], de forma que XR[X] es ideal primo. Pero todo ideal
primo no nulo en un DIP es maximal. Ası́ R es un cuerpo.
1.12 Dominios euclı́deos 41
(2) Un dominio euclı́deo (DE) es un DI R junto con una norma positiva N en R tal que
para cada par de elementos a, 0 , b ∈ R, se verifica
Demostración. Dividimos a = bq + r con N(r) < N(b) si r , 0. Puesto que b = ac para algún
c ∈ R. se verifica r = a − bq = a(1 − cq). Ası́, a|r. Si r , 0, esto implica N(a) ≤ N(r) < N(b)
contra la hipótesis, Ası́ r = 0 y, por tanto, b|a. Las condiciones a|b y b|a equivalen a a, b
asociados, puesto que R es DI.
Demostración. Si a es unidad, entonces a|1. Por tanto, N(a) ≤ N(1). Como 1|a, también se
tiene N(1) ≤ N(a). Recı́procamente, como 1|a y N(1) = N(a), por Proposición (1.12.2) 1 y
a son asociados. Es decir, a es unidad.
Proposición 1.12.4. En un dominio euclı́deo R todo ideal es principal, i.e. todo DE es un DIP.
Con más precisión, sea {0} , I ⊂ R un ideal no nulo. Si d ∈ I − {0} es un elemento con norma
mı́nima entre las normas de los elementos no nulos de I, entonces I = dR.
(2) En F[X], con F cuerpo, la división de polinomios con la norma dada por el grado.
42 Capı́tulo 1 Anillos
(3) El anillo Z[i], de los enteros de Gauss, es un DE con la norma N(a + bi) = a2 + b2 .
Sean α = a + bi, 0 , β = c + di ∈ Z[i]. Consideramos δ = αβ−1 = r + si ∈ Q[i], con
r = ac+bd
c2 +d2
, s = bc−ad
c2 +d2
∈ Q. Sean p, q los enteros más próximos a r, s, de forma que
|r − p| ≤ 2 , |s − q| ≤ 2 . Sea γ = α − (p + qi)β = δβ − (p + qi)β = β((r − p) + (s − q)i). Es
1 1
r0 = a − q0 b, r1 = b − q1 r0 , r2 = r0 − q2 r1 , r3 = r1 − q3 r2 .
r1 = b − q1 (a − q0 b) = a(−q1 ) + b(1 + q0 q1 ),
r2 = a − q0 b − (a(−q1 ) + b(1 + q0 q1 ))q2 = a(1 + q1 q2 ) + b(−q0 − q2 − q0 q1 q2 ),
r3 = a(−q1 ) + b(1 + q0 q1 ) − a(1 + q1 q2 )q3 − b(−q0 − q2 − q0 q1 q2 )q3 =
= a(−q1 − q3 − q1 q2 q3 ) + b(1 + q0 q1 + q0 q3 + q2 q3 + q0 q1 q2 q3 ).
Ejemplo 1.12.8. El máximo común divisor de a = 2210, b = 1131 es 13.
Proposición 1.12.11. Sea R un DI. Entonces R es DIP si, y sólo si, R tiene una norma de
Dedekind–Hasse.
√
Ejemplo 1.12.12. El anillo de enteros cuadráticos R = Z[(1 + −19)/2] es un DIP que no
es DE. √
Para probar que R es DIP, comprobamos que la norma N(a + b 1+ 2−19 ) = a2 + ab + 5b2 es
D–H. En efecto, sean α, β ∈ R, con 0 , β, y αβ < R. Buscamos s, t ∈ R con N(αs − βt) < N(β)
o, de forma equivalente,
α
(1.12.12.1) N(s − t) < 1.
β
√ √
Escribimos αβ = a+b c −19 ∈ Q[ −19], con a, b, c ∈ Z enteros que no tienen divisor común
y c > 1 (puesto que αβ < R). Como a, b, c no tienen factores comunes, se puede escribir
ax + by + cz = 1 para ciertos x, y, z ∈ Z. Escribimos
√ √ = cq + r, con resto tal que
ay − 19bx
|r| ≤ 2 (r puede ser negativo) y sean s = y + x −19, t = q − z −19. Entonces un pequeño
c
1.12.15. Consideremos ahora el caso especial D = −1, de los enteros de Gauss R = Z[i].
El anillo R = Z[i] es un DE con norma N(a+bi) = a2 +b2 , cuyas unidades son R∗ = {±1, ±i}.
Aplicando el argumento anterior obtenemos:
(*) Un primo p factoriza en Z[i] en producto de, exactamente, dos irreducibles si, y
sólo si, p = a2 + b2 es la suma de dos cuadrados en Z.
En otro caso, p permanece irreducible en Z[i].
46 Capı́tulo 1 Anillos
(1) El primo p es la suma de dos cuadrados de números enteros, p = a2 + b2 si, y sólo si, p = 2
o p ≡ 1 (mod 4).
Excepto por intercambiar a, b o cambiar el signo de a, b, la representación de p como suma
de cuadrados es única.
1.12.20. Más general, la cuestión de si ele entero n ∈ Z se puede escribir como suma de
cuadrados de enteros n2 = A2 + B2 es equivalente a la cuestión de si n es la norma de un
elemento A + Bi ∈ Z[i].
Escribimos A + Bi = π1 π2 · · · πk , como producto de irreducibles en Z[i]. Se deduce del
teorema anterior que n es suma de cuadrados si, y sólo si, los factores primos de n
que sean congruentes con 3 módulo 4, aparecen con exponente par en la factorización
de n en Z. Además, si esta condición se satisface para n, entonces la unicidad de la
factorización de A + Bi en Z[i] prueba que ele número de representaciones de n como
suma de cuadrados es 4(a1 +1) · · · (ar +1), donde si p1 , . . . , pr son los primos ≡ 1 (mod 4) que
dividen al número n, entonces los ai son los exponentes de p1 , . . . , pr en la factorización
de n.
Ejemplo 1.12.21.
(6) Sea f (X) ∈ F[X] − {0}. Entonces c( f ) = 1 si, y sólo si, f ∈ R[X] y f es primitivo.
donde p - ar bs y p si divide a cada uno de los restantes sumandos, i.e., p | cr+s − ar bs . Por
tanto, p - cr+s .
Teorema 1.13.4. Sean R un DFU y f (X), g(X) ∈ R[X] primitivos. Entonces f (X)g(X) es
primitivo.
Corolario 1.13.5. Sea f (X) ∈ R[X], con grado ≥ 1, que factoriza f (X) = g(X)h(X), con
g(X), h(X) ∈ F[X], ambos g, h de grado ≥ 1. Sean g = c · g1 , h = d · h1 , con g1 , h1 ∈ R[X] primiti-
vos. Entonces f = cd · g1 h1 , con cd ∈ R y g1 h1 primitivo. En particular f (X) = (cdg1 (X))(h1 (X))
factoriza en R[X].
50 Capı́tulo 1 Anillos
Corolario 1.13.13. Sea R un DFU. Entonces el anillo de polinomios R[X1 , . . . , Xn ] es DFU. Las
unidades de R[X1 , . . . , Xn ] son las unidades de R. Los elementos irreducibles de R[X1 , . . . , Xn ]
son los irreducibles de R y los polinomios de grado ≥ 1 que son primitivos e irreducibles en
F[X1 , . . . , Xn ].
Observación 1.13.14. (1) Sea f (X) ∈ R[X1 , . . . , Xn ] primitivo. Entonces f es irreducible
en R[X1 , . . . , Xn ] si, y sólo si, f es irreducible en F[X1 , . . . , Xn ].
(2) Sea F un cuerpo. Un polinomio f (X) ∈ F[X] de grado 2 ó 3 es irreducible en F[X] si, y sólo
si, no tiene raı́ces en F.
(3) Sean F un cuerpo, a ∈ F y f (X) ∈ F[X] con grado ≥ 1. Entonces f (X) es irreducible si, y
sólo si, f (X + a) es irreducible.
(5) Los irreducibles de R[X] son los polinomios de grado 1 y los de grado 2 sin raı́ces
reales.
(4) Puesto que X4 − 2X3 + 4X2 − X + 1 ∈ Z[X] es mónico y no tiene raı́ces en Q, para
probar que es irreducible basta ver, directamente, que X4 − 2X3 + 4X2 − X + 1 =
(X2 + aX + b)(X2 + cX + d) no tiene solución con a, b, c, d ∈ Z. El cálculo es inmediato.
a2 + 6b2 = 5,
(
2ab = 2.
1.13 Factorialidad de los anillos de polinomios 53
(X + 1)p − 1
! !
p p−3 p
Φp (X + 1) = = X + pX +
p−1 p−2
X + ··· + X + p,
X 2 p−2
!
p
puesto que p, siendo primo, divide a cada coeficiente binómico .
i
(2) Veremos que si n no es primo Xn−1 +Xn−2 +· · ·+X +1 factoriza en Q[X]. Por ejemplo,
X3 + X2 + X + 1 = (X + 1)(X2 + 1).
1.14. Ejercicios
(1) El centro de un anillo R es ZR = {z ∈ R | zr = rz para todo r ∈ R}. Demostrar que el
centro de un anillo es un subanillo conmutativo que contiene a la identidad de R
(si existe). Demostrar que el centro de un anillo de división es un cuerpo.
(5) Sean R, S anillos. Probar que R × S es una anillo con la suma (r1 , s1 ) + (r2 , s2 ) = (r1 +
r2 , s1 + s2 ) y el producto (r1 , s1 )(r2 , s2 ) = (r1 r2 , s1 s2 ). Probar que R × S es conmutativo
si, y sólo si, R y S son conmutativos. Probar que R × S tiene identidad si, y sólo si,
R y S tiene identidad. ¿Cuáles son las unidades en este caso? ¿Es R × S dominio de
integridad si R y S los son?
(7) Sea R un anillo con 1 , 0. Un elemento no nulo a se dice divisor de cero por
la izquierda en R si existe 0 , x ∈ R tal que ax = 0. Simétricamente definimos
divisor de cero por la derecha. Ası́ un divisor de cero es un elemento que es
simultáneamente divisor de cero a derecha e izquierda. Un elemento u ∈ R tiene
un inverso a la izquierda en R si existe s ∈ R tal que su = 1. Simétricamente inverso
a derecha.
a) Demostrar que u es una unidad si, y sólo si, tiene inverso a derecha e izquierda.
b) Demostrar que si u tiene inverso a izquierda entonces u no es divisor de cero
a izquierda.
c) Probar que si u tiene más de un inverso a derecha entonces es un divisor de
cero a izquierda.
d) Probar que si R es un anillo finito entonces todo elemento que tiene inverso a
derecha es una unidad (i.e. tiene inverso a ambos lados).
(11) Sea R un anillo conmutativo, con unidad. Demostrar que si R tiene un único ideal
maximal M, entonces r ∈ R es unidad si, y sólo si, r < M.
(12) En cada uno de los siguientes anillos, determinar todos sus ideales, indicando
cuáles son primos o maximales.
1.14 Ejercicios 57
a) Z12
b) R2
c) Z4 × Z8
d) Z15
e) Z27 /(9)
(14) Demostrar que la aplicación C → M2 (R) del cuerpo de los numeros complejos en
el anillo de las matrices cuadradas reales de orden 2 definida por
!
a b
a + bi 7→
−b a
es un homomorfismo inyectivo.
(18) Hallar dos polinomios de grado positivo en Z6 [X] cuyo producto sea X + 1.
a) Demostrar que k̄ ∈ Zn , n ≥ 2 es unidad si, y sólo si, mcd(n, k) = 1 si, y sólo si, k̄
es un generador de (Zn , +). Concluir que el grupo de unidades Z∗n tiene orden
φ(n). En consecuencia, si mcd(n, k) = 1, entonces kφ(n) ≡ 1 (mod n), (teorema
de Euler).
b) Si p es primo y r ≥ 1 demostrar que φ(pr ) = pr − pr−1 .
c) Sean m, n ∈ Z. Demostrar que la aplicación f : Zmn → Zm ×Zn dada por f (k) =
(k, k) está bien definida y es el único homomorfismo de anillos unitarios de
Zmn → Zm ×Zn . Demostrar que f es un isomorfismo si, y sólo si, mcd(m, n) = 1.
d) Demostrar que si mcd(m, n) = 1, entonces φ(mn) = φ(m)φ(n).
58 Capı́tulo 1 Anillos
e) Si m = pr11 · · · prt t , donde los pi son primos distintos dos a dos y ri ≥ 1, entonces
t t
Y Y 1
φ(m) = pri i −1 (pi − 1) = m (1 − ).
i=1 i=1
pi
(23) Encontrar un entero positivo de tres cifras cuyos restos al dividirlo por 7, 9 y 11
son 1, 2 y 3.
(24) Encontrar el menor entero positivo cuyos restos al dividirlo por 5, 7 y 9 son 4, 3 y 1.
(25) Encontrar las soluciones (si existen) de los siguientes sistemas de congruencias:
x ≡ 18 (mod 7)
x ≡ 1 (mod 2) x ≡ 7 (mod 12)
x ≡ 3 (mod 12)
a) x ≡ 2 (mod 3) b) x ≡ 11 (mod 15) c)
x ≡ 3 (mod 5)
x ≡ 3 (mod 7)
x ≡ 7 (mod 5)
x ≡ 11 (mod 28)
( (
6x ≡ 8 (mod 14) x ≡ 36 (mod 41)
d) e)
9x ≡ 36 (mod 48) x ≡ 5 (mod 17)
(26) Calcula el resto de dividir 489718403 entre 20. Ídem para 237·73 entre 37.
1.14 Ejercicios 59
(27) Se dice que dos ideales I y J de un anillo conmutativo unitario R son primos entre
sı́ (o comaximales) si I + J = R. Por ejemplo, mZ y nZ son primos entre sı́ si, y sólo
si, mcd (m, n) = 1.
a) Calcular el radical de I.
b) Probar que I = (X) ∩ (X, Y)2 = (X) ∩ (X2 , Y).
c) Probar que (X) es primo no maximal, (X, Y) es maximal, y tanto (X, Y)2 como
(X2 , Y) son primarios no primos. Este ejercicio ilustra el hecho de que todo
ideal (de un anillo noetheriano) se escribe (de forma no necesariamente única)
como intersección de ideales primarios.
k
1 + ··· + 1 si k > 0,
si k = 0,
k 7→ 0
−k
(−1) + · · · + (−1) si k < 0.
(36) Sea R un anillo unitario. Demostrar que si M es un ideal tal que R/M es un anillo
de división entonces M es un ideal maximal (no suponer R conmutativo).
(38) Sea R un anillo conmutativo con unidad. Demostrar que son equivalentes.
(40) Sea F un cuerpo. Probar que F contiene un subcuerpo mı́nimo F0 (que denomina-
remos el subcuerpo primo de F) y que F0 es isomorfo bien sea a Q o a Z/pZ para
cierto primo p.
(41) Sea F un cuerpo. Definimos el anillo F((X)) de las series formales de Laurent con
coeficientes en F por
X∞
F((X)) = { an Xn | an ∈ F and N ∈ Z}.
n≥N
(43) Sea F un cuerpo. Demostrar que el anillo F[X](X) se sumerge de manera natural en
el anillo de series formales F[[X]].
a) Demostrar que para cada ideal I ⊂ R[U−1 ] se verifica I = ϕ−1 (I)R[U−1 ]. Por
tanto la aplicación I 7→ ϕ−1 (I) es una inyección del conjunto de ideales de
R[U−1 ], en el conjunto de ideales de R. Esta aplicación inyectiva preserva
inclusiones e intersecciones, y lleva ideales primos a ideales primos.
b) Un ideal J ⊂ R es de la forma ϕ−1 (I) para algún ideal I ⊂ R[U−1 ] si, y sólo si,
J = ϕ−1 (JR[U−1 ]). Este es el caso si, y sólo si, cada elemento u ∈ U es no divisor
de cero mod J en el sentido que si r ∈ R y ru ∈ J, entonces r ∈ J. En particular,
la correspondencia I 7→ ϕ−1 (I) es una biyección entre los primos de R[U−1 ] y
los primos de R que no cortan a U.
(45) Sean I ⊂ P ideales de R, con P primo. Probar que existe un isomorfismo natural
RP /IP ' (R/I)P/I .
b) Probar que F[X]/( f (X)) es un cuerpo si, y sólo si, f (X) es irreducible.
c) Si F es un cuerpo finito con q elementos y f (X) mónico, irreducible de grado
n entonces F[X]/( f (X)) es un cuerpo con qn elementos.
d) El número de elementos de un cuerpo finito es de la forma pn para cierto
primo p y entero n ≥ 1.
e) Sea F es un cuerpo finito. En F[X] hay infinitos polinomios irreducibles.
a)
F8 = {0, 1, α, 1 + α, α2 , 1 + α2 , α + α2 , 1 + α + α2 }.
(51) Demostrar que en un DIP R dos ideales (a) y (b) son comaximales (i.e., (a) + (b) = R)
si, y sólo si, un máximo común divisor de a y b es 1 (en cuyo caso, se dice que a y b
son primos entre sı́).
√ √
Z[ −5]. Consideramos los ideales I2 = (2, 1 + −5), I3 =
(52) Sea R el√anillo cuadrático √
(3, 2 + −5) e I30 = (3, 2 − −5).
√ √
(53) En√ el anillo Z[ −3] = {a + b −3 | a, b ∈ Z}, consideramos la aplicación√N(a +
b −3) = a + 3b . Mostrar, de forma
2 2
√ razonada, que 2 es irreducible en Z[ −3] y,
sin embargo, el ideal (2) de Z[ −3] no es primo.
√
(54) Sean a, b ∈ Z primos entre sı́. Calcular mcd(a, b) en Z[ −3].
(55) Para cada uno de los anillos siguientes, decidir si son DE, DIP, DFU y calcular sus
unidades.
√ √
a) Demostrar que un elemento α = a + b −6 √ es unidad en Z[ −6] si, sólo si,
N(α) = 1. ¿Cuáles son las unidades de Z[ −6]?
√
b) Estudiar, de forma razonada,
√ si el elemento 3 es irreducible en
√ Z[ −6], y si
el ideal (3) = {3(a + b −6) | a, b ∈ Z} es un ideal primo en Z[ −6].
√ √
(59) En
√ el anillo Z[ −7] = {a + b −7 | a, b ∈ Z}, consideramos la aplicación N(a +
b −7) = a + 7b .
2 2
√ √
a) Demostrar que un elemento α = a + b −7 √ es unidad en Z[ −7] si, sólo si,
N(α) = 1. ¿Cuáles son las unidades de Z[ −7]?
√
b) Estudiar, de forma razonada,
√ si el elemento 2 es irreducible en
√ Z[ −7], y si
el ideal (2) = {2(a + b −7) | a, b ∈ Z} es un ideal primo en Z[ −7].
(64) Demostrar que los ideales de la forma (p, f (X))Z[X] con p primo y f (X) irreducible
módulo p, son maximales.
(69) Calcular una identidad de Bezout para el máximo común divisor en Z[i] de
(70) Obtener el máximo común divisor y una identidad de “Bezout” para los enteros
a = 507885 y b = 60808.
(71) Comprobar que a = 6003722857 y n = 77695236973 son primos entre sı́, y obtener
el inverso de a módulo n.
(73) Obtener un generador para el ideal (85, 1 + 13i)Z[i], i.e., un m.c.d. para 85 y 1 + 13i,
por medio del Algoritmo de Euclides. Lo mismo para (47 − 13i, 53 + 56i)Z[i].
(74) Mostrar, en el anillo Z[X], un ideal primo p no maximal y un ideal maximal m tales
que p ⊂ m y Z[X]/m = F9 .
(78) Sea f (X) ∈ Z[X]. Demostrar que si f (0) y f (1) son impares, entonces f (X) no tiene
raı́ces enteras.
(80) Hallar una identidad de Bezout para el máximo común divisor de los polinomios
X4 + X3 + 3X − 9, 2X3 − X2 + 6X − 3 en Q[X].
a) X3 + 3X2 + 3X + 9.
b) 5X10 + 10X7 + 20X3 + 10.
c) X3 + 5X2 + 3X + 25.
d) 5X5 + 5X4 + 10X3 + 25X2 + 15X + 1.
e) 5X5 + 5X4 + 10X3 − 15X + 1.
f ) 2X4 − 8X + 1.
g) X4 + 2013X + 1234567.
h) Xn + 22 con n ≥ 2.
i) X7 + 14X5 + 7X2 + 4.
j) 3X5 − 5X4 + 15X3 + 5X + 16.
k) 2X13 − 13X4 + 13X + 37.
l) 14X11 − 21X5 + 28X2 − 5.
(86) Decidir si R[X, Y]/(Y − X5 ) es DE, DIP, DFU y calcular sus unidades.
(88) Sean R[T] y R[X, Y] los anillos de polinomios con coeficientes en R en una y dos
variables respectivamente. Consideramos el siguiente homomorfismo de anillos
ϕ
R[X, Y] −→ R[T]
p(X, Y) 7→ p(T2 , T5 )
a) Decidir si ϕ es sobreyectivo.
b) Demostrar que I = (X5 − Y2 ) es el núcleo de ϕ.
c) Decidir si I es primo. Decidir si I es maximal.
(89) Sea Z[X, Y] el anillo de polinomios con coeficientes en Z en dos variables. Consi-
deramos el siguiente homomorfismo de anillos
Z[X, Y]
F / C
p(X, Y) / p(−i, 3)
Grupos
(2) existe un elemento 1 ∈ G, que llamamos identidad, tal que a1 = 1a = a para todo
a ∈ G,
(3) para cada elemento a ∈ G existe un elemento a−1 ∈ G, que denominamos inverso
de a, que verifica aa−1 = a−1 a = 1.
Ejemplos 2.1.2.
(1) Grupos conmutativos: (Z, +), (Zn , +), (Q, +), (R, +), (C, +), (Q−{0}, ·), (R−{0}, ·), (C−
{0}, ·).
(3) Sea R un anillo conmutativo y unitario. El conjunto GLn (R) de las matrices de
Mn (R) cuyo determinante es una unidad de R con el producto de matrices es un
grupo (en general, no conmutativo).
69
70 Capı́tulo 2 Grupos
(6) Grupo diédrico del cuadrado D4 formado por las isometrı́as del plano que dejan
fijo un cuadrado de centro O. Si σ es la rotación de centro O y ángulo π2 y τ una
simetrı́a respecto uno de los ejes de simetrı́a del cuadrado, entonces:
(5) ac = bc ⇒ a = b, ca = cb ⇒ a = b.
(1) am an = an am = am+n .
Ejemplos 2.1.6.
Demostración. Sólo hay que probar que para cada a ∈ H el inverso a−1 ∈ H. Sea a ∈ H,
las aplicaciones H → H, b 7→ ab, b 7→ ba son inyectivas. Por tanto, puesto que H es finito,
también son sobreyectivas. En consecuencia, existen b ∈ H tales que ab = 1, ca = 1. Ası́,
b = b1 = bac = 1c = c y a−1 = b = c ∈ H.
Ejemplos 2.1.10. (1) Los subgrupos Z son los subconjuntos de la forma nZ = {nx | x ∈
Z}. En efecto, es claro que cada subconjunto de esa forma es subgrupo. Recı́pro-
camente, sea H ≤ Z. Si H = {0} = 0Z. Si H , {0}, entonces H contiene elementos
positivos. Sea d = mı́n{x ∈ H | x ≥ 1}. Entonces dZ ⊂ H. Recı́procamente, si x ∈ H
dividimos x = dq + r con 0 ≤ r < d. Puesto que r = x − dq ∈ H ha de ser r = 0. Ası́
x ∈ dZ.
{1}
2 2
2
3
{1, τ} {1, τσ} {1, τσ2 }
3 3
{1, σ, σ2 } 3
2
D3 = {1, σ, σ2 , τ, τσ, τσ2 } .
NG (A) = {g ∈ G | gA = Ag}.
σn = 1, τ2 = 1, τσi = σn−i τ.
2(n−r)π
Por otra parte, τ(r + 1) = (ar , −br ) = n − r + 1, puesto que n
= 2π − 2rπ
n
y, por
tanto, an−r = ar , bn−r = −br .
Los 2n elementos indicados son distintos: para 1 ≤ i , j ≤ n − 1 es claro que σi , σ j
y τσi , τσ j . Si τσi = σ j , entonces τ = σ j−i que no es posible.
Hay, a lo más, 2n transformaciones en Dn : sean ρ ∈ Dn y ρ(1) = k. Hay n posi-
bilidades para elegir k y, puesto que ρ conserva las distancias, ρ(1) es un vértice
consecutivo al vértice k, para lo que sólo hay dos opciones. Por tanto, como los
vértices 1, 2 son una base de R2 y las transformaciones son aplicaciones lineales
hay, a lo más, 2n transformaciones.
(2) Grupo cuaternio.
Es el grupo Q8 = {±1, ±i, ±j, ±k} con el producto determinado por i2 = j2 = k2 =
−1, i j = −ji = k, jk = −jk = i, ki = −ik = j, que resulta ser el grupo con dos
generadores y relaciones
Q8 =< i, j | i4 = 1, i2 = j2 , i−1 ji = j−1 > .
Observación 2.1.15. Un grupo H se dice cı́clico si puede ser generado por un elemento
H =< x >= {xn | n ∈ Z}. Un grupo cı́clico es conmutativo. Todo subgrupo K de un grupo
cı́clico H =< x > es cı́clico K =< xd >, generado por xd , donde d es el menor entero
positivo tal que xd ∈ K, o bien K = {1}.
Proposición 2.1.16. Sean G un grupo y x ∈ G.
(1) Si | < x > | = n < ∞, entonces < x >= {1, x, · · · , xn−1 } y xm = 1 si, y sólo si, n | m. En
este caso < x >' Z/nZ. Diremos que el orden de x es n, denotaremos ord(x) = n. Además
para a ∈ Z − 0 el orden ord(xa ) = mcdn(a,n) .
(2) Si | < x > | = ∞, entonces xn , 1 para todo n , 0 y xr , xs si r , s. En este caso < x >' Z.
Diremos que x es de orden ∞, denotaremos ord(x) = ∞. Además para a ∈ Z − 0 el orden
ord(xa ) = ∞.
(3) Si | < x > | = n < ∞ . Para cada 1 ≤ a | n existe un único subgrupo de < x > de orden a.
n
Este subgrupo es < x a >.
Demostración. Supongamos que | < x > | = n < ∞. Entonces existen r > s ∈ Z tales
que xr = xs . Ası́ xr−s = 1 y r − s > 1. Sea d = mı́n{k > 1 | xk = 1}. Entonces, xr , xs si
1 ≤ s < r < d, puesto que 1 < r − s < d y, si m = dq + r con 0 ≤ r < d, entonces xm = xr . Por
tanto, n = d y xm = 1 ⇔ d | m.
Sean a , 0, r = mcdn(a,n) y k = ord(xa ). Entonces (xa )r = x±mcm(a,n) = 1. Por tanto k | r.
Recı́procamente, puesto que (xa )k = 1 se tiene que n | ak. Por tanto, r | mcd(a,n)
a
k. Puesto
que mcd(r, mcd(a,n) ) = 1, se deduce que r | k.
a
n n
Sea 1 ≤ a | n. Entonces, ord(x a ) = n
mcd( na ,n)
= a. Por tanto, | < x a > | = a. Recı́procamente, si
n
ord(xr ) = a, entonces mcd(r,n)
n
= a. Por tanto, n
a
| r. Ası́ < xr >⊂< x a > y, puesto que ambos
subgrupos tienen orden a, son iguales.
74 Capı́tulo 2 Grupos
(1) ord(x) = 1 ⇔ x = 1.
(8) Si ord(x) = m < ∞, ord(y) = n < ∞ y xy = yx, entonces ord(xy) < ∞ y ord(xy)|mcm(m, n).
(9) Si ord(x) = m < ∞, ord(y) = n < ∞ con mcd(m, n) = 1 y xy = yx, entonces ord(xy) =
mn.
Demostración. Ejercicio.
(5) La aplicación H\G → G/H definida por Hx 7→ x−1 H está bien definida y es biyecti-
va.
Demostración. Ejercicio.
2.1 Definición y propiedades 75
[G : K] = [G : H][H : K].
Subgrupos normales
Proposición–Definición 2.1.22. Sean G un grupo y N ≤ G.
(1) Las siguientes condiciones son equivalentes,
(2) La operación en clases a la izquierda (resp. derecha) descrita por (xN)(yN) = xyN
(resp (Nx)(Ny) = Nxy) está bien definida y hace de G/N (resp. N\G) un grupo
si, y sólo si, N E G. En este caso, los conjuntos N\G = G/N tienen estructura de
grupo: el grupo cociente G/N. El elemento neutro de G/N es 1N = N y el inverso
(xN)−1 = x−1 N.
76 Capı́tulo 2 Grupos
Demostración. (1) a) ⇔ b) y b) ⇒ c) son obvias. Supongamos c). Entonces x−1 N(x−1 )−1 ⊂ N.
Es decir x−1 Nx ⊂ N. De aquı́ N ⊂ xNx−1 .
(2) Si N E G y x1 N = x2 N, y1 N = y2 N, entonces x−1 2 1
x = n ∈ N, y−1 2
y1 = m ∈ N. Ası́
(x2 y2 ) x1 y1 = y2 x2 x1 y1 = y2 ny1 . Como Ny1 = y1 N, se verifica ny1 = yr para algún r ∈
−1 −1 −1 −1
N. Ası́ y−12
ny1 = y−1
2
y1 r = mr ∈ N. Por tanto (x2 y2 )−1 x1 y1 ∈ N, es decir x1 y1 N = x2 y2 N.
(3) El cociente D4 / < σ > es un grupo con dos elementos. Por tanto, es isomorfo a Z2
y es conmutativo.
(5) Ser normal no es transitivo: {1, τ} E {1, τσ, σ2 , τσ3 } E D4 y {1, τ} no es normal en G.
(1) Si G =< g1 , . . . , gs > es finitamente generado, entonces K E G si, y sólo si, g−1
i
Kgi ⊂ K y
gi Kg−1
i
⊂ K, para todo i = 1, . . . , s.
(2) Si K =< k1 , . . . , kr > es finitamente generado, entonces K E G si, y sólo si, gki g−1 ∈ K,
para todo g ∈ G y todo i = 1, . . . , r.
Demostración. Ejercicio.
Definición 2.1.25. Un grupo G se dice simple si sus únicos subgrupos normales son
{1}, G.
Ejemplo 2.1.27 (Los grupos de orden ≤ 8). Sea G un grupo finito de orden |G| =
2, 3, 4, 5, 6, 7, 8.
f
G G1 × · · · × Gr
pi
fi
Gi ,
Gi
Proposición 2.1.31. Sean G1 =< a1 >, . . . , Gr =< ar > grupos cı́clicos de órdenes ni . El grupo
G1 × . . . × Gr es cı́clico si, y sólo si, los órdenes ni de los Gi son primos entre sı́, dos a dos. En este
caso, G1 × . . . × Gr =< (a1 , . . . , ar ) >.
Demostración. Sean i , j. Puesto que los elementos (1, . . . , ai , . . . , 1), (1, . . . , a j , . . . , 1) con-
mutan, el orden de su producto es mcm(ni , n j ). Se deduce que el orden de (a1 , . . . , ar )
es mcm(n1 , . . . , nr ). Entonces el orden de (a1 , . . . , ar ) coincide con el orden n1 · · · nr de
G1 × . . . × Gr si, y sólo si, los ni son primos entre sı́, dos a dos.
Demostración. Ejercicio.
2.1 Definición y propiedades 79
(2) H ∩ K = {1}.
(3) G = HK.
Ejemplos 2.1.35. (1) Sean H = {0, 2, 4}, K = {0, 3} ≤ Z6 . Entonces H+K = Z6 , H∩K = {0}
y los elementos conmutan. Por tanto, Z6 ' H ⊕ K es el producto directo interno de
H ' Z3 , K ' Z2 .
Demostración. Sean h ∈ H, k ∈ K. Entonces hkh−1 ∈ H, kh−1 k−1 ∈ H. Por tanto, hkh−1 k−1 =
(hkh−1 )k−1 = h(kh−1 k−1 ) ∈ H ∩ K = {1}. Ası́ hk = kh.
Definición 2.1.37. Diremos que un grupo G es producto directo interno de los subgrupos
h1 , . . . , Hr si la aplicación ϕ : H1 ×· · ·×Hr → G, ϕ(h1 , . . . , hr ) = h1 · · · hr es un homomorfismo
biyectivo.
(3) Si ϕ es homomorfismo, entonces ϕ es inyectivo si, y sólo si, H j ∩ (H1 · · · H j−1 = {1}).
Demostración. Ejercicio.
|H| · |K|
|HK| = .
|H ∩ K|
(6) Si H E G, K E G, entonces HK E G.
Teoremas de isomorfı́a
f
Observación 2.1.43. Sea G →
− H un homomorfismo de grupos.
(1) f (1G ) = 1H .
Demostración. Ejercicio.
f
G H
p i
f
G/ ker f im f
Demostración. f (x) = f (y) ⇔ 1 = f (x) f (y)−1 = f (x) f (y−1 ) = f (xy−1 ) ⇔ xy−1 ∈ ker f ⇔
p(x) = p(y).
82 Capı́tulo 2 Grupos
Demostración. Ejercicio.
G/K
' G/H.
H/K
Demostración. La aplicación G/K → G/H dada por xK 7→ xH está bien definida y es
un homomorfismo sobreyectivo, cuyo núcleo es H/K. Aplicando el primer teorema de
isomorfismo se obtiene el enunciado.
H HK
' .
H∩K K
Demostración. La aplicación H → G/K dada por h 7→ hK es un homomorfismo cuya
imagen es HKK
y cuyo núcleo es H ∩ K. Aplicando el primer teorema de isomorfismo se
obtiene el enunciado.
Demostración. Ejercicio.
(2) El orden de un producto de ciclos disjuntos dos a dos es el mı́nimo común múltiplo de los
órdenes de los ciclos.
deduce que σri = 1, para todo i. Por tanto, ri | r para todo i. De aquı́ m | r.
(2) !
1 2 3 4 5 6 7 8 9
= (134)(278)(59),
3 7 4 1 9 6 8 2 5
es de orden 6.
(3)
(a1 a2 a3 a4 )2 = (a1 a2 a3 a4 )(a1 a2 a3 a4 ) = (a1 a3 )(a2 a4 ),
(a1 a2 a3 a4 )3 = (a1 a3 )(a2 a4 )(a1 a2 a3 a4 ) = (a1 a4 a3 a2 ),
(a1 a2 a3 a4 )4 = (a1 a4 a3 a2 )(a1 a2 a3 a4 ) = ().
(1) Sea σ ∈ Sn . Un par i < j forma permanencia o inversión para σ según que σ(i) < σ( j)
o σ(i) > σ(j).
(2) El ı́ndice de σ es
Y σ(j) − σ(i)
(σ) = = (−1)kσ ,
1≤i<j≤n
j − i
(3) Diremos que σ es par o impar según que su número de pares en inversión kσ sea
par o impar, es decir, según que (σ) = 1 o (σ) = −1.
(7) Sea H ≤ Sn un subgrupo. Entonces o todas las permutaciones de H son pares, i.e.
H ≤ An , o bien exactamente la mitad de ellas son pares.
Demostración. (2) Cada numerador σ( j) − σ(i) es ±(l − k) para únicos k < l y, por tanto,
cancela en 1, con exactamente un denominador si el par i < j no forma inversión para σ
y cancela en −1, con exactamente un denominador si el par i < j forma inversión para σ.
(4) El número de pares en inversión en la trasposición (ij), con i < j, es 2(j − i) − 1.
(5) Por definición
Y τ(σ(j)) − τ(σ(i))
(στ) = .
1≤i<j≤n
j − i
Hay kσ pares i < j tales que σ(i) > σ( j). El producto (−1)kσ (στ) actúa en el término de la
derecha cambiando el signo de cada diferencia τ(σ( j)) − τ(σ(i)) para exactamente esos kσ
pares. por tanto el resultado en el término de la derecha coincide con (τ). Es decir
Ejemplo 2.2.11.
!
1 2 3 4 5 6 7
= (135)(2647) = (13)(15)(26)(24)(27),
3 6 5 7 1 4 2
es impar.
(5) Si n ≥ 3 el grupo alternado An está generado por los 3–ciclos (123), (124) · · · (12n).
Demostración. Ejercicio.
Demostración. (1) Supongamos (a1 a2 a3 ) ∈ H. Sea σ ∈ Sn tal que σ(1) = a1 , σ(2) = a2 , σ(3) =
a3 . Si σ ∈ An entonces (123) = σ(a1 a2 a3 )σ−1 ∈ H. Si σ es impar (12)σ ∈ An , en este
caso, (132) = (12)σ(a1 a2 a3 )σ−1 (12)−1 ∈ H. Por tanto, (123) = (132)−1 ∈ H. Si n = 3 esto
prueba que H = A3 . Si n > 3 entonces para k > 3, el ciclo (23k) ∈ An , por tanto,
(1k2) = (23k)(123)(23k)−1 ∈ H y, en consecuencia, (12k) = (1k2)−1 ∈ H.
(2) Sea {1} , H E An . Elegimos 1 , h = α1 · · · αr ∈ H, donde los αi son ciclos disjuntos de
longitud αi ≥ longitud αi+1 .
Casos:
(2) α1 , α2 , 3–ciclos,
Caso (1). El 3–ciclo σ = (a1 a2 a3 ) ∈ An y H E An por tanto σα1 σ−1 α2 · · · αr = σhσ−1 ∈ H. Ası́
σα1 σ−1 α−1
1
= σα1 σ−1 α2 · · · αr h−1 ∈ H. De forma que
y, según (1) es H = An .
Caso (2). Sean α1 = (a1 a2 a3 ), α2 = (a4 a5 a6 ) y σ = (a2 a3 a4 a5 a6 ) ∈ An . Entonces
(1) Un semigrupo (o monoide) es un conjunto no vacı́o G con una ley asociativa con
elemento identidad 1 ∈ G.
(2) Sea S = {a, b, c, . . .} un conjunto no vacı́o. Una palabra en S es una sucesión finita
de sı́mbolos de S, en la que se permiten repeticiones. Por ejemplo: aa, aabac, b son
palabras distintas. Es decir una palabra es una aplicación {1, . . . , n} → S para cierto
n.
(3) Dos palabras se multiplican por yuxtaposición aaa ∗ aabac = aaaaabac. Esto define
una ley asociativa en el conjunto de palabras. La sucesión vacı́a es la unidad 1 = .
(Si 1 ∈ S, denotaremos la sucesión vacı́a con otro sı́mbolo).
En concreto, ϕ(1) = 1G y ϕ(a1 · · · an ) = f (a1 ) · · · f (an ). Además f (S) genera G si, y sólo si, ϕ
es sobreyectivo. En consecuencia, el semigrupo FS está determinado por la propiedad universal
anterior, salvo único isomorfismo que es la identidad en S.
(1) Sea s 7→ s−1 una biyección de S con un conjunto disjunto S−1 que no contiene a 1
(por ejemplo, S−1 = S × {1}, s−1 = (s, 1)). Denotamos de la misma forma t 7→ t−1 la
biyección inversa S−1 → S.
(2) Formamos palabras sobre S ∪ S−1 . Diremos que una palabra p = s1 · · · sn es reducida
si no contiene letras consecutivas si si+1 tales que si+1 = s−1
i
.
(4) Para cada palabra p existe una única palabra reducida r tal que r ≤ p.
2.3 Grupos libres. Generadores y relaciones 89
(6) Según nuestra definición, dos palabras reducidas son iguales s11 · · · snn = rδ11 · · · rδmm
si, y sólo si, m = n, si = ri , i = δi para todo i.
(7) El grupo libre sobre S es el conjunto F(S) de las palabras reducidas con el producto
que definimos a continuación.
Sean rδ11 · · · rδmm y s11 · · · snn dos palabras reducidas. Supongamos que m ≤ n. Sea k el
menor entero en el rango 1 ≤ k ≤ m + 1 tal que skk , r−δ m−k+1
m−k+1
. Entonces,
m−k+1 k
r11 · · · rδm−k+1
δ
sk · · · snn si k ≤ n,
(rδ11 · · · rδmm )(s11 · · · snn ) =
m+1
sm+1 · · · snn si k = m + 1 ≤ n,
si k = m + 1 y m = n.
1
En concreto, ϕ(1) = 1G y ϕ(s11 · · · snn ) = f (s1 )1 · · · f (sn )n . Además f (S) genera G si, y sólo si,
ϕ es sobreyectivo. En consecuencia, F(S) está determinado por la propiedad universal anterior,
salvo único isomorfismo que es la identidad en S.
Demostración. Ejercicio.
Proposición 2.3.6. F(S) ' F(S0 ) si, y sólo si, |S| = |S0 |.
Ejemplo 2.3.7. Para abreviar, en F(S), denotaremos, por ejemplo: aaab−1 b−1 = a3 b−2 .
(2) Un grupo G es libre si G ' F(S) para cierto S. En este caso la imagen de S por el
isomorfismo es una base libre de G.
90 Capı́tulo 2 Grupos
2.3.1. Presentaciones
Teorema 2.3.11. Todo grupo G es cociente de un grupo libre. Con más precisión, si S ⊂ G es un
conjunto de generadores, entonces existe un subgrupo normal K E F(S) tal que F(S)/K ' G.
Demostración. Por la propiedad universal existe un único epimorfismo ϕ : F(S) → G que
es la identidad en S. Basta tomar K = ker ϕ.
Observación 2.3.12. Llamaremos relaciones entre los elementos del conjunto de genera-
dores S a los elementos de K. El isomorfismo F(S)/K ' G describe G por generadores y
relaciones.
De hecho, la existencia de un epimorfismo F(S) → G se puede adoptar como definición
de sistema generador S de G.
Definición 2.3.13. Consideremos un grupo G =< S > con un subconjunto de generadores
S.
(1) Una presentación para G es un par (S, R), donde R es un conjunto de palabras en
F(S) tal que el núcleo K del epimorfismo F(S) → G es el menor subgrupo normal
de F(S) que contiene a R. Por tanto, G ' F(S)/K. Denotaremos G =< S | R >.
(2) Diremos que G está finitamente generado si hay una presentación (S, R), donde S
es un conjunto finito, y finitamente presentado si ambos S y R son finitos.
Observación 2.3.14. El subgrupo K, en G =< S | R >' F(S)/K, está generado por todos
los conjugados de los elementos de R.
Teorema 2.3.15. Sea G el grupo definido por la presentación < S | R >. Para cada grupo H y
f
cada aplicación S → H cuyo homomorfismo asociado F(S) → H lleva cada elemento de R a 1,
existe un único homomorfismo de grupos G → H que hace conmutativo el diagrama
S / G
ϕ
f
H.
2.3 Grupos libres. Generadores y relaciones 91
En las condiciones del enunciado, el subgrupo normal K generado por R está contenido en el núcleo
de F(S) → H. En consecuencia, este homomorfismo factoriza en un homomorfismo F(S)/K → H.
Ejemplos 2.3.16. (1) Veamos que G =< a, b | an , b2 , abab >' Dn . En efecto, puesto
que σ, τ ∈ Dn verifican las relaciones que definen G, el teorema anterior propor-
ciona un homomorfismo sobreyectivo G → Dn . De las relaciones an = 1, b2 =
1, ba = an−1 b en G, se deduce que todo elemento de G es alguno de los siguien-
tes {1, a, . . . , an−1 , b, ba, . . . , ban−1 }. Por tanto |G| ≤ n = |Dn | y, en consecuencia, la
aplicación sobreyectiva G → Dn es una biyección.
(3) El grupo abeliano libre con base a1 , . . . , an es el grupo determinado por la presen-
tación < a1 , . . . , an | {ai a j a−1
i
a−1 } >.
j i<j
(5) Sn está generado por las trasposiciones (12), (23), . . . , (n − 1 n) que satisfacen las
relaciones (i i + 1)2 = 1, ((i i + 1)(i + 1 i + 2))3 = 1, (i i + 1)(j j + 1)(i i + 1)(j j + 1) =
1, si |i − j| ≥ 2. Esto es una presentación
< x1 , x2 , x3 , x4 | x2 x1 x−1
2 = x1 , x3 x2 x3 = x2 , x4 x3 x4 = x3 , x1 x4 x1 = x4 >,
2 −1 2 −1 2 −1 2
< x1 , x2 , x3 | x2 x1 x−1
2 = x1 , x3 x2 x3 = x2 , x1 x3 x1 = x3 > .
2 −1 2 −1 2
92 Capı́tulo 2 Grupos
Proposición 2.4.6. Sean G un grupo finito y p el menor primo que divide al orden de G. Entonces
todo subgrupo de G de ı́ndice p es normal en G.
(2) La acción es transitiva si hay una única órbita. Esto es, para todo x, y ∈ S existe
g ∈ G tal que gx = y.
(5) El estabilizador de x ∈ S es
Stab(x) = {g ∈ G | gx = x}.
Ejemplos 2.4.9. (1) Un espacio afı́n es un conjunto con una acción transitiva del grupo
aditivo de un espacio vectorial.
Definición 2.4.12. Sea G un grupo finito. Un subgrupo H ≤ G cuyo orden |H| = ps , con p
primo y s ≥ 1, se denomina un p–subgrupo de G. Si |G| = pr con p primo y r ≥ 1, diremos
que G es un p–grupo.
Puesto que |H| = ps y cada sumando [H : Stab(gi H)] es > 1 y un divisor de |H|, se obtiene
el resultado.
Demostración. Puesto que [G : NG (x)] | |G| y, para cada x < Z(G) es [G : NG (x)] , 1, resulta
que p | [G : NG (x)], para cada x < Z(G). Por tanto, de la ecuación de clases (2.4.11.2), se
deduce que p | |Z(G)|.
2.5 Los teoremas de Sylow 97
Teorema 2.5.4 (Primer Teorema de Sylow). Sea G un grupo finito cuyo orden es divisible por
pr , donde p es un número primo y r ≥ 0. Entonces G contiene un subgrupo de orden pr .
Demostración. Inducción sobre |G|. Si |G| = 1 o r = 0 el resultado es trivial. Supongamos
|G| > 1, r > 0 y el resultado cierto para todo grupo de orden menor que |G|. escribimos
|G| = pr n, con r > 0, n ≥ 1.
Caso 1. p | |Z(G)|.
En este caso, puesto que Z(G) es conmutativo, según la Observación 2.5.3 el subgrupo
Z(G) tiene un elemento a de orden p. Puesto que todo subgrupo de Z(G) es normal en G,
podemos considerar el grupo cociente G/ < a >, cuyo orden es |G/ < a > | = pr−1 n < |G|.
Por la hipótesis de inducción G/ < a > contiene un subgrupo H de orden pr−1 . Este
subgrupo corresponde a un subgrupo H de G (que contiene a < a >) cuyo orden es
|H| = pr .
Caso 2. p - |Z(G)|.
En este caso, de la ecuación de clases (2.4.11.2), se deduce
X
p- [G : NG (x)].
x ∈ {x1 , . . . , xr }
x < Z(G)
Por tanto existe x < Z(G) tal que p - [G : NG (x)]. Ası́ de |G| = [G : NG (x)] · (|NG (x)| y pr | |G|,
se deduce, puesto que p es primo,
pr | |NG (x)|.
Ahora bien, |NG (x)| < |G|, puesto que x < Z(G). Por tanto, según la hipótesis de inducción,
NG (x) contiene un subgrupo H de orden pr , que también es subgrupo de G.
Damos un enunciado equivalente, ligeramente distinto, del primer teorema de Sylow,
en cuya prueba vamos a usar el teorema de Cauchy completo.
Teorema 2.5.5 (Primer Teorema de Sylow). Sea G un grupo finito cuyo orden es divisible por
pr , donde p es primo y r ≥ 1. Entonces G contiene una serie de subgrupos H1 E · · · E Hr de
ordenes |Hi | = pi , i = 1, . . . , r.
Demostración. Inducción en r ≥ 1. Si r = 1 es el Teorema de Cauchy 2.5.2. Supongamos
r > 1 y, el teorema cierto para pr−1 . Entonces existe H1 E · · · E Hr−1 de ordenes |Hi | =
pi , i = 1, . . . , r − 1. Como pr | |G| = |Hr−1 |[G : Hr−1 ] = pr−1 [G : Hr−1 ], se deduce que
p | [G : Hr−1 ]. Según Corolario 2.4.14, [NG (Hr−1 ) : Hr−1 ] ≡ [G : Hr−1 ] (mod p). Deducimos
que p | [NG (Hr−1 ) : Hr−1 ]. Por tanto, según el Teorema de Cauchy 2.5.2, el grupo cociente
NG (Hr−1 )/Hr−1 tiene un subgrupo Hr /Hr−1 de orden p, que es normal en NG (Hr−1 )/Hr−1 ,
según Proposición 2.4.6. Por tanto, Hr−1 E Hr y |Hr | = pr .
Definición 2.5.6. Sean G un grupo finito y p un divisor primo del orden de G. Si pr es la
mayor potencia de p que divide al orden de G y H es un subgrupo de orden pr , diremos
que H es un p–subgrupo de Sylow de G.
2.5 Los teoremas de Sylow 99
El Primer Teorema de Sylow dice que para cada divisor primo del orden de G existen
p–subgrupos de Sylow en G.
Observación 2.5.7. La acción de G por conjugación en el conjunto P(G) de las partes de
G, estabiliza el conjunto de p–subgrupos de Sylow. Es decir, si H es un p–subgrupo de
Sylow entonces gHg−1 es un p–subgrupo de Sylow para cada g ∈ G.
El Segundo Teorema de Sylow asegura que esta acción es transitiva, i.e., cualesquiera
dos p–subgrupos de Sylow son conjugados.
Recordemos que el normalizador de un subgrupo P de G está definido por NG (P) = {g ∈
G | gPg−1 = P}.
Lema 2.5.8. Sean G un grupo finito y p un divisor primo del orden de G. Si P un p–subgrupo
de Sylow de G y H un subgrupo de G de orden pi contenido en NG (P) entonces H ⊂ P.
Demostración. Las condiciones H, P ≤ G y H ⊂ NG (P) implican que HP := {hp | h ∈ H, p ∈
P} ≤ G, P E HP, H ∩ P E H y HP/P ' H/H ∩ P. Ası́ HP/P es isomorfo a un cociente de
H. Por tanto |HP/P| = pk para cierto 0 ≤ k < i. En consecuencia |HP| = pk |P|. Ahora bien,
P es un p–subgrupo de Sylow, de forma que k = 0 y P = HP. Esto es H ⊂ P.
Teorema 2.5.9 (Segundo Teorema de Sylow). Sean G un grupo finito y p un divisor primo
del orden de G.
(1) Cualesquiera dos p–subgrupos de Sylow de G son G–conjugados.
(3) Todo subgrupo de G cuyo orden es una potencia de p está contenido en un p–subgrupo de
Sylow.
Demostración. (1) Sea S el conjunto de p–subgrupos de Sylow de G. Consideramos la
acción de G en S por conjugación. Sea O una órbita de la acción. Entonces G actúa sobre
O. Por tanto, si P es un p–subgrupo de Sylow, entonces P actúa sobre O. Descomponemos
O como unión (disjunta) de P–órbitas. Según (2) de Proposición 2.4.10, el cardinal de
cada P–órbita es un divisor de |P|. Por tanto, cada P–órbita tiene cardinal 1 o una potencia
positiva de p. Ahora bien, para cada P0 ∈ O − {P} la P–órbita de P0 no tiene cardinal 1.
En efecto, si {P0 } es una P–órbita entonces P ⊂ NG (P0 ) y, según el Lema 2.5.8, P ⊂ P0 , de
donde P = P0 , puesto que tienen el mismo cardinal.
Además, si P ∈ O entonces es claro que {P} es una P–órbita cuyo cardinal es 1.
En consecuencia, si suponemos que P1 , P2 son p–subgrupos de Sylow tales que P P1 ∈ O
y P2 < O; descomponiendo O en P1 –órbitas, y teniendo en cuenta que |O| = |órbitas|,
resulta que |O| es congruente con 1 módulo p; mientras que descomponiendo O en P2 –
órbitas resulta que |O| es congruente con 0 módulo p. Esta contradicción proviene de
suponer que existe un p–subgrupo de Sylow que no está en O. Por tanto S = O, como
querı́amos probar.
100 Capı́tulo 2 Grupos
(2) Según hemos visto en la prueba de (1) el número de p–subgrupos de Sylow |S | = |O|
es congruente con 1 módulo p.
Además, puesto que |O| = [G : Stab P] = [G : NG (P)], donde P es un p–subgrupo de
Sylow, el Teorema de Lagrange dice que |S | es un divisor de |G|. Ahora bien, |G| =
|P| [G : P] y |S | y |P| son primos entre sı́. Por tanto |S | | [G : P].
(3) Sea H un subgrupo de G de orden pk . Consideramos la acción de H en S . Como
antes, vemos que las H–órbitas tienen cardinal 1 o una potencia positiva de p. Puesto
que |S | es congruente con 1 módulo p, deducimos que existe una H–órbita de cardinal
1. Sea ésta {P}. Entonces H ⊂ NG (P). Ası́, según el Lema 2.5.8, H ⊂ P.
Corolario 2.5.10. Sean G un grupo finito, p un divisor primo de |G|, y P un p–subgrupo de
Sylow de G. Entonces P es el único p–subgrupo de Sylow de G si, y sólo si, P E G.
Demostración. En la demostración del Segundo Teorema de Sylow hemos visto que el
número de p–subgrupos de Sylow es sp = [G : NG (P)]. Por tanto P es único si, y sólo si,
[G : NG (P)] = 1. Esta condición equivale a NG (P) = G, es decir P E G.
Ejemplo 2.5.11. Sea G un grupo de orden |G| = 22 · 7. Por el primer teorem de Sylow,
existen subgrupos de órdenes |H2 | = 2, |H4 | = 22 , |H7 | = 7. Por el segundo teorema,
s2 | [G : H4 ] = 7 y s2 = 2k + 1. Por tanto, s2 = 1 o s2 = 7. También s7 = 7k + 1 | [G : H7 ] = 4.
Por tanto, s7 = 1 y, en consecuencia, H7 E G. El cociente G/H7 tiene un subgrupo H14 /H7
de orden 2. Por tanto, G tiene un subgrupo H14 de orden 14. Ası́, G tiene subgrupos de
órdenes cualquier divisor de |G|.
Como aplicación de los Teoremas de Sylow podemos clasificar los grupos de orden 2p.
Ejemplo 2.5.12. Sean G un grupo de orden 2p, donde p > 2 es primo.
El primer teorema de Sylow asegura que G tiene 2–subgrupos de Sylow de orden 2 y
p–subgrupos de Sylow de orden p. El número s2 de 2–subgrupos de Sylow divide a p y
es de la forma 2k + 1. Por tanto s2 = 1 o s2 = p. El número sp de p–subgrupos de Sylow
divide a 2 y es de la forma ph + 1. Por tanto sp = 1. Es decir, G tiene un único subgrupo
H de orden p, y este subgrupo es normal, y puede tener 1 ó p subgrupos de orden 2.
Caso 1. Supongamos que existe un único subgrupo K de orden 2. Entonces K es normal
en G. En estas condiciones H ∩ K = {1} y G ' H × K ' Zp × Z2 ' Z2p es cı́clico.
Caso 2. Supongamos que G tiene p elementos de orden 2. Ninguno de estos p elementos
están en H, puesto que H tiene orden p > 2 primo. Por tanto, si H =< σ > y τ < H
entonces G = H ∪ τH y H ∩ τH = ∅. Esto es G = {1, σ, . . . , σp−1 , τ, τσ, . . . , τσp−1 }. Además,
el orden de τσi es 2 para cada i = 0, · · · , p − 1. Ahora,
(τσi )2 = 1 ⇒ σ−i τ−1 = τσi ⇒ σp−i τ = τσi .
Las identidades
σp = 1, τ2 = 1, σp−i τ = τσi , i = 0, . . . , p − 1,
determinan el grupo G, que resulta ser isomorfo al grupo diedro Dp .
2.6 Grupos resolubles 101
Ejemplo 2.6.2. Sea G grupo conmutativo finito. Entonces, G es simple si, y sólo si, G es
cı́clico de orden primo (ejercicio).
Ejemplos 2.6.4. (1) S2 B {1}, serie normal de longitud máxima. El cociente S2 /{1} ' Z2
es cı́clico de orden primo.
(2) S3 B A3 B {1}, serie normal de longitud máxima. Los cocientes S3 /A3 ' Z2 , A3 /{1} '
Z3 son cı́clicos de orden primo.
(3) S4 B A4 B V B W B {1},
V = {(1), (12)(34), (13)(24), (14)(23)}, W = {(1), (12)(34)}, serie normal de longitud
máxima. Los cocientes S4 /A4 ' Z2 , A4 /V ' Z3 , W/{1} ' Z2 son cı́clicos de orden
primo.
(4) S5 B A5 B {1}.
Definición 2.6.7. Diremos que un grupo G es resoluble si tiene una serie normal cuyos factores
son todos conmutativos.
102 Capı́tulo 2 Grupos
Ejemplos 2.6.8. (1) Las series normales de (2.6.4) para S3 y S4 , prueban que estos dos
grupos simétricos son resolubles. En efecto:
El cociente S3 /A3 es de orden 2, por tanto cı́clico. El grupo A3 es cı́clico de orden 3.
El cociente S4 /A4 es de orden 2, A4 /V es de orden 3, V/W y W de orden 2.
G = Gs+1 B Gs B · · · B G1 B G0 = {1},
(2.6.11.1) K E G ⇒ K0 E G.
Teorema 2.6.13. Un grupo G es resoluble si, y sólo si, G(k) = {1} para algún k ≥ 1.
Teorema 2.6.14. Todo subgrupo y toda imagen homomorfa de un grupo resoluble es resoluble.
Recı́procamente, si K E G es tal que K y G/K son resolubles entonces G es resoluble.
η
Demostración. Si H ≤ G entonces H(i) ≤ G(i) . Por tanto G(k) = {1} ⇒ H(k) = {1}. Sea G → − H
un homomorfismo. Entonces η(G0 ) = (η(G))0 y η((G0 )0 ) = η((G0 )0 ) = (η(G0 ))0 = (η(G)0 )0 =
(η(G)0 )0 . Ası́ η(G(i) ) = (η(G))(i) . Por tanto G(k) = {1} ⇒ (η(G))(k) = {1}.
π
Supongamos ahora K E G y G/K resolubles. Puesto que G → − G/K es sobreyectivo
π(G(i) ) = (G/K)(i) . Por tanto, π(G(k) ) = {1}, para algún k. Esto significa G(k) ≤ K. Puesto que
K es resoluble K(l) = {1}, para cierto l. En consecuencia, G(k+l) = (G(k) )(l) ≤ K(l) = {1}.
G = Gs B Gs−1 B · · · B G1 B G0 = {1},
tal que cada Gi−1 es subgrupo normal maximal en Gi , es decir, Gi /Gi−1 es simple. En este
caso, los factores Gi /Gi−1 se denominan factores de composición de G.
Observación 2.6.18. Todo grupo finito G posee una serie de composición, puesto que el
conjunto de subgrupos normales es finito.
104 Capı́tulo 2 Grupos
Ejemplo 2.6.19. (Z, +) no admite serie de composición: entre {0} y {0} , nZ hay una
cadena infinita de subgrupos.
Teorema 2.6.20 (de Jordan–Holder). Sean G un grupo finito y
(2.6.20.1) G = Gs B Gs−1 B · · · B G1 B G0 = {1},
(2.6.20.2) G = Ht B Ht−1 B · · · B H1 B H0 = {1},
dos series de composición en G. Entonces s = t y existe una permutación σ de {1, . . . , s} tal que
Gi /Gi−1 ' Hσ(i) /Hσ(i)−1 .
Demostración. Inducción en |G|. Si G = {1} es trivial. Supongamos |G| > 1 y cierto para
grupos de orden menor que |G|.
Caso 1. Gs−1 = Ht−1 . Entonces
Gs−1 B · · · B G1 B G0 = {1},
Ht−1 B · · · B H1 B H0 = {1},
son dos series para Gs−1 = Ht−1 y, por inducción, se concluye.
Caso 2. Gs−1 , Ht−1 . En este caso, de Gs−1 C G y Ht−1 C G se deduce Gs−1 Ht−1 C G. Además
Gs−1 C Gs−1 Ht−1 . Puesto que Gs−1 es normal maximal en G, se deduce Gs−1 = Gs−1 Ht−1
o Gs−1 Ht−1 = G. Si Gs−1 = Gs−1 Ht−1 entonces Ht−1 ≤ Gs−1 . Ası́ Ht−1 C Gs−1 C G y, puesto
que Ht−1 es normal maximal en G y Gs−1 , G, es Gs−1 = Ht−1 . Por tanto, Gs−1 Ht−1 = G.
En esta situación, según el segundo teorema de isomorfismo, G/Gs−1 = Gs−1 Ht−1 /Gs−1 '
Ht−1 /Gs−1 ∩Ht−1 y G/Ht−1 = Gs−1 Ht−1 /Ht−1 ' Gs−1 /Gs−1 ∩Ht−1 . Por tanto, puesto que G/Gs−1
y G/Ht−1 son grupos simples también son simples Ht−1 /Gs−1 ∩ Ht−1 y Gs−1 /Gs−1 ∩ Ht−1 .
En consecuencia, K = Gs−1 ∩ Ht−1 es normal maximal en Gs−1 y en Ht−1 y G/Gs−1 '
Ht−1 /K, G/Ht−1 ' Gs−1 /K.
Sea K = Kr−2 B Kr−3 B · · · B K1 B K0 = {1} una serie de composición para K. Puesto que
K = Kr−2 es normal maximal en Gs−1 y en Ht−1 obtenemos series de composición
(2.6.20.3) G = Gs B Gs−1 B Kr−2 B · · · B K1 B K0 = {1},
(2.6.20.4) G = Ht B Ht−1 B Kr−2 B · · · B K1 B K0 = {1},
El caso 1 aplicado a (2.6.20.1) y (2.6.20.3) asegura que r = s y Gi /Gi−1 ' Kσ(i) /Kσ(i)−1 ,
para cierta σ con σ(1) = 1. Aplicado a (2.6.20.2) y (2.6.20.4) dice que t = r y H j /H j−1 '
Kτ(j) /Kτ(j)−1 , para cierta τ con τ(1) = 1. De aquı́ concluimos lo afirmado en el teorema.
Definición 2.6.21. Llamaremos factores de composición a los factores de una serie de
composición de un grupo finito.
Teorema 2.6.23. Un grupo finito es resoluble si, y sólo si, todos sus factores de composición son
cı́clicos de orden primo.
(4) T(G/T(G)) = 0.
(3) Si F es finito, entonces todo elemento y ∈ F es de orden finito. Por tanto, existe
m , 0 tal que my = 0.
Puesto que el proceso es reversible, y si Zr ⊕ Zd1 ⊕ . . . ⊕ Zds ' G ' Zr0 ⊕ Zd01 ⊕ . . . ⊕ Zd0s0 ,
0
entonces Zr ' G/T(G) ' Zr ⇒ r = r0 y Zd1 ⊕. . .⊕Zds ' T(G) ' Zd01 ⊕. . .⊕Zd0s0 ; la unicidad
de los coeficientes de torsión es equivalente a la unicidad de los divisores elementales.
Demostraremos la unicidad de los factores invariantes en la Obervación 2.7.20.
Corolario 2.7.19. Sea G un grupo conmutativo finitamente generado, entonces existen un entero
r ≥ 0 y números primos p1 , . . . , pm junto con enteros positivos α1 , . . . , αm , únicos con la propiedad
de que si pi = pi+1 , entonces αi ≤ αi+1 , tales que
Observación 2.7.20 (Unicidad de los factores invariantes). Sean G un grupo finito con-
mutativo y G =< e1 > ⊕ · · · ⊕ < es > una descomposición donde < ei >' Zdi con
1 < d1 | · · · | ds . Denotaremos Gi =< ei >.
Para cada primo p definimos los subgrupos
Vamos a probar que G(p) = G1 (p) ⊕ · · · ⊕ Gs (p). En efecto, como cada Gi (p) ≤ Gi =< ei >
y la suma de los Gi es directa, también la suma de los Gi (p) es directa. Por tanto,
G1 (p) ⊕ · · · ⊕ Gs (p) ≤ G(p). Sea x ∈ G(p), entonces x = m1 e1 + · · · + ms es , para ciertos mi ∈ Z.
Como px = 0, se tiene (pm1 )e1 + · · · + (pms )es = 0 y, como la suma es directa, se deduce
(pm1 )e1 = · · · = (pms )es = 0. Por tanto, cada mi ei ∈ Gi (p). Ası́, G(p) = G1 (p) ⊕ · · · ⊕ Gs (p).
Puesto que pG(p) = pGi (p) = 0, los subgrupos G(p), Gi (p) son espacios vectoriales sobre
el cuerpo finito Zp y la expresión G(p) = G1 (p) ⊕ · · · ⊕ Gs (p) es una suma directa de
subespacios vectoriales.
Se verifica que
0 si p - di
dim Gi (p) = .
1 si p | di
2.7 Grupos conmutativos finitamente generados 111
En efecto, sea x = mei ∈ Gi (p) tal que px = 0. Entonces, pmei = 0. De aquı́ di | pm. Si p - di
se deduce di | m y, por tanto, x = 0. Si p | di , entonces m = t dpi , para cierto t ∈ Z. Por tanto,
Gi (p) =< dpi ei >.
En consecuencia, la dimensión de G(p) como Zp espacio vectorial es el número de factores
invariantes que son divisibles por p.
Si tenemos dos descomposiciones, una con s sumandos y la otra con t sumandos, toma-
mos un primo que divida al primer factor invariante de la primera descomposición (y
que, por tanto, divide a los s factores invariantes). Como la definición de G(p) no depen-
de de la descomposición y, para un primo que divida al primer factor invariante de la
primera descomposición, la dimensión de M(p) es el número de factores invariantes s
de dicha descomposición y, para la segunda descomposición, la dimensión de M(p) es el
número de factores invariantes que son divisibles por p, que es ≤ t, se deduce que s ≤ t.
Razonando de forma simétrica, se deduce que t ≤ s. Por tanto, el número de factores
invariantes es invariante. Además, esto prueba que cualquier primo que divida al primer
factor invariante de una descomposición, también divide al primer factor invariante de
cualquier otra descomposición.
En una descomposición, el último factor invariante ds es múltiplo de todos los factores
invariantes, luego anula a todos los generadores ei de la descomposición y, por tanto, a
todos los elementos de G, es decir, ds x = 0, para todo x ∈ G. El conjunto {m ∈ Z | mx =
0 para todo x ∈ G} es un ideal de Z que contiene a bm . Recı́procamente, si m está en el
ideal, entonces mes = 0 y, por tanto, ds | m. Es decir, dicho ideal está generado por ds .
Esto prueba la unicidad del último factor invariante de cualquier descomposición.
Sean 1 < d1 | · · · | ds y 1 < c1 | · · · | cs los factores invariantes de dos descomposiciones;
la segunda G =< f1 > ⊕ · · · ⊕ < fs >. Ya hemos probado que ds = cs . Si ds es un
número primo, entonces todos los di , ci son dicho número primo y se tiene la unicidad.
Supongamos que ds es producto de n + 1 primos y la hipótesis de unicidad cierta para
descomposiciones de grupos donde el último factor es producto de n primos. Hemos
probado que d1 y c1 son divisibles por los mismos primos. Sea p un primo que divida
a ambos (luego divide a todos los di , ci ). Consideramos el subgrupo pG = {px | x ∈ G}.
Entonces, es obvio que
También es obvio que ord(pei ) = dpi , ord(p fi ) = cpi . Puede ocurrir que algunos de los
primeros di sean iguales a p, con lo que los primeros sumandos de estas descomposiciones
serı́an nulos. Si en ambas descomposiciones eliminamos los sumandos nulos, obtenemos
dos descomposiciones del grupo pG, donde el último factor invariante dps es producto
de n primos. Por tanto, por la hipótesis de inducción, concluimos que el número de
sumandos nulos para las dos descomposiciones coincide, y que los restantes tiene los
mismos factores invariantes, es decir, el número de di iguales a p es el mismo que el
número de ci iguales a p, y para los restantes dpi = cpi . esto implica la igualdad de los di y
los ci .
112 Capı́tulo 2 Grupos
Denotaremos ai las filas de M, bk las columnas de M. Veamos qué efecto tienen las
transformaciones elementales de filas o columnas sobre B = {e1 , . . . , em }, H y Zm /H.
(1) ai ↔ a j . No cambia B ni H.
(2) ai → −ai . No cambia B ni H.
(3) ai → ai + ta j , i , j, t ∈ Z. No cambia B ni H.
(1) ck ↔ cl . Cambia
B = {e1 , . . . , ek , . . . , el , . . . , em }
por
B0 = { f1 = e1 , . . . , fk = el , . . . , fl = ek , . . . , fm = em }
y
H =< {an }1,...,p >
por
H0 =< {bq = (bq1 = aq1 , . . . , bqk = aql , . . . , bql = aqk , . . . , bqm = aqm )}1,...,p > .
El cambio de base induce un isomorfismo
Zm =< e1 > ⊕ · · · ⊕ < em >→ Zm =< f1 > ⊕ · · · ⊕ < fm >
, dado por e1 7→ f1 , . . . , ek 7→ fl , . . . , el 7→ fk , . . . , em 7→ fm , que transforma H en H0 ,
por tanto,
< e1 > ⊕ · · · ⊕ < em > < f1 > ⊕ · · · ⊕ < fm >
' .
H H0
2.7 Grupos conmutativos finitamente generados 113
B = {e1 , . . . , ek , . . . , el , . . . , em }
por
B0 = { f1 = e1 , . . . , fk = ek , . . . , fl = el − tek , . . . , fm = em }
y
H =< {an }1,...,p >
por
H0 =< {bq = (bq1 = aq1 , . . . , bqk = aqk + taql , . . . , bql = aql , . . . , bqm = aqm )}1,...,p >,
puesto que
En consecuencia,
G ' Z3 ⊕ Z6 ⊕ Z36 .
2.8 Ejercicios 115
2.8. Ejercicios
(1) Decidir cuáles de los siguientes conjunto tienen estructura de grupo con la opera-
ción indicada. En caso afirmativo, ver si son o no conmutativos.
(2) Sean G un grupo y H ⊂ G un subconjunto finito no vacı́o tal que ab ∈ H para todo
a, b ∈ H. Demostrar que H es un subgrupode G.
(4) Demostrar que el producto cartesiano de dos grupos no triviales del mismo orden
no puede ser un grupo cı́clico.
(5) Para los valores n = 6, 7, 8, 9, 10, 11, 12, 13, 24, hallar el orden de los elementos del
grupo Z∗n = {k ∈ Zn | mcd(k, n) = 1, 1 ≤ k < n} con el producto. Indicar generadores
para estos grupos. ¿Cuáles son cı́clicos?
(8) Demostrar que si todo elemento x ∈ G − {1} tiene orden 2, entonces el grupo G es
conmutativo.
! !
1 0 1 1
(11) Sean A = , en el grupo G = GL2 (Q).
0 −1 0 −1
(12) Sean a, b ∈ G elementos de ordenes finitos y primos entres sı́ tales que ab = ba.
Demostrar que ord(ab) = ord(a)ord(b) y < a > ∩ < b >= {1}.
(15) Sea G = GL2 (Z2 ). Hallar los elementos de G y sus órdenes.Hallar los subgrupos de
G determinando cuáles son normales. Demostrar que G es isomorfo a S3 .
(19) ¿Es cierto que si H y K son dos subgrupo normales de un grupo G tales que G/H y
G/K son isomorfos, entonces H y K son isomorfos?
(20) Encontrar un grupo finito no conmutativo todos cuyos subgrupos son normales.
(22) Encontrar todos los subgrupos del grupo diédrico D4 , indicando cuáles son nor-
males.
(24) Encontrar todos los subgruposn de A4 , indicando cuáles son normales. ¿Es A4
isomorfo a Z2 × S3 ?
(25) Hallar todos los homomorfismos (calculando núcleo e imagen) entre los pares de
grupos:
a) De Z3 en Z3 .
b) De Zn en Z.
c) De Z6 en S3 .
d) De S3 en Z6 .
e) De S3 en S3 .
f ) De Z3 en Z6 .
g) De Z6 en Z3 .
h) De Z8 en Z12 .
i) De Z12 en Z8 .
(26) ¿Es isomorfo el grupo aditivo Q de los números racionales al grupo multiplicativo
Q∗ de los racionales no nulos.
ζ 0
! !
0 1
A= ,B = .
1 0 0 ζ
(28) Consideramos el subconjunto G = {±I, ±A, ±B, ±C} del grupo GL2 (Z3 ), donde
! ! ! !
1 0 0 −1 1 0 0 1
I= ,A = ,B = ,C = .
0 1 1 0 0 −1 1 0
(29) Sea f : (R, +) → (C∗ , ·) definida por f (t) = exp(2πit) = cos(2πt) + i sin(2πt).
Demostrar que f es un homomorfismo de grupos. Hallar su núcleo e imagen.
Concluir que el grupo cociente aditivo R/Z es ismorfo al grupo multiplicativo
S1 = {z ∈ C | |z| = 1}.
(31) Sea G un grupo en el que todo elemento distinto de 1 tiene orden 2. Demostrar que
G es conmutativo.
(34) Sea G un grupo. Supongamos que existe un subgrupo H ≤ Z(G) tal que G/H es
cı́clico. Demostrar que G es abeliano.
(35) Sea G un grupo abeliano de orden ocho tal que el orden máximo de los elementos
de G es cuatro. Demostrar que G es isomorfo a Z2 ×Z4 y calcular cuántos subgrupos
tiene de cada orden.
(37) Demostrar que Sn está generado por las trasposiciones (1 2), (1 3), . . . , (1 n). Idem por
las trasposiciones (1 2), (2 3), . . . , (n−1 n). Idem por el ciclo (1 2 · · · n) y la trasposición
(1 2).
(38) Sea σ ∈ S11 una permutación de orden 21. Determinar el número de elementos del
conjunto {1, 2, . . . , 11} que quedan fijos por σ.
(50) Demostrar que los órdenes del grupo generado por dos elementos a, b con las
relaciones mostradas es el que se indica, en cada caso:
(51) Representar S3 mediante generadores y relaciones usnado que está generado por
a = (1 2), b = (3 4).
(52) Sea G un grupo de orden 143 que actúa sobre un conjunto X de 108 elementos.
Demostrar que X contiene un elemento cuyo estabilizador es G.
(53) Sea G un grupo de orden 35 que actúa, sin puntos fijos, sobre un conjunto X de
19 elementos. Hallar el número de órbitas de X y el número de elementos de cada
órbita.
(54) Sean 1 < k < p enteros con p primo. Demostrar que todo grupo de orden kp es no
simple.
(55) Sean G un grupo finito simple y H un subgrupo de ı́ndice primo p. Probar que p2
no divide al orden de G y que p es el mayor divisor primo del orden de G.
120 Capı́tulo 2 Grupos
(56) Sea G un grupo de orden 30. Probra que G tiene un único subgrupo de orden 3 o
un único subgrupo de orden 5. Con cluir que G tiene un subgrupo de orden 15.
(57) Sea G un grupo de orden 3304. Demostrar que G contiene un subgrupo normal H
de orden 59 y que G/H también contiene un subgrupo normal.
(58) Sea G un grupo de orden 616. Demostrar que G contiene algún p–subgrupo de
Sylow normal para algún primo p.
(60) Sea G un grupo de orden 440. Demostrar que G tiene algún subgrupo normal y
contiene un único subgrupo de orden 55.
(61) Sean p, q, r primos distintos y k ≥ 2. Demostrar que los grupos de órdenes pk , pq, p2 q,
p2 q2 , pqr no son simples. Si, además, p > q, entonces los grupos de orden pn q no son
simples.
(63) Demostrar que los grupos de orden 114 o 180 no son simples.
(64) Sea p un número primo. Demostrar que los grupos de orden p2 son abelianos.
(66) Demostrar que S4 tiene subgrupos de todos los órdenes posibles. Hallar el número
de subgrupos de S4 de órdenes 2, 3, 8.
(67) Sea G un grupo de orden 20. Probar que G tiene subgrupos de todos los órdenes
posibles.
(68) Sean G un grupo finito y p el menor divisor primo del orden de G. Entonces todo
subgrupo de ı́ndice p es normal en G.
Teorı́a de cuerpos
(2) La caracterı́stica de F es el número primo positivo generador del núcleo del úni-
co homomorfismo de anillos unitarios Z → F o es 0 si este homomorfismo es
inyectivo. La caracterı́stica es el número primo que es el menor entero p > 0 tal que
p
^
1F + · · · + 1F = 0F ,
ó 0 si ningún múltiplo de 1F es 0F .
Definición 3.1.3. (1) Sea K un cuerpo que contiene a F como subcuerpo. Diremos que
K es un cuerpo extensión de F. Diremos que F es el cuerpo base de la extensión y
K
denotaremos K/F o F ⊂ K o, a veces, | . En particular, todo cuerpo es extensión de
F
su cuerpo primo.
123
124 Capı́tulo 3 Teorı́a de cuerpos
√
(2) [Q( 2) : Q] = 2.
(3) [R : Q] = 2ℵ0 .
Proposición 3.1.5 (Fórmula de los grados). Sean F ⊂ E ⊂ K extensiones tales que [E : F] < ∞
y [K : E] < ∞. Entonces [K : F] < ∞ y
Demostración. Si {α1 , . . . , αn } es una base de K/E y {β1 , . . . , βm } es una base de E/F, entonces
{αi β j } i = 1, . . . , n, es una base de K/F.
j = 1, . . . , m
Observación 3.1.6. La fórmula (3.1.5.1) sigue siendo correcta, en el sentido de la aritméti-
ca de los cardinales infinitos, si alguna de las extensiones tiene por grado un cardinal
infinito.
Observación 3.1.7. Sea K/F una extensión. Entonces [K : F] = 1 si, y sólo si, K = F.
Definición 3.1.8. (1) Sean K/F una extensión y S ⊂ K un subconjunto. El subcuerpo
de K extensión de F generado por S, que denotaremos F(S), es la intersección de
todos los subcuerpos de K extensiones de F que contienen a S:
\
F(S) = E.
F⊂E⊂K
E subcuerpo y
S⊂E
(2) Sea α algebraico sobre F. Entonces F(α) = F[α] ' F[X]/mα,F (X)F[X] es una extensión
finita de F con grado [F(α) : F] = deg mα,F (X) = n y base {1, α, . . . , αn−1 }.
Diremos que mα,F (X) es el polinomio mı́nimo de α sobre F y que deg mα,F (X) es el grado de
α sobre F.
(3) Sea α algebraico sobre F. Un polinomio mónico p(X) ∈ F[X] que tiene a α por raı́z, es el
polinomio mı́nimo de α sobre F si, y sólo si, es irreducible.
(4) Sean K/F una extensión. Un elemento α ∈ K es algebraico sobre F si, y sólo si, F[α] = F(α).
(5) Sean K/F una extensión. Un elemento α ∈ K es trascendente si, y sólo si, el homomorfismo
de sustitución F[X] → F[α] definido por X 7→ α, es inyectivo. En este caso, es un
isomorfismo.
(6) Sean E/F y α, en cierto cuerpo extensión de E, algebraico sobre F. Entonces α es algebraico
sobre E y mα,E (X) | mα,F (X) en E[X].
Demostración. (1) − (3) Sea 0 , g(X) ∈ F[X] de grado mı́nimo y mónico, entre los po-
linomios no nulos que tienen a α por raı́z. Entonces, si g(X) = a(X)b(X) en F[X], de
0 = g(α) = a(α)b(α), se deduce a(α) = 0 ó b(α) = 0. De donde a(X) ó b(X) es constante. Ası́
g(X) es irreducible. Sea f (X) ∈ F[X] con f (α) = 0. Dividimos f (X) = g(X)q(X) + r(X), con
r(X) = 0 ó deg r < deg g. Entonces r(α) = 0 y, por tanto, r(X) = 0.
126 Capı́tulo 3 Teorı́a de cuerpos
Si p(X) ∈ F[X] es mónico e irreducible con α por raı́z, entonces p(X) es de mı́nimo grado
entre los que tienen a α por raı́z. Obtenemos g(X) | p(X) y p(X) | g(X). Esto implica que
g(X) = p(X), puesto que ambos son mónicos.
Hemos probado que el epimorfismo de sustitución F[X] → F[α] tiene por núcleo
mα,F (X)F[X]. Este ideal es maximal. Ası́ obtenemos F(α) = F[α] ' F[X]/mα,F (X)F[X].
Sea mα,F = Xn − an−1 Xn−1 − · · · − a1 X − a0 . Entonces
αn = an−1 αn−1 + · · · + a1 α + a0 .
Teorema 3.1.15. Sean F un cuerpo y p(X) ∈ F[X] un polinomio de grado deg p ≥ 1. Existe un
cuerpo K extensión de F, donde p(X) tiene una raı́z α. Además podemos elegir K de forma que
K = F(α) = F[α] ' F[X]/pF[X] (el isomorfismo si p es irreducible).
Demostración. Cambiando p(X) por uno de sus factores irreducibles, podemos suponer
p(X) irreducible (y mónico).
i
Consideramos el cuerpo K1 = F[X]/p(X)F[X] = F[x], con x = X̄. El homomorfismo F → K
es inyectivo y i p(x) = 0.
Sea T2 un conjunto biyectivo con K1 − i(F) y disjunto de F. El conjunto K = F ∪ T2 , que
es biyectivo con K1 , hereda de K1 una estructura de cuerpo, con F ⊂ K. Sea α ∈ K el
elemento que corresponde a x ∈ K1 (puesto que p es irreducible, x < i(F) y, por tanto,
α ∈ T2 ). Entonces p(α) = 0 y K = F(α).
Teorema 3.1.16. Sean p(X) ∈ F[X] un polinomio mónico e irreducible, con grado deg p = n ≥ 1
y K = F(α) una extensión simple de F con p(α) = 0. Entonces [K : F] = n con base {1, α, . . . , αn−1 }.
3.1 Extensiones de cuerpos 127
ϕ
Teorema 3.1.17. Sean F → F0 un isomorfismo de cuerpos, p(X) ∈ F[X] irreducible y pϕ (X) ∈
∼
F0 [X] el polinomio irreducible obtenido aplicando ϕ a los coeficientes de p(X). Sean α una raı́z
de p(X), en alguna extensión de F, y β una raı́z de pϕ (X), en alguna extensión de F0 . En estas
condiciones, existe un único isomorfismo F(α) → F0 (β) que extiende a ϕ y transforma α en β.
∼
√3 √3 √3
Q[X]/(X3 − 2) ' Q( 2) ' Q( 2ω) ' Q( 2ω2 ).
El grado √3 √3 √3
[Q( 2) : Q] = [Q( 2ω) : Q] = [Q( 2ω2 ) : Q] = 3.
√3 √3 √3
Los subcuerpos, Q( 2), Q( 2ω), Q( 2ω2 ) son distintos. En efecto, si dos de ellos
fueran el mismo subcuerpo L de grado 3 sobre Q, entonces, para 0 ≤ i < j ≤ 2, el
√
3
2ω j
elemento √
3 = ω j−i ∈ L. Esto no es posible, puesto que Q(ω) = Q(ω2 ) es de grado
2ωi
2 sobre Q: la ecuación irreducible X2 + X + 1 = 0 tiene por raı́ces ω, ω2 .
Sea t = X̄ una raı́z cúbica de 2. Entonces
Podemos calcular el inverso de, por ejemplo, 1+t en Q[t]. Para ello hay que resolver
1 1 1
(1 + t)−1 = − t + t2 .
3 3 3
√3
Por ejemplo, para t = 2ω obtenemos la fórmula:
1 1 1 √3 1 √3 2
√3 = − 2ω + 4ω .
1+ 2ω 3 3 3
1 1
(1 + X)( (X2 − X + 1)) + (X3 − 2)(− ) = 1.
3 3
Tomando clases módulo (X3 − 2) obtenemos
1
(1 + t)( (t2 − t + 1)) = 1.
3
(8) Sea F = K(u) el cuerpo de fracciones algebraicas sobre el cuerpo K, i.e., el cuerpo de
fracciones del anillo de polinomios K[u]. El polinomio p(X) = X2 − u ∈ F[X] resulta
ser irreducible, según el criterio de Eisenstein para el primo u.
1
Sea t = u 2 una raı́z de p(X) en algún cuerpo extensión de F. Entonces el grado
[F(t) : F] = 2 y
F[t] = {a(u) + b(u)t | a(u), b(u) ∈ F}.
[Q(α) : Q] = 3.
3.1 Extensiones de cuerpos 129
Proposición 3.1.19. Sea K/F una extensión finita de grado [K : F] = n. Entonces todo elemento
α ∈ K es raı́z de un polinomio de grado ≤ n sobre F. Con más precisión, K/F es algebraica y
[F(α) : F] es un divisor de [K : F],
Este último resultado significa que toda extensión finita es algebraica y finitamente
generada por elementos algebraicos.
La Proposición 3.1.20, que acabamos de demostrar, dice que una extensión generada
por una cantidad finita de elementos algebraicos es finita y, por tanto, según la Propo-
sición 3.1.19, algebraica. En general, una extensión generada por elementos algebraicos
es algebraica, aunque no necesariamente finita.
130 Capı́tulo 3 Teorı́a de cuerpos
Corolario 3.1.21. Sea K/F una extensión generada por un subconjunto S ⊂ K, tal que todo
elemento α ∈ S es algebraico sobre F. Entonces todo elemento de K es algebraico sobre F.
Demostración. Sea β ∈ K. Puesto que K = F(S), existe una cantidad finita de elementos
α1 , . . . , αn ∈ S tal que β ∈ F(α1 , . . . , αn ). Concluimos, ahora, con la Proposición 3.1.20.
√ √3 √
n
Ejemplo 3.1.22. √ La extensión Q( 2, 2, . . . , 2, . . .) no es finita, puesto que contiene
n
elementos, 2, de grado n, arbitrariamente grande, sobre Q.
Observación 3.1.23. Sea F(α, β)/F tal que [F(α)(β) : F(α)] = d y [F(α) : F] = n. Entonces
una base de F(α, β) como F–espacio vectorial es
{αi β j }i = 0, . . . , n − 1 .
j = 0, . . . , d − 1
Corolario 3.1.24. Transitividad Sean K/F una extensión algebraica y α ∈ L, con L extensión de
K. Si α es algebraico sobre K, entonces α es algebraico sobre F.
Corolario 3.1.25. Sea L/F una extensión. El conjunto K, formado por los elementos de L que son
algebraicos sobre F, es un subcuerpo de L. Diremos que la extensión algebraica K/F es el cierre
algebraico de F en L.
Proposición 3.1.26. (1) Sea K/F extensión finita. Entonces K/F es algebraica y para cada
α ∈ K es [K : F] = [K : F(α)] · (deg mα,F (X)).
(2) Una extensión finitamente generada F(α1 , . . . , αn )/F es finita si, y sólo si, cada αi es
algebraico sobre F.
(3) K/F finita si, y sólo si, K/F algebraica finitamente generada si, y sólo si, K/F finitamente
generada por elementos algebraicos sobre F.
3.1 Extensiones de cuerpos 131
√
α
√ < F. El √ b − 4c denota una raı́z de la ecuación X − (b − 4c) = 0. Ası́
sı́mbolo 2 2 2
D ∈ K y K = F( D).
Observemos que no hay una forma canónica de elegir “la” raı́z cuadrada, análoga
a elegir “la” raı́z positiva en R, i.e., las raı́ces son algebraicamente independientes.
√
En resumen, si char F , 2, entonces [K : F] = 2 si, y sólo si, K = F( D), donde
D ∈ F no es un cuadrado en F.
√ √
(4) [Q( 2, 3), Q] = 4. En efecto,
√ √ √ √ √ √
[Q( 2, 3) : Q] = [Q( 2, 3) : Q( 2)][Q( 2) : Q],
√ √ √ √ √
donde [Q( √2) : Q] =√ 2 y [Q(√ 2, 3) √ : Q( 2)]
√ = 2, puesto que 3 es raı́z √
de
2
X − 3 ∈ Q(√ 2)[X] y 3 < Q( √ 2): si 3 = a + b 2, entonces√3 = a √ 2
+ 2b + 2ab 2
√ de aquı́, 2 ∈ Q si ab , 0; ó 3 ∈ Q si b = 0. Ası́ a = 0 y 3 = b 2, de donde
y,
6 = 2b ∈ Q, que es falso.
√ √ √
De [Q(
√ √ 2) : Q] =
√ 2 se deduce que una base de Q( 2) sobre
√ √ Q es {1, 2}√y, de
[Q(√ 2, 3) : Q( 2)] = 2 se deduce que una base de Q( 2, √3) sobre √ Q( 2) es
{1, √3}.√Por√tanto, según la Observación 3.1.23, una base de Q( 2, 3) sobre Q es
{1, 2, 3, 6}.
132 Capı́tulo 3 Teorı́a de cuerpos
Proposición 3.1.29. Sean K1 /F, K2 /F finitas en K/F, con [K1 : F] = m, [K2 : F] = n y bases
{α1 , . . . , αm }, {β1 , . . . , βn }. Entonces K1 K2 = F(α1 , . . . , αm , β1 , . . . , βn ) y [K1 K2 : F] ≤ mn, con
igualdad si, y sólo si, una F–base de uno de los subcuerpos permanece linealmente independiente
sobre el otro.
Observación 3.1.32. Con la teorı́a desarrollada hasta el momento, podemos dar respues-
ta negativa al problema de la duplicación del cubo con regla y compás: construir, con
regla y compás, la arista de un√cubo cuyo volumen duplica el de un cubo dado. Esto
3
equivale a construir el número 2.
De forma resumida, podemos decir que los puntos del plano complejo constructibles con
regla y compás son aquellos que se obtienen, a partir de 0, 1, mediante una sucesión finita
de: intersecciones de dos rectas, de recta y circunferencia o de dos circunferencias. Es
decir, soluciones de ecuaciones lineales o cuadráticas. Por tanto, un punto constructible
aparece, a partir de Q, tras una sucesión finita de extensiones de grado
√3 2. En consecuencia,
si α es constructible, entonces α ∈ K, con [K : Q] = 2 . Ası́, si 2 fuera constructible
n
tendrı́amos √3 √3
2n = [K : Q] = [K : Q( 2)][Q( 2) : Q].
√3
Esto no es posible, puesto que [Q( 2) : Q] = 3.
3.2 Cuerpos de descomposición. Cierre algebraico 133
(1) La extensión K/F es finita, puesto que está generada por una cantidad finita
{α1 , . . . , αn } de elementos algebraicos sobre F.
(2) El grado [K1 : F] ≤ n, puesto que α1 es raı́z de un polinomio f (X) ∈ F[X] de grado
n. El grado [K2 : F] = [K2 : K1 ][K1 : F] ≤ (n − 1)n, puesto que α2 es raı́z de un
polinomio f1 (X) ∈ K1 [X] de grado n − 1. Ası́ [K : F] ≤ n!.
3 3
Q(ω) 3
2
Q
4 i√
√ √
10+2 5
5 −1+ 5
4
+ √ 4
i
6 1
2
+ 23 i q
q √ √
+ + +
3 7 1 3 7
7 − 61 1
6
2
(1 3 i 3) 6 2
(1 − 3 i 3)+
r q √ q √ 2
+ 2 1 − 3 − 3 2 (1 + 3 i 3) − 3 2 (1 − 3 i 3)
i 1 1 3 7 1 3 7
√ √
8 2
2
+ 2
2
i
El cuerpo de descomposición de Xn − 1 es
2πik
Q({e n |k = 0, . . . , n − 1}) = Q(ζ) = Q(ζa ), mcd (a, n) = 1, 1 ≤ a < n.
√
Los grados [Q( p q : Q] = p y [Q(ζ) : Q] = p − 1. Ası́, puesto que mcd (p, p − 1) = 1,
el grado es
√
[Q( p q, ζ) : Q] = p(p − 1).
√
Los subcuerpos, Q( p qζ j ), j = 0, . . . , p − 1 son distintos. En efecto, si dos de ellos
fueran el mismo subcuerpo L de grado p sobre Q, entonces, para 0 ≤ i < j ≤ p − 1, el
√
p qζ j
elemento √
p qζi = ζ j−i ∈ L. Esto no es posible, puesto que Q(ζ) = Q(ζ j ), j = 0, . . . , p−1
es de grado p − 1 sobre Q: la ecuación irreducible Xp−1 + Xp−2 + · · · + X + 1 = 0 tiene
por raı́ces ζ, ζ2 , . . . , ζp−1 .
Una parte del retı́culo de subcuerpos es
√
Q( p q, ζ)
p−1 p−1
p−1
p √ √ √
Q( p q) Q( p qζ) ··· Q( p qζp−1 )
Q(ζ) p p p
p−1
Q .
ϕ ϕ
(X − α)ϕ1 f1 1 (X) = (X − β) f1 1 (X), con deg f (X) = n − 1. Además E es un cuerpo de
ϕ
descomposición de f1 sobre F(α) y E0 es un cuerpo de descomposición de f1 1 sobre F0 (β).
Podemos, ası́, aplicar la hipótesis de inducción para obtener un isomorfismo σ : E → E0
que extiende a ϕ1 y, por tanto, a ϕ.
Construiremos ahora, un cuerpo extensión de F que contiene todas las raı́ces de todos
los polinomios con coeficientes en F.
Teorema 3.2.11. Para cada cuerpo F existe un cuerpo algebraicamente cerrado K que contiene a
F como subcuerpo.
Demostración. Para cada polinomio f (X) ∈ F[X] mónico de grado ≥ 1, denotamos X f una
indeterminada y consideramos el anillo de polinomios F[{X f }] en la familia de variables
{X f | f ∈ F[X], f mónico, deg f ≥ 1}.
138 Capı́tulo 3 Teorı́a de cuerpos
(3.2.11.1) 1 = g1 f1 (X f1 ) + · · · + gn fn (X fn ),
F = K0 ⊂ K1 ⊂ K2 ⊂ · · · ⊂ Kn ⊂ Kn+1 ⊂ · · · ,
El siguiente resultado muestra que dos cierres algebraicos de un cuerpo son isomorfos.
∼
Teorema 3.2.16. Sean ϕ : F → F0 un isomorfismo de cuerpos y E, E0 cierres algebraicos de F, F0 .
∼
Existe un isomorfismo E → E0 extensión de ϕ.
Demostración. Sea
ϕ
Σ = {(ϕ, K, K0 ) | F ⊂ K ⊂ E, F0 ⊂ K0 ⊂ E0 ; K → K0 , F − isomorfismo}.
Probemos que se verifican las hipótesis del Lema de Zorn para (Σ, ≤).
Sea {(ϕi , Ki , Ki0 )}i∈I ⊂ Σ un subconjunto totalmente ordenado. Entonces K = ∪Ki es sub-
cuerpo de E, K0 = ∪Ki0 es subcuerpo de E0 y ϕ : K → K0 tal que x 7→ ϕi (x) si x ∈ Ki ,
está bien definido, puesto que si K j ⊂ Ki , entonces ϕi |K j = ϕ j , y es F–isomorfismo. Ası́
(K, K0 , ϕ) es una cota superior de {(ϕi , Ki , Ki0 )}i∈I en (Σ, ≤).
El lema de Zorn asegura que existe (σ, H, H0 ) maximal en (Σ, ≤). Afirmamos que H = E y
H0 = E0 . En efecto, supongamos que existe α ∈ E−H. Se tiene, entonces, F ⊂ H H(α) ⊂ E.
Puesto que E es una extensión algebraica de F y F ⊂ H ⊂ E, el elemento α ∈ E es algebraico
σ
sobre H. Por tanto, según Teorema 3.1.17, H → E0 se puede extender a un F–isomorfismo
∼
η : H(α) → H0 (β), donde β es una raı́z del polinomio de E0 [X] obtenido aplicando σ a los
coeficientes del polinomio mı́nimo de α sobre H. Ahora bien, β ∈ E0 , puesto que E0 es
algebraicamente cerrado. Ası́ H0 (β) ⊂ E0 y, por tanto, (σ, H, H0 ) < (η, H(α), H0 (β)) ∈ Σ, en
contra de la maximalidad de (σ, H, H0 ).
Hemos probado que H = E. En consecuencia H0 , que es H0 ' E0 , es algebraicamente
cerrado y E0 es extensión algebraica de H0 . Por tanto E0 = H0 .
Ejemplos 3.2.18. (1) El Teorema Fundamental del Álgebra afirma que C es algebrai-
camente cerrado. Por tanto, C = R(i) es un cierre algebraico de R. Más aun, C
contiene un cierre algebraico de cada uno de sus subcuerpos.
es un cierre algebraico de Q.
(8) Ejemplos.
√ √ √2
a) 2 2
= 2,66514414 . . ., y su raı́z cuadrada 2 , son trascendentes.
b) eπ = (eiπ )−i = (−1)−i = 23,140692632 . . ., es trascendente (constante de Gelfand).
π π
c) e− 2 = (ei 2 )i = ii = 0,207879 . . ., es trascendente.
(10) (1994) ¿Es e ± π trascendente? ¿Es e trascendente sobre Q(π)? ¿Es π trascendente
sobre Q(e)?
Proposición 3.2.24. Si K/F es algebraica, entonces |K| ≤ máx{|F|, |N|}, donde || denota la
cardinalidad del conjunto.
Definición 3.3.3. (1) Sea K/F una extensión algebraica. Diremos que α ∈ K es separable
sobre F si su polinomio mı́nimo mα,F (X) no tiene raı́ces múltiples. La extensión K/F
es separable si todo elemento de K es separable sobre F.
Ejemplos 3.3.5. (1) Todo polinomio irreducible sobre un cuerpo de caracterı́stica cero,
o caracterı́stica p que no divide a degp = n, es separable. En efecto, sea p(X) =
Xn + an−1 Xn−1 + · · · + a0 ∈ F[X] irreducible, con F de caracterı́stica cero. Entonces el
polinomio derivado p0 (X) = nXn−1 + · · · es no nulo y de grado < n, por tanto las
raı́ces de p(X) no son raı́ces de p0 (X). Esto es p(X) no tiene raı́ces múltiples.
(2) Sea p(X) ∈ F[X] irreducible de grado n ≥ 1, con char F = p. Si p0 (X) , 0 (e.g. si
p = char F no divide a n = deg p(X)), entonces p(X) no tiene raı́ces múltiples.
F2 (t).
n
(6) El polinomio f (x) = Xp − X sobre Fp tiene derivada f 0 (X) = −1. Por tanto, no
tiene raı́ces múltiples y es, en consecuencia, separable. Veremos que su cuerpo de
descomposición sobre Fp es el cuerpo finito Fpn de pn elementos.
k k
Demostración. Supongamos pk = degi f > 1. Esto es f (X) = am (Xp )m + · · · + a1 (Xp ) + a0 =
pk k pk k pk k
bm (Xp )m + · · · + b1 (Xp ) + b0 = (bm Xm + · · · + b1 X + b0 )p , en contra de la irreducibilidad
de f .
El punto clave en la prueba es F = Fp . Esto sugiere
Proposición 3.3.14. Un cuerpo F es perfecto si, y sólo si, toda extensión algebraica de F es
separable.
Demostración. Sólo queda por demostrar que si charF = p y toda extensión algebraica
de F es separable, entonces F = Fp . En efecto, sea a ∈ F. consideramos k = F(α), con α
raı́z de Xp − a. El polinomio mı́nimo mα,F (X) | Xp − a = (X − α)p . Por hipótesis, F(α)/F
es separable, por tanto, mα,F , que no tiene raı́ces múltiples, ha de ser mα,F = (X − α). Ası́
α ∈ F. Esto es a ∈ Fp .
Proposición 3.3.15. Sea K/F extensión finita. Si char F = 0 ó char F = p - n, entonces K/F es
separable.
Demostración. Sea char F = pn. Supongamos que para algún α ∈ K el polinomio mı́nimo
mα,F (X) = h(Xp ). Entonces p | deg mα,F | [K : F].
con el grado separable de mα,F (X). Por tanto [F(α) : F]s = degs mα,F (X) | deg mα,F (X) =
[F(α) : F] y el cociente [F(α) : F]/[F(α) : F]s , que llamaremos grado inseparable de la
extensión [F(α) : F]i coincide con el grado inseparable degi mα,F (X)
En el caso general,
Teorema 3.3.17. Sean E/K/F algebraicas. Entonces [E : F]s = [E : K]s [K : F]s . Además, si
E/F es finita, entonces [E : F]s es finito y [E : F]s | [E : F] y, el cociente [E : F]/[E : F]s , que
denominaremos grado inseparable [E : F]i , verifica [E : F]i = [E : K]i [K : F]i .
Corolario 3.3.18. Sean E/K/F con E/F finita. Entonces [E : F]s = [E : F] si, y sólo si,
[E : K]s = [E : K] y [K : F]s = [K : F]
Teorema 3.3.19. Sea E = F(α1 , . . . , αn )/F una extensión finita. Son equivalentes.
(3) [E : F]s = [E : F]
Teorema 3.3.20. Sean F un cuerpo y f (X) ∈ F[X] un polinomio de grado deg f ≥ 1 separable
y E un cuerpo de descomposición de f sobre F. Entonces E/F es separable.
146 Capı́tulo 3 Teorı́a de cuerpos
Observación 3.3.21. Sean K = F(α1 , . . . , αr )/F una extensión finita y σ : F → L una inmersión
de F en un cuerpo algebraicamente cerrado L. Entonces
(2) La desigualdad anterior es una igualdad si, y sólo si, cada uno de los αi es separable sobre
F.
3.4 Extensiones normales 147
Teorema 3.4.6. Sea E ⊂ F el cuerpo de descomposición de una familia { fi (X)}i∈I ⊂ F[X]. Cada
F–inmersión σ : E → F es un F–automorfismo de E
Demostración. Basta probar, según Lema 3.4.2, que σ(E) ⊂ E.
Sea α ∈ E. Puesto que E está generado sobre F por las raı́ces de los todos los polinomios de
la familia, existe una cantidad finita de estos polinomios, tales que α está en el subcuerpo
de E generado sobre F por las raı́ces de esta cantidad finita de polinomios. Por tanto
α está en el cuerpo K ⊂ E de descomposición sobre F del polinomio producto de esta
cantidad finita de polinomios. Aplicando Teorema 3.4.4 a σ : K → F se tiene σ(K) ⊂ K.
Por tanto σ(α) ∈ E.
148 Capı́tulo 3 Teorı́a de cuerpos
Teorema–Definición 3.4.7. Sea K/F una extensión algebraica (extensión finita) contenida en
un cierre algebraico F. Las siguientes condiciones son equivalentes y definen el concepto de
extensión algebraica (extensión finita) normal.
NOR1 Cada F–inmersión σ : K → F induce un automorfismo σ de K, i.e., σ(K) = K.
Teorema 3.5.2. (1) Una extensión finita es simple si, y sólo si, tiene una cantidad finita de
cuerpos intermedios.
F(α + c1 β) = F(α + c2 β)
[E0 (α) : E0 ] = deg mα,E0 (X) = deg mα,E (X) = [E(α) : E].
De donde obtenemos
[E : E0 ] = [E(α) : E0 (α)].
De esta última igualdad, y puesto que F ⊂ E0 ⊂ E ⊂ K = F(α) vemos que E(α) = K = E0 (α)
y, por tanto, [E : E0 ] = 1. Esto es E0 = E.
Para la segunda parte, basta demostrar que una extensión separable K = F(α, β), con F
infinito, es primitiva.
En un cierre algebraico K̄ = F̄ los polinomios mı́nimos factorizan
mα,F (X) = (X − α1 ) · · · (X − αn )
mβ,F (X) = (X − β1 ) · · · (X − βm ),
150 Capı́tulo 3 Teorı́a de cuerpos
Puesto que F es infinito existe c ∈ F tal que c < Q. Afirmamos que K = F(α + cβ). En
efecto, denotemos γ = α + cβ y h(X) = mα,F (γ − cX) ∈ F(γ)[X] ⊂ F̄[X]. Entonces h(β) = 0.
Por tanto, X − β divide a h(X) en F̄[X]. Por otra parte, si X − β j divide a h(X) para algún
j , 1, entonces mα,F (γ − cβ j ) = 0. Esto significa que γ − cβ j = αi para algún i y, en este caso,
tendrı́amos c ∈ Q, en contra de la elección de c. Por tanto, en F̄[X] los polinomios mβ,F (X)
y h(X) tienen X − β como máximo común divisor. Ası́, su máximo común divisor en F(γ)
será X − β o bien 1. Si ocurre la segunda opción, se tendrá 1 = a(X)mβ,F (X) + b(X)h(X) en
F(γ)[X]. Sustituyendo X = β se obtiene una contradicción. En consecuencia, el máximo
común divisor en F(γ)[X] es X − β. Esto implica β ∈ F(γ), y también α = γ − cβ ∈ F(γ).
Esto es K ⊂ F(γ).
Ejemplo 3.5.3. Sea Fp (x, y) el cuerpo de funciones racionales en dos variables sobre el
cierre algebraico Fp de Fp . Entonces K = Fp (x, y) es una extensión finita no simple de
F = Fp (xp , yp ). En efecto, es sencillo ver que [K : F] = p2 y que los todos los subcuerpos
F(x+cy), c ∈ Fp son de grado p sobre F (observemos que (x+cy)p = xp +cp yp ∈ F). Si dos de
estos cuerpos coincidieran, entonces, razonando como en el Teorema 3.5.2, tendrı́amos
K = F(x + cy). Esto no es posible a causa de los grados. Por tanto hay infinitos cuerpos
intermedios de la forma F(x + cy).
donde
σ(a + bα) = a − bα.
√
En particular, esto se aplica a Aut(C = R(i)/R), donde i = −1.
3.5 Una aproximación al teorema del elemento primitivo 151
Corolario 3.5.6. Sea K/F una extensión finita, separable y normal. Entonces |Aut(K/F)| = [K :
F].
Demostración. Podemos escribir K = F(α). Según la hipótesis mα,F (X) = (X−α1 ) · · · (X−αn ),
donde α = α1 , · · · , αn ∈ K son n = [K : F] elementos distintos. Cada automorfismo de
K/F está determinado por la imagen de α que debe ser uno de los αi . Además, puesto
que K = F(αi ), para cada αi , se deduce de Teorema 3.1.17 que existe un F–automorfismo
σi : K → K tal que σ(α) = αi . Esto muestra que hay exactamente n automorfismos de
K/F.
Observación 3.5.7. La parte (2) del Teorema 3.5.2 puede también ser obtenida como con-
secuencia de la parte (1) y del Teorema fundamental, que demostraremos más adelante
sin usar, por supuesto, la existencia de un elemento primitivo. El argumento es sencillo:
una extensión finita y separable K/F está contenida en una extensión de Galois E/F,
minimal en un cierre algebraico. Los cuerpos intermedios de K/F son también cuerpos
intermedios de E/F que corresponden, según el Teorema fundamental, a subgrupos del
grupo finito de Galois de E/F. En consecuencia, los cuerpos intermedios de la extensión
K/F son en cantidad finita.
152 Capı́tulo 3 Teorı́a de cuerpos
ζ primitiva
3.7.7. Calculamos recursivamente los polinomios φn (X) a partir de (3.7.5.1). Por ejemplo:
φ1 (X) = X − 1, φ2 (X) = X + 1.
g(Xp ) y, por tanto, f (X) divide a g(Xp ) en Q[X] y, en consecuencia en Z[X]; pongamos
g(Xp ) = f (X)h(X) con h(X) ∈ Z[X]. Reduciendo módulo p, obtenemos ḡ(Xp ) = f¯(X)h̄(X)
en Fp (X). Ahora bien ḡ(Xp ) = ( ḡ(X))p , y ası́ ( ḡ(X))p = f¯(X)h̄(X) en Fp [X]. Esta igualdad
implica que f¯(X) y ḡ(X) tienen un factor irreducible común en Fp [X]. Por tanto redu-
ciendo módulo p la igualdad φn (X) = f (X)g(X) vemos que φ¯n (X) ∈ Fp [X] tiene una raı́z
múltiple. En consecuencia, también Xn − 1̄ ∈ Fp [X] tiene una raı́z múltiple; pero esto
sólo es posible si p divide a n. Por tanto ζp es una raı́z de f (X). Puesto que esto se aplica
a toda raı́z primitiva n–ésima ζ que sea raı́z de f (X), se deduce que toda raı́z primitiva
n–ésima es raı́z de f (X) (si ζ es una raı́z primitiva que sea raı́z de f (X) y a = p1 p2 · · · ps
es primo con n entonces ζp1 es raı́z de f (X), y, por tanto (ζp1 )p2 es raı́z de f (X), . . ., y, por
tanto ζa es raı́z de f (X)). Pero esto significa que φn (X) divide a f (X) y, en consecuencia
φn (X) = f (X).
Corolario 3.7.12. El polinomio mı́nimo sobre Q de toda raı́z primitiva n–ésima de la unidad ζ
es el polinomio ciclotómico Y
φn (X) = (X − ζ),
ζ ∈ µn
ζ primitiva
y
[Q(ζ) : Q] = ϕ(n).
3.7.14. Veremos en la Proposición 3.10.40 que Aut(Q(ζ)/Q) ' (Z/nZ)∗ , si ζ es raı́z primi-
tiva n–ésima de la unidad.
3.8 Teorı́a de Galois I 157
(3) El conjunto Aut(K) formado por los automorfismos de K es un grupo con la com-
posición. Sea K/F una extensión. El subconjunto formado por los F–automorfismos
de K es un subgrupo Aut(K/F) de Aut(K).
Aut(K/E) ≤ Aut(K/F).
(9) Sean K/F una extensión algebraica y α ∈ K. Entonces para todo σ ∈ Aut(K/F), el
elemento σ(α) es una raı́z de mα,F (X), i.e., los elementos de Aut(K/F) permutan las
raı́ces de los polinomios irreducibles de F[X].
√ √
Ejemplos 3.8.2. (1) K =√ Q( 2)/F = Q. Un automorfismo √ τ ∈ Aut(Q( √2)/Q) está √
determinado por τ( √ 2) que ha de ser un Q–conjugado
√ √ de 2. Esto es τ( 2) = ± 2.
Por tanto, Aut(Q( 2)/Q) = {1, σ}, donde σ( 2) = − 2.
√3 √3 √3 √3 √3
(2) Aut(Q(
√3 √3 2)/Q) =√3 {1}. Puesto que los Q–conjugados de 2 son 2, 2ω, 2ω2 y
2ω, 2ω2 < Q( 2).
3.8.3. Sea K = F({αi }i∈I ) extensión algebraica de F contenida en un cierre algebraico F.
Cada automorfismo σ ∈ Aut(K/F) está determinado por los {σ(αi )}i∈I , donde σ(αi ) ha de
ser un F–conjugado de αi en F.
Si K = F(α1 , . . . , αn )/F es finita, cada σ ∈ Aut(K/F) está determinado por los σ(α1 ), . . . , σ(αn ),
donde σ(αi ) es un F–conjugado de αi . Por tanto, Aut(K/F) es un grupo finito. De hecho,
hemos demostrado un resultado más fuerte en la sección de extensiones separables. El
grupo
Aut(K/F) = {σ : K → F | σ es extensión de F ,→ F y σ(K) ⊂ K}.
Hemos demostrado, en Teorema 3.3.17, que
|Aut(K/F)| ≤ [K : F].
Daremos, no obstante, otra demostración de este hecho para una extensión normal.
Teorema 3.8.4. Sea K/F una extensión finita normal. Entonces |Aut(K/F)| ≤ [K : F], con
igualdad si, y sólo si, K/F es separable.
Este resultado es consecuencia de el siguiente, aparentemente más general, enunciado.
∼
Teorema 3.8.5. Sean ϕ : F → F0 un isomorfismo de cuerpos, E un cuerpo de descomposición
de un polinomio de grado positivo f (X) ∈ F[X] sobre F y E0 un cuerpo de descomposición del
∼
polinomio f ϕ (X) sobre F0 . El número de extensiones de ϕ a un isomorfismo E → E0 es ≤ [E : F],
con igualdad si, y sólo si, f (X) es separable.
Demostración. Hemos probado, en Teorema 3.2.5, que el conjunto de extensiones es no
vacı́o. Una versión más cuidadosa de la demostración proporciona la desigualdad.
Inducción sobre [E : F].
Si [E : F] = 1, entonces E = F, E0 = F0 y hay una única extensión, el propio ϕ.
Supongamos [E : F] > 1. Entonces f (X) tiene un factor irreducible p(X) ∈ F[X] de
grado ≥ 2. Sea α una raı́z de p(X). Si σ es una extensión de ϕ a E, entonces σ|F(α) es un
3.8 Teorı́a de Galois I 159
isomorfismo τ de F(α) con F0 (β), donde β = σ(α) es raı́z de pϕ (X) factor irreducible de
f ϕ (X). El isomorfismo τ está unı́vocamente determinado por τ(α) = σ(α). Por tanto se
tiene un diagrama
σ /
(3.8.5.1) E ∼ E0
τ / F0 (β)
F(α) ∼
ϕ
F / F0 .
∼
(2) Hemos demostrado, Teorema 3.8.4, que toda extensión finita, normal y separable
es de Galois.
(3) Demostraremos que el recı́proco es cierto. Sea K/F una extensión finita. Si |Aut(K/F)| =
[K : F], entonces K/F es normal y separable.
Corolario 3.8.9. El cuerpo de descomposición sobre F de un polinomio separable sobre F es una
extensión de Galois sobre F.
160 Capı́tulo 3 Teorı́a de cuerpos
Definición 3.8.10. Sean F un cuerpo y f (X) un polinomio de grado positivo separable sobre F.
Denominaremos grupo de Galois de f (X) sobre F al grupo de Galois del cuerpo de descomposición
de f (X) sobre F. Denotaremos Gal( f /F).
√
Ejemplos 3.8.11. (1) Sea K = F( D) una extensión cuadrática, i.e., [K : F] = 2 o,
equivalente, D ∈ F − F2 , con char F , 2. Entonces K/F es de Galois y
{1}
2 2
2
√3 √3 √3 √ √
(4) Las raı́ces de X3 − 2 son 2, 2ω, 2ω2 , con ω = − 12 + 2
3
i, ω2 = − 12 − 2
3
i las raı́ces
cúbicas primitivas de 1.
El cuerpo de descomposición de X3 − 2 es
√3 √3 √3
Q( 2, 2ω, 2ω2 ).
√3
El polinomio
√3 mı́nimo√3 de ω, ω 2
sobre Q es X 2
+ X + 1 y, es claro que ω < Q( 2). Por
tanto [Q( 2, ω) : Q( 2)] = 2. Ası́
√3 √3 √3 √3
[Q( 2, ω) : Q] = [Q( 2, ω) : Q( 2)][Q( 2) : Q] = 3 · 2 = 6.
√3 √3 √3
Los subcuerpos, Q( 2), Q( 2ω), Q( 2ω2 ) son distintos. En efecto, si dos de ellos
fueran el mismo subcuerpo L de grado 3 sobre Q, entonces, para 0 ≤ i < j ≤ 2, el
√
3
2ω j
elemento √
3 = ω j−i ∈ L. Esto no es posible, puesto que Q(ω) = Q(ω2 ) es de grado
2ωi
2 sobre Q: la ecuación irreducible X2 + X + 1 = 0 tiene por raı́ces ω, ω2 .
El grupo G = Gal(K/F)
√3 tiene
√3 orden
√3 √3 Un elemento σ ∈ Gal(K/F) está determinado
6.
por los valores σ( 2) = 2, 2ω, 2ω2 ; σ(ω) = ω, ω2 . Por tanto, las 6 opciones
combinatorias definen cada uno de los elementos de Gal(K/F).
162 Capı́tulo 3 Teorı́a de cuerpos
√3 √3 √3
2 ω ω2 2ω 2ω2
√3 √3 √3
1 2 ω ω2 2ω 2ω2
√3 √3 √3
σ 2ω ω ω2 2ω2 2
√3 √3 √3
σ2 2ω2 ω ω2 2 2ω
√3 √3 √3
τ 2 ω2 ω 2ω2 2ω
√3 √3 √3
τσ2 2ω ω2 ω 2 2ω2
√3 √3 √3
τσ 2ω2 ω2 ω 2ω 2
√3 √3 √3 √3
Definimos σ por σ( 2) = 2ω, σ(ω) = ω y τ por τ( 2) = 2, τ(ω) = ω2 . Entonces
la tabla del grupo es
√3
Se verifica σ3 = τ2 = 1, στ = τσ2 . Por tanto, Gal(Q( 2, ω)/Q) =< σ, τ >' D3 ' S3 .
El retı́culo de los subgrupos de este grupo diedro es
{1}
2 2
2
3
<τ> < τσ > < τσ2 >
3 3
<σ> 3
2
G =< σ, τ > .
3 3
Q(ω) 3
2
Q .
Ası́
√3 √3 √3 √3 √3 √3 √3 √3
σ(a + b 2 + c 4 + dω + e 2ω + f 4ω) = a + b 2 + c 4 + dω + e 2ω + f 4ω,
si, y sólo si,
√3 √3 √3 √3 √3 √3 √3 √3
a − e 2 + ( f − c) 4 + dω + (b − e) 2ω − c 4ω = a + b 2 + c 4 + dω + e 2ω + f 4ω,
si, y sólo si,
−e = b, f − c = c, b − e = e, −c = f,
si, y sólo si,
b = c = f = e = 0,
si, y sólo si, √3 √3 √3 √3
a + b 2 + c 4 + dω + e 2ω + f 4ω = a + dω,
si, y sólo si, √3 √3 √3 √3
a + b 2 + c 4 + dω + e 2ω + f 4ω ∈ Q(ω).
Por tanto,
Fix(σ) = Q(ω).
Observemos que el único subgrupo normal de G es < σ > y el cuerpo fijo corres-
pondiente Q(ω)/Q es el único cuerpo intermedio, de los observados, que es una
extensión normal de Q.
(5) La extensión Fpn /Fp es de Galois, puesto que es el cuerpo descomposición del
n
polinomio separable Xp − X. El grupo G = Gal(Fpn /Fp ) es, por tanto, de orden n.
Consideremos el automorfismo de Frobenius
σp :Fpn → Fpn
α 7→ αp .
Sus potencias i = 0, 1, . . . , n − 1
Teorema 3.8.12 (Fundamental de la Teorı́a de Galois). Sean K/F una extensión finita de
Galois y G = Gal(K/F). Existe una biyección
K
{1}
Subcuerpos E |
Subgrupos H |
de K E ←→ de G H
que contienen a F
|
|
F G
definida por las asignaciones
E 7→ Gal(K/E) = σ ∈ G | σ(α) = α, para todo α ∈ E
para todo g ∈ G. Puesto que χ1 , χm , existe g0 ∈ G tal que χ1 (g0 ) , χm (g0 ). La relación
(3.8.15.1) expresa, en particular, la igualdad
a1 χ1 (g0 g) + · · · + am χm (g0 g) = 0,
i.e.
(3.8.15.3) (χm (g0 ) − χ1 (g0 ))a1 χ1 (g) + · · · + (χm (g0 ) − χm−1 (g0 ))am−1 χm−1 (g) = 0,
para todo g ∈ G. Esta última es una relación no trivial con menos de m coeficientes no
nulos. Contradicción.
σ
Consideremos ahora un homomorfismo K → L de un cuerpo K en L. Puesto que σ
σ
es siempre inyectivo, es un homomorfismo de grupos multiplicativos K∗ → L∗ , que
podemos ver como un carácter de K∗ en L. Este carácter contiene toda la información
relativa a σ puesto que σ(0) = 0.
Corolario 3.8.16. Cualesquiera diferentes inmersiones σ1 , . . . , σn de un cuerpo K en un cuerpo
L son, como funciones definidas en K, linealmente independientes sobre L.
Usamos el corolario anterior para probar la relación entre los órdenes de subgrupos de
automorfismos de un cuerpo K y los grados de las extensiones sobre sus cuerpos fijos.
Teorema 3.8.17. Sean G = {1 = σ1 , . . . , σn } un subgrupo finito de automorfismos de un cuerpo
K y F = Fix (G) el subcuerpo fijo de G. Entonces K/F es finita y [K : F] = n = |G|.
Demostración. Supongamos primero P que m = [K : F] < n y fijemos una base ω1 , . . . , ωm
de K sobre F. Entonces el sistema j=1,...,n σ j (ωi )x j = 0, i = 1, . . . , m, de m ecuaciones con
n incógnitas x1 , . . . , xn tiene solución no trivial β1 , . . . , βn ∈ K.
Sean a1 , . . . , am ∈ F elementos cualesquiera. Entonces, según la hipótesis, σi (a j ) = a j . Por
166 Capı́tulo 3 Teorı́a de cuerpos
tanto, multiplicando la ecuación i–ésima por ai obtenemos las identidades j=1,...,n σ j (ai ωi )β j =
P
0, i = 1, . . . , m. Sumando estas m identidades vemos que existen β1 , . . . , βm ∈ K no todos
nulos, que verifican la identidad
para cualquiera elección a1 , . . . , am ∈ F. Puesto que los ωi forman una base de K sobre F,
esto significa que para todo α ∈ K se tiene la identidad
σ1 (α)β1 + · · · + σn (α)βn = 0.
Pero esto significa que los automorfismos distintos σ1 , . . . , σn son linealmente depen-
dientes sobre K, en contra del Corolario 3.8.16.
Por tanto hemos probado que n ≤ [K : F]. Supongamos ahora que n < [K : F], (pudiera
ser [K : F] = ∞). Entonces hay más de n elementos F–linealmente independientes en K,
digamos α1 , . . . , αn+1 ∈ K. El sistema
X
(3.8.17.1) σi (α j )x j = 0, i = 1, . . . , n,
j=1,...,n+1
Puesto que β1 < F, existe σ j0 tal que σ j0 (β1 ) , β1 . Aplicando σ j0 a las identidades (3.8.17.2),
obtenemos
σ j0 σ1 (α1 )σ j0 (β1 ) + · · · + σ j0 σ1 (αr−1 )σ j0 (βr−1 ) + σ j0 σ1 (αr ) = 0
.. .. ..
(3.8.17.3) . . .
σ j0 σn (α1 )σ j0 (β1 ) + · · · + σ j0 σn (αr−1 )σ j0 (βr−1 ) + σ j0 σn (αr ) = 0.
Ahora bien, los σ j0 σ1 , . . . , σ j0 σn son los σ1 , . . . , σn en algún orden, puesto que los σ1 , . . . , σn
forman un grupo. Por tanto reordenando (3.8.17.3) obtenemos
Corolario 3.8.24. Sea K/F una extensión finita de Galois. Entonces para cada cuerpo intermedio
F ⊂ E ⊂ K, la extensión K/E es finita de Galois.
Teorema 3.8.25 (Fundamental de la Teorı́a de Galois). Sean K/F una extensión finita de
Galois y G = Gal(K/F). Existe una biyección
K
{1}
Subcuerpos E |
Subgrupos H |
de K E ←→ de G H
que contienen a F | |
F G
(3) Sean E y H que corresponden en la biyección. Esto es, H = Gal(K/E), E = Fix(H). Entonces
[K : E] = |H| y [E : F] = [G : H] el ı́ndice de H en G. De otro modo, [K : E] = |Gal(K/E)|
y [Fix(H) : F] = [G : H].
(4) El cuerpo intermedio E es normal sobre F y, por tanto, E/F es de Galois si, y sólo si,
H = Gal(K/E) es un subgrupo normal de G. En este caso
Más general, las inmersiones de E en un cierre algebraico de F que contiene a K, que son la
identidad en F están en biyección con las clases σH de congruencia módulo H en G.
(5) Si E1 , E2 corresponden, respectivamente, a H1 , H2 , entonces la intersección E1 ∩ E2 corres-
ponde al subgrupo < H1 , H2 > generado por H1 ∪ H2 y, el subcuerpo compuesto E1 E2 ,
menor subcuerpo de K que contiene a E1 ∪E2 , corresponde al subgrupo intersección H1 ∩H2 .
Por tanto, el retı́culo de cuerpos intermedios de K/F y el retı́culo de subgrupos de G son
duales.
Demostración. Sean H ≤ G y E = Fix(H). Según Corolario 3.8.19 es Gal(K/E) = H. Esto
es, la composición H 7→ Fix(H) 7→ Gal(K/Fix(H)) es la identidad.
Sea F ⊂ E ⊂ K un cuerpo intermedio. Según Corolario 3.8.24 la extensión K/E es de
Galois. Esto equivale a E = Fix(Gal(K/E)), según Teorema 3.8.23. Esto es, la composición
E 7→ Gal(K/E) 7→ Fix(Gal(K/E)) es la identidad.
Por tanto, la biyección está establecida.
La inversión de las inclusiones está en Observación 3.8.1.
Las fórmulas de (3) se obtienen de Teorema 3.8.23, la fórmula de los grados y la fórmula
de Lagrange para grupos finitos. En efecto, F ⊂ E ⊂ K, donde K/F y K/E son Galois.
Ası́ [K : F] = |Gal(K/F)| = |G| y [K : E] = |Gal(K/E)| = |H|. La fórmula de los grados
[K : F] = [K : E][E : F]. Además |G| = |H| · [G : H] (teorema de Lagrange). De aquı́,
[E : F] = [G : H].
Demostremos (4). Sea E = Fix(H). Cada σ ∈ G restringido a E es un isomorfismo de E
∼
con el subcuerpo σ(E) ⊂ K. Recı́procamente, sea τ : E → τ(E) ⊂ F una inmersión de E en
un cierre algebraico F de F que contiene a K, tal que τ es la identidad en F. Entonces τ
extiende a σ : K → F que, por ser K/F normal, verifica σ(K) = K. Esto es cada inmersión
de E en F sobre F es la restricción de algún σ ∈ G.
Es claro que dos automorfismos σ, σ0 ∈ G restringen a la misma inmersión de E si, y sólo
si, σ−1 σ0 es la identidad en E. Esto es, si, y sólo si, σ−1 σ0 ∈ Gal(K/E) = H, o bien, si, y sólo
si, σ0 H = σH.
Por tanto, las inmersiones de E están en biyección con las clases σH de congruencia
módulo H en G. En particular, esto proporciona la fórmula
|Emb(E/F)| = [G : H] = [E : F],
Recordemos que Aut(E/F) ⊂ Emb(E/F) y que E/F es de Galois si, y sólo si, Aut(E/F) =
Emb(E/F), esto es , si, y sólo si, para cada σ ∈ G se verifica σ(E) = E.
Sea σ ∈ G, entonces σ(E) = Fix(σHσ−1 ). En efecto, sea α ∈ E, entonces para cada h ∈ H =
Gal(K/E) se verifica (σhσ−1 )(σ(α)) = σ(hα) = σ(α), lo que prueba σ(E) ⊂ Fix(σHσ−1 ) o, de
forma equivalente, σHσ−1 ≤ Gal(K/σ(E)). Por otra parte, |σH|σ−1 = |H| y |Gal(K/σ(E)| =
|Gal(K/E)| = |H|, puesto que E ' σ(E). Ası́ σHσ−1 = Gal(K/σ(E)).
En consecuencia, σ(E) = E para todo σ ∈ G si, y sólo si, σHσ−1 = H para todo σ ∈ G. Esto
es, E/F es de Galois si, y sólo si, H es normal en G.
Además, en este caso, el grupo cociente G/H se identifica con el grupo Gal(E/F), puesto
que la biyección anterior, entre las inmersiones de E y H es claramente, en este caso, un
homomorfismo.
Finalmente, sean H1 = Gal(K/E1 ) y H2 = Gal(K/E2 ). Cada elemento de H1 ∩ H2 fija
ambos E1 y E2 , por tanto, fija cada elemento del compuesto E1 E2 , puesto que éstos son
combinaciones algebraicas de elementos de E1 y E2 . Recı́procamente si σ ∈ G fija E1 E2 ,
entonces σ fija E1 y E2 , por tanto σ ∈ H1 ∩ H2 .
De forma similar se prueba Fix(< H1 , H2 >) = E1 ∩ E2 .
La aplicación
ϕ : Gal(K1 K2 /F) → Gal(K1 /F) × Gal(K2 /F)
σ 7→ (σ|K1 , σ|K2 )
es un homomorfismo. El núcleo consiste en los elementos que son la identidad tanto en
K1 como en K2 , esto es la identidad en el compuesto K1 K2 , por tanto ϕ es inyectivo. La
imagen está contenida en el subgrupo H, puesto que
El orden de H puede ser calculado observando que para cada σ ∈ Gal(K1 /F) hay
|Gal(K2 /K1 ∩ K2 )| elementos τ ∈ Gal(K2 /F) cuyas restricciones a K1 ∩ K2 son σ|K1 ∩K2 .
Por tanto
Por Corolario 3.8.27 y la fórmula (3.8.29.1) vemos que los órdenes de H y de Gal(K1 K2 /F)
son ambos iguales a
[K1 : F][K2 : F]
[K1 K2 : F] = .
[K1 ∩ K2 : F]
Por tanto la imagen de ϕ es precisamente H, lo que completa la demostración.
Corolario 3.8.32. Sea E/F una extensión finita y separable. Entonces E está contenido en una
extensión K/F que es Galois y es minimal con esta propiedad, en el sentido de que, en un cierre
algebraico fijado, cualquier otra extensión de Galois de F que contiene a E contiene también a K.
Demostración. Existe una extensión de Galois de F que contiene a E, por ejemplo el com-
puesto de los cuerpos de descomposición de los polinomios mı́nimos de un conjunto
finito de generadores de E sobre F ( que son todos separables puesto que E/F es separa-
ble). Entonces la intersección de todas las extensiones de Galois de F que contienen a E
es el cuerpo K.
Recordemos que una extensión K/F se dice simple si K = F(α) para algún α ∈ K, en cuyo
caso α se denomina elemento primitivo.
Proposición 3.8.34. Sea K/F una extensión finita. Entonces K/F es simple si, y sólo si, existe
sólo una cantidad finita de subcuerpos de K que contienen a F.
Teorema 3.8.35 (El Teorema del Elemento Primitivo). Si K/F es finita y separable, entonces
K/F es simple. En particular, toda extensión finita de cuerpos de caracterı́stica cero es simple.
R[X] define una función continua en todo R que, por ser un polinomio de grado impar,
toma valores negativos y positivos) el grado del polinomio irreducible de α sobre R ha
de ser 1. Por tanto G = H es un 2–grupo.
Ahora usamos que K es de Galois sobre R(i). Sea G1 = Gal(K/R(i)) ≤ G. Por tanto, G1
es un 2–grupo. Si G1 no es trivial, entonces G1 tiene un subgrupo G2 de ı́ndice 2. Sea
R(i) ⊂ L ⊂ K el cuerpo fijo de G2 . Entonces [L : R(i)] = [G1 : G2 ] = 2. Pero todo elemento
de R(i) tiene una raı́z cuadrada en R(i).
√
En efecto, sea
√
a + bi ∈ R(i), a, b ∈ R, entonces la
a+ a2 +b2 −a+ a2 +b2
raı́z cuadrada es c + di, donde c =
2
2
,d =
2
2
y el signo de c, d se determina
trivialmente para que (c + di) = a + bi. Por tanto, R(i) no tiene extensiones de grado 2.
2
Se deduce que G1 es el grupo trivial y, por tanto, K = R(i), como querı́amos probar.
3.10.1. Sea σ ∈ Gal( f /F). Para cada raı́z αi de f , la imagen σ(αi ) es también una raı́z
ασ(i) de f . Ası́, σ : {α1 , . . . , αn } → {α1 , . . . , αn } es una aplicación inyectiva de un conjunto
de n elementos en el mismo conjunto. Por tanto, σ : {α1 , . . . , αn } → {α1 , . . . , αn } es una
permutación de n elementos. Esto claramente define un homomorfismo de grupos
Gal( f /F) → Sn .
Además, este homomorfismo Gal( f /F) → Sn es inyectivo, puesto que cada σ ∈ Gal( f /F)
queda determinado por su acción en los generadores α1 , . . . , αn de E sobre F.
Proposición 3.10.2. Sea f (X) ∈ F[X] un polinomio de grado n ≥ 1 sin raı́ces múltiples.
(2) El polinomio f (X) ∈ F[X] es irreducible si, y sólo si, el subgrupo G de Sn es transitivo. En
este caso: n | |G|.
Demostración. (2) ⇒) Sean αi , α j dos raı́ces. Puesto que f es irreducible, el Teorema 3.1.17,
∼
asegura que existe un F–isomorfismo F(αi ) → − F(α j ) que, por Teorema 3.2.5, se puede ex-
tender a un F–automorfismo de E. Esto implica que subgrupo imagen en Sn es transitivo.
⇒) Sea h un factor irreducible de f , vamos a probar que deg h ≥ n = deg f (esto implica
que f es irreducible). En efecto, existe αi tal que h(αi ) = 0. La hipótesis asegura que
para cada j = 1, . . . , n existe σ j ∈ G tal que σ j (αi ) = α j . Entonces h(α j ) = 0, para cada
j = 1, . . . , n. Puesto que las raı́ces son distintas deg h ≥ n.
En este caso, n = [F(αi ) : F] | [E : F] = |G|.
que es una función simétrica en las raı́ces, está, por tanto, fijado por cada
elemento de G. Ası́ ∆ ∈ F = Fix(G). Más aun, el Teorema 3.10.12 garantiza
que ∆ se escribe, de modo único, como polinomio en las funciones simétricas
elementales
s1 = α1 + α2 + α3 = −b, s2 = α1 α2 + α1 α3 + α2 α3 = c, s3 = α1 α2 α3 = −d.
De hecho
∆ = (α1 − α2 )2 (α1 − α3 )2 (α2 − α3 )2 =
= b2 c2 + 18bcd − 4c3 − 4b3 d − 27d2 .
Veremos que:
√
1) Si ∆ ∈ F, entonces E = F(α), donde α es una raı́z. Ası́ E es de grado 3
sobre F y G = A3 =< (123) >=< (132) >' Z3 .
Por ejemplo, si f (X) = X3 + X2 − 2X − 1 ∈ Q[X], entonces ∆ = 49.
Si α es una raı́z, entonces f (X) = (X − α)(X − (α2 − 2))(X − (1 − α − α2 )).
Numerando α1 = α, α2 = α2 − 2, α3 = 1 − α − α2 , el grupo es G = {σ1 =
1, σ2 , σ3 }, donde σi (α) = αi . Entonces σ2 = (123), σ3 = (132).
√ √
2) Si ∆ < F, entonces E = F(α, ∆) es de grado 6 sobre F y G = S3 ' D3 .
Por ejemplo,
√ si√f (X) = X3 − 2 ∈ Q[X], entonces ∆ = −27 · 4. Ası́ E =
3
Q(α, √ ∆) = Q(√ 2, ω), donde ω2 +√ω + 1 = √3 0. El grupo G =< σ, τ >' D3 ,
3 3 3
con σ( 2) =√ 2ω, σ(ω) √3 = ω; τ( √3 2) = 2, τ(ω) = ω . Numerando las
2
3
raı́ces α1 = 2, α2 = 2ω, α3 = 2ω2 , el grupo G =< σ, τ >= S3 , con
σ = (123), τ = (23).
√ √
(2) Sea f (X) = (X√2 −2)(X2√ −3) ∈ √ Q[X]. Entonces
√ √ E = √ 2, √ 3) y G =
Q( √ {1, σ, τ, στ} ' Z2 ×
Z2 , donde σ(√ 2) = − √ 2, σ( 3) = √ 3; τ( √ 2) = 2, τ( 3) = − 3. Numerando las
raı́ces α1 = 2, α2 = − 2, α3 = 3, α4 = − 3, es σ = (12), τ = (34), στ = (12)(34) ∈
S4 y G = {1, (12), (34), (12)(34)} ≤ S4 .
(3.10.4.2) y3 + py + q = 0,
where
b2
p=− + c,
3
2b3 bc
q= − + d.
27 3
Si y1 , y2 , y3 son las raı́ces de la cúbica reducida (3.10.4.2), entonces y1 − 3b , y2 − 3b , y3 − b
3
son las raı́ces de (3.10.4.1).
Para resolver y3 + py + q = 0, hacemos el cambio de variable
p
y=z− .
3z
q
yy p
De forma equivalente, 3z2 − 3yz − p = 0. Esto es z = ± ( 2 )2 + 3 . Ası́ z = 0 si, y sólo
2
√ √ √
si, p = 0. En este caso, y3 + q = 0 tiene por solución y = 3 −q, 3 −qω, 3 −qω2 , con ω raı́z
cúbica primitiva de la unidad.
p
Con el cambio y = z − 3z
obtenemos la ecuación
p2 p3 p
y3 + py + q = (z3 − pz + − 3
) + p(z − ) + q
3z 27z 3z
p3
= z3 − + q.
27z3
Por tanto, la ecuación (3.10.4.2) es equivalente a
p3
(3.10.4.3) z6 + qz3 − = 0,
27
Denotemos r
4p3
q2 + ,
27
178 Capı́tulo 3 Teorı́a de cuerpos
una raı́z cúbica fijada. Obtenemos las otras dos raı́ces cúbicas multiplicando por las
raı́ces cúbicas primitivas de la unidad ω, ω2 .
Denotemos
p
z2 = − .
3z1
Entonces
p3
y1 = z1 + z2 = z1 −
3z1
q !
4p3
Puesto que z1 , 0, se deduce que z2 es una raı́z cúbica de 1
2
−q − q2 + 27
, de forma
que
v
t r v
t r
4p 3 4p 3
3 1 3 1
z1 = −q + q2 + , z2 = −q − q2 + ,
(3.10.4.4)
2 27 2 27
muestra que y2 = ωz1 + ω2 z2 es también una raı́z. De forma similar, usando ω2 z1 vemos
que y3 = ω2 z1 + ωz2 es la tercera raı́z de la cúbica reducida. Ası́, las tres soluciones de
3.10 Teorı́a de Galois II 179
y3 + py + q = 0 son
v
t r v t r
4p 3 4p 3
3 1
3 1
y1 = −q + q2 + + −q − q2 +
2 27 2 27
v
t r v
t r
4p 3 4p 3
1 1
y2 = ω
3 −q + q2 +
+ ω2 3 −q − q2 +
2 27 2 27
v
t r v
t r
4p 3 4p 3
3 1 1
y3 = ω2 −q + q2 + + ω 3 −q − q2 + ,
2 27 2 27
siempre que las raı́ces cúbicas en (3.10.4.4) sean elegidas con producto igual a −p/3. estas
son las fórmulas de Cardano para la cúbica reducida y3 + py + q = 0.
Ejemplo 3.10.5. Para la cúbica reducida y3 +3y+1, consideramos las raı́ces cúbicas reales
r r
3 1
√ 3 1
√
−1 + 5 ; −1 − 5 .
2 2
Su producto es −1 = −p/3, por tanto, las raı́ces de y3 + 3y + 1 son
r r
3 1
√ 3 1 √
y1 = −1 + 5 + −1 − 5
2 2
r r
3 1
√ 3 1
√
y2 = ω −1 + 5 + ω2 −1 − 5
2 2
r r
3 1
√ 3 1
√
y 3 = ω2 −1 + 5 + ω −1 − 5 .
2 2
La raı́z y1 es real, las y2 , y3 son complejos no reales conjugados.
√
Ejemplo 3.10.6. La cúbica y3 − 3y = 0 tiene raı́ces y = 0, ± 3, todas reales. Si aplicamos
las fórmulas de Cardano, comenzamos con
v
t r
3 1 4(−3) √3
3
z1 = −0 + 02 + = i.
2 27
Podemos elegir z1 = −i. Ası́ z2 = −p/3z1 = i. Por tanto, las fórmulas de Cardano propor-
cionan las raı́ces
y1 = −i + i = 0,
√
y2 = ω(−i) + ω2 (i) = 3,
√
y3 = ω2 (−i) + ω(i) = − 3.
b
x1 + ω2 x2 + ωx3 = −(1 + ω2 + ω) + 3z1 + (1 + ω + ω2 )z2 = 3z1 .
3
De forma similar obtenemos que las seis raı́ces z1 , z2 , ωz1 , ωz2 , ω2 z1 , ω2 z2 de la resolvente
(3.10.4.3) se expresan con las permutaciones de x1 , x2 , x3 en la forma
1
z1 = (x1 + ω2 x2 + ωx3 ),
3
1
z2 = (x1 + ω2 x3 + ωx2 ),
3
1
ωz1 = (x2 + ω2 x3 + ωx1 ),
(3.10.7.1) 3
1
ωz2 = (x3 + ω2 x2 + ωx1 ),
3
1
ω2 z1 = (x3 + ω2 x1 + ωx2 ),
3
1
ω2 z2 = (x2 + ω2 x1 + ωx3 ).
3
Esto muestra cómo el grupo simétrico entra en juego en la ecuación cúbica general, y
explica por qué el grado de la resolvente es 6.
El discriminante
3.10 Teorı́a de Galois II 181
3.10.8. Denotemos
4p3
D = q2 + .
27
Entonces r r
3 1 √ 3 1 √
z1 = −q + D , z2 = −q − D .
2 2
Ası́,
1 √ 1 √ √
z31 − z32 = −q + D − −q − D = D.
2 2
Por otra parte,
(3.10.8.1) z31 − z32 = (z1 − z2 )(z1 − ωz2 )(z1 − ω2 z2 ).
Usando (3.10.7.1), obtenemos
1 1
z1 − z2 = (x1 + ω2 x2 + ωx3 ) − (x1 + ω2 x3 + ωx2 )
3 3
1 2
= (ω − ω)(x2 − x3 )
3
−i
= √ (x2 − x3 )
(3.10.8.2) 3
iω2
z1 − ωz2 = √ (x1 − x3 )
3
−iω
z1 − ω2 z2 = √ (x1 − x2 ).
3
√
Combinando (3.10.8.2), (3.10.8.1) y z31 − z32 = D, obtenemos
√ i
D = − √ (x1 − x2 )(x1 − x3 )(x2 − x3 ).
3 3
De donde
∆ = (x1 − x2 )2 (x1 − x3 )2 (x2 − x3 )2
√ !2
3 3√
= − D
i
= −27D
4p3
!
= −27 q +2
27
= −4p3 − 27q2
= b2 c2 + 18bcd − 4c3 − 4b3 d − 27d2 .
El discriminante determina el número de raı́ces reales de un polinomio cúbico con
coeficientes reales.
182 Capı́tulo 3 Teorı́a de cuerpos
(1) ∆ > 0 si, y sólo si, las raı́ces de y3 + py + q = 0 son todas reales.
(2) ∆ < 0 si, y sólo si, y3 + py + q = 0 tiene una única raı́z real y las otras dos complejas no
reales conjugadas.
s1 = x1 + · · · + xn
X
s2 = xi x j = x1 x2 + · · · + xn−1 xn
1≤i<j≤n
···
X
sk = xi1 · · · xik
1≤i1 <···<ik ≤n
···
sn = x1 · · · xn ,
f (X) = Xn + a1 Xn−1 + · · · + an = (X − α1 ) · · · (X − αn ),
en E[X]. Entonces
ak = (−1)k sk (α1 , . . . , αn ).
3.10 Teorı́a de Galois II 183
(2) (x1 − x2 )2 (x1 − x3 )2 (x2 − x3 )2 = s21 s22 + 18s1 s2 s3 − 4s32 − 4s31 s3 − 27s23 .
3 2
x3σ(1) x2σ(2) x1σ(3) x0σ(4) = x31 x22 x13 x04 + x31 x22 x14 x03 + x31 x23 x12 x04 + · · · = s1 s2 s3 −
P P
(5) 4 x1 x2 x3 := σ∈S4
3s21 s4 − 3s23 + 4s2 s4 .
El discriminante
∆ ∈ F[s1 , . . . , sn ].
∆ = (−1)n(n−1)/2 det(M),
184 Capı́tulo 3 Teorı́a de cuerpos
Observemos que la raı́z cuadrada elegida depende de la numeración de las raı́ces fijada.
Si ∆( f ) , 0, sabemos que Gal( f /F) se identifica con un subgrupo de Sn . La relación entre
An ⊂ Sn y Gal( f /F) está controlada por ∆( f ).
p
Teorema 3.10.22. Sea f ∈ F[X] un polinomio mónico irreducible separable cúbico, donde la
caracterı́stica de F es , 2. Sean E el cuerpo de descomposición de f sobre F y α ∈ E una raı́z de
f . Entonces ∆( f ) , 0 y
Demostración. El orden |Gal( f /F)| es divisible por 3. Por tanto, Gal( f /F) = A3 o S3 .
De Teorema 3.10.21 (2), se deduce que Gal( f /F) = A3 si, y sólo si, ∆( f ) ∈ F. En este
p
La extensión universal
Denotemos
4p3 1 √ 1 √
D = q2 + , u1 = −q + D u2 = −q − D .
27 2 2
Consideremos la serie de extensiones
√ √ √ √
F0 = Q ⊂ F1 = F0 (ω) = F0 ( −3) ⊂ F2 = Q( −3, D) = F1 ( D) ⊂
√ √ √ √ √ √ √ √ √
⊂ F3 = Q( −3, D, 3 u1 ) = F2 ( 3 u1 ) ⊂ F4 = F( −3, D, 3 u1 , 3 u2 ) = F3 ( 3 u2 ) = L,
√ √ √ √
donde ( −3)2 ∈ F0 , ( D)2 ∈ F1 , ( 3 u1 )3 ∈ F2 , ( 3 u2 )3 ∈ F3 . Diremos que L es una
extensión radical de F.
Sea E el cuerpo de descomposición de X3 + pX + q sobre Q. Las fórmulas (3.10.29.1)
muestran que E ⊂ L. Esto es, las raı́ces de X3 + pX + q = 0 están en L. Esto corresponde al
hecho de que estas raı́ces se expresan con fórmulas con radicales encajados a partir de
los coeficientes de la ecuación. En otras palabras, diremos que las raı́ces de la ecuación
X3 + pX + q = 0 son expresables por radicales, o que el polinomio X3 + pX2 + q es resoluble
por radicales.
Definición 3.10.30. Diremos que la extensión L/F es radical si existe una serie de exten-
siones
(3.10.30.1) F = F0 ⊂ F1 ⊂ · · · ⊂ Fn−1 ⊂ Fn = L,
F = F0 ⊂ F1 ⊂ · · · ⊂ Fn−1 ⊂ Fn = L,
√
donde Fi = Fi−1 ( bi ), con bi ∈ Fi−1 , mi > 0, i = 1, . . . , n,
mi
L = L0 ⊂ L1 ⊂ · · · ⊂ Lr−1 ⊂ Lr = K,
√
donde L j = L j−1 ( nj a j ), con a j ∈ L j−1 , n j > 0, j = 1, . . . , r.
Entonces
F = F0 ⊂ F1 ⊂ · · · ⊂ Fn−1 ⊂ Fn = L = L0 ⊂ L1 ⊂ · · · ⊂ Lr−1 ⊂ Lr = K
p p p
F01 = F1 K2 ⊂ F02 = F2 K2 = F1 ( 2 b2 )K2 = F1 K2 ( 2 b2 ) = F01 ( 2 b2 ), b2 ∈ F1 ⊂ F01 ,
m m m
..
.
p p p
F0i−1 = Fi−1 K2 ⊂ F0i = Fi K2 = Fi−1 (
mi
bi )K2 = Fi−1 K2 ( i bi ) = F0i−1 ( i bi ), bi ∈ Fi−1 ⊂ F0i−1 ,
m m
190 Capı́tulo 3 Teorı́a de cuerpos
..
.
p p p
F0n−1 = Fn−1 K2 ⊂ F0n = Fn K2 = K1 K2 = Fn−1 (
mn
bn )K2 = Fn−1 K2 (
mn
bn ) = F0n−1 ( bn ),
mn
bn ∈ Fn−1 ⊂ F0n−1 ,
muestra que K1 K2 /K2 es radical.
(3) Según (2), la extensión K1 K2 /K2 es radical. Ahora se aplica (1).
Lema 3.10.37. Sea F ⊂ L ⊂ K extensión finita. Si L/F es radical y σ ∈ Aut(K/F), entonces
σ(L)/F es radical.
Demostración. Se tiene
F = F0 ⊂ F1 ⊂ · · · ⊂ Fn−1 ⊂ Fn = L,
donde Fi = Fi−1 (γi ), con γm
i
i
∈ Fi−1 , mi > 0, i = 1, . . . , n.
Entonces la serie
F = σ(F) = σ(F0 ) ⊂ σ(F1 ) ⊂ · · · ⊂ σ(Fn−1 ) ⊂ σ(Fn ) = σ(L),
donde σ(Fi ) = σ(Fi−1 )(σ(γi )), con σ(γi )mi = σ(γm
i
i
) ∈ σ(Fi−1 ), mi > 0, i = 1, . . . , n, muestra
que σ(L)/F es radical.
Teorema 3.10.38. Si L/F es finita separable y radical, entonces su clausura de Galois es también
radical.
Demostración. Sea M/F de Galois tal que L ⊂ M. Para cada σ ∈ Gal(M/F), es F ⊂ σ(L) ⊂ M
y, según Lema 3.10.37, L/F radical implica que σ(L)/F es radical. Si Gal(M/F) = {σ1 , . . . , σr },
entonces la clausura de Galois de L/F es σ1 (L) · · · σr (L), que es compuesto de extensiones
radicales y, por tanto, radical.
Corolario 3.10.39. Si E/F es finita y resoluble, donde F es un cuerpo perfecto (e.g. de carac-
terı́stica cero), entonces su clausura de Galois es resoluble.
Demostración. Por definición de resoluble, existe F ⊂ E ⊂ L, tal que L/F es radical.
Por otra parte, L/F es separable, puesto que suponemos F perfecto. Por tanto, L/F tiene
una clausura de Galois F ⊂ L ⊂ M. Entonces, según Teorema 3.10.38, M/F es radical.
Ahora consideramos F ⊂ E ⊂ M. Puesto que M/F es de Galois, contiene la clausura de
Galois K de E/F. Por tanto, K está contenido en la extensión radical M, de forma que K/F
es resoluble, según la definición.
Proposición 3.10.40. Sea ζ una raı́z primitiva m–ésima de la unidad sobre Q. La extensión
ciclotómica Q(ζ)/Q tiene grupo de Galois Gal(Q(ζ)/Q) ' (Z/mZ)∗ , isomorfo al grupo conmu-
tativo de las unidades del anillo Z/mZ. En particular, si m es primo el grupo Gal(Q(ζ)/Q) es
cı́clico.
Demostración. El Teorema 3.7.11, dice que los Q–conjugados de ζ son los ζa , donde 1 ≤
a < m, y mcd(a, m) = 1. Por tanto, un automorfismo σ ∈ Gal(Q(ζ)/Q) está determinado
por σ(ζ) = ζa , para un único 1 ≤ a < m, con mcd(a, m) = 1. Por otra parte, (Z/mZ)∗ = {ā |
1 ≤ a < m, y mcd(a, m) = 1}. El isomorfismo está definido por σ 7→ ā.
Lema 3.10.42. Sea F un cuerpo de caracterı́stica nula o caracterı́stica positiva que no divide a
m. Sean L/F finita de Galois y ζ una raı́z primitiva m-ésima de la unidad. Entonces L(ζ)/F y
L(ζ)/F(ζ) son finitas de Galois, y son equivalentes
Ahora bien Gal(L(ζ)/L) es resoluble, puesto que es conmutativo. De aquı́, usando Teore-
ma 2.6.14, obtenemos la equivalencia de (1) y (2).
(2) ⇔ (3) Consideramos F ⊂ F(ζ) ⊂ L(ζ). Ahora Gal(L(ζ)/F(ζ)) E Gal(L(ζ)/F) y
Extensiones cı́clicas
Definición 3.10.43. Una extensión K/F se dice cı́clica si es de Galois y su grupo de Galois es un
grupo cı́clico.
El recı́proco del Lema anterior, cuya demostración usa una ingeniosa idea debida a
Lagrange, será uno de los puntos cruciales en la demostración del Gran Teorema de
Galois 3.10.49
Teorema 3.10.46. Sean p un número primo y K un cuerpo cuya caracterı́stica no divide a p, que
contiene a una raı́z primitiva p–ésima de la unidad ζ ∈ K. Supongamos que M/K es una extensión
finita de Galois con grupo Gal(M/K) ' Z/pZ. Entonces existe α ∈ M tal que M = K(α) y
αp ∈ K. En particular, Xp − αp es irreducible sobre K.
ζ−i σ(αi ) = ζ−i σ(β) + ζ−2i σ2 (β) + · · · + ζ−i(p−1) σp−1 (β) + ζ−ip σp (β)
= ζ−i σ(β) + ζ−2i σ2 (β) + · · · + ζ−i(p−1) σp−1 (β) + β
= αi .
Por tanto,
(3.10.46.2) σ(αi ) = ζi αi .
σ
(El polinomio caracterı́stico del K–endomorfismo M → − M es Xp − 1, y los αi son los
vectores propios de los autovalores ζ ). De (3.10.46.2), usando ζp = 1, se obtiene para
i
i = 0, . . . , p − 1
p p
(3.10.46.3) σ(αi ) = (ζi αi )p = αi .
α0 ∈ K.
αi , 0.
ζi αi , αi .
194 Capı́tulo 3 Teorı́a de cuerpos
σ(αi ) , αi ,
y, por tanto,
αi < K.
Esto implica
M = K(αi ),
puesto que [M : K] = p es primo. Entonces, α = αi tiene las propiedades buscadas puesto
p
que αi ∈ K.
Basta, por tanto, probar que existe αi , 0, con 1 ≤ i ≤ p−1. Supongamos, por el contrario,
que αi = 0 para todo i = 1, . . . , p − 1. En este caso, sumando las igualdades de (3.10.46.1)
para i = 0, . . . , p − 1 se obtiene
α0 = α0 + α1 + · · · + αp−1
= (β + σ(β) + σ2 (β) + · · · + σp−1 (β))
+ (β + ζ−1 σ(β) + ζ−2 σ2 (β) + · · · + ζ−(p−1) σp−1 (β))
..
.
+ (β + ζ−i σ(β) + ζ−2i σ2 (β) + · · · + ζ−(p−1)i σp−1 (β))
..
.
(3.10.46.4) + (β + ζ−(p−1) σ(β) + ζ−2(p−1) σ2 (β) + · · · + ζ−(p−1)(p−1) σp−1 (β))
= pβ
+ (1 + ζ−1 + ζ−2 + · · · + ζ−(p−1) )σ(β)
..
.
+ (1 + ζ−i + ζ−2i + · · · + ζ−(p−1)i )σi (β)
..
.
+ (1 + ζ−(p−1) + ζ−2(p−1) + · · · + ζ−(p−1)(p−1) )σp−1 (β).
Demostración. De la factorización
se obtiene la fórmula
1 + ζ + ζ2 + · · · + ζp−1 = 0.
Basta ahora observar que, puesto que p es primo, para cada i = 1, . . . , p − 1, el grupo
cı́clico de las raı́ces de la unidad µp =< ζ > tiene, también, por generador µp =< ζ−i >.
En consecuencia
Lema 3.10.48. Sean m un entero positivo y F un cuerpo cuya caracterı́stica no divide √ a m, que
contiene a una raı́z primitiva m–ésima de la unidad ζ ∈ F. Sea a ∈ F. Entonces L = F( m a) es el
cuerpo de descomposición sobre F de Xm − a y Gal(L/F) es cı́clico.
√
Demostración. El cuerpo L = F( m a) es el cuerpo de descomposición sobre F del polinomio
Xm − a, cuyas raı́ces
√ son simples,
√ puesto que la caracterı́stica de F no divide a m. Los
m m j
conjugados de a son los aζ , para ciertos 0 ≤ j ≤ m − 1√(no necesariamente
√p j para
todo j). Por tanto, cada σ ∈ Gal(L/F) está determinado por σ( a) = aζ para un único
m σ
0 ≤ jσ ≤ m − 1. Ası́ la aplicación
Gal(L/F) → Z/mZ
σ 7→ jσ ,
(3.10.49.1) F = F0 ⊂ F1 ⊂ · · · ⊂ Fn−1 ⊂ Fn = L,
Consideremos las extensiones Fi−1 ⊂ Fi ⊂ L. Aquı́, L/Fi−1 , L/Fi y Fi /Fi−1 son de Galois.
Por tanto, el Teorema Fundamental dice que Gn−i+1 D Gn−i y Gn−i+1 /Gn−i ' Gal(Fi /Fi−1 ),
que es un grupo cı́clico, en particular conmutativo. Esto es la serie (3.10.49.2) resuelve el
grupo Gal(L/F).
3.10 Teorı́a de Galois II 197
La demostración del Teorema 3.10.49 implica que una extensión de Galois resoluble se
convierte en radical por adjunción de una raı́z de la unidad adecuada.
Corolario 3.10.50. Sean L/F de Galois resoluble y ζ una raı́z primitiva m–ésima de la unidad,
donde m = [L : F]. Entonces las extensiones L(ζ)/F(ζ) y L(ζ)/F son de Galois radicales.
(1) Una raı́z α ∈ E de f es expresable por radicales sobre F si α está en alguna extensión
radical de F. De forma equivalente, F(α)/F es resoluble.
(2) El polinomio f es resoluble por radicales sobre F si E/F es una extensión resoluble.
(3) El polinomio f es resoluble por radicales si todas sus raı́ces son expresables por
radicales.
Proposición 3.10.52. Sea f ∈ F[X] irreducible. Entonces f es resoluble por radicales si, y sólo
si, alguna raı́z de f es expresable por radicales.
Demostración. Supongamos que α es una raı́z de f , tal que F(α)/F es resoluble. Según
Corolario 3.10.39, su clausura de Galois F ⊂ F(α) ⊂ K es también resoluble. Puesto que
f es irreducible y tiene una raı́z en la extensión de Galois K/F, factoriza en producto de
factores lineales sobre K. Por tanto K contiene un cuerpo de descomposición de f sobre F.
De hecho K/F es el cuerpo de descomposición de f sobre F. Esto prueba la Proposición,
puesto que K/F es resoluble.
Teorema 3.10.53. Un polinomio separable f ∈ F[X] es resoluble por radicales si, y sólo si, el
grupo de Galois de f sobre F es un grupo resoluble.
Proposición 3.10.54. Todo polinomio separable f ∈ F[X] de grado ≤ 4 es resoluble por radicales.
Este ejemplo requiere que revisemos la forma en que pensamos en las raı́ces de un
polinomio. De forma ingenua, se puede pensar que q las raı́ces de un polinomio f ∈
√ √ √ √7
Q[X] son siempre números de la forma 2 + 3, 2 + 2, 12 + 7i... Las raı́ces de un
polinomio como X5 − 6X + 3 ∈ Q[X] no se pueden expresar con fórmulas de este tipo.
Las raı́ces de un polinomio irreducible no resoluble por radicales son intrı́nsecamente
más complicadas que las simples expresiones radicales.
Esto significa que para n ≥ 5 no existen fórmulas universales que proporcionen las
raı́ces del polinomio en función de los coeficientes, similares a las fórmulas conocidas
para n = 2, 3, 4.
Teorema 3.10.57. Para cada n existen infinitos polinomios f (X) ∈ Z[X] de grado n cuyo grupo
de Galois sobre Q es Sn .
Proposición 3.10.58. Sea ζn una raı́z primitiva n–ésima de la unidad sobre Q. La extensión
ciclotómica Q(ζn )/Q tiene grupo de Galois Gal(Q(ζn )/Q) ' (Z/nZ)∗ , isomorfo al grupo conmu-
tativo de las unidades del anillo Z/nZ. En particular, si n es un primo p el grupo Gal(Q(ζp )/Q)
es cı́clico.
Demostración. El Teorema 3.7.11, dice que los Q–conjugados de ζ son los ζa , donde 1 ≤
a < m, y mcd(a, m) = 1. Por tanto, un automorfismo σ ∈ Gal(Q(ζ)/Q) está determinado
por σ(ζ) = ζa , para un único 1 ≤ a < m, con mcd(a, m) = 1. Por otra parte, (Z/mZ)∗ = {ā |
1 ≤ a < m, y mcd(a, m) = 1}. El isomorfismo está definido por σ 7→ ā.
200 Capı́tulo 3 Teorı́a de cuerpos
Ejemplos 3.10.59. (1) El grupo Gal(Q(ζ5 )/Q) ' (Z/5Z)∗ ' Z/4Z es cı́clico generado
por σ : ζ5 7→ ζ25 .
Hay exactamente un cuerpo intermedio, que corresponde al único subgrupo no
trivial: {1, σ2 }. Este cuerpo intermedio es una extensión cuadrática de Q, uno de
cuyos elementos es:
α = ζ5 + ζ45 .
En efecto: σ2 (α) = σ2 (ζ5 ) + σ2 (ζ45 ) = σ(ζ25 ) + (σ2 (ζ5 ))4 = (σ(ζ5 ))2 + (σ2 (ζ5 ))4 = (ζ25 )2 +
(σ2 (ζ5 ))4 = ζ45 + (ζ45 )4 = ζ45 + ζ5 . Cálculo que muestra que α está en el cuerpo fijo de
{1, σ2 }.
Haciendo uso de la igualdad ζ45 + ζ35 + ζ25 + ζ5 + 1 = 0, podemos calcular:
En consecuencia √
−1 ± 5
α= .
2
Por tanto, el cuerpo cuadrático intermedio de la extensión es
√
Q(ζ5 + ζ45 ) = Q( 5).
forman una base. La razón para elegir la base (3.10.59.1) es que cada σ ∈ Gal(Q(ζp )/Q) =
(Z/pZ)∗ ' Z/(p − 1)Z permuta los elementos de la base (3.10.59.1), ya que (3.10.59.1)
está formada por todas las raı́ces primitivas p–ésimas de la unidad. Obsérvese que aquı́
es imprescindible que p sea primo: en general, las raı́ces n–ésimas primitivas no forman
una base de Q(ζn )/Q.
Sean H ≤ Gal(Q(ζp )/Q) y
X X
(3.10.59.2) αH = σζp = ζp + σζp .
σ∈H σ∈H−{1}
ταH = αH ,
3.10 Teorı́a de Galois II 201
de forma que
αH ∈ Fix(H).
Ası́
Q(αH ) ⊂ Fix(H).
Si τ < H, entonces ταH es la suma de elementos de la base (3.10.59.1), uno de los cuales
es τζp . Ası́, si se verificara τα = α, entonces se tendrı́a
(3.10.59.3) τζp = σζp ,
para alguno de los σ ∈ H − {1}. La igualdad (3.10.59.3) implica τ = σ, en contra de τ < H.
Por tanto, si τ < H es ταH , αH . En consecuencia,
Q(αH ) = Fix(H).
Ejemplo 3.10.60. Q(ζ13 )/Q.
Los cuerpos intermedios de esta extensión corresponden a los subgrupos de (Z/13Z)∗ =
{1̄, 2̄, . . . , 12}
¯ =< 2̄ >. Es decir, Gal(Q(ζ13 )/Q) =< σ > es cı́clico generado por σ definido
por σζ13 = ζ213 . Los subgrupos no triviales son un único subgrupo para cada orden
2, 3, 4, 6 divisor de 12; subgrupos cı́clicos con generadores σ6 , σ4 , σ3 , σ2 . Los cuerpos fijos
correspondientes tienen grados 6, 4, 3, 2 sobre Q.
Los correspondientes generadores αH de estos cuerpos intermedios son:
6
ζ13 + σ6 ζ13 = ζ13 + ζ213 = ζ13 + ζ−1
13 ,
4 8
ζ13 + σ4 ζ13 + σ8 ζ13 = ζ13 + ζ213 + ζ213 = ζ13 + ζ313 + ζ913 ,
3 6 9
ζ13 + σ3 ζ13 + σ6 ζ13 + σ9 ζ13 = ζ13 + ζ213 + ζ213 + ζ213 = ζ13 + ζ813 + ζ12
13 + ζ13 ,
5
ζ13 + σ2 ζ13 + σ4 ζ13 + σ6 ζ13 + σ8 ζ13 + σ10 ζ13 = ζ13 + ζ413 + ζ313 + ζ12
13 + ζ13 + ζ13 .
9 10
2
Q(ζ13 + ζ313 + ζ913 )
3
2
Q(ζ13 + ζ513 + ζ813 + ζ12
13
)
2
Q.
202 Capı́tulo 3 Teorı́a de cuerpos
que bajo el isomorfismo de Proposición3.10.58 corresponde al isomorfismo del Teorema Chino del
Resto:
(Z/nZ)∗ ' (Z/pa11 Z)∗ × (Z/pa22 Z)∗ × · · · × (Z/pakk Z)∗ .
3.10.63. (1) Para a ≥ 2
(Z/2a Z)∗ ' (Z/2Z) × (Z/2a−2 Z).
para ciertos enteros n1 , n2 , . . . , nk . Daremos por conocido que dado un entero m existen
infinitos primos p con p ≡ 1 (mod m) (se puede encontrar una prueba de este hecho en la
página 557 del libro de Dummit y Foote). Asumiendo este resultado, elegimos primos
distintos tales que pi ≡ 1 (mod ni ), i = 1, . . . , k y sea n = p1 p2 · · · pk como antes.
Por construcción, n1 divide a pi − 1 para i = 1, . . . , k, de forma que el grupo Zpi −1 tiene
p −1
un subgrupo (cı́clico) de orden ini para i = 1, . . . , k, y el cociente por este subgrupo es
cı́clico de orden ni . Por tanto el cociente de (Z/nZ)∗ en (3.10.66.1) por H1 × · · · × Hk es
isomorfo al grupo G. Por la Proposición 3.10.58 y el Teorema Fundamental, vemos que
existe un subcuerpo de Q(ζp1 p2 ···pk ) que es Galois sobre Q con G como grupo de Galois.
Podemos resumir todo este argumento en el siguiente corolario.
Corolario 3.10.67. Sea G un grupo finito abeliano. Entonces existe un subcuerpo K de un cuerpo
ciclotómico con Gal(K/Q) ' G.
Las extensiones abelianas de Q son las “más sencillas” extensiones de Galois (al menos
en lo que concierne a la estructura de sus grupo de Galois) y el resultado previo muestra
que pueden ser clasificadas por las extensiones ciclotómicas de Q. Para otras extensiones
finitas de Q como cuerpo base, es más difı́cil describir sus extensiones abelianas. El estu-
dio de las extensiones abelianas de una extensión finita arbitraria F de Q es denominado
teorı́a de cuerpos de clase. Existe una clasificación de las extensiones abelianas de F por
invariantes asociados a F que generaliza los resultados acerca de cuerpos ciclotómicos
sobre Q. En general, sin embargo, la construcción de extensiones abelianas es ni mu-
cho menos tan explı́cita como en el caso de cuerpos ciclotómicos. Un caso donde tal
204 Capı́tulo 3 Teorı́a de cuerpos
(B2) Los puntos de intersección de una recta constructible y una circunferencia cons-
tructible son constructibles.
Definición 3.11.1. Un número complejo α = a + bi (o punto del plano (a, b)) es constructible si
existe una sucesión finita de construcciones que usan (A1), (A2), (B1), (B2), (B3) que comienza
con 0 y 1 y termina con α.
Las siguientes afirmaciones son consecuencia inmediata de los axiomas, usando las
construcciones elementales con regla y compás adecuadas a cada caso.
(2) La recta t, paralela a una recta constructible r y que pasa por un punto constructible
A exterior a r, es constructible:
206 Capı́tulo 3 Teorı́a de cuerpos
(3) La recta t, perpendicular a una recta constructible r y que pasa por un punto
constructible A, es constructible:
Proposición 3.11.3. El número a + bi es constructible si, y sólo si, los números reales a, b son
constructibles.
Demostración.
√ podemos suponer α , 0. Si escribimos α = reiθ , entonces es suficiente
probar que reiθ/2 es constructible. Para probar esto, observemos que la constructibilidad
de α implica:
Usando el eje real y la linea que pasa por el origen y por α, construimos el ángulo
θ que podemos bisecar por la construcción con regla y compás habitual. Por tanto
el ángulo θ/2 es constructible.
El cı́rculo de radio r = |α| con centro en el origen interseca el eje real en (±r, 0). Por
tanto (±r, 0) son constructibles.
√
Si probamos que r es constructible, √ supuesto r > 0 constructible, entonces pode-
mos construir el cı́rculo de radio r√con centro el origen. La intersección de este
cı́rculo con el ángulo θ/2 construye reiθ/2 .
√
Sólo queda por probar que r es constructible. Para ello consideramos el segmento de
extremos (1, 0) y el punto intersección de la semicircunferencia, en el primer cuadrante,
que tiene por diámetro los puntos (0, 0), (1 + r, 0) con la perpendicular por el punto
(1, 0).
√ √
s
−1 + 5 i 5 + 5
ζ= + .
4 2 2
Esta expresión muestra que el pentágono regular es constructible con regla y compás.
(3.11.7.1) Q = F0 ⊂ F1 ⊂ · · · ⊂ Fn−1 ⊂ Fn ⊂ C
Demostración. Supongamos primero que tenemos una torre como (3.11.7.1). Entonces
√
Fi = Fi−1 ( αi ) para cierto αi ∈ Fi−1 , según Ejemplo 3.1.27 (1). Probaremos que Fi ⊂ C
por inducción en 0 ≤ i ≤ n. El caso F0 ⊂ C√está probado. Supongamos Fi−1 ⊂ C .
Entonces αi ∈ Fi−1 es constructible, que implica α ∈ C por Proposición 3.11.5. Por tanto
Fi = Fi−1 (αi ) ⊂ C . Esto prueba Fn ⊂ C .
Recı́procamente, dado α ∈ C probaremos que hay extensiones Q = F0 ⊂ F1 ⊂ · · · ⊂
Fn−1 ⊂ Fn ⊂ C donde [Fi , Fi−1 ] = 2 tales que Fn contiene las partes real e imaginarias de
todos los números construidos durante el procesos de construcción de α. El teorema se
obtendrá entonces, puesto que α = a + bi implicará que a, b ∈ Fn , de forma que α ∈ Fn (i).
208 Capı́tulo 3 Teorı́a de cuerpos
La condición necesaria para que un número sea constructible que acabamos de obtener,
permite resolver de forma negativa varios famosos problemas de la Geometrı́a de la
Grecia Clásica.
Ejemplo 3.11.10. Trisección del ángulo. Conocemos la clásica construcción con regla y
compás para construir la bisectriz de cualquier ángulo. El problema clásico preguntaba
si es posible trisecar cualquier ángulo usando regla y compás. Vamos a probar que el
ángulo (constructible) de 60◦ no puede ser trisecado con regla y compás.
Un ángulo θ es constructible si, y sólo si, el número cos θ es constructible. Por tanto, 60◦
es constructible. Sin embargo, el número β = cos 20◦ no es constructible. En efecto, de la
fórmula
θ θ
cos θ = 4 cos3 − 3 cos
3 3
obtenemos para β = cos 20 ◦
1
4β3 − 3β − = 0.
2
O bien
α3 − 3α − 1 = 0,
donde α = 2β. El polinomio X3 − 3X − 1 ∈ Q[X] es irreducible puesto que es de grado 3
y no tiene raı́ces racionales. Por tanto
[Q(β) : Q] = 3
constructibles; en caso contrario, por las formulas del ángulo doble, 20◦ serı́a construc-
tible. Por otra parte, 3◦ es constructible (72◦ es constructible: pentágono regular, 60◦ es
constructible: triángulo equilátero, fórmulas de adición y ángulo mitad). Se deduce que
θ cuya medida en grados es un número entero, es constructible si, y sólo si, θ es múltiplo
de 3. De hecho
1 √ √ 1 √ √ √
q
cos 3 = ( 3 + 1) 5 + 5 + ( 6 − 2)( 5 − 1),
◦
8 16
1 √ √ √ 1 √ √
q
sen 3 = ( 6 + 2)( 5 − 1) − ( 3 − 1) 5 + 5.
◦
16 8
Ejemplo 3.11.11. Duplicación del cubo. Aquı́ el problema consiste en dado un cubo de
arista constructible, construir otro
√3 cubo de volumen √3 doble. Es claro que el problema
equivale a construir el número 2. Puesto que [Q( 2) : Q] = 3, la duplicación del cubo
no es posible con regla y compás.
Ejemplo 3.11.12. Cuadratura del cı́rculo. El problema consiste en construir un cuadrado
cuya área sea igual
√ que le área de un cı́rculo constructible dado. El problema equivale a
la pregunta: ¿es π un número constructible? Por lo demostrado para C esta pregunta
es equivalente a: ¿es π constructible?
En este caso, sabemos que, de hecho, π no es un número algebraico. Por tanto, π < C .
La pregunta natural es si el recı́proco del Corolario 3.11.9 es cierto. Esto es: ¿si α ∈ Q y
el grado del polinomio mı́nimo de α sobre Q es una potencia de 2, entonces α ∈ C ? El
siguiente resultado resuelve la cuestión.
Q = F0 ⊂ F1 ⊂ · · · ⊂ Fm−1 ⊂ Fm = L,
Q = F0 ⊂ F1 ⊂ · · · ⊂ Fn−1 ⊂ Fn ⊂ C,
3.11 Construcciones con regla y compás 211
donde [σ(Fi ) : σ(Fi−1 )] = 2 y β ∈ σ(Fn ). Esto muestra que β ∈ C y, por tanto, p factoriza en
producto de factores lineales en C .
Se deduce que C contiene el cuerpo L ⊂ C de descomposición de p sobre Q. Por el
Teorema de elemento primitivo L = Q(γ) para algún γ ∈ L. Puesto que γ ∈ C , por
Corolario 3.11.9, se deduce que [Q(γ) : Q] = [L : Q] es una potencia de 2. Esto completa
la demostración del Teorema.
f = X4 − 4X2 + X + 1 ∈ Q[X].
para algún entero m ≥ 0. El siguiente resultado, que caracteriza los polı́gonos construc-
tibles, se debe a Gauss.
Esta fórmula permite dar una construcción explı́cita, aunque no es muy eficiente, del
polı́gono de 17 lados. Métodos más elegantes para construir este polı́gono, junto con el
257 lados, fueron descubiertos hacia 1830. Existe también la historia del Profesor Hermes
en Lingen que, a finales del siglo XIX, trabajó 10 años en la construcción del polı́gono
regular de 65537 lados.
214 Capı́tulo 3 Teorı́a de cuerpos
3.12. Ejercicios
(1) Consideremos la ecuación x3 + x − 2 = 0, una de cuyas raı́ces es x = 1.
a) Usar las fórmulas de Cardano para obtener la fórmula
s r s r
3 2 7 3 2 7
1= 1+ + 1− .
3 3 3 3
q q 3
b) Demostrar que 1 + 2
3
7
3
= 1
2
+ 1
2
7
3
. Usar esta igualdad para explicar el
apartado anterior.
(2) (Fórmulas de Newton) Sea f (X) un polinomio mónico de grado n con raı́ces
α1 , . . . , αn . Sea si la función simétrica elemental de grado i en las raı́ces y defi-
namos si = 0 para i > n. Sea pi = αi1 + . . . + αin , i ≥ 0, la suma de las potencias
i–ésimas de las raı́ces de f (X). Demostrar la fórmulas de Newton:
p1 − s1 = 0,
p2 − s1 p1 + 2s2 = 0,
p3 − s1 p2 + s2 p1 − 3s3 = 0,
..
.
pi − s1 pi−1 + s2 pi−2 − · · · + (−1)i−1 si−1 p1 + (−1)i isi = 0.
1 α2 α22 · · · αn−1
2
Y
. . .. . . .. = (αi − α j ).
.. .. . . . i<j
1 αn α2 · · · αn−1
n n
(4) (a) Sea p un primo y denotemos 1 , 2 , . . . , p−1 las raı́ces primitivas p–ésimas de la
unidad. Definimos pn = n1 + n2 + · · · + np−1 , la suma de las potencias n–ésimas de
los i . Demostrar que pn = −1 si p no divide a n y que pn = p − 1 si p divide a n. [Un
enfoque: p1 = −1 según Φp (X); demostrar que pn es un conjugado de p1 para p que
no divide a n, por tanto es también −1.]
(b) Demostrar que el discriminante del polinomio ciclotómico Φp (X) de las raı́ces
p–ésimas de la unidadppara un primo impar p es (−1)(p−1)/2 pp−2 .
(c) Demostrar que Q( (−1)(p−1)/2 p) ⊂ Q(ζp ) para p un primo impar.
de forma que
√ √
q q
3 3
26 + 15 3 + 26 − 15 3 = 4.
(6) Sean p un primo impar, y ζ una raı́z primitiva p–ésima de la unidad en C. Sean
E = Q(ζ) y G = Gal(E/Q);
Pde forma que G = (Z/(p))∗ . Sea H un subgrupo de ı́ndice
2 en G. Denotemos α = i∈H ζi y β = i∈G/H ζi . Demostrar:
P
√
q
(10) Determinar el grado de la extensión Q( 3 + 2 2) sobre Q.
(12) Sea K/F una extensión algebraica y sea R un subanillo de K que contiene a F.
Demostrar que R es un subcuerpo de K.
(13) Sea f (X) un polinomio irreducible de grado n sobre un cuerpo F. Sea g(X) un
polinomio en F[X]. Demostrar que cada factor irreducible del polinomio f (g(X))
tiene grado divisible por n.
(16) Sean F un cuerpo y α una raı́z del polinomio irreducible Xn − a ∈ F[X] (e.g.
Xn − 2 ∈ Q[X]). Supongamos que m|n. Demostrar que [F(αm ) : F] = n/m. ¿Cuál es
el polinomio mı́nimo de αm sobre F?
(19) Hallar
√ los√4 polinomios mı́nimos sobre Q de los elementos
(a) 5 + 5.
(b) α2 − 1, si α3 − 2α − 2 = 0.
√3
(20) Calcular [Q( 2, α) : Q] si α4 + 6α + 2 = 0.
(21) Determinar cuáles de los polinomios que siguen son irreducibles sobre los cuerpos
que se indican. √
(a) X2 + 3 sobre Q( 7). √
(b) X3 + 8X − 2 sobre Q( 2). √ √
(c) X5 + 3X3 − 9X − 6 sobre Q( 7, 5, 1 + i).
(25) Sean t un elemento trascendente sobre F3 , F = F3 (t), f (X) = X6 −(t+1)X3 +(−t2 +1) ∈
F[X] y α una raı́z de f (X).
(a) Averiguar si f (X) es separable o inseparable.
(b) Hallar el polinomio mı́nimo de α3 sobre F.
(c) Hallar el polinomio mı́nimo de α sobre F(α3 ).
(27) (a) Hallar todos los polinomios irreducibles de grados 1, 2 y 4 sobre F2 . Probar que
su producto es X16 − X.
En general se tiene:
n
(b) Sea f (X) ∈ Fq [X] irreducible. Demostrar que f (X) divide a Xq − X si, y sólo si,
218 Capı́tulo 3 Teorı́a de cuerpos
(28) (a) Para cada primo p y cada elemento no nulo a ∈ Fp demostrar que Xp − X − a es
irreducible sobre Fp . (Indicación: demostrar que si α es una raı́z entonces α + 1 es
también una raı́z).
(b) Estudiar la irreducibilidad y el grupo de Galois de X5 − X − u sobre F5 (u), donde
u es una raı́z de X3 +2X2 +2X+2 ∈ F5 [X]. (Indicación: obtener la descomposición en
producto de factores lineales de X5 − X − u en F5 (u)(α) con α una raı́z de X5 − X − u).
(29) Usando la fórmula Y
n −1
Xp −1= (X − α),
α∈F∗pn
obtener la fórmula Y n
α = (−1)p .
α∈F∗pn
(31) Demostrar que, en caracterı́stica cero, si n > 1 es impar, Φ2n (X) = Φn (−X).
(32) (a) Demostrar que existe α ∈ Fpn tal que Fpn = Fp (α). (Indicación: el grupo F∗pn es
cı́clico). Concluir que para cada n existen polinomios irreducibles de grado n en
Fp [X].
(b) Construir explı́citamente un cuerpo finito de 16 elementos, considerando, por
ejemplo, el polinomio X4 + X + 1 ∈ F2 [X].
(34) Dar un ejemplo de cuerpos F ⊂ E ⊂ K, donde K/E y E/F sean extensiones normales
y K/F no sea normal.
(38) Sea α una raı́z del polinomio f (X) = X3 − 3X + 1. Demostrar que el cuerpo de
descomposición de este polinomio es Q(α) y que el grupo de Galois es cı́clico de
orden 3. En particular las otras raı́ces de este polinomio pueden ser escritas en la
forma a + bα + cα2 para ciertos a, b, c ∈ Q. Hallar las otras raı́ces de forma explı́cita
en términos de α.
220 Capı́tulo 3 Teorı́a de cuerpos
√
q
(39) (a) Hallar el polinomio mı́nimo de α = 1 + 7 sobre Q.
(b) Averiguar si Q(α) es una extensión normal de Q.
(c) Hallar Aut(Q(α)/Q).
(d) Hallar una extensión E de Q(α) que sea extensión normal de Q.
(b) Obtener todos los subgrupos de Gal( f /Q) y sus correspondientes cuerpos fijos.
(c) Averiguar cuáles de los subgrupos de Gal( f /Q) son normales.
(49) Sean K/F una extensión de Galois y G = {σ1 , . . . , σn } su grupo de Galois. Decidir
razonadamente si es cierto que para todo α ∈ K los elementos σ1 (α) + σ2 (α) + · · · +
σn (α) y σ1 (α)σ2 (α) · · · σn (α) pertenecen a F.
√ √4
(50) a) Demostrar que X3 − 3 es irreducible sobre Q( 3).
b) Sea E un cuerpo de descomposición del polinomio f (X) = (X4 − 3)(X6 − 3) ∈
Q[X].
1) Calcular [E : Q] (indicación: usar el apartado a)).
2) Determinar los cuerpos intermedios de la extensión E/Q que tienen grado
8 sobre Q.
3) Determinar los cuerpos intermedios de la extensión E/Q que tienen grado
3 sobre Q.
√ √3 √
(51) Sea ω una raı́z primitiva cúbica de la unidad. Sean K = Q( 2, 2, ω) y E = Q( 2 +
ω).
a) Calcular [K : Q].
b) Decidir si la extensión K/Q es de Galois.
c) Describir todos los elementos de G = Gal (K/Q).
d) Determinar los elementos de G que forman Gal (K/E) y halla [E : Q].
e) Describir todos los elementos de Gal (E/Q).
√
f ) Calcular los coeficientes
√ del polinomio mı́nimo de 2+ω sobre Q. (Indicación:
los conjugados de 2 + ω están en K).
g) Hallar todos los cuerpos intermedios Q ⊂ F ⊂ K tales que [F : Q] = 4. Justificar
que las extensiones que has encontrado son todas las que existen.
(53) Sea α una raı́z real del polinomio f (X) = X3 − 12X + 8 ∈ Q[X].
c) Obtener todos los subgrupos H ≤ G cuyo orden sea |H| = 4. ¿Son subgrupos
normales?
d) Obtener todos los cuerpos intermedios Q ⊂ K ⊂ E tales que [K : Q] = 4. ¿Son
extensiones normales de Q?
(63) Sea f un polinomio en Q[X] con cuerpo de descomposición E sobre Q tal que
su grupo de Galois G = Gal(E/Q) es isomorfo al grupo diedro D5 del pentágono
regular. Decidir, de forma razonada, si f es resoluble por radicales.
√
(64) Sean ξ = eπi/10 , η = ξ4 , i = −1 y u = η + η1 . Se pide:
(66) Sea E el cuerpo de descomposición sobre Q del polinomio (X4 − 3)(X3 − 5). Se pide:
(68) Sea ζ una raı́z primitiva undécima de la unidad (e.g. ζ = e2πi/11 ). Sea G el grupo de
Galois de la extensión Q(ζ)/Q.
Ejercicios
A.1. Capı́tulos 1, 2
(1) Sea R un anillo conmutativo unitario. Sea p(x) = a0 + a1 X + · · · + an Xn un elemento
de R[X]. Demostrar que
Z[X, Y] Z[X, Y]
= '
M 7Z[X, Y] + (X2 − 3, Y + 3)Z[X, Y]
Z[X,Y]
7Z[X,Y] F7 [X, Y]
' 7Z[X,Y]+(X2 −3,Y+3)Z[X,Y]
' ,
7Z[X,Y]
(X3 − 3, Y + 3)F7 [X, Y]
226
A.1 Capı́tulos 1, 2 227
En este caso I = (X2 −3, 7, Y +3). Puesto que 7 es una unidad en Q[X, Y], vemos
que I = Q[X, Y].
√ √ √
(3) En el anillo Z[ −6] = {a + b −6 | a, b ∈ Z}, consideramos la norma N(a + b −6) =
a2 + 6b2 .
√
a) Estudiar, de forma
√ razonada, √ si el elemento 3 es irreducible en Z[ −6], y si
√
el ideal (3)Z[ −6] = {3(a + b −6) | a, b ∈ Z} es un ideal primo en Z[ −6].
√
Para
√ ver que√3 es irreducible
√ en Z[ −6], hemos
√ de probar √ que si 3 = (a +
b √ −6)(c + d −6), en Z[ −6], entonces a + b −6 ó c + d −6 es unidad en
Z[ −6]. Es decir, que a2 + 6b2 = 1 o c2 + 6d2 = 1. Tomando normas 9 =
(a2 +6b2 )(c2 +6d2 ). De sta ecuación en Z deducimos: (1) a2 +6b2 = 1, c2 +6d2 √ = 9,
(2) a2 + 6b2 = 3, c2 + 6d2 = 3, (3)√a2 + 6b2 = 9, c2 + 6d2 = 1. En el caso (1) a + b −6
es unidad. En el caso (3) c + d −6 es unidad. El caso (2) no ocurre, puesto que
a2 + 6b2 = 3 no tiene soluciones en Z.
√ √ √
El elemento√3 no√es primo en √ Z[ −6], Por ejemplo, −6 −6√= (−2) · 3, esto
√ es
3 divide a −6 −6 en Z[ −6]; sin embargo, 3 no divide a −6 en Z[ −6].
228 Capı́tulo A Ejercicios
√ √
b) Demostrar que un elemento α = a + b −6 es unidad en Z[ −6] si, sólo si,
N(α) = 1.
√ √
Lema 1.2.3: Por definición, α ∈ Z[ −6] es unidad si existe β ∈ Z[ −6] tal
que αβ = 1. Supongamos que αβ = 1 entonces N(α)N(β) = 1 y, por tanto,
N(α) = ±1.
Recı́procamente,
√ si N(α) = ±1, entonces αᾱ = N(α) = ±1. De aquı́ α−1 = ±ᾱ ∈
Z[ −6].
√
En este caso, N(α) = a2 + 6b2 es siempre positivo. Por tanto, α ∈ Z[ −6] es
unidad si, y sólo si, N(α) = 1.
√
¿Cuáles son las unidades de Z[ −6]?
Hay que resolver la ecuación a√2 + 6b2 = 1 en Z. Ha de ser a2 = 1, b2 = 0. Esto
es, a = ±1, b = 0. Por tanto, Z[ −6]∗ = {±1}.
ψ
Q[X, Y, Z] →− Q(ω)
f (X, Y, Z) 7→ f (ω, −ω − 1, 0).
a) Demostrar que cada elemento de Z[α] se escribe, de modo único, como aα2 +
bα + c para ciertos a, b, c ∈ Z.
Sea ζ ∈ Z[α]. Existe un polinomio P ∈ Z[T] tal que P(α) = ζ. Como el
polinomio D(T) = T3 − 5 es mónico, existen Q, R ∈ Z[T] tales que
1 = D(T)G(T) + F(T)H(T).
1 = D(α)G(α) + F(α)H(α) = 0.
aα2 + bα + c − x ∈ a ⇔ a − b + c − x ∈ a,
a+b=0
b+c=0
(∗)
5a + c = x.
6 = (α + 1)(α2 − α + 1) ∈ a.
(7) En Z[i].
1 = 13 , −1 = (−1)3 , i = (−i)3 , −i = i3 .
c) Demostrar que si α, β ∈ Z[i] son primos entre sı́ y existe γ ∈ Z[i] tal que
αβ = γ, entonces existen α1 , β1 ∈ Z[i] tales que α = α31 y β = β31 .
Como Z[i] es un DFU y α, β son primos entre sı́, existen elementos irreducibles
p1 , . . . , pr , qi , . . . , qs ∈ Z[i], no asociados dos a dos, y unidades u, v tales que
uvpn1 1 · · · pnr r qm
1
1
s = w π1 · · · πt
· · · qm s 3 3k1 3kt
(8) En Z[i]:
ψ : Z[X] → C
√
f (X) 7→ f ( −5).
(11) Decir cuántos tipos de grupo conmutativo, salvo isomorfismo, hay para el orden
8100. dar un modelo de cada tipo.
(12) Se considera el conjunto G = {σ ∈ S5 | σ({1, 2}) = {1, 2} y σ({3, 4, 5}) = {3, 4, 5}} (es
decir, permutaciones que envı́an los conjuntos {1, 2}, {3, 4, 5} a ellos mismos). Se
pide:
(16) Sea G un grupo de orden 13 · 27 tal que existe un elemento a ∈ G de orden 27.
a) Estudiar si K es un cuerpo.
b) Hallar el inverso en K de α3 + α + 1.
c) ¿Cuál es el orden de α en el grupo de unidades K∗ .
d) ¿Cuáles son los divisores elementales del grupo K∗ ? ¿Y los de (K, +)?
(20) Sea G un grupo de orden p2 con p primo tal que G no es cı́clico. ¿Cuántos subgrupos
de orden p tienen G?
(21) Hallar los factores invariantes del grupo de unidades del anillo Z36 .
(23) Sea G un grupo finito generado por dos elementos a, b tales a tiene orden 4, a2 = b2
y ab = ba3 .
(24) Sea G un grupo de orden 4563 = 132 · 33 tal que G no tiene ningún subgrupo de
Sylow normal.
236 Capı́tulo A Ejercicios
A.2. Capı́tulo 3
(1) Consideramos el polinomio f (X) = X3 + X2 −√X + 1 ∈ Q[X]. Demostrar que f es
4
irreducible sobre Q. ¿Es f irreducible sobre Q( 2)?
Q] = 24.
√3
b) Decidir, de forma razonada, si X3 − 7 es el polinomio mı́nimo de 7 sobre
Q(i).
β3 = α6 = α4 · α2 = α2 (2α2 − 2α + 1) = 7α2 − 6α + 4.
La ecuación a + bβ + cβ2 + β3 = 0 tiene solución única a, b, c ∈ Q. Sustituyendo los
valores anteriores, obtenemos
X3 − 3X2 − X − 1.
√
q
(4) Sea α = 14 + 3 3.
√
q
El número α = 14 + 3 3 verifica (α2 − 14)2 = 27, esto es α4 − 28α2 + 169 = 0.
√
q
Las raı́ces de m(X) = X − 28X + 169 son ±α, ±β, donde β = 14 − 3 3. Estos
4 2
α β α2 β2 α+β α−β
1 α β α2 β2 α+β α−β
σ −α −β α2 β2 −(α + β) −α + β
τ β α β2 α2 β+α β−α
στ −β −α β2 α2 −(β + α) −β + α
Los subgrupos de G son {1, σ}; {1, τ}; {1, στ}. Los cuerpos intermedios que les co-
rresponden son de grado 2 sobre Q. Veamos√ que cuerpos intermedios les corres-
ponden. Según la tabla vemos que Q( 3) = Q(α2 ) = Q(β2 ) ⊂ Fix(σ). De aquı́ la
igualdad puesto
√ que ambos cuerpos intermedios tienen grado 2 sobre Q. De forma
√ Q( 6) = Q(α + β) ⊂ Fix(τ). De donde se obtiene la igualdad. Finalmen-
similar
te Q( 2) = Q(α − β) = Fix(στ).√ Las dos últimas
√ igualdades usan las fórmulas
(α ± β) = α + β ± 2αβ = 14 + 3 3 + 14 − 3 3 ± 26 = 28 ± 26.
2 2 2
2πi
(5) Sean ζ = e 23 una raı́z primitiva vigesimotercera de la unidad y E = Q(ζ).
Un grupo cı́clico tiene un único subgrupo para cada divisor del orden del grupo,
que también es cı́clico. Por tanto, G contiene un único subgrupo H2 =< σ11 > de
orden 2 y un único subgrupo H11 =< σ2 > de orden 11, ambos son normales en G,
puesto que G es conmutativo. Estos subgrupos corresponden, según el Teorema
240 Capı́tulo A Ejercicios
Por el Teorema Fundamental, el grupo de Galois Gal(K11 /Q) ' G/H2 ' Z11 es el
grupo cı́clico de orden 11. En efecto, la afirmación sobre el grado es clara. Respecto
a ser cı́clico, basta observar que de G =< σ > se obtiene G/H2 =< σH2 > (esto
es, todo cociente de un grupo cı́clico es cı́clico)(en este caso también resulta de la
primalidad de 11).
α3 = −α − 1.
β3 + 2β2 + 5β + 1 = 0.
deducimos que
ζ + ζ8 + ζ7 + ζ18 + ζ11 + ζ12 + a , 0
para todo a ∈ Q, esto es η < Q.
Q] = 24.
√4
sobre Q del polinomio X4 −3. Em consecuencia, Q( 3, i) ⊂ E es el único cuerpo
intermedio de grado 8 sobre Q y es una extensión normal de Q (además, G
tiene un único subgrupo de orden 3, y este subgrupo es normal en G).
(10) Sea f un polinomio en Q[X] con cuerpo de descomposición E sobre Q tal que
su grupo de Galois G = Gal(E/Q) es isomorfo al grupo diedro D5 del pentágono
regular. Decidir, de forma razonada, si f es resoluble por radicales.
Según el Gran Teorema de Galois, f es resoluble por radicales si, y sólo si, el grupo
G es un grupo resoluble. El grupo D5 es resoluble, puesto que D5 B< σ >B {1} es
una serie normal con cociente cı́clicos de orden primo.
α2 + 1
= a + bα + cα2 ,
α+2
α2 + 1 = (α + 2)(a + bα + cα2 )
= aα + bα2 + c(−α2 + α − 1) + 2a + 2bα + 2cα2
= (b + c)α2 + (a + c + 2b)α − c + 2a.
(12) Sea E/F una extensión de Galois cuyo grupo de Galois G = Gal(E/F) tiene orden
32 · 13 · 29 y que contiene un cuerpo intermedio F ⊂ K ⊂ E de grado [K : F] = 32 · 29 y
tal que K/F es una extensión normal. Demostrar que E/F es resoluble por radicales.
¿Cuántos cuerpos intermedios de grado 32 · 29 hay en la extensión E/F?
√
q
(13) Sea α = 11 + 21.
a) Obtener, de forma razonada, el polinomio mı́nimo y los conjugados de α sobre
Q.
b) Sea E el cuerpo de descomposición del polinomio mı́nimo de α sobre Q.
1) Describir el grupo de Galois G = Gal(E/Q).
2) Obtener, de forma razonada, todos los cuerpos intermedios de la exten-
sión E/Q.
√
q
El número α = 11 + 21 verifica (α2 − 11)2 = 21, esto es α4 − 22α + 100 = 0.
√
q
Las raı́ces de m(X) = X − 22X + 100 son ±α, ±β, donde β = 11 − 21. Estos
4 2
α β α2 β2 α+β α−β
1 α β α2 β2 α+β α−β
σ −α −β α2 β2 −(α + β) −α + β
τ β α β2 α2 β+α β−α
στ −β −α β2 α2 −(β + α) −β + α
σ τ
Es claro que στ = τσ está descrito por α →7 −β puesto que α 7→ −α 7→ −β y
τ 10 σ 10 σ σ
α 7→ β = α 7→ −α = −β. También σ = τ = 1, puesto que α 7→ −α 7→ −(−α) y
2 2
τ τ
α 7→ β = 10
α
7→ 10
β
= α.
Los subgrupos de G son {1, σ}; {1, τ}; {1, στ}. Los cuerpos intermedios que les co-
rresponden son de grado 2 sobre Q. Veamos √ que cuerpos intermedios les corres-
ponden. Según la tabla vemos que Q( 21) = Q(α2 ) = Q(β2 ) ⊂ Fix(σ). De aquı́
la igualdad puesto
√ que ambos cuerpos intermedios tienen grado 2 sobre Q. De
√ Q( 42) = Q(α + β) ⊂ Fix(τ). De donde se obtiene la igualdad. Final-
forma similar
mente Q( 2) = Q(α − β) = Fix(στ).
√ Las dos√últimas igualdades usan las fórmulas
(α ± β) = α + β ± 2αβ = 11 + 21 + 11 − 21 ± 20 = 22 ± 20.
2 2 2
2πi
(14) Sean ζ = e 17 una raı́z primitiva decimoséptima de la unidad y E = Q(ζ).
a) Demostrar que la extensión E/Q tiene un único cuerpo intermedio K tal que
[K : Q] = 8.
b) Sea K el cuerpo del apartado anterior. Demostrar que K/Q es una extensión de
Galois y que el grupo G = Gal(K/Q) es el grupo cı́clico de orden 8. Determinar,
de forma explı́cita, un elemento α ∈ K tal que K = Q(α).
Un grupo cı́clico tiene un único subgrupo para cada divisor del orden del grupo,
que también es cı́clico. Por tanto, G contiene un único subgrupo de orden H2 =<
σ8 > de orden 2, que es normal en G, puesto que G es conmutativo. Este subgrupo
corresponde, según el Teorema Fundamental, a un único cuerpo intermedio de
grado K8 de grado 8 sobre Q que resulta ser una extensión normal de Q.
A.2 Capı́tulo 3 247
Por el Teorema Fundamental, el grupo de Galois Gal(K8 /Q) ' G/H2 ' Z8 es el
grupo cı́clico de orden 8. En efecto, la afirmación sobre el grado es clara. Respecto
a ser cı́clico, basta observar que de G =< σ > se obtiene G/H2 =< σH2 > (esto es,
todo cociente de un grupo cı́clico es cı́clico).
a) Probar que Q(α) ⊂ Q(η) y que [Q(η) : Q(α)] ∈ {1, 2} y deducir que α tiene
grado 3 o 6 sobre Q.
b) Demostrar que f = (X − α)(X − β)(X − γ) ∈ Z[X] y que α tiene grado 3 sobre
Q.
c) Hallar un polinomio r(X) ∈ Z[X] tal que r(α) = β.
d) ¿Es Q(α)/Q una extension de Galois?
248 Capı́tulo A Ejercicios
y esto es absurdo.
b) Demostrar que si n es un resto cuadrático módulo p, entonces el ideal J = pR
no es primo.
Por hipótesis, existe x ∈ Z tal que x2 − n ∈ pR = J. Por tanto,
√ √
(x − n)(x + n) ∈ J,
√
y si J fuese primo, para = +1 o −1 se tendrı́a x + n ∈ J. Esto implica que
existen u, v ∈ Z tales que
√ √
x + n = p(u + v n) ⇒ = pv ∈ pZ,
contradicción.
c) Demostrar que el polinomio f (X) = X3 − pX + p es irreducible sobre K.
Por el criterio de Eisenstein f es irreducible sobre Q. Supongamos que fuese
reducible sobre K. Como deg f = 3 existe una raı́z α ∈ K de f . Entonces
[Q(α) : Q] = deg f = 3. Ası́
√
2 = [Q( n) : Q)] = [K : Q(α)][Q(α) : Q] ∈ 3Z,
√
y esto es imposible. Concluimos que f es irreducible sobre K = Q( n).
d) Demostrar que si el grupo de Galois de f sobre Q es cı́clico, entonces p ≡
1 (mod 3).
Ya hemos visto que f es irreducible sobre Q, luego si denotamos ∆ f el dis-
criminante de f , se sabe que Gal( f /Q) = Z3 si ∆ f es un cuadrado en Q y
Gal( f /Q) = S3 si ∆ f no es un cuadrado en Q.
Como estamos suponiendo que Gal( f /Q) es cı́clico deducimos que
1 = (cos θ + i sin θ)7 = cos7 θ + 7i cos6 θ sin θ − 21 cos5 θ sin2 θ − 35i cos4 θ sin3 θ
+ 35 cos3 θ sin4 θ + 21i cos2 θ sin5 θ − 7 cos θ sin6 θ − i sin7 θ.
2a 3a − a3
±a, ± , ± ∈ Q(a),
1 − a2 1 − 3a2
luego Q(a) es el cuerpo de descomposición de f sobre Q, por lo que la extensión
Q(a)/Q es de Galois.
d) Comprobar que el grupo Gal( f /Q) tiene orden 6 y calcularlo.
Por ser Q(a)/Q de Galois
2a 3a − a3
τ(a) = −a, ϕ(a) = , ψ(a) = .
1 − a2 1 − 3a2
Es inmediato que τ pertenece al centro de Gal( f /Q), y como el centro de D3
es trivial concluimos que Gal( f /Q) es el grupo cı́clico de orden 6.
e) ¿Cuántos cuerpos intermedios propios posee la extensión Q(α)/Q? Hallar un
elemento primitivo de cada una de ellas.
Como Gal( f /Q) tiene un único subgrupo de orden 2 y un único subgrupo
de orden 3. La Extensión Q(a)/Q tiene sólo dos cuerpos intermedios K, L, con
grados [K : Q] = 2, [L : Q] = 3.
Es sencillo identificar un elemento primitivo de L. Para ello observamos que
el polinomio
g(T) = T3 − 21T2 + 35T − 7
es irreducible por el criterio de Eisenstein y g(a2 ) = 0. En consecuencia, g =
ma2 ,Q y [Q(a2 ) : Q] = 3. Ası́, L = Q(a2 ).
Por otra parte, las raı́ces de f se pueden escribir como ±a, ±b, ±c y, por tanto,
Comprobemos la igualdad
4a(1 − a2 ) a(a2 − 3)
= − tan 3θ = ,
a4 − 6a2 + 1 1 − 3a2
que equivale a
2a a(a2 − 3)
ϕ(a) = b = , ϕ2
(a) = c =
1 − a2 1 − 3a2
y por tanto, δ = abc queda fijo por ϕ, puesto que
0 = ζ5 + 1 = (ζ + 1)(ζ4 − ζ3 + ζ2 − ζ + 1)
p(X) = X4 − X3 + X2 − X + 1.
es decir,
η2 − η − 1 = 0.
Por tanto η es raı́z√del polinomio X2 − X − 1 que es irreducible sobre Q puesto
que sus raı́ces 1±2 5 < Q. Por tanto X2 − X − 1 es el polinomio mı́nimo de η
sobre Q.
c) Probar que el grupo de Galois de la extensión Q(ζ)/Q es cı́clico de orden 4.
Ahora bien,
ϕ22 (ζ) = ϕ2 (ζ2 ) = (ϕ2 (ζ)) = ζ4 , ζ,
luego ϕ2 no tiene orden 2 ni es la identidad. En consecuencia Gal(Q(ζ)/Q)) es
cı́clico de orden 4 generado por ϕ2 .
d) Calcular el número de cuerpos intermedios propios de la extensión Q(ζ)/Q.
encontrar un elemento primitivo de cada una de ellas.
[K(ζ) : Q(ζ)] = 2.
Ası́ que,
[K(ζ) : Q] [K(ζ) : Q(ζ)][Q(ζ) : Q]
[K(ζ) : K] = = = 4.
[K : Q] 2
En consecuencia, p(X) es el polinomio mı́nimo de ζ sobre K.
A.2 Capı́tulo 3 253
ϕ210 (ζ) = ϕ10 (ζ10 ) = ϕ10 (ζ−1 ) = (ϕ10 (ζ))−1 = (ζ10 )−1 = ζ.
Por tanto, H = {1, ϕ10 } y K = {x ∈ Q(ζ) | ϕ10 (x) = x}. Sabemos que cada
x ∈ Q(ζ) se escribe, de modo único, como combinación lineal con coeficientes
a0 , . . . , a9 ∈ Q
x = a0 + a1 ζ + · · · + a9 ζ9 .
Ahora, x ∈ K si, y sólo si,
9
X 9
X 9
X 9
X
ak ζ = ϕ10 (
k
ak ζ ) =
k
ak ζ
11−k
= a11−k ζk + a1 ζ10 + a0 ζ11 .
k=0 k=0 k=0 k=2
254 Capı́tulo A Ejercicios
a0 = a0 − a1
a1 = −a1
ak = a11−k − a1 , 2 ≤ k ≤ 9
a1 = 0
(
⇔
ak = a11−k , 2 ≤ k ≤ 9.
Por tanto,
5
X
K = {a0 + ak (ζk + ζ11−k ) : ak ∈ Q}.
k=2
α = ζ2 + ζ9 ∈ K.
ζ + ζ10 = α5 − 5α3 + 5α
ζ2 + ζ9 = α
ζ3 + ζ8 = α4 − 4α2 + 2
ζ4 + ζ7 = α2 − 2
ζ5 + ζ6 = α3 − 3α.
A.2 Capı́tulo 3 255
y al sumarlas resulta
10
X
−1 = ζk = α5 + α4 − 4α3 − 3α2 + 3α.
k=1
[DuFo04] D.S. Dummit, R.M. Foote, Abstract Algebra, third edition, Wiley, 2004.
[AdWe93] W. A. Adkins, S.H. Weintraub, Algebra. An Approach via Module Theory, Gra-
duate Texts in Mathematics, 136, Springer, 1992.
[BEG89] E. Bujalance, J.J. Etayo, J.M. Gamboa, Teorı́a elemental de grupos, 3a edición, Cua-
dernos de la UNED, 1989.
[GaRu00] J.M. Gamboa, J.M Ruiz, Anillos y cuerpos conmutativos, 3a edición, Cuadernos
de la UNED, 2000.
[Ste89] I. Stewart, Galois Theory, second edition, Chapman & Hall, 1989.
256