MAT 2218: Álgebra Abstracta II

Héctor Pastén Vásquez

Departamento de Matemáticas, PUC, Chile
Email address, H. Pasten: [email protected]
 Índice general

Capı́tulo 1. Campos 5
1. Extensiones de campos 5
2. Polinomios minimales y extensiones primitivas 6
3. Levantamiento y escisión 8
4. Ley de las torres y aplicaciones 10
5. Campos finitos: teorı́a 14
6. Campos finitos: ejemplos y aplicaciones 16
Capı́tulo 2. Teorı́a de Galois 19
1. Extensiones normales 19
2. Extensiones separables 21
3. Extensiones Galois y automorfismos 23
4. El teorema fundamental 26
5. Calculando grupos de Galois 29
6. Extensiones resolubles y extensiones radicales 32
Capı́tulo 3. Teorı́a de anillos e ideales 37
1. Repaso: lo básico de anillos e ideales 37
2. Repaso: Teorı́a de Euclides 42
3. Localización de anillos 44
4. Álgebras y anillos de polinomios 48
5. Anillos Noetherianos 52
Capı́tulo 4. Teorı́a de módulos: álgebra lineal sobre anillos 55
1. Módulos y exactitud 55
2. Localización de módulos 58
3. Producto tensor y cambio de escalares 62
4. Propiedades de exactitud de HomA y el producto tensor 67
5. Módulos finitamente generados 69
6. Módulos libres 71
Capı́tulo 5. Representaciones complejas de grupos finitos 75
1. Noción de representación y primeros ejemplos 75
2. Representaciones simples: Schur y Maschke 77
3. Representaciones irreducibles: teorema de estructura 79
4. Caracteres: definiciones y resultados preliminares 81
5. Teorı́a de caracteres 83
6. Tablas de caracteres 85

3
 Capı́tulo 1

Campos

1. Extensiones de campos
Un campo es un anillo conmutativo con unidad 1 6= 0 donde todo elemento no nulo es
inversible.
Ejemplos. Q, R, C, Fp = Z/pZ con p primo. Se deja como ejercicio demostrar que dado
un entero n ≥ 1, tenemos que Z/nZ es un campo si y solo si n es un número primo.
Lema 1.1. Sea A un dominio entero con 1 6= 0. Si A es finito entonces es un campo.
Demostración. Sea 0 6= x ∈ A. La función µx : A → A dada por µx (a) = xa es
morfismo de grupos aditivos. Como A es dominio entero, µx es inyectiva. Como A es finito,
µx es biyectiva, ası́ que existe y ∈ A con xy = 1. 
Una propiedad sencilla pero fundamental de los campos es:
Lema 1.2. El único ideal propio de un campo K es (0). Es maximal (y primo).
Demostración. Sea I ⊆ K ideal distinto de (0). Sea 0 6= x ∈ I, entonces x es inversible
porque K es campo. Ası́, I = K porque contiene un inversible. 
Corolario 1.3. Sea f : K → L un morfismo de campos. f es inyectivo.
Demostración. Como 1 6= 0 en todo campo, ker(f ) es un ideal propio de K. 
Corolario 1.4. Sea K campo y sea f : Z → K el único morfismo de anillos de Z en K
(i.e. el determinado por f (1) = 1K , f (2) = 1K + 1K etc.). Existe un único entero car(K) ≥ 0
tal que ker(f ) = car(K) · Z. Además, car(K) = 0 o bien car(K) es un número primo.
Demostración. Todos los ideales de Z son de la forma nZ ası́ que car(K) existe y es
único. (0) ⊆ K es un ideal primo, ası́ que ker(f ) = f −1 ((0)) es un ideal primo de Z. Por lo
tanto car(K) es 0 o un número primo. 
El entero car(K) es la caracterı́stica de K.
Ejemplos. Q, R y C tienen caracterı́stica 0, y Fp con p primo tiene caracterı́stica p.
Una extensión de campos es una inclusión de campos K ⊆ L que es morfismo de campos.
Se anota L/K (nota: esto no es un cuociente).
Lema 1.5. Sea L/K extensión de campos. L es un K-espacio vectorial.
Sea L/K extensión de campos. El grado de L/K es
[L : K] := dimK (L).
Si [L : K] es finito, decimos que L/K es finita.
Ejemplos.
5
 C/R es una extensión de campos. Los números 1, i ∈ C forman una R-base de C ası́
que [C : R] = 2. En particular, C/R es una extensión finita.
R/Q es una extensión de campos. No puede ser finita, pues Qn es numerable para todo
entero positivo n, mientras que R es no-numerable. Ası́, [R : Q] = “∞” (ejercicio:
¿cuál es el cardinal infinito correcto?)
Sea L/K una extensión de campos y sea a ∈ L. Decimos que a es algebraico sobre K si
existe un polinomio 0 6= f ∈ K[t] (con t una variable) tal que f (a) = 0. De lo contrario, a es
trascendente sobre K.
Ejemplos.
√
2 ∈ R es algebraico sobre Q. Podemos usar f (x) = x4 − 4.
π ∈ R es trascendente sobre Q (Lindemann, 1882 – se sugiere estudiar la demostra-
ción, porque es ingeniosa pero solo usa herramientas elementales de cálculo).
Una extensión L/K es algebraica si todo a ∈ L es algebraico sobre K. Si algún a ∈ L es
trascendente sobre K entonces L/K se dice trascendente.

2. Polinomios minimales y extensiones primitivas

Lema 1.6 (Morfismo de evaluación). Sea L/K extensión de campos. Sea a ∈ L. La
función eva : K[x] → L dada por eva (f ) = f (a) es un morfismo de anillos y se tiene que:
(i) Si a es trascendente sobre K entonces eva es inyectiva.
(ii) Si a es algebraico sobre K entonces existe un único polinomio mónico fa ∈ K[x] tal
que ker(eva ) = (fa ). Este fa es irreducible sobre K.
Demostración. Notamos que L es una K-álgebra, y la función eva no es otra que la
dada por la propiedad universal de los anillos de polinomios, pidiendo x 7→ a.
(i) Si 0 6= f ∈ ker(eva ) entonces f (a) = 0, por lo cual a es algebraico sobre K.
(ii) Si a es algebraico entonces existe algún 0 6= f ∈ K[x] con f (a) = 0, por lo cual
ker(eva ) 6= (0). Como K[x] es un dominio de ideales principales (es Euclideano) podemos
escribir ker(eva ) = (fa ) para cierto fa ∈ K[x]. Pidiendo fa mónico aseguramos unicidad. El
morfismo eva induce una inclusión K[x]/(fa ) = K[x]/ ker(eva ) → L por lo que K[x]/(fa ) es
dominio entero. Ası́, fa es irreducible en K[x]. 
En el caso (ii), el polinomio fa ∈ K[x] se llama polinomio minimal de a.
Lema 1.7. Sea L/K extensión de campos, sea a ∈ L algebraico, y sea f ∈ K[x] mónico
con f (a) = 0. Son equivalentes:
(i) f = fa
(ii) f es irreducible.
(iii) Para todo h ∈ K[x] mónico con h(a) = 0 se cumple f |h en K[x].
(iv) Para todo h ∈ K[x] mónico con h(a) = 0 se cumple deg(f ) ≤ deg(h).
Demostración. (i) → (ii): claro.
(ii) → (iii): Dado h ∈ K[x] mónico con h(a) = 0, supongamos que f - h en K[x].
Como f es irreducible, esto significa que f y h son coprimos. La identidad de Bezout nos da
A, B ∈ K[x] con Af + Bh = 1. Evaluando en a se obtiene una contradicción.
(iii) → (iv): evidente.
6
 (iv) → (i): Por (iv), f tiene grado minimal entre los elementos no nulos de ker(eva ).
Como ker(eva ) es principal, f es un generador. Concluimos por (ii) del Lema 1.6. 
Lema 1.8 (“Finita implica algebraica”). Sea L/K extensión finita. Entonces L/K es
algebraica y todo a ∈ L cumple que deg(fa ) ≤ [L : K].
Demostración. Sea a ∈ L. El conjunto {1, a, a2 , a3 , ...} ⊆ L genera un subespacio K-
lineal de dimensión ≤ [L : K]. Ası́, a es cero de un polinomio no nulo de grado ≤ [L : K] y
concluimos por (iv) del Lema 1.7. 
√ √
Ejemplo. Sean K = Q y L = Q( 2). Entonces [L : K] = 2. Elegimos a = 2 2 − 1. Ası́:
a0 = 1
√
a1 = 2 2 − 1
√
a2 = 9 − 4 2
Como a0 , a1 , a2 ∈ L y dimK (L) = 2, debe haber una relación lineal sobre K = Q. En efecto:
√ √
a2 + 2a − 7a0 = (9 − 4 2) + 2(2 2 − 1) − 7 = 0.
Tomando f = x2 + 2x − 7 ∈ Q[x] tenemos f (a) = 0. Notamos que f es irreducible sobre Q
porque su discriminante ∆ = 4 + 4 · 7 = 32 no es un cuadrado. Ası́ que fa = f .

El siguiente resultado es rutina en álgebra; se trata de definir una sub-estructura generada

por algunos elementos desde arriba (“la sub-estructura más pequeña que contiene a...”) y
desde abajo (“la subestructura obtenida al operar los elementos”). Los detalles se dejan como
ejercicio.
Lema 1.9 (Campos generados). Sea L/K una extensión de campos y sea S ⊆ L un
subconjunto. Sea K(S) la intersección de todos los sub-campos de L que contienen a S y K.
Se tiene que K(S) es un campo intermedio entre L y K, y es el campo mas pequeño (por
inclusión) que contiene a S y K. Además, K(S) es el conjunto de fracciones de expresiones
polinomiales formadas por elementos de K y S.
Con la notación del lema anterior, K(S) es el campo generado por S sobre K. Observamos
que si S = S1 ∪ S2 entonces K(S) = (K(S1 ))(S2 ) pues en ambos casos se trata del campo
más pequeño que contiene a K y S.
Una extensión L/K es primitiva (o monógena) si existe a ∈ L con L = K(a). Para
extensiones primitivas la teorı́a se vuelve mucho más sencilla, y veremos que muchas veces
el estudio de extensiones de campos se puede reducir a este caso.
Ejemplos.
C/R es primitiva porque C = R(i). Este ejemplo es una extensión algebraica porque
todo complejo z ∈ C satisface una ecuación cuadrática de coeficientes en R.
C(x) es el campo de las funciones racionales complejas (fracciones de polinomios). Es
una extensión primitiva de de C. Es trascendente porque x no es raı́z de un polinomio
complejo no nulo.
Nos vamos a enfocar principalmente en el caso de extensiones algebraicas.
7
 Lema 1.10 (Lema fundamental de las extensiones primitivas). Sea K(a)/K una extensión
primitiva con a algebraico sobre K. El morfismo de evaluación eva : K[x] → K(a) induce
un isomorfismo de K-algebras K[x]/(fa ) ' K(a). En particular, K[a] = K(a), la extensión
K(a)/K es finita y [K(a) : K] = deg(fa ).
Demostración. Por el Lema 1.6 y el teorema del kernel, eva induce un morfismo in-
yectivo eva : K[x]/(fa ) → K(a) de K-álgebras, que cumple eva (x̄) = a. La imagen de
eva es K[a] ⊆ K(a). Como fa es irreducible, el ideal (fa ) es maximal y K[x]/(fa ) es un
campo. Ası́, K[a] es un campo y se concluye K[a] = K(a) por el Lema 1.9. Finalmente,
[K(a) : K] = dimK (K[x]/(fa )) = deg(fa ). 
Ejemplo. C = R(i) es una extensión primitiva de R. El polinomio minimal de i es x2 + 1.
Antes ya habı́amos calculado [C : R] = 2 lo cual coincide con deg(x2 + 1) = 2. Además,
tenemos el isomorfismo R[x]/(x2 + 1) ' C dado por x̄ 7→ i. Finalmente, “no se necesitan
denominadores”: C = R[i].
Corolario 1.11. Una extensión primitiva K(a)/K es algebraica si y solo si el elemento
a es algebraico sobre K.
Demostración. La implicación menos evidente es por los lemas 1.10 y 1.8. 

3. Levantamiento y escisión
Hasta ahora, las extensiones primitivas que hemos considerados siempre vienen dentro
de una extensión ya dada. El siguiente lema da más flexibilidad.
Lema 1.12 (Producir una raiz). Sea K un campo y sea f ∈ K[x] mónico e irreducible.
Se tiene que L := K[x]/(f (x)) es un campo que extiende a K. Además, x ∈ L es algebraico
sobre K con polinomio minimal fx = f ∈ K[x]. En particular, f tiene una raı́z en L, la
extensión L/K es algebraica y primitiva, y [L : K] = deg(f ).
Demostración. Como f es irreducible obtenemos que (f ) es maximal en K[x], y ası́ L
es un campo que extiende a K. Trivialmente f (x̄) = 0 en L, y el item (ii) del Lema 1.7 nos
da fx̄ = f . Lo demás viene del Lema 1.10. 
Ejemplo. x2 + x + 1 ∈ F2 [x] es irreducible. El campo L = F2 [x]/(x2 + x + 1) es una
extensión cuadrática de F2 donde x2 + x + 1 adquiere una raı́z. Ası́, dimF2 (L) = 2 y por lo
tanto #L = 4. Notar que L 6= Z/4Z porque Z/4Z no es dominio entero (2 · 2 = 0) ası́ que
no es campo. Más explı́citamente, escribiendo a = x̄ ∈ L la suma y el producto en L son:
+ 0 1 a a+1 × 0 1 a a+1
0 0 1 a a+1 0 0 0 0 0
1 1 0 a+1 a 1 0 1 a a+1
a a a+1 0 1 a 0 a a+1 1
a+1 a+1 a 1 0 a+1 0 a+1 1 a

A continuación presentamos el lema de levantamiento (=“lifting lemma”) en dos versio-

nes. Es un resultado extremadamente útil para reducir el estudio de extensiones algebraicas
en general al caso más sencillo de extensiones primitivas.
8
 Teorema 1.13 (Lema de levantamiento, v.1). Sea F/K una extension de campos. Sea
f ∈ K[x] mónico e irreducible. Sea L = K[x]/(f ). La regla φ 7→ φ(x̄) define una biyección
θ : MorK−alg (L, F ) −→ {b ∈ F : f (b) = 0}.
Demostración. Dado φ : L → F morfismo de K-álgebras, notamos que 0 = φ(0) =
φ(f (x̄)) = f (φ(x̄)) = f (θ(φ)), ası́ que θ envı́a MorK−alg (L, F ) en {b ∈ F : f (b) = 0}. Sea
π : K[x] → L el cuociente.
θ es inyectivo. Dados ψ, φ con θ(ψ) = θ(φ) se cumple que ψ(x̄) = φ(x̄). Como L es
generado por x̄ como K-álgebra, obtenemos ψ = φ.
θ es sobreyectivo. Sea b ∈ F con f (b) = 0. Notar que f = fb es el polinomio minimal de b
sobre K. Tomar φ ∈ MorK−alg (L, F ) el morfismo inducido por evb : K[x] → K(b) ⊆ F dado
por el Lema 1.10. 
Teorema 1.14 (Lema de levantamiento, v.2). Sean F1 /K1 y F2 /K2 extensiones de cam-
pos. Sea σ : K1 → K2 un isomorfismo y sea σ̃ : K1 [x] → K2 [x] el isomorfismo dado
por σ actuando en los coeficientes. Sea a ∈ F1 algebraico sobre K1 con polinomio minimal
fa ∈ K1 [x]. La cantidad de morfismos de campos τ : K1 (a) → F2 que cumplen τ |K1 = σ
es igual a la cantidad de raı́ces de σ̃(fa ) ∈ K2 [x] en F2 . La biyección es dada por la regla
τ 7→ τ (a).
Demostración. Como σ está fijo, sin perdida de generalidad podemos asumir que K1 =
K2 = K y que σ = IdK . Por el Lema 1.10 obtenemos un isomorfismo de K-álgebras K(a) '
K[x]/(fa ) que cumple a 7→ x̄. El resultado ahora es directo del lema de levantamiento v.1. 
Pictóricamente, pasando de LL v.1 al LL v.2:
F1
K[x]
(f )
= K(x̄) 99K F |
| | =⇒ K1 (a) 99K F2
K = K | |
K1 ' K2
En adelante, la versión que utilizaremos es la segunda.
√ √
Ejemplo 1. Q( 2). El polinomio minimal de 2 sobre Q es x2 − 2. Entonces
√
Q[x]/(x2 − 2) ' Q( 2)
√
via x̄ → 2; en √ este caso el morfismo viene gratuitamente del LFEP. Pero x2 − 2 tiene
también la raı́z − 2. LLv.1 nos da un segundo morfismo:
√ √
Q[x]/(x2 − 2) → Q( 2), x̄ → − 2

√ √
Ejemplo 2. R/Q. Tomar x3 − 2. Queremos Q( 3 2) → R y el LLv.2 aplicado a 3 2 ∈ R
(que es una raı́z del polinomio) nos da
√3
√
3
√
3
Q( 2) → R, 2 → 2 (¡es la inclusión obvia!)
√
Pero x3 − 2 no tiene ninguna otra raı́z en R. Ası́ que este es el único morfismo Q( 3 2) → R.
Sea K un campo y f ∈ K[x] un polinomio. Dada una extensión L/K decimos que f
escinde sobre L si f se puede factorizar completamente en polinomios lineales de L[x]. Un
9
campo de escisión (=“splitting field”) de f sobre K es una extensión L/K en la cual f
escinde y tal que el único campo intermedio L/F/K donde f escinde es F = L. De la
definición es inmediato que
Lema 1.15. Sea f ∈ K[x] y sea L/K una extensión. L es un campo de escisión de f
sobre K si y solo si f escinde en L y se tiene L = K(S) donde S es el conjunto de las raı́ces
de f en L.
Una importante primera aplicación del lema de levantamiento es el siguiente resultado.
Teorema 1.16 (Existencia y unicidad del campo de escisión). Sea K un campo y f ∈
K[x] un polinomio. Existe un campo de escisión para f sobre K. Además, si L1 , L2 son
campos de escisión para f sobre K entonces existe un isomorfismo de K-álgebras L1 ' L2 .
Demostración. Si f es constante no hay nada que demostrar. Suponemos que n =
deg(f ) ≥ 1 y que f es mónico.
Aplicando repetidamente el Lema 1.12, obtenemos una secuencia finita de extensiones
K0 = K ⊆ K1 ⊆ ... ⊆ Kn y elementos a1 ∈ K0 , ..., an ∈ Kn−1 tales que
(i) Para cada i ≥ 1 se tiene Ki = Ki−1 (ai ).
(ii) Para cada i ≥ 1 el producto (x − a1 ) · · · (x − ai ) divide a f en Ki [x].
Por (ii) con i = n vemos que f escinde en Kn . Por (i) con todos los i vemos que Kn = K(S)
donde S es el conjunto de raı́ces de f en Kn . Del Lema 1.15 se concluye que Kn es un campo
de escisión para f sobre K.
Sea L/K un campo de escisión para f sobre K. Sea σ0 = IdK . Utilizando el lema de
levantamiento de forma secuencial, obtenemos morfismos de K-álgebras σi : Ki → L para
i = 1, ..., n de modo que
(iii) Para cada i ≥ 1 se tiene σi |Ki−1 = σi−1 .
(iv) Para cada i ≥ 1 el producto (x − σi (a1 )) · · · (x − σi (ai )) divide a f en L[x] (gracias a
(ii), (iii), y el hecho que f tiene coeficientes en K).
Finalmente σn : Kn → L es un morfismo de K-algebras (por (iii)) cuya imagen contiene
a todas las raı́ces de f en L[x] (por (iv)). Por el Lema 1.15, σn es sobreyectivo, ası́ que es
isomorfismo dado que Kn es un campo. 

4. Ley de las torres y aplicaciones

A continuación presentamos la ley de las torres en el caso de extensiones finitas. Es una
herramienta muy versátil: permite realizar demostraciones para extensiones de campos por
inducción en el grado, descartar la existencia de ciertas extensiones intermedias, realizar
cálculos de extensiones complicadas separando en partes más sencillas, etc.
Teorema 1.17 (Ley de las torres). Sean F/L/K extensiones de campos. Se tiene que
F/K es finita si y solo si ambas F/L y L/K son finitas. Si esto ocurre, entonces
[F : K] = [F : L] · [L : K].
Demostración. Si F/K es finita entonces L/K es finita porque L es un sub-espacio
K-lineal de F . Además, una K-base lineal para F (finita) es en particular un conjunto finito
de generadores L-lineales para F , ası́ que F/L es finita.
10
 Suponer ahora que F/L y L/K son finitas. Sea a1 , ..., ar una K-base de L y sea b1 , ..., bs
una L-base de F . Demostraremos que (ai bj )ij es una K-base de F , lo cual dará que F/K es
finita y además la fórmula para los grados. P
(ai bj )ij genera: Sea c ∈ F . Escribimos c = j λj bj con λ ∈ L. Ahora escribimos λj =
P P
i µij ai con µij ∈ K. Entonces c = ij µP
ij ai bj .
P
(ai bj )ij es libre: Sean µij ∈ K con ij µij ai bj = 0. Definimos λj = i µij ai ∈ L.
P
Reordenando obtenemos j λj bj = 0 ası́ que λj = 0 para cada j pues los bj son libres sobre
P
L. Entonces i µij ai = 0 y similarmente obtenemos µij = pues los ai son libres sobre K. 
√
Ejemplo√ 1. Calcularemos el grado de la extensión Q(i, 2)/Q. Tenemos el campo inter-
medio Q( 2). Esto da la torre
√ √
Q(i, 2)/Q( 2)/Q.
√ √ √
Q( 2)/Q es primitiva
√ generada por 2. El polinomio minimal de 2 sobre Q es
x2 −√ 2. Ası́, [Q(
√ 2) : Q] = 2. √
Q(i, 2)/Q( 2) es primitiva generada por i. El polinomio minimal de i sobre √ Q( 2)
es x2 +1 (cuidado:
√ √ irreducible porque es de grado 2 y no tiene raı́ces en Q( 2) ⊆ R).
es
Ası́, [Q(i, 2) : Q( 2)] = 2.
√
Por lo tanto [Q(i, 2) : Q] = 2 · 2√= 4. √
Desafı́o: Demostrar que Q(i, 2) = Q(i + 2). Ası́ que este campo se puede presentar
como extensión primitiva de Q.
√ √
Ejemplo√ 2. Intentaremos calcular el grado de Q( 4 5, 6 5)/Q. Usaremos el campo inter-
medio Q( 4 5).
√ √ √
Q( 4 5)/Q es primitiva generada √ por 4
5. El polinomio minimal de 4
5 sobre Q es
4 4
x − 5 (Eisenstein). Ası́, [Q( 5) : Q] = 4.
√ √ √ √ √ p 3
√
Q( 4 5, 6 5)/Q( 4 5) es primitiva generada por 6 5. Escribimos 6 5 = 5 y notamos
√ √ 2 √ √ √
4 4
que 5 = 5 ∈ Q( 5)√[¡muy astuto!]. Tenemos que 5 es √ 6
un cero de x3 − 5 que
4
tiene coeficientes
√ √ en Q(√ 5). No sé si es irreducible sobre Q( 4 5), ası́ que solo puedo
decir [Q( 4 5, 6 5)/Q( 4 5)] ≤ 3.
√ √ √
Por lo tanto [Q( 4 5, 6 5) : Q] ≤ 4 · 3 = 12. Fracasamos. Usando el campo intermedio Q( 6 5)
se fracasa similarmente.
Ejemplo 2, revancha. Tenemos lo siguiente:
√ √
Q( 4 5, 6 5)
y
x
√ √
Q( 4 5) d Q( 6 5)
4
6
Q
Deducimos que d = 4x = 6y ası́ que 12|d. Pero ya calculamos d ≤ 12, ası́ que d = 12

11
 Corolario 1.18. Sea L/K extensión y sean a1 , ..., an ∈ L algebraicos sobre K. Entonces
K(a1 , ..., an )/K es finita y algebraica.
Demostración. El lema fundamental de las extensiones primitivas da que K(a1 )/K y
K(a1 , a2 ) = (K(a1 ))(a2 )/K(a1 ) son finitas. Ası́, K(a1 , a2 )/K es finita. Continuar inductiva-
mente agregando los aj de a uno. Esto da que la extensión es finita. Es algebraica por el
Lema 1.8. 
Corolario 1.19. Sea L/K extensión y sea S ⊆ L con cada a ∈ S algebraico sobre K.
La extensión K(S) es algebraica sobre K.
Demostración. Sea a ∈ K(S). Expresando a como fracción de expresiones polinomiales
de elementos de S y K vemos que hay un Sa ⊆ S finito tal que a ∈ K(Sa ). El corolario
anterior da que a es algebraico sobre K. 
Corolario 1.20. Sean F/L/K extensiones. F/L y L/K son algebraicas si y solo si
F/K es algebraica.
Demostración. Haremos “⇒” pues la otra implicación es obvia.
Sea a ∈ F . Sea fa ∈ L[x] el polinomio minimal de a sobre L. Sean b0 , ..., bn ∈ L sus
coeficientes. Entonces fa ∈ L0 [x] donde L0 = K(b0 , ..., bn ) ası́ que a es algebraico sobre
L0 . Por el Corolario 1.18, L0 /K es finita pues los bj son algebraicos sobre K. Por el lema
fundamental de las extensiones primitivas L0 (a)/L0 es finita, y por la ley de las torres L0 (a)/K
es finita. Ası́ que a es algebraico sobre K por el Lema 1.8. 
A continuación veremos una aplicación distinta. Primero un preámbulo:
En R2 , partiendo con los puntos (0, 0) y (1, 0) podemos usar regla (no marcada) y compás
en el sentido de la geometrı́a clásica para construir secuencialmente otros puntos. Esto signifi-
ca: trazar rectas por dos puntos ya construidos, o una circunferencia de centro A que pasa por
B si A y B ya fueron construidos, y finalmente intersectar dichas rectas y/o circunferencias
obteniendo ası́ nuevos puntos construidos.
Algebraicamente, esto corresponde a resolver sistemas de ecuaciones lineales y cuadráticos
cuyos coeficientes son coordenadas de puntos ya construidos.
El conjunto Qctr se define como el conjunto de todas las coordenadas x de puntos cons-
tructibles por el proceso antes descrito.
√
Ejemplo. 2 ∈ Qctr : Podemos construir con regla y compás el cuadrado de vértices (0, 0),
(1, 0), (1, 1), y (0, 1). Con el compás hacemos el cı́rculo de√centro (0, 0) pasando por (1, 1).
La recta que pasa por (0, 0) y (1, 0) corta este cı́rculo en ( 2, 0).
Teorema 1.21 (Pierre Wantzel, 1837). Qctr es un campo. Es una extensión algebraica
de Q. Todo a ∈ Qctr cumple que [Q(a) : Q] es una potencia de 2.
Demostración. Son dados inicialmente (0, 0) y (1, 0) por lo que 0 y 1 están en Qctr .
Usando regla y compás obtenemos primero cualquier (n, 0) con n ∈ Z, y de ello obtenemos
cualquier (q, 0) con q ∈ Q. Ası́ que Q ⊆ Qctr .
Dados dos segmentos de longitudes a, b > 0,√se puede construir con regla y compás un
segmento de largo a + b y un segmento de largo ab (usando un circulo
√ de diámetro a + b).
Construimos un triángulo ABC rectángulo en C con AC = 1 y BC = ab. Construimos un
12
cı́rculo que pasa por A con centro en la intersección de AC con la simetral de AB. Esto da
un segmento de largo ab en la extensión de AC.
Ası́, Qctr es un anillo.
Dado un segmento de largo a > 0, construimos el triángulo ABC rectángulo en C con
AC = 1 y BC = a. Construimos un cı́rculo que pasa por A con centro en la intersección de
AB con la simetral de AB. Esto da un segmento de largo 1/a en la extensión de AB.
Ası́, Qctr es un campo.
Podemos enumerar en orden de ocurrencia todas las construcciones geométricas con regla
y compás que parten de (0, 0) y (1, 0), obteniendo ası́ una enumeración (posiblemente con
repetición) de todos los elementos de Qctr . Sea a0 = 0, a1 = 1, a2 , ... esta enumeración.
Obtenemos que para cada j ≥ 2, el real aj es coordenada x de una solución de un sistema
de dos ecuaciones lineales y/o cuadráticas con coeficientes en Q(a0 , a1 , ..., aj−1 ). Notamos
que para cada j se cumple que [Q(a0 , a1 , ..., aj ) : Q(a0 , a1 , ..., aj−1 )] es 1, 2 o 4. La ley de las
torres nos da que [Q(a0 , a1 , ..., aj ) : Q] es potencia de 2 para cada j. Ası́, dado un a ∈ Qctr
elegimos j con aj = a y vemos que Q(a) es un campo intermedio de Q(a0 , a1 , ..., aj )/Q. La
ley de las torres nos da que [Q(a) : Q] es potencia de 2. 

Alrededor del año 430 a.C una epidemia azotó a la Grecia antigua matando incluso
al gobernador Pericles1. Los atenienses, desesperados, enviaron una delegación a Delfos a
consultar el oráculo de Apolo. Según el oráculo, Apolo exigió que le construyeran un altar
idéntico al que ya tenı́a (que era un cubo) pero del doble de volumen. Fracasaron.
Más tarde pidieron ayuda a Platón, pero él interpretó la respuesta del oráculo como un
reproche: Apolo no deseaba un cubo más grande, sino avergonzar a los griegos por haber
dejado las matemáticas de lado.
Pero quizá el plan de Apolo era otro: dar a los griegos un problema matemático muy
difı́cil en qué ocuparse, para que se quedaran en su casa tratando de resolverlo por un largo
tiempo y ası́ frenar la epidemia.
En cualquier caso, la construcción geométrica requerida por el oráculo de Apolo no solo
era difı́cil, sino imposible.

Teorema 1.22 (Pierre Wantzel, 1837). Dado un cubo, es imposible construir un cubo
con el doble del volumen usando solamente regla sin marcar y compás (en el sentido de
construcciones geométricas clásicas en el plano).

Demostración. Supongamos que es posible. Eligiendo un sistema de unidades adecua-

do, esto significa que dado un segmento
√ de largo 1 en el plano es posible construir con regla
3
y compás un segmento de largo 2. Poniendo coordenadas adecuadamente, √ esto implica que
dado el origen (0, 0) y√el punto (1, 0) en R2 , es posible construir √
el punto ( 3 2, 0) con regla
y compás. Entonces 3 2 ∈ Qctr . Pero el polinomio minimal de 3 2 sobre Q es x3 − 2 (es
irreducible pues es cúbico y no
√ tiene raı́ces racionales) ası́ que el lema fundamental de las
3
extensiones primitivas da [Q( 2) : Q] = 3. Esto contradice el teorema 1.21. 

1Discusión y referencias en: J. Dagnino, ¿Qué fue la plaga de Atenas?, Rev Chil Infect 2011; 28 (4):
374-380.
13
 5. Campos finitos: teorı́a
