Grupos y Anillos: Fundamentos Matemáticos
Grupos y Anillos: Fundamentos Matemáticos
1 Anillos 5
1.1 Operaciones binarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Subanillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 Homomorfismos de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5 Ideales y anillos cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.6 Operaciones con ideales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.7 Los Teoremas de Isomorfı́a y Chino de los Restos . . . . . . . . . . . . . . . . . 25
2 Divisibilidad en Dominios 29
2.1 Cuerpos y dominios; ideales maximales y primos . . . . . . . . . . . . . . . . . 29
2.2 Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3 Dominios de factorización única . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.4 Dominios de ideales principales . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.5 Dominios euclı́deos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.6 El cuerpo de fracciones de un dominio . . . . . . . . . . . . . . . . . . . . . . . 46
3 Polinomios 53
3.1 Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2 Raı́ces de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.3 Divisibilidad en anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . 62
3.4 Factorización en el anillo de polinomios de un DFU . . . . . . . . . . . . . . . . 67
3.5 Polinomios en varias indeterminadas . . . . . . . . . . . . . . . . . . . . . . . . 73
4 Grupos 79
4.1 Definiciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.2 Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.3 El orden de un elemento de un grupo . . . . . . . . . . . . . . . . . . . . . . . . 84
3
4 CONTENIDOS
6 Grupos de permutaciones 99
6.1 Ciclos y trasposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
6.2 El grupo alternado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
6.3 El Teorema de Abel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
6.4 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Anillos
Decimos que x es
cancelable en X con respecto a ∗ si es cancelable en X con respecto a ∗ por los dos lados.
simétrico de y con respecto a ∗ si es simétrico de y con respecto a ∗ por los dos lados.
En tal caso decimos que x es invertible en X con respecto a ∗.
semigrupo si ∗ es asociativa;
5
6 CAPÍTULO 1. ANILLOS
(f · g)(a) = f (a)g(a).
1.1. OPERACIONES BINARIAS 7
Veamos ahora algunas propiedades básicas de las definiciones dadas más arriba.
(1) Si ∗ es conmutativa entonces todo neutro por un lado, es neutro, todo elemento cancelativo
por un lado es cancelativo y todo elemento que tenga simétrico por un lado es invertible.
f = e ∗ f = e.
(3a) Ahora suponemos que (X, ∗) es un monoide. Por (2), (X, ∗) tiene un único neutro que
vamos a denotar por e. Como x es inverso por la izquierda de a e y es inverso por la derecha
de a, usando la propiedad asociativa, tenemos que
y = e ∗ y = (x ∗ a) ∗ y = x ∗ (a ∗ y) = x ∗ e = x.
(3b) Supongamos que a es un elemento de X que tiene un inverso por la izquierda b y que
ax = ay para x, y ∈ X. Usando la asociatividad una vez mas concluimos que
x = e ∗ x = (b ∗ a) ∗ x = b ∗ (a ∗ x) = b ∗ (a ∗ y) = (b ∗ a) ∗ y = e ∗ y = y.
Por la Proposición 1.2, si (X, ∗) es un monoide cada elemento invertible a sólo tiene un
simétrico que habitualmente se denota a−1 .
8 CAPÍTULO 1. ANILLOS
Problemas
1.1.1 (1) Demostrar que si X es el conjunto vacı́o o tiene exactamente un elemento, en-
tonces X sólo admite una operación. Sin embargo si X tiene dos elementos, entonces X
tienen 16 operaciones. ¿Puedes enumerarlas todas y para cada una de ellas decir si son
conmutativas, asociativas, cuáles son los elementos cancelables, si tienen neutro, y en tal
caso identificar los elementos invertibles y los que tienen inverso por la izquierda o por
la derecha?
(2) ¿Cuáles son los elementos invertibles de X con respecto a ◦? ¿Cuáles son los que tienen
simétrico por la izquierda y cuáles los que lo tienen por la derecha?
Demostrar que g es inverso por la izquierda de f pero que f no tiene inverso por la
derecha.
(4) Demostrar que si A es finito entonces todo elemento de X que tiene un inverso por un
lado es invertible.
(2) ¿Cuáles de ellos son semigrupos, monoides o grupos respecto de la suma o del producto?
1.1.4 Para dos enteros positivos m y n y un conjunto A denotamos por Mm,n (A) el conjunto
de las matrices con m filas y n columnas y con entradas en A y también denotamos Mn (A) =
Mn,n (A).
(1) Demostrar que la suma habitual de matrices define una estructura de grupo abeliano en
Mm,n (C) y el producto de matrices define una estructura de monoide en Mn (C).
(3) Decid cuáles de los siguientes conjuntos son cerrados para la suma y cuáles para el
producto. Decid también cuántos forman un semigrupo, un monoide o un grupo con la
suma o con el producto: Mn (N), Mn (Z), Mn (Q), Mn (R), Tn (C) = matrices triangulares
superiores o sea debajo de la diagonal tienen ceros, A = conjunto de las matrices n por
n que tienen ceros en todas las entradas menos en la (1, 1), Dn (C) = conjunto de las
matrices diagonales, o sea todas las entradas fuera de la diagonal son cero, En (C) =
{aIn : a ∈ C}, donde In denota la matriz identidad n por n.
1.1.6 Sea ∗ una operación en un conjunto X y ◦ una operación en otro conjunto Y . Definimos
en el producto cartesiano X × Y la operación
Decidir qué tienen que cumplir las operaciones originales para que # sea asociativa, conmu-
tativa, tenga neutro y en tal caso identificar los elementos invertibles con respecto a # y sus
simétricos en función de las operaciones originales.
1.1.7 Demostrar que si (X, ∗) es un monoide finito y x ∈ X entonces las siguientes condiciones
son equivalentes:
(2) a es cancelable.
1.1.8 Sea ∗ una operación en un conjunto X y supongamos que ∗ tiene un neutro y tres
elementos a, b, c tales que a ̸= c, b es simétrico por la izquierda de a y c es simétrico por la
izquierda de b. Demostrar que ∗ no es asociativa. Conluir que si (M, ∗) es un monoide en el
que todo elemento por la izquierda tiene simétrico, entonces (M, ∗) es un grupo.
1.2 Anillos
Definición 1.3 Un anillo es una terna (A, +, ·) formada por un conjunto no vacı́o A y dos
operaciones + y · en A; la primera llamada usualmente suma y la segunda producto o multi-
plicación, que verifican:
Cuando no haya riesgo de confusión con las operaciones diremos simplemente que A es un
anillo. Si a y b son elementos de un anillo A, usualmente escribiremos ab en vez de a·b. Además
asumiremos que, en ausencia de paréntesis, los productos se realizan antes que las sumas (y
que las restas). Ası́, por ejemplo, la propiedad distributiva se reescribe como a(b + c) = ab + ac.
Se define la resta de a y b como a − b = a + (−b). Los neutros de A con respecto a la suma
y el producto se llaman respectivamente cero y uno de A y se denotan 0 y 1. El simétrico de
un elemento a de A con respecto a la suma se llama opuesto y se denota −a. Decimos que a
es invertible en A cuando lo sea respecto del producto y en tal caso al simétrico de a respecto
del producto lo llamamos inverso de a en A y lo denotamos a−1 . Los elementos invertibles de
A también se llaman unidades de A Denotaremos por A∗ al conjunto de todas las unidades de
A.
Si b es invertible en A y A es conmutativo, escribiremos a veces a/b ó ab en lugar de ab−1 .
Sin embargo no se debe usar esto si A no es conmutativo pues esa notación no distingue entre
ab−1 y b−1 a.
Como (A, +) es un grupo, todo elemento de A es invertible respecto de la suma y por tanto
cancelable. Diremos que un elemento de A es regular en A si es cancelable con respecto al
producto. En caso contrario decimos que el elemento es singular en A o divisor de cero.
(2) Sean A y B dos anillos. Entonces el producto cartesiano A × B tiene una estructura de
anillo con las operaciones definidas componente a componente, o sea:
(4) Dado un anillo A, un polinomio en una indeterminada es una expresión del tipo
P = P (X) = a0 + a1 X + a2 X 2 + · · · + an X n
(a0 + a1 X + a2 X 2 + · · · ) + (b0 + b1 X + b2 X 2 + · · · ) = c0 + c1 X + c2 X 2 + · · · ,
donde cada cn = an + bn , y
(a0 + a1 X + a2 X 2 + · · · ) · (b0 + b1 X + b2 X 2 + · · · ) = d0 + d1 X + d2 X 2 + · · · ,
Pn
donde cada dn = a0 bn + a1 bn−1 + · · · + an−1 b1 + an b0 = i=0 ai bn−i .
(5) Dado un anillo A, denotamos por A[[X]] el conjunto de las sucesiones (a0 , a1 , a2 , . . .) de
elementos de A. En A[[X]] consideramos la suma y el producto dados por
Lema 1.5 Sea A un anillo y sean a, b, c ∈ A. Entonces se verifican las siguientes propiedades:
(5) 0a = 0 = a0.
(8) a y b son invertibles si y solo si ab y ba son invertible . En tal caso (ab)−1 = b−1 a−1 .
Demostración. Demostraremos (5), (6), (8) y (9) y dejamos los otros apartados como ejercicio
para el lector.
(5) 0a = (0 + 0)a = 0a + 0a. Aplicando (3) deducimos que 0a = 0. La otra igualdad se
demuestra análogamente.
(6) ab + a(−b) = a(b + (−b)) = a0 = 0, por (5). Luego a(−b) = −(ab). La otra igualdad se
demuestra análogamente.
(8) Si a y b son invertibles entonces (ab)(b− 1a− 1) = a(bb−1 )a−1 = a1a−1 = aa−1 = 1 y
análogamente (b−1 a−1 )(ab) = 1. Por tanto ab es invertible y su inverso es b− 1a−1 . Por simetrı́a
ba es invertible y su inverso es a−1 b−1 .
Recı́procamente, supongamos que ab y ba son invertibles. Entonces a(b(ab)−1 ) = (ab)(ab)−1 =
1 y ((ba)−1 b)a = (ba)−1 (ba) = 1. Esto demuestra que a tiene un inverso por la derecha y otro
por la derecha. Aplicando el apartado (3a) de la Proposición 1.2 deducimos que a es invertible.
Por simetrı́a b también es invertible.
(9) Si 0 = 1 y a ∈ A entonces a = a1 = a0 = 0, por (5).
Problemas
1.2.1 Demostrar los apartados de los lemas 1.5 y 1.6 que no han sido demostrados.
1.2.3 Dar un ejemplo de dos elementos invertibles a y b de un anillo en el que (ab)−1 ̸= a−1 b−1 .
1.3 Subanillos
A partir de ahora supondremos que todos los anillos serán conmutativos, con lo que por defecto
cada vez que digamos anillo estaremos suponiendo que se trata de un anillo conmutativo.
Sea ∗ una operación en un conjunto A y sea B un subconjunto de A. Decimos que B es
cerrado con respecto a ∗ si para todo a, b ∈ B se verifica que a ∗ b ∈ B. En tal caso podemos
considerar ∗ como una operación en B que se dice inducida por la operación en A.
Un subsemigrupo de un semigrupo es un subconjunto suyo que con la misma operación es
un semigrupo. Un subgrupo de un grupo es un subconjunto suyo que con la misma operación es
un grupo. Un submonoide de un monoide es un subconjunto suyo que con la misma operación
es un monoide con el mismo neutro. Un subanillo de un anillo es un subconjunto suyo que con
la misma suma y producto es un anillo con el mismo uno.
Está claro que para que un subconjunto X de un semigrupo (S, ∗) es suficiente con que
X sea cerrado con respecto a ∗. Sin embargo, para que un subconjunto X de un monoide
(M, ∗) sea submonoide además de que sea cerrado con respecto a ∗ también hace falta que X
contenga el neutro de M .
La siguiente proposición nos dice cómo comprobar si un subconjunto es un subanillo.
(1) Todo anillo A es un subanillo de sı́ mismo, al que llamamos impropio por oposición al
resto de subanillos, que se dicen propios.
Z1 = {n1 : n ∈ Z}
r r r r r r
r r r r r r
r r r r r r √
4 + 2 −2
r
√ r r r r r
−2 − 1
r r r r r r
−2 −1 0 1 2
r r r r r r
r r r r r r
(7) Todo anillo A puede verse como un subanillo del anillo de polinomios A[X] si identifi-
camos los elementos de A con los polinomios constantes (del tipo P = a0 ).
(8) Sea A un anillo y X un conjunto. Entonces la diagonal
Problemas
1.3.1 ¿Cuáles de los siguientes subconjuntos Ai son subanillos de los anillos A indicados?
¿por qué?
√ √
(1) A = C: A1 = {a + bi : a = b}, A2 = {ai : a ∈ R}, A3 = {a1 + a2 2 + a3 i + a4 2i :
a1 , a2 , a3 , a4 ∈ Z}, A4 = {a + bi : b ≥ 0}.
(2) A = B × B, con B un anillo: A1 = B × {0}, A2 = B × {1}, A3 = B1 × B2 , donde B1 y
B2 son subanillos de B; A4 = {(b, b) : b ∈ B}.
(3) A = B[X], donde B es un anillo: A1 = B1 [X], donde B1 es un subanillo de A; A2 =
Polinomios de grado menor o igual que un número dado n.
16 CAPÍTULO 1. ANILLOS
1.3.2 Decimos que un entero d es libre de cuadrados si p2 no divide a d para ningún número
√ Demostrar que para todo m ∈ Z existe un
primo p (en particular 1 es libre de cuadrados).
√
d ∈ Z libre de cuadrados tal que Q[ m] = Q[ d]. ¿Ocurre lo mismo si cambiamos Q por Z?
f (1) = 1.
En la definición anterior hemos usado el mismo sı́mbolo para las operaciones y los neutros
en los dos anillos que intervienen. Por ejemplo, para calcular f (x+y) primero hay que sumar x
con y en A y luego aplicarle f al resultado, mientras que en f (x)+f (y) primero hay que calcular
las imágenes de x e y por f y luego hay que sumar éstas en B. Usualmente el contexto hace
evidente a qué operación o a qué neutro nos referimos en cada caso, ası́ que mantendremos estos
abusos de notación y dejaremos que el lector analice cada caso. Análogamente, las unidades
de la ecuación f (1) = 1 están en dos anillos probablemente diferentes y por tanto son objetos
distintos, que sin embargo denotamos igual.
Dos anillos isomorfos son esencialmente iguales pues el isomorfismo traspasará de uno a
otro cualquier propiedad que dependa de la definición de anillo.
A continuación establecemos ciertas propiedades elementales de los homomorfismos de anil-
los. Demostramos algunas y dejamos el resto como ejercicio para el lector.
Demostración. Para ver (1) basta con aplicar la propiedad de cancelación a la igualdad
0 + f (0) = f (0 + 0) = f (0) + f (0). (2) se tiene porque f (a) + f (−a) = f (a + (−a)) = f (0) = 0,
y entonces (3) es claro. (4) se demuestra por inducción; el caso n = 2 no es más que la
definición de homomorfismo y el caso general se reduce a éste notando que a1 + · · · + an =
(a1 + · · · + an−1 ) + an .
Observación 1.11 En la Proposición 1.10 hemos visto que la conservación de sumas implica
la conservación del neutro para la suma, pero no hemos podido adaptar la demostración al
caso de productos (¿por qué?); de hecho veremos ejemplos de aplicaciones entre anillos que
conservan sumas y productos pero no identidades.
Problemas
1.4.1 Demostrar los apartados de la Proposición 1.10 que se han dejado para el lector.
1.4.3 Demostrar que la relación “ser isomorfos” en la clase de los anillos es de equivalencia.
Hom(A, B) × B → Hom(A[X], B)
(f, b) 7→ fb
3
Obsérvese que en este ejemplo y en el siguiente estamos usando que suponeos que todos los anillos son
conmutativos.
20 CAPÍTULO 1. ANILLOS
Definición 1.16 Sea I un ideal de un anillo A. Decimos que dos elementos a, b ∈ A son
congruentes módulo I, y escribimos a ≡ b mod I, si su diferencia está en I; o sea:
a ≡ b mod I ⇔ b − a ∈ I.
Del Lema 1.17 se deduce que la relación “ser congruente módulo I” es una relación de
equivalencia en A y, por tanto, las clases de equivalencia por esta relación definen una partición
de A. La clase de equivalencia que contiene a un elemento a ∈ A es
a + I = {a + x : x ∈ I}
a + I = b + I ⇔ a ≡ b mod I
Al hacer el cociente de un anillo A por un ideal I, elementos que eran distintos en A “pasan
a ser iguales” en el cociente (estrictamente hablando, son sus clases de equivalencia las que se
hacen iguales); en particular, los elementos de I “se hacen cero”. En muchas de las ocasiones
en las que se construyen estructuras cociente eso es precisamente lo que se busca, identificar
entre sı́ o anular ciertos elementos.
1.5. IDEALES Y ANILLOS COCIENTE 21
(1) Sea n un entero positivo. El anillo cociente del anillo Z por el ideal (n) se denota Zn y la
notación a ≡ b mod (n) se suele simplificar como a ≡ b mod n. Si a ∈ Z y r es el resto
de dividir a entre n entonces a ≡ r mod n. Esto muestra que Zn tiene exactamente n
elementos, más concretamente las clases de 0, 1, . . . , n − 1. Además si a, b ∈ Z y r y s
son los restos de dividir a + b y ab entre n, respectivamente, entonces
(3) Consideremos el ideal I del anillo de polinomios A[X] formado por los polinomios con
coeficiente independiente 0 (ver los Ejemplos 1.14). Como todo polinomio es congruente
módulo I con su coeficiente independiente (visto como polinomio), no es difı́cil con-
vencerse de que la composición de la inclusión A → A[X] con la proyección π : A[X] →
A[X]/(X) es un isomorfismo por tanto A ∼ = A[X]/(X).
Lema 1.20 Sea A un anillo. Un elemento b de A es invertible si y sólo si (b) = A. Por tanto,
las siguientes condiciones son equivalentes para un ideal I de A.
(2) 1 ∈ I.
π(J) = {a + I : a ∈ J}.
Demostración. Hay que comprobar los siguientes puntos, cosa que el lector podrá hacer
como ejercicio:
Problemas
1.5.1 Demostrar el Lema 1.17 y las Proposiciones 1.18 y 1.20.
1.5.2 Demostrar además que si n y m son dos número enteros entonces (n) ⊆ (m) si y solo
si m | n.
1.5.3 Si n es un entero positivo, demostrar que los ideales de Zn son precisamente los de la
forma mZn , donde m es un divisor positivo de n, y además mZn está contenido en m′ Zn si y
solo si m′ divide a m.
1.5.5 Sean A y B dos anillos. Describir los ideales de A × B en función de los ideales de A
y de B. Determinar todos los ideales de Z12 × Z18 .
1.5.6 Demostrar que si p y q son dos primos distintos entonces no hay ningún homomorfismos
de Zp a Zq ni de Zq a Zp . ¿Cuántos homomorfismos hay de Z4 a Z2 ? ¿Y de Z2 a Z4 ?
a ∗ b = a ∗ b.
Es fácil ver que la intersección de una familia de ideales de A es un ideal de A. Eso implica
que (X) es también la intersección de todos los ideales de A.
Si I y J son dos ideales de A entonces la suma y producto de A son los conjuntos
I +J = {x + y : x ∈ I, y ∈ J}
IJ = {x1 y1 + . . . + xn yn : x1 , . . . , xn ∈ I, y1 , . . . , yn ∈ J}.
24 CAPÍTULO 1. ANILLOS
I1 + · · · + In = {x1 + · · · + xn : x1 ∈ I1 , . . . , xn ∈ In }
(1) Sean n y m son dos números enteros coprimos y consideremos los ideales (n) y (m) de Z.
Claramente (n)(m) = (nm). Entonces, (n) ∩ (m) está formado por los números enteros
que son múltiplos de n y de m. Esos son precisamente los múltiplos del mı́nimo común
múltiplo de n y m. Por otro lado, (n) + (m) es el menor ideal (d) de Z que contiene a
(n) y (m). De la Proposición 1.15 se deduce que (d) = (n) + (m) si y solo si d divide a n
y m y es múltiplo de todos los divisores comunes de n y m. O sea d es el máximo común
divisor de n y m. En resumen:
(n)(m) = (nm), (n) + (m) = (mcm(n, m)), (n) + (m) = (mcd(n, m)).
(2) Consideremos ahora el anillo Z[X] de los polinomios con coeficientes enteros. Entonces
(2) + (X) está formado por los polinomios cuyo término principal es par. Vamos a ver
que este ideal no es principal. Supongamos por reducción al absurdo que (2) + (X) = (a)
para algún a ∈ Z[X]. Entonces 2 = ab para algún polinomio b, lo que implica que a ∈ Z.
Además, como A ∈ (2, X), necesariamente A es par, lo que implica que X ̸∈ (a) =
(2) + (X), una contradicción.
Problemas
1.6.1 Escribir una demostración de la Proposición 1.24.
(1) IJ ⊆ I ∩ J.
(5) IA = I.
(6) Si I denota el conjunto de los ideales de A entonces (I, ∩) y (I, +) y (I, ·) son monoides.
¿Qué le falta a (I, +, ·) para ser un anillo?
A f - B
p i
6
?
A/Ker f f¯ - Im f
A
≃ Im f.
Ker f
Teorema 1.27 (Segundo Teorema de Isomorfı́a) Sea A un anillo y sean I y J dos ideales
tales que I ⊆ J. Entonces J/I es un ideal de A/I y existe un isomorfismo de anillos
A/I A
≃ .
J/I J
(1) B ∩ I es un ideal de B.
(1) n es la caracterı́stica de A.
(2) nZ es el núcleo de f .
Demostración. La equivalencia entre (1) y (2) se deja como ejercicio para el lector, y es
obvio que (3) implica (4).
(2) implica (3). Se obtiene aplicando el Primer Teorema de Isomorfı́a y observando que
Im f es el subanillo primo de A.
(4) implica (2). Si B es un subanillo de A y g : Zn → B es un isomorfismo, considerando
la proyección π : Z → Zn y la inclusión u : B ,→ A se obtiene un homomorfismo de anillos
u ◦ g ◦ π : Z → A que debe coincidir con f por su unicidad (Ejemplo 1.12.(3)). Como u ◦ g es
inyectiva, es elemental ver que Ker f = nZ.
Teorema 1.32 (Teorema Chino de los Restos) Sea A un anillo y sean I1 , . . . , In ideales
de A tales que Ii + Ij = A para todo i ̸= j. Entonces I1 ∩ · · · ∩ In = I1 · · · In . Además
A A A
≃ × ··· × .
I1 ∩ · · · ∩ In I1 In
y
A A A A A A A
= n−1 ≃ n−1 × ≃ × ··· × × .
I1 ∩ · · · ∩ In (∩i=1 Ii ) ∩ In ∩i=1 Ii In I1 In−1 In
Para ver que (I1 ∩ · · · ∩ In−1 ) + In = A notemos que, para cada i ≤ n − 1, existen ai ∈ Ii y
bi ∈ In tales que 1 = ai + bi , y multiplicando todas esas expresiones se obtiene
1 = Πn−1
i=1 (ai + bi ) = a1 · · · an−1 + b,
28 CAPÍTULO 1. ANILLOS
donde b engloba a todos los sumandos que se obtendrı́an desarrollando los productos (excepto
a1 · · · an−1 ) y está en In porque en cada sumando hay al menos un factor del ideal In . Como
además a1 · · · an−1 ∈ I1 ∩ · · · ∩ In−1 , deducimos que 1 ∈ (I1 ∩ · · · ∩ In−1 ) + In y ası́ (I1 ∩ · · · ∩
In−1 ) + In = A, como querı́amos ver.
Problemas
1.7.1 Sea a ∈ R. ¿Qué se deduce al aplicar el Primer Teorema de Isomorfı́a al homomorfismo
R[X] → R, dado por P (X) 7→ P (a)? ¿Y qué se deduce al aplicarlo al homomorfismo R[X] → C,
dado por P (X) 7→ P (i)?
1.7.2 Demostrar el recı́proco del Teorema Chino de los Restos para anillos; Q es decir, probar
que si I1 , . . . , In son ideales de un anillo A tales que la aplicación f : A → ni=1 A/Ii , dada por
f (a) = (a + I1 , . . . , a + In ) es suprayectiva, entonces Ii + Ij = (1), para todo i ̸= j.
(1) Existe un único homomorfismo f¯ : A/I → B/J que hace conmutativo el siguiente dia-
grama, donde πI y πJ son los homomorfismos canónicos
A f - B
πI πJ
? ?
A/I f¯ - B/J
(2) f es inyectivo.
Divisibilidad en Dominios
En este capı́tulo suponemos que todos los anillos que aparecen son conmutativos y en ellos
1 ̸= 0.
(a) A es un cuerpo.
(b) Los únicos ideales de A son 0 y A.
(c) Todo homomorfismo de anillos A → B con B ̸= 0 es inyectivo.
29
30 CAPÍTULO 2. DIVISIBILIDAD EN DOMINIOS
(4) Un producto de anillos diferentes de 0 nunca es un dominio, pues (1, 0)(0, 1) = (0, 0).
(5) Los anillos de polinomios no son cuerpos, pues la indeterminada genera un ideal propio y
no nulo. Por otra parte, A[X] es un dominio si y solo si lo es A. Una implicación es clara,
pues A es un subanillo de A[X]. Para ver la otra obsérvese que si P es un polinomio de
grado n y Q es un polinomio de grado m entonces tenemos P = a0 + a1 X + · · · + an X n y
Q = b0 + b1 X + · · · + bm X m con an ̸= 0 y bm ̸= 0. Si A e dominio entonces el coeficiente
de X n+m en P Q es an bm que si A es dominio no es 0.
Ejemplo 2.7 De la Proposición 1.15 sabemos que todos los ideales de Z son principales.
Además si n y m son enteros entonces (n) ⊆ (m) si y solo si m divide a n. Por tanto, (n) es
un ideal maximal de Z si y solo si n ̸∈ {0, 1, −1} y los únicos divisores de n son ±1 y ±n, o
sea si n es un número primo. En tal caso (n) es ideal primo de Z por la Proposición 2.6.(3).
Obsérvese que (0) es un ideal primo de Z que no es maximal pues Z es un dominio que no es
un cuerpo. Sin embargo si n ̸= 0 y n no es primo entonces (n) no es un ideal primo de Z, pues
o bien n = ±1 en cuyo caso (n) = Z o bien n = ab con a y b dos divisores propios de Z, con lo
que ab ∈ (n) pero ni a ni b están en (n).
En resumen, los ideales maximales de Z son los de la forma (n) con n un número primo y
los ideales primos Z son los de la forma (n) con n = 0 o un número primo.
Proposición 2.8 Todo ideal propio de un anillo está contenido en un ideal maximal.
Problemas
2.1.1 Sean a y b dos elementos de un anillo. Demostrar que ab es un divisor de cero si y solo
si a ó b es un divisor de cero.
2.1.2 Sea A un anillo finito. Demostrar que todo elemento de A es o divisor de cero o unidad.
Deducir que todo dominio finito es un cuerpo.
2.1.4 Sea I un ideal propio del anillo A. Demostrar que las biyecciones del Teorema de la
Correspondencia llevan ideales maximales (respectivamente primos) de A que contienen a I a
ideales maximales (respectivamente primos) de A/I, y viceversa.
2.1.6 Determinar los ideales de Zn . ¿Cuáles de ellos son primos y cuáles maximales.
(2) Si A es un cuerpo, demostrar que todo ideal de A[[X]] es de la forma (X n ) para algún
n ∈ N.
(4) Identificar los ideales maximales de A[[X]] en función de los ideales maximales de A.
2.1.8 Demostrar que si P es un ideal primo de un anillo A entonces tanto P [X] como
P + (X) = {a0 + a1 X + · · · + an X n : a0 ∈ P, a1 , . . . , an ∈ A}
son ideales primos de A[X]. ¿Puede ser P [X] ideal maximal de A[X]? ¿Y P + (X)?
2.1.9 Demostrar que las siguientes condiciones son equivalentes para un anillo A.
(2) A tiene un ideal propio I que contiene todos los elementos no invertibles de A.
2.1.11 Sea A un anillo cuya caracterı́stica es un número primo p. Demostrar que la aplicación
n
x 7→ xp es un endomorfismo de A para todo n ∈ Z≥0 .
(1) El cardinal de cualquier cuerpo finito es una potencia de un número primo. (Indicación:
Considerar el subanillo primo de K.)
2.1.13 Demostrar que si K es un cuerpo finito entonces 1 y −1 son los únicos elementos
de K cuyo cuadrado es 1. Usar esto para demostrar que el producto de todos los elementos
no nulos de K es −1 y deducir el Teorema de Wilson: Si p es un número primo entonces
(p − 1)! ≡ −1 mod p. Demostrar también el recı́proco del Teorema de Wilson: Si n es un
entero positivo que cumple (n − 1)! ≡ −1 mod n entonces n es primo.
2.1.14 Sean I un ideal de un anillo y p1 , . . . , pn ideales primos del mismo anillo. Demostrar
que si I ⊆ ∪ki=1 pi entonces I ⊆ pi para algún i.
2.2 Divisibilidad
Recuérdese que estamos suponiendo que todos los anillos son conmutativos y satisfacen 1 ̸= 0.
Sea A un anillo y sean a, b ∈ A. Si existe c ∈ A tal que b = ac entonces se dice que a divide
a b en A, o que a es un divisor de b en A, o que b es un múltiplo de a en A. Para indicar que
a divide a b en A escribiremos a | b en A. Si el anillo A está claro por el contexto escribiremos
simplemente a | b.
Obsérvese que la noción de divisibilidad depende del anillo. Por ejemplo, si a es un entero
diferente de 0, entonces a divide a todos los números enteros en Q, pero no necesariamente en
Z.
(1) (Reflexiva) a | a.
(3) a | 0 y 1 | a.
(4) 0 | a si y solo si a = 0.
(5) a | 1 si y solo si a es una unidad; en este caso a | x para todo x ∈ A (es decir, las
unidades dividen a cualquier elemento).
34 CAPÍTULO 2. DIVISIBILIDAD EN DOMINIOS
Por otro lado los cuadrados en Z5 son 0 + (5) y ±1 + (5), √ y que por lo tanto la congruencia
a2 ≡ ±2 mod 5 no tiene solución. Esto implica que en Z[ −5] no hay elementos cuyo módulo
al cuadrado valga 2, √ 3 ó 12 (¿por qué?).
Sea ahora x ∈ Z[ −5] con |x|2 = 4. Si y | x √ entonces |y|2 divide a |x|2 = 4, en Z y, por lo
tanto, |y|2 vale 1, 2 ó 4: En el primer caso y ∈ Z[ −5]∗ , el segundo es imposible y en el tercero
y es asociado de x (¿por qué?), y en consecuencia x es irreducible. De igual modo se ve que
los elementos con módulo 6 ó 9 son irreducibles, y en particular lo son todos los factores de la
igualdad √ √
2 · 3 = (1 + −5)(1 − −5).
√
Pero
√ ninguno de ellos es primo:
√ por ejemplo de
√ la igualdad se deduce que 2 | (1 + −5)(1 −
−5), y es claro que 2 ∤ (1 + −5) y 2 ∤ (1 − −5).
Todas las nociones de divisibilidad que hemos presentado pueden enunciarse en términos
de los ideales principales generados por los elementos involucrados.
(6) a es irreducible si y solo si (a) es maximal entre los ideales principales propios no nulos
de D; es decir, a ̸= 0 y (a) ⊆ (b) ⊂ D implica (a) = (b).
36 CAPÍTULO 2. DIVISIBILIDAD EN DOMINIOS
Obsérvese que no hablamos “del” máximo común divisor ni “del” mı́nimo común múltiplo
sino que en ambos casos usamos el artı́culo indeterminado “un”. En la siguiente proposición
se precisa por qué tenemos que usar el artı́culo indeterminado y hasta qué punto “el” máximo
común divisor y “el” mı́nimo común múltiplo son únicos. Sin embargo en ocasiones abusaremos
del lenguaje diciendo “el” máximo común divisor o “el” mı́nimo común múltiplo entendiendo
que son conceptos que son “únicos salvo asociados”. También abusaremos del lenguaje escri-
biendo d = mcd(S) ó m = mcm(S) significando que d es un máximo común divisor de S en A
y que m es un mı́nimo común múltiplo de S en A, respectivamente.
En el caso en que a = mcd(S) se se dice que esta expresión es una identidad de Bezout
para S.
(6) Se verifica 1 = mcd(S) si y solo si los únicos divisores comunes de los elementos de S
son las unidades de A.
Ejemplo 2.18 Los recı́procos de las propiedades (5) y (7) no se verifican. Por ejemplo, los
únicos divisores comunes de 2 y X en Z[X] son 1 y −1, es decir las unidades de Z[X]. Por
tanto, 1 = mcd(2, X). Sin embargo, 1 ̸∈ (S).
Si 1 = mcd(S) decimos que los elementos de S son coprimos en A. Si para cada par de
elementos distintos a, b ∈ S se verifica mcd(a, b) = 1, decimos que los elementos de S son
coprimos dos a dos.
Problemas
2.2.1 Escribir demostraciones de los apartados del Lema 2.9 que no se han demostrado y de
las Proposición 2.15 y 2.17.
2.2.2 Demostrar que si dos elementos de un anillo son asociados, entonces uno es irreducible
(respectivamente primo) si y solo si lo es el otro.
2.2.3 Sea a un elemento diferente de cero de un anillo A. Demostrar que si todos los divisores
de a son unidades o asociados a a entonces a es irreducible. Demostrar también que el recı́proco
se verifica si A es dominio pero no en general.
(1) a | b si y solo si a = mcd(a, b), si y solo si b = mcm(a, b). En particular, 1 = mcd(a, 1),
mcd(a, 0) = a = mcm(a, 1) y 0 = mcm(a, 0).
(1) d = mcd(S) si y solo si (d) es mı́nimo entre los ideales principales que contienen a S (o
al ideal generado por S).
En particular, si (S) es un ideal principal entonces cualquier generador suyo es un máximo
común divisor de S, y además existe una identidad de Bezout para S.
38 CAPÍTULO 2. DIVISIBILIDAD EN DOMINIOS
2.2.7 Sea S un subconjunto finito de un anillo A y supongamos que para cada dos elementos
Q
elementos distintos s y t de S se verifica que (s, t) = A. Demostrar que mcm(S) = s∈S s.
Dar un ejemplo de dos elementos a y b de un dominio que verifiquen que mcd(a, b) = 1 no
existe el mı́nimo común múltiplo de a y b.
2.2.8 Demostrar que si a y b son elementos coprimos de un anillo A que verifican (a, b) = A
entonces (an , bm ) = A para todo n, m ∈ N. Dar un ejemplo de dos elementos a y b de un
dominio que verifiquen que mcd(a, b) = 1 y mcd(a2 , b) ̸= 1.
a = up1 · · · pn
a = up1 · · · pn = vq1 · · · qm
En el siguiente lema vemos que en un DFU los elementos irreducibles coinciden con los
primos.
√ Combinando los Ejemplos 2.14 y 2.20.(2) nos proporcionan un DF que no es DFU:
Z[ −5].
3
Si m es negativo, esta aplicación es la conjugación compleja, pero m es positivo entonces es una aplicación
diferente.
40 CAPÍTULO 2. DIVISIBILIDAD EN DOMINIOS
Demostración. Sea p ∈ D irreducible, y sean a, b ∈ D tales que p | ab. Se trata de ver que
p | a ó p | b. Esto está claro si a = 0 o b = 0 con lo que suponemos que ambos son diferentes
de 0. Por hipótesis pt = ab para algún t ∈ D. Si t = up1 · · · pn , a = vq1 · · · qm y b = wr1 · · · rk
son factorizaciones en irreducibles (con u, v, w ∈ D∗ ), entonces se tiene
upp1 · · · pn = (vw)q1 · · · qm r1 · · · rk ,
Demostración. (1) implica (2). Por la definición de DFU y por el Lema 2.21.
(2) implica (3) Supongamos que todo elemento de D es producto de primos. Claramente D
es un DF. Supongamos que p es irreducible y sea p = q1 . . . qk con q1 , . . . , qk primos. Entonces
p divide a algún qi y por simetrı́a podemos suponer que p divide a q1 . Como también q1 divide
a p se tiene que p y q1 son asociados. Como q1 es primo, se tiene que p es primo.
(3) implica (1). Por hipótesis, todo elemento no nulo de D se factoriza como un producto de
primos, y podemos demostrar la unicidad de tales factorizaciones adaptando la demostración
del Teorema Fundamental de la Aritmética. En efecto, sean up1 · · · pn = vq1 · · · qm , con pi y
qi irreducibles para todo i, y u, v ∈ D∗ . Suponemos que n ≤ m y razonamos por inducción
sobre n. Si n = 0 entonces m = 0, ya que los divisores de unidades son unidades, y no hay
nada que demostrar. Supongamos que n > 0 y, la hipótesis de inducción. Por hipótesis, pn es
primo, luego divide a algún qi y de hecho son asociados (¿por qué?); además, reordenando si
es necesario, podemos suponer que i = m. Es decir, existe una unidad w tal que qm = wpn .
Entonces
up1 · · · pn−1 = (vw)q1 · · · qm−1 .
Problemas
2.3.1 Sean D un DFU y P un conjunto de representantes de los irreducibles de D por la
relación de equivalencia “ser asociados”, es decir P está formado por irreducibles de D y cada
elemento irreducible p de D es asociado de un único elemento de P .
(1) Demostrar que cada elemento a de D se puede escribir de forma única como a =
u p∈P pαp , donde u es una unidad de D, cada αp ≥ 0 y αp = 0 para casi todo p ∈ P .
Q
Llamaremos a esto “la” factorización de a en irreducibles de P .
(4) Obtener una fórmula para calcular el número de divisores de a, salvo asociados, en
términos de una factorización de a.
(5) Demostrar que todo subconjunto de D tiene máximo común divisor y mı́nimo común
múltiplo y dar una fórmula para ambos. ¡Cuidado con los subconjuntos infinitos!
(6) Dar ejemplos de conjuntos P como los del ejercicio para Z y K[X] donde K es un cuerpo.
2.3.2 Sea D un dominio y supongamos que existe una aplicación µ : D → Z≥0 que verifica
las tres propiedades siguientes:
µ(a) = 0 si y sólo si a = 0.
√ √
(1) Usando la igualdad (m + m)(m − m) = m(m − 1), demostrar que 2 no es primo en
R.
(1) a es irreducible.
(4) a es primo.
Demostración. Por las Proposiciones 2.22 y 2.24, basta con demostrar que D es un dominio
de factorización. Por reducción al absurdo suponemos que D no lo es, y vamos a construir,
por recurrencia, una sucesión a1 , a2 , . . . de elementos de D que no admiten factorización y
tales que (a1 ) ⊂ (a2 ) ⊂ · · · es una cadena estrictamente creciente de ideales de D. Para el
primer paso simplemente elegimos un elemento arbitrario a1 de D que no admita factorización
en irreducibles. Supongamos ahora que hemos elegido a1 , . . . , an satisfaciendo las condiciones
requeridas. Entonces an no es irreducible, luego existen x, y ∈ D \ D∗ tales que an = xy.
Como an no es producto de irreducibles, al menos uno de los factores x ó y (digamos que x)
no es producto de irreducibles. Entonces, poniendo an+1 = x, tenemos (an ) ⊂ (an+1 ) con la
inclusión estricta porque y no es una unidad.
Una vez construida la sucesión (ai ), tomamos I = (a1 , a2 , . . .) = ∪i∈Z+ (ai ) (dejamos que
el lector compruebe la igualdad anterior). Como D es un DIP, existe x ∈ D tal que I = (x);
en particular x ∈ I = ∪i∈Z+ (ai ) y por tanto existe un ı́ndice i tal que x ∈ (ai ); como es claro
que ai ∈ (x), se tiene (ai ) = (x) = I y por lo tanto (ai ) = (ai+1 ), en contra de la construcción
realizada. Este absurdo concluye la demostración.
El recı́proco del Teorema 2.25 es falso: Z[X] es un DFU que no es un DIP. Que no es DIP se
sigue del Ejemplo 1.25.(2). De hecho ese ejemplo es un caso particular de un hecho mucho más
general (Problema 2.4.2). La demostración de que Z[X] es DFU es bastante más complicada
y también es consecuencia de un resultado más general. La veremos en el Capı́tulo 3.
Problemas
2.4.1 Sea D un DIP y sean S un subconjunto de D y a, b, c ∈ D. Demostrar
(2) S tiene un máximo común divisor d y además existe una identidad de Bezout para S.
r1 a1 + · · · + rn an = d.
r1 a1 + · · · + rn an = 1.
2.4.3 Demostrar que si todos los ideales de un anillo A son principales e I es un ideal de
A entonces todos los ideales de A/I son principales. ¿En qué condiciones si A es un DIP se
verificará que A/I también es un DIP?
Definición 2.26 Una función euclı́dea en D es una aplicación δ : D \ {0} → Z≥0 que cumple
las siguientes condiciones:
(DE1) Si a, b ∈ D \ {0} verifican a | b entonces δ(a) ≤ δ(b).
(3) El cuadrado del módulo complejo define una función euclı́dea en el anillo Z[i] = {a + bi :
a, b ∈ Z}.
En efecto, si x = a + bi con a y b números enteros entonces δ(x) = |x|2 = a2 + b2 ∈ Z≥0 .
Además δ(x) = 0 si y solo si x = 0 y δxy = δxδy de donde fácilmente se deduce que δ
verifica (DE1). Sean ahora a = a1 + a2 i y b = b1 + b2 i ̸= 0 con a1 , a2 , b1 , b2 ∈ Z. Sea
x = x1 + x2 i = ab . Elegimos dos números enteros q1 y q2 lo más próximos a x1 y x2
respectivamente y ponemos q = q1 + q2 i y r = a − bq. De la elección de los qi tenemos
que
1
|xi − qi | ≤ .
2
2.5. DOMINIOS EUCLÍDEOS 45
Por tanto a = bq + r y
Del Lema 2.28 se deducen de forma inmediata los dos siguientes resultados:
Lema 2.30 Si δ es una función euclı́dea en D entonces las siguientes condiciones son equi-
valentes para a ∈ D:
Problemas
2.5.1 Demostrar que si D es un DIP entonces todo ideal se puede poner de forma única como
producto de ideales maximales. ¿Qué ideales son intersección de ideales maximales.
(a1 , s1 ) ∼ (a2 , s2 ) ⇔ a1 s2 = a2 s1
que, como el lector comprobará fácilmente, es una relación de equivalencia. La clase de equiv-
alencia de (a, s) se denota por a/s o por as , y el conjunto cociente X/ ∼ (es decir, el conjunto
de las clases de equivalencia para esa relación) por Q(D). Dotamos a Q(D) de una estructura
de anillo con las siguientes operaciones:
a1 a2 a1 s 2 + a2 s 1 a1 a2 a1 a2
+ = = . (2.2)
s1 s2 s1 s2 s1 s2 s1 s2
Hay que asegurarse de que esas definiciones no dependen de los representantes elegidos para
cada fracción. Es decir, si a1 /s1 = b1 /t1 y a2 /s2 = b2 /t2 , hay que comprobar que se obtiene
la misma suma y el mismo producto si aplicamos las fórmulas a a1 /s1 y a2 /s2 que si se las
aplicamos a b1 /t1 y b2 /t2 . Las igualdades anteriores significan que a1 t1 = b1 s1 y a2 t2 = b2 s2 ,
de donde
(2) El uno de Q(D) es 1/1. Además, la igualdad a/s = 1/1 se verifica si y solo si a = s.
(5) La definición de suma se simplifica cuando hay “denominador común”: a/s + b/s =
(a + b)/s.
Definición 2.32 El cuerpo Q(D) se llama cuerpo de fracciones o cuerpo de cocientes del
dominio D.
(2) Supongamos que un anillo de polinomios A[X] es un dominio (lo que ocurre precisamente
si A es un dominio por los Ejemplos 2.4). Su cuerpo de fracciones se suele denotar por
A(X) y se llama el cuerpo de las funciones racionales sobre A. Sus elementos son
fracciones del tipo P/Q con P, Q ∈ A[X] y Q ̸= 0, que se suman y se multiplican de
forma natural.
Usando el Proposición 2.31, es sencillo ver que la aplicación u : D → Q(D) dada por
u(a) = a/1 es un homomorfismo inyectivo de anillos, lo que nos permite ver a D como un
subanillo de Q(D) si identificamos cada elemento a de D con la fracción a/1 de Q(D). El par
(Q(D), u) verifica una interesante propiedad:
(1) (Propiedad Universal del Cuerpo de Fracciones) Para toda pareja (K, f ) formada
por un cuerpo K y un homomorfismo inyectivo de anillos f : D → K, existe un único
homomorfismo de cuerpos f¯ : Q(D) → K tal que f¯ ◦ u = f . Se dice que f¯ completa de
modo único el diagrama
K
*
f 6
f
D - Q(D)
u
48 CAPÍTULO 2. DIVISIBILIDAD EN DOMINIOS
Esto prueba que el único homomorfismo de cuerpos f¯ : Q(D) → K que puede satisfacer
f¯◦u = f tiene que venir dado por f¯(a/s) = f (a)f (s)−1 . Sólo falta comprobar que la aplicación
f¯ ası́ dada está bien definida y es un homomorfismo. Si a1 /s1 = a2 /s2 entonces a1 s2 = a2 s1 ,
luego f (a1 )f (s2 ) = f (a2 )f (s1 ) y, por tanto, f (a1 )f (s1 )−1 = f (a2 )f (s2 )−1 . Esto prueba que f¯
está bien definido. Dejaremos que el lector compruebe que es efectivamente un homomorfismo.
(2) Si ponemos f = g ◦ u = h ◦ u : D → K, los homomorfismos g y h completan el diagrama
del apartado (1). Por la unicidad se tiene g = h.
(3) Sea v : D → F como en el enunciado. Aplicando (1) encontramos un homomorfismo
v̄ : Q(D) → F tal que v̄ ◦ u = v, y aplicando la hipótesis de (3) encontramos un homomorfismo
ū : F → Q(D) tal que ū ◦ v = u. Entonces la composición ū ◦ v̄ : Q(D) → Q(D) verifica
(ū ◦ v̄) ◦ u = ū ◦ v = u, y por (2) se obtiene ū ◦ v̄ = 1Q(D) . En particular ū es suprayectiva, y
como es inyectiva por ser un homomorfismo de cuerpos, ϕ = ū es el isomorfismo que buscamos.
La Propiedad Universal permite afirmar que Q(D) es “el menor cuerpo que contiene a D”
en un sentido que se hace explı́cito en el siguiente resultado:
√
Ejemplo 2.36 El cuerpo de fracciones de Z[ m].
√
Sea m un número entero que no es un cuadrado, y sea f : Z[ m] → C la inclusión. Si f¯
es como en la demostración de la Proposición 2.35, entonces Im f¯ es isomorfo
√ al cuerpo de
√ ¯ a+b√m
fracciones de Z[ m]. Un elemento genérico de Im f es de la forma x = c+d m , con a, b, c, d ∈ Z
√ √ √
y c + d m ̸= 0. Si ponemos t = (c + d m)(c − d m) ̸= 0 entonces t = c2 − d2 m ∈ Z, y ası́
√ √ √ √
a+b m (a + b m)(c − d m) r+s m r s√
x= √ = = = + m,
c+d m t t t t
2.6. EL CUERPO DE FRACCIONES DE UN DOMINIO 49
√ √
donde r, s ∈ Z, y por tanto x ∈ Q[ m]. Esto demuestra que Im f¯ ⊆ Q[ m], y el otro√
contenido
a b√ √ at+bs m
es claro, pues un elemento genérico s + t m de Q[ m] se reescribe como .
√ √ st
En conclusión, el cuerpo de fracciones de Z[ m] es isomorfo a Q[ m]. De hecho abusaremos
√ √
de la notación y diremos que el cuerpo de fracción de Z[ m] es Q[ m].
Problemas
2.6.1 Sea D un dominio y sea Q su cuerpo de fracciones. Demostrar que:
(1) Si D′ es un subanillo de D con cuerpo de fracciones Q′ , entonces Q contiene un subcuerpo
isomorfo a Q′ .
2.6.2 Sea D un dominio y sea K su cuerpo de fracciones. Supongamos que existe una
aplicación δ : K \ {0} → Q que conserva productos y tal que δ(D) ⊆ Z≥0 . Demostrar que la
restricción de δ a D es una función euclı́dea en D si y solo si para todo x ∈ K \ D existe y ∈ D
tal que δ(x − y) < 1. Indicación: Ver el Ejemplo 2.27.(3).
√
2.6.5 Calcular las unidades de Z[i], Z[ −2], A−3 , A−7 y A−11 .
√
2.6.6 Demostrar que Z[ √2] es un dominio euclideo. Compara esto con tu solución del Prob-
lema 2.3.4.
√ Demuestra Z[ 2] que este anillo tiene infinitas unidades. Indicación: Aquı́ tienes
una: 1 + 2.
(a) IP = ab : a ∈ P, b ∈ D \ P
es un ideal de DP .
(b) IP = DP si y sólo si I ̸⊆ P .
(c) Si I es principal entonces IP también es principal.
(4) La aplicación Q → QP define una biyección del conjunto de ideales primos de D con-
tenidos en P al conjunto de los ideales primos de DP .
(6) Demostrar que si D es un dominio de ideales principales entonces DP los únicos ideales
primos de DP son 0 y PP y que todos los ideales de D son de la forma (PP )n para algún
entero n.
2.6.8 Consideremos la aplicación N : Z[i] → Z≥0 dada por N (x) = |x|2 = x x. Demostrar
(2) Un número entero es suma de dos cuadrados (de números enteros) si y solo si está en la
imagen de N .
(b) p ̸≡ 3 mod 4.
(c) p = 2 ó p ≡ 1 mod 4.
(d) Existe un entero n tal que n2 ≡ −1 mod p.
(e) p no es irreducible en Z[i].
(Indicación para la demostración de (3) implica (4) en el caso en que p ≡ 1 mod 4: Uti-
lizar el Teorema de Wilson para demostrar que si p = 4t+1 entonces −1 ≡ ((2t)!)2 mod p.)
(8) Un número natural n es suma de dos cuadrados si y solo si el exponente de todo primo
p ≡ 3 mod 4 en la factorización de n es par.
52 CAPÍTULO 2. DIVISIBILIDAD EN DOMINIOS
Capı́tulo 3
Polinomios
53
54 CAPÍTULO 3. POLINOMIOS
Lema 3.1 Si P y Q son polinomios no nulos de A[X] y sus términos principales son p y q
respectivamente entonces se verifican las siguientes propiedades:
(1) gr(P + Q) ≤ max(gr(P ), gr(Q)), con la desigualdad estricta si y solo si gr(P ) = gr(Q) y
p + q = 0.
(4) Las desigualdades de los apartados 1 y 2 pueden ser estrictas (buscar un ejemplo cuando
A = Z6 ).
Demostración. Ejercicio.
Hemos observado que un anillo A es un subanillo del anillo de polinomios A[X], y por tanto
la inclusión u : A → A[X] es un homomorfismo de anillos. También es claro que el subanillo
de A[X] generado por A y X es todo A[X]. Es decir, la indeterminada X y las constantes de
A (las imágenes de u) generan todos los elementos de A[X]. El siguiente resultado nos dice
que A[X] puede caracterizarse por una propiedad en la que solo intervienen X y u.
(1) (Propiedad Universal del Anillo de Polinomios, PUAP) Para todo homomorfismo
de anillos f : A → B y todo elemento b de B existe un único homomorfismo de anillos
f : A[X] → B tal que f (X) = b y f ◦ u = f . Para expresar la última igualdad dice que
f completa de modo único el diagrama
u -
A A[X]
Q
Q
Q
f QQ f
s ?
QQ
B
(3) A[X] y u están determinados salvo isomorfismos por la PUAP. Explı́citamente: supong-
amos que existen un homomorfismo de anillos v : A → P y un elemento T ∈ P tales que,
para todo homomorfismo de anillos f : A → B y todo elemento b ∈ B, existe un único
homomorfismo de anillos f : P → B tal que f ◦ v = f y f (T ) = b. Entonces existe un
isomorfismo ϕ : A[X] → P tal que ϕ ◦ u = v y ϕ(X) = T .
Por tanto, la aplicación dada por f (P ) = n≥0 f (pn )bn es la única que puede cumplir tales
P
Este homomorfismo es un automorfismo cuyo inverso viene dado por p(X) 7→ p(X − a)
(¿por qué?).
donde n ≥ 0 y ai ∈ A para cada i. Este subanillo se suele denotar por A[b] y es el menor
subanillo de B que contiene a A ∪ {b}.
√
Por ejemplo, si A = Z, B = C y b = m para cierto m ∈ Z, entonces la notación anterior
√
es compatible con la que se usó anteriormente (es decir, Z[ m] representa el mismo
subanillo atendiendo a cualquiera de las dos hdefiniciones).
√ i
Lo mismo ocurre si se toma
1+ m
A = Q. Si además m ≡ 1 mod 4 entonces Z 2 es el anillo Am del Problema 2.6.4
√ h √ i
y Q[ m] = Q 1+2 m .
3.2. RAÍCES DE POLINOMIOS 57
Problemas
3.1.1 Demostrar el Lema 3.1.
(2) La suma de las multiplicidades de todas las raı́ces de f es menor o igual que gr(f ). En
particular, el número de raı́ces distintas de f es menor o igual que gr(f ).
Demostración. Es claro que P basta con demostrar la primera afirmación de (1), cosa que
hacemos por inducción en s = ni=1 αi con el caso s = 1 evidente. Cuando s > 1, usando la
hipótesis (X − a1 )α1 | f y la hipótesis de inducción, sabemos que existen polinomios g y h tales
que
g(X − a1 )α1 = f = h(X − a1 )α1 −1 (X − a2 )α2 · · · (X − an )αn .
Cancelando (X − a1 )α1 −1 y usando el hecho de que X − a1 es primo y no divide a ningún otro
X − ai (¿por qué?), deducimos que X − a1 divide a h, y esto nos da el resultado.
(2) Si D es infinito entonces dos polinomios distintos definen funciones polinómicas distintas
en D.
(2) (P Q)′ = P ′ Q + P Q′ .
(3) (P n )′ = nP n−1 P ′ .
Demostración. Ejercicio.
Problemas
3.2.1 Demostrar el Lema 3.10.
3.2.3 Justificar la regla de Ruffini para el cálculo del cociente y el resto en la división de
p = p0 + p1 X + . . . + pn X n entre X − a. La regla está representada por la tabla
pn pn−1 pn−2 . . . p1 p0
a 0 aqn−1 aqn−2 . . . aq1 aq0
qn−1 qn−2 qn−3 . . . q0 r
en la que los qi se obtienen, de izquierda a derecha, sumando los dos elementos que están
encima. Entonces q = q0 + q1 X + · · · + qn−1 X n−1 es el cociente de la división de p entre X − a,
y r es su resto.
3.2. RAÍCES DE POLINOMIOS 61
√
b2 −4ac
3.2.4 ¿Para qué cuerpos es válida la fórmula usual ( −b± 2a ) para el cálculo de las raı́ces
de un polinomio aX 2 + bX + c de grado 2?
3.2.5 Sea p un entero primo. Demostrar que los polinomios X p − X y pi=1 (X − i) de Zp [X]
Q
son iguales y deducir una nueva demostración del Teorema de Wilson: (p − 1)! ≡ −1 mod p.
(Indicación: Para la primera parte, considerar las raı́ces de ambos polinomios.)
3.2.6 Hemos observado que la Proposición 3.8 no se verifica para polinomios sobre un anillo
que no sea un dominio. Comprobar que en este caso ni siquiera se verifica la afirmación sobre
la finitud del número de raı́ces; es decir, dar un ejemplo de un polinomio no nulo en una
indeterminada con infinitas raı́ces.
3.2.7 [*] Sea A un anillo. Demostrar que si P ∈ A[X] es un divisor de cero en A[X], entonces
existe 0 ̸= a ∈ A tal que aP = 0. (Indicación: Elegir un polinomio Q ̸= 0 de grado mı́nimo
entre los que satisfacen P Q = 0 y demostrar por inducción que pi Q = 0, donde p0 , p1 , . . . , pn
son los coeficientes de P .)
3.2.11 Dados dos polinomios P, Q ∈ A[X], se define su composición P (Q) de forma natural
utilizando la PUAP. Demostrar que se satisface la regla de la cadena para la derivada de la
composición: (P (Q))′ = P ′ (Q) · Q′ .
3.2.16 En el Problema 2.1.12 se ha visto que el cardinal de un cuerpo finito K es una potencia
de un número primo (de hecho, una potencia de la caracterı́stica de K). En este problema,
fijado un entero primo positivo p, vamos a ver que existen cuerpos1 de cardinal pn para cada
n ∈ Z+ .
3.2.17 Calcular todos los polinomios mónicos irreducibles de grado ≤ 4 en K[X], cuando K
es cada uno de los cuerpos Zp con p primo menor o igual que 11. ¿Te atreves con los cuerpos
K construidos en el Problema 3.2.14?
(3) A es un cuerpo.
En este caso, un polinomio f ∈ A[X] es irreducible si y solo si es primo si y solo si gr(f ) > 0
y f no es producto de dos polinomios de grado menor; es decir, si una igualdad f = gh en
A[X] implica que gr(g) = gr(f ) (y gr(h) = 0) ó gr(h) = gr(f ) (y gr(g) = 0).
1
De hecho, salvo isomorfismos, existe un único cuerpo de cardinal q para cada entero positivo q > 1 que sea
potencia de primo. La demostración de este hecho se verá en la asignatura Ecuaciones Algebraicas. Este único
cuerpo de cardinal q se suele denotar por Fq ; en particular, para p primo, se tiene Fp = Zp .
3.3. DIVISIBILIDAD EN ANILLOS DE POLINOMIOS 63
Demostración. Ya sabemos que (1) implica (2) por el Teorema 2.29 y que (3) implica (1)
por el Ejemplo 2.27.(2). Claramente el polinomio X es irreducible, con lo que si A(X) es DIP
entonces el ideal (X) es máximal. Si a ∈ A\{0} entonces a ̸∈ (X) con lo que de la maximalidad
de (X) deducimos que (a, X) = A[X] y por tanto 1 = aP + XQ para ciertos P, Q ∈ A[X].
Luego 1 = aP (0), con lo que a es invertible en A. Esto demuestra que A es un cuerpo.
Dejamos que el lector demuestre la afirmación sobre los polinomios irreducibles.
Obsérvese que si a ∈ A y f ∈ A[X] entonces a|f si y solo si a divide a todos los coeficientes
de A.
(a) p es irreducible en D.
(b) p es irreducible en D[X].
(c) p es primo en D.
(d) p es primo en D[X].
Demostración. (1) y (2) son consecuencias casi inmediatas del Lema 3.1. Para demostrar
(3) basta demostrar (c) implica (d) pues ya sabemos que (d) implica (b) (Proposición 2.13),
que (a) y (c) son equivalentes, (Lema 2.21) y que (a) y (b) son equivalentes (apartado 1).
Supongamos por tanto que p es primo en D, y veamos que lo es en D[X]. Para ello, sean
a = a0 + · · · + an X n y b = b0 + · · · + bm X m
polinomios de D[X] tales que p ∤ a y p ∤ b, y veamos que p ∤ ab. Por hipótesis, existen un menor
ı́ndice i tal que p ∤ ai , y un menor ı́ndice j tal que p ∤ bj . El coeficiente de grado i + j de ab es
y las condiciones dadas implican que p divide a todos los sumandos excepto a ai bj , por lo que
p ∤ ci+j y en consecuencia p ∤ ab.
b = b0 + · · · + bm X m (bm ̸= 0) y c = c0 + · · · + ck X k (ck ̸= 0)
3.3. DIVISIBILIDAD EN ANILLOS DE POLINOMIOS 65
De la Proposición 3.13 y el Teorema 3.17 se deduce que Z[X] es un DFU pero no un DIP,
lo que muestra que el recı́proco del Teorema 2.25 no es cierto.
En el resto de la sección suponemos que D es un DFU y K es su cuerpo de fracciones.
Definimos una relación de equivalencia ∼ en K de la siguiente forma para x, y ∈ K:
x ∼ y ⇔ y = ux para algún u ∈ D∗ .
a(bD∗ ) = (ab)D∗ .
Esto está bien definido pues si b1 ∼ b2 entonces ab1 ∼ ab2 . Además se verifica a(b(cD∗ )) =
(ab)(cD∗ ).
Vamos a definir una aplicación
c : K[X] → K/ ∼
Empezamos definiendo c(p) para p ∈ D[X] P como la clase que contiene a un máximo común
divisor de los coeficientes de p, o sea, si p = i≥0 pi X i entonces
Para definir c(p) para un elemento p ∈ K[X] elegimos a ∈ D \ {0} con ap ∈ D[X] y definimos
Esto está bien definido pues si a1 p, a2 p ∈ D[X] entonces c(a1 a2 p) = a1 c(a2 p) = a2 c(a1 p) con
lo que a−1 −1
1 c(a1 p) = a2 c(a2 p).
Si c(p) = aD∗ , entonces decimos que a es el contenido y abusaremos de la notación es-
cribiendo a = c(p). En realidad deberı́amos decir “un contenido” pero estamos abusando
de la notación, de la misma forma que lo hacı́amos al hablar “del máximo común divisor” o
“el mı́nimo común múltiplo”. En todos los casos se trata de un concepto que es único salvo
multiplicación por unidades de D.
Obsérvese que si a ∈ D y p ∈ D[X] entonces las notaciones a | c(p) y c(p) | a no son
ambiguas pues todos los valores posibles para c(p) son asociados.
Veamos ahora algunas propiedades del contenido.
Lema 3.19 (Lema de Gauss) Si f, g ∈ K[X], entonces c(f g) = c(f )c(g). En particular,
f g es primitivo si y solo si f y g son primitivos.
el Lema 3.14, p es primo en D[X] y por tanto p|f1 ó p|g1 , lo que implica que p|c(f1 ) ó p|c(g1 ),
en contra de que c(f1 ) = c(g1 ) = 1.
Proposición 3.20 Para un polinomio primitivo f ∈ D[X] \ D, las condiciones siguientes son
equivalentes:
(1) f es irreducible en D[X].
Demostración. El Lema 3.16 y la Proposición 3.13 aseguran que (1) implica (2) y que (2)
implica (3), respectivamente, y es claro que (3) implica (4). Finalmente, como f es primitivo,
sus únicos divisores de grado 0 son unidades, por lo que (4) implica (1).
Como consecuencia del Lema 3.14 y la Proposición 3.20 se deduce el siguiente corolario.
Problemas
3.3.1 ¿Es cierto que, si D es un DFU y b es un elemento de D, entonces sólo hay una cantidad
finita de ideales de D que contienen a b? ¿Y si D es DIP?
3.3.2 Dar un ejemplo de un ideal primo no nulo de un DFU que no sea maximal.
3.3.3 Demostrar que toda raı́z racional de un polinomio mónico con coeficientes enteros es
entera.
que en D[X] tiene la misma factorización en irreducibles que tenga como elemento de D. En
cuanto a f1 , para decidir su irreducibilidad, la Proposición 3.20 nos permite considerarlo como
polinomio sobre D o sobre K según nos convenga. Por tanto, es importante tener criterios de
irreducibilidad como los que siguen para polinomios sobre cuerpos. Para polinomios de grado
pequeño esto es fácil.
Demostración. Ejercicio.
(2) Las posibles raı́ces en Q del polinomio f = 3X 3 + X 2 + X − 2 son ±2, ±1, ±2/3 y
±1/3, y de hecho f (2/3) = 0. Por tanto (X − 2/3) | f , y ası́ (3X − 2) | f . Dividiendo
se obtiene f = (3X − 2)(X 2 + X + 1). Como ambos factores son primitivos sobre Z
e irreducibles sobre Q y sobre R, deducimos que la anterior es una factorización en
irreducibles de f en cualquiera de los anillos Z[X], Q[X]
√
ó R[X]. La factorización en
−1+ −3
C[X] es f = (3X − 2)(X − ω)(X − ω), donde ω = 2 .
3.4. FACTORIZACIÓN EN EL ANILLO DE POLINOMIOS DE UN DFU 69
(4) El polinomio f = X 4 +X 3 +2X 2 +X+1 no tiene raı́ces racionales, pero esto no implica que
sea irreducible sobre Q. De hecho, se tiene f (i) = 0, y por tanto (X − i)(X + i) = X 2 + 1
divide a f ; el otro factor es X 2 + X + 1, por lo que f = (X 2 + 1)(X 2 + X + 1) es una
factorización en
√
irreducibles en Z[X], Q[X] ó R[X], y f = (X − i)(X + i)(X − ω)(X − ω)
−1+ −3
(con ω = 2 ) es una factorización en C[X].
(5) Supongamos que el polinomio sin raı́ces racionales f = X 4 −2X 3 +6X −3 no es irreducible
en Z[X]. Por la Proposición 3.20, existen g, h ∈ Z[X], ambos de grado ≥ 1, tales que
f = gh. Podemos asumir que g y h son mónicos (¿por qué?), y por tanto no pueden
tener grado 1 (¿por qué?). En consecuencia, ambos tienen grado 2 y por tanto existen
a, b, c, d ∈ Z tales que f = (X 2 + aX + b)(X 2 + cX + d). Igualando coeficientes, se
obtienen las ecuaciones
bd = −3, ad + bc = 6, b + ac + d = 0, a + c = −2.
Demostración. Por la Proposición 3.20 basta ver que, si f = gh con g, h ∈ D[X], entonces
gr(g) = 0 ó gr(h) = 0. Sean a, b y c los coeficientes principales de f , g y h, respectivamente.
Entonces a = bc ̸∈ Ker ϕ y por tanto b, c ̸∈ Ker ϕ, por lo que gr(ϕ(g)) = gr(g) y gr(ϕ(h)) =
gr(h). Como K es un cuerpo y ϕ(f ) es irreducible en K[X], la igualdad ϕ(f ) = ϕ(g)ϕ(h)
implica que gr(ϕ(g)) = 0 ó gr(ϕ(h)) = 0, de donde se sigue el resultado.
X 2 + 1, X 2 + X − 1, X 2 − X − 1.
Proposición 3.28 (Criterio de Eisenstein) Sea D un DFU y sea f = a0 +a1 X+· · ·+an X n
(con an ̸= 0) un polinomio primitivo de D[X]. Si existe un irreducible p ∈ D tal que
(2) Un argumento similar al del Ejemplo 3.27.(4) nos permitirı́a ver que el polinomio f =
X 4 − 3X 3 + 6X − 3 es irreducible en Z[X]. Ahora podemos asegurar lo mismo con menos
trabajo aplicando el Criterio de Eisenstein con p = 3.
(4) Dado un entero n ≥ 3, las raı́ces en C del polinomio X n − 1 se llaman raı́ces n-ésimas de
la unidad (o de 1). Considerando la interpretación geométrica de la multiplicación en C,
es fácil ver que estas raı́ces son exactamente los n vértices del n-ágono regular inscrito en
el cı́rculo unidad de C que tiene un vértice en la posición del 1. Estos números complejos
son útiles en muy diversas circunstancias. El polinomio X n − 1 se factoriza como
El polinomio Φn (X) se conoce como el n-ésimo polinomio ciclotómico, y sus raı́ces son
las raı́ces n-ésimas de 1 distintas de 1. Φn (X) no es en general irreducible sobre Q (por
ejemplo, Φ4 (X) es divisible por X + 1), pero sı́ lo es cuando n = p es primo. Como en el
apartado anterior, esto quedará demostrado si podemos aplicar el Criterio de Eisenstein
a Φp (X + 1). Ahora bien, Φp (X) = (X n − 1)/(X − 1), y por tanto
(X + 1)p − 1
p−1 p p−2 p p−3 p
Φp (X + 1) = =X + X + X + ··· + X + p.
X p−1 p−2 2
Problemas
3.4.1 Sea D un DFU y sea f = ao + a1 X + · · · + an X n un polinomio primitivo en D[X].
Demostrar que, si existe un irreducible p ∈ D tal que
entonces P es irreducible en D[X] (es decir, el Criterio de Eisenstein se puede aplicar “al
revés”).
3.4.3 Descomponer los siguientes anillos cociente como producto de anillos “conocidos”:
3.4.4 Calcular el máximo común divisor y el mı́nimo común múltiplo en Z[X] de las siguientes
parejas de polinomios:
(1) X 3 − 6X 2 + X + 4 y X 5 − 6X + 1.
(2) X 2 + 1 y X 6 + X 3 + X + 1.
3.4.5 Demostrar que los siguientes polinomios son irreducibles en los anillos que se indican:
(1) X 4 + X + 1, 4X 3 − 3X − 21 , X 4 + 1, X 6 + X 3 + 1, X 3 + 6X + 3X + 3, X 5 − 5X + 15 y
X 4 + 5X + 12 en Q[X].
(2) X 2 + X + 1 en Z2 [X].
3.5. POLINOMIOS EN VARIAS INDETERMINADAS 73
(3) X 2 + Y 2 − 1 y X 5 Y 3 − X 3 + XY 2 − Y 2 + 1 en Q[X, Y ].
(2) X 3 + 3X 2 + 3X + 4 en Z5 [X].
3.4.7 Decidir cuáles de los siguientes polinomios son irreducibles en los anillos que se indican:
(8) X n − p, donde n > 0 y p es un entero primo con p ≡ 1 mod 3, en R[X], Q[X] y Z3 [X].
Lema 3.31 Sean A un anillo y n un entero positivo. Entonces todo elemento p de A[X1 , . . . , Xn ]
se escribe de forma única como suma de monomios de distinto tipo, casi todos con coeficiente
nulo. Es decir, se tiene una única expresión
X
p= pi X1i1 · · · Xnin (3.2)
i∈Nn
0
donde cada (pt )(i1 ,...,in−1 ) está en A y casi todos son nulos. Definiendo pi = (pin )(i1 ,...,in−1 ) (para
i = (i1 , . . . , in )) tenemos la expresión deseada.
Recı́procamente, una expresión como (3.2) puede reescribirse como un polinomio en Xn con
in−1
coeficientes en A[X1 , . . . , Xn−1 ] sin más que definir cada coeficiente como pt = pi X1i1 · · · Xn−1
P
,
con la suma extendida a todos los i = (i1 , . . . , in ) ∈ Nn0 con in = t. Usando esto es sencillo
demostrar que estas expresiones son únicas, asumiendo que lo son en A[X1 , . . . , Xn−1 ].
X
S(p) = p(b1 , . . . , bn ) = pi bi11 · · · binn .
i∈Nn
0
(2) Sea A un anillo y sea σ una biyección del conjunto Nn = {1, . . . , n} en sı́ mismo con
inversa τ = σ −1 . Si en el ejemplo anterior tomamos B = A[X1 , . . . , Xn ] y bj = Xσ(j) ,
obtenemos un homomorfismo σ : A[X1 , . . . , Xn ] → A[X1 , . . . , Xn ] que “permuta las in-
determinadas”. Es claro que σ es de hecho un automorfismo con inverso τ . Usando estos
isomorfismos y la definición de los anillos de polinomios en varias indeterminadas, es fácil
establecer isomorfismos
X
f (p) = f (pi )X1i1 · · · Xnin .
i∈Nn
0
Veamos cómo pueden usarse las identificaciones del apartado 2 de los Ejemplos 3.33.
Sin embargo, no es tan fácil como en el caso de una indeterminada ver que, cuando A es un
dominio, la segunda desigualdad es de hecho una igualdad. Para esto, y para otras cosas, es
interesante considerar el siguiente concepto:
Un polinomio p ̸= 0 de A[X1 , . . . , Xn ] se dice homogéneo de grado n ≥ 0 si es suma de
monomios de grado n. Por ejemplo, de los polinomios de Z[X, Y, Z]
X 2 Y + Y 3 − 3XY Z + 6Y Z 2 , X 6 + Y 6 + Z 6 + X 3Y 3 + X 3Z 3 + Y 3Z 3, XY Z + X + Y + Z,
los dos primeros son homogéneos (de grados 3 y 6, respectivamente) y el último no lo es.
Problemas
3.5.1 Sea D un dominio. Demostrar que el ideal (X 2 , XY, Y 2 ) del anillo de polinomios en dos
indeterminadas D[X, Y ] no es principal. ¿Tiene un conjunto de generadores con dos elementos?
Determinar los ideales de A = K[X, Y ]/(X 2 , XY, Y 2 ), siendo K un cuerpo y demostrar que A
tiene ideales que no son principales.
3.5.2 Sea A un anillo. Demostrar que si P ∈ A[X1 , . . . , Xn ] tiene grado 1 y uno de los coefi-
ciente diferentes del término independiente es una unidad de A, entonces A[X1 , . . . , Xn ]/(P ) ∼
=
A[X1 , . . . , Xn−1 ].
3.5. POLINOMIOS EN VARIAS INDETERMINADAS 77
(3) Sea f : K[X, Y, Z] → K[Y, Z] el homomorfismo dado por f (X, Y, Z) = f (0, Y, Z). De-
mostrar que si P ∈ K[X, Y, Z] es tal que P̄ es una unidad en A entonces f (P ) ∈ K \ {0}.
(4) Demostrar que A no tiene ninguna unidad u tal que b = au. (Indicación: Sea P ∈
K[X, Y, Z] tal que u = P̄ es una unidad de A tal que b = au. Demuestra que existe
Q ∈ K[X, Y, Z] tal que Y − P = Q(Y Z − 1) y deduce que Y − f (Q)(Y Z − 1) ∈ K \ {0}.
Con esto último deberı́as obtener una contradicción.)
78 CAPÍTULO 3. POLINOMIOS
Capı́tulo 4
Grupos
G×G → G
(g, h) 7→ g · h
(Neutro) Existe un elemento e ∈ G, llamado elemento neutro del grupo tal que e · a =
a = a · e, para todo a ∈ G.
79
80 CAPÍTULO 4. GRUPOS
Demostración. Ejercicio.
Ejemplos 4.3 (1) Si A es un anillo, entonces (A, +) y (A∗ , ·) son dos grupos abelianos
llamados respectivamente grupo aditivo y grupo de unidades de A. Por ejemplo, (Z, +),
(Q, +), (R, +), (C, +) y (Zn , +) son grupos aditivos y los grupos de unidades de los
correspondientes anillos son Z∗ = {±1}, Q∗ = Q \ {0}, R∗ = R \ {0}, C∗ = C \ {0} y
(2) Sea K un anillo y n un entero positivo. Entonces el conjunto GLn (K) formado por
todas las matrices invertibles cuadradas de tamaño n con entradas en K es un grupo
con el producto habitual de matrices. Si n = 1, entonces GL1 (K) = K ∗ es abeliano.
Sin embargo si n ≥ 2 y K ̸= 0, entonces GLn (K) no es abeliano pues las dos siguientes
matrices no conmutan:
1 1 1 0
.
0 1 1 1
Este ejemplo se puede generalizar cambiando el cuerpo K por un anillo arbitrario.
(4) Si (G, ⋆) y (H, ∗) son dos grupos, entonces el producto directo G × H es un producto
directo en el que la operación viene dada componente a componente:
Más generalmente,
Q si (Gi )i∈I es una familia arbitraria de grupos, entonces el producto
directo i∈I Gi tiene una estructura de grupo en el que el producto se realiza componente
a componente.
4.2. SUBGRUPOS 81
(5) Para cada número natural positivo n vamos a definir un grupo Cn formado por n ele-
mentos
Cn = {1, a, a2 , . . . , an−1 },
donde a es un sı́mbolo, y en el que la multiplicación viene dada por la siguiente regla:
ai aj = a[i+j]n
donde [x]n denota el resto de dividir x entre n. Este grupo se llama cı́clico de orden n.
También definimos el grupo cı́clico infinito como el conjunto C∞ = {an : n ∈ Z}, donde
a es un sı́mbolo y consideramos an = am si y sólo si n = m, y en el que el producto viene
dado por an · am = an+m .
(6) Para cada número natural positivo n vamos a definir un grupo formado por 2n elementos
con notación como en el ejemplo anterior. Este grupo se llama grupo diédrico de orden
2n.
El grupo diédrico infinito D∞ está formado por elementos de la forma an bm , con n ∈ Z
j
y m = 0, 1 con el producto (ai1 bj1 )(ai2 bj2 ) = ai1 +(−1) 1 i2 b[j1 +j2 ]2 .
4.2 Subgrupos
Definición 4.4 Sea G un grupo. Un subconjunto S de G se dice que es un subgrupo si la
operación que define la estructura de grupo en G induce también una estructura de grupo en
S.
El siguiente lema muestra cuáles son las propiedades que hay que comprobar para demostrar
que un subconjunto de un grupo es un subgrupo.
Lema 4.5 Sea G un grupo y S un subconjunto de G. Las siguientes condiciones son equiva-
lentes:
(1) S es un subgrupo de G.
Demostración. Ejercicio.
(2) Si (A, +) es el grupo aditivo de un anillo, entonces todo subanillo y todo ideal de A son
subgrupos de este grupo.
Si S es un subgrupo de (Z, +), entonces nx ∈ S, para todo n ∈ Z y todo x ∈ I. Eso
implica que S es un ideal de Z y por tanto los subgrupos de (Z, +) son los de la forma
nZ para n un entero no negativo.
(3) Sea GLn (K) el grupo de las matrices invertibles de tamaño n con entradas en el cuerpo
K. Entonces el SLn (K) conjunto formado por las matrices de determinante 1 es un
subgrupo de GLn (K).
⟨g⟩ = {g n : n ∈ Z}
CG (x) = {g ∈ G : gx = xg}
Se puede comprobar fácilmente que esta relación es de equivalencia y por tanto define una
partición de G en clases de equivalencia. Las clase de equivalencia que contiene a a es
aH = {ah : h ∈ H}
Ha = {ah : h ∈ H}
es otra biyección.
Denotamos con |X| el cardinal de un conjunto cualquiera. En el caso en que G sea un
grupo el cardinal de G se suele llamar orden de G. Acabamos de ver que para cada subgrupo
H de G se verifica:
|aH| = |Ha| = |H| y |G/H| = |H\G|
El cardinal de G/H (y H\G) se llama ı́ndice de H en G y se denota [G : H]. Una consecuencia
inmediata de estas fórmulas es el siguiente Teorema.
(1) Si G tiene orden infinito entonces G ≃ (Z, +) y los subgrupos de G son los de la forma
⟨an ⟩ con n ∈ N. Además, si n, m ∈ N, entonces ⟨an ⟩ ⊆ ⟨am ⟩ si y sólo si m|n.
G tiene un subgrupo para cada número entero no negativo n: ⟨an ⟩.
Teorema 4.10 (Teorema Chino de los Restos para grupos) Si G y H son dos subgru-
pos cı́clicos de ordenes n y m, entonces G × H es cı́clico si y sólo si mcd(n, m) = 1.
Más generalmente, si g y h son dos elementos de un grupo G de órdenes coprimos n y m
y gh = hg, entonces ⟨g, h⟩ es cı́clico de orden nm.
El siguiente teorema que veremos sin demostración describe todos los grupos abelianos
finitos salvo isomorfismo.
Además, si d1 |d2 | . . . |dn y e1 |e2 | . . . |em son enteros positivos tales que
Subgrupos normales y
homomorfismos
Proposición 5.1 Las condiciones siguientes son equivalentes para un subgrupo N de un grupo
G:
(1) N \G = G/N .
Demostración. Ejercicio
87
88 CAPÍTULO 5. SUBGRUPOS NORMALES Y HOMOMORFISMOS
(2) Si I es un ideal de un anillo A, entonces el grupo cociente A/I es el grupo aditivo del
anillo cociente.
(5) Sea G = GLn (R) el grupo lineal general sobre R. Usando el hecho de que, si a, b ∈ G,
entonces
det(ba) = det(b) det(a) = det(a) det(b) = det(ab),
es fácil ver que SLn (R) es un subgrupo normal de G.
(6) El siguiente es el diagrama de todos los subgrupos de D4 ordenados por inclusión: una
lı́nea entre dos subgrupos significa que el de arriba contiene al de abajo. Los subgrupos
de la segunda fila tienen orden 4, y los de la tercera fila tienen orden 2. En el diagrama
están subrayados los subgrupos que no son normales en D4 :
Los que aparecen son subgrupos y las relaciones de inclusión son claras, pero el lector
deberá comprobar esos subgrupos son distintos entre sı́ y que no hay más, ası́ como
la normalidad de los subgrupos no subrayados. Otro ejercicio interesante consiste en
demostrar que los subgrupos ⟨a2 , b⟩ y ⟨a2 , ab⟩ no son cı́clicos.
Obsérvese que cualquier subgrupo del diagrama es normal en cualquiera de los subgrupos
que lo contengan y estén en el nivel inmediatamente superior. Por ejemplo, ⟨b⟩ ⊴ ⟨a2 , b⟩
y ⟨a2 , b⟩ ⊴ D4 ; como ⟨b⟩ no es normal en D4 , este ejemplo muestra que la relación “ser
normal en” no es transitiva.
Acabamos la sección con una versión para grupos del Teorema de la Correspondencia (1.23).
5.2. HOMOMORFISMOS Y TEOREMAS DE ISOMORFÍA 89
f (a · b) = f (a) ∗ f (b)
Demostración. Ejercicio.
(3) Dados dos grupos G y H, la aplicación f : G → H dada por f (a) = 1H para cada a ∈ G
es un homomorfismo llamado homomorfismo trivial de G en H. Su núcleo es todo G.
(6) Otro ejemplo en el que se mezclan las notaciones aditiva y multiplicativa es el siguiente:
Fijado un número real positivo α, la aplicación R → R+ dada por r 7→ αr es un isomor-
fismo de grupos cuya inversa es la aplicación R+ → R dada por s 7→ logα s.
G f - H
p 6i
?
G/Ker f f¯ - Im f
(2) La aplicación det : GLn (R) → R∗ que lleva una matriz a su determinante es un homo-
morfismo suprayectivo de grupos con núcleo SLn (R). Esto nos dice que el cociente de
GLn (R) por SLn (R) es isomorfo a R∗
(3) Sea n un entero positivo. Hemos visto (Ejemplos 5.5) que todo subgrupo de Zn = Z/⟨n⟩
es de la forma ⟨d⟩ = ⟨d⟩/⟨n⟩, para cierto divisor positivo d de n. El Segundo Teorema de
Isomorfı́a nos permite identificar el cociente Zn /⟨d⟩, pues
Zn Z/⟨n⟩ Z
= ≃ = Zd .
⟨d⟩ ⟨d⟩/⟨n⟩ ⟨d⟩
aG = {ag : g ∈ G}.
·:G×X → X
(g, x) 7→ g · x
(1) Consideremos la acción por la derecha de G en si mismo dada por g · x = gx. Esta acción
se llama acción por la derecha de G en si mismo por translación. Análogamente se define
una acción por la izquierda por traslación. Obsérvese que EstabG (x) = 1 y G · x = G,
para todo x ∈ G.
Más generalmente, si H es un subgrupo de G, entonces G actúa por la derecha en
G/H mediante la regla: g · xH = (gx)H. Análogamente se define una acción por la
izquierda de G en H\G. En ambos casos todos los elementos están en la misma órbita y
EstabG (xH) = {g ∈ G : xgx−1 ∈ H} = x−1 Hx = H x .
(2) La acción por conjugación de G en si mismo viene dada por g · a = g a = a−1 ga. La órbita
G · x es xG , la clase de conjugación de x en G y el estabilizador es EstabG (x) = CG (x),
el centralizador de x en G.
(4) Para cada entero positivo n, consideramos Sn actuando por la derecha en en {1, 2, . . . , n}
mediante: σ·x = σ(x). Claramente, todo elemento está en la misma órbita y EstabSn (i) =
{σ ∈ Sn : σ(i) = i} ≃ Sn−1 .
(5) El grupo simétrico Sn también actúa por la derecha en A[X1 , . . . , Xn ] por la regla σ ·
p = σ(p) definida en la Sección ??. Recuérdese que la órbita de p por esta acción es
precisamente lo que habı́amos llamado órbita del polinomio p.
5.4 Problemas
(1) Construir la tabla de multiplicación de los siguientes grupos.
(f) El grupo cociente G/⟨−I⟩, donde G es el grupo del apartado anterior e I es la matriz
identidad.
(g) El grupo de los automorfismos del grupo Z5 .
(h) El subgrupo del grupo de la permutaciones de A = R \ {0, 1, 2} generado por f y g,
donde
2
f (x) = 2 − x y g(x) = .
x
(i) Z16 con la operación x ∗ y = x + (−1)x + y.
(2) Construir el diagrama de los subgrupos de los grupos anteriores, indicando cuáles de ellos
son normales.
(3) Probar que todo grupo G de orden menor o igual a cinco es abeliano.
(4) Sea G un grupo. Probar que las siguientes afirmaciones son equivalentes:
(a) G es abeliano.
(b) (ab)2 = a2 b2 para cualesquiera a, b ∈ G.
(c) (ab)−1 = a−1 b−1 para cualesquiera a, b ∈ G.
(d) (ab)n = an bn para todo n ∈ N y para cualesquiera a, b ∈ G.
(5) Demostrar que si G es un grupo tal que g 2 = 1, para todo g ∈ G, entonces G es abeliano.
(7) Para n = 1, . . . , 10, determinar cuáles de los grupos Z∗n son cı́clicos.
(8) La función ϕ : N → N que asocia a cada número n el cardinal de Z∗n se llama función de
Euler. Demostrar que:
(10) Encontrar todos los grupos cı́clicos G, salvo isomorfismos, que tengan exactamente dos
generadores (es decir, tales que existan exactamente dos elementos x ∈ G con G = ⟨x⟩).
(11) Demostrar que si p es un primo positivo, entonces todos los subgrupos de orden p son
cı́clicos isomorfos a Cp .
(14) Demostrar que la intersección de una familia de subgrupos normales de un grupo también
es un subgrupo normal.
(16) Sean N y M subgrupos normales de un grupo G tales que N ∩ M = {1}. Probar que
nm = mn para todo n ∈ N y m ∈ M .
(17) Sea N un subgrupo normal de ı́ndice n de un grupo G. Demostrar que g n ∈ N para todo
g ∈ G, y dar un ejemplo que muestre que esta propiedad falla si N no es normal en G.
(24) Probar que, salvo isomorfismos, sólo hay dos grupos no abelianos de orden 8. ¿Cuáles
son?
(26) Demostrar que si H es un subgrupo abeliano de un grupo G tal que HZ(G) = G, entonces
G es abeliano. Deducir que si G/Z(G) es cı́clico, entonces G es abeliano.
(28) Calcular los centros de GLn (R), GLn (C), SLn (R) y SLn (C).
(29) Calcular las clases de conjugación de los grupos del Problema 1 y de los grupos diédricos.
(30) Demostrar que p es primo, entonces todos los grupos de orden p2 son abelianos.
(31) Si p es primo, probar que el centro de cualquier grupo no abeliano de orden p3 tiene
orden p.
(32) Sea G un grupo abeliano finito en el que, para cada n ∈ Z+ , la ecuación xn = e tiene a lo
sumo n soluciones. Demostrar que G es cı́clico. Deducir que un subgrupo finito del grupo
de unidades de un dominio es cı́clico. (Indicación: Elegir un elemento de orden máximo
y observar que para cada g ∈ G de orden n, el subgrupo ⟨g⟩ contiene n soluciones de la
ecuación xn = e.)
(33) (a) Mostrar que las siguientes son acciones del grupo que se indica en el conjunto cor-
respondiente.
i. De Aut(G) en un grupo G, dada por σ · x = σ(x) (por la izquierda).
ii. De un grupo G en G/H, donde H es un subgrupo, dada por g · xH = (gx)H
(por la izquierda).
iii. De un grupo G en H\G, donde H es un subgrupo, dada por Hx · g = H(xg)
(por la derecha).
iv. De un grupo G en el conjunto S de sus subgrupos dada por H · g = H g (por la
derecha).
98 CAPÍTULO 5. SUBGRUPOS NORMALES Y HOMOMORFISMOS
(34) (Teorema de Cauchy) Demostrar que si G es un grupo finito cuyo orden es múltiplo
de un primo p, entonces G tiene un elemento de orden p. (Indicación: Considérese
X = {(x1 , x2 , . . . , xp ) : x1 x2 · · · xp = 1} y la siguiente acción del grupo cı́clico Cp = ⟨g⟩
en X: g · (x1 , x2 , . . . , xp ) = (xp , x1 , x2 , . . . , xp−1 ).)
Grupos de permutaciones
Este es un capı́tulo recopilatorio de las principales propiedades del grupo simétrico que suponemos
bien conocidas por lo que muchas de las demostraciones las omitiremos.
99
100 CAPÍTULO 6. GRUPOS DE PERMUTACIONES
σ = (i1 i2 i3 . . . is ) ó σ = (i1 , i2 , i3 , . . . , is ).
(3) El orden de σ (como elemento del grupo simétrico) coincide con su longitud s.
Elegimos un elemento arbitrario cambiado por σ, por ejemplo el 1, y calculamos sus imágenes
sucesivas por σ:
o(σ) = mcm(s1 , . . . , sk ).
6.1. CICLOS Y TRASPOSICIONES 101
Demostración. Sea m ∈ N. Como los τi conmutan entre sı́, se tiene σ m = τ1m · · · τkm . Por
otra parte, para cada i se tiene M (τim ) ⊆ M (τi ) y por tanto los τim son disjuntos. Esto implica,
por la unicidad en el Teorema 6.5, que σ m = 1 precisamente si cada τim = 1, y entonces el
resultado es claro, pues si es el orden de τi .
Teorema 6.9 Dos elementos de Sn son conjugados precisamente si tienen el mismo tipo. En
consecuencia, cada clase de conjugación de Sn está formada por todos los elementos de un
mismo tipo.
Tipo Permutaciones
[1] 1
[2] (1 2), (1 3), (1 4), (2 3), (2 4), (3 4)
[3] (1 2 3), (1 3 2), (1 2 4), (1 4 2), (1 3 4), (1 4 3), (2 3 4), (2 4 3)
[4] (1 2 3 4), (1 2 4 3), (1 3 2 4), (1 3 4 2), (1 4 2 3), (1 4 3 2)
[2,2] (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)
Por tanto, cada fila de elementos a la derecha de la barra es una clase de conjugación de S4 .
Además de los ciclos, en S5 hay permutaciones de los tipos [2, 2] y [3, 2]; y en S6 las hay
de los tipos [2, 2], [3, 2], [2, 2, 2] y [3, 3]. En estos casos, por el gran número de elementos en
los grupos, es pesado construir tablas como la que acabamos de dar para S4 , pero se puede al
menos calcular cuántas permutaciones hay de cada tipo (véase el Problema 7).
(1 2 3) = (1 3)(1 2) = (2 3)(1 3) = (1 3)(2 4)(1 2)(1 4) = (2 3)(2 3)(1 3)(2 4)(1 2)(1 4).
Nótese que en todas estas factorizaciones de (1 2 3) hay un número par de trasposiciones; esto
es consecuencia de un hecho general que analizaremos en la sección siguiente (Proposición 6.16).
6.2. EL GRUPO ALTERNADO 103
La condición i < j implica que cada diferencia entre dos indeterminadas distintas aparece,
en cierto orden, exactamente una vez en esa factorización. Como σ̄ es un homomorfismo de
anillos, se tiene Y Y
σ̄(P ) = σ̄(Xj − Xi ) = (Xσ(j) − Xσ(i) ).
i<j i<j
Como σ es una biyección, cada diferencia entre dos indeterminadas distintas sigue apareciendo,
en cierto orden, exactamente una vez en esta factorización. Fijados i < j pueden ocurrir dos
cosas:
Que sea σ(i) < σ(j), en cuyo caso el factor Xσ(j) − Xσ(i) aparece en σ̄(P ) igual que en
P.
Que sea σ(i) > σ(j), en cuyo caso el factor Xσ(j) − Xσ(i) aparece en σ̄(P ) en el orden
contrario que en P ; en este caso diremos que σ presenta una inversión para el par (i, j).
Como cada inversión se traduce en un cambio de signo en σ̄(P ) con respecto a P , se tiene
σ̄(P ) = ±P , donde el signo es + si y sólo si el número de pares (i, j) (con i < j) para los que
σ presenta una inversión es par. Esto sugiere las definiciones que siguen:
(5) Un ciclo de longitud s tiene signo (−1)s−1 ; es decir, un ciclo de longitud par es impar, y
viceversa.
(6) La paridad de una permutación coincide con la del número de componentes pares de su
tipo.
Definición 6.18 El grupo alternado en n elementos, denotado por An , es el núcleo del ho-
momorfismo sg : Sn → Z∗ = {1, −1}. Es decir, es el subgrupo de Sn formado por las permuta-
ciones pares.
n! Sn
[Sn : An ] = 2, |An | = , y ≃ {1, −1} ≃ Z2 .
2 An
Obsérvese que, como el conjunto vacı́o genera el subgrupo trivial, la Proposición 6.20 es
válida incluso cuando n = 1 ó n = 2.
A continuación describimos los subgrupos de A4 . Esto nos dará un ejemplo en el que no se
verifica el recı́proco del Teorema de Lagrange: A4 tiene orden 12, pero no tiene subgrupos de
orden 6.
Por el Teorema de Lagrange, los subgrupos propios y no triviales de A4 han de tener orden 2,
3, 4, ó 6. Los de orden 2 han de estar generados por elementos de orden 2, y por tanto son:
Como σ α = τ ̸∈ ⟨σ⟩, deducimos que ⟨σ⟩ no es normal en A4 , y del mismo modo se ve que no
lo son ⟨τ ⟩ ni ⟨η⟩. Los subgrupos de orden 3 han de estar generados por elementos de orden 3,
y por tanto son:
⟨α⟩ = ⟨α2 ⟩ = {1, α, α2 } ⟨β⟩ = ⟨β 2 ⟩ = {1, β, β 2 }
⟨γ⟩ = ⟨γ 2 ⟩ = {1, γ, γ 2 } ⟨δ⟩ = ⟨δ 2 ⟩ = {1, δ, δ 2 }.
Un subgrupo de orden 4 no puede contener a ninguno de los elementos de orden 3; como el
resto de elementos forman un subgrupo
N = {1, σ, τ, η},
éste es el único subgrupo de orden 4, que además es normal en Sn por el Teorema 6.9. Por
último, veamos que no hay subgrupos de orden 6. Un tal subgrupo H serı́a normal en A4 por
tener ı́ndice 2, por lo que también N ∩ H serı́a normal en A4 . Además se tendrı́a N H = A4
(¿por qué?) y en consecuencia |N ∩ H| = 2 (Teorema 5.9), en contra del hecho de que ninguno
de los subgrupos de orden 2 de A4 es normal.
106 CAPÍTULO 6. GRUPOS DE PERMUTACIONES
Demostración. Sea σ un 3-ciclo en H. Por la Proposición 6.20, basta ver que cualquier otro
3-ciclo σ ′ está en H. Sabemos por el Teorema 6.9 que existe α ∈ Sn tal que σ ′ = σ α , de modo
que si α ∈ An entonces σ ′ ∈ H, por la normalidad de H en An ; en consecuencia, podemos
suponer que α es una permutación impar. Como σ sólo cambia 3 elementos y n ≥ 5, existe
una trasposición β disjunta con σ, por lo que σ β = σ. Por tanto
σ βα = (σ β )α = σ α = σ ′ ,
En el primer caso, σ debe cambiar al menos 5 elementos (si sólo cambiase 4, como en la
factorización de σ aparece un ciclo de longitud ≥ 3, σ serı́a un 4-ciclo, lo que contradice
el hecho de que σ ∈ An ). Podemos suponer, sin pérdida de generalidad (¿por qué?), que
1, 2, 3, 4, 5 ∈ M (σ) y que alguno de los ciclos disjuntos que componen σ es de la forma (1 2 3 . . . )
(con longitud al menos 3). Sea α = (3 4 5). Como α ∈ An y H es normal en An , deducimos
que σ α ∈ H, y ası́ β = σ −1 σ α ∈ H. Si σ(i) = i entonces i > 5 y por tanto α(i) = i, de donde se
sigue que β(i) = i; por tanto M (β) ⊆ M (σ), y la inclusión es estricta pues σ(1) = 2 mientras
que β(1) = 1. En consecuencia, β ∈ H cambia menos de r elementos, ası́ que debe ser β = 1,
6.4. PROBLEMAS 107
por la elección de r. Esto significa que σ α = σ, y por tanto ασ = σα. Pero esto es falso, pues
ασ(2) = 4 y σα(2) = 3, de manera que la primera de las dos posibilidades consideradas nos
lleva a una contradicción.
Pasamos al segundo caso. Reordenando los elementos de Nn podemos asumir que σ =
(1 2)(3 4) · · · (puede haber más trasposiciones en el producto o no). Sea de nuevo α = (3 4 5).
Como antes, tomamos β = σ −1 σ α ∈ H. Si i ̸= 5 y σ(i) = i entonces i ̸= 3, 4, 5 y por tanto
α(i) = i, de donde se sigue que β(i) = i; por tanto M (β) ⊆ M (σ) ∪ {5}. Pero el 1 y el 2 son
fijados por β y cambiados por σ, de modo que β cambia menos de r elementos y ası́ β = 1, o
sea σα = ασ. Pero se tiene σα(3) = 3 ̸= 5 = ασ(3). En cualquier caso, pues, llegamos a la
contradicción que buscábamos.
6.4 Problemas
1 2 3 4 5 6 7 8 9 10 11
(1) Calcular σ 1000 ,
donde σ = .
3 5 2 6 1 7 4 0 9 11 8
1 2 3 4 5 6 7 8 9
(2) Dada la permutación σ = , calcular el orden de σ 2 .
5 1 9 8 2 3 4 6 7
(3) Sea 1 ̸= σ ∈ Sn . Demostrar que σ es un ciclo si y sólo si, para cualesquiera j, k ∈ M (σ),
existe un entero m tal que σ m (j) = k.
(4) Probar que para toda permutación σ ∈ Sn se cumple σ(i1 · · · ir )σ −1 = (σ(i1 ) · · · σ(ir )).
(5) Demostrar que una permutación tiene orden primo p si y sólo si se factoriza como un
producto de ciclos disjuntos, cada uno de longitud p.
(6) Demostrar que para todo 1 ≤ k < n, Sn tiene al menos nk subgrupos isomorfos a
Sk × Sn−k y que todos son conjugados; es decir, para dos de estos grupos H y K existe
σ ∈ G tal que H σ = K.
(c) ¿Cuántos elementos de tipo [2, 2] hay en S5 ? ¿Cuántos de tipo [2, 3]?
(d) ¿Cuántos elementos de tipo [2, 2] hay en S6 ? ¿Cuántos de tipo [2, 3]? ¿Y de tipo
[3, 3]?
(e) [*] Calcular en general el número de elementos de Sn de tipo [k1 , . . . , kr ].
n
(b) La paridad de ϕg coincide con la paridad del entero (m − 1) m .
n
(c) Si (m − 1) m es impar, entonces G tiene un subgrupo normal de ı́ndice 2.
(9) (Teorema de Cayley) Demostrar que todo grupo finito es isomorfo a un subgrupo de Sn
para algún n.
(11) Demostrar que el grupo alternado An es un subgrupo caracterı́stico del grupo simétrico
Sn .
(12) Sea n ≥ 2 y sea f : Sn → Sn+2 la aplicación dada por f (σ) = σ ∗ , donde σ ∗ actúa igual
que σ sobre los elementos 1, 2, . . . , n, y σ ∗ fija (respectivamente, intercambia) n + 1 y
n + 2 cuando σ es par (respectivamente, impar). Demostrar que f es un homomorfismo
inyectivo de grupos y que su imagen está contenida en An+2 . Deducir que todo grupo
finito es isomorfo a un subgrupo de un grupo alternado.
(13) Probar que si P es un subgrupo de orden 4 del grupo alternado A5 , entonces P es isomorfo
al grupo de Klein C2 × C2 .
(15) Dado f ∈ Aut(S3 ), probar que f induce una permutación del conjunto X = {(1 2), (1 3), (2 3)} ⊂
S3 . Deducir que la aplicación ι : S3 → Aut(S3 ) que lleva σ ∈ S3 al automorfismo interno
ισ es un isomorfismo de grupos.
(16) Demostrar que An está generado por los 3-ciclos de la forma (1, 2, i) con i = 3, . . . , n.
(19) [*] Sea p un primo impar y sea H un subgrupo propio de Sp que contiene una trasposición.
Demostrar que existen i, j ∈ Np tales que σ(i) ̸= j para todo σ ∈ H. (Indicación:
Considerar en Np la relación de equivalencia en la que i ∼ j si i = j ó si (i, j) ∈ H, y
comparar el número de elementos de las clases de equivalencia.)
(20) [*] Sea S∞ = S(N) el grupo de permutaciones del conjunto numerable N. El grupo
alternado infinito es el subgrupo A∞ de S∞ generado por todos los 3-ciclos (donde un
3-ciclo se define del modo obvio). Demostrar que A∞ es un grupo simple infinito.
Capı́tulo 7
Proposición 7.1 Sean {B1 , . . . , Bn } subgrupos de un grupo abeliano A. Entonces las condi-
ciones siguientes son equivalentes:
(1) El 0 se expresa de manera única como suma de elementos de los Bi . Es decir, si b1 +
· · · + bn = 0 con cada bi ∈ Bi , entonces se tiene bi = 0 para cada i = 1, . . . , n.
(2) Cada elemento de B1 + · · · + Bn se expresa de manera única como suma de elementos de
los Bi . Es decir, si b1 + · · · + bn = b′1 + · · · + b′n con cada bi ∈ Bi y cada b′i ∈ Bi , entonces
se tiene bi = b′i para cada i = 1, . . . , n.
P
(3) Para cada j = 1, . . . , n se verifica Bj ∩ ( i̸=j Bi ) = 0.
109
110 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
Ejemplo 7.2 Sea {Bi : i ∈ I} una familia de subgrupos de un grupo abeliano A. Entonces las
condiciones siguientes son equivalentes:
P
(1) El 0 se expresa de manera única como suma de elementos de los Bi . Es decir, si i∈I bi =
0 con cada bi ∈ Bi y bi = 0, para casi todo i ∈ I, entonces se tiene bi = 0 para cada
i ∈ I.
P
(2) Cada elemento deP i∈I Bi se Pexpresa de manera única como suma de elementos de los
Bi . Es decir, si i∈I bi = i∈I b′i con cada bi , b′i ∈ Bi , bi = 0 para casi todo i ∈ I y
b′i = 0 para casi todo i ∈ I, entonces se tiene bi = b′i para cada i ∈ I.
P
(3) Para cada j ∈ I se verifica Bj ∩ ( i̸=j Bi ) = 0.
Definición 7.3 Si se verifican las condiciones equivalentes de la Proposición 7.1 (o del Ejerci-
Pn {B1 , . . . , Bn } es independiente,
cio 7.2 en el caso infinito), se dice que la familia de subgrupos
o que los subgrupos Bi son independientes. Su suma, i=1 Bi = B1 + · · · + Bn , se llama
entonces la suma directa de la familia {B1 , . . . , Bn }, y se denota por ⊕ni=1 Bi = B1 ⊕ · · · ⊕ Bn
(o por ⊕i∈I Bi en el caso infinito).
La expresión “Sea A = B1 ⊕ · · · ⊕ Bn ” quiere decir que los Bi son subgrupos independientes
del grupo abeliano A y que su suma vale A.
Un subgrupo B de A es un sumando directo de A si existe otro subgrupo C de A tal que
A = B ⊕ C; es decir, tal que A = B + C y B ∩ C = 0. En este caso se dice que C es un
complemento directo de B.
(4) El complemento directo de un sumando directo no es, en general, único. Por ejemplo, para
cualquier a ∈ Z se tiene Z×Z = ⟨(1, 0)⟩⊕⟨(a, 1)⟩: la intersección es claramente nula, y un
elemento arbitrario (x, y) de Z×Z se puede expresar como (x, y) = y(a, 1)+(x−ya)(1, 0).
(2) Una familia de subgrupos es independiente precisamente si toda subfamilia finita suya lo
es.
Cuando sólo consideramos familias finitas, existe una estrecha relación entre los conceptos
de suma directa y producto directo de grupos, que describimos a continuación dejando los
detalles a cargo del lector.
Supongamos primero que A = B1 ⊕ · · · ⊕ Bn . Entonces, viendo cada Bi como grupo y
considerando su producto B1 ×· · ·×Bn , la aplicación B1 ×· · ·×Bn → A dada por (b1 , . . . , bn ) 7→
b1 + · · · + bn es un isomorfismo de grupos. Es decir, si A es la suma directa de los Bi , entonces
A es isomorfo al producto directo de los Bi .
Recı́procamente, sean B1 , . . . , Bn grupos abelianos y sea A el grupo producto, A = B1 ×
· · · × Bn . Si denotamos por B̂i al subgrupo de A formado por los elementos que llevan ceros en
todas las coordenadas excepto tal vez en la i-ésima (o sea B̂i = 0 × · · · × 0 × Bi × 0 × · · · × 0),
entonces es elemental ver que cada B̂i es isomorfo a Bi y que A = B̂1 ⊕ · · · ⊕ Bˆn . Es decir, si
A es el producto directo de los Bi , entonces A es la suma directa de los B̂i , que son isomorfos
a los Bi .
En vista de esto, a partir de ahora identificaremos B1 ⊕ · · · ⊕ Bn con B1 × · · · × Bn .
Ejemplo 7.6 Extender la discusión anterior al caso de una familia infinita independiente de
subgrupos, sustituyendo el producto directo por el grupo del último apartado de los Ejemplos 4.6.
Ejemplo 7.8 Demostrar que un subconjunto X de un grupo abeliano A es una base precisa-
mente si cada elemento de A se puede expresar de forma única como combinación lineal con
coeficientes enteros de los elementos de X. Es decir, si paraPcada a ∈ A existe una única
familia {ax : x ∈ X} de enteros, casi todos nulos, tal que a = x∈X ax x.
Luego Z(I) es un grupo libre y E es una base suya llamada base canónica.
7.2. GRUPOS ABELIANOS LIBRES 113
(4) Sea P el conjunto de los enteros primos positivos. Entonces la aplicación f : Z(P ) → Q+
dada por Y
f ((np )p∈P ) = pnp
p∈P
Ejemplo 7.10 Demostrar que una familia {ai : i ∈ I} de elementos de un grupo A es lineal-
mente independiente si y sólo si cada ai tiene orden infinito y la familia {⟨ai ⟩ : i ∈ I} de los
subgrupos cı́clicos generados por los ai es independiente.
En realidad, el apartado 3 del Ejemplo 7.9 agota, salvo isomorfismos, todos los posibles
ejemplos de grupos libres, como muestra el siguiente ejercicio.
Los conceptos de linealmente independiente, generador y base nos recuerdan a los corre-
spondientes de álgebra lineal. En el siguiente ejercicio vemos algunas relaciones entre nuestro
concepto y el de álgebra lineal.
Ejemplo 7.12 Sea I un conjunto. Consideremos A = Z(I) como un grupo abeliano libre y
V = Q(I) como un espacio vectorial sobre Q. Demostrar las siguientes propiedades para un
subconjunto S de A:
(2) Si S es un sistema generador del grupo A, entonces S es un sistema generador del espacio
vectorial V .
(3) Dar un ejemplo de un subconjunto de A que sea generador de V pero que no sea generador
de A.
(4) Demostrar que todas las bases de A tienen el mismo cardinal, a saber |I|. Deducir que
si J es otro conjunto, entonces Z(I) ∼
= Z(J) precisamente si |I| = |J|.
114 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
Definición 7.13 El cardinal de una base (cualquier base) de un grupo abeliano libre A se
llama rango de A y se denota r(A).
De los Ejercicios 7.11 y 7.12 se deduce que el rango es un invariante que caracteriza los
grupos abelianos libres salvo isomorfismos; es decir:
Los grupos abelianos libres que más nos interesan son los finitamente generados. Obvia-
mente, los grupos de la forma Zn son grupos abelianos libres finitamente generados. De hecho
no hay más, salvo isomorfismos, ya que si {a1 = (a1i )i∈I , . . . , an = (ani )i∈I } es un conjunto
generador de A = Z(I) , entonces F = {i ∈ I : aki ̸= 0 para algún k = 1, . . . , n} es un subcon-
Pna ver que I = F . Si i ∈ I \(I)
junto finito de I. Vamos F , entonces la coordenada i-ésima de todo
elemento de la forma k=1 mk ak es 0. Como en Z hay elementos cuya coordenada i-ésima
no es 0 (¡encuentra uno!), eso nos lleva a una contradicción, de donde deducimos que I = F y,
por tanto I es finito. Junto con la Proposición 7.14, esto demuestra que:
Corolario 7.15 Todo grupo abeliano libre finitamente generado A es isomorfo a Zn , donde
n = r(A).
Un grupo abeliano libre finitamente generado también se dice que es un grupo abeliano
libre de tipo finito o de rango finito. Como consecuencia del Ejercicio 7.11 se deduce:
El lector puede probar que el producto directo de un número finito de grupos libres (no
necesariamente de tipo finito) es libre. No es cierto que el producto directo infinito de grupos
libres sea libre. Por ejemplo, ZN no es libre, pero la demostración de este hecho excede los
objetivos del curso.
Las bases de los grupos abelianos libres verifican una propiedad análoga a las bases de
espacios vectoriales, en el sentido de que podemos describir homomorfismos que salgan de
un grupo abeliano libre eligiendo arbitrariamente (en el grupo imagen) las imágenes de los
elementos de la base. Explı́citamente:
Proposición 7.18 (Propiedad Universal de las Bases) Sea A un grupo abeliano libre y
sea I una base de A. Si B es un grupo abeliano y f : I → B es una aplicación, entonces existe
un único homomorfismo de grupos f¯ : A → B que extiende f (es decir, tal que f¯(i) = f (i)
cuando i ∈ I).
Obsérvese que, si u : I → A es la inclusión, entonces el homomorfismo f¯ completa el
siguiente diagrama
I P f
P PP
PP
q
u 1 K
?
A f
Demostración. Por el Ejercicio 7.11 existe un isomorfismo g : A → Z(I) tal que g(i) =
ei , donde {ei : i P∈ I} es la base canónica de Z(I) . Sea f¯ : Z(I) → B la aplicación dada
¯
por f ((ai )i∈I ) = ¯
i∈I ai f (i). Por el Ejercicio 7.11, f es un homomorfismo de grupos y la
composición g ◦ f¯ : A → B satisface las condiciones requeridas. La unicidad es consecuencia
del hecho obvio de que dos homomorfismos que toman los mismos valores en un conjunto
generador son iguales.
Luego A = B ⊕ Ker ρ.
Demostración. Sea I una base de L y, para cada i ∈ I, sea ai ∈ A tal que f (ai ) = i. Por la
Proposición 7.18, existe un único homomorfismo de grupos g : L → A tal que g(i) = ai , para
todo i ∈ I. Entonces f ◦ g = 1L (¿por qué?); por tanto g es inyectiva y ası́ B = Im g ∼ = L.
Entonces, la composición p = g ◦ f : A → B es la identidad sobre B, pues un elemento b ∈ B
es de la forma b = g(x) con x ∈ L y entonces
Teorema 7.21 Sea A un grupo abeliano libre de tipo finito y sea B un subgrupo de A. Entonces
B es libre de tipo finito y r(B) ≤ r(A).
Demostración. Sea n = r(A). Por el Corolario 7.15, podemos suponer que A = Zn . Ra-
zonamos por inducción sobre n, con el caso n = 1 resuelto por el Corolario ??. Supongamos
pues que n > 1 y que se verifica el teorema para grupos abelianos libres de rango menor que n.
Sea e1 , . . . , en la base canónica de A. Sean A1 = ⟨e1 , . . . , en−1 ⟩ y B1 = B ∩ A1 . Obviamente,
A1 es libre de rango n − 1, y por la hipótesis de inducción B1 es libre de rango ≤ n − 1. Sea
f : A → Z el homomorfismo dado por f (x1 , . . . , xn ) = xn , sea C = f (B) y sea g : B → C
la restricción de f a B. Entonces C es un grupo abeliano libre de rango ≤ 1 y Ker g = B1 .
Del Corolario 7.20 se deduce que B = B1 ⊕ C1 , donde C1 es un subgrupo de B isomorfo a C.
Aplicando la Proposición 7.17 se deduce que B es libre de rango menor o igual que n.
Dejamos que el lector compruebe algunas propiedades elementales de los conceptos recién
definidos, y en particular las relaciones entre ellos.
(8) Si A es libre de torsión entonces cualquier subgrupo B es también libre de torsión; ¿lo es
A/B?
(2) El grupo Q/Z es de torsión, pues cada ab + Z es anulado por b ̸= 0. Además este grupo
tiene periodo 0, pues dado n ̸= 0 en Z se tiene n( p1 + Z) ̸= 0, donde p es cualquier primo
que no divide a n. Esto nos da un contraejemplo para los recı́procos de los apartados 3
y 5.
(3) Existen grupos abelianos libres de torsión que no son libres; por ejemplo Q (cualquier
subconjunto linealmente independiente tiene un solo elemento, y por tanto no es un
sistema generador). Esto nos da un contraejemplo para el recı́proco del apartado 4.
(4) Existen grupos abelianos que no son de torsión ni libres de torsión; por ejemplo, Q∗ , R∗
ó C∗ .
(7) Sea z ∈ C∗ . Si r = |z| entonces se tiene z = reαi = r(cos α + i sen α), donde α es
el argumento de z. Entonces z n = rn enαi , con lo que z n = 1 precisamente si r = 1 y
nα = 2kπ para algún k ∈ Z. Por tanto
O sea, t(C ∗ ) está formado por los vértices de los polı́gonos regulares centrados en el
origen con un vértice en el punto 1 (el lector puede representar gráficamente, por ejemplo,
todos los elementos de orden ≤ 10.) Obsérvese que la aplicación f : Q → C∗ dada por
f (q) = e2πqi es un homomorfismo de grupos tal que t(C ∗ ) = Im f y Ker f = Z, con lo
que t(C ∗ ) ∼
= Q/Z.
Los siguientes tres resultados nos dicen que, para grupos abelianos finitamente generados,
todo lo relativo a la torsión se simplifica: Ser de torsión equivale a ser finito, ser libre de torsión
equivale a ser libre y el subgrupo de torsión es un sumando directo1 .
Proposición 7.25 Las condiciones siguientes son equivalentes para un grupo abeliano finita-
mente generado A:
(1) A es finito.
(2) p(A) ̸= 0.
(3) A es de torsión.
Demostración. Por el Ejercicio 7.23, basta ver que 3 implica 1. Supongamos pues que A es de
torsión, con un sistema generador {a1 , . . . , ak }, y sea ni = o(ai ) < ∞. Obviamente, la familia
de los elementos de A de la forma r1 a1 + · · · + rk ak con 0 ≤ ri < ni para cada i = 1, . . . , k, es
finita (tal vez incluso se repitan elementos), y las condiciones implican que cada elemento de
A es uno de esos, luego A es un conjunto finito.
Demostración. Todo grupo libre es libre de torsión, por el Ejercicio 7.23. Sea A un grupo
abeliano finitamente generado y libre de torsión. Sea X = {a1 , . . . , an } un conjunto de gener-
adores de A. Entre todos los subconjuntos de X que sean linealmente independientes elegimos
uno maximal Y ; podemos suponer, reordenando los ai si es necesario, que Y = {a1 , . . . , ak }.
Sea L = ⟨Y ⟩, que claramente es libre.
Sea i ∈ {k + 1, k + 2, . . . , n}. Por la maximalidad de Y , el conjunto {a1 , . . . , ak , ai } es
linealmente dependiente, luego hay una relación
ti1 a1 + · · · + tik ak + ti ai = 0
1
Existen
Q grupos abelianos A tales que t(A) no es un sumando directo de A. Un ejemplo de esta situación es
el grupo p Zp del apartado 6 de los Ejemplos 7.24, pero no es sencillo comprobar esta propiedad.
7.3. GRUPOS DE TORSIÓN Y LIBRES DE TORSIÓN 119
donde los coeficientes son enteros, no todos nulos. Como Y es linealmente independiente,
se tiene ti ̸= 0. Sea t = tk+1 · · · tn . Entonces cada tai ∈ L y la aplicación a 7→ ta es un
homomorfismo de grupos f : A → L. Como A es libre de torsión y t ̸= 0, la aplicación f es
inyectiva y, por tanto A es isomorfo a un subgrupo de L. Del Teorema 7.21 se deduce que A
es libre.
Corolario 7.27 Sea A un grupo abeliano finitamente generado. Entonces A = t(A) ⊕ L para
un subgrupo abeliano libre L de A. Además t(A) es finito y L es isomorfo a A/t(A), y por
tanto L es único salvo isomorfismos.
(3) Sea G el subgrupo de C∗ generado por {2, i}. Por los Ejemplos 7.24, si z = 2n im ∈ t(G)
(con n, m ∈ Z), entonces 1 = |z| = 2n , lo que implica que n = 0. O sea t(G) = ⟨i⟩. Como
⟨2⟩ es libre de torsión, G = ⟨2⟩ ⊕ ⟨i⟩ es la descomposición del Corolario 7.27.
(4) Sea R un anillo. En el anillo cociente R[X]/(X 2 ), es claro que cada elemento tiene un
único representante de la forma r+sX con r, s ∈ R. Dados r+sX +(X 2 ) y r′ +s′ X +(X 2 )
en R[X]/(X 2 ), se tiene
[r + sX + (X 2 )] + [r′ + s′ X + (X 2 )] = (r + r′ ) + (s + s′ )X + (X 2 )
y
[r + sX + (X 2 )] · [r′ + s′ X + (X 2 )] = (rr′ ) + (rs′ + r′ s)X + (X 2 ).
Por tanto, podemos identificar R[X]/(X 2 ) con el anillo cuyo grupo abeliano subyacente
es R × R y en el que el producto viene dado por
(2) Por el Corolario 7.15 y el Teorema 7.26, Z es, salvo isomorfismos, el único grupo abeliano
libre de torsión y finitamente generado que es indescomponible.
(4) Sean n, m ≥ 2 dos enteros coprimos; por el Teorema Chino de los Restos se tiene Znm ∼ =
Zn × Zm , por lo que Znm no es indescomponible (recuérdese la relación entre entre suma
directa y producto directo descrita al final de la Sección 7.1). En consecuencia, los grupos
cı́clicos finitos indescomponibles son exactamente aquellos cuyo orden es pr para cierto
primo p y cierto entero r ≥ 1.
Proposición 7.33 Todo grupo abeliano finitamente generado y no nulo A es una suma directa
de subgrupos indescomponibles.
Demostración. Por el Corolario 7.27, y teniendo en cuenta que los grupos abelianos libres
de rango finito son sumas directas de copias de Z (Teorema 7.26) y que los grupos abelianos
finitamente generados de torsión son finitos (Proposición 7.25), basta demostrar la afirmación
para grupos abelianos finitos. Sea A un grupo abeliano finito. Razonamos por inducción en
|A|, con el caso |A| = 2 trivial. Si A es indescomponible no hay nada que demostrar. En caso
contrario A = B ⊕ C y los cardinales de B y C son estrictamente menores que el de A. Por
hipótesis de inducción, B y C son sumas directas de grupos indescomponibles, y “pegando”
las descomposiciones de B y C como en el Ejercicio 7.5 obtenemos una descomposición de A
como suma directa de grupos indescomponibles.
En los Ejemplos 7.31 han aparecido dos tipos de grupos finitamente generados e indescom-
ponibles: Z y los cı́clicos de orden pn (Q no es finitamente generado por el Problema ?? del
Capı́tulo 4). El resto de esta sección lo dedicaremos a ver que, salvo isomorfismos, no hay
otros. Para ello, será importante considerar ciertos grupos que comparten una caracterı́stica
con Zpn , y que definimos a continuación:
122 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
Lema 7.34 Dados un grupo abeliano finito A y un entero positivo primo p, las siguientes
condiciones son equivalentes:
Definición 7.35 Un grupo abeliano finito que verifique las condiciones equivalentes del Lema 7.34
se llama un p-grupo.
Dejamos que el lector compruebe que ambos conjuntos son iguales y que forman un sub-
grupo de A. De hecho, si A es finito, tp (A) es claramente el mayor p-subgrupo de A (es decir,
el mayor subgrupo de A que es un p-grupo).
Proposición 7.37 Sea A un grupo abeliano finito y sean p1 , . . . , pk los divisores primos de
|A|. Entonces
A = tp1 (A) ⊕ · · · ⊕ tpk (A),
con cada tpi (A) ̸= 0.
Demostración. Sea a ∈ A y sea o(a) = n = pα1 1 · · · pαk k (¿por qué no pueden aparecer
otros primos en la factorización de n?). Para cada i = 1, . . . , k sea qi = n/pαi i . Es claro que
ningún primo divide a la vez a todos los qi , por lo que mcd(q1 , . . . , qk ) = 1 y por tanto existen
m1 , . . . , mk ∈ Z tales que m1 q1 + · · · + mk qk = 1. Como pαi i qi a = 0, se tiene qi a ∈ tpi (A), luego
Para ver que la suma es directa, supongamos que a1 + · · · + ak = 0 con cada ai ∈ tpi (A).
Por tanto, para cada i = 1, . . . , k, existe βi tal que pβi i ai = 0. Sea m = pβ1 1 · · · pβk k . Para cada
ı́ndice i ponemos ti = m/pβi i , de modo que ti aj = 0 cuando i ̸= j, y ası́
X
ti ai = −ti aj = 0.
j̸=i
Entonces o(ai ) divide a ti y a pβi i , y como éstos son coprimos, se tiene o(ai ) = 1 y por tanto
ai = 0. Esto prueba que la familia es independiente.
Por último, de la igualdad A = tp1 (A)⊕· · ·⊕tpk (A) se deduce que |A| = |tp1 (A)| · · · |tpk (A)|.
Como el orden de cada tpi (A) es una potencia de pi (Lema 7.34) y cada pi divide a |A|,
deducimos que ese orden es mayor que 1 y por tanto tpi (A) ̸= 0.
(1) Sea n = pα1 1 · · · pαk k una factorización prima irredundante del entero n. Por el Teo-
rema Chino de los Restos, Zn ∼ = Zpα1 1 × · · · × Zpαk y claramente los factores de esta
k
descomposición van a corresponder con los factores tp (Zn ) de la descomposición de la
Proposición 7.37. Más concretamente, si qi = n/pαi i para cada i = 1, . . . , k, entonces
qi = qi + nZ genera un grupo de orden pαi i , y por tanto tpi (Zn ) = ⟨qi ⟩.
(2) Sea A = Z∗12 ∝ Z12 (véanse los Ejemplos 7.28 para la definición de este grupo). Como
|Z∗12 | = 4 y |Z12 | = 12, se tiene |A| = 48 = 24 · 3. Usando la descripción del orden de
cada elemento que se dio en los Ejemplos 7.28, se tiene
(2) Si B = ⟨a⟩ (donde a es el del apartado anterior) entonces todo elemento del cociente
A/B tiene un representante que no baja de orden. Es decir, para todo γ ∈ A/B existe
x ∈ A tal que x + B = γ y o(x) = o(γ).
124 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
Ahora podemos caracterizar los grupos abelianos finitamente generados que son indescom-
ponibles.
Proposición 7.41 Las siguientes condiciones son equivalentes para un grupo abeliano finita-
mente generado A:
(1) A es indescomponible.
Demostración. Ya hemos observado (Ejemplos 7.31) que los grupos del apartado 2 son
indescomponibles. Supongamos pues que A es indescomponible y veamos que es isomorfo a
uno de ellos.
Por el Corolario 7.32, A es libre de torsión o de torsión. En el primer caso A es isomorfo
a Z por el Teorema 7.26 y el Corolario 7.15. Supongamos pues que A es de torsión, por lo
que debe ser un p-grupo finito (Proposición 7.25 y Corolario 7.38) y en consecuencia |A| = pn
para cierto n ≥ 1. Sólo falta demostrar que A es cı́clico, cosa que vamos a hacer por inducción
sobre n.
El caso n = 1 lo resuelve el Teorema ??. En el caso general, por el Lema 7.40, A contiene
un elemento a cuyo orden coincide con el periodo de A. Sean B = ⟨a⟩ y C = A/B. Por
la Proposición 7.33 se tiene C = C1 ⊕ · · · ⊕ Ck para ciertos C1 , . . . , Ck indescomponibles.
Por hipótesis de inducción, cada Ci es cı́clico. Es decir, existen x1 , . . . , xk ∈ A tales que
Ci = ⟨xi + B⟩ para cada i, y por el Lema 7.40 podemos suponer que o(xi ) = o(xi + B)
para cada i. Claramente A = B + ⟨x1 ⟩ + ⟨x2 ⟩ + · · · + ⟨xk ⟩. Vamos a ver que esta suma
es directa. Sean b ∈ B y m1 , . . . , mk ∈ Z tales que b + m1 x1 + · · · + mk xk = 0. Entonces
0 = m1 (x1 + B) + · · · + mk (xk + B) y, por tanto, cada mi (xi + B) = 0. De aquı́ se deduce que
mi es múltiplo de o(xi + B) = o(xi ) y por tanto mi xi = 0 y b = 0. Como A es indescomponible
y B ̸= 0, deducimos que A = B = ⟨a⟩ es cı́clico.
7.5. DESCOMPOSICIONES PRIMARIAS E INVARIANTES 125
Corolario 7.42 Todo grupo abeliano finitamente generado es suma directa de subgrupos cı́clicos
(y los que sean finitos se pueden tomar de manera que su orden sea potencia de primo).
Definición 7.43 Sea A un grupo abeliano finitamente generado. Una descomposición pri-
maria o indescomponible de A es una expresión de A como suma directa de subgrupos inde-
scomponibles. Como cada uno de estos sumandos es isomorfo a Z ó a Zpn , con p primo y
n ≥ 1, siempre podemos reordenarlos de modo que se tenga
mk
A = (⊕nj=1 Aj ) ⊕ (⊕m
j=1 A1j ) ⊕ · · · ⊕ (⊕j=1 Akj )
1
= A1 ⊕ A2 ⊕ · · · ⊕ An ⊕
A11 ⊕ A12 ⊕ · · · ⊕ A1m1 ⊕
···
Ak1 ⊕ Ak2 ⊕ · · · ⊕ Akmk
α
con p(Ai ) = 0 (es decir, Ai es cı́clico infinito) y p(Aij ) = pi ij para ciertos enteros primos
positivos p1 < p2 < · · · < pk y ciertos enteros positivos αij con αi1 ≥ αi2 ≥ · · · ≥ αimi ≥ 1
para cada i = 1, . . . , k.
Teorema 7.44 Todo grupo abeliano finitamente generado tiene una descomposición primaria.
(4) Para cada divisor primo p de |T | se calcula a ∈ tp (T ) tal que o(a) coincida con el periodo
de tp (T ) (Proposición 7.40) y pasamos a estudiar tp (T )/⟨a⟩, que tiene orden menor que
el de tp (T ). Por recurrencia vamos pasando a grupos de orden cada vez más pequeño
hasta obtener un grupo cı́clico. Volvemos para atrás siguiendo la demostración de la
Proposición 7.41 y ası́ obtendremos una descomposición primaria de tp (T ), que ocupará
una fila en la ordenación de los sumandos según la Definición 7.43.
(1) Sea A = ⟨2, i⟩ el grupo del Ejemplo 7.28. Ya vimos que t(A) = ⟨i⟩ y A = ⟨i⟩ ⊕ ⟨2⟩. Como
⟨i⟩ es cı́clico de orden 4, hemos obtenido una descomposición primaria de A.
(2) Sea A = Z∗ ∝ Z. Vimos que t(A) = ⟨(−1, 0)⟩ y A = ⟨(−1, 0)⟩ ⊕ ⟨(1, 1)⟩. Como ⟨(−1, 0)⟩
es cı́clico de orden 2, la anterior es una descomposición primaria de A.
(3) Sea A = Z∗12 ∝ Z12 . Como este grupo es finito, no hay que dar los dos primeros pasos, y
el tercero lo habı́amos dado en el Ejemplo 7.39. Claramente t3 (A) = {(1, b) : b = 0, 4, 8}
es cı́clico de orden 3, generado por (1, 4). Sin embargo t2 (A) = {(a, b) : b = 0, 3, 6, 9}
no es cı́clico ya que su cardinal es 16 y su periodo 4. Un elemento de orden 4 es (1, 3).
Pongamos
B = ⟨(1, 3)⟩ = {(1, 0), (1, 3), (1, 6), (1, 9)}
y C = A/B, que tiene orden 4. Obsérvese que x2 ∈ B para todo x ∈ t2 (A). Por tanto C = ∼
Z2 × Z2 , de donde se deduce que si C1 y C2 son dos subgrupos C de orden 2 y distintos,
entonces C = C1 ⊕ C2 es una descomposición primaria de C. Uno de estos subgrupos
puede ser ⟨(−1, 3)B⟩ (notación multiplicativa), pero como (−1, 3) no tiene orden 2 en A,
es necesario cambiarlo, como hicimos en la demostración del Lema 7.40, por otro elemento
de la misma clase módulo B que no baje el orden, por ejemplo (−1, 3)(1, 3) = (−1, 0) está
en (−1, 3)B y tiene orden 2. El otro subgrupo puede ser ⟨(5, 0)B⟩, de donde se obtiene
que C = ⟨(−1, 0)B⟩ ⊕ ⟨(5, 0)B⟩ y, por tanto,
Definición 7.46 Sea A un grupo abeliano finitamente generado. Una descomposición invari-
ante de A es una expresión del tipo
A = ⊕ni=1 Ai ,
donde cada Ai es un grupo cı́clico no trivial y se verifica p(Ai ) | p(Ai−1 ) para cada i = 2, . . . , n.
Teorema 7.48 Todo grupo abeliano finitamente generado tiene una descomposición invari-
ante.
A = A1 ⊕ A2 ⊕ · · · ⊕ An ⊕
A11 ⊕ A12 ⊕ · · · ⊕ A1m ⊕
···
Ak1 ⊕ Ak2 ⊕ · · · ⊕ Akm ,
α
donde cada sumando es cı́clico y se tiene p(Ai ) = 0 y p(Aij ) = pi ij , para ciertos primos
positivos distintos p1 , p2 , . . . , pk y ciertos enteros αij tales que, para cada i,
Los αij que valen cero se corresponden con los sumandos triviales que hemos añadido para
que, en cada fila de la descomposición de A, a partir de la segunda, haya el mismo número de
sumandos.
Para obtener la descomposición primaria basta con “agrupar los sumandos por columnas”,
a partir de la segunda fila. Explı́citamente, para cada j = 1, . . . , m, sea
Entonces
A = A1 ⊕ A2 ⊕ · · · ⊕ An ⊕ B1 ⊕ B2 ⊕ · · · ⊕ Bm
y, por el Teorema Chino de los Restos, cada Bj es cı́clico de orden dj = pα1j pα2j · · · pαmj . Como
consecuencia de las desigualdades (7.1) se tiene que dj | dj−1 para todo j = 2, . . . , n.
La demostración del Teorema 7.48 nos dice cómo se obtiene una descomposición invariante
a partir de una descomposición primaria.
A = (A1 ⊕ A2 ) ⊕ (A21 ⊕ A22 ⊕ A23 ⊕ A24 ) ⊕ (A31 ⊕ A32 ) ⊕ (A71 ⊕ A72 ⊕ A73 ),
donde Aij = ⟨aij ⟩ y los ordenes de los respectivos sumandos son (por este orden) 0,0,16,
4, 2, 2, 27, 3, 7, 7, 7. Entonces:
Entonces
A = A1 ⊕ A2 ⊕ B1 ⊕ B2 ⊕ B3 ⊕ B4 ∼
= Z × Z × Z3.024 × Z84 × Z14 × Z2
También es fácil sacar consecuencias de la demostración del Teorema 7.48 para obtener
descomposiciones primarias a partir de descomposiciones invariantes.
B31 = ⟨25a1 ⟩ ∼
= Z81 , B51 = ⟨81a1 ⟩ ∼
= Z25
∼
B32 = ⟨5a2 ⟩ = Z27 , B52 = ⟨27a2 ⟩ ∼= Z5
B33 = ⟨a4 ⟩ ∼
= Z9 .
Por supuesto, es posible descomponer un grupo abeliano finito como suma directa de sub-
grupos cı́clicos sin ajustarse a ninguno de los “formatos” de las descomposiciones primarias o
invariantes. Por ejemplo, si A = Z6 × Z3 × Z2 entonces la descomposición
no es de ninguno de esos dos tipos, aunque no es difı́cil obtener una descomposición primaria
y una invariante
A = ⟨(1, 0, 0)⟩ ⊕ ⟨(0, 1, 1)⟩ ∼
= Z6 × Z6 .
Lo importante de estas descomposiciones es que presentan buenas condiciones de unicidad.
En efecto, como vamos a ver, cualesquiera dos descomposiciones primarias de un grupo A
7.5. DESCOMPOSICIONES PRIMARIAS E INVARIANTES 129
(abeliano y finitamente generado) son “esencialmente iguales”, lo que nos permite asignarle
a un tal grupo una lista de números enteros (los periodos de los sumandos que aparecen en
una de esas descomposiciones). Otro tanto podrá decirse de las descomposiciones invariantes.
Además, estas listas de números determinan salvo isomorfismos al grupo A, en el mismo sentido
en el que la dimensión determina salvo isomorfismos a un espacio vectorial de dimensión finita.
Aunque el caso que nos ocupa es más sofisticado, en ambos somos capaces de asociar a un
objeto (grupo o espacio vectorial) una lista de números (uno sólo, la dimensión, en el caso
vectorial) de tal modo que dos objetos son isomorfos si y sólo si tienen la misma lista.
y
′ m′ m′ ′
B = (⊕nj=1 Bj ) ⊕ (⊕j=1
1
B1j ) ⊕ · · · ⊕ (⊕j=1
k
Bk′ j ),
es claro que éstas son semejantes si y sólo si n = n′ , k = k ′ , cada mi = m′i y p(Aij ) = p(Bij )
para cada posible par de ı́ndices.
′
Dos descomposiciones invariantes A = ⊕ni=1 Ai y B = ⊕ni=1 Bi son semejantes si los suman-
dos que intervienen son isomorfos dos a dos, lo que claramente equivale a que tengan el mismo
número de sumandos (n = n′ ) y las mismas listas de periodos (p(Ai ) = p(Bi ) para todo
i = 1, . . . , n).
α
una descomposición primaria de A con p(Ai ) = 0 y p(Aij ) = pi ij para ciertos enteros primos
positivos p1 < p2 < · · · < pk y ciertos enteros positivos αij con αi1 ≥ αi2 ≥ · · · ≥ αimi ≥ 1
para cada i = 1, . . . , k. Obsérvese que ⊕nj=1 Aj ∼
= A/t(A), por lo que n es el rango del grupo
130 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
libre A/t(A) y por tanto está determinado por A (no depende de la descomposición particular
elegida). Por otro lado, es claro que, para cada i = 1, . . . , k, se tiene
⊕m i
j=1 Aij = tpi (A),
por lo que estos subgrupos también están determinados por A. En consecuencia, podemos
limitarnos a demostrar la unicidad asumiendo que A es un p-grupo finito.
En esta situación, dos descomposiciones primarias de A serán de la forma
A = A1 ⊕ · · · ⊕ An = B1 ⊕ · · · ⊕ Bm ,
donde cada sumando es cı́clico y, si ponemos p(Ai ) = pαi y p(Bi ) = pβi , se tiene α1 ≥ α2 ≥
· · · ≥ αn y β1 ≥ β2 ≥ · · · ≥ βm . Vamos a ver, por inducción en i, que αi = βi para cada i.
Obsérvese que pα1 = p(A) = pβ1 , lo que resuelve el caso i = 1. Supongamos pues que
αj = βj para cada j = 1, . . . , i − 1, y veamos que αi = βi . Podemos suponer sin pérdida de
generalidad que αi ≤ βi .
Observemos lo siguiente: Sea C un grupo cı́clico de orden pr y sea s ∈ N. Se tiene ps C = 0
si y sólo si s ≥ r. Por otra parte, si s ≤ r, entonces ps C es cı́clico de orden pr−s por la
Proposición ??. En consecuencia, si ponemos q = pαi , se tiene
qA ∼
= qA1 ⊕ · · · ⊕ qAi−1
∼
= (qB1 ⊕ · · · ⊕ qBi−1 ) ⊕ (qBi ⊕ · · · ⊕ qBm ).
Como qA1 ⊕ · · · ⊕ qAi−1 y qB1 ⊕ · · · ⊕ qBi−1 tienen el mismo cardinal, deducimos que qBi ⊕
· · · ⊕ qBm = 0. En particular 0 = qBi = pαi Bi , de modo que αi ≥ βi , y por tanto αi = βi ,
como querı́amos ver.
A = ⊕ni=1 Ai (7.2)
una descomposición primaria ordenada como en la Definición 7.43. Entonces la lista (p(A1 ), . . . , p(An ))
(que no depende de la descomposición primaria elegida, por el Teorema 7.52) se conoce como
la lista de los divisores elementales de A.
Análogamente, si (7.2) es una descomposición invariante, entonces la lista (p(A1 ), . . . , p(An ))
(que tampoco depende de la descomposición invariante elegida) se conoce como la lista de los
factores invariantes de A.
En ambas listas, cada sumando cı́clico infinito aporta un 0 al principio de la lista. A
menudo se simplifica la notación escribiendo (m; p(Am+1 ), . . . , p(An )), donde m es el número
de ceros en la lista original.
(1) Si A es el grupo del primer apartado de los Ejemplos 7.49, la lista de sus divisores ele-
mentales es (2; 16, 4, 2, 2, 27, 3, 7, 7, 7), y la de sus factores invariantes es (2; 3.024, 84, 14).
7.5. DESCOMPOSICIONES PRIMARIAS E INVARIANTES 131
(2) Para el grupo Z∗ ∝ Z, las listas de divisores elementales y de factores invariantes coinci-
den, y son (0, 2). ¿Para qué tipo de grupos coinciden ambas listas?
(3) Los divisores elementales de Z∗12 ∝ Z12 son (4, 2, 2, 3), y sus factores invariantes son
(12, 2, 2).
(1) Todo grupo abeliano finitamente generado tiene una descomposición primaria y una de-
scomposición invariante.
(2) Las siguientes condiciones son equivalentes para dos grupos abelianos:
Ejemplo 7.56
(1) Demostrar que, si n ∈ Z+ es libre de cuadrados, entonces todo grupo abeliano finito de
orden n es cı́clico (y por tanto isomorfo a Zn ).
(2) Si p es un primo positivo, demostrar que, salvo isomorfismos, los únicos grupos abelianos
de orden p2 son Zp2 y Zp × Zp . Además se puede borrar “abelianos”.
(3) Describir, salvo isomorfismos, todos los grupos abelianos de órdenes 8, 12, 16, 20 y 24.
Ejemplo 7.57 Demostrar el recı́proco del Teorema de Lagrange para grupos abelianos finitos.
Es decir, demostrar que un grupo abeliano de orden n tiene un subgrupo de orden m para cada
divisor m de n.
(2) Los grupos multiplicativos Z∗15 , Z∗16 , Z∗20 , Z∗24 y Z∗30 tienen 8 elementos, por lo que han de
ser isomorfos a uno de estos tres: Z8 , Z4 × Z2 ó Z2 × Z2 × Z2 . Considerando los órdenes
de los elementos se deduce que ninguno es cı́clico, que Z∗24 es isomorfo a Z2 × Z2 × Z2 y
que los otros cuatro son isomorfos a Z4 × Z2 .
132 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
(3) Vamos a calcular todos los grupos abelianos de orden 420 salvo isomorfismos y sus de-
scomposiciones invariantes y primarias. Como 420 = 22 · 3 · 5 · 7, las posibles listas de
divisores elementales son (4, 3, 5, 7) ó (2, 2, 3, 5, 7). Por tanto, salvo isomorfismos, los
grupos abelianos de orden 420 son
A = Z4 × Z3 × Z5 × Z7 y B = Z2 × Z2 × Z3 × Z5 × Z7 .
A = Z420 y B = Z210 × Z2 .
Por el Teorema de Estructura 7.55, todo grupo abeliano finitamente generado es suma
directa de cı́clicos. Esto no es cierto para grupos abelianos en general, considérese Q; ni
siquiera para grupos abelianos de torsión, como muestra el siguiente ejemplo.
Ejemplo 7.59 Un grupo abeliano de torsión que no es suma directa de grupos cı́clicos.
Sea p un número primo. El conjunto Xp de los números racionales de la forma pmn , donde
m ∈ Z y n es un entero no negativo, es un subgrupo de Q. Además Z es un subgrupo de
Xp . Se define Zp∞ = Xp /Z. Para cada entero no negativo n, sea An el subgrupo de Zp∞
generado por an = p1n + Z. Como an tiene orden pn , entonces An es isomorfo a Zpn . Además
0 = A0 ⊂ A1 ⊂ A2 ⊂ · · · y ∪n∈N An = Zp∞ .
Vamos a ver que todo subgrupo propio H de Zp∞ es igual a An para algún n ∈ N. El
conjunto de los números naturales n tales que an ∈ H está acotado (¿por qué?). Sea n el
máximo de dicho conjunto. Entonces An ⊆ H. Si pmt + Z ∈ H, con mcd(m, p) = 1, entonces
existen x, y ∈ Z tales que xm + ypt = 1. Luego at = p1t + Z = x pmt + y + Z = x( pmt + Z) ∈ H, y
por tanto t ≤ n, de donde se concluye que pmt + Z = mpn−t an ∈ An . Deducimos que H = An ,
como querı́amos.
La conclusión final es que Zp∞ es indescomponible y, como no es cı́clico, tampoco es suma
directa de grupos cı́clicos.
Estas igualdades se llaman “relaciones” entre los generadores a1 , . . . , an del grupo L/S. Es
decir, los ai son generadores “libres” (linealmente independientes, sin relaciones no triviales)
cuando los vemos en L, pero satisfacen ciertas relaciones en el cociente L/S.
7.6. PRESENTACIONES POR GENERADORES Y RELACIONES 133
Por la Proposición 7.16, todo grupo abeliano finitamente generado A es isomorfo a uno de
la forma recién descrita, y de hecho es usual encontrar grupos abelianos dados de esa manera.
Dados L y S en la situación anterior y tales que A ∼= L/S, escribiremos
A = ⟨a1 , . . . , an | r1 , . . . , rm ⟩,
Como consecuencia, las presentaciones en las que cada relación es un múltiplo entero de
un generador nos permiten ver al grupo en cuestión como suma directa de cı́clicos de modo
inmediato. Explı́citamente, el hecho de que A tenga una presentación del tipo
A = ⟨a1 , . . . , ar | d1 a1 , . . . , ds as ⟩
A∼
= Zd1 × · · · × Zds × Z × · · · × Z,
con r − s factores iguales a Z, y podemos eliminar los factores con di = 1. Por ejemplo, las
siguientes son varias expresiones por generadores y relaciones de grupos abelianos finitamente
generados:
Un grupo puede tener diversas presentaciones. Por ejemplo, Z = ⟨a⟩ = ⟨a, b | b⟩ o, utilizando
el Teorema Chino de los Restos, Z2 ⊕ Z3 = ⟨a, b | 2a, 3b⟩ = ⟨c | 6c⟩. En esta sección veremos
cómo conseguir, a partir de una presentación por generadores y relaciones de un grupo abeliano
finitamente generado A, otras presentaciones más manejables, con el objetivo último de obtener
una presentación del tipo ⟨a1 , . . . , ar | d1 a1 , . . . , ds as ⟩ con d1 | d2 | · · · | ds , lo que nos dará la
descomposición invariante de A.
La segunda herramienta básica para la manipulación de las presentaciones es:
Ejemplo 7.61 Sean a1 , a2 , . . . , an elementos de un grupo abeliano A. Si, o bien a′1 = a1 + ta2 ,
donde t ∈ Z, o bien a′1 = −a1 , entonces:
(1) ⟨a1 , a2 , . . . , an ⟩ = ⟨a′1 , a2 , . . . , an ⟩.
134 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
En lo que sigue vemos cómo las ideas usadas en el Ejemplo 7.62 son suficientes para simpli-
ficar cualquier presentación. Lo primero que haremos será adoptar una notación matricial para
las presentaciones que las hace más manejables. Supongamos que partimos de una expresión
de un grupo por generadores y relaciones A = ⟨a1 , . . . , an | r1 , . . . , rm ⟩, donde las relaciones
vienen dadas por las combinaciones lineales
Lema 7.63 Si K es una matriz de números enteros y K ′ es una matriz obtenida a partir de
K mediante una de las operaciones que siguen, entonces los grupos asociados a K y K ′ son
isomorfos.
7.6. PRESENTACIONES POR GENERADORES Y RELACIONES 135
Demostración. Con la notación L/S que venimos usando, las operaciones en las filas se
traducen en manipulaciones de los generadores de S (o sea, de las relaciones en L/S) que no
afectan al subgrupo: quitar un generador nulo, reordenar los generadores, sustituir uno por su
opuesto, o sumarle a uno un múltiplo de otro.
Vemos ahora que la operación C3 no afecta a L ni a S, y dejamos que el lector analice por
qué son también admisibles las operaciones de los tipos C1 y C2. Supongamos, para simplificar,
que la operación es C1 + tC2 . Si {a1 , . . . , an } es la base de L y ponemos a′2 = a2 − ta1 , entonces
{a1 , a′2 , . . . , an } también es base de L. Si la matriz de partida es (kij ) entonces el generador ri
es
ri = ki1 a1 + ki2 a2 + ki3 a3 + · · · + kin an
= ki1 a1 + ki2 (a′2 + ta1 ) + ki3 a3 + · · · + kin an
= (ki1 + tki2 )a1 + ki2 a′2 + ki3 a3 + · · · + kin an ,
por lo que la matriz obtenida al aplicar C3 representa a los mismos generadores de S, aunque
expresados en una base distinta. En conclusión, la operación C3 no supone ningún cambio en
L ni en S.
A continuación describimos un método para pasar, mediante operaciones de los tipos an-
teriores, de una matriz cualquiera con coeficientes enteros a una matriz del tipo (7.4) en la
que d1 | d2 | · · · | dm . Cada vez que hablemos de “la matriz K” nos estaremos refiriendo a la
última matriz obtenida a partir de la inicial mediante las operaciones que se hayan descrito.
Comencemos notando el siguiente hecho: Sea a una entrada no nula de K con el menor
valor absoluto (podemos suponer que a > 0, cambiando si hace falta el signo de su fila), y
supongamos que a no divide a todas las entradas de K. Entonces podemos transformar K hasta
hacer aparecer una entrada r con 0 < r < a. Para ello, comenzamos haciendo operaciones F1
y C1 para poner a en la entrada (1, 1); este paso lo damos sólo por comodidad en la notación.
Supongamos que a no divide a cierta entrada de la primera fila, digamos k1j (con j ̸= 1).
Dividiendo con resto, encontramos q, r ∈ Z con 0 < r < a y k1j = aq + r. Entonces la
operación Cj − qC1 nos da una matriz con r en la entrada (1, j), como querı́amos. Si a no
divide a una entrada de la primera columna procedemos de modo análogo, operando esta vez
136 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
por filas. Podemos pues suponer que a divide a todas las entradas de la primera fila y a todas
las de la primera columna, pero no divide a cierto kij con i, j ̸= 1. Por hipótesis, existen
enteros b y c tales que k1j = ba y ki1 = ca. Haciendo primero la operación Fi − cF1 (para
poner un 0 en la entrada (i, 1)) y después la operación F1 − Fi , obtenemos una matriz con a
en la entrada (1, 1) y ba + bca − kij en la entrada (1, j). Como a no divide a esta entrada de
la primera fila, procedemos como al principio de este párrafo para obtener una entrada r con
0 < r < a.
Como el valor absoluto no puede bajar indefinidamente, repitiendo el proceso anterior
llegará un momento en el que K tendrá una entrada a > 0 que dividirá al resto de entradas de
K, y podemos llevar a hasta el lugar (1, 1). Ponemos entonces ceros en el resto de los lugares
(i, 1) de la primera columna: Tomamos q ∈ Z tal que ki1 = qa y hacemos la operación Fi − qF1 .
Hecho esto, podemos cambiar todas las entradas de la primera fila, excepto la (1, 1), por ceros
(¿por qué?).
Hemos llegado pues a una matriz de la forma
a 0 ··· 0
0 b22 · · · b2n
.. .. .. ..
. . . .
0 bm2 · · · bmn
en la que a es positivo y divide a cada bij . A partir de ahora no haremos operaciones con
la primera fila ni con la primera columna, por lo que ni a ni los ceros de esos lugares van a
variar. De hecho, podemos eliminar esa fila y esa columna de la matriz y “apuntar” el valor de
a (incluso olvidarlo, si a = 1). Además, las operaciones que podemos hacer no van a cambiar
el hecho de que todas las entradas que se obtengan sean múltiplos de a (¿por qué?). Pues bien,
procediendo con la submatriz (bij ) como se acaba de describir, podremos llegar a una matriz
del tipo
a 0 0 ··· 0
0 b 0 · · · 0
0 0 c33 · · · c3n
.. .. .. . . ..
. . . . .
0 0 cm3 · · · cmn
en la que a divide a b y b divide a los cij . Continuando de este modo, y eliminando las filas de
ceros que puedan aparecer, conseguiremos la matriz que buscamos. Por supuesto, el proceso
se puede simplificar por procedimientos heurı́sticos.
4a + 13b + 3e + f = 0
5a − 7b + 6c + − f = 0
3a + 3b + 3d + = 0
3a + 6b + 3e = 0
a + 7b + f = 0
7.6. PRESENTACIONES POR GENERADORES Y RELACIONES 137
En este ejemplo veremos que no es necesario seguir estrictamente los pasos descritos
anteriormente. Por ejemplo, el papel que antes ha representado la entrada de arriba a la
izquierda lo asumirá ahora la entrada de abajo a la derecha. Observamos que la primera
fila es combinación lineal de las dos últimas. Luego, restando a la primera la suma de
las dos últimas (lo que representaremos por F1 − F4 − F5 ) obtenemos:
0 0 0 0 0 0
5 −7 6 0 0 −1
3 3 0 3 0 0
.
3 6 0 0 3 0
1 7 0 0 0 1
1 7 0 0 0 1 0 0 0 0 0 1
Podemos eliminar la última fila y última columna, y haciendo entonces (con la nueva
numeración) C1 − C3 − C4 − C5 y C2 − C4 − 2C5 , obtenemos por fin la matriz
0 0 6 0 0
0 0 0 3 0 ,
0 0 0 0 3
(2) Sea A un grupo abeliano con matriz de generadores y relaciones dada por
0 12 24 0
4 10 12 6
4 8 0 4
Es claro que, por más que operemos, las entradas van a ser siempre pares. Por otra parte,
no es difı́cil conseguir que una sea 2, por ejemplo, haciendo F2 − F3 (escriba el lector las
138 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
matrices que se van obteniendo). De los dos “2” que aparecen, el más cómodo es de la
última columna. Podemos poner ceros en el resto de esa columna haciendo F3 − 2F2 ,
siguiendo el método descrito, pero es más fácil hacer C4 − C1 . Ahora podemos poner
ceros en la segunda fila, haciendo C2 − C4 y C3 − 6C4 . Pasando entonces la primera fila
al último lugar, y pasando después la última columna al primer lugar, habremos puesto
el 2 en la entrada (1, 1). Haciendo entonces, sucesivamente, C3 − 2C2 y C4 − 2C3 , se
obtiene por fin
2 0 0 0
0 4 0 0 ,
0 0 12 0
por lo que A ∼= Z2 × Z4 × Z12 × Z.
(1) Sea f : A → B un isomorfismo entre dos grupos abelianos. Demostrar (hasta aburrirse)
que:
(2) Sea A un grupo abeliano libre de rango n. Decidir sobre la verdad o falsedad de las
siguientes afirmaciones:
(5) Determinar
√ el subgrupo de torsión del grupo de las unidades de los anillos Z, R, C, Z[i]
y Z[ 2].
7.6. PRESENTACIONES POR GENERADORES Y RELACIONES 139
(6) Sea P un polinomio mónico de Z[X] de grado n. Demostrar que el grupo aditivo de
Z[X]/(P ) es libre de rango n. ¿Puede fallar el resultado si P no es mónico?
(10) Para un grupo abeliano arbitrario A, demostrar que la familia {tp (A)}, donde p recorre
el conjunto de todos los enteros primos positivos, es independiente, y que su suma directa
es t(A).
(11) Demostrar que tp (Q/Z) es el subgrupo Zp∞ del Ejemplo 7.59, y que Q/Z = ⊕p Zp∞ ,
donde p recorre el conjunto de todos los enteros primos positivos.
(13) Encontrar bases para los siguientes subgrupos de grupos abelianos libres:
(a) ⟨3a, 4b, 6a + 2b⟩, siendo a, b generadores de un grupo abeliano libre de rango 2.
(b) ⟨x+2y +4z, 3x+6y +12z, −12x−24y −48z, −2x+y +7z⟩, siendo x, y, z generadores
de un grupo libre de rango 3.
(15) Calcular las descomposiciones primaria e invariante de los siguientes grupos abelianos:
(16) Clasificar el grupo abeliano presentado por los generadores y relaciones dados:
7a + 8b + 9c = 0
4a + 5b + 6c = 0
a + 2b + 3c = 0
140 CAPÍTULO 7. GRUPOS ABELIANOS FINITOS
a − 7b − 21c + 14d = 0
5a − 7b − 2c + 10d − 15e = 0
3a − 3b − 2c + 6d − 9e = 0
a − b + 2d − 3e = 0
(17) Encontrar todos los grupos abelianos, salvo isomorfismos, de órdenes 30, 60, 72, 90,
180, 360, 720 y 1830, calculando para cada uno de ellos las descomposiciones primaria e
invariante.
(18) Determinar salvo isomorfismos todos los grupos abelianos de orden ≤ 30 y dar la lista
de sus divisores elementales y factores invariantes.
(19) Demostrar que la lista de factores invariantes de Zn ⊕Zm es (nm) ó (mcm(n, m), mcd(n, m)).
(20) Demostrar que si A es un p-grupo abeliano que es la suma directa de n grupos cı́clicos
no nulos, entonces la ecuación px = 0 tiene exactamente pn soluciones.
(21) Sea G un p-grupo abeliano finito en el que la ecuación px = 0 tiene a lo sumo p soluciones.
Demostrar que G es cı́clico. Demostrar que también es cı́clico un grupo abeliano finito
(no necesariamente un p-grupo) en el que la ecuación px = 0 tenga a lo sumo p soluciones
para todo primo p.
(22) Resolver el Problema 32 del Capı́tulo 4 usando los resultados de este capı́tulo.
(23) Del Ejercicio 7.57 se deduce que, si G es un grupo abeliano finito y p es un divisor primo
de |G|, entonces G contiene un elemento de orden p. Demostrar que este resultado sigue
siendo válido si G no es abeliano. Éste es el Teorema de Cauchy que demostraremos en
el capı́tulo siguiente con otros métodos. (Indicación: Usar el Ejercicio 7.57, la Ecuación
de Clases e inducción en |G|.)
(24) Sea p primo. Demostrar que si G es un grupo abeliano finito en el que todo elemento no
nulo tiene orden p, entonces G ∼
= Znp para algún n.
(25) Demostrar que todo grupo abeliano finito no cı́clico contiene un subgrupo isomorfo a
Zp × Zp para algún primo p.
(26) Sea B un subgrupo de un grupo abeliano finito A. Demostrar que A contiene un subgrupo
isomorfo a A/B. ¿Es cierto el resultado si A es infinito?
(27) Sea A un grupo abeliano finito y sea a un elemento de A orden máximo. Demostrar que
⟨a⟩ es un sumando directo de A.
(28) Se pide:
(a) Encontrar un número natural n tal que existan exactamente 5 grupos abelianos de
orden n salvo isomorfismos.
7.6. PRESENTACIONES POR GENERADORES Y RELACIONES 141
(b) [*] Encontrar todos los números naturales n tales que, salvo isomorfismos, existen
exactamente 6 grupos abelianos de orden n.
(c) [*] Demostrar que para ningún número natural n hay exactamente 13 grupos
abelianos de orden n salvo isomorfismos.
(29) [*] Un subgrupo propio H de un grupo G que no está contenido en ningún otro subgrupo
propio de G se dice que es maximal (en G). Para un grupo abeliano finito A, demostrar:
(30) Sea G el grupo abeliano definido por los generadores g1 , . . . , gn y las relaciones nj=1 aij gi =
P
0 (i = 1, . . . , n), con aij ∈ Z. Demostrar que G es finito precisamente si el determinante
de la matriz (aij ) es diferente de 0 y que, en tal caso, el orden de G coincide con el valor
absoluto de dicho determinante.
Index
142
INDEX 143
de cocientes, 28 infinito, 96
de fracciones, 28 cociente, 75
de funciones racionales, 29 conmutativo, 69
cı́clico, 71, 72
derivada (de un polinomio), 47 de cuaterniones, 83
n-ésima, 47 de permutaciones, 70
DFU (dominio de factorización única), 33 de unidades de un anillo, 70
DIP (dominio de ideales principales), 33 diédrico, 71
divide, 31 simple, 94
divisor, 31 simétrico, 70
divisor de cero, 10, 26 grupos
dominio, 25 isomorfos, 76
de factorización, 33
de factorización única, 33 homomorfismo
de ideales principales, 33 de anillos, 19
de integridad, 25 de cuerpos, 27
euclı́deo, 39 de evaluación, 43
de grupos, 8, 76
Ecuación de Clases, 82
de reducción de coeficientes, 44
elemento
de sustitución, 21, 43
cambiado por una permutación, 87
trivial (de anillos), 20
divisor de cero, 26
trivial (de grupos), 77
fijado por una permutación, 87
homomorfismo de semigrupos, 8
neutro (de un grupo), 69
primo, 32 ideal, 15
elementos cero, 16
coprimos, 37 generado, 16
endomorfismo
impropio, 16
de un anillo, 19
maximal, 26
de un grupo, 76
primo, 26
estabilizador, 81, 86
principal, 16
factorizaciones equivalentes, 33 propio, 16
factorización trivial, 16
en irreducibles, 33 identidad
función de Bezout, 37
euclı́dea, 39 imagen
de un homomorfismo
grado, 11 de anillos, 21
de un monomio, 58 de grupos, 76
de un polinomio, 41 indeterminada, 11, 56
grupo, 5, 69 ı́ndice, 74
abeliano, 5, 69 inducida
aditivo de un anillo, 70 operación, 8
alternado, 92 interpolación
144 INDEX
de Lagrange, 65 p-grupo, 82
inversión (presentada por una permutación), par (permutación), 91
91 permutaciones disjuntas, 87
inverso permutación, 33
en un anillo, 10 impar, 91
invertible, 5 par, 91
en un anillo, 10 polinomio
irreducible, 32 ciclotómico, 56
isomorfismo constante, 15
de anillos, 21 cuadrático, 41
de grupos, 76 cúbico, 41
en n indeterminadas, 56
Lema en una indeterminada, 11
de Gauss, 51 homogéneo, 59
libre de cuadrados lineal, 41
número entero–, 35 mónico, 41
primitivo, 51
máximo común divisor, 37 simétrico, 59
método de Kronecker, 67 polinomios simétricos
mı́nimo común múltiplo, 37 elementales, 60
monoide, 5 primo
monomio, 57 elemento -, 32
multiplicidad ideal, 26
de una raı́z en un polinomio, 45 propiedad universal
múltiplo, 31 de los anillos de polinomios
en una indeterminada, 42
neutro, 5 en varias indeterminadas, 57
por la derecha, 5 del cuerpo de fracciones, 29
por la izquierda, 5 proyección
normalizador, 82 canónica, 20, 77
núcleo en una coordenada, 20
de un homomorfismo prueba, 3
de anillos, 21 PUAP, 42, 57
de grupos, 76
raı́z
de un polinomio, 45
operación
múltiple (de un polinomio), 45
asociativa, 5
simple (de un polinomio), 45
conmutativa, 5
regular, 10, 25
inducida, 8
resto
operación binaria, 5
de una división, 45
opuesto, 10
Ruffini
órbita, 81, 86
regla de –, 65
orden
de un grupo, 74 semigrupo, 5
INDEX 145
Teorema
chino de los restos
para anillos, 24
para grupos, 80
recı́proco del –, 36
de Abel, 94
de acotación de raı́ces, 46
de Cauchy, 86
de estructura de los grupos abelianos
finitos, 80
de la correspondencia
para anillos, 18
para grupos, 75
de Lagrange, 74
recı́proco del –, 93
de Ruffini, 45
de Wilson, 65
del Resto, 45
Teoremas
de isomorfı́a
para anillos, 22