Como aplicación de la teorı́a de campos que hemos estudiado hasta ahora, vamos a
desarrollar algunos resultados fundamentales de la teorı́a de campos finitos. Primero veremos
tres lemas generales que son de utilidad en otras situaciones.
Para un entero positivo n recordamos que la n-torsión de G es G[n] = {a ∈ G : an = 1}.
Este es un subgrupo de G.
Lema 1.23 (Criterio numérico de ciclicidad). Sea G un grupo abeliano finito que para
todo n cumple #G[n] ≤ n. Entonces G es cı́clico.
Demostración. Por el teorema de clasificación de grupos abelianos finitos, si G no es
cı́clico entonces tiene un subgrupo isomorfo a Z/pZ × Z/pZ para algún primo p. Entonces
#G[p] ≥ p2 ; contradicción. 
Lema 1.24 (Subgrupos multiplicativos finitos de campos). Sea K un campo y sea G un
subgrupo multiplicativo finito de K × . Entonces G es cı́clico.
Demostración. G es abeliano y finito. La ecuación polinomial xn − 1 = 0 tiene a lo
más n soluciones en el campo K, ası́ que en particular G[n] ≤ n. Usamos el Lema 1.23. 
Para el siguiente lema, denotamos por f 0 la derivada formal de un polinomio f ∈ K[x]
(recordamos que no se define por lı́mite, sino por K-linealidad y la regla de Leibnitz).
Lema 1.25 (Test de la derivada formal para chequear raı́ces repetidas). Sea K un campo
y sea f ∈ K[x] un polinomio. Sea L/K una extensión donde f escinde. Son equivalentes:
(i) f no tiene raı́ces repetidas en L.
(ii) f y f 0 son coprimos sobre L[x].
(iii) f y f 0 son coprimos sobre K[x].
Demostración. (i) → (ii): Si (ii) falla entonces f y f 0 comparten una raı́z en L pues
f se factoriza en términos lineales sobre L. Digamos f = (x − a)h y f 0 = (x − a)g con a ∈ L
y h, g ∈ L[x]. Tenemos (x − a)h0 + h = f 0 = (x − a)g por lo que x − a divide a h en L[x].
Ası́, (x − a)2 divide a f en L[x], y por lo tanto (i) falla.
(ii) → (i): Si (i) falla entonces f = (x − a)2 h para cierto a ∈ L y h ∈ L[x]. Entonces
f = 2(x − a)h + (x − a)2 h0 es divisible por x − a. Por lo tanto f y f 0 son divisibles por x − a
0

y ası́ (ii) falla.

(ii) → (iii): Obvio.
(iii) → (ii): Si se cumple (iii) entonces existen A, B ∈ K[x] con Af + Bf 0 = 1 (identidad
de Bezout). Como A, B ∈ L[x], esta misma expresión nos dice que f y f 0 no tienen factores
comunes en L[x]. 
Ahora estamos bien equipados para estudiar campos finitos. Anteriormente construimos
un campo con 4 elementos. Más generalmente, veremos cuántos elementos podrı́a tener un
campo finito.
Lema 1.26 (Propiedades numéricas de campos finitos). Sea K un campo finito. Entonces
p = car(K) es un número primo, K es una extensión finita de Fp , y se tiene que #K = pr
donde r = [K : Fp ].
14
 Demostración. El morfismo de anillos canónico f : Z → K no puede ser inyectivo, ası́
que car(K) = p es un número primo por el corolario 1.4, y la imagen de f es (isomorfa a)
Fp . Ası́, K es una extensión de Fp y r = [K : Fp ] = dimFp (K) es finita pues K tiene finitos
elementos. Como Fp -espacio vectorial tenemos K ' Frp ası́ que #K = pr . 
Lema 1.27 (Generadores multiplicativos y extensiones primitivas). Sea K un campo
finito de caracterı́stica p. Existe un g ∈ K que genera K × como grupo multiplicativo. En
particular, K = Fp (g) es una extensión primitiva de Fp .
Demostración. K × es un subgrupo multiplicativo finito de un campo pues K es finito.
El lema 1.24 nos da que K × es un grupo cı́clico finito, ası́ que hay un generador como grupo
multiplicativo. Finalmente 0 ∈ Fp (g) y K × = hgi ⊆ Fp (g), ası́ que Fp (g) = K. 
Todos los campos finitos vienen gratuitamente con un automorfismo llamado el automor-
fismo de Frobenius que denotamos por φp . Su definición y propiedades básicas son dadas en
el siguiente lema.
Lema 1.28 (Automorfismo de Frobenius). Sea K un campo finito de caracterı́stica p y
cardinalidad q = pr . La función φp : K → K definida por φp (x) = xp es un automorfismo de
campo Fp -lineal (en particular, es biyectivo). Además, para todo x ∈ K se cumple xq = x.
En particular, la r-ésima iterada de φp es la identidad.
Demostración. Claramente φp (0) = 0, φp (1) = 1 y φp (xy) = φp (x)φp (y). Además, en
K se tiene p = 0 ası́ que
 
p p p−1 p p−1 2
(x + y) = x + px y + x y + .... + pxy p−1 + y p = xp + y p
2
por lo que φp (x + y) = φp (x) + φp (y). Esto prueba que φp : K → K es mofismo de campos.
Es Fp -lineal porque respeta a suma. Es inyectivo (como todo morfismo de campos) y por
ende es biyectivo porque K es finito.
Finalmente, chequeamos xq = x en K. Si x = 0 es trivial. Para x 6= 0, consideramos el
grupo multiplicativo G = K × . Como #G = q − 1, el teorema de Lagrange nos da xq−1 = 1,
ası́ que xq = x. 
Las propiedades numéricas determinadas en lema 1.26 resulta que efectivamente ocurren.
En mas detalle:
Teorema 1.29 (Existencia, unicidad, y presentación de campos finitos). Sea p un número
primo, sea r ≥ 1 y sea q = pr . Existe un campo Fq con #Fq = q, y es único salvo isomorfismo.
Además, se tiene que:
(i) Fq es el campo de escisión de xq − x ∈ Fp [x] sobre Fp .
(ii) Si f ∈ Fp [x] es irreducible sobre Fp y deg(f ) = r, entonces Fq ' Fp [x]/(f ).
Demostración. Existencia. Sea K/Fp el campo de escisión de xq − x ∈ Fp [x]. Sea
S ⊆ K el conjunto de las raı́ces de xq − x en K.
S es un sub-campo de K: Por el lema 1.28 tenemos que u : K → K dada por
u(a) = aq − a es morfismo de grupos aditivos, ası́ que S = ker(u) es un subgrupo
aditivo de K. Claramente 0, 1 ∈ S. Además S es cerrado por productos e inversos: si
aq = a y bq = b entonces (ab)q = aq bq = ab (cálculo similar para inversos). Ası́ que S
es un sub-campo de K.
15
 S = K: K es campo de escisión de xq − x, y xq − x tiene todas sus raı́ces en el campo
S ⊆ K.
#S = q: La derivada de xq − x es qxq−1 − 1 = −1 ∈ Fp [x]. Por el test de la
derivada formal, xq − x no tiene raı́ces repetidas en su campo de escisión. Ası́ que
#S = deg(xq − x) = q.
Se concluye que #K = #S = q.
Unicidad, (i) y (ii). Sea K campo con #K = q. Todo a ∈ K cumple aq −a = 0 por el lema
1.28. Ası́ que K es un campo de escisión de xq − x ∈ Fp [x] sobre Fp pues este polinomio no
puede tener más raı́ces, y todo elemento de K es raı́z. Ası́, todos los campos de q elementos
son campos de escisión de xq − x, por ende, obtenemos unicidad salvo isomorfismo y se
cumple (i). Además (ii) se deduce de la unicidad y el hecho que Fp [x]/(f ) es una extensión
de grado deg(f ) = r de Fp , por lo cual #Fp [x]/(f ) = pr = q gracias al lema 1.26. 
Debido al resultado anterior, se suele usar la notación Fq para referirse al único (salvo
isomorfismo) campo finito con q elementos, cuando q es una potencia de un primo.
6. Campos finitos: ejemplos y aplicaciones
Usando el teorema 1.29 sabemos exactamente cómo construir cualquier campo finito.
Veamos por ejemplo el caso de un campo con 9 elementos.
Ejemplo. Presentación de F9 . Como 9 = 32 necesitamos un polinomio f ∈ F3 [x] irreducible
cuadrático. Rápidamente encontramos f = x2 + 1. Escribiendo a = x̄ ∈ F3 [x]/(x2 + 1)
obtenemos F9 = F3 (a) con las operaciones
(s + at) + (u + av) = (s + u) + (u + v)a
(s + at) · (u + av) = (su − tv) + (sv + tu)a.
El elemento a ∈ F9 cumple a2 = −1 = 2 ∈ F3 , y por ende a4 = 1. Ası́ que, a pesar que
genera la extensión de campos F9 /F3 , no es un generador para el grupo multiplicativo F×
9 ya
× ×
que #F9 = 8. Pero el lema 1.27 asegura que F9 es un grupo cı́clico, ası́ que debe haber un
generador multiplicativo. En efecto, el elemento g = 1 + a ∈ F× 9 funciona:
g1 = 1 + a, g5 = −1 − a
g2 = 1 + 2a + a2 = −a, g6 = a
g3 = −a(1 + a) = 1 − a, g7 = −1 + a
g4 = (1 + a)(1 − a) = −1, g8 = 1.

Los campos finitos son muy útiles en la tecnologı́a de comunicaciones principalmente

para enviar información segura (encriptada) y robusta frente a ruidos. Veamos un ejemplo,
con el Protocolo de Intercambio Público de Claves de Diffie y Hellman (1976).
Problema: Alicia y Beatriz desean coordinar una clave secreta conocida solamen-
te por ellas, comunicándose en un medio público. Esteban puede escuchar toda la
conversación y desea saber la clave secreta.
Supuesto de complejidad computacional : En Fq es rápido tomar potencias, pero es
muy lento resolver la ecuación g x = h cuando g es generador de F×q y h es elegido al
azar.
Información pública inicial : Un campo finito con presentación Fq = Fp [x]/(f ). Un
generador multiplicativo g ∈ F× q .
16
 Información secreta inicial : El número secreto de Alicia es A ∈ Z/(q−1)Z. El número
secreto de Beatriz es B ∈ Z/(q − 1)Z.
Protocolo:
• Alicia publica el elemento g A ∈ Fq manteniendo A secreto.
• Beatriz publica el elemento g B ∈ Fq manteniendo B secreto.
• Alicia puede calcular hA = (g B )A ∈ Fq .
• Beatriz puede calcular hB = (g A )B ∈ Fq .
• La clave secreta en común es h = hA = hB .
• Si Esteban quiere calcular h, solo tiene disponibles g, g A y g B , pero no sabe ni A
ni B. Por el supuesto de computabilidad, Esteban demorarı́a mucho en calcular
A o B, ası́ que la clave h es segura.
El supuesto de complejidad computacional se basa en que hasta hoy no se conoce un
método rápido para resolver g x = h en general (en casos especiales se puede, pero uno
simplemente debe evitar esos casos especiales). Podemos decir que el problema del logaritmo
discreto es lento de resolver. ¡Por supuesto, esto puede cambiar de un dı́a para otro si alguien
diseña un método rápido de cálculo!
Ejemplo de juguete –estos números son muy chicos como para que la comunicación real-
mente sea segura. Tomaremos q = 23 = 8; en general, trabajar con potencias de 2 es práctico
porque el computador las maneja directamente y se usa mejor su memoria.
El polinomio f = x3 + x + 1 ∈ F2 [x] es irreducible porque es cubico y no tiene raı́ces
en F2 . Sea a = x̄ ∈ F8 = F[x]/(f ). Entonces a3 = 1 + a y todo elemento de F8 se escribe
c2 a2 + c1 a + c0 donde cj son 0 o 1. Representamos dicho elemento como la secuencia [c2 c1 c0 ].
Por ejemplo 0 = [000], 1 = [001], a = [010], a2 + a = [110].
Tenemos suerte y un generador de F× ×
8 es simplemente g = a = [010]. En efecto, (F8 , ·) '
(Z/7Z, +) ası́ que cualquier elemento distinto de 1 es generador.
Si la clave secreta de Alicia es A = 3 ∈ Z/7Z y la de Beatriz es B = 4 ∈ Z/7Z entonces:
Alicia publica el elemento g A = [010]3 = a3 = a + 1 = [011] manteniendo A = 3
secreto.
Beatriz publica el elemento g B = [010]4 = a4 = a(a+1) = a2 +a = [110] manteniendo
B = 4 secreto.
Alicia puede calcular hA = [110]3 = [110] · [110]2 = [110][010] = [111].
Beatriz puede calcular hB = [011]4 = ([011]2 )2 = [101]2 = [111].
Ası́ que la clave secreta de ambas es [111]. Esto se pudo hacer sin que Alicia le diga a Beatriz
su clave secreta A = 3 ni recı́procamente.
Tip para calcular potencias fácilmente en Fq con q = 2r . Escribir el exponente en binario
para sacarle provecho al Frobenius φ2 y a la ecuación xq = x. Por ejemplo, en nuestro ejemplo
anterior F8 podemos calcular
2
[101]5 = [101]1+2 = [101] · [101]4 = (a2 + 1)(a2 + 1)4 = (a2 + 1)(a8 + 1)
= (a2 + 1)(a + 1) = a3 + a2 + a + 1 = a2 = [100].
Esto, de hecho es práctico para implementar en un computador y ayuda con el “supuesto
de complejidad computacional”. Hay variaciones de estas ideas donde uno usa otros grupos
además de F× q (por ejemplo, se pueden usar ciertos grupos algebraicos tales como curvas
elı́pticas sobre Fq ).

17
 Capı́tulo 2

Teorı́a de Galois

1. Extensiones normales
Primero, una aplicación más de la ley de las torres.
Lema 2.1 (Las extensiones finitas son finitamente generadas). Si L/K es finita entonces
existen a1 , ..., an ∈ L algebraicos sobre K tal que L = K(a1 , ..., an ).
Demostración. L/K es algebraica por el lema 1.8. Si L = K estamos listos. De otro
modo, tomar a1 ∈ L − K y notar que K ( K(a1 ) ⊆ L. Como K 6= K(a1 ) tenemos
[K(a1 ) : K] ≥ 2 y por la ley de las torres [L : K(a1 )] < [L : K]. Repetimos el argumento con
K(a1 ) en lugar de K, adjuntando un a2 ∈ L. Continuamos inductivamente, y eventualmente
se llega a [L : K(a1 , ..., an )] = 1. 
Una extensión L/K es normal si es algebraica y si para todo a ∈ L el polinomio minimal
fa ∈ K[x] de a sobre K escinde en L. Por ejemplo:
Lema 2.2 (Las extensiones cuadráticas siempre son normales). Sea L/K de grado 2.
Entonces L/K es normal.
Demostración. Sea a ∈ L. Por el lema 1.8, L/K es algebraica y el polinomio minimal
fa ∈ K[x] de a sobre K tiene grado 1 o 2. Notar que fa = (x − a)g con g ∈ L[x] constante o
lineal. Ası́ que fa tiene todas sus raı́ces en L. 
Teorema 2.3 (Caracterización de extensiones normales finitas). Sea L/K una extensión
finita. Son equivalentes:
(i) L/K es normal.
(ii) L = K(a1 , ..., an ) para ciertos aj tales que cada polinomio minimal fj ∈ K[x] de aj
sobre K escinde en L.
(iii) Existe f ∈ K[x] tal que L es un campo de escisión de f sobre K.
(iv) Para toda extensión de campos F/L y todo morfismo de K-álgebras σ : L → F se
cumple σ(L) = L.
(v) Existe una extensión finita F/L tal que para todo a ∈ L el polinomio minimal fa de a
sobre K escinde en F , y satisfaciendo además que para todo morfismo de K-álgebras
σ : L → F se cumple σ(L) = L.
Demostración. (i) → Q (ii): Por el lema 2.1.
(ii) → (iii): Tomar f = j faj .
(iii) → (iv): L = K(S) donde S es el conjunto de raı́ces de f . Si a ∈ S entonces
0 = σ(0) = σ(f (a)) = f (σ(a)) porque f tiene coeficientes en K. Ası́ que σ(S) ⊆ S y vemos
que σ permuta biyectivamente los elementos de S (σ es inyectivo y S es finito). Por lo tanto
σ(L) = σ(K(S)) = K(S) = L.
19
 (iv) → (i): Sea a ∈ L y sea fa ∈ K[x] su polinomio minimal sobre K. Sea F0 el campo
de escisión de fa sobre L. Sea b ∈ F0 cualquier raı́z de fb . Por el Lema de Levantamiento
existe σ0 : K(a) → F0 morfismo de K-álgebra con σ0 (a) = b.
Por el Lema 2.1 escribimos L = K(a, c1 , ..., cn ). Sea F/F0 una extensión (finita) donde
todos los polinomios
Q minimales fcj de los cj sobre K escinden (por ejemplo, el campo de
escisión de j fcj sobre F0 ). Usando el Lema de Levantamiento (v.2) secuencialmente en los
cj podemos extender σ0 : K(a) → F0 ⊆ F a un morfismo de K-ágebras σ : L → F . Notar
que F/F0 /L. Por (iv) tenemos σ(L) = L, ası́ que b = σ0 (a) = σ(a) ∈ L.
(v) → (i): Similar a la demostración de (iv) → (i) pero más fácil; no es necesario construir
el campo F , pues el dado por (v) es suficiente para la demostración (los polinomios minimales
de a y los cj sobre K ya escinden en el F dado).
[(i), ..., (iv)] → (v): Sea L/K normal. Tomemos F = L. Entonces para todo a ∈ F = L
el polinomio minimal fa ∈ K[x] escinde sobre F = L (L/K es normal). Además, por (iv)
aplicado a este F obtenemos (v). 
√ √
Ejemplo. Sea ω = (1 + −3)/2 ∈ C, y notamos que√ω 2 = ω y ω 3 = 1. Sea L = Q(ω, 3 2).
Veamos que√L/Q √ es normal:√el polinomio minimal de 3 2 es x3 − 2. Las raı́ces complejas de
x3 − 2 son 3 2, ω 3 2, y ω 2 3 2 y están todas en L. El polinomio minimal de ω sobre Q es
x2 + x + 1, y sus raı́ces son ω y ω 2 , y ambas están en L. Por el item (ii) del teorema 2.3
obtenemos que L/Q es normal.
En particular, para todo elemento
√ de L su polinomio minimal sobre Q escinde en L. Por
3
ejemplo, tomemos a = ω + 2. El polinomio minimal de a sobre Q resulta ser bastante
complicado:
fa = x6 − 3x5 + 6x4 − 11x3 + 12x2 + 3x + 1
(dejamos como desafı́o
√ al lector demostrar que este polinomio efectivamente es el polinomio
3
minimal de ω + 2). Tiene 6 raı́ces complejas, y el teorema 2.3 nos dice que todas esas
raı́ces están en L porque L/Q es normal, sin que sea necesario calcular las raı́ces y chequear
directamente.

Lema 2.4 (Normalidad en torres). Sean F/L y L/K extensiones algebraicas. Si F/K es
normal, entonces F/L es normal.
Demostración. Sea a ∈ F . Como F/K es normal, el polinomio minimal fa/K ∈ K[x]
de a sobre K tiene todas sus raı́ces en F . Notamos que el polinomio minimal fa/L ∈ L[x] de
a sobre L divide a fa/K en L[x] porque fa/K (a) = 0. Por lo tanto todas las raı́ces de fa/L
están en F . 
√ √
Ejemplo. Consideramos
√ la torre Q(ω, 3 2)/Q( 3 2)/Q.√ Como√vimos en un ejemplo ante-
3
rior, la extensión Q(ω, 2)/Q
√ es normal. Ası́ que Q(ω, 2)/Q( 3 2) también
3
√ es normal. Sin
embargo, notamos que Q( 3 2)/Q no es normal: √ el polinomio minimal de 3
2 sobre Q es x3 −2,
y tiene dos raı́ces complejas mientras que Q( 3 2) ⊆ R.
√
4
√ √
4
√
√Ejemplo. Consideramos la torre
√ Q( 3)/Q( 3)/Q. Ambas extensiones Q( 3)/Q( 3) y
4
Q( 3)/Q son normales, pero Q( 3)/Q no es normal.
Como aplicación de la teorı́a que hemos visto hasta ahora, tenemos:

20
 Corolario 2.5 (Las extensiones entre campos finitos son normales). Sea L/K una
extensión con L y K campos finitos. Entonces L/K es normal.
Demostración. K es campo finito ası́ que tenemos la torre L/K/Fp para cierto número
primo p (lema 1.26). Sea q = #L, entonces L es el campo de escisión de xq − x ∈ Fp [x] sobre
Fp (Teorema 1.29). Ası́ que L/Fp es normal por el teorema 2.3 (iii). Por el lema de normalidad
en torres, tenemos que L/K es normal. 
2. Extensiones separables
Sea K un campo. Un polinomio no nulo f ∈ K[x] es separable si no tiene raı́ces repetidas
en su campo de escisión.
Ejemplo. K = Fp (t) con t una variable. Tomemos f (x) = xp − t ∈ K[x]. El campo de
escisión de f sobre K es L = K(t1/p ) porque
(x − t1/p )p = xp − (t1/p )p = xp − t = f.
Este mismo cálculo muestra que f no es separable, porque cuando escinde adquiere raı́ces
repetidas.
Sea L/K una extensión algebraica de campos. Un a ∈ L es separable sobre K si el
polinomio minimal fa ∈ K[x] de a sobre K es separable. Decimos que la extensión L/K es
separable si todo elemento a ∈ L es separable sobre K.
El test de la derivada formal (Lema 1.25) que demostramos para poder estudiar campos
finitos nos será de utilidad ahora. Lo volvemos a enunciar en una versión más conveniente
para el estudio de extensiones separables.
Lema 2.6 (Test de la derivada formal, ver Lema 1.25). Sea K un campo y sea f ∈ K[x]
un polinomio no nulo. Tenemos que f es separable si y solo si f y f 0 son coprimos en K[x].
Como aplicación obtenemos
Corolario 2.7 (Extensiones separables notables). Sea L/K una extensión algebraica.
Si car(K) = 0, entonces L/K es separable.
Si L y K son campos finitos, entonces L/K es separable.
Demostración. El caso car(K) = 0. Sea a ∈ L y sea fa ∈ K[x] su polinomio minimal.
Como deg(fa0 ) < deg(fa ) y además fa es irreducible en K[x], obtenemos que fa y fa0 son
coprimos. Ası́ que a es separable sobre K por el test de la derivada formal.
El caso L, K finitos. Digamos que q = pr = #L. Sea a ∈ L. Por el lema 1.28 tenemos que
a es una raı́z de f = xq − x. Como f 0 = qxq−1 − 1 = −1 (recordar: p = 0 en L) tenemos que
f y f 0 son coprimos en K[x], por lo que f es separable gracias al test de la derivada formal.
Como f (a) = 0, el polinomio minimal fa de a sobre K divide a f en K[x] ası́ que también
es separable. 
Ejemplo. Todos las extensiones algebraicas de campos que vemos en ejemplos del tipo
Q(S) son extensiones separables, pues son de caracterı́stica 0.
Ejemplo. K = Fp (t) con t una variable, y sea L = K(t1/p ) como antes. Entonces L/K
no es separable. Esto no es ningún problema con el corolario: Esta es una extensión en
caracterı́stica p 6= 0, y los campos involucrados no son finitos.

21
 Lema 2.8 (Separabilidad en torres). Sea F/L/K una torre de extensiones algebraicas.
Si F/K es separable entonces F/L y L/K son separables.
Demostración. Suponer F/K separable. Es claro que L/K es separable.
Ahora, sea a ∈ F con polinomios minimales fa/K ∈ K[x] y fa/L ∈ L[x] sobre K y L
respectivamente. Como fa/K (a) = 0 y fa/K ∈ K[x] ⊆ L[x], tenemos que fa/L divide a fa/K
en L[x]. Por hipótesis, fa/K es separable, ası́ que fa/L también lo es. 
Nota. ¡El recı́proco también es cierto! sin embargo, la demostración es mucho más com-
plicada. En este sentido, separabilidad es una propiedad mejor comportada que normalidad.

El teorema más importante para nosotros y que hace útil la noción de separabilidad es
el siguiente resultado fundamental de la teorı́a:
Teorema 2.9 (Teorema del elemento primitivo). Sea L/K una extension finita separable.
Entonces es primitiva: existe a ∈ L tal que L = K(a).
Demostración. Si K es finito, L también y por el lema 1.27 la extensión L/K es
primitiva. Ası́ que podemos suponer que K es infinito.
L es finitamente generado sobre K (Lema 2.1) ası́ que por inducción y el lema de separa-
bilidad en torres, podemos reducirnos al caso L = K(b, c) con b, c ∈ L. Vamos a construir el
elemento primitivo a que buscamos de la forma a = b − λc para un valor de λ ∈ K adecuado.
Sea M/L una extension donde fb y fc escinden. Como K es infinito, podemos tomar un
λ ∈ K de modo que para toda elección u 6= v de raı́ces de fb en M , y toda elección s 6= t de
raı́ces de fc en M , se cumpla
u − v 6= λ · (s − t).
Con este λ definimos a = b − λc. Se define el polinomio
h(x) = fb (λx + a) ∈ K(a)[x].
Notar que
h(c) = fb (λc + b − λc) = fb (b) = 0
ası́ que h se anula en c, que es una raı́z de fc .
Veamos que h no se anula en ninguna otra raı́z de fc . Por contradicción, digamos que
c0 ∈ M con c0 6= c es otra raı́z de fc y que h(c0 ) = 0. Tendrı́amos
0 = h(c0 ) = fb (λc0 + b − λc) = fb (b + λ · (c0 − c))
ası́ que b0 := b + λ · (c0 − c) es una raı́z de fb . Esto da la ecuación b0 − b = λ · (c0 − c), que es
imposible por la elección de λ.
Como h y fc se anulan en c y no comparten ninguna otra raı́z, obtenemos que GCDK(a) (fc , h) =
(x − c)n para algún n ≥ 1 (este GCD se calcula en el anillo de polinomios K(a)[x]). Como
fc es separable, se debe tener n = 1, ası́ que GCDK(a) (fc , h) = x − c.
En particular, x − c ∈ K(a)[x] y eso implica c ∈ K(a). Por lo tanto también tenemos
b = a + λc ∈ K(a). Esto finalmente da L = K(b, c) ⊆ K(a) ⊆ L. 
√ √
Ejemplo. La extensión Q( 2, 3)/Q es separable y finita, ası́ que es primitiva. La de-
mostración del teorema nos da una idea de como encontrar un elemento primitivo: hay que
22
 √ √ √ √
intentar con números de la forma 2 − λ 3 con λ ∈ Q. Tratemos con a = 2 + 3. Primero
calculamos las potencias de a:
a0 = 1
√ √
a1 = 2 + 3
√
a2 = 5 + 2 6
√ √
a3 = 11 2 + 9 3
√
a4 = 49 + 20 6
y rápidamente encontramos la relación a4 − √ 10a2√+ 1 = 0 Esto quiere decir que el polinomio
f = x4 − 10x2 + 1 ∈ Q[x] se anula en a = 2 + 3. Veamos que f es irreducible:
No tiene raı́ces racionales (test de la raı́z racional) ası́ que, en caso de no ser irreducible,
debe factorizarse en dos cuadráticos de Q[x]. Mirando los coeficientes, solo dos casos son
posibles:
x4 − 10x2 + 1 = (x2 + Ax + 1)(x2 + Bx + 1) = x4 + (A + B)x3 + (AB + 2)x2 + (A + B)x + 1
o bien
x4 − 10x2 + 1 = (x2 + Ax − 1)(x2 + Bx − 1) = x4 + (A + B)x3 + (AB − 2)x2 − (A + B)x + 1.
En el primer caso obtenemos las ecuaciones
(
A+B =0
AB + 2 = −10
√ √
Resolviendo, nos da A = ± 12 y B = ∓ 12. Imposible porque A, B ∈ Q. El segundo caso
es similar. Ası́ que f es irreducible. √ √
Por lo tanto f√= f√ a . En particular Q( 2 + 3)/Q tiene grado 4. Pero es una extensión
intermedia √de Q(√ 2, 3)/Q, √ y√esta última tiene grado que divide a 4 (Ley de las torres).
Ası́ que Q( 2, 3) = Q( 2 + 3) es una extensión primitiva de Q.

3. Extensiones Galois y automorfismos

Una extensión algebraica de campos L/K es Galois si es normal y separable. Nosotros
vamos a trabajar principalmente con extensiones finitas, las cuales son automáticamente
algebraicas. Como veremos, la condición de que una extensión sea Galois está precisamente
diseñada para poder contar automorfismos.
Lema 2.10 (Ejemplos notables de extensiones Galois). Sea L/K una extensión algebraica.
(i) Si car(K) = 0 y L/K es normal, entonces L/K es Galois.
(ii) Si L y K son campos finitos, entonces L/K es Galois.
Demostración. Por el corolario 2.5 y el corolario 2.7. 
Lema 2.11 (Galois en torres). Sea F/L/K una torre de extensiones algebraicas. Si F/K
es Galois, entonces F/L es Galois.
Demostración. Por lo lemas 2.4 y 2.8. 
23
 Nota. Al igual que en el caso de extensiones normales, dada una torre F/L/K de exten-
siones algebraicas puede ocurrir que L/K no es Galois aunque F/K lo sea. También puede
ocurrir que ambas F/L y L/K sean Galois pero que F/K no lo sea.
Teorema 2.12 (Estructura de extensiones finitas Galois). Sea L/K una extensión finita
Galois. Existe a ∈ L tal que L = K(a) y además el polinomio minimal fa ∈ K[x] se factoriza
en exactamente [L : K] factores lineales distintos en L. En particular, L un campo de escisión
de fa sobre K, y fa no tiene raı́ces repetidas en L.
Demostración. Como L/K es separable, el teorema del elemento primitivo (teorema
2.9) nos da a ∈ L tal que L = K(a), y se cumple [L : K] = deg(fa ). Como L/K es normal,
fa tiene todas sus raı́ces en L. Como L/K es separable, estas raı́ces son distintas. El total
de raı́ces distintas entonces es deg(fa ) = [L : K]. Lo demás es evidente. 
Para una extensión L/K, se define
Aut(L/K) = {σ : L → L automorfismo de K-álgebra}
= {σ : L → L automorfismo de campo con σ(a) = a para todo a ∈ K}
Notamos que Aut(L/K) es un grupo con la composición de funciones, y su neutro es IdL .
Cuando L/K es finita, es inmediato que todo morfismo de K-álgebras σ : L → L es au-
tomáticamente un automorfismo.
Lema 2.13 (Conteo de automorfismos). Sea L/K una extensión finita de grado n. En-
tonces #Aut(L/K) ≤ n. Además, si L/K es Galois, entonces #Aut(L/K) = n.
Demostración. Como L/K es finita, por el lema de las torres hay una torre de exten-
siones primitivas K0 = K ⊆ K1 ⊆ ... ⊆ Kr = L donde Ki+1 = Ki (ai ) par cierto ai ∈ Ki+1 .
Por el lema de levantamiento usando inductivamente, vemos que el número de morfismos
de K-álgebras σ : Ki → L es menor o igual que [K1 : K0 ] · · · [Ki : Ki−1 ] = [Ki : K0 ] (ley de
las torres). Tomando i = r obtenemos #Aut(L/K) ≤ [Kr : K0 ] = [L : K] = n.
Supongamos ahora que L/K es Galois. Por el teorema de estructura de extensiones finitas
Galois, tenemos L = K(a) para cierto a ∈ L tal que L es el campo de escisión de fa ∈ K[x],
y fa tiene exactamente n raı́ces distintas. Por lo tanto, el lema de levantamiento nos da
directamente que #Aut(L/K) = n. 
Si L es un campo, escribimos Aut(L) por el grupo de todos los automorfismos de campo
de L. Si H ≤ Aut(L), se define
LH = {a ∈ L : ∀σ ∈ H, σ(a) = a}.
Notamos que LH es un sub-campo de L. Se llama el campo fijo de H. El siguiente lema es
evidente.
Lema 2.14 (Las inclusiones fáciles). Sea L un campo y sea H ≤ Aut(L).
(i) Se tiene que H ≤ Aut(L/LH ).
(ii) Si K ≤ L es un sub-campo y tomamos H = Aut(L/K), entonces K ⊆ LH .
Será conveniente definir la siguiente operación en polinomios: Dado τ : L → F morfismo
de campos, para f = an xn +...+a1 x+a0 ∈ L[x] definimos f τ = τ (an )xn +...+τ (a1 )x+τ (a0 ) ∈
F [x]. Es un ejercicio sencillo (incluido en la tarea) chequear lo siguiente:
24
 Lema 2.15. Dado τ : L → F morfismo de campos, la regla f 7→ f τ define un morfismo
de anillos L[x] → F [x].
El siguiente importante resultado da una receta para construir extensiones finitas Ga-
lois con gran control de su grupo de automorfismos, sin tener que chequear normalidad ni
separabilidad.
Teorema 2.16 (Lema de Artin). Sea L un un campo y sea H ≤ Aut(L) un subgrupo
finito de automorfismos de L. Entonces la extensión L/LH es finita Galois de grado #H y
además Aut(L/LH ) = H.
Demostración. Escribimos K = LH . Demostramos el teorema en tres partes.
(i) L/K es Galois (en particular, algebraica). Sea a ∈ L cualquiera. Definimos Ha =
{σ ∈ H : σ(a) = a}, el estabilizador de a. Como H es finito, podemos definir el siguiente
polinomio: Y
ha = (x − σ(a)).
[σ]∈H/Ha
Dado cualquier τ ∈ H observamos que
Y Y Y
hτa = (x − σ(a))τ = (x − (τ ◦ σ)(a)) = (x − σ 0 (a)) = ha .
[σ]∈H/Ha [σ]∈H/Ha [σ 0 ]∈H/Ha

Por lo tanto los coeficientes de ha son fijos por cada σ ∈ H y obtenemos ha ∈ LH [x] = K[x].
El polinomio ha no tiene raı́ces repetidas pues el producto es tomado sobre H/Ha (clases
laterales del estabilizador de a).
Como ha (a) = 0 obtenemos que a es algebraico sobre K y además fa |ha en K[x]. Por lo
tanto a es separable sobre K y fa escinde en L. Como a ∈ L es arbitrario, se obtiene que
L/K es Galois.
(ii) L/K es primitiva (en particular, finita). Sea a ∈ L tal que [K(a) : K] es maximal,
lo cual es posible porque (con la notación anterior)
deg fa ≤ deg ha = [H : Ha ] ≤ #H.
Veamos que K(a) = L. De lo contrario, tomando cualquier b ∈ L − K(a) la extensión
K(a, b)/K serı́a finita (ambos a, b son algebraicos sobre K, por (i)) y es separable por (i) y
el lema de separabilidad en torres (lema 2.8). El teorema del elemento primitivo entonces
nos da que K(a, b)/K es primitiva, lo que contradice la maximalidad de [K(a) : K]. Esto
prueba L = K(a).
(iii) [L : K] = #H y Aut(L/K) = H. Escribimos L = K(a) por (ii). Usando la notación
de (i) tenemos
[L : K] = [K(a) : K] = deg fa ≤ deg ha ≤ #H.
Como L/K es finita y Galois (por (i) y (ii)) el lema de conteo de automorfismos (lema 2.13)
nos da #Aut(L/K) = [L : K]. Por lo tanto #H ≥ #Aut(L/K). Pero H ≤ Aut(L/K) ası́
que de hecho Aut(L/K) = H y por ende [L : K] = #Aut(L/K) = #H. 
Una consecuencia interesante del Lema de Artin es un recı́proco para el lema 2.13.
Corolario 2.17 (Galois es caracterizado por conteo). Sea L/K una extensión finita de
grado n. Tenemos que #Aut(L/K) = n si y solo si L/K es Galois.
25
 Demostración. Por el lema de conteo de automorfismos, basta demostrar “⇒”.
Escribimos H = Aut(L/K). Por el Lema de Artin [L : LH ] = #H, que por hipótesis es
n. Por otro lado, las inclusiones fáciles (lema 2.14) nos dan K ⊆ LH , ası́ que por la ley de
las torres n = [L : K] = [L : LH ][LH : K] = n · [LH : K] obteniendo K = LH . Usando el
Lema de Artin nuevamente, deducimos que L/K es Galois. 

4. El teorema fundamental
En el caso especial de una extensión Galois L/K, se suele escribir Gal(L/K) en lugar de
Aut(L/K). De esta forma la notación nos ayuda a recordar que estamos trabajando con una
extensión Galois, pero no hay que olvidar que simplemente Gal(L/K) = Aut(L/K).
En esta sección presentaremos el teorema fundamental de la teorı́a de Galois. Un lema
clave es el siguiente:
Lema 2.18 (“Fijo por Gal”). Sea L/K una extensión Galois finita. Entonces tenemos
Gal(L/K)
L = K.
Demostración. El lema de las inclusiones fáciles (lema 2.14) da la torre L/LGal(L/K) /K.
El lema de contar automorfismos nos da [L : K] = #Gal(L/K). El lema de Artin nos da
[L : LGal(L/K) ] = #Gal(L/K). Por la ley de las torres [LGal(L/K) : K] = 1. 
Y ahora el Teorema Fundamental de la Teorı́a de Galois (una reformulación moderna).
Teorema 2.19 (Évariste Galois, 1830, a los 18 años). Sea L/K una extensión Galois
finita. Dado un campo intermedio L/M/K, la extensión L/M es Galois y el grupo Gal(L/M )
es un subgrupo de Gal(L/K). La regla M 7→ Gal(L/M ) define una biyección
{M campo : L/M/K} −→ {H : H ≤ Gal(L/K)}
cuya inversa es H 7→ LH . Esta biyección tiene las siguientes propiedades básicas:
(i) Las inclusiones se invierten.
(ii) [L : M ] = #Gal(L/M ) para todo L/M/K.
(iii) [LH : K] = [Gal(L/K) : H] para todo subgrupo H ≤ Gal(L/K).
Demostración. Dado M campo intermedio, la extensión L/M es Galois (lema de Ga-
lois en torres) y el grupo H = Gal(L/M ) es un subgrupo de Gal(L/K). El lema de “fijo por
Gal” nos da que aplicando primero M 7→ H y luego H 7→ LH obtenemos el mismo M = LH
de partida.
Por otro lado, dado un subgrupo H ≤ Gal(L/K) aplicamos H 7→ LH y luego LH 7→
Gal(L/LH ) obtenemos el mismo H = Gal(L/LH ) de partida, por el lema de Artin. Esto
demuestra que la regla dada es una biyección. Demostramos ahora (i), (ii) y (iii).
(i). Dados campos intermedios M ⊆ M 0 tenemos para todo σ ∈ Gal(L/K), si σ fija los
elementos de M 0 entonces también fija los elementos de M . Esto da Gal(L/M 0 ) ⊆ Gal(L/M ).
(ii). Dado un campo intermedio M , la extensión L/M es Galois ası́ que por el lema de
conteo de automorfismos tenemos [L : M ] = #Gal(L/M ).
(iii). Dado H ≤ Gal(L/K) tenemos [L : LH ] = #H por el Lema de Artin. Finalmente,
[L : K] #Gal(L/K)
[LH : K] = H
= = [Gal(L/K) : H].
[L : L ] #H

26
 √ √
Ejemplo. Calculemos todos los sub-campos de L = Q( 2, 3). La extensión L/Q es
Galois y tiene grado 4 (ver ejemplo al final de la sección “Extensiones separables”) ası́ que
G = Gal(L/Q) es un grupo de 4 elementos. Los únicos grupos de 4 elementos son (salvo
isomorfismo) Z/4Z y Z/2Z × Z/2Z. √ √
L contiene los campos intermedios Q( 2) y Q( 3) que son distintos (generan L que es
de grado 4) y L tiene grado 2 sobre ellos. Por el item (ii) del teorema fundamental, esto
corresponde a dos subgrupos de G, distintos y de orden 2. Esto descarta Z/4Z (tiene solo
un subgrupo de orden 2) por lo cual G ' Z/2Z × Z/2Z. La estructura de los subgrupos de
Z/2Z × Z/2Z es
{(0, 0)}

h(1, 0)i h(1, 1)i h(0, 1)i

Z/2Z × Z/2Z
Por lo tanto, usando el teorema fundamental y los subcampos evidentes obtenemos
√ √
Q( 2, 3)

√ √
Q( 2) Q( 3) ?

donde ? es un subcampo
√ que√ no hemos
√ considerado aun, pero que el teorema fundamental
predice. El campo Q( 2 · 3) = Q( 6) es otro campo intermedio, ası́ que es el que falta.
No nos falta nada más porque G ' Z/2Z × Z/2Z no tiene más subgrupos.
La biyección del teorema se llama Correspondencia de Galois. Veremos a continuación
tres complementos extremadamente útiles en las aplicaciones del teorema fundamental.
Lema 2.20 (Complemento 1: intersecciones). Sea L/K una extensión Galois finita. Sean
M1 , M2 campos intermedios, y sean H1 , H2 ≤ Gal(L/K) sus subgrupos Galois-correspondientes.
Bajo la correspondencia de Galois, tenemos que
(i) M1 ∩ M2 corresponde al grupo generado hH1 ∪ H2 i.
(ii) H1 ∩ H2 corresponde al campo generado K(M1 ∪ M2 ).
Demostración. (i) Sea H el grupo que corresponde a M1 ∩ M2 . Dado que M1 ∩ M2
es el campo intermedio de L/K más grande contenido en M1 y M2 , la correspondencia de
Galois nos da que H es el subgrupo de Gal(L/K) mas pequeño que contiene a ambos H1 y
H2 . Ası́ que H = hH1 ∪ H2 i.
(ii) Sigue la misma idea. 

27
 Lema 2.21 (Complemento 2: conjugación). Sea L/K una extensión Galois finita. Sea M
campo intermedio y sea H ≤ Gal(L/K) el subgrupo Galois-correspondiente a M . Para todo
σ ∈ Gal(L/K) tenemos que σ(M ) es Galois-correspondiente al subgrupo conjugado σHσ −1 .
Demostración. Fijemos un σ ∈ Gal(L/K). Sea H 0 el grupo que corresponde a σ(M ).
Entonces
H 0 = Gal(L/σ(M )) = {τ ∈ Gal(L/K) : ∀a ∈ σ(M ), τ (a) = a}
= {τ ∈ Gal(L/K) : ∀b ∈ M, τ (σ(b)) = σ(b)}
= {τ ∈ Gal(L/K) : ∀b ∈ M, (σ −1 ◦ τ ◦ σ)(b) = b}
Se deduce que
σ −1 H 0 σ = {σ −1 τ σ ∈ Gal(L/K) : ∀b ∈ M, (σ −1 ◦ τ ◦ σ)(b) = b}
= {θ ∈ Gal(L/K) : ∀b ∈ M, θ(b) = b} = Gal(L/M ) = H
Como σ −1 H 0 σ = H, obtenemos H 0 = σHσ −1 . 
Lema 2.22 (Complemento 3: normalidad). Sea L/K una extensión Galois finita. Sea
M campo intermedio y sea H ≤ Gal(L/K) el subgrupo Galois-correspondiente a M . Son
equivalentes:
(i) M/K es Galois,
(ii) M/K es normal,
(iii) H ≤ Gal(L/K) es un subgrupo normal.
Cuando estas condiciones equivalentes ocurren, la función de restricción
Gal(L/K) → Gal(M/K), σ 7→ σ|M
es bien definida, es un morfismo de grupos, es sobreyectiva, y tiene kernel Gal(L/M ). En
particular, el morfismo de restricción induce un isomorfismo
Gal(L/K)/Gal(L/M ) ' Gal(M/K).
Demostración. (i) ↔ (ii). Como L/K es Galois, tenemos que L/K es separable ası́
que M/K es separable (lema de separabilidad en torres). Por lo tanto M/K es normal si y
solo si es Galois.
(ii) → (iii). Asumir que M/K es normal. Por (iv) del Teorema 2.3 (caracterización de
extensiones normales) esto implica que para todo σ ∈ Gal(L/K) se cumple σ(M ) = M .
Por el lema 2.21 (complemento 2: conjugación) obtenemos que para todo σ ∈ Gal(L/K) se
cumple σHσ −1 = H. Obtenemos (iii).
(iii) → (ii). Asumir que H es un subgrupo normal de Gal(L/K). Por el lema 2.21 tenemos
σ(M ) = M para todo σ ∈ Gal(L/K), es decir, para todo K-morfismo de campos σ : L → L.
Dado un K-morfismo de campos τ : M → L, el lema de levantamiento (y el hecho que
L/K es normal) se puede usar para obtener un K-morfismo σ : L → L tal que σ|M = τ .
Concluimos que para todo K-morfismo τ : M → L se cumple que τ (M ) = M .
Para todo a ∈ M , el polinomio minimal fa ∈ K[x] escinde en L porque L/K es normal
(es Galois). Esto, junto a lo anterior, muestra que M/K es normal por (v) del Teorema 2.3
(caracterización de extensiones normales).
Esto concluye la demostración de la equivalencia. Supongamos ahora que estas condi-
ciones equivalentes se cumplen. Dado σ ∈ Gal(L/K) vemos que σ|M (M ) = σ(M ) = M
28
por normalidad de M/K, de modo que σ|M : M → M es un elemento de Gal(M/K). Esto
muestra que la función de restricción
res : Gal(L/K) → Gal(M/K)
es bien definida. Es evidente que es un morfismo de grupos (por composición). Es sobreyec-
tiva, porque anteriormente ya chequeamos que todo K-morfismo de campos τ : M → L se
levanta a un σ : L → L. Calculemos ker(res):
ker(res) = {σ ∈ Gal(L/K) : σ|M = IdM }
= {σ ∈ Gal(L/K) : ∀a ∈ M, σ(a) = a} = Gal(L/M )
como querı́amos. 

5. Calculando grupos de Galois

Ejemplo 1. Sea p un primo y q = pr . Calculemos los campos intermedios de Fq /Fp . La
extensión es Galois (normal y separable por ser extensión de campos finitos). Calculemos
Gal(Fq /Fp ). Primero,
#Gal(Fq /Fp ) = [Fq : Fp ] = r.
Tenemos el automorfismo de Frobenius φp ∈ Gal(Fq /Fp ), y cumple φrp = Id. Veamos que el
orden de φp es exactamente r:
k
Si φkp = Id para algún k, entonces para todo a ∈ Fq tenemos ap = φkp (a) = a. Sea g ∈ F× q
pk −1
generador multiplicativo. Entonces g = 1 y también g tiene orden q − 1. Esto implica
pr − 1|pk − 1. Por un resultado elemental de aritmética (viene de la división Euclideana) esto
implica r|k.
Por lo tanto φp tiene orden r = #Gal(Fq /Fp ) y esto implica que
Gal(Fq /Fp ) = hφp i ' Z/rZ
es cı́clico generado por el Frobenius. El grupo Z/rZ tiene exactamente un subgrupo de ı́ndice
d para cada d|r (el generado por d mód r) y ningún otro subgrupo. El teorema fundamental
de la teorı́a de Galois nos dice que para cada d|r existe exactamente un campo intermedio
Fq /Md /Fp con [Md : Fp ] = d. Como Md es un campo finito, debe ser isomorfo a Fpd . De
hecho, es el campo fijo por φdp . Aplicando el mismo argumento para Md vemos que el retı́culo
de divisores de r es isomorfo al retı́culo de campos intermedios de Fq /Fp .
Por ejemplo tomemos p = 2, q = 212 = 4096. Aquı́ r = 12 y los divisores son 1, 2, 3, 4, 6, 12.
Los retı́culos de divisores de r = 12 y de campos intermedios son:

12 F4096

4 6 F16 F64

2 3 F4 F8

1 F2
29
 En los ejemplos siguientes, dado f ∈ K[x] con K de caracterı́stica 0 (generalmente
K = Q) notamos que el campo de escisión Lf de f es una extensión Galois finita de K.
Ası́ que podemos definir El grupo de Galois de f sobre K como Gal(f /K) := Gal(Lf /K).
El siguiente lema es extremadamente útil para calcular grupos de Galois de polinomios
irreducibles.

Lema 2.23 (Gal como grupo de permutaciones). Sea K un campo de caracterı́stica cero
y sea f ∈ K[x] irreducible de grado d. Sea Lf /K el campo de escisión de f y sea G =
Gal(f /K) = Gal(Lf /K). Sea R ⊆ Lf el conjunto de raı́ces de f . Tenemos:
(i) G actua en R.
(ii) Esta acción es fiel: el único elemento de G que fija a R es Id.
(iii) Esta acción es transitiva: dados a, b ∈ R existe algún σ ∈ G tal que σ(a) = b.
En particular, G es isomorfo a un subgrupo transitivo del grupo de permutaciones SR ' Sd .
Demostración. (i) Los coeficientes de f están en K y todo σ ∈ G fija a K. Por lo cual,
dado a ∈ R tenemos 0 = σ(0) = σ(f (a)) = f (σ(a)).
(ii) Sea σ ∈ G que fija a R. Entonces σ fija a Lf = K(R). Por lo tanto σ ∈ Gal(Lf /Lf ) =
{Id}.
Q Sin pérdida de generalidad, digamos que f es mónico. Sean a, b ∈ R. El polinomio
(iii)
h = σ∈G (x − σ(a)) cumple que para todo τ ∈ G se tiene hτ = h, ası́ que h ∈ LG f [x] = K[x],
esta última igualdad porque Lf /K es Galois. Como Id ∈ G tenemos h(a) = 0. Como f es
irreducible, mónico y f (a) = 0, es el polinomio minimal de a, y como h ∈ K[x] con h(a) = 0
tenemos f |h. Pero f (b) = 0 ası́ que h(b) = 0. Esto implica que σ(a) = b para algún σ ∈ G 
√
Ejemplo
√ 2. Calculemos los campos intermedios de L = Q(ω, 3 2) sobre Q donde ω =
(−1 + 3i)/2 es una raı́z cúbica no trivial de 1. L/Q es normal porque es el campo de
escisión de f = x3 − 2, ası́ que L/Q es Galois. Sea G = Gal(L/Q). Como f es irreducible, G
es un subgrupo transitivo de S3 . Como #G = [L : Q] = 6 tenemos G ' S3 . Los subgrupos
de S3 son:
{e}; ı́ndice 6.
Tres subgrupos de indice 3: {e, (12)}, {e, (13)}, {e, (23)}.
Un subgrupo de ı́ndice 2: A3 = {e, (123), (132)}
S3 (de ı́ndice 1 en S3 )
Por el teorema fundamental, L/Q contiene
L, de grado 6 sobre Q. √
Tres campos de grado 3 sobre Q. Tenemos Q( 3 2); faltan 2.
Un campo de grado 2 sobre Q. Tenemos Q(ω).
Q.
Por lo tanto
√ solo nos√faltan dos campos cúbicos más contenidos en √ L. Dos candidatos obvios
son Q(ω 3 2) y Q(ω 3 2). No son reales ası́ que√son distintos√ a Q( 3
2). ¿Son distintos
√ entre
√
3 3 3 3
ellos?
√ Sı́. De lo contrario, digamos M = Q(ω √ 2) = Q(ω 2) y tendrı́amos ω 2 + ω 2 =
3
− 2 ∈ M , que no se √ puede porque M = Q(ω 3 2) es un campo cúbico no real ası́ que no
puede contener a Q( 3 2). √ √ √
Por lo tanto los subcamos de L son: Q, Q(ω), Q( 3 2), Q(ω 3 2), Q(ω 3 2), L.
30
 Ejemplo 3. Calculemos G = Gal(f /Q) para f = x3 + x + 1. El polinomio f no tiene raı́ces
racionales (test de la raı́z racional) y es cúbico, ası́ que es irreducible sobre Q.
Tiene una sola raı́z real porque es de grado impar y estrictamente creciente en los reales
(su derivada es 3x2 + 1 > 0 para todo x ∈ R). Sea a su raı́z real y sean b, c sus otras dos
raı́ces. Necesariamente b, c ∈ C son conjugadas complejas. Ası́ que G visto como subgrupo
de S3 contiene una transposición: la conjugación compleja restringida a Lf = Q(a, b, c).
Viendo G como subgrupo de S3 , tenemos que G es transitivo y tiene una transposición.
Los subgrupos de S3 (salvo conjugación) son:

{e}, {e, (12)}, {e, (123), (132)}, S3 .

De ellos, solo S3 es transitivo y contiene una transposición. Ası́ que G ' S3 . En particular,
[Lf : Q] = 6.
La idea del ejemplo anterior se puede generalizar un poco más.
Lema 2.24. Sea p un primo. Sea H ≤ Sp tal que H contiene una transposición τ y un
elemento σ de orden p. Entonces H = Sp .
Demostración. σ es un ciclo. Salvo cambiar sı́mbolos, σ = (p . . . 21) y la transposición
es τ = (k1). Entonces

στ σ −1 = (p . . . 321)(k1)(23 . . . p1) = ([k + 1], 2)

donde [j] ∈ {1, 2, ..., p} es el resto de j mód p. Más generalmente,

σ i τ σ −i = (p . . . 321)(k1)(23 . . . p1) = ([k + i], [1 + i]).

Ası́ que H contiene todas las transposiciones de la forma ([k + i], [1 + i]). Notamos que la
secuencia

1, k, [2k − 1], [3k − 2], ..., [(p − 1)k − p + 1] (sumar k − 1 en cada paso)

recorre todos los elementos de {1, 2, ..., p} exactamente una vez porque p es primo. Ası́ que
H es conjugado a un subgrupo H 0 ≤ Sp que contiene todas las transposiciones (12), (23),
..., ((p − 1), p), (p1). Por lo tanto H 0 contiene todas las transposiciones de Sp . Como toda
permutación es producto de transposiciones, obtenemos H 0 = Sp . Por lo tanto H = Sp . 

Ejemplo 4 Calculemos G = Gal(f /Q) para f = x5 − 6x2 + 2. Primero, f es irreducible

por Eisenstein con p = 2. Además f tiene exactamente 3 raı́ces reales (ejercicio de cálculo:
evaluar en puntos, ver crecimiento usando derivada, etc.) ası́ que tiene exactamente un par
de raı́ces complejas no-reales conjugadas. Por lo tanto la conjugación compleja se restringe
a un elemento τ ∈ G que fija 3 raı́ces e intercambia 2. Viendo G como subgrupo de S5
(actuando en las raı́ces de f ) tenemos que τ es una transposición.
Por otro lado, como f es irreducible, adjuntando una raı́z de f a Q obtenemos una
extensión primitiva M/Q de grado 5, con Lf /M/Q. Por la ley de las torres, 5|[Lf : Q] = #G.
Por el teorema de Cauchy, G contiene un elemento de orden 5.
Como G contiene una transposición y un elemento de orden 5, por el lema anterior
tenemos G ' S5 .
31
 6. Extensiones resolubles y extensiones radicales
Los grupos abelianos son los más sencillos de estudiar. Esto motiva definir una extension
L/K como abeliana si es Galois y Gal(L/K) es abeliano.
Lo siguiente en nivel de complejidad son los grupos “hechos con pedazos abelianos”:
Recordamos que un grupo G es resoluble si existe una secuencia de subgrupos de G
{e} = H0 ≤ H1 ≤ · · · Hr = G
tal que para cada j se tiene que Hj−1 E Hj y que Hj /Hj−1 es un grupo abeliano. Recordamos
lo siguiente:
Lema 2.25 (Hechos básicos sobre grupos resolubles). Se tiene lo siguiente:
(i) Sea H E G. Si H y G/H son resolubles, entonces G es resoluble.
(ii) Si G es resoluble entonces todo subgrupo de G es resoluble.
(iii) Si G es resoluble, entonces todo cuociente de G es resoluble.
(iv) El grupo alternante A5 es simple (sin subgrupos normales no-triviales) y no abeliano.
En particular no es resoluble, y por lo tanto no todos los grupos son resolubles.
Una extensión finita Galois L/K es resoluble si Gal(L/K) es un grupo resoluble.
Lema 2.26 (Resoluble como torre abeliana). Sea L/K una extensión Galois L/K. Es
resoluble si y solo si existe una torre K0 = K ⊆ K1 ⊆ ... ⊆ Kr = L tal que cada Kj /Kj−1 es
Galois abeliana.
De los hechos básicos sobre grupos resolubles se obtiene
Lema 2.27 (Hechos básicos sobre extensiones resolubles). Se tiene lo siguiente:
(i) Sea L/M/K una torre de extensiones finitas con L/K y M/K Galois. Si L/M y
M/K son resolubles, entonces L/K es resoluble.
(ii) Si L/K es una extension finita resoluble. Para todo L/M/K se tiene que L/M es
resoluble.
(iii) Si L/K es una extension finita resoluble. Para todo L/M/K con M/K Galois, se
tiene que M/K es resoluble.
Por otro lado, desde el punto de vista de extensiones de campos, uno de los primeros
ejemplos que se consideran en la teorı́a son obtenidos adjuntando raı́ces n-ésimas de elementos
—de hecho, ¡la mayorı́a de los ejemplos que hemos visto en este curso son de este tipo! Vamos
a poner un nombre a esas extensiones.
Una extensión L/K es pura radical de exponente n (con n ≥ 1) si existen a1 , a2 , ..., ar ∈ L
con L = K(a1 , ..., ar ) y anj ∈ K para cada j. (En palabras, los aj son una raı́z n-ésima de
algunos elementos de K.) Obviamente n no es único:
Lema 2.28. Si L/K es pura radical de exponente n0 también es pura radical de exponente
n para todo n múltiplo de n0 .
Una extensión es L/K es radical si se puede escribir como torre de extensiones puras
radicales. Estas extensiones no siempre son Galois, pero el resultado central de esta sección
soluciona ese inconveniente.
De ahora en adelante, en esta sección vamos a asumir que nuestros campos tienen
caracterı́stica 0. En particular, “normal = Galois”.
32
 Dado un campo K, el campo de escisión de xn − 1 sobre K contiene al conjunto µn de las
raı́ces n-ésimas de 1, y de hecho K(µn ) es el campo de escisión de xn −1. Como char (K) = 0,
el polinomio xn − 1 es separable y se tiene #µn = n.
Lema 2.29 (Extender con raı́ces de la unidad). Sea K un campo y sea n ≥ 1. La exten-
sión K(µn )/K es Galois abeliana. De hecho, Gal(K(µn )/K) es isomorfo a un subgrupo de
(Z/nZ)× .
Demostración. L = K(µn ) es el campo de escisión de xn − 1 sobre K, ası́ que la
extensión es normal. Es Galois por ser de caracterı́stica 0. Sea G = Gal(L/K).
Como µn es un subgrupo multiplicativo finito de L× , es cı́clico por el lema 1.24 y obte-
nemos µn ' Z/nZ. Entonces el grupo A := Aut(µn ) es isomorfo a Aut(Z/nZ) ' (Z/nZ)× ,
que es abeliano.
Definimos la función γ : G → A por
γ(σ) : µn → µn ,  7→ σ().
Es inmediato que γ es morfismo de grupos. Es inyectivo porque µn genera la extensión L/K
ası́ que el único σ que fija µn es IdL . Por lo tanto G es isomorfo a un subgrupo de A. 
Teorema 2.30 (Teorema de Kummer). Sea L/K una extensión pura radical de expo-
nente n con µn ⊆ K. Si L/K es Galois, entonces es abeliana.
Demostración. Sea G = Gal(L/K). Primero, dado a ∈ L× con an ∈ K notamos que
para todo σ ∈ G se tiene n
σ(an ) an

σ(a)
= = =1
a an an
ası́ que a (σ) := σ(a)/a ∈ µn ⊆ K. Esta raı́z de la unidad por definición cumple σ(a) =
a (σ) · a. Ası́, dados σ, τ ∈ G se cumple
a (στ )a = σ(τ (a)) = σ(a (τ )a) = a (τ )σ(a) = a (τ )a (σ)a ⇒ a (στ ) = a (σ)a (τ )
(Este cálculo crucialmente usa µn ⊆ K, de modo que G fija a los ’s.)
Escribimos ahora L = K(a1 , ..., ar ) con ciertos aj ∈ L× que cumplen anj ∈ K. Definimos
la función
δ : G → (µn )r , δ(σ) = (a1 (σ), ..., ar (σ)).
Por el cálculo que esta encerrado en una caja más arriba, tenemos que δ es un morfismo de
grupos, viendo (µn )r como un grupo multiplicativo.
Calculemos ker(δ). Tenemos que σ ∈ ker(δ) si y solo si aj (σ) = 1 para cada j, y esto
es lo mismo que pedir σ(aj ) = aj para cada j. Ası́, σ fija a los aj que generan la extensión
L/K, por lo cual fija a L. Esto significa que σ = IdL . Por lo tanto ker(δ) es trivial.
Dado que δ : G → (µn )r es un morfismo inyectivo de grupos y (µn )r es abeliano, tenemos
que G es abeliano.

El siguiente resultado lo usaremos en el paso inductivo de nuestra construcción.
Lema 2.31 (Pura radical sobre Galois). Sea M/K una extensión Galois finita y sea L/M
una extensión pura radical de exponente n. Entonces existe una extension finita F/K con
las siguientes propiedades:
33
 (i) F/K es Galois
(ii) F contiene a L.
(iii) F/M es pura radical de exponente n.
Demostración. Sean a1 , ..., ar ∈ L con L = M (a1 , ..., ar ) y tal que bj = anj ∈ M para
cada j.
Sea H = Gal(M/K) y sea
r Y
Y
f= (xn − σ(bj )) ∈ M [x]
j=1 σ∈H

Notamos que en realidad f ∈ M H [x] = K[x]. Veremos que basta tomar F como el campo
de escisión de f sobre M .
(i). Sean c1 , ..., cs ∈ M tales que M = K(c1 , ..., cs ). Sea F0 el campo de escisión de
f ∈ K[x] sobre K y sea S el conjunto de todas las raı́ces de f . Notamos que F0 = K(S)/K
es normal y M = K(c1 , ..., cs )/K es normal. Por lo tanto
F = M (S) = K(c1 , ..., cn , S)
es una extensión normal de K, chequeando en generadores. Ası́ que F/K es Galois (carac-
terı́stica 0).
(ii) es evidente.
(iv). Si f (a) = 0 entonces an = σ(bj ) ∈ M ⊆ M (µn ) para algún j y algún σ ∈ H. Ası́
que F = M (S)/M es una extensión pura radical de exponente n. 
Teorema 2.32 (De radical a resoluble). Sea L/K una extensión radical. Existe una
extensión F/L tal que F/K es radical y resoluble (en particular, Galois).
Demostración. Digamos que K0 = K ⊆ K1 ⊆ ... ⊆ Km = L es una torre de extensio-
nes puras radicales de exponente n (podemos asumir que el n es el mismo para todas por el
lema 2.28).
Definimos ahora Kj0 = Kj (µn ); en particular K00 = K(µn ) y esto es una extensión pura
radical de exponente n del campo K. Obtenemos una torre de extensiones puras radicales
K ⊆ K00 ⊆ K10 ⊆ ... ⊆ Km 0
de exponente n (notar que tiene un paso más) con la propiedad
que
K00 /K es pura radical de exponente n, Galois y abeliana (cf. lema 2.29)
Cada Kj0 /Kj−1
0
es pura radical de exponente n.
0
µn ⊆ Kj para cada j.
Pictóricamente

K00 ⊆ K10 ⊆ K20 ⊆ · · · ⊆ Km 0

| | | |
K = K0 ⊆ K 1 ⊆ K2 ⊆ · · · ⊆ Km
Aplicamos el lema 2.31 con M = K00 (que es Galois sobre K) y L = K10 (que es pura
radical sobre M ) para obtener una extensión K11 /K10 tal que K11 es Galois sobre K y es pura
radical sobre M = K00 .
34
 Para j > 1 definimos Kj1 = K11 (Kj0 ). Pictóricamente:
K11 ⊆ K21 ⊆ · · · ⊆ Km 1

| | |
K00 ⊆ K10 ⊆ K20 ⊆ · · · ⊆ Km 0

| | | |
K = K0 ⊆ K1 ⊆ K2 ⊆ · · · ⊆ K m
En resumen, ahora conseguimos
K11 /K es Galois.
K11 /K00 es pura radical de exponente n
Cada Kj1 /Kj−1
1
es pura radical de exponente n.
1
µn ⊆ Kj para cada j.
Notar que K11 /K00 es abeliana por el Teorema de Kummer (es pura radical de exponente n,
es Galois pues K11 /K es Galois, y µn ⊆ K00 ).
Ahora aplicamos el lema 2.31 con M = K11 (que es Galois sobre K) y L = K21 para obtener
una extensión K22 /K21 tal que K22 es Galois sobre K y es pura radical sobre M = K11 . Para
j > 2 definimos Kj2 = K22 (Kj1 ). Pictóricamente:
K22 ⊆ ··· ⊆ Km 2

| |
K11 ⊆ K21 ⊆ ··· ⊆ Km 1

| | |
K00 ⊆ K10 ⊆ K20 ⊆ ··· ⊆ Km 0

| | | |
K = K0 ⊆ K1 ⊆ K2 ⊆ ··· ⊆ Km
En resumen, ahora conseguimos
K22 /K es Galois.
K22 /K11 es pura radical de exponente n
2
Cada Kj2 /Kj−1 es pura radical de exponente n.
2
µn ⊆ Kj para cada j.
Notar que K22 /K11 es abeliana por el Teorema de Kummer.
Continuando de esta manera, terminamos con una torre
K ⊆ K00 ⊆ K11 ⊆ K22 ⊆ · · · ⊆ Km
m

tal que
K00 /K es pura radical de exponente n y abeliana.
Para cada j ≥ 0 se tiene que Kjj /K es Galois.
Para cada j ≥ 1 se tiene que Kjj /Kj−1
j−1
es pura radical de exponente n y abeliana.
m
En particular, Km /K es radical, Galois y resoluble. Además, por construcción tenemos
m m
L = Km ⊆ Km . Ası́ que Km /K es la extensión deseada. 
Finalmente, obtenemos una versión del teorema de Kummer válida para extensiones
radicales que no son necesariamente puras radicales y donde el campo base no necesariamente
contiene raı́ces de la unidad.
35
 Corolario 2.33. Sea L/K una extensión radical. Si es Galois, entonces es resoluble.
Demostración. El teorema anterior nos da una extensión finita F/L con F/K reso-
luble. Como L/K es Galois contenida en resoluble, las propiedades básicas de extensiones
resolubles nos dan que L/K es resoluble. 
Una aplicación sencilla pero interesante:
Teorema 2.34 (Abel-Ruffini (R. 1799 - A. 1824)). Existen polinomios f ∈ Q[x] de grado
5 cuyas soluciones no se pueden expresar con sumas, restas, productos, divisiones y radicales
a partir de números racionales.
Demostración. Sea f ∈ Q[x] de grado 5 tal que su campo de escisión Lf tiene
Gal(Lf /Q) ' S5 ; ya hemos visto ejemplos antes como por ejemplo f = x5 − 6x2 + 2.
Suponga que las soluciones de f = 0 se pueden expresar con las cuatro operaciones básicas
y radicales partiendo de Q. Entonces Lf /Q estarı́a contenido en una extensión radical L0 /Q,
y Lf /Q es Galois porque es un campo de escisión. Por el Teorema 2.32 existe F/L0 /Lf /Q
tal que F/Q es Galois resoluble. Por las propiedades básicas de extensiones resolubles, esto
implica que Lf /Q (que es Galois) es resoluble.
Por lo tanto S5 = Gal(Lf /Q) deberı́a ser un grupo resoluble, lo que es absurdo porque
contiene a A5 . 

36
 Capı́tulo 3

Teorı́a de anillos e ideales

1. Repaso: lo básico de anillos e ideales

Las nociones básicas de anillos e ideales debieron verse en un primer curso de álgebra 1.
Si bien varias de estas nociones básicas ya fueron usadas en el primer capı́tulo sobre campos,
ahora que estudiaremos anillos en detalle vamos a recordar lo más relevante.
Un anillo (conmutativo, unitario) es una estructura algebraica (A, 0, 1, +, ·) donde A es
un conjunto, 0, 1 ∈ A, y +, · : A × A → A son operaciones binarias que cumplen:
(A, 0, +) es grupo abeliano
(A, 1, ·) es monoide abeliano (1 es neutro, · es asociativa y conmutativa)
propiedad distributiva: x · (y + z) = x · y + x · z para todo x, y, z ∈ A.
Normalmente se anota A en lugar de (A, 0, 1, +, ·), y se anota xy en lugar de x · y. Los
morfismos de anillo son lo obvios: respetan 0, 1, +, ·.
Ejemplos. Z, cualquier campo K, polinomios K[x], enteros Gaussianos a + bi ∈ Z[i], el
anillo Z/N Z de clases módulo N , productos cartesianos con operación en coordenadas (por
ejemplo 1A×B := (1A , 1B ) ∈ A × B), etc.
No-ejemplo. Z × Z es anillo, pero la inclusión Z → Z × Z dada por n 7→ (n, 0) no es
morfismo de anillo: respeta 0, +, · pero no el 1.
Ejercicios sencillos.
Para todo x ∈ A se tiene 0A · x = 0A .
Si −1 es el inverso aditivo de 1A , entonces el inverso aditivo de x ∈ A es (−1) · x.
Dos definiciones importantes:
Unidades o inversibles. Un u ∈ A es unidad o inversible si existe v ∈ A con uv = 1. El
conjunto de los inversibles de A se anota A× y es sencillo chequear que es grupo multiplicativo.
Por ejemplo Z× ' (Z/2Z, +).
Un anillo A es un campo justamente cuando A× = A − {0}.
Divisores de cero. Un s ∈ A es un divisor de cero si existe 0 6= t ∈ A tal que st = 0.
Un anillo es un dominio entero si 1 6= 0 en A y el único divisor de cero en A es 0 (la
condición 1 6= 0 es lo mismo que pedir que A no sea el anillo trivial {0}).
Parte fundamental de la estructura de un anillo son sus ideales, que recordamos ahora:
Sea A un anillo. Un ideal a ⊆ A es un subconjunto que cumple:
a es subgrupo de (A, 0, +)
propiedad absorbente: dado s ∈ A y t ∈ a se tiene st ∈ a.
1Elcurso de Álgebra Abstracta I de la UC deberı́a cubrir el material de esta primera sección. Se incluye
a modo de referencia.
37
Ejemplos.
{0} y A son ideales en cualquier anillo A.
a = N Z en A = Z
a = {f ∈ K[x] : f (0) = 0} = x · K[x] en K[x]
No sirve: Z en Z[i]. Este es un sub-anillo, no un ideal (no es absorbente).
Lema 3.1 (Todo kernel es ideal). Si f : A → B es morfismo de anillos entonces ker(f )
es ideal de A.
Demostración. Subgrupo aditivo: f en particular es morfismo de grupos aditivos, ası́
que su kernel es subgrupo aditivo de A.
Absorbente: sea s ∈ A y t ∈ ker(f ). Entonces f (st) = f (s)f (t) = f (s) · 0 = 0 ası́ que
st ∈ ker(f ). 

El siguiente lema es obvio.

Lema 3.2 (Intersecciones y uniones anidadas). Sea I un conjunto no-vacı́o de ı́ndices y
para cada i ∈ I sea ai ideal de A. Se tiene que
(i) ∩i ai es ideal de A
(ii) Si I es totalmente ordenado y para cada i < j se tiene ai ⊆ aj entonces ∪i ai es ideal.
Hacemos notar que, en general, la union de ideales puede no ser un ideal (del mismo
modo que una union de subgrupos no tiene por qué ser un subgrupo).
Sea S ⊆ A. Definimos
\
(S) = a, a ideal de A.
S⊆a

La intersección es no-vacı́a porque al menos está a = A. Por el lema anterior, (S) es un ideal,
y se llama el ideal generado por S.
Lo anterior es la definición “por arriba” de ideal generado. Como es usual, tenemos una
definición “por abajo”. El siguiente lema queda de ejercicio.
Lema 3.3 (Ideal generado visto en elementos). Sea S ⊆ A un conjunto. Entonces
( )
X
(S) = ti si : ti ∈ A, si ∈ S .
finita

El siguiente lema pone en evidencia el motivo por el cual se impone la condición de

absorbencia en la definición de ideal.
Lema 3.4 (Anillo cuociente por un ideal). Sea A un anillo y sea a ⊆ A un ideal. Sea
π : A → A/a el morfismo de proyección al tomar el cuociente de grupos aditivos A/a. Existe
una única operación binaria ∗ en A/a que cumple lo siguiente:
(i) (A/a, 0, π(1), +, ∗) es un anillo, y
(ii) π : A → A/a es morfismo de anillo.
Más aún, la operación ∗ tiene la siguiente descripción: dados s, t ∈ A/a elegimos x, y ∈ A
tal que π(x) = s, π(y) = t. Entonces s ∗ t := π(xy)
38
 Demostración. Existencia. Definamos ∗ según la descripción en la última linea. Esto
es posible porque π es sobreyectiva.
Veamos que es bien definida. Dados s, t ∈ A digamos que x, x0 , y ∈ A cumplen s = π(x) =
π(x0 ) y t = π(y). Entonces π(x − x0 ) = π(x) − π(x0 ) = s − s = 0 por lo que x − x0 ∈ a. Como
a es absorbente se obtiene (x − x0 )y ∈ a, y deducimos que π(xy) − π(x0 y) = π(xy − x0 y) =
π((x − x0 )y) = 0. Ası́ que π(xy) = π(x0 y).
Chequear (i) es rutina. Por ejemplo, la propiedad distributiva: dados r, s, t ∈ A/a sean
x, y, z ∈ A con π(x) = r, π(y) = s, π(z) = t. Entonces (r + s) ∗ t = (π(x) + π(y)) ∗ π(z) =
π(x + y) ∗ π(z) = π((x + y)z) = π(xz + yz) = π(xz) + π(yz) = r ∗ t + s ∗ t.
Finalmente (ii) es obvia de la construcción de ∗.
Unicidad. Por (ii) y el hecho que π es sobreyectiva. 
Teorema 3.5 (Teorema del kernel). Sea f : A → B morfismo de anillos. Existe un
único morfismo de anillos f¯ : A/ ker(f ) → B tal que el siguiente diagrama conmuta:
f
A B
f¯
π

A/ ker(f )

Además, f¯ es inyectiva. Finalmente, si f es sobreyectiva, entonces induce un isomorfismo

de anillos A/ ker(f ) ' B.
Demostración. Ignorando la multiplicación, esto viene del caso de grupos. Solo resta
chequear que la f¯ obtenida de la teorı́a de grupos respeta la multiplicación y el 1, pero eso
es una verificación rutinaria. 
Lema 3.6 (Correspondencia de ideales en el cuociente). Sea a un ideal de un anillo A.
La función de proyección π : A → A/a determina una biyección
{b ⊆ A : ideal con a ⊆ b} ←→ {c ⊆ A/a : ideal}
b 7→ π(b)
π −1 (c) ←[ c
Demostración. En el caso de grupos, el análogo es sabido. Aplicamos ese resultado a
los grupos aditivos de A y A/a. Entonces solo queda verificar que la propiedad de absorbencia
se mantiene en ambas direcciones; es una verificación de rutina y queda a la lectora. 
Observación. Sea f : A → B morfismo de anillos, y sean a ⊆ A, b ⊆ B ideales.
f −1 (b) es ideal de A. En efecto, consideramos la composición g : π ◦ f : A → B/b y
notamos que g es morfismo de anillos con ker(g) = f −1 (b).
Pero f (a) no tiene por qué ser ideal de B. Por ejemplo, sea f : Z → Q la inclusión.
Es morfismo de anillos. Tomar a = (2) = 2Z, que es ideal en Z. Pero f (2Z) = 2Z ⊆ Q
no es ideal de Q.
Ası́, lo que ocurre en el caso de un cuociente π : A → A/a es bien particular; en este caso
efectivamente tenemos que π(b) es ideal cuando b es un ideal de A que contiene a a.
Dados a, b ideales de A se definen
39
 Suma de ideales: a + b := {x + y : x ∈ a, y ∈ b}. Se verifica fácilmente que es un
ideal, y además se cumple a + b = (a ∪ b).
Producto de ideales: ab := ({xy : x ∈ a, y ∈ b}). Es un ideal porque tomamos el
generado (sin esa precaución no siempre es ideal).
Ejemplos. Tomamos los ideales (4) y (6) en Z. Tenemos:
(4) ∩ (6) = {n ∈ Z : 4|n, 6|n} = (12).
(4) ∪ (6) no es un ideal (no tendrı́a por qué serlo ya que no es unión anidada). Por
ejemplo, 4 + 6 = 10 ∈ / (4) ∪ (6).
(4) + (6) = {4x + 6y : x, y ∈ Z} = (2).
(4)(6) = ({4x · 6y : x, y ∈ Z}) = (24).
Teorema 3.7 (Teorema chino). Sean a1 , ..., an ideales de A. Considere la función que
proyecta al cuociente en cada coordenada
Yn
π : A → B := A/aj , x 7→ (x mód aj )j .
j=1

(i) Se tiene ker(π) = ∩j aj .

(ii) Si para todo i 6= j se cumple ai + aj = A, entonces π es sobreyectiva.
Demostración. (i). Es obvio.
(ii). Suponga que ai + aj = A para todo i 6= j. Como B es anillo y π es morfismo de
anillos, basta mostrar que los elementos e1 = (1, 0, ..., 0), e2 = (0, 1, ..., 0), ..., en = (0, 0, ..., 1)
están en la imagen de π. Por simetrı́a, basta considerar e1 . Para cada j > 1 tomamos xj ∈ a1
e yj ∈ aj cumpliendo xj + yj = 1. Definimos el elemento
x := y2 y3 · · · yn = (1 − x2 )(1 − x3 ) · · · (1 − xn ) ∈ A.
Entonces x ≡ (1 − 0) · · · (1 − 0) ≡ 1 mód a1 mientras que para j > 1 se tiene x = y2 · · · yn ≡
0 mód aj . Por lo tanto π(x) = e1 . 
Observación. El caso elemental de Z/abZ ' Z/aZ×Z/bZ cuando a, b son enteros coprimos
se obtiene con n = 2, a1 = (a) = aZ, a2 = (b) = bZ. En efecto, cuando (a, b) = 1 se tiene
que (a) ∩ (b) = (ab) y (usando Bezout) (a) + (b) = (1) = Z.
Un ideal a de un anillo A es propio si a 6= A. Es decir, a es un ideal propiamente contenido
en A. El siguiente lema es sencillo pero es extremadamente útil.
Lema 3.8 (Criterio para que un ideal sea propio). Sea a ideal de A. Son equivalentes:
(i) a no es propio: o sea, a = A
(ii) u ∈ a para algún u ∈ A× (inversibles).
(iii) 1 ∈ a
Demostración. (i) → (ii). Obvio.
(ii) → (iii). Sea v ∈ A con uv = 1. Como u ∈ a y a es absorbente tenemos 1 = uv ∈ a.
(iii) → (i). Sea x ∈ A. Como 1 ∈ a y a es absorbente tenemos x = x · 1 ∈ a. 
Una consecuencia inmediata es la siguiente:
Corolario 3.9 (Criterio para ser campo). Un anillo A es campo si y solo si (0) es su
único ideal propio.
40
 Un ideal m de A se dice maximal si es propio y ningún otro ideal propio lo contiene. Es
decir, no hay otros ideales entre m y A.
Teorema 3.10 (Krull). Sea A un anillo no trivial. Existe algún ideal maximal en A.
Demostración. Sea
X = {a ⊆ A : a es ideal propio de A}.
Dado que A no es el anillo trivial, tenemos (0) ∈ X , por lo que X no es vacı́o. El conjunto
X es parcialmente ordenado por inclusiones. Toda cadena es acotada en X : si aj ∈ X
(para j ∈ I algún conjunto de ı́ndices) forman una cadena ordenada, entonces
[
a := aj
j∈I

es un ideal porque es unión anidada, y es propio porque 1 ∈

/ aj para cada j (ası́, 1 ∈
/ a). Esto
prueba que a ∈ X es una cota superior para la cadena aj , j ∈ I.
Estamos en condiciones de usar el Lema de Zorn2 y obtenemos que existe algún m ∈ X
que es maximal en X para inclusiones. Pero eso es justamente un ideal maximal de A. 
Corolario 3.11 (Krull relativo a un ideal). Sea A un anillo y a un ideal propio de A.
Entonces existe un ideal maximal m de A que contiene a a.
Demostración. Ver tarea. 
Una observación sencilla pero muy útil sobre ideales maximales es la siguiente
Lema 3.12. Un ideal m de A es maximal si y solo si A/m es un campo.
Demostración. A/m es un campo si y solo si su único ideal propio es el (0) (corolario
3.9). Concluimos por la correspondencia de los ideales en el cuociente (lema 3.6) 
Un ideal p de A es primo si y solo si es propio y cumple lo siguiente: para todo x, y ∈ A,
si xy ∈ p entonces x ∈ p o y ∈ p.
Lema 3.13. Un ideal p de A es primo si y solo si A/p es un dominio entero. En particular,
un anillo A es dominio entero si y solo si el ideal (0) es primo.
Demostración. p es propio si y solo si A/p es no-trivial. A/p es dominio entero si y
solo si para todo s, t ∈ A/p distintos de 0 se cumple st 6= 0, lo que significa que para todo
x, y ∈ A que no estén en p se cumple xy ∈ / p. Esto último es la misma condición que en la
definición de ideal primo. 
Corolario 3.14. Todo ideal maximal es primo.
Demostración. Sea m ideal maximal de A. Entonces A/m es campo, ası́ que es dominio
entero. Por lo tanto m es un ideal primo. 
Ejemplo. Todos los ideales de Z son de la forma nZ para algún n (todos los subgrupos
aditivos son ası́, y en este caso resulta que automáticamente son ideales).
Ideales maximales: Z/nZ es un campo si y solo si ±n es un número primo. Los ideales
maximales son los (p) con p un número primo.
2Como siempre, estamos felizmente usando el sistema de axiomas ZFC.
41
 Ideales primos: Z es dominio entero ası́ que (0) es un ideal primo. Fuera de ese caso,
los únicos n 6= 0 tal Z/nZ es dominio entero son de la forma ±p con p un número
primo. Ası́ que los ideales primos de Z son (0) y los (p) con p un número primo.
Lema 3.15 (Preimagen de primo es primo). Sea f : A → B morfismo de anillo y p ⊆ B
ideal primo. Entonces f −1 (p) es un ideal primo.
Demostración. Considerar la composición g = π ◦ f : A → B → B/p y notar que
B/p es dominio entero. El teorema del kernel da que A/ ker(g) es dominio entero pues
es isomorfo a un sub-anillo de B/p. Por lo tanto ker(g) es ideal primo en A. Finalmente:
ker(g) = f −1 (p). 
Observación. La preimagen de un maximal no siempre es maximal: por ejemplo, conside-
rar la inclusión f : Z → Q con el ideal maximal m = (0) ⊆ Q. En este caso f −1 ((0)) = (0) ⊆ Z
no es maximal en Z.
La dimensión de Krull de un anillo A es el mayor d (posiblemente infinito) tal que existe
una cadena de inclusiones estrictas de ideales primos p0 ( p1 ( · · · ( pd en A. Se anota
Kdim(A).
Ejemplo. Dos ejemplos sencillos:
Kdim(K) = 0 para todo campo K.
Kdim(Z) = 1 porque ya conocemos todos los ideales primos de Z y las cadenas más
grandes de primos son de la forma (0) ( (p).
2. Repaso: Teorı́a de Euclides
El contenido de esta sección es una presentación moderna de exactamente los mismos
argumentos que Euclides presentó en sus libros Elementos hace unos 2300 años.
En esta sección A es un dominio entero.
Una función Euclidiana es una función ν : A r {0} → Z≥0 que cumple que para todo
a, b ∈ A con b 6= 0 existen q, r ∈ A con a = qb + r tal que ν(r) < ν(b) o bien r = 0.
A es un dominio Euclidiano (DE) si tiene alguna función Euclidiana.
A es un dominio de ideales principales (DIP) si todos los ideales de A son principales.
x, y ∈ A son asociados si existe u ∈ A× con x = uy. Se escribe x ∼ y.
x ∈ A es irreducible si x ∈ / A× y los únicos divisores de x son asociados de x o
unidades.
x ∈ A es primo si el ideal (x) es primo. Es decir, es propio y para todo s, t ∈ A con
x|st se cumple que x|s o x|t.
A es un dominio de factorización única (DFU) si todo x ∈ A r (A× ∪ {0}) se escribe
como producto de irreducibles, y esta factorización es única salvo orden y asociados.
Lo primero es la siguiente versión abstracta del hecho que la división con resto da una buena
teorı́a del máximo común divisor.
Teorema 3.16. Si A es un DE, entonces es DIP.
Demostración. Sea ν : A r {0} → Z≥0 función Euclidiana. Sea a ⊆ A ideal no nulo.
Tomar x ∈ a tal que ν(x) = mı́nt∈a ν(t). Dado s ∈ a, sean q, r ∈ A dados por ν, es decir,
s = qx + r y además r = 0 o ν(r) < ν(x). Como r = s − qx ∈ a, la minimalidad de ν(x)
implica r = 0, es decir, s = qx. Por lo tanto a = (x). 
42
 Con respecto a la noción de elementos asociados, la siguiente caracterización es muy útil.
Lema 3.17. Sean x, y ∈ A. Tenemos x ∼ y si y solo si (x) = (y).
Demostración. Podemos asumir que x, y ∈ A son no nulos. Si x = uy con u ∈ A×
entonces (x) = (uy) = (y).
Si (x) = (y) entonces x ∈ (y) por lo cual existe s ∈ A con x = sy. Similarmente existe
t ∈ A con y = tx. Ası́ que xy = (sy)(tx) = stxy. Como A es dominio entero tiene la
propiedad de cancelación, y como xy 6= 0 obtenemos 1 = st. 
Las nociones de irreducibles y primos en un anillo están relacionadas:
Lema 3.18. En todo dominio entero A los primos son irreducibles.
Demostración. Sea x ∈ A primo y sea s un divisor. Entonces x = st para algún t.
Como x es primo, x|s o x|t. En el primer caso s = xy obteniendo x = st = xyt. Con esto
yt = 1 (cancelación porque es dominio entero) y ası́ t, y ∈ A× , por lo cual x ∼ s. En el
segundo caso, de forma similar se obtiene s ∈ A× . 
Los irreducibles de Z son, salvo signo, exactamente los números primos. Sin embargo,
Euclides notó que por motivos técnicos es mejor trabajar con elementos primos (quienes
generan ideales primos) en lugar de elementos irreducibles, y por eso demostró el Lema de
Euclides: Si un número primo p divide un producto de enteros ab, entonces p|a o bien p|b.
La demostración de Euclides usa su teorı́a del máximo común divisor, y copiando su
misma idea obtenemos
Lema 3.19 (Lema de Euclides para DIP). Sea A un DIP. Los irreducibles de A son
primos.
Demostración. Sea x ∈ A irreducible y notar que (x) A. Sea a ⊆ A un ideal con
(x) ⊆ a. Como A es DIP, a = (s) para algún s ∈ A, y ası́ s|x. Como x es irreducible, s ∈ A×
o s ∼ x. Luego a = A o a = (x). Por lo tanto (x) es un ideal maximal, ası́ que es primo. 
Vamos a querer hacer un argumento inductivo en un DIP. Para Z tenemos inducción (la
propiedad del buen orden), pero en general no. Sin embargo, será suficiente saber que los
DIP tienen la propiedad de cadenas ascendentes (“acc” por su sigla en inglés):
Lema 3.20 (Propiedad acc para DIP). Sea A un DIP y sea a1 ⊆ a2 ⊆ ... una cadena
ascendente de ideales en A. Entonces la cadena es estacionaria.
Demostración. Es una cadena ascendente ası́ que a = ∪j aj es un ideal. Como A es
DIP tenemos a = (x) para cierto x ∈ A. Entonces x ∈ ∪j aj por lo que existe algún m con
x ∈ am . Finalmente
a = (x) ⊆ am ⊆ am+1 ⊆ ... ⊆ a.

Más adelante veremos una gran generalización de esta idea: anillos Noetherianos.
Ahora estamos preparados para la parte final de la teorı́a de Euclides:
Teorema 3.21. Si A es un DIP, entonces es DFU.
43
 Demostración. Demostraremos existencia y unicidad de la factorización en irreduci-
bles. Por el lema de Euclides para DIP, los irreducibles son lo mismo que los primos.
Unicidad. Sean s1 , ..., sm y t1 , ..., tn primos de A con s1 · · · sm = t1 · · · tn . Como s1 |t1 · · · tn
y es primo, tenemos que s1 ∼ tj para algún j. A es un dominio entero y cancelando s1
obtenemos una relación similar con menos términos. Procedemos inductivamente.
Existencia. Sea Ω el conjunto de todos los ideales (x) con x ∈ A r (A× ∪ {0}) sin
factorización en primos. Por contradicción, suponga que Ω es no vacı́o.
Por el Lema acc para DIP y por el Lema de Zorn, hay algún x ∈ A r (A× ∪ {0}) tal
que (x) es maximal por contención en Ω y notamos que (x) no es ideal maximal porque x se
supone que no es primo.
Sea p ⊆ A ideal maximal que contiene a (x) y note que (x) p. Como A es DIP, p = (s)
para algún s ∈ A que es primo pues p es ideal primo. Ası́, sy = x con y ∈ A r (A× ∪ {0})
debido a que (x) p. Como s es primo, x 6∼ y ası́ que (x) (y). Por maximalidad de (x) en
Ω, y tiene factorización en primos, por lo cual x = sy también. Contradicción. 
Notamos que en la unicidad fue importante trabajar con elementos primos en lugar de
irreducibles. Finalmente hemos obtenido la siguiente versión de la teorı́a de Euclides:
DE ⇒ DIP ⇒ DF U.
No todo DIP es DE (pero los ejemplos no son tan sencillos), y no todo DFU es DIP (por
ejemplo, K[x, y] con K un campo —ya veremos suficiente teorı́a para justificar este ejemplo).
Cabe mencionar que el lema de Euclides es válido en más generalmente para DFU, pero la
demostración de DIP ⇒ DF U requerı́a el caso de un DIP antes de saber que todo DIP es
DFU. Por completitud, demostramos el caso de un DFU.
Lema 3.22. Sea A un DFU. Los irreducibles de A son primos.
Demostración. Sea x ∈ A irreducible. Sean s, t ∈ A con x|st. Entonces existe y ∈ A
tal que st = xy. Si y = 0 obtenemos s = 0 o t = 0, ası́ que x|s o x|t. Si y 6= 0 consideramos
la factorización única en irreducibles a ambos lados de st = xy, y vemos que x es asociado
con algún irreducible en la factorización de st. Ese irreducible está en la facorización de s o
de t por unicidad, ası́ que x|s o x|t. 
Algunos ejemplos de DE con su función Euclidiana. La verificación es sencilla3.
A = Z con ν(n) = |n|.
A = Z[i] con ν(a + bi) = a2 + b2 .
Si K es campo, A = K[x] con ν(f ) = deg(f ).

3. Localización de anillos
Volvemos a la teorı́a general de anillos.
Sea A un anillo. Un conjunto (o sistema) multiplicativo de A es un conjunto S ⊆ A que
es un monoide bajo la multiplicación de A. Es decir, se cumple que
Contiene al neutro: 1A ∈ S, y
Cerrado por multiplicción: para todo s, t ∈ S se tiene st ∈ S.
3Ver tarea.
44
Ejemplos.
Casos extremos: {1}, A, A − Z donde Z es el conjunto de divisores de cero en A.
S = A − p donde p es un ideal primo. En efecto: ∈ / p porque p es propio, y dados
x, y ∈
/ p se tiene que xy ∈
/ p.
Dado t ∈ A, el conjunto S = {1, t, t2 , ...}.
Dado un anillo A y un conjunto multiplictivo S definimos la siguiente relación en A × S:
(a, s) ∼S (a0 , s0 ) ⇔ ∃t ∈ S tal que t · (as0 − a0 s) = 0.
Lema 3.23. Se tiene que ∼S es relación de equivalencia en A × S.
Demostración. Rutina. Por ejemplo, veamos la más complicada que es la propiedad
transitiva: si (a, s) ∼S (a0 , s0 ) y (a0 , s0 ) ∼S (a00 , s00 ), digamos t·(as0 −a0 s) = 0 y t0 ·(a0 s00 −a00 s0 ) =
0 con t, t0 ∈ S, entonces definimos t0 := tt0 s0 ∈ S y se cumple
t0 · (s00 a − sa00 ) = tt0 s0 s00 a − tt0 ss0 a00 ; ahora sumar y restar tt0 ss00 a0
= tt0 s00 (s0 a − sa0 ) + tt0 s(s00 a0 − s0 a00 )
= t0 s00 · 0 + ts · 0 = 0.

Definimos el siguiente conjunto:
AS = S −1 A := A × S/ ∼S .
El elemento [(a, s)] ∈ AS se denota por a/s. En AS definimos las siguientes operaciones:
a b ta + sb
+ :AS × AS → AS , + :=
s t st
a b ab
· :AS × AS → AS , · := .
s t st
Estrictamente hablando, no es evidente que estén bien definidas porque estas definiciones
dependen de la elección de representante de clase.
Lema 3.24. Las operaciones + y · en AS están bien definidas.
Demostración. Nuevamente es una verificación rutinaria. Haremos el caso de · sola-
mente: sean a/s = a0 /s0 y b/t en AS . Existe r ∈ S tal que r(s0 a − sa0 ) = 0. Entonces:
r · (s0 tab − sta0 b) = r(s0 a − sa0 )tb = 0 · tb = 0
por lo que ab/(st) = a0 b/(s0 t). 
Teorema 3.25 (Teorema de localización). La estructura (AS , 0/1, 1/1, +, ·) es un anillo,
y la función λS : A → AS dada por λ(a) = a/1 es un morfismo de anillos.
Demostración. Para lo primero basta chequear los axiomas de anillo. Es una verifica-
ción directa y lo dejamos como ejercicio a la lectora.
Ver que λS es morfismo de anillos también es directo. Veamos el caso de la suma:
a b 1·a+1·b a+b
λS (a) + λS (b) = + = = = λS (a + b).
1 1 1·1 1

45
 El anillo AS se llama anillo localizado con respecto a S (o anillo de fracciones con respecto
a S) y el morfismo de anillos λS : A → AS se llama morfismo de localización. El ejemplo
clave para tener en mente es el siguiente:
Ejemplo. Para A = Z tomamos S = Z − {0}. Entonces AS = Q y λS es simplemente la
inclusión de Z en Q. Obviamente no es sobreyectivo.
El morfismo de localización no siempre es inyectivo.
Lema 3.26 (Inyectividad de la localización). Sea S un sistema multiplicativo en A. Te-
nemos que λS : A → AS es inyectivo si y solo si S no contiene divisores de cero.
Demostración. ⇒ Asumir que S no contiene divisores de 0. Si λS (a) = 0 entonces
a/1 = 0/1 lo que significa que existe s ∈ S con 0 = s(1 · a − 1 · 0) = sa. Entonces a = 0
porque s no es divisor de cero.
⇐ Sea s ∈ S un divisor de cero. Entonces existe a 6= 0 en A con sa = 0. Ası́ que
λS (a) = a/1 = 0/1 porque s(1 · a − 1 · 0) = sa = 0. 
Pasamos ahora a los dos teoremas fundamentales sobre localización de anillos
Teorema 3.27 (Propiedad universal de la localización). Sea A un anillo y sea S un
sistema multiplicativo en A. Dado f : A → B morfismo de anillos con la propiedad que
f (s) ∈ B × para todo s ∈ S, se cumple que existe una única f˜ : AS → B tal que el siguiente
diagrama conmuta:
f
A B
f˜
λS

AS
Es decir, existe una única f˜ : AS → B tal que f = f˜ ◦ λS .
Demostración. Existencia. Definimos f˜(a/s) := f (s)−1 f (a) lo cual tiene sentido por-
que f (s) ∈ B × . Esto depende de elección de representantes de clase para a/s ∈ AS ası́ que
lo primero es ver si f˜ está bien definida:
Si a/s = a0 /s0 entonces existe t ∈ S con t(sa0 − s0 a) = 0. Aplicando f obtenemos
f (t)(f (s)f (a0 ) − f (s0 )f (a)) = 0. Como f (t) ∈ B × podemos multiplicar por f (t)−1 para
obtener f (s)f (a0 ) = f (s0 )f (a). Como f (s), f (s0 ) ∈ B × concluimos f (s)−1 f (a) = f (s0 )−1 f (a0 ).
Por lo tanto f˜ está bien definida.
Ahora, sea a ∈ A. Tenemos f˜ ◦ λS (a) = f˜(a/1) = f (1A )−1 f (a) = 1−1 B f (a) = f (a) por lo
que el diagrama conmuta.
Finalmente hay que verificar que f˜ es morfismo de anillo. Eso es rutina; por ejemplo
veamos la multiplicación:
f˜((a/s)(a0 /s0 )) = f˜(aa0 /(ss0 )) = f (ss0 )−1 f (aa0 ) = f (s)−1 f (a)f (s0 )−1 f (a0 ) = f˜(a/s)f˜(a0 /s0 ).
Unicidad. Sea g : AS → B tal que g ◦ λS = f . Dado a/s ∈ AS tenemos g(a/1) =
g(λS (a)) = f (a) y g(s/1) = g(λS (s)) = f (s). Como (s/1)−1 = 1/s y g es morfismo de
anillos, obtenemos a 
g(a/s) = g · (s/1)−1 = f (a)f (s)−1
1
˜ ˜
por lo que g = f de la manera que f fue construida antes. 
46
 Teorema 3.28 (Ideales en localización). Sea A un anillo y S un sistema multiplictivo
en A.
(i) Dado a ideal de A se tiene que (λS (a)) = {a/s : a ∈ a, s ∈ S}
(ii) Todo ideal de AS es generado por un ideal de A en el siguiente sentido: dado b ideal
de AS , definimos el ideal a = λ−1
S (b) de A y obtenemos b = (λS (a)).
(iii) El morfismo de localización λS : A → AS induce la siguiente biyección a nivel de
ideales primos:
{p ⊆ A : p es primo y p ∩ S = ∅} ←→ {q ⊆ AS : q es primo}
Ψ : p 7→ (λS (p))
λ−1
S (q) ←[ q : Φ.

Demostración. (i) Es claro que λS (a) ⊆ {a/s : a ∈ a, s ∈ S} ⊆ (λS (a)), y el conjunto

en cuestión es ideal.
(ii) Notar que (λS (a)) = (λS (λ−1 S (b))) ⊆ (b) = b. Recı́procamente, sea a/s ∈ b, por
absorbencia tenemos a/1 ∈ b y notamos que a/1 ∈ λS (λ−1 S (b)) = λS (a). Por lo tanto
a/s = (a/1)(1/s) ∈ (λS (a)).
(iii) Φ bien definida. Dado q ideal primo de AS tenemos que λ−1 S (q) es ideal primo de
A, porque λS es morfismo de anillos (cf. lema 3.15). Además q no contiene inversibles (es
primo) y por ende λ−1 S (q) no intersecta a S.
Ψ bien definida. Dado p ideal primo de A que no intersecta a S definimos q = (λS (p)).
Como p no intersecta a S, de (i) vemos que 1 ∈ / q ası́ que q es propio. Veamos que q es primo:
sean a/s, b/t ∈ AS con ab/(st) ∈ q. Por (i) existe c ∈ p y r ∈ S con ab/(st) = c/r. Luego,
existe u ∈ S con u(rab − stc) = 0 y por ende urab = ustc ∈ p. Como p es primo alguno de
los factores u, r, a, b está en p, pero como p ∩ S = ∅ tenemos que a o b está en p. Por (i),
tenemos que a/s o b/t está en q, ası́ que es primo.
ΨΦ = Id Sea q primo de AS . Entonces Ψ(Φ(q)) = q por (ii) —de hecho, no necesitamos
que sea primo, esto es verdad con cualquier ideal.
ΦΨ = Id Sea p primo de A que no intersecta a S. Sea q = (λS (p)), que ahora sabemos
que es primo de AS . Claramente p ⊆ λ−1 −1
S (q) y solo falta la otra inclusión. Sea a ∈ λS (q), es
decir, a/1 ∈ q. Por (i) existe b ∈ p y s ∈ S con a/1 = b/s, por lo que existe t ∈ S que cumple
t(sa − 1b) = 0. Ası́, sta = tb ∈ p y como es un primo que no corta a S obtenemos a ∈ p. 
Finalmente, veremos tres casos particularmente interesantes:
Primer ejemplo clave. Si A es dominio entero tomamos S = A − {0} y definimos
Frac(A) = AS . Por el lema anterior el morfismo de localización A → Frac(A) es inyecti-
vo.
Lema 3.29. Sea A un dominio entero. Entonces Frac(A) es un campo que contiene a A.
Demostración. Dado a/s 6= 0 en AS basta chequear que a 6= 0 en A y concluir que
s/a es el inverso de a/s. Dejamos la verificación a la lectora.
El morfismo de localización A → Frac(A) es inyectivo, ası́ que Frac(A) contiene a A en
el sentido que A es isomorfo a su imagen via la función a 7→ a/1. 
Para un dominio entero A, el campo Frac(A) se llama campo de fracciones de A. Es
exactamente la manera en que se construye Q a partir de Z.
47
 Segundo ejemplo clave. Sea t ∈ A. Tomar S = {1, t, t2 , ...}. Escribimos AS = At . Los
elementos de At son de la forma a/tn con n ≥ 0 (con la convención que t0 = 1). El morfismo
de localización λS : A → At es inyectivo si y solo si t no es divisor de 0.
Por ejemplo, en A = Z con t = 10 tenemos que
At = {n/m : n, m ∈ Z, y m es de la forma 2i · 5j } = Z[2−1 , 5−1 ] ⊆ Q.
En general, podemos invertir finitos elementos de un anillo A construyendo el anillo At donde
t es el producto de los elementos que queremos invertir. Sin embargo, debido a los divisores
de cero, el resultado no siempre es lo que uno esperarı́a.
Por ejemplo tomemos A = Z/6Z con t = 3. Entonces en At tenemos que 3 ∈ S por lo cual
3 · (1 · 2 − 1 · 0) = 0 que se traduce en λS (2) = 0, por lo que 2 ∈ ker(λS ). Además λS (1) 6= 0
porque x · (1 · 1 − 1 · 0) = 0 solo tiene la solución x = 0 ∈/ S, por lo que ker(λS ) 6= A. Esto
implica ker(λS ) = (2) = {0, 2, 4}. Finalmente 1/3 = 3/9 = 3/3 = 1/1 ∈ At , lo que implica
que para todo elemento de At
a a
= ∈ im(λS ).
3n 1
Ası́ que λS : A → At en este ejemplo es sobreyectiva y obtenemos At ' A/ ker(λS ) ' Z/2Z.
Bajo este isomorfismo, el morfismo de localización es Z/6Z → Z/2Z dado por 1 mód 6 7→
1 mód 2 (es morfismo de anillos).
Tercer ejemplo clave. Sea p ideal primo de un anillo A. Tomar S = A − p. Se anota Ap
en lugar de AS .
Para enunciar el siguiente resultado, recordamos que un anillo local es un anillo con
exactamente un ideal maximal.
Lema 3.30. Sea A un anillo y p un ideal primo de A. Entonces Ap es un anillo local. Su
único ideal maximal es (λS (p)).
Demostración. Inmediato por la correspondencia de ideales primos en la localización,
y del hecho que todo maximal es primo. 
Por ejemplo, con A = Z y p = (3) obtenemos que
Ap = {m/n : m, n ∈ Z y 3 - n} ⊆ Q.
Este anillo es local y su único ideal maximal es m = {m/n : 3|m y 3 - n} = 3Ap .
Notamos finalmente que si A es un dominio entero entonces p = (0) es primo, y se
cumple Frac(A) = A(0) . Entonces el “primer ejemplo clave” en realidad es un caso particular
del “tercer ejemplo clave”.

4. Álgebras y anillos de polinomios

Álgebras. Sea A un anillo. Un A-álgebra es un morfismo de anillos u : A → B; nor-
malmente se omite u de la notación. Si B es un A-álgebra entonces podemos multiplicar
elementos de B por elementos de A vı́a u.
Decimos que B es un A-álgebra finitamente generada (o de tipo finito) si existen finitos
b1 , ..., bn ∈ B tal que A y los bj generan a B como anillo.
Un morfismo de A-álgebras φ : B → C es lo obvio: un morfismo de anillos que es A-lineal.
Notamos que si B es un A-álgebra, en general podrı́a ocurrir que la imagen de A en B
no es isomorfa a A.
48
 Ejemplos.
Todo anillo es una Z-álgebra. Por ejemplo, Z/nZ es Z-álgebra (y no contiene a Z).
Si L/K es una extensión de campos, entonces L es una K-álgebra.
K[x] es una K-álgebra.
Si a es ideal de A entonces B = A/a es A-álgebra.
Si S es sistema multiplicativo de A, entonces AS es A-álgebra.
Polinomios. Sea A un anillo y sea X un conjunto. Sea MX el monoide multiplicativo
libre abeliano generado por X, es decir, el conjunto de productos (conmutativos) formales
de elementos de X. El producto vacı́o es el neutro 1MX ∈ MX .
Ejemplo: X = {x} un solo elemento. Entonces MX = {1, x, xx, ...} ' N0 como monoides
(de multiplicativo a aditivo).
Se define A[X] como el conjunto de todas las sumas formales finitas a coeficientes en A
de elementos de MX . Definido de esta manera, A[X] es un anillo conmutativo unitario. Se
llama el anillo de polinomios sobre A con variables (o indeterminadas) X.
Notar que A es un sub-anillo de A[X] por medio de la inclusión a 7→ a · 1MX . Vamos a
identificar a A con su imagen en A[X]. Ası́, A[X] es un A-álgebra.
Los elementos de X vistos como elementos del anillo A[X] no satisfacen relaciones de
ningún tipo entre ellos, solo aparecen como variables. O dicho de otra forma:
Lema 3.31 (Escritura única). f ∈ A[X] es 0 si y solo si todos sus coeficientes son 0.
Demostración. Viene de la construcción de A[X], pues se trata de sumas formales. 

Ejemplos.
Si X = ∅ entonces A[∅] = A.
Si A = K es un campo y X = {x} tiene como único elemento la variable x, entonces
A[X] = K[x] es el anillo de polinomios en la variable x y coeficientes en K que ya
hemos estudiado anteriormente.
Si X = x1 , ..., xn consiste de n > 1 variables distintas, entonces

A[x1 , ..., xn−1 ][xn ] = A[x1 , ..., xn ].

Mis anillo favoritos son Z y Z[x].

Los anillos de polinomios nos permiten obtener muchos ejemplos de anillos. Por eso
es importante entenderlos. Lo primero es la propiedad más importante de los anillos de
polinomios:
Teorema 3.32 (Propiedad universal de los anillos de polinomios). Sea X un conjunto,
F : A → B un morfismo de anillos y θ : X → B una función cualquiera. Existe un único
morfismo de anillos φ : A[X] → B tal que φ|A = F y φ|X = θ.
Demostración. Unicidad. A[X] es generado como anillo por A y por X. Ası́ que las
condiciones φ|A = F y φ|X = θ determinan completamente a φ : A[X] → B.
Existencia. θ se extiende a θ̃ : MX → B por multiplicatividad, pidiendo θ̃(1MX ) = 1B .
Como B es abeliano, la extensión θ̃ es bien definida.
49
 P
Dado f = m∈MX am m con aj ∈ A definimos
X
φ(f ) = F (am )θ̃(m) ∈ B.
m∈MX

Por el lema de escritura única, φ es bien definida. Finalmente hay que chequear que φ :
A[X] → B es morfismo dePanillos. Esto es rutinario,
P solo haremos el caso difı́cil que es el
producto: escribiendo f = m∈MX am m y g = m∈MX bm m obtenemos
! ! !
X X X X
φ(f g) = φ am bm0 n = F am bm0 θ̃(n)
n∈MX mm0 =n n∈MX mm0 =n
!
X X
= F (am )F (bm0 )θ̃(m)θ̃(m0 ) = φ(f )φ(g).
n∈MX mm0 =n


Corolario 3.33 (Álgebras de tipo finito). Sea B un A-álgebra. Si B es finitamente
generado como A-álgebra, entonces existe n ≥ 1 y un ideal a ⊆ A[x1 , ..., xn ] (con xj indeter-
minadas) tal que hay un isomorfismo de A-álgebras B ' A[x1 , ..., xn ]/a.
Demostración. Sean b1 , ..., bn los generadores de B como A-algebra. Por la PU de los
polinomios existe un único morfismo de A-álgebras φ : A[x1 , ..., xn ] → B con φ(xj ) = bj . Es
sobreyectivo y podemos tomar a = ker(φ). 
Lema 3.34 (Ideales de polinomios que vienen de los coeficientes). Sea a ideal de A. El
ideal de A[X] generado por a es
( fin. )
X
a[X] := am m : am ∈ a ∀m ∈ MX .
m∈MX

Demostración. a[X] contiene a a y todo ideal que contiene a a debe contener a a[X].
Finalmente uno verifica que a[X] es ideal en A[X]. 
Lema 3.35 (Cuociente por ideal de los coeficientes). Sea a ideal de A. Entonces
A[X]/(a · A[X]) ' (A/a)[X].
Demostración. Inmediato del lema anterior. Por PU de polinomios tenemos
A[X] → (A/a)[X].
Uno calcula que el kernel es exactamente a[X] definido en el lema anterior. 
Lema 3.36 (Localización por coeficientes). Sea S ⊆ A sistema multiplicativo. Entonces
S también es sistema multiplicativo en A[X] y se cumple A[X]S ' AS [X]. Más aun, los
morfismos ψ : A[X]S → AS [X] y φ : AS [X] → A[X]S vienen de las PU de localización y PU
de los anillos de polinomios.
Demostración. ψ existe porque el morfismo A[X] → AS [X] (PU polinomios) cumple
que la imagen de S es inversible (entonces aplicar PU localización). φ existe porque la imagen
de S por medio de A → A[X]S es inversible de modo que tenemos el morfismo AS → A[X]S
(PU localización) y luego el morfismo AS [X] → A[X]S (PU polinomios). Finalmente basta
chequear que φ y ψ son inversas, pero eso es directo de las fórmulas. 
50
 Veremos algunas aplicaciones particularmente interesantes para anillos DFU.
Sea A un DFU, sea K = Frac(A) su campo de fracciones y sea x una variable. Tenemos
Lema 3.37 (Lema de Gauss). Sea A un DFU. Sea 0 6= f ∈ A[x] tal que ningún irreducible
de A divide a todos sus coeficientes. Entonces f es irreducible en A[x] si y solo si es irreducible
en K[x].
Demostración. La demostración es idéntica al Lema de Gauss clásico para Z[x] y Q[x],
pues solo se usa que Z es DFU y que Q = Frac(Z). Como ese caso fue hecho en la Tarea 1,
omitimos los detalles. 
Cuando A es DFU también hay un análogo directo del Criterio de Eisenstein (ver Tarea
1). Dejamos los detalles como ejercicio; basta copiar del caso Z[x] porque la demostración
solo usa el hecho que Z es DFU.
Veamos ahora un par de cosas nuevas.
Lema 3.38 (Irreducibles que vienen del anillo de coeficientes). Sea A dominio entero.
(i) A× = A[x]× .
(ii) Si s ∈ A es irreducible, entonces también es irreducible en A[x].
Demostración. Ver grados. Alternativamente, (i) viene del caso general en la Tarea 3,
y (ii) viene de (i). 
Teorema 3.39 (Transferencia de la propiedad DFU en polinomios). Si A es DFU, en-
tonces A[x] también lo es.
Demostración. Sea 0 6= f ∈ A[x]. Queremos mostrar que tiene factorización única en
irreducibles de A[x].
Existencia. Factorizando de los coeficientes (A es DFU) podemos escribir f = a1 f1 donde
a1 ∈ A y f1 ∈ A[x] tal que los únicos divisores de f1 en A están en A× .
Si f1 es irreducible terminamos. Si no, f1 = f2 f3 con f2 , f3 ∈ A[x] que no pertenecen a A
(es decir, tienen grado < degx (f1 )), debido a la definición de a1 . Repetimos todo el proceso
con f2 , f3 obteniendo a2 , a3 ∈ A, etc.
Poner f0 = f . Cada fj con j > 0 tiene grado estrictamente menor que alguno de los
anteriores. Ası́ que el proceso termina y obtenemos f = af1 f2 · · · fn con a ∈ A y los fj ∈ A[x]
irreducibles que no están en A. Como A es DFU, a se puede factorizar en irreducibles de A,
y estos son irreducibles en A[x] (ver lema anterior).
Unicidad. Tomemos dos factorizaciones f = af1 f2 · · · fn = bg1 g2 · · · gk con a, b ∈ A y los
fj , gj ∈ A[x] irreducibles que no están en A.
Primero, a = ub para algún u ∈ A× . De lo contrario, como A es DFU, hay algún
irreducible s ∈ A con s|a y s - b (o s - a y s|b, que funciona igual). Entonces s|gj para algún
j y como s y gj son irreducibles en A[x] llegamos a s = gj . Contradicción porque gj ∈ / A.
La factorización de a en irreducibles es única porque A es DFU, y solo falta probar que
uf1 f2 · · · fn = g1 g2 · · · gk son la misma factorización salvo orden y factores de A× .
Por el Lema de Gauss, los fj y los gj son irreducibles en K[x].
K[x] es DE, en particular es DFU. Viendo uf1 f2 · · · fn = g1 g2 · · · gk ahora en K[x], vemos
que k = n y reordenando obtenemos fj = αj gj para algunos αj ∈ K × . Escribimos αj = sj /tj
con sj , tj ∈ A coprimos (A es DFU). Obtenemos tj fj = sj gj y vemos que sj |fj y tj |gj . Como
fj , gj son irreducibles obtenemos sj , tj ∈ A× . 
51
 Ejemplos.
Si K es un campo, entonces K[x1 , ..., xn ] es DFU para todo n. En efecto, K[x1 ] es
DFU (de hecho, es DE), ası́ que K[x1 , x2 ] = (K[x1 ])[x2 ] también lo es. Seguir ası́.
Ahora por fin tenemos un ejemplo de DFU que no es DIP: A = K[x1 , x2 ] con K un
campo. En efecto, a = (x1 , x2 ) no es principal porque si 0 6= f ∈ K[x1 , x2 ] cumple
f |x1 y f |x2 entonces f ∈ K × , pero 1 ∈
/ a.
Z[x1 , ..., xn ] es DFU.
Ejemplo numérico. En C[x, y] factoricemos f = x4 − y 6 en irreducibles.
f = (x2 − y 3 )(x2 + y 3 )
g = x2 + y 3 . Visto como elemento de K[x] con K = C(y) es irreducible: es cuadrático
sin raı́ces ya que −y 3 no es un cuadrado.
Ası́ que x2 + y 3 es irreducible en C[x, y] por Gauss. Similarmente x2 − y 3 .

5. Anillos Noetherianos
Sea (X, ≤) un conjunto parcialmente ordenado. Decimos que X tiene la propiedad de
cadenas ascendentes (acc por sus siglas en inglés) si toda secuencia x1 ≤ x2 ≤ ... es esta-
cionaria: es decir, existe un i0 tal que xi0 = xi0 +1 = xi0 +2 = · · · . Dicho de otra forma, toda
cadena estrictamente ascendente x1 < x2 < ... es finita.
Un anillo A es Noetheriano 4 si el conjunto de sus ideales (ordenados por inclusión) tiene
la acc. Es decir, toda cadena ascendente de ideales a1 ⊆ a2 ⊆ ... es estacionaria.
Ejemplo. Todo DIP es Noetheriano (ver lema 3.20). En particular, Z es Noetheriano y si
K es un campo entonces K y K[x] son Noetherianos.
Más generalmente, tenemos
Lema 3.40 (Caracterización de anillos Noetherianos). Sea A un anillo. Son equivalentes:
(i) A es Noetheriano, es decir, sus ideales cumplen la acc.
(ii) Todo conjunto no-vacı́o de ideales de A tiene algún elemento maximal.
(iii) Todo ideal de A es finitamente generado.
Demostración. (i) → (ii). Sea X una colección no vacı́a de ideales de A. Los ordenamos
parcialmente por inclusiones. Dada una cadena ascendente, como es estacionaria (acc) vemos
que es acotada en X. Por el Lema de Zorn, X tiene algún elemento maximal.
(ii) → (iii). Sea a un ideal. Sea s1 ∈ a y para cada j definimos sj+1 ∈ a − (s1 , ..., sj )
siempre que sea posible. Esto da una cadena estrictamente creciente de ideales
(s1 ) ( (s1 , s2 ) ( · · · ( (s1 , ..., sj ) ( · · ·
La totalidad de estos ideales forma una colección no vacı́a X y debe tener un elemento
maximal. Como la cadena es estrictamente creciente, esto siginifica que es finita. Si el último
término ocurre con j = j0 , obtenemos a = (s1 , ..., sj0 ).
(iii) → (i). Sea a1 ⊆ a2 ⊆ ... una cadena ascendente de ideales y sea a = ∪j aj , que es
un ideal porque es unión anidada de ideales. Por (iii) podemos escribir a = (t1 , ..., tn ) para
4En honor a Emmy Noether (1882-1935), madre del álgebra moderna. No confundir con su papá Max
Noether, que también fue matemático. Max Noether fue un muy destacado matemático, pero sin duda su
contribución más grande a la matemática fue justamente traer al mundo a su hija.
52
ciertos tj ∈ A. Cada tj está en algún ai ası́ que existe i0 tal que tj ∈ ai0 para cada j = 1, ..., n.
Finalmente,
ai0 ⊆ ∪j aj = a = (t1 , ..., tn ) ⊆ ai0
por lo que a = ai0 . Ası́, ai = ai0 para todo i ≥ i0 . 

Observaciones.
Todos los DIP cumplen (ii). Ası́ que el lema 3.40 generaliza el lema 3.20.
Ese elemento maximal del punto (iii) podrı́a no ser un ideal maximal de A. Solamente
es maximal en el conjunto de ideales considerado.
Ejemplo. Sea K un campo y A = K[x1 , x2 , ...] el anillo de polinomios en las variables
X = {x1 , x2 , ...}. Entonces A es DFU: dado cualquier f ∈ A existe n tal que f ∈ An :=
K[x1 , ..., xn ] ⊆ A y podemos usar la factorización única en An . Sin embargo, A no es Noet-
heriano. Por ejemplo, la secuencia de ideales an = (x1 , ..., xn ) no es estacionaria.
La propiedad Noetheriana es muy conveniente como hipótesis en demostraciones (como ya
vimos al desarrollar la teorı́a de Euclides), y tiene gran compatibilidad con las construcciones
que hemos estudiado.
Lema 3.41 (Noetherianidad pasa al cuociente). Sea A un anillo y a un ideal de A. Si A
es Noetheriano entonces A/a también lo es.
Demostración. Viene de la correspondencia entre los ideales de A/a y los ideales de
A que contienen a (cf. lema 3.6). 
Lema 3.42 (Noetherianidad pasa a localizaciones). Sea A un anillo y S sistema multi-
plicativo de A. Si A es Noetheriano entonces AS también lo es.
Demostración. Sea b1 ⊆ b2 ⊆ ... una cadena ascendente de ideales en AS . Para cada j
definimos aj = λ−1
S (bj ). Entonces los aj forman una cadena ascendente en A, y es estacionaria
porque A es Noetheriano. Como bj = (λS (aj )) (cf. teorema 3.28) obtenemos que la cadena
de los bj es estacionaria. 

Otra transferencia muy importante de la propiedad Noetheriana ocurre con anillos de

polinomios:
Teorema 3.43 (Teorema de la base de Hilbert). Si A es Noetheriano, entonces A[x]
también lo es.
Demostración. Demostraremos que todo ideal de A[x] es finitamente generado. Sea
b 6= (0) ideal de A[x]. Por contradicción, suponga que b no es finitamente generado.
Sea 0 6= f1 ∈ b con grado minimal, y para cada j elegimos fj+1 ∈ b−(f1 , ..., fj ) con grado
minimal. Como b no es finitamente generado, la secuencia fj es infinita y obtenemos una
cadena infinita estrictamente creciente de ideales bj = (f1 , ..., fj ) de A[X], todos contenidos
en b. Además, escribimos dj = degx fj y notamos que d1 ≤ d2 ≤ ...
Para cada j sea cj ∈ A el coeficiente dominante de fj (coeficiente del xdj en fj ). Sea
c ⊆ A el ideal generado por los cj . Como A es Noetheriano, existe n tal que
c = (c1 , c2 , ...) = (c1 , ..., cn ) ⊆ A.
53
Ponemos atención a fn+1 . Dado que cn+1 ∈ (c1 , ..., cn ), existen a1 , ..., an ∈ A con cn+1 =
a1 c1 + ... + an cn . Definimos el siguiente polinomio (recordar que los di no decrecen):
g = a1 xdn+1 −d1 f1 + a2 xdn+1 −d2 f2 + ... + an xdn+1 −dn fn ∈ bn .
El polinomio g cumple que su término dominante es cn+1 xdn+1 , igual que el de fn+1 . Por lo
tanto, definiendo h = fn+1 − g vemos que degx h < dn+1 . Por construcción, h ∈ b − bn y
tiene grado más pequeño que fn+1 , lo que contradice la definición de fn+1 . 
Corolario 3.44 (Los anillos Noetherianos abundan). Sea A un anillo Noetheriano.
Toda A-álgebra finitamente generada es un anillo Noetheriano. En particular:
(i) Si A es Noetheriano, A[x1 , ..., xn ] también para todo n.
(ii) Si B es un anillo finitamente generado, entonces es Noetheriano.
(iii) Si para algún campo K se cumple que B es una K-álgebra finitamente generada,
entonces B es Noetheriano.
Demostración. Aplicando repetidas veces el teorema de la base de Hilbert, obtenemos
que A[x1 , ..., xn ] = A[x1 , ..., xn−1 ][xn ] es Noetheriano para todo n. Sus cuocientes también,
por el lema 3.41. Concluimos por el corolario 3.33. 
Observación. Anteriormente vimos que K[x] es DIP (porque es DE) pero que K[x1 , x2 ]
no es DIP, es decir, no todos los ideales de K[x1 , x2 ] son principales. Sin embargo, ahora
sabemos que en K[x1 , ..., xn ] todos los ideales son finitamente generados, que para varios
propósitos es igual de útil que trabajar con ideales principales.
Nota histórica. David Hilbert demostró su teorema de la base en 1890, en el caso de
anillos K[x1 , ..., xn ]. La demostración fue muy controversial para su época, porque decı́a que
los ideales en cuestión eran finitamente generados, pero la demostración no daba ninguna
pista sobre cómo encontrar los generadores: era una demostración no-constructiva.
Hilbert envió su artı́culo a la prestigiosa revista Mathematische Annalen (que funciona
hasta el dı́a de hoy). Cuenta la historia que el matemático Paul Gordan, contemporáneo de
Hilbert y experto en el tema, al ser consultado por los editores de la revista sugirió no publicar
el artı́culo argumentando que estaba mal presentado, incompleto, y agregó a su reporte la
famosa frase “Das ist nicht Mathematik. Das ist Theologie.” (Eso no es matemática. Es
teologı́a.)
Por otro lado, Felix Klein (otro experto en el tema) logró ver lo revolucionario del artı́culo
de Hilbert y recomendó a la revista que el artı́culo sea publicado. Al final, Mathematische
Annalen siguió el consejo de Klein y publicó el artı́culo.
Tiempo después la comunidad matemática reconoció el profundo impacto del teorema de
Hilbert. Gordan posteriormente declaró “me he convencido que incluso la teologı́a tiene sus
méritos”.

54
 Capı́tulo 4

Teorı́a de módulos: álgebra lineal sobre anillos

1. Módulos y exactitud
Dado un anillo A, un A-módulo (o simplemente módulo si el anillo está claro del contexto)
es un grupo abeliano (M, 0, +) junto a una función · : A × M → M que cumple
1A actúa como IdM . Es decir, 1A · v = v para todo v ∈ M .
Para todo s, t ∈ A y v ∈ M se tiene (st) · v = s · (t · v).
Para todo s, t ∈ A y v ∈ M se tiene (s + t) · v = s · v + t · v.
Para todo s ∈ A y v, w ∈ M se tiene s · (v + w) = s · v + s · w.
Si M es un A-módulo, un submódulo N ≤ M es un subconjunto que hereda una estructura
de A-modulo desde M .
Ejemplos.
(0) es un A-módulo con las operaciones triviales.
Sea K un campo. Los K-módulos son exactamente los K-espacios vectoriales.
Los Z-módulos son exactamente los grupos abelianos.
A es un A-módulo para todo anillo A.
Los submódulos de A visto como A-módulo son exactamente los ideales de A.
Si M, N son A-módulos, M × N es un A-módulo con operaciones en coordenadas.
Los A-módulos se comportan de forma muy familiar en relación a construcciones básicas.
Lema 4.1 (Intersecciones y uniones anidadas). Sea M un A-módulo. Sea J un conjunto
no vacı́o de ı́ndices y sea Nj ≤ M para cada j ∈ J.
(i) ∩j Nj es un submódulo de M .
(ii) Si J es totalmente ordenado y para cada i < j se cumple Ni ≤ Nj entonces ∪j Nj es
submódulo de M .
Sea M un A-módulo y T ⊆ M un subconjunto. Se define
\
(T ) = N, N submódulo de M .
T ⊆N

Por el lema anterior (T ) es un submódulo de M , llamado el submódulo generado por T .

Lema 4.2 (Submódulo generado visto en elementos). Sea M un A-módulo y sea T ⊆ M
un subconjunto. Entonces
( )
X
(T ) = aj tj : aj ∈ A, tj ∈ T .
finita

Un morfismo de A-módulos f : M → N es una función entre A-módulos M y N que

es morfismo de grupos aditivos y es A-lineal. Veremos a continuación algunos resultados
55
básicos. Sus demostraciones son completamente rutinarias (como en el caso de grupos o de
anillos e ideales).
Lema 4.3 (Imagen y kernel). Sea f : M → N un morfismo de A-módulos.
ker(f ) es un submódulo de M .
im(f ) es un submódulo de N .
Teorema 4.4 (Módulo cuociente). Sea M un A-módulo y N ≤ M un submódulo. El
grupo cuociente M/N hereda una estructura de A-módulo por medio de la regla a · v := av
para todo a ∈ A y v ∈ M . Esta es la única estructura de A-módulo en M/N tal que la
función cuociente π : M → M/N es morfismo de A-módulos.
Teorema 4.5 (Correspondencia de submódulos en el cuociente). Sea M un A-módulo y
N ≤ M un submódulo. Tenemos una correspondencia biyectiva que preserva inclusiones
{P ⊆ M : submódulo con N ⊆ P } ←→ {Q ⊆ M/N : submódulo}
P 7→ π(P )
−1
π (Q) ←[ Q.
Teorema 4.6 (Teorema de isomorfismo). Sea f : M → N un morfismo de A-módulos.
Existe un único morfismo de A-módulos f¯ : M/ ker(f ) → N tal que f = f¯ ◦ π, es decir, tal
que el siguiente diagrama conmuta:
f
M N
f¯
π

M/ ker(f )

Además, f¯ es inyectiva e induce un isomorfismo M/ ker(f ) ' im(f ).

Veremos ahora dos generalizaciones distintas de la construcción M × N .
Lema 4.7 (Suma y producto cada j ∈ J
Q directo). Sea J un conjunto de ı́ndices y para L
sea Mj un A-módulo. Sea j∈J Mj el producto cartesiano de los Mj , y sea j∈J Mj el
Q
subconjunto de todos los (vj )j ∈ j∈J Mj que cumplen vj = 0 para todos salvo finitos j ∈ J.
Q
(Producto directo) j∈J Mj es un A-módulo con la operación en coordenadas. Para
Q
cada k ∈ J se tiene el morfismo pk : j∈J Mj → Mk de proyección en la coordenada
k. L
(Suma directa) j∈J Mj es un A-módulo con la operación en coordenadas. Para
L
cada i ∈ J se tiene el morfismo ik : Mk → j∈J Mj de inclusión dado por ik (t) =
(0, ..., 0, t, 0, ...) en la coordenada k.
Notación. Sea J un conjunto de ı́ndices y M un A-módulo. Se anota M J = j∈J M y
Q

M (J) = j∈J M .
L

Ejemplo. Sea M = A[x]. Descomponiendo por grado vemos que M ' A(N0 ) como A-
módulos, donde en este isomorfismo el polinomio ad xd + ... + a1 x + a0 ∈ A[x] corresponde a
(a0 , a1 , ..., ad , 0, 0, ...) ∈ A(N0 ) .

56
 Teorema 4.8 (Propiedad universal de la suma directa). Sea J un conjunto de ı́ndices y
para cada j ∈ J sea Mj un A-módulo. Sea N un A-módulo, y para cada j ∈ JL sea fj : Mj →
N un morfismo de A-módulos. Existe un único morfismo de A-módulos f : j∈J Mj → N
tal que para todo j se cumple fk = f ◦ ik , es decir, el siguiente diagrama conmuta
L f
j∈J Mj N
fk
ik

Mk
P
Demostración. Existencia. Definimos f ((vj )j ) = j fj (vj ). Esa suma a priori parece
ser infinita, pero por definición de suma directa solo hay finitos sumandos no nulos. Se
chequea directamente que es morfismo de A-módulos. Finalmente, se cumple que
f ◦ ik (t) = f (0, ..., 0, t, 0, ...) = 0 + ... + 0 + fk (t) + 0 + ... = fk (t).
L
Unicidad. Todo elemento de j∈J Mj es suma de finitos elementos de la forma ik (x) para
k ∈ J y x ∈ Mk . Entonces f queda completamente determinada por su valor en dichos
elementos, los cuales son f ◦ ik (t) = fk (t). Por lo tanto f queda completamente determinada
por los fk . 

Q Desafı́o. Enunciar y demostrar una propiedad universal “dual” para el producto directo
j∈J Mj con sus morfismos de proyección en coordenadas.
Veremos ahora otra construcción de A-módulos. La demostración es directa.
Lema 4.9. Dados A-módulos M, N , sea HomA (M, N ) el conjunto de todos los morfismos
de A-módulo f : M → N . Se definen las siguientes operaciones:
Dados f, g ∈ HomA (M, N ), se define (f + g) : M → N por la fórmula (f + g)(t) :=
f (t) + g(t).
Dado a ∈ A y f ∈ HomA (M, N ), se define af : M → N por la fórmula (af )(t) :=
a · f (t).
Entonces f + g, af ∈ HomA (M, N ). Estas operaciones convierten a HomA (M, N ) en un
A-módulo. Su elemento 0 es el morfismo constante cero 0 : M → N .
En particular, se define el módulo dual M ∨ := HomA (M, A), que consiste de todos
los funcionales A-lineales f : M → A. Estas construcciones también se pueden aplicar a
morfismos:
Lema 4.10. Sea P un A-módulo. Para todo morfismo de A-módulos f : M → N se
tienen los morfismos inducidos:
(Covariante) f∗ : HomA (P, M ) → HomA (P, N ) dado por f∗ (φ) = f ◦ φ.
(Contravariante) f ∗ : HomA (N, P ) → HomA (M, P ) dado por f ∗ (φ) = φ ◦ f .
Ambos f∗ , f ∗ son morfismos de A-módulos.
Ejemplos.
M = Z/2Z es un Z-módulo. Tenemos M ∨ = (0) trabajando en Z-módulos.
57
 Sea A = Z/4Z, M = A y N = Z/2Z. Tomar el morfismo π : M → N de reducción
módulo 2. M ∨ es generado por f1 : 1 mód 4 7→ 1 mód 4 y N ∨ es generado por g1 :
1 mód 2 7→ 2 mód 4. Entonces M ∨ ' Z/4Z y N ∨ = N y la inducida contravariante
es
π ∨ := π ∗ : N ∨ → M ∨ , f 7→ f ◦ π.
Con los isomorfismos M ∨ ' Z/4Z y N ∨ = N , tenemos que π ∨ es 1 mód 2 7→ 2 mód 4.
Para estudiar módulos y sus morfismos hay un lenguaje muy práctico: secuencias exactas.
Dada una secuencia de morfismos de A-módulos
... → Mi−1 → Mi → Mi+1 → ...
decimos que es exacta en Mi si la imagen de Mi−1 → Mi es exactamente el kernel de
Mi → Mi+1 . Decimos que la secuencia es exacta si es exacta en cada módulo que aparece
en ella.
Casos especiales.
La secuencia M → N → (0) es exacta si y solo si M → N es sobreyectiva.
La secuencia (0) → M → N es exacta si y solo si M → N es inyectiva.
La secuencia (0) → M → N → P → (0) es exacta si y solo si M → N es inyectiva,
N → P es sobreyectiva, y la imagen de M en N es justamente el kernel de N → P .
En particular, N/M 0 ' P (con M 0 la imagen de M en N ).
Las secuencias exactas (0) → M → N → P → (0) del último item se llaman secuencias
exactas cortas.
Una construcción en A-módulos se dice exacta si transforma secuencias exactas cortas
en secuencias exactas cortas.
Ejemplo. Veamos que la construcción dual M 7→ M ∨ no es exacta. Trabajamos en Z-
módulos. Tenemos la secuencia exacta corta de Z-módulos
(0) → Z → Z → Z/2Z → (0)
donde m : Z → Z es multiplicación por 2. Tomando duales como Z-módulos (contravariate)
obtenemos la secuencia (¡que todavı́a no sabemos si es exacta!)
(0) → (Z/2Z)∨ → Z∨ → Z∨ → (0).
Salvo isomorfismos, esto es lo mismo que la secuencia
(0) → (0) → Z → Z → (0)
donde Z → Z es, salvo isomorfismos, m∨ : Z∨ → Z∨ . Si esta secuencia fuera exacta, entonces
m∨ : Z → Z serı́a un isomorfismo. ¡Pero no lo es! De hecho, m∨ : Z∨ → Z∨ de nuevo es
multiplicación por 2 porque (m∨ (f ))(v) = f (2v) = 2f (v) = (2f )(v).

2. Localización de módulos
En esta sección generalizamos las construcciones y resultados de la sección 3 al caso de
módulos. Las demostraciones que sean muy similares al caso localización de anillos las vamos
a omitir.
58
 Sea A un anillo, S un sistema multiplicativo en A, y M un A-módulo. En M ×S definimos
la relación
(v, s) ∼S (v 0 , s0 ) ⇔ ∃t ∈ S tal que t · (s0 v − sv 0 ) = 0.
Como en el caso de anillos, ∼S es una relación de equivalencia en M × S. Definimos el
conjunto de clases de equivalencia
MS = S −1 M := M × S/ ∼S .
El elemento [(v, s)] se denota v/s. Definimos las funciones
v w tv + sw
+ :MS × MS → MS , + =
s t st
a v av
· :AS × MS → MS , · = .
s t st
Estas definiciones se hacen eligiendo representantes de clase, pero al igual que en el caso de
anillos uno verifica que no dependen de esa elección.
Teorema 4.11 (Localización de módulos). Sea A un anillo, S un sistema multiplicativo
en A y sea M un A-módulo. La estructura MS dotada de las operaciones + : MS ×MS → MS
y · : AS × MS → MS definidas anteriormente, es un AS -módulo. En particular, MS es un
A-módulo por medio de λS : A → AS .
Además, la función λM,S : M → MS definida por v 7→ v/1 es un morfismo de A-módulos.
El módulo MS se llama localización de M en S.
Ejemplos.
Sea A un anillo visto como A-módulo sobre si mismo. Sea S sistema multiplicativo
en A. AS calculado como localización de anillo o como localización de A-módulo da
el mismo resultado, visto como AS -módulo.
Sea A dominio entero, S = A − {0} y K = Frac(A) = AS su campo de fracciones.
Sea M un A-módulo. Entonces MS es un K-espacio vectorial. Esta construcción es
muy útil para tratar de usar el álgebra lineal elemental sobre campos en la teorı́a de
módulos sobre anillos.
Como en el caso de anillos, tenemos la siguiente propiedad universal.
Teorema 4.12 (PU de la localización de módulos). Sea A un anillo, S un sistema
multiplicativo en A y sea M un A-módulo. Sea N un AS -módulo dotado también de la
estructura de A-módulo por medio de λS : A → AS .
Dado f : M → N un morfismo de A-módulos, existe un único morfismo f˜ : MS → N de
AS -módulos tal que f = f˜ ◦ λM,S , es decir, tal que el siguiente diagrama conmuta:
f
M N
λM,S
f˜
MS
La demostración sigue los mismos cálculos que la PU de la localización de anillos, ası́ que
no lo vamos a repetir.
Desde ahora veremos material especı́fico de módulos, que no es análogo al caso de loca-
lización de anillos que estudiamos anteriormente.
59
 Lema 4.13 (Localización de morfismos de módulos). Sea S un sistema multiplicativo
de A. Dados A-módulos M, N y un morfismo de A-módulos f : M → N , existe un único
morfismo de AS -módulos fS : MS → NS tal que el siguiente diagrama conmuta
f
M N
λM,S λN,S

MS fS
NS

Además, fS cumple la fórmula fS (v/s) = f (v)/s para todo v ∈ M y s ∈ S.

Demostración. Existencia. Aplicamos la PU de la localización de módulos al morfismo
λN,S ◦ f : M → NS y obtenemos fS : MS → NS que hace que el diagrama conmute.
Unicidad. Los elementos v/1 ∈ λM,S (M ) generan MS como AS -módulo. La conmutativi-
dad del diagrama implica fS (v/1A ) = f (v)/1AS lo cual determina el morfismo fS de manera
única en los elementos v/1 ∈ MS . Ası́ que la conmutatividad del diagrama determina a fS
de manera única. El mismo cálculo demuestra la fórmula. 
Corolario 4.14. Sea S un sistema multiplicativo de A. Dados morfismos de A-módulos
f : M → N y g : N → P , se tiene (g ◦ f )S = gS ◦ fS . Además, (IdM )S = IdMS .
Demostración. El morfismo gS ◦ fS cumple
λP,S ◦ (g ◦ f ) = gS ◦ λN,S ◦ f = gS ◦ fS ◦ λM,S .
Por la unicidad de (g ◦ f )S para esta propiedad, tenemos (g ◦ f )S = gS ◦ fS .
Para IdM basta notar que (¡trivialmente!) λM,S ◦ IdM = IdMS ◦ λM,S y se concluye de
forma similar por unicidad. 
Observación. En un lenguaje más elevado, el lema anterior esencialmente dice que la
construcción de localización de módulos y morfismos define un funtor covariante desde la
categorı́a de A-módulos en la categorı́a de AS -módulos. Por otro lado, la construcción del
módulo dual M ∨ y el morfismo dual f ∨ vista en la sección anterior define un funtor contra-
variante de la categorı́a de A-módulos en la categorı́a de A-módulos.
Los funtores (como la construcción de localización o la construcción dual) preservan
composición de funciones y la identidad; en particular preservan la propiedad de que un
morfismo sea un isomorfismo.
Si bien no es un requisito de este curso, aquellas interesadas en aprender más sobre
funtores y categorı́as pueden comenzar leyendo sobre este material en el libro Algebra de
Lang.

Lema 4.15 (Localización y suma directa). Sea J un conjunto de ı́ndices y para cada
j ∈ J sea Mj un A-módulo. Tenemos un isomorfismo de AS módulos
!
M M
(Mj )S ' Mj .
j∈J j∈J S

Demostración. Vamos a construir morfismos de AS -módulos en ambas direcciones. La

verificación de que son inversos mutuamente la dejaremos a la lectora.
60
 L
Cada Mk tiene el morfismo de A-módulos fk : Mk → (Mk )S → j∈J (Mj )S dado por
localizar y luego incluir en la coordenada k. Por la PU de suma directa esto induce un
morfismo de A-módulos M M
f: Mj → (Mj )S .
j∈J j∈J

Localizando, la PU de la localización nos da un morfismo de AS -módulos

!
M M
fS : Mj → (Mj )S .
j∈J S j∈J

En elementos este morfismo es sencillo: fS ((vj )j /s)L= (vj /s)j .

En la otra dirección, las inclusiones ik : Mk → j∈J Mj inducen morfismos de AS -módulo
L 
ik,S : (Mk )S → j∈J M j por la construcción del morfismo localizado (que viene de la
S
PU de la localización). Ellos inducen un morfismo de AS -módulo
!
M M
g: (Mj )S → Mj
j∈J j∈J S

por la PU de la suma directa. Finalmente hay que chequear que fS y g son inversos mutua-
mente, que es un cálculo directo que se deja como ejercicio (se puede hacer en elementos o bien
“persiguiendo flechas” con las propiedades universales, usando el aspecto de unicidad). 
El siguiente resultado es una de las propiedades más útiles de la localización de módulos.
Teorema 4.16 (El funtor de localización es exacto). Sea A un anillos y S un sistema
multiplicativo en A. Si la secuencia de morfismos de A-módulos
f g
M N P
es exacta en N , entonces la secuencia de morfismos de AS módulos
fS gS
MS NS PS
es exacta en NS . En particular, la localización transforma cualquier secuencia exacta de
A-módulos en una secuencia exacta de AS -módulos.
Demostración. im(fS ) ⊆ ker(gS ) Sea m/s ∈ MS . Entonces gS (fS (m/s)) = gS (f (m)/s) =
g(f (m))/s = 0/s = 0 por exactitud de la primera secuencia.
ker(gS ) ⊆ im(fS ) Sea n/s ∈ ker(gS ). Entonces 0 = gS (n/s) = g(n)/s. Ası́ que existe
t ∈ S con 0 = tg(n) = g(tn). Por exactitud de la primera secuencia, existe m ∈ M con
f (m) = tn. Ası́, fS (m/(ts)) = f (m)/(ts) = tn/(ts) = n/s. 
Veamos un par de aplicaciones.
Lema 4.17 (Localizar preserva inyectividad y sobreyectividad). Sea f : M → N un
morfismo de A-módulos. Si f : M → N es inyectivo (resp. sobreyectivo) entonces fS :
MS → NS es inyectivo (resp. sobreyectivo).
61
 Demostración. Si f : M → N es inyectivo, entonces (0) → M → N es exacta. Usando
que la localización es exacta obtenemos que la secuencia localizada (0) → MS → NS es
exacta, y por lo tanto fS : MS → NS es exacta.
Si f : M → N es sobreyectivo, entonces M → N → (0) es exacta y el argumento es
similar. 
Lema 4.18 (Localización de submódulos). Sea M un A-módulo y N ≤ M un submódulo.
Sea i : N → M la inclusión. Entonces iS : NS → MS es inyectiva y permite ver a NS como
un submódulo del AS -módulo MS . La imagen iS (NS ) ≤ MS es justamente el AS -submódulo
de MS generado por λM,S (N ) ⊆ MS .
Demostración. La inclusión i : N → M da la secuencia exacta (0) → N → M . Ası́ que
la secuencia localizada (0) → NS → MS es exacta, en particular, iS : NS → MS es inyectiva.
Los elementos de im(iS ) son de la forma iS (n/s) = i(n)/s = n/s ∈ MS que justamente son
los elementos del AS -módulo generado por λM,S (N ) = {n/1 : n ∈ N } ⊆ MS . 
Lema 4.19 (Localización de cuocientes). Sea M un A-módulo y N ≤ M un submódulo.
Identificando a NS con su imagen en MS , obtenemos el isomorfismo de AS -módulos
MS /NS ' (M/N )S .
Demostración. La inclusión i : N → M y el cuociente π : M → M/N forman la
secuencia exacta corta
(0) → N → M → M/N → (0).
Localizando, obtenemos la secuencia exacta corta
(0) → NS → MS → (M/N )S → (0)
con iS : NS → MS y πS : MS → (M/N )S . Por exactitud, πS es sobreyectiva y su kernel es
justamente la imagen de NS en MS . 

3. Producto tensor y cambio de escalares

Dados A-módulos M, N, P decimos que una función b : M × N → P es A-bilineal si es
A-lineal en cada componente independientemente. En sı́mbolos: si para cada u ∈ M y cada
v ∈ N se cumple que b(u, −) ∈ HomA (N, P ) y b(−, v) ∈ HomA (M, P ).
Ejemplos.
La función nula 0 : M × N → P siempre es bilineal.
Vemos A como un A-módulo sobre el mismo. Entonces µ : A × A → A dada por
µ(u, v) = uv es A-bilineal.
Sean M = Z/2Z y N = Z/3Z vistos como Z-módulos. Tomemos cualquier función
Z-bilineal b : M × N → P para algún Z-módulo P . Vemos que b(s, t) = b(3s, 4t) =
12b(s, t) = b(4s, 3t) = b(0, 0) = 0. Entonces no hay funciones Z-bilineales no triviales
en M × N .
Dados A-módulos M, N , vamos a construir un A-módulo M ⊗A N dotado de una función
A-bilineal τM,N : M × N → M ⊗A N .
Consideramos el A-módulo FM,N = A(M ×N ) , donde denotamos por e(s,t) el elemento que
tiene 1 en la coordenada (s, t) y 0 en las demás. Sea RM,N el A-submódulo generado por
elementos de la forma
62
 e(as,t) − ae(s,t)
e(s,at) − ae(s,t)
e(s+s0 ,t) − e(s,t) − e(s0 ,t)
e(s,t+t0 ) − e(s,t) − e(s,t0 )
Sea M ⊗A N := FM,N /RM,N y sea τM,N : M × N → M ⊗A N dada por τM,N (s, t) :=
e(s,t) mód RM,N . El A-módulo M ⊗A N se llama tensor de M y N sobre A.
Por simplicidad vamos a anotar s ⊗ t := τM,N (s, t) = e(s,t) mód RM,N ∈ M ⊗A N . Estos
elementos en la imagen de τM,N se llaman tensores puros y en M ⊗A N puede haber elementos
que no son de esa forma (τM,N no tiene por qué ser sobreyectiva).
Lema 4.20 (Producto tensor y tensores puros). La función τM,N : M × N → M ⊗A N
es A-bilineal. Además, su imagen (los tensores puros) generan M ⊗A N como A-módulo.
Demostración. Lo primero es inmediato de la definición de RM,N .
Sobre lo segundo, basta notar que los elementos de FM,N son de la forma rj=1 aj e(sj ,tj ) .
P

Ası́, los elementos de M ⊗A N son de la forma rj=1 aj e(sj ,tj ) mód RM,N = rj=1 aj ·sj ⊗tj . 
P P

Ejemplo. Recordemos de un ejemplo anterior que toda función Z-bilineal en Z/2Z×Z/3Z

es trivial. En particular τZ/2Z,Z/3Z : Z/2Z × Z/3Z → Z/2Z ⊗Z Z/3Z es la función nula, y
como Z/2Z ⊗Z Z/3Z es generado por los tensores puros, llegamos a Z/2Z ⊗Z Z/3Z ' (0).
El producto tensor τM,N : M × N → M ⊗A N es la mejor función A-bilineal de M × N ,
en un sentido técnico.
Teorema 4.21 (PU del producto tensor). Dados A-módulos M, N, P y dada cualquier
función A-bilineal b : M × N → P , existe un único morfismo de A-módulos b̃ : M ⊗A N → P
tal que b = b̃ ◦ τM,N . Es decir, tal que el siguiente diagrama conmuta:
b
M ×N P
τM,N
b̃
M ⊗A N
Demostración. Existencia. Por la PU de la suma directa, existe f : FM,N → P que
cumple f (e(s,t) ) = b(s, t) para cada s ∈ M y t ∈ N . Por bilinealidad de b, vemos que
los generadores de RM,N están en ker(f ), ası́ que f induce un morfismo de A-módulos b̃ :
M ⊗A N = FM,N /RM,N → P . Calculamos:
b̃ ◦ τM,N (s, t) = b̃(e(s,t) mód RM,N ) = f (e(s,t) ) = b(s, t).
Unicidad. El cálculo anterior muestra que b determina completamente los valores de b̃
en los tensores puros s ⊗ t = τM,N (s, t). Estos generan M ⊗A N como A-módulo, ası́ que b
completamente determina a b̃. 
En la práctica, lo que sirve es la propiedad universal del producto tensor más que la
construcción explı́cita como cuociente FM,N /RM,N .
Algunas propiedades básicas del producto tensor:
Lema 4.22 (Isomorfismos básicos). Dados A-módulos M, N, P se tienen los siguientes
isomorfismos:
63
 (i) A ⊗A M ' M
(ii) M ⊗A N ' N ⊗A M
(iii) (M ⊗A N ) ⊗A P ' M ⊗A (N ⊗A P ).
Demostración. (i): Definimos µ : A × M → M por µ(s, v) = sv. Como µ es A-bilineal,
existe un único morfismo de A-módulos µ̃ : A ⊗A M → M que cumple µ̃ ◦ τA,M = µ. Es decir,
µ̃(s ⊗ v) = sv.
Definimos ν : M → A ⊗A M como ν(v) = τA,M (1A , v), es decir, ν(v) = 1A ⊗ v. Como
τA,M es bilineal, tenemos que ν = τA,M (1, −) es un morfismo de A-módulos. Finalmente
chequeamos que ν es la inversa de µ̃.
Por un lado ν(µ̃(s ⊗ v)) = ν(sv) = 1 ⊗ sv = s ⊗ v lo cual muestra ν ◦ µ̃ = IdA⊗A M pues
los tensores puros generan.
Por otro lado, µ̃(ν(v)) = µ̃(1 ⊗ v) = 1 · v = v ası́ que µ̃ ◦ ν = IdM .
Los ı́temes (ii) y (iii) se verifican con ideas similares y quedan de ejercicio. 
Observación. La construcción de µ̃(s⊗v) = sv en la demostración anterior fue complicada,
invocando la PU universal del producto tensor. ¿No hubiese sido más fácil simplemente definir
µ̃ directamente por la fórmula µ̃(s ⊗ v) = sv ? No, porque A ⊗A M es un cuociente y s ⊗ v es
una clase de equivalencia, por lo que si uno va a definir una función en tensores puros, habrı́a
que verificar que está bien definida. La PU nos ahorra ese trabajo. El mismo comentario vale
para demostraciones que involucren tensores puros en cualquier M ⊗A N .
Usando la PU del producto tensor también podemos extender la construcción de manera
natural a morfismos.
Lema 4.23 (Tensor de morfismos). Dados f : M → M 0 y g : N → N 0 morfismos de
A-módulos, consideremos el morfismo de A-módulos f × g : M × N → M 0 × N 0 definido en
coordenadas. Existe un único morfismo de A-módulos f ⊗ g : M ⊗A N → M 0 ⊗A N 0 tal que
el siguiente diagrama conmuta
f ×g
M ×N M0 × N0
τM,N τM 0 ,N 0

M ⊗A N f ⊗g
M 0 ⊗A N 0

Demostración. Basta notar que τM 0 ,N 0 ◦ (f × g) = τM 0 ,N 0 (f (−), g(−)) es una función

A-bilineal M × N → M 0 ⊗A N 0 . Con esto, aplicar la PU del producto tensor. 
El caso especial en que N = N 0 y g = Id requiere especial atención. Si tenemos un
morfismo f : M → M 0 entonces obtenemos un morfismo fN := f ⊗IdN : M ⊗A N → M 0 ⊗A N .
Nos referiremos a esta construcción como la construcción −⊗A N . Gracias al isomorfismo
M ⊗A N ' N ⊗A M (cf. lema 4.22) la teorı́a de la construcción − ⊗A N es la misma que la
teorı́a de la construcción N ⊗A −.
El siguiente lema es una aplicación sencilla de la unicidad en el lema de tensor de morfis-
mos. Se demuestra como en el caso de la construcción de localización y dejamos los detalles
como ejercicio.
Lema 4.24 (La construcción − ⊗A N es funtorial). Sean f : M → M 0 y f 0 : M 0 → M 00
morfismos de A-módulos. Sea N un A-módulo. Entonces (f 0 ◦ f )N = fN0 ◦ fN . Además,
(IdM )N = IdM ⊗A N .
64
 En particular, − ⊗A N preserva la propiedad de que un morfismo sea isomorfismo.
Otra de las buenas propiedades del producto tensor es que respeta con la suma directa:
Lema 4.25 (Tensores y suma directa). Sea N un A-módulo, J un conjunto de ı́ndices y
para cada j ∈ J sea Mj un A-módulo. Entonces tenemos
!
M M
Mj ⊗A N ' (Mj ⊗A N ).
j∈J j∈J
L
Demostración. Dado k ∈ J tenemos la inclusión ik : Mk → j Mj . Aplicando −⊗A N
L 
obtenemos el morfismo ik,N : Mk ⊗A N → j Mj ⊗A N . Por la PU de la suma directa
L L 
obtenemos el morfismo f : k (Mk ⊗A N ) → j M j ⊗A N que cumple

f (ik,N (v ⊗ w)) = ik (v) ⊗ w.

L 
Construimos ahora un candidato a inversa. Definimos bk : j Mj × N → Mk ⊗A N dada
por ((vj )j , w) 7→ vk ⊗ w. Es decir, bk (−, −) = τMk ,N (pk (−), −). Dado que bk es bilineal
L
obtenemos una única b̃k : j Mj ⊗A N → Mk ⊗A N tal que b̃k ((vj )j ⊗ w) = vk ⊗ w, y
L
notamos que como (vj )j ∈ j Mj se tiene que todos salvo fintos k cumplen b̃k ((vj )j ⊗ w) =
L  L
0 ⊗ w = 0. Ası́ obtenemos un morfismo g = (b̃k )k : j M j ⊗A N → k (Mk ⊗A N ) que
cumple
g((vj )j ⊗ w) = (bk ((vj )j ⊗ w))k = (vk ⊗ w)k .
finalmente chequeamos que f y g son inversas. L 
f ◦ g Basta chequear en tensores puros de la forma ij (v) ⊗ w pues generan j Mj ⊗A N
como A-módulo. Tenemos f (g(ij (v) ⊗ w)) = f (ij,N (v ⊗ w)) = ij (v) ⊗ w.
L
g ◦ f Basta chequear en tensores puros de la forma ik,N (v ⊗ w) pues generan k (Mk ⊗A N )
como A-módulo. Tenemos g(f (ik,N (v ⊗ w)) = g(ik (v) ⊗ w) = ik,N (v ⊗ w). 
Anteriormente hemos usado la siguiente construcción sin mencionarla de forma explı́cita
(pues básicamente es una trivialidad, aunque muy útil):
Lema 4.26 (Funtor de restricción de escalares). Sea φ : A → B un morfismo de anillos
(es decir, B es un A-álgebra).
Dado un B-modulo M , definimos la operación · : A × M → M por medio de s · v := φ(s)v
para s ∈ A y v ∈ M . Entonces con esta operación, M adquiere la estructura de A-módulo.
Esta construcción se extiende a morfismos y respeta composición de morfismos y el mor-
fismo identidad.
El producto tensor nos permite hacer una construcción en la otra dirección:
Lema 4.27 (Funtor de extensión de escalares). Sea φ : A → B un morfismo de anillos
(es decir, B es un A-álgebra). En particular, B es un A-módulo con la operación s·t := φ(s)t
para s ∈ A y t ∈ B.
Dado un A-modulo M , definimos la operación · : B × (B ⊗A M ) → B ⊗A M por medio
de t · (t0 ⊗ v) := (tt0 ) ⊗ v para t, t0 ∈ B y v ∈ M . Esta operación está bien definida y con ella
B ⊗A M adquiere la estructura de B-módulo.
65
 Esta construcción se extiende a morfismos y respeta composición de morfismos y el mor-
fismo identidad.
Demostración. El producto · : B × (B ⊗A M ) → B ⊗A M fue definido en tensores
puros y antes que todo hay que chequear que t · (t0 ⊗ v) := (tt0 ) ⊗ v está bien definida.
Dado t ∈ B definimos µt : B → B dado por µt (β) = tβ. Es un morfismo de A-módulos.
Obtenemos el morfismo de A-módulos µt ⊗ IdM : B ⊗A M → B ⊗A M que cumple
µt ⊗ IdM (β ⊗ v) = µt (β) ⊗ IdM (v) = tβ ⊗ v.
Entonces podemos definir t · (t0 ⊗ v) como µt ⊗ IdM (t0 ⊗ v), lo que demuestra que t · (t0 ⊗ v) :=
(tt0 ) ⊗ v está bien definida.
Chequear que B ⊗A M es un B-módulo con esta operación · : B × (B ⊗A M ) → B ⊗A M
es completamente rutinario (ver la definición de módulo) y lo dejamos de ejercicio.
Veamos que si f : M → P es morfismo de A-módulos entonces fB : B ⊗ M → B ⊗ P es
morfismo de B-módulos.PYa sabemos que fB es morfismo de A-módulos ası́ que respeta la
suma. Sea t ∈ B y w = j βj ⊗ vj ∈ B ⊗A M . Entonces
X X
fB (t · w) = fB ((tβj ) ⊗ vj ) = (tβj ) ⊗ f (vj )
j j
X X
= (tβj ) ⊗ f (vj ) = t · (βj ⊗ f (vj ))
j j
X
=t· fB (βj ⊗ v) = t · fB (w)
j

por lo tanto fB : B ⊗ M → B ⊗ P es B-lineal.

Finalmente la afirmación sobre composición de morfismos y el morfismo identidad es un
caso especial del lema 4.24. 
Por ejemplo, ahora podemos ver la localización de módulos como un caso especial de la
extensión de escalares:
Lema 4.28 (Localización via tensores). Sea S un sistema multiplicativo en A. Sea M un
A-módulo. Tenemos un isomorfismo de AS -módulos ψS,M : AS ⊗A M → MS .
Además, dado un morfismo f : M → N de A-módulos, el siguiente diagrama conmuta:
fAS
AS ⊗A M A S ⊗A N
ψS,M ψS,N

MS fS
NS .

Demostración. Definimos b : AS × M → MS por b(a/s, v) = av/s. Es una función A-

bilineal y por la PU del producto tensor induce un morfismo de A-módulos ψS,M : AS ⊗A M →
MS que cumple ψS,M ((a/s) ⊗ v) = av/s. Uno chequea directamente con esta fórmula que en
realidad ψS,M es AS -lineal.
Para ver que ψS,M es biyectiva construimos su inversa. Tenemos el isomorfismo M ' A ⊗
M dado por v 7→ 1A ⊗v (cf. lema 4.22) y lo componemos con λS ⊗IdM : A⊗A M → AS ⊗A M
para obtener un morfismo de A-módulos θ : M → AS ⊗A M que cumple θ(v) = 1AS ⊗v. Dado
66
que AS ⊗A M es un AS -módulo, la PU de la localización nos da un morfismo de AS -módulos
θ̃ : MS → AS ⊗A M que cumple θ̃(v/s) = (1/s) · (1AS ⊗ v) = (1/s) ⊗ v.
Calculamos:
ψS,M ◦ θ̃(v/s) = ψS,M ((1/s) ⊗ v) = v/s
θ̃ ◦ ψS,M ((a/s) ⊗ v) = θ̃(av/s) = (1/s) ⊗ av = (a/s) ⊗ v.
Por lo tanto ψS,M es isomorfismo. Finalmente, el hecho que el diagrama conmuta es inmediato
si lo chequeamos en tensores puros. 

4. Propiedades de exactitud de HomA y el producto tensor

A pesar de todas estas buenas propiedades, el funtor − ⊗A N en general no es exacto.
Ejemplo. Considere el morfismo de Z-módulos f : Z → Z dada por f (s) = 2s; notar que
f es inyectiva. Aplicamos − ⊗Z Z/2Z y obtenemos f 0 : Z ⊗Z Z/2Z → Z ⊗Z Z/2Z. En tensores
puros tenemos
f 0 (s ⊗ t) = f (s) ⊗ t = (2s) ⊗ t = 2(s ⊗ t) = s ⊗ (2t) = s ⊗ 0 = 0
por lo tanto f 0 es la función nula, mientras que Z⊗Z Z/2Z ' Z/2Z. Ası́ que f 0 no es inyectiva.
f
En particular, − ⊗Z Z/2Z no preservó la exactitud de (0) Z Z.
Recordamos también que HomA tampoco era exacto; por ejemplo, la construcción del
módulo dual no era exacta.
Sin embargo el producto tensor y el funtor HomA parcialmente respetan la exactitud.
Lema 4.29 (Exactitud izquierda de HomA , versión contravariante). Sean A-módulos
M, N, P y morfismos de A-módulos f : M → N , g : N → P . Son equivalentes:
(i) La secuencia M → N → P → 0 dada por f y g es exacta
(ii) Para todo A-módulo Q, la secuencia 0 → HomA (P, Q) → HomA (N, Q) → HomA (M, Q)
dada por g ∗ y f ∗ es exacta.
Demostración. (i) → (ii) Está en la tarea.
(ii) → (i) Asumir (ii). Demostrar que la secuencia en (i) es exacta es un ejercicio sencillo
eligiendo Q adecuadamente en cada paso. Para ejemplificar vamos a chequear que g : N → P
es sobreyectiva (o sea, que la secuencia de (i) es exacta en P ).
Supongamos que g no es sobreyectiva y sea K ≤ P su imagen. Tomar Q = P/K 6= (0)
y π ∈ HomA (P, Q) la proyección al cuociente, que es sobreyectiva y por ende π 6= 0. Por
exactitud de la secuencia en (ii) con esta elección de Q, vemos que g ∗ : HomA (P, Q) →
HomA (N, Q) es inyectiva. En particular 0 6= g ∗ (π) = π ◦ g. Pero π ◦ g = 0 por construcción.
Contradicción. 
Similarmente tenemos la versión covariante. Usaremos el siguiente lema:
Lema 4.30 (Tomar co-duales no hace nada). Sea M un A-módulo. La regla φ 7→ φ(1A )
define un isomorfismo de A-módulos  : HomA (A, M ) → M .
Demostración. Por A-linealidad,  es inyectiva. Dado m ∈ M sea f : A → M dada
por f (s) = sm. Entonces (f ) = m y vemos que  es sobreyectiva. 
67
 Con eso tenemos:
Lema 4.31 (Exactitud izquierda de HomA , versión covariante). Sean A-módulos M, N, P
y morfismos de A-módulos f : M → N , g : N → P . Son equivalentes:
(i) La secuencia 0 → M → N → P dada por f y g es exacta
(ii) Para todo A-módulo Q, la secuencia 0 → HomA (Q, M ) → HomA (Q, N ) → HomA (Q, P )
dada por f∗ y g∗ es exacta.
Demostración. (i) → (ii) Está en la tarea.
(ii) → (i) Por el lema anterior, basta tomar Q = A. 
Volviendo a nuestra discusión sobre el producto tensor, tenemos:
Lema 4.32 (Adjunción Tensor-Hom). Dados A-modulos M, N, P tenemos un isomorfis-
mo natural de A-módulos
HomA (M ⊗A N, P ) ' HomA (M, HomA (N, P )).
Nota. El adjetivo “natural” para un isomorfismo en álgebra tiene un sentido técnico:
significa que el isomorfismo es funtorial de la manera obvia. O sea, se extiende a morfismos
y respeta composiciones e identidad, en este caso en las tres variables. Para evitar tanto
sı́mbolo, solamente vamos a demostrar el isomorfismo y las lectoras entusiastas pueden hacer
el trabajo a nivel de morfismos como ya hemos hecho anteriormente para muchas otras
construcciones.
Demostración. Sea BilA (M × N, P ) es conjunto de todas las funciones A-bilineales de
M × N en P . Es un A-módulo de la manera obvia (una combinacion A-lineal de funciones
A-bilineales es nuevamente una función A-bilineal).
Definimos Ψ : HomA (M ⊗A N, P ) → BilA (M × N, P ) por la regla Ψ(φ) = φ ◦ τM,N .
Notamos que Ψ es un morfismo de A-módulos. La propiedad universal del producto tensor
implica que Ψ es biyectiva, ası́ que es un isomorfismo.
Definimos ahora Θ : BilA (M × N, P ) → HomA (M, HomA (N, P )) por la regla Θ(b)(m) =
b(m, −) para m ∈ M . Es claro que Θ es morfismo de A-módulos. La definición de “función
A-bilineal” implica directamente que Θ es biyectiva. 
Ahora estamos en condiciones de demostrar el teorema central de esta sección.
Teorema 4.33 (El producto tensor es exacto por la derecha). Dada una secuencia exacta
f g
N P Q (0)
de A-módulos y dado un A-módulo M , se tiene que la secuencia
fN gN
M ⊗A N M ⊗A P M ⊗A Q (0)
es exacta.
Demostración. Sea R cualquier A-módulo. Como la primera secuencia es exacta, el
lema 4.29 nos da que
0 → HomA (Q, R) → HomA (P, R) → HomA (N, R)
68
es exacta. Ahora el lema 4.31 nos da que
0 → HomA (M, HomA (Q, R)) → HomA (M, HomA (P, R)) → HomA (M, HomA (N, R))
es exacta. Por el lema 4.32 obtenemos que
0 → HomA (M ⊗A Q, R) → HomA (M ⊗A P, R) → HomA (M ⊗A N, R)
es exacta. Como R era arbitrario, el lema 4.29 nos da que
M ⊗A N → M ⊗A P → M ⊗A Q → 0
es exacta. Es tedioso (pero fácil) chequear que los morfismos son lo que tienen que ser. 
Corolario 4.34 (Extender escalares es exacto por la derecha). Sea B un A-álgebra. El
funtor de extensión de escalares desde A-módulos en B-módulos es exacto por la derecha.
Corolario 4.35 (Cuocientar por ideales usando tensores). Sea a un ideal de A, sea M
un A-módulo y sea aM el submódulo de M obtenido con combinaciones lineales a coeficientes
en a. Entonces tenemos un isomorfismo de A-módulos
M/aM ' (A/a) ⊗A M.
Demostración. Tenemos la secuencia exacta
a → A → A/a → 0.
Tensorisando con M obtenemos la secuencia exacta
a ⊗A M → A ⊗A M → (A/a) ⊗A M → 0.
Recordamos que A ⊗A M ' M via el morfismo s ⊗ v 7→ sv. La imagen de
a ⊗A M → A ⊗A M ' M
es aM ⊆ M y usando la inclusión aM → M obtenemos la secuencia exacta
0 → aM → M → (A/a) ⊗A M → 0.


5. Módulos finitamente generados

Un A-módulo es finitamente generado (f.g.) si existe un subconjunto finito X ⊆ M tal
que M = (X).
Lema 4.36 (Presentación de los módulos f.g.). Un A-módulo es f.g. si y solo si existe
algún n ≥ 0 y un A-submódulo N ⊆ An tal que M ' An /N
Demostración. Sean m1 , ..., mn un conjunto finito de generadores de M . Definimos
f : An → M por f (ej ) = mj , lo cual determina un único morfismo de A-módulos por la
PU de la suma directa. Como los generadores mj están en la imagen de f , vemos que f es
sobreyectivo y podemos tomar N = ker(f ). 
Lema 4.37. Sea A un anillo y sea T ∈ Matn×n (A) una matriz de entradas en A. Existe
otra matriz T 0 ∈ Matn×n (A) tal que T 0 T = det(T )Id.
69
 Demostración. Notar que det(T ) ∈ A porque se calcula solo con sumas y productos.
Podemos tomar T 0 como la traspuesta de la matriz de los cofactores de T . La demostración
que esto sirve es idéntica al caso de álgebra lineal de espacios vectoriales, porque en la fórmula
a demostrar no se necesitan inversos. 
Lema 4.38 (Truco del endomorfismo). Sea M un A-módulo y sea φ ∈ EndA (M ). Sea x
una variable y considere el anillo de polinomios B = A[x]. La regla x · v := φ(v) determina
una única estructura de B-módulo en M compatible con su estructura de A-módulo.
Demostración. Unicidad. A y x generan B como anillo ası́ que la acción de B en M
queda únicamente determinada por la acción de A y de x.
Existencia. Notamos que x·v = φ(x) impone que xn ·v = φn (v) donde φn es la composición
de φ con ella misma n veces. Extender esta acción A-linealmente. 
Teorema 4.39 (Cayley-Hamilton). Sea M un A-módulo f.g., sea a ⊂ A un ideal, y sea
φ ∈ EndA (M ) tal que φ(M ) ⊆ aM . Entonces φ satisface una ecuación en EndA (M ) de la
forma
φn + a1 φn−1 + ... + an−1 φ + an = 0
donde aj ∈ aj para cada j.
Demostración. Sea B = A[x]. Consideramos M como B-módulo dejando que x actúe
P φ. Sean v1 , ..., vn ∈ M generadores ncomo A-módulo y sean βij ∈ a tales que φ(vi ) =
por
j βij vj para cada i. Sea v = (vj )j ∈ M y considere la siguiente matriz T ∈ Matn×n (B):

T = [δij x − βij ]ij = xId − [βij ]ij .

Notar que T define una función B-lineal M n → M n , y de la definición de T se deduce que
T v = 0. Por el lema 4.37 existe T 0 ∈ Matn×n (B) tal que T 0 T = det(T )Id y por ende dejando
que B actúe en M n en coordenadas se obtiene
(det T ) · v = T 0 T v = T 0 0 = 0.
En las coordenadas de v esto significa bvj = 0 para cada j, donde b := det T ∈ B. Ası́ que
b actúa como 0 en M porque los vj son generadores de M como A-módulo, en particular
como B-módulo. El resultado se obtiene expandiendo b = det T y recordando que βij ∈ a
para cada i, j. 
Corolario 4.40 (El lema de Nakayama, v1). Sea M un A-módulo f.g. y sea a ⊆ A un
ideal. Si aM = M entonces existe un s ∈ A con s ≡ 1 mód a y tal que sM = (0).
Demostración. Aplicar Cayley-Hamilton con φ = IdM . Esto da una ecuación
IdnM + a1 Idn−1 + ... + an−1 Id + an = 0
en EndA (M ) con aj ∈ a para cada j. Tomar s := 1 + a1 + ... + an y notar que s actúa en M
como IdnM + a1 Idn−1 + ... + an−1 Id + an . 
Corolario 4.41 (El lema de Nakayama, v2). Sea M un A-módulo f.g. y sea a ⊆ A un
ideal. Si aM = M entonces existe t ∈ a que actúa como la identidad en M .
Demostración. Tomar t = 1 − s en el lema de Nakayama v1. 
Para entender mejor la importancia del Lema de Nakayama, damos a una aplicación muy
práctica que generaliza un enunciado familiar del álgebra lineal de espacios vectoriales.
70
 Corolario 4.42 (Teorema de Vasconcelos). Sea M un A-módulo f.g. y sea φ ∈ EndA (M ).
Si φ es sobreyectiva entonces es isomorfismo.
Demostración. Vemos M como un A[x]-módulo con x actuando por φ. Sea a = (x) ⊆
A[x]. Notar que (x)M = M porque φ : M → M es sobreyectiva. Por Nakayama existe
f ∈ (x) tal que f actúa en M como la identidad. Dado que f ∈ (x) tenemos f = g · x para
cierto g ∈ A[x]. Entonces para todo v ∈ M se cumple
g · φ(v) = gx · v = v = xg · v = φ(g · v).
Ası́ que la acción de g en M determina un endomorfismo ψ ∈ EndA (M ) que es el inverso de
φ. 
Observaciones. No todo es armonioso en la teorı́a de módulos f.g. Por ejemplo:
Si M es un A-módulo f.g. y φ ∈ EndA (M ) es inyectiva, no necesariamente φ es isomor-
fismo. Por ejemplo, considerar la función Z → Z de multiplicación por 2 (morfismo
de Z-módulos).
Si M es un A-módulo f.g. y N ⊆ M es un A-submódulo, no necesariamente N será
f.g. (ver P.4 de la Tarea 4).
Sin embargo, si A es un anillo Noetheriano y M es un A-módulo f.g. entonces todo
submódulo de M es f.g.
Idea. Demostrar el caso particular de los módulos de la forma An (no es tan
difı́cil). Deducir el caso general con el lema 4.36.

6. Módulos libres
Sea M un A-módulo y X ⊆ M un subconjunto.
X es un conjunto generador si M = (X).
X es un conjunto libre si para toda lista finita x1 , ..., xn ∈ X, los únicos escalares
a1 , ..., an ∈ A que cumplen a1 x1 + ... + an xn = 0 son aj = 0 para cada j.
X es una base si es un conjunto generador libre.
El módulo M es llamado libre si admite una base.
Ejemplos.
Si A = K es un campo, los K-módulos son espacios vectoriales. Son libres y su noción
de base coincide con la estudiada acá.
Z/2Z es un Z-módulo que no es libre. {1} es un conjunto generador.
(x, y) ⊆ K[x, y] es un K[x, y]-módulo que no es libre L
(ejercicio).
Dado un conjunto de ı́ndices J, el A-módulo A(J) := j∈J A es libre. Una base para
él es la llamada base canónica dada por {ej }j∈J donde ej = ij (1A ) es el elemento de
A(J) que tiene un 1 en la coordenada j y tiene un 0 en todas las demás.
De hecho, vamos a demostrar que este último ejemplo describe a todos los módulos libres
y todas las bases salvo isomorfismo.
Lema 4.43 (Caracterización de módulos libres). Sea M un A-módulo. Son equivalentes:
(i) M es libre
(ii) Existe un conjunto de ı́ndices J tal que M ' A(J) .
71
Si estas condiciones equivalentes ocurren, entonces paraPcualquier base X ⊆ M se cumple
A(X) ' M donde el isomorfismo es dado por (am )m∈X 7→ m∈X am m. Baja este isomorfismo,
la base X de M corresponde a la base canónica {em }m∈X de A(X) .
Demostración. (i) → (ii) Sea X una base de M . Para cada m ∈ X sea fm : A → M
dado por fm (a)P = am. Por la PU de la suma directa obtenemos f : A(X) → M que cumple
f ((am )m∈X ) = m∈X am m (la suma solo tiene finitos términos no nulos). f es sobreyectiva
porque X es generador, y es inyectiva porque X es libre. Esto no solo prueba (ii) sino también
la última parte del resultado.
(ii) → (i) Fijemos un isomorfismo h : A(J) → M . Para j ∈ J sea mj := h(ej ). Es
inmediato que {ej }j∈J es una base del A-módulo A(J) , y como h es isomorfismo se deduce
que {mj }j∈J es base de M . 
Lema 4.44 (PU de la base). Sea M un A-módulo libre, X una base de M y sea N un
A-módulo. Dada cualquier función ψ : X → N , existe un único morfismo de A-módulos
f : M → N tal que f |X = ψ.
Demostración. Por el lema anterior, esto es inmediato de la PU de la suma directa. 
Lema 4.45 (Tensor de modulos libres). Sean M y N módulos libres sobre A. Sean X, Y
bases de M y N respectivamente. Entonces M ⊗A N es un A-módulo libre y el conjunto
{m ⊗ n}m∈X,n∈Y es una base de M ⊗A N .
Demostración. Por el lema 4.43, basta demostrar el resultado para M = A(I) y N =
A(J) con ciertos conjuntos de ı́ndices I, J y con bases X = {ei }i∈I , Y = {ej }j ∈ J. Se tiene
! !
M M MM M
M ⊗A N = A ⊗A A ' A ⊗A A ' A = A(I×J) .
i∈I j∈J i∈I j∈J (i,j)∈I×J

El último es un A-módulo libre cuya base canónica es {e(i,j) }(i,j)∈I×J . Siguiendo el isomorfis-
mo, esta base corresponde a {ei ⊗ ej }i∈I,j∈J en A(I) ⊗A A(J) . 
Lema 4.46 (Bases y extensión de escalares). Sea B un A-álgebra y M un A-módulo con
base X. Entonces la extensión de escalares M ⊗A B es un B-módulo libre y el conjunto
{m ⊗ 1B }m∈X es una base de M ⊗A B.
Demostración. Por el lema 4.43, basta demostrar el resultado para M = A(J) con J
un conjunto de ı́ndices y X = {ej }j∈J . Tenemos
!
M M M
A(J) ⊗A B = A ⊗A B ' A ⊗A B ' B ' B (J)
j∈J j∈J j∈J

Siguiendo los isomorfismos, la base canónica de B (J) como B-módulo corresponde al conjunto
{ej ⊗ 1B }j∈J en A(J) ⊗A B. 
Teorema 4.47 (Cardinalidad de las bases). Sea M un módulo libre y sean X, Y ⊆ M
bases. Entonces hay una biyección entre X e Y .
Más aún, si M es libre f.g. entonces todas las bases de M son finitas y tienen la misma
cantidad de elementos.
72
 Demostración. Si A es el anillo trivial entonces M = (0) y el resultado es trivial.
Suponemos A 6= (0). Sea m ⊆ A ideal maximal (por Krull) y sea K = A/m; notar que K
es campo. Tenemos por el lema 4.43 que A(X) ' M ' A(Y ) . Extendemos escalares a K por
medio de π : A → K y se obtiene
K ⊗A M ' K ⊗A A(X) ' (K ⊗A A)(X) ' K (X)
como K-espacios vectoriales. Por lo tanto K (X) ' K (Y ) como K-espacios vectoriales. Por
álgebra lineal clásica sobre campos, obtenemos que X e Y están en biyección, y su cardinal
es la dimensión del K-espacio vectorial K ⊗A M .
Finalmente, si M es libre f.g. entonces por el lema 4.36 hay una función sobreyectiva
f : An → M para algún n. Extendiendo escalares a K y recordando que tensorizar preserva
sobreyectividad (por exactitud derecha), obtenemos que fK : K n → K ⊗A M es un morfismo
sobreyectivo de K-e.v. y por ende dimK (K ⊗A M ) ≤ n. 
Dado un módulo libre M , se define su rango como el cardinal de una base de M . Se
anota rank A M . Por el lema anterior este cardinal es bien definido, y es finito cuando M es
f.g. El rango de un módulo libre es un sustituto de la noción de dimensión de los espacios
vectoriales.
Corolario 4.48. Dados A-módulos libres f.g. M, N , tenemos que M ⊕ N y M ⊗A N
son libres f.g. y se cumple
rank A (M ⊕ N ) = rank A (M ) + rank A (N )
rank A (M ⊗A N ) = rank A (M ) · rank A (N )
Demostración. Inmediato de como se comportan las bases con suma directa y tensores.

El teorema de Vasconcelos nos permitirá caracterizar numéricamente la noción de base
en un módulo libre finitamente generado.
Lema 4.49 (Caracterización de las bases, caso libre f.g.). Sea M un A-módulo libre f.g.,
sea r = rank A M y sea X ⊆ M un conjunto. Son equivalentes:
(i) X es una base
(ii) X es generador y #X = r
(iii) X es generador y #X ≤ r
Demostración. (i) → (ii) Por (i) X es generador y es finito con #X = r.
(ii) → (iii) Trivial.
(iii) → (i) Sea Y una base. Como #Y = r ≥ #X podemos tomar una función sobre-
yectiva ψ : Y → X. Por la PU de las bases tenemos un morfismo de A-módulos f : M → M
con f |Y = ψ. En particular X ⊆ im(f ) por lo que f es sobreyectiva. Por el teorema de
Vasconcelos, f es isomorfismo, ası́ que X = f (Y ) es base. 
Ejemplo. Las caracterizaciones de bases en espacios vectoriales dadas por “conjunto libre
maximal por inclusiones” y “conjunto generador minimal por inclusiones” no son correctas
en el caso general de A-módulos libres. Por ejemplo, consideramos Z como Z-módulo; es libre
de rango 1.
73
 {2} es un conjunto libre maximal por inclusiones y no es base.
{2, 3} es un conjunto generador minimal por inclusiones, y no es base.
Otra diferencia con la teorı́a de espacios vectoriales es que un submódulo de un módulo
libre no tiene por qué ser libre. Por ejemplo si A = K[x, y] y M = (x, y) ⊆ A entonces M es
un submódulo del A-módulo libre de rango 1 dado por A, pero M no es libre.
Ası́, no hay un análogo directo del teorema “kernel-imagen” de álgebra lineal de espacios
vectoriales en el contexto de módulos libres (el kernel es un submódulo y no tiene por qué ser
libre). Sin embargo, parte del resultado se puede rescatar gracias al teorema de Vasconcelos:
Corolario 4.50. Sea f : M → N un morfismo sobreyectivo de módulos libres finita-
mente generados. Entonces rank N ≤ rank M .
Demostración. Por contradicción, digamos que M = Am y N = An con m < n.
Vemos M = Am como un sub-módulo propio de N = An por inclusión en las primeras
m coordenadas, y definimos F : N → N por F (x1 , ..., xn ) = f (x1 , ..., xm ). Entonces F es
sobreyectiva porque f lo es. El teorema de Vasconcelos da que F es isomorfismo, pero esto
no es posible porque ker(F ) contiene una copia de An−m 6= (0). 
Para concluir nuestra discusión de módulos libres, re-enunciamos el teorema de clasifica-
ción de grupos abelianos finitamente generados, formulado en el lenguaje de Z-módulos:
Teorema 4.51. Sea M un Z-módulo finitamente generado. Entonces M ' L ⊕ F donde
L es un Z-módulo libre de rango finito, y F es isomorfo a una suma directa de finitos
Z-módulos de la forma Z/nZ para ciertos enteros n ≥ 1.
Este resultado se generaliza a módulos finitamente generados sobre un DIP:
Teorema 4.52 (Clasificación de módulos finitamente generados sobre un DIP). Sea A
un DIP. Sea M un A-módulo finitamente generado. Entonces M ' L ⊕ F donde L es un
A-módulo libre de rango finito, y F es isomorfo a una suma directa de finitos A-módulos de
la forma A/(s) para ciertos s ∈ A no nulos.
La demostración sigue ideas similares al caso de grupos abelianos, pero es más extensa y
la omitimos.
Observación. F podrı́a ser infinito. Por ejemplo C[x] es un DIP y C[x]/(x) ' C.

74
 Capı́tulo 5

Representaciones complejas de grupos finitos

1. Noción de representación y primeros ejemplos

Sea G un grupo finito y V un C-espacio vectorial de dimensión finita. Una representación
(compleja, finito dimensional) de G en V es un morfismo de grupos ρ : G → GL(V ) donde
GL(V ) es el grupo de automorfismos lineales de V . Se escribe ρ, V o (ρ, V ) según el nivel
de precisión que sea necesario.
La dimensión (o grado) de (ρ, V ) es dim V .
Observaciones
Equivalentemente, ρ es dada por una acción G×V → V que es C-lineal en la segunda
coordenada.
Podrı́amos estudiar representaciones a valores en GL(M ) para un A-módulo M (muy
útil en aplicaciones) pero los teoremas de estructura son mucho más sencillos en el
caso de C-e.v., y nos quedaremos en este caso como introducción a la teorı́a general
de representaciones.
Cuando V = Cn seguimos la notación estándar GLn (C) = GL(V ). Si bien todo V de
dimensión finita es isomorfo a un Cn , ese isomorfismo no es único pues depende de
la elección de base.
Ejemplos
Si f : V → V es una involución (i.e. f 2 = IdV ) entonces ρ : Z/2Z → GL(V ) dada
por ρ(0) = IdV , ρ(1) = f es una representación.
Si φ : G → C× es un morfismo de grupos, entonces ρ = [φ] : G → GL1 (C) es una
representación de dimensión 1.
La representación trivial (ρ0 , V0 ) es ρ0 : G → GL1 (C) = C× constante igual a 1.
Tiene dimensión 1.
Representación de permutación. Sn actúa en la base canónica {ej }nj=1 de V = Cn por
permutación. Se extiende a una representación ρ : Sn → GLn (C) de dimensión n.
Representación regular. Sea G un grupo finito. La representación (ρreg , Vreg ) se cons-
truye ası́: Vreg = CG con base canónica {eg : g ∈ G}, y acción dada en la base por
h · eg = ehg . Tiene dimensión #G.
Una herramienta muy útil en el estudio de representaciones es la traza (recordamos que
no depende de la elección de base en V ). Una primera aplicación básica es:
Lema 5.1. Sea (ρ, V ) una representación. Entonces su dimensión es trρ(e).
Demostración. Basta notar que ρ(e) = IdV . 
Un morfismo de representaciones u : (ρ1 , V1 ) → (ρ2 , V2 ) es un morfismo de espacios
vectoriales u : V1 → V2 que cumple u ◦ ρ1 (g) = ρ2 (g) ◦ u para todo g ∈ G. Decimos que es
75
un isomorfismo si u es isomorfismo de espacios vectoriales, que es lo mismo que pedir que u
tenga inversa como morfismo de representaciones.
Lema 5.2 (Sub-representaciones). Sea V una representación de G y sea W ⊆ V un sub-
espacio vectorial estable por la acción de G, es decir: para todo g ∈ G se tiene g · W ⊆ W .
Entonces W es una representación de G con la acción restringida de V . La inclusión
W → V es un morfismo de representaciones.
El W del lema anterior es una sub-representación de V . Un ejemplo importante es el
siguiente:
Lema 5.3 (La representación estándar de Sn ). Sea (ρ, V ) la representación por permu-
tación de Sn en V = Cn . Defina los subespacios
X
U = h(1, ..., 1)i, Vst = {v ∈ V : vj = 0}.
j

Entonces ambos U, Vst son sub-representaciones de V , y U ' V0 es la representación trivial.

Demostración. Permutar coordenadas envı́a a U y Vst dentro de sı́ mismos. 
La representación Vst del grupo de permutación Sn se llama representación estándar y
tiene dimensión n − 1.
Veamos algunas construcciones de representaciones:
Lema 5.4 (Cuocientes). Sea V una representación de G y sea W ⊆ V una sub-representación.
Entonces la acción de G en V pasa al cuociente V /W y determina una única representación
de G tal que el morfismo cuociente V → V /W es un morfismo de representaciones.
A continuación, la construcción de suma directa de representaciones.
Lema 5.5 (Suma directa). Sean V1 , V2 representaciones de G. La acción g · (v1 , v2 ) :=
(g · v1 , g · v2 ) determina una representación de G en V1 ⊕ V2 .
Por ejemplo, si V es la representación de permutación de Sn entonces V ' V0 ⊕ Vst .
Otra manera de producir nuevas representaciones es el determinante:
Lema 5.6 (Determinante). Sea (ρ, V ) representacion de G. Entonces (det ρ, C) es una
representación 1-dimensional de G.
Demostración. Porque el determinante es multiplicativo en matrices. 
Ejemplo. Sea G = S3 y sea (ρst , Vst ) la representación estándar de S3 . Elegimos la base
de Vst dada por v1 = (1, −1, 0) = e1 − e2 y v2 = (0, 1, −1) = e2 − e3 . En esta base tenemos:
  (
−1 1 v1 7→ −v1
ρst ((12)) = ,
0 1 v2 7→ v1 + v2
  (
−1 1 v1 7→ −v1 − v2
ρst ((123)) = ,
−1 0 v2 7→ v1
Ası́, det ρst = ρsgn donde ρsgn : Sn → µ2 ⊆ C× = GL1 (C) es el morfismo de signatura.
Un poco más delicado, pero muy útil, es la construcción del tensor de representaciones:
76
 Lema 5.7 (Tensor de representaciones). Sean (ρ1 , V1 ) y (ρ2 , V2 ) representaciones de G.
Entonces (ρ1 ⊗ ρ2 , V1 ⊗ V2 ) es una representación (tensor sobre C), donde (ρ1 ⊗ ρ2 )(g) :=
ρ1 (g) ⊗ ρ2 (g) es un tensor de morfismos C-lineales.
Demostración. Solo hay que chequear que la regla (ρ1 ⊗ ρ2 )(g) := ρ1 (g) ⊗ ρ2 (g) define
un morfismo de grupos ρ1 ⊗ ρ2 : G → GL(V1 ⊗ V2 ). Esto viene de las propiedades funtoriales
del tensor de morfismos de A-módulos (en este caso C-módulos). 

2. Representaciones simples: Schur y Maschke

Recordemos que un morfismo de representaciones f : (ρ1 , V1 ) → (ρ2 , V2 ) es un morfismo
de espacios vectoriales f : V1 → V2 que cumple f ◦ ρ1 (g) = ρ2 (g) ◦ f para todo g ∈ G. Es
decir, para todo g ∈ G el siguiente diagrama conmuta:
f
V1 V2
ρ1 (g) ρ2 (g)

V1 f
V2 .

Dicho de otra forma, si V1 , V2 son representaciones de G, un morfismo de representaciones

f : V1 → V2 es un morfismo de espacios vectoriales que es G-equivariante, es decir, para todo
v ∈ V1 y g ∈ G se cumple f (g · v) = g · f (v).
Lema 5.8. Sea f : V → W morfismo de representaciones. Entonces im(f ) ⊆ W y
ker(f ) ⊆ V son sub-representaciones.
Demostración. Obvio. 

Dadas representaciones V1 , V2 , el conjunto de todos los morfismos G-equivariantes (i.e.

morfismos de representación) de V1 en V2 se anota HomG (V1 , V2 ). Cuando V1 = V2 = V
simplemente anotamos EndG (V ) = HomG (V, V ).
Lema 5.9. Dadas representaciones V1 , V2 de G, tenemos que HomG (V1 , V2 ) es un C-
espacio vectorial.
Una representación V 6= (0) es simple si sus únicas sub-representaciones son (0) y V .
Ejemplo
Si dim V = 1 entonces V automáticamente es simple.
Para G = S3 consideramos Vst . Como dim Vst = 2, si no fuera simple entonces tendrı́a
una sub-representación de dimensión 1. Es decir, todos los g ∈ S3 actuarı́an en Vst
con un vector propio común.
Notar que (12) tiene los vectores propios (1, 1, −2) (valor propio 1) y (1, −1, 0)
(valor propio −1) en Vst ⊆ C3 . Como los valores propios son distintos, son únicos
salvo escalar. Por otro lado, (23) tiene los vectores propios (−2, 1, 1) (valor propio
1) y (0, 1, −1) (valor propio −1) en Vst ⊆ C3 . Como los valores propios son distin-
tos, son únicos salvo escalar. Como (12) y (23) no coinciden en vectores propios, la
representación Vst de S3 es simple.
77
 Teorema 5.10 (Lema de Schur). Sea G un grupo finito y sean V y W representaciones
complejas finito-dimensionales de G. Entonces
(
(0) si V 6' W como representaciones
HomG (V, W ) '
C si V ' W como representaciones.
Demostración. Dado que V, W son simples, notamos que todo f ∈ HomG (V, W ) cum-
ple que ker(f ) es (0) o V , mientras que im(f ) es (0) o W .
V 6' W Sea f ∈ HomG (V, W ). Tenemos que f no es inyectiva o bien no es sobreyectiva.
Pero en ambos casos la observación anterior implica que f es nula.
V ' W Fijando un isomorfismo podemos suponer V = W . Sea f ∈ EndG (V ) cualquiera.
Como C es algebraicamente cerrado, tenemos un vector propio 0 6= v ∈ V con valor
propio λ ∈ C. Notar que F := f − λIdV ∈ EndG (V ) porque f, IdV ∈ EndG (V ). Dado que
F (v) = 0 vemos que ker(F ) 6= (0) y por ende ker(F ) = V . Esto implica f = λIdV . 
Dada una representación V se define la sub-representación
V G = {v ∈ V : g · v = v ∀g ∈ G}.
Esto es la parte fija por G. Obviamente podrı́a ocurrir V G = (0).
Como C tiene caracterı́stica 0, podemos hacer la siguiente construcción:
Dada una representación (ρ, V ) de un grupo G de orden n, se define
1X
AvgV : V → V G , v 7→ ρ(g)(v).
n g∈G
Este es el operador promediante de (ρ, V ). Es una función C-lineal.
Lema 5.11 (El operador promediante proyecta a la parte fija). Dada una representación
V , el operador promediante AvgV : V → V G cumple lo siguiente
(i) AvgV |V G = Id|V G , y
(ii) AvgV ◦ AvgV = AvgV .
Demostración. Esto es obvio. 
Dadas representaciones V, W definimos una estructura de representación en HomC (V, W )
como sigue:
g · f : v 7→ g · (f (g −1 · v)).
Esto funciona; por ejemplo dados g, h ∈ G y f : V → W un morfismo C-lineal entonces
(g · (h · f ))(v) = g · ((h · f )(g −1 · v)) = g · (h · f (h−1 · (g −1 · v)))
= (gh) · (f ((gh)−1 · v)) = ((gh) · f )(v).
Lema 5.12 (Morfismos equivariantes como parte fija). Sean V, W representaciones de G.
Entonces HomC (V, W )G = HomG (V, W ).
Demostración. Sea g ∈ G y f ∈ HomC (V, W ). Pedir g · f (g −1 · v) = f (v) para todo
v ∈ V , es lo mismo que pedir g · f (u) = f (g · u) para todo u ∈ V . 
Teorema 5.13 (Teorema de Maschke). Sea G un grupo finito y sea (ρ, V ) una repre-
sentación compleja finito-dimensional de G. Entonces V se puede descomponer como suma
directa de representaciones simples.
78
 Demostración. Sea W ⊆ V una sub-representación. Por inducción en la dimensión,
basta demostrar que existe una sub-representación U ⊆ V con V = U ⊕ W .
Sea φ : V → W ⊆ V una proyección C-lineal (no pedimos que sea G-equivariante). En
particular φ|W = IdW . Vamos a “corregir” φ para obtener una proyección G-equivariante.
Sea H = HomC (V, W ) visto como representación de G y anotamos ρH : G → GL(H)
para esta representación, es decir, ρH (g)(f ) = ρ(g) ◦ f ◦ ρ(g −1 ).
Definir π = AvgH (φ). Entonces π ∈ H G = HomG (V, W ), en particular π : V → W .
Veamos que π|W = IdW ; dado v ∈ W tenemos
1X 1X
π(v) = (ρH (g)(φ))(v) = g · (φ(g −1 · v))
n g n g
1X 1X
= g · (IdW (g −1 · v)) = v = v.
n g n g

Por lo tanto π : V → W es un morfismo de representación que cumple π|W = IdW . Ası́ que
U = ker(π) es sub-representación de V y cumple V = U ⊕ W . 
Observaciones.
Para que la demostración del lema de Schur funcione, basta que estemos trabajando
sobre un campo algebraicamente cerrado, porque necesita un valor propio de cierto
operador lineal.
Para que la demostración del teorema de Maschke funcione, basta que estemos tra-
bajando sobre un campo de caracterı́stica 0 (o bien, de caracterı́stica positiva p tal
que p - #G) porque usamos operadores promediantes, los cuales requieren dividir por
el orden del grupo.
El motivo por el cual elegimos trabajar sobre C es justamente para tener disponibles
ambos resultados.

3. Representaciones irreducibles: teorema de estructura

Sea G grupo finito. Una representación compleja (ρ, V ) no nula de G se dice irreducible
si no es isomorfa a una suma directa de sub-representaciones propias.
Obviamente toda representación simple es irreducible, ası́ que los ejemplos anteriores
de representaciones simples nos sirven como ejemplos de representaciones irreducibles. Sin
embargo, con los teoremas de Schur y Maschke, podemos decir mucho más:
Teorema 5.14 (Teorema de estructura sobre C). Sea G un grupo finito.
(i) Una representación compleja de G es simple si y solo si es irreducible.
(ii) Toda representación compleja de G es isomorfa a una suma directa de representacio-
nes irreducibles.
(iii) Dicha descomposición en irreducibles es única salvo orden e isomorfismo.
(iv) Si V, W son representaciones complejas de G con W irreducible, entonces la cantidad
de veces que W aparece como sumando directo en V es dim HomG (V, W ).
Demostración. (i) Si una representación V es simple claramente es irreducible.
Por otro lado supongamos que V no es simple. Por el teorema de Maschke es suma directa
de sub-representaciones simples. En particular no es irreducible.
79
 (ii) Por (i) y el teorema de Maschke.
(iii) Digamos que U1 , ..., Ur y W1 , ..., Ws son representaciones irreducibles que cumplen
⊕i=1 Ui ' V ' ⊕sj=1 Wj . Sea V 0 una representación irreducible cualquiera. Basta mostrar que
r

V 0 aparece entre los Ui la misma cantidad de veces que entre los Wj , salvo isomorfismo.
Notamos que por el lema de Schur
Mr r
Y
dim HomG (V, V 0 ) = dim HomG ( Ui , V 0 ) = dim HomG (Ui , V 0 )
i=1 i=1
r
X
= dim HomG (Ui , V 0 ) = #{i : Ui ' V 0 }
i=1

donde usamos la propiedad universal de la suma directa para obtener HomG (⊕ri=1 Ui , V 0 ) =
Q r 0 0 0
i=1 HomG (Ui , V ). Similarmente se obtiene dim HomG (V, V ) = #{j : Wj ' V }. Por lo
tanto #{i : Ui ' V 0 } = #{j : Wj ' V 0 }.
(iv) Es parte de lo que demostramos en el item (iii). 
Recordemos que la representación regular (ρreg , Vreg ) de G es
M
Vreg = C · eg
g∈G

con la acción es dada por ρreg (h)(eg ) = ehg . Es una representación de dimensión #G. Ahora
estamos en condiciones de entender lo importante que es este ejemplo de representación.
Teorema 5.15 (Estructura de la representación regular). Sea G un grupo finito y sea
Vreg su representación regular sobre C. Entonces
M
Vreg ' W dim W
W irred

donde W varı́a sobre todas las representaciones irreducibles de G salvo isomorfismo.

Demostración. Para evitar confusión escribimos  por el neutro de G. Dada una re-
presentación W de G definimos la función
ψW : HomG (Vreg , W ) → W, ψ(f ) = f (e ).
Es claro que ψ es una función C-lineal.
ψ es inyectiva. Si f (e ) = 0 entonces para todo g ∈ G tenemos f (eg ) = f (g · e ) =
g · f (e ) = g · 0 = 0 porque f es G-equivariante. Ası́ que f = 0.
ψ es sobreyectiva. Sea w ∈ W . Definimos f : Vreg → W en una base por la fórmula
f (eg ) := g · w, y por la PU de las bases esto define a f de manera única como función
C-lineal. Es equivariante porque
! ! !
X X X X
f h· αg eg = f αg ehg = αg hg · w = h · f αg eg .
g∈G g∈G g∈G g∈G

Con esta construcción obtenemos f ∈ HomG (Vreg , W ) con ψ(f ) = w.

Por lo tanto HomG (Vreg , W ) ' W como C-espacios vectoriales. Ahora, sea W una repre-
sentación irreducible de G. Por el item (iv) del teorema de estructura, la cantidad de veces
80
que W aparece como sumando directo de Vreg es exactamente dim HomG (Vreg , W ) = dim W ,
como querı́amos. 
Corolario 5.16. Sea G un grupo finito. La suma de (dim W )2 sobre todas las represen-
taciones W complejas irreducibles de G (salvo isomorfismo) es igual a #G. En particular,
G tiene ≤ #G representaciones irreducibles salvo isomorfismo.
Ejemplo. Tomamos G = S3 . Conocemos hasta ahora tres representaciones irreducibles de
S3 dadas en ejemplos anteriores, no isomorfas entre ellas:
V0 la representación trivial.
Vsgn la representación dada por el morfismo de signatura en S3 .
Vst la representación estándar.
Notamos que (dim V0 )2 + (dim Vsgn )2 + (dim Vst )2 = 1 + 1 + 4 = 6 = #S3 . Por lo tanto estas
son todas las representaciones complejas irreducibles de S3 salvo isomorfismo. Por el teorema
de estructura, toda representación compleja de S3 se obtiene de estas por suma directa.
Ejemplo. G actúa en C3 sumando al ı́ndice de la base canı́nica e0 , e1 , e2 ; esto es la repre-
sentación regular. Explı́citamente ρ = ρreg : G → GL3 (C) es
     
1 0 0 0 0 1 0 1 0
ρ(0) =  0 1 0  , ρ(1) =  1 0 0  , ρ(2) =  0 0 1 
0 0 1 0 1 0 1 0 0
Descomposición: U0 = h(1, 1, 1)i estas matrices actúan en U0 , ası́ que es sub-representación
y es irreducible porque es de dimensión 1. De hecho U0 ' V0 .
¿Qué más hay en la descomposición?
U1 = h(1, ω, ω 2 )i con ω raı́z cúbica de 1 no-trivial. Por ejemplo: ρ(1)(1, ω, ω 2 ) =
(ω 2 , 1, ω) = ω 2 · (1, ω, ω 2 )
U2 = h(1, ω 2 , ω)i, ahora ρ(1)(1, ω 2 , ω) = (ω, 1, ω 2 ) = ω · (1, ω 2 , ω)
En este caso Vreg ' V0 ⊕U1 ⊕U2 . Como es todo lo que aparece en Vreg , estas tres son todas
las representaciones irreducibles de Z/3Z, y no son isomorfas entre ellas (las de dimensión 1
no vienen repetidas en la representación regular de un grupo).
El método explı́cito de los ejemplos anteriores no es conveniente para grupos en general.
Vamos a desarrollar la teorı́a de caracteres que permite clasificar representaciones irreducibles
sin tener que necesariamente construirlas explı́citamente.

4. Caracteres: definiciones y resultados preliminares

Sea G un grupo finito de orden n. El caracter de una representación (ρ, V ) es la función
χV : G → C, χV (g) := trρ(g).
En general no es un morfismo de grupos. Si una representación se escribe V∗ , vamos a
anotar su caracter como χ∗ en lugar de χV∗ . Por ejemplo, χ0 y χreg son los caracteres de la
representación trivial y la regular. Una observación trivial pero importante es
Lema 5.17. Si V ' W son representaciones isomorfas entonces χV = χW .
El siguiente lema lo usaremos frecuentemente sin mención.
81
 Lema 5.18. Sea (ρ, V ) una representación de G. Sea g ∈ G. Los valores propios de ρ(g)
son raı́ces de 1. En particular, χV (g −1 ) = χV (g) donde la barra denota conjugación compleja.
Demostración. Por Lagrange, ρ(g)n = ρ(g n ) = ρ(e) = IdV , obteniendo lo primero.
Para lo segundo, notar que el recı́proco de una raı́z de la unidad es su conjugado complejo
y calculamos:
χV (g −1 ) = tr(ρ(g)−1 ) = trρ(g) = χV (g).

La representación dual V ∨ asociada a una representación V es V ∨ := HomC (V, V0 ). Notar
que si g ∈ G y f ∈ V ∨ entonces (g · f )(v) = f (g −1 · v) ya que la acción de G en V0 es trivial.
Lema 5.19 (Fórmulas básicas). Tenemos las siguientes fórmulas para caracteres:
(i) χV ⊕W = χV + χW
(ii) χV ⊗W = χV · χW
(iii) χV ∨ = χV
(iv) χV (e) = dim V
(v) χ0 = 1.
Demostración. (i) y (v) son obvias. (ii) viene de la tarea 6. (iv) viene del lema 5.1.
(iii): Dada una representación (ρ, V ) elegir una base en V . Sea g ∈ G y sea M la matriz
de ρ(g −1 ) en la base elegida, de modo que trM = χV (g). Ponemos en V ∨ la base dual,
entonces la regla f 7→ f ◦ M es la traspuesta de ρ(g −1 ) y por ende es dada (en la base dual)
por la matriz traspuesta M t . Ası́, χV ∨ (g) = trM t = trM = χV (g). 
Lema 5.20 (Hom como un tensor para representaciones). Sean V, W representaciones de
G. Se tiene que HomC (V, W ) ' V ∨ ⊗ W como representaciones de G.
Demostración. Sea H = HomC (V, W ). Tenemos la función C-bilineal V ∨ × W → H
dada por (f, w) 7→ f (−)w. Esto induce una función lineal γ : V ∨ ⊗ W → H.
Sean {vi }i y {wj }j bases de V y W . Sea {fi }i la base dual de V ∨ , entonces {fi ⊗ wj }i,j
es base de V ∨ ⊗ W (cf. lema 4.45). Vemos que γ(fi ⊗ wj ) = fi (−)w es la función V → W
que manda vi en wj y todos los demás vk a 0. Dichas funciones forman una base de H, que
en las bases elegidas de V y W consiste de matrices con exactamente un 1 en una entrada y
0 en las demás. Como γ manda una base de V ∨ ⊗ W en una base de H, es un isomorfismo
C-lineal. Finalmente, veamos que γ es G-equivariante:
γ(g · (f ⊗ w))(v) = (f (g −1 · v))(g · w) = g · (f (g −1 · v)w) = (g · γ(f ⊗ w))(v)
para todo v ∈ V . Por ende γ(g · (f ⊗ w)) = g · γ(f ⊗ w). 
Lema 5.21 (Caracter de un Hom). Sean V, W representaciones de G. Sea H = HomC (V, W ).
Entonces χH = χV · χW .
Demostración. Por el lema anterior χH = χV ∨ ⊗W = χV · χW . 
Una función ξ : G → C es una función de clases si es constante en cada clase de
conjugación de G. Sea c = c(G) el número de clases de conjugación de G y Ω = ΩG el
conjunto de las funciones de clase de G. Ası́, Ω es un C-espacio vectorial de dimensión c.
Lema 5.22 (Caracteres como función de clases). Sea V representación. Entonces χV ∈ Ω.
82
 Demostración. La traza no cambia por conjugación. 
Definimos el siguiente producto interior (¡usual!) en Ω:
1X
(ψ, ξ) := ψ(g)ξ(g).
n g∈G
El siguiente lema clave en la teorı́a de caracteres abre la puerta a los resultados centrales.
Lema 5.23 (Lema clave: producto interior como dimensión). Si V, W son representacio-
nes de G entonces (χV , χW ) = dim HomG (W, V ).
Demostración. Para una representación U , dado que AvgU : U → U es una proyección
con imagen U G y es la identidad en U G (cf. lema 5.11), tenemos que tr(AvgU ) = dim U G .
Aplicamos esto a U = H = HomC (W, V ) anotando ρH por la representación en H:
!
1 X 1X 1X
dim H G = tr(AvgH ) = tr ρH (g) = χH (g) = χV (g)χW (g)
n g∈G n g∈G n g∈G

por el lema 5.21. Finalmente recordamos H G = HomG (W, V ) (cf. lema 5.12). 

5. Teorı́a de caracteres
Con los resultados preliminares de a sección anterior, estamos en condiciones de desarro-
llar los fundamentos de la teorı́a de caracteres complejos de grupos finitos.
Corolario 5.24. Si V, W son representaciones complejas de G y W es irreducible,
entonces el número de veces que W aparece en V es (χW , χV ) (el cual es igual a (χV , χW )
porque es conjugado de un entero).
Demostración. Por la parte (iv) del teorema de estructura 5.14 y el lema 5.23. 
Teorema 5.25 (Los caracteres irreducibles son ortonormales, aka. Ortogonalidad I).
Dadas representaciones complejas irreducibles V, W de G tenemos
(
1 si V ' W
(χV , χW ) =
0 si V 6' W.
Demostración. Por el lema 5.23 y el lema de Schur. 
Teorema 5.26 (Criterio de irreducibilidad). Una representación compleja V es irredu-
cible si y solo si (χV , χV ) = 1.
b
Demostración. Escribamos la descomposición de V en irreducibles V = ⊕m j
j=1 Wj para
ciertos bj ≥ 1 y Wj irreducibles no isomorfas entre ellas. El teorema de Ortoganialidad I da
m X
X m m
X
(χV , χV ) = (bi χWj , bj χWj ) = b2i .
i=1 j=1 i=1

De aquı́ obtenemos lo deseado. 

Corolario 5.27 (Irreducibilidad del dual). Una representación V es irreducible si y
solo si V ∨ lo es.
83
 Demostración. Por el teorema 5.26 y por (χV ∨ , χV ∨ ) = (χV , χV ) = (χV , χV ). 
Teorema 5.28 (El caracter determina la representación). Dos representaciones comple-
jas V, W de G son isomorfas si y solo si χV = χW .
Demostración. Por el lema 5.17 basta mostrar “⇐”.
Suponer que χV = χW . Sea U una representación irreducible. Por el teorema de estructura
basta mostrar dim HomG (V, U ) = dim HomG (W, U ). Por el lema 5.23 esto es lo mismo que
pedir (χU , χV ) = (χU , χW ), lo cual es evidente del hecho que χV = χW . 
Lema 5.29. Sea ψ ∈ Ω y sea (ρ, V ) una representación. Defina
X
fψ,V = ψ(g)ρ(g) ∈ EndC (V )
g∈G

Entonces fψ,V es G-equivariante, es decir fψ,V ∈ EndG (V ).

Demostración. Sea h ∈ G. Con el cambio de variables g = hkh−1 tenemos
X X X
fψ,V ◦ ρ(h) = ψ(g)ρ(gh) = ψ(hkh−1 )ρ(hk) = ψ(k)ρ(hk) = ρ(h) ◦ fψ,V .
g∈G k∈G k∈G


Teorema 5.30 (Los caracteres irreducibles son base de Ω). La colección de los caracteres
irreducibles {χW : W es irreducible} forma una base del espacio Ω de funciones de clase.
Demostración. Por Ortogonalidad I, los caracteres irreducibles son linealmente in-
dependientes entre ellos, ası́ que basta mostrar que generan Ω como C-espacio vectorial.
Además, todo caracter es combinación lineal de caracteres irreducibles, ası́ que basta mos-
trar que los caracteres generan Ω.
Sea ψ ∈ Ω tal que (ψ, χV ) = 0 para toda representación V . Mostraremos que ψ = 0.
Si W es irreducible entonces fψ,W ∈ EndG (W ) ' C por el lema anterior y por el Lema
de Schur, ası́ que fψ,W = λIdW para cierto λ ∈ C. Se obtiene
X
λ · dim W = tr(fψ,W ) = ψ(g)χW (g) = n(ψ, χW ∨ ) = 0.
g∈G

Por lo tanto, para toda W irreducible tenemos fψ,W = 0. Por linealidad y el teorema de es-
tructura de representaciones, para toda representación V obtenemos fψ,V = 0. En particular
tomando V = Vreg obtenemos (anotamos  por el neutro de G)
X X
0 = fψ,Vreg (e ) = ψ(g)ρreg (g)(e ) = ψ(g)eg ∈ Vreg .
g∈G g∈G

Dado que los eg son una base de Vreg obtenemos que ψ = 0. 

Corolario 5.31 (Conteo de representaciones irreducibles). La cantidad de representa-
ciones complejas irreducibles de G salvo isomorfismo es igual a c(G), la cantidad de clases
de conjugación de G.
Demostración. Los caracteres irreducibles son c por el teorema anterior. Y los carac-
teres corresponden biyectivamente con las representaciones salvo isomorfismo. 
84
 Ejemplo. Para S3 ya vimos que hay 3 representaciones irreducibles. Eso coincide con el
hecho que S3 tiene 3 clases de conjugación, representadas por e, (12) y (123).
Corolario 5.32 (Representaciones y grupos abelianos). Sea G un grupo finito. G es
abeliano si y solo si todas sus representaciones irreducibles son de dimensión 1, en cuyo caso
tiene #G de ellas.
Demostración. c = #G porque G es abeliano ası́ que hay n = #G representaciones
irreducibles. La suma del cuadrado de sus dimensiones es n ası́ que son de dimensión 1. 

6. Tablas de caracteres
Seguimos con la notación anterior. Sean U1 , ..., Uc todas las representaciones complejas
irreducibles de G (salvo isomorfismo) donde c = c(G) es el número de clases de conjugación
de G. Sean g1 , ..., gc representantes de las clases de conjugación Ci de G respectivamente.
La tabla de caracteres de G es la matriz
T = [χUi (gj )]i,j ∈ Mc×c (C).
La matriz T solo depende de G, y el orden de las columnas y filas queda fijo por nuestra
enumeración de los Ui y los Cj .
Definimos la siguiente matriz diagonal
#C1 0
 

D= ... 
0 #Cc
Lema 5.33 (Ortogonalidad I, v2). Se tiene que T DT ∗ = nId donde T ∗ es la adjunta
(conjugada traspuesta) de T .
Demostración. Por Ortogonalidad I, para cada i, k ∈ {1, ..., c} se cumple
c
1X
χU (gj )χUk (gj ) · #Cj = δik
n j=1 i
donde δik = 1 si i = k y δik = 0 si i 6= k. 
Teorema 5.34 (Ortogonalidad II). Para todo g, h ∈ G se tiene
c
(
X 0 si g, h no son conjugados
χUi (g)χUi (h) =
i=1
n/#C si g, h son conjugados y su clase es C.

Demostración. Por Ortogonalidad I tenemos DT ∗ = nT −1 . Ası́, DT ∗ T = nId lo que

da T ∗ T nD−1 . El resultado se obtiene conjugando. 
Ejemplo 1. G = Z/3Z. Como es abeliano, c = #G = 3 y todas sus representaciones
irreducibles son de dimensión 1. La tabla de caracteres parcialmente rellenada es
0 1 2
χ0 1 1 1
χ1 1
χ2 1
85
donde la primera fila es del caracter trivial, y la primera columna lista las dimensiones
(porque χV (e) = dim V ). Tomemos ρ1 : G → C× = GL1 (C) dada por ρ1 (n) = ω n con ω
una raı́z cúbica no trivial de 1 y ρ2 (n) = ω̄ n . Ellas son representaciones no isomorfas de
dimensión 1 y la tabla se completa:

0 1 2
χ0 1 1 1
χ1 1 ω ω 2
χ2 1 ω 2 ω

Notamos que se encontró lo mismo (salvo orden) que en el último ejemplo de la sección 3.
Ejemplo 2. G = S3 . Veamos que Vst es irreducible sin calcular con vectores.
Las clases de conjugación de S3 se representan por e, (12) y (123). Sea Vper la represen-
tación de permutación de S3 de modo que Vper = Vst ⊕ V0 (por definición de Vst ). Entonces
χst = χper −χ0 . Notar que χper (σ) = #F ix(σ) porque es la traza de la matriz de permutación
definida por σ. Entonces

χst (e) = 3 − 1 = 2; χst (12) = 1 − 1 = 0; χst (123) = 0 − 1 = −1.

Calculamos ahora el producto interior, anotando Cσ por la clase de conjugación de σ ∈ S3

1 4+0+2
(χst , χst ) = (22 · 1 + 02 · #C(12) + (−1)2 · #C(123) ) = =1
6 6
ası́ que Vst es irreducible.
Ejemplo 3. G = S3 . Usando V0 , Vsgn y Vst , la tabla de caracteres de S3 es

e (12) (123)
χ0 1 1 1
χsgn 1 −1 1
χst 2 0 −1

La última fila des del ejemplo anterior.

Ejemplo 4. G = S4 . Las clases de conjugación son representadas por e, (12), (12)(34),
(123) y (1234). Estas clases de conjugación tienen orden 1, 6, 3, 8, 6 respectivamente.
Vamos a necesitar representaciones porque el total de irreducibles es c = 5. Tenemos V0
y Vsgn que son irreducibles. Tenemos Vst y chequeamos que es irreducible usando la misma
idea del ejemplo 2: dado que χst (σ) = χper (σ) − χ0 (σ) = #F ix(σ) − 1 tenemos

32 · 1 + 12 · 6 + (−1)2 · 3 + 02 · 8 + (−1)2 · 6 9+6+3+0+6

(χst , χst ) = = =1
24 24
ası́ que Vst es irreducible (Nota: es un ejercicio demostrar que en realidad Vst es irreducible
para todo Sn ).
Con esto tenemos V0 , Vsgn , Vst y faltan dos que llamaremos U, W . Debe cumplirse

12 + 12 + 32 + (dim U )2 + (dim W )2 = #S4 = 24

86
es decir (dim U )2 + (dim W )2 = 13. Esto obliga dim U = 2 y dim W = 3, salvo orden. Usando
el cálculo anterior de χst , la tabla de caracteres hasta ahora es
e (12) (12)(34) (123) (1234)
χ0 1 1 1 1 1
χsgn 1 −1 1 1 −1
χst 3 1 −1 0 −1
χU 2
χW 3
¿Cómo construir esas dos representaciones? Lo más fácil es tratar W porque como dim W = 3
una sospecha es tomar W := Vst ⊗ Vsgn . Notar que χW = χst · χsgn . Chequando con producto
interior para W el cálculo es el mismo que para Vst porque χsgn solo toma valores ±1.
Entonces W = Vst ⊗ Vsgn es irreducible y la tabla va
e (12) (12)(34) (123) (1234)
χ0 1 1 1 1 1
χsgn 1 −1 1 1 −1
χst 3 1 −1 0 −1
χU 2 t x y z
χW 3 −1 −1 0 1
Con esto podemos completar la fila de U sin calcular la representación explı́citamente, usando
las relaciones de ortogonalidad. Usaremos Ortogonalidad II. Por ejemplo para despejar t
usamos las dos primeras columnas:
0 = 1 · 1 + 1 · (−1) + 3 · 1 + 2 · t + 3 · (−1) = 1 − 1 + 3 + 2t − 3 = 2t ⇒ t = 0.
Procedemos similarmente para calcular x, y, z y finalmente la tabla es
e (12) (12)(34) (123) (1234)
χ0 1 1 1 1 1
χsgn 1 −1 1 1 −1
χst 3 1 −1 0 −1
χU 2 0 2 −1 0
χW 3 −1 −1 0 1
Esto determina completamente todas las representaciones irreducibles de S4 .

87