lgebra Bsica

Departamento de lgebra
II
ndice general
1. Lenguaje y Matemticas 1
1.1. Introduccin a la lgica proposicional . . . . . . . . . . . . . . . 1
1.2. Cuanticadores universales y existenciales . . . . . . . . . . . . . 5
1.3. Demostraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4. Los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . 9
2. Enteros 17
2.1. Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2. Algoritmo de Euclides. Identidad de Bezout . . . . . . . . . . . . 20
2.3. Clases de congruencias mdulo m. . . . . . . . . . . . . . . . . . 29
2.4. Los teoremas de Fermat y Euler . . . . . . . . . . . . . . . . . . 31
3. Polinomios 35
3.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2. Mximo comn divisor . . . . . . . . . . . . . . . . . . . . . . . 40
3.3. Factorizacin. Factores mltiples . . . . . . . . . . . . . . . . . . 46
3.4. Congruencias. Teorema chino del resto . . . . . . . . . . . . . . . 49
3.5. Factorizacin en C[x] y en R[x] . . . . . . . . . . . . . . . . . . 52
3.6. Factorizacin en Q[x] . . . . . . . . . . . . . . . . . . . . . . . . 54
3.7. Factorizacin en F
p
[x] . . . . . . . . . . . . . . . . . . . . . . . 60
3.8. Factorizacin efectiva en Q[x] y F
p
[x]* . . . . . . . . . . . . . . 62
3.9. El teorema fundamental del lgebra* . . . . . . . . . . . . . . . . 68
4. Conjuntos 73
4.1. Conjuntos. Operaciones bsicas . . . . . . . . . . . . . . . . . . 73
4.2. Producto cartesiano. Relaciones de equivalencia. . . . . . . . . . 84
4.3. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5. Grupos 99
5.1. Grupos: Deniciones y ejemplos. . . . . . . . . . . . . . . . . . . 99
5.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
III
5.3. Orden de un elemento de un grupo . . . . . . . . . . . . . . . . . 105
5.4. Grupos cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.5. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . 110
5.6. Subgrupos normales. Grupo cociente y grupo producto . . . . . . 113
5.7. Homomorsmos de grupos . . . . . . . . . . . . . . . . . . . . . 116
5.8. Teoremas de isomorfa . . . . . . . . . . . . . . . . . . . . . . . 119
5.9. El grupo de las permutaciones . . . . . . . . . . . . . . . . . . . 122
6. Anillos y cuerpos 131
6.1. Anillos (I): Unidades y divisores de cero . . . . . . . . . . . . . . 131
6.2. Anillos (II): Ideales . . . . . . . . . . . . . . . . . . . . . . . . . 134
6.3. Cuerpo de fracciones. Caracterstica . . . . . . . . . . . . . . . . 137
6.4. Eplogo: El problema de la factorizacin . . . . . . . . . . . . . . 140

Nota: las subsecciones con asterisco son opcionales.

IV
Captulo 1
Lenguaje y Matemticas
Antes de comenzar decir que supondremos que todos sabemos qu son los
nmeros (naturales, enteros, racionales y reales), y que conocemos las propieda-
des elementales de la suma y el producto de nmeros (asociativa, conmutativa,
distributiva,..). La notacin que usaremos a lo largo de estas notas ser:
Los nmeros naturales, N.
Los nmeros enteros, Z.
Los nmeros racionales, Q.
Los nmeros reales, R.
El cero, 0, no se considera un nmero natural
1.1. Introduccin a la lgica proposicional
En este tema trataremos de desarrollar el uso del lenguaje en el contexto de
las matemticas. A lo largo del mismo, por una proposicin o sentencia lgica
entenderemos una declaracin que puede ser verdadera o falsa. Por ejemplo:
1) Hoy es lunes.
2) 3 es mayor que 7.
3) He nacido en Sevilla.
En los tres ejemplos es claro (aunque el 3 sea ms complicado comprobarlo)
que la declaracin correspondiente es verdadera o falsa. sta es la caracterstica
fundamental de las proposiciones. La siguiente declaracin (paradoja) esta frase
es falsa"no puede ser ni verdadera ni falsa, por tanto no la consideraremos como
proposicin.
Otros ejemplos de declaraciones que no son proposiciones son:
1
1) El color azul es bonito.
2) n es un nmero par.
3) Quin ha llegado?
Consideremos el conjunto P de todas la proposiciones posibles. Este conjunto
est dividido en dos partes: las proposiciones que son verdaderas y las proposi-
ciones que son falsas. Lo que pretendemos ver ahora es cmo podemos combinar
proposiciones para obtener otras nuevas y, adems, estudiar cmo se traduce la
veracidad o falsedad de las proposiciones combinadas en la proposicin resultan-
te. Generalmente usaremos las letras p, q, r, ... para representar las proposiciones.
Por ejemplo
p : hoy es lunes.
Negacin
Dada una proposicin p, denimos la proposicin p (no p) co-
mo la proposicin que es falsa cuando p es verdadera, y verdadera
si p es falsa.
Esta denicin se puede ilustrar en su tabla de verdad
p p
V F
F V
Conjuncin
Dadas dos proposiciones p y q, denimos p q ( p y q) como
la proposicin que es verdadera slo cuando ambas, p y q, son
verdaderas.
Su tabla de verdad es:
p q p q
V V V
V F F
F V F
F F F
2
Disyuncin
Dadas dos proposiciones p y q, denimos la proposicin p
q ( p o q) como aqulla que es verdadera cuando una o ambas
proposiciones son verdaderas.
Su tabla de verdad es:
p q p q
V V V
V F V
F V V
F F F
Implicacin
Dadas dos proposiciones p y q, denimos la proposicin p
q ( p implica q) como la proposicin que es falsa cuando p es
verdadera y q falsa, y verdadera en los dems casos. Llamaremos
a p la hiptesis y a q la conclusin.
Su tabla de verdad es:
p q p q
V V V
V F F
F V V
F F V
Ya podemos construir todo tipo de proposiciones, y sus tablas de verdad. Por
ejemplo, la tabla de verdad de la proposicin p q es
p q p q
V V V
V F F
F V V
F F V
Otro ejemplo algo ms complicado: la tabla de verdad de (p q) r
3
p q r p q (p q) r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
Se observa que las tablas de verdad de la implicacin y del primer ejemplo
coinciden.
Denicin 1.1.1. Diremos que dos proposiciones son lgicamente equivalentes si
tienen la misma tabla de verdad.
Ejemplo 1.1.2. Los siguientes pares de proposiciones son lgicamente equivalen-
tes:
a) p (q r), (p q) (p r) (propiedad distributiva)
b) p (q r), (p q) r (propiedad asociativa)
Tautologa
Diremos que una proposicin es una tautologa si los valores de
su tabla de verdad son todos verdaderos.
Por ejemplo p p. La negacin de una tautologa se denomina contradic-
cin. Es decir, una contradiccin es una proposicin en cuya tabla de verdad slo
aparece el valor falso. Por ejemplo p p.
Denicin 1.1.3. Dadas dos proposiciones p y q denimos la proposicin p q
( p s y slo si q) como la proposicin que es verdadera cuando p y q son ambas
verdaderas ambas falsas.
Su tabla de verdad es:
p q p q
V V V
V F F
F V F
F F V
4
Con esta denicin se puede comprobar que dos proposiciones p y q son
lgicamente equivalentes () si la proposicin p q es una tautologa.
Para terminar esta seccin veamos cmo acta la negacin sobre , y .
Es un fcil ejercicio comprobar que:
1) (p q) p q.
2) (p q) p q.
Estas propiedades se conocen con el nombre de las leyes de DeMorgan. Para
ver cmo acta la negacin sobre basta tener en cuenta que p q p q,
y aplicando las leyes de DeMorgan, tenemos que:
(p q) (p q) (p) q p q
1.2. Cuanticadores universales y existenciales
Comenzaremos escribiendo una proposicin de distintas formas. Por ejemplo,
sabemos (lo probaremos ms adelante) que:
la desigualdad n
2
< 2
n
es cierta para todos los nmeros naturales mayores o
iguales que 5.
Podemos expresar (escribir) esta proposicin de distintas formas:
Para todo nmero natural n, si n 5, entonces n
2
< 2
n
.
Para todo n, si n N y n 5, entonces n
2
< 2
n
.
(n)[(n N n 5) (n
2
< 2
n
)].
Cada vez que hemos escrito la proposicin, hemos aumentado el grado de
formalidad. En la ltima aparece el smbolo (para todo), que denominaremos
cuanticador universal". Veamos otro ejemplo:
Todos los elementos del conjunto B son negativos.
Para todo x B, x < 0.
(x B)(x < 0).
Para todo x, si x B, entonces x < 0.
(x)(x B x < 0).
5
La forma ms general para una proposicin conteniendo en cuanticador uni-
versal sera como sigue. Si P(x) es una propiedad expresada en trminos de x,
entonces una proposicin general con el cuanticador universal sera:
(x)(P(x)),
que leeramos: para todo x, P(x).
Volvamos al primer ejemplo. Sabemos que la desigualdad n
2
< 2
n
es cierta si
n 5, pero no lo es si 2 n 4. Es decir, sabemos que
Existe un nmero natural n tal que n
2
2
n
.
Existe n tal que n N y n
2
2
n
.
(n)(n N n
2
2
n
).
El smbolo se lee como existe y se denomina cuanticador existencial.
Otro ejemplo:
Algn elemento del conjunto B es positivo.
Existe x B, x > 0.
(x B)(x > 0).
Existe x tal que x B y x > 0.
(x)(x B x > 0).
Si P(x) es una propiedad expresada en trminos de x, entonces una proposi-
cin general con el cuanticador existencial sera:
(x)(P(x)),
que leeramos: existe un x tal que P(x).
Veamos un ejemplo con los dos cuanticadores:
Existe un elemento del conjunto A que es menor que todos los elementos
del conjunto B.
Existe x A tal que x < y para todo y B.
Existe x A tal que, para todo y B, x < y.
(x A)(y B)(x < y).
6
En matemticas tambin usamos el smbolo !, que signica existe un nico".
La expresin (!x)(P(x)) se lee: existe un nico x tal que P(x)". Por ejemplo:
!n N tal que n
3
= 8.
Las proposiciones con cuanticadores se niegan siguiendo las dos reglas si-
guientes:
[(x)(P(x))] (x)(P(x))
[(x)(P(x))] (x)(P(x)).
Un ejemplo con los dos cuanticadores: la negacin de ( > 0)(n N)(1/n <
) es ( > 0)(n N)(1/n ).
1.3. Demostraciones
En esta seccin veremos los cuatro tipos de demostraciones que usaremos a lo
largo de todo el curso.
Prueba directa.
Esquema:
Teorema Si p entonces q.
Demostracin: Supongamos p. Entonces [...], se tiene q.
Ejemplo.- Sea n un nmero natural. Probar que si n es impar entonces n
2
es impar.
Demostracin: Si n es impar, es de la forma n = 2k + 1. Por tanto n
2
= (2k +
1)
2
= 4k
2
+4k +1 = 2(2k
2
+2k) +1, es decir, n
2
es impar.
Prueba de una proposicin lgicamente equivalente.
Consiste en sustituir la proposicin a demostrar por otra que sea lgicamente
equivalente y tratar de probar esta ltima. Por ejemplo, si queremos probar que
p (q r) podemos usar que es lgicamente equivalente a (p q) r.
Esquema:
Teorema p (q r).
Demostracin: Supongamos p q. Entonces [...], se tiene r.
Prueba del contrarrecproco.
Es un caso particular de la anterior. Si se quiere probar p q, usamos que es
lgicamente equivalente a q p, y
Esquema:
7
Teorema p q.
Demostracin: Supongamos q. Entonces [...], se tiene p.
Ejemplo.- Sea n un nmero natural. Probar que si n
2
es impar entonces n es impar.
Demostracin: Supongamos que n es par, es decir n = 2k. Entonces n
2
= 4k
2
es
par.
Prueba por reduccin al absurdo.
Si queremos probar que p es un teorema (es verdadero), lo que queremos ver
es que p es una tautologa. Por tanto p es una contradiccin.
Esquema:
Teorema p.
Demostracin: Supongamos p. Entonces [...] FALSO. Luego es una con-
tradiccin. Se tiene p.
Ejemplo.- Proposicin (Pitgoras).-

2 no es racional.
Demostracin.- Haremos la demostracin por reduccin al absurdo. Supongamos
que

2 es racional, es decir,

2 =
m
n
, y suponemos que m y n no tienen ningn
factor comn. Elevando al cuadrado tenemos 2 = m
2
/n
2
, luego m
2
= 2n
2
. Como
m
2
es un nmero par, se deduce (probarlo) que m es par, m = 2r. Sustituyendo
tenemos 4r
2
= 2n
2
, luego 2r
2
= n
2
, de donde deducimos que n
2
, y por tanto
n, es un nmero par. Esto contradice el hecho de que m y n no tenan factores
comunes.
Contraejemplos.-
Supongamos que tenemos una proposicin y queremos saber si es verdadera
o falsa. Por ejemplo, sea P(n) una propiedad que tratamos probar que se verica
para todos los nmeros naturales n. Entonces:
Si P(n) es verdadera, tenemos que dar una prueba general.
Si P(n) es falsa, basta dar un valor de n en el que no se verique la propie-
dad.
Ejemplo.- Si nuestra propiedad P(n) es: todo nmero impar es primo", basta
comprobar que para n = 9 no se verica la propiedad, luego es falsa.
Prueba por induccin.-
Supongamos que tratamos de probar una propiedad (un enunciado) sobre los
nmeros naturales n n
0
, para un n
0
dado. Si denotamos por P(n) dicha propie-
dad, la prueba por induccin funciona de la siguiente manera:
1) Probar que P(n
0
) es cierta
8
2) Suponer que P(n) es cierta (hiptesis de induccin)
3) Probar que P(n +1) es cierta.
El segundo paso se puede sustituir por
2) Suponer que P(k) es cierta k, n
0
k n.
Ejemplo.- n N se verica que
1 +2 + +n =
n(n +1)
2
.
Demostracin:
1) El resultado se verica para n = 1, pues 1 =
1(1+1)
2
.
2) Suponemos el resultado cierto para n, es decir, 1 +2 + +n =
n(n+1)
2
.
3) Tenemos que probar que 1 +2 + +n +(n +1) =
(n+1)(n+2)
2
. En efecto,
1+2+ +n+(n+1) = [1+2+ +n]+(n+1) =
n(n +1)
2
+(n+1) =
(n +1)(n +2)
2
.
Ejemplo.- Todo nmero natural n > 1 tiene un divisor primo.
Demostracin:
1) El resultado se verica para n = 2, pues 2 es un divisor primo de 2.
2) Suponemos el resultado cierto k, n
0
k < n.
3) Tenemos que probar que n tiene un divisor primo. Si n es primo, n es el divisor
buscado. Si n no es primo entonces n = rs, con 1 < r, s < n. Luego r (y s) tiene
un divisor primo.
1.4. Los nmeros complejos
Nmeros complejos
Un nmero complejo es un nmero de la forma a +b i , donde a
y b son nmeros reales e i es un smbolo que verica la propiedad
i
2
= 1.
Dado un complejo en forma binmica z = a +b i , el nmero real a se deno-
mina parte real de z, notado R(z), mientras que b se denomina parte imaginaria
de z, notado I(z). Dos nmeros complejos son iguales si y slo si tienen la misma
parte real y la misma parte imaginaria.
9
En C denimos las siguientes operaciones internas:
(a +b i ) +(c +d i ) = (a +c) +(b +d) i,
(a +b i )(c +d i ) = (ac bd) +(ad +bc) i,
Proposicin 1.4.1. (C, +, ) es un cuerpo.
PRUEBA: Comprobar que C con estas dos operaciones es un cuerpo es algo
tedioso. Simplemente notaremos que el elemento neutro de la suma es 0 = 0+0 i
y el neutro del producto es 1 = 1+0 i . As mismo, dado a +b i el inverso aditivo
es a +(b) i y, si es distinto de 0, el inverso multiplicativo es precisamente
a/(a
2
+b
2
) (b/(a
2
+b
2
)) i.

Nota 1.4.2. Si consideramos los nmeros complejos de la forma a + 0 i vemos

que podemos suponer R C, identicando a R con a +0 i C.
Denicin 1.4.3. Dado un nmero complejo z = a + b i , llamaremos complejo
conjugado de z, y lo notaremos z, al nmero complejo z = a b i .
La operacin de conjugacin, a pesar de su inofensivo aspecto, tiene una im-
portancia enorme, incluso en el estudio de objetos reales. Un par de propiedades
inmediatas, a partir de la denicin, son las siguientes:
z
1
+ z
2
= z
1
+ z
2
, z
1
z
2
= z
1
z
2
,
de donde a su vez se deducen
z = z, 1/z = 1/z.
Sea z C. Es fcil ver que z R si y slo si z = z.
Mdulo
Sea z = a + bi C. Llamaremos mdulo de z, denotado |z|, a
la raz cuadrada del nmero real positivo z z = a
2
+b
2
,
|z| =
_
a
2
+b
2
10
1 2 3 -3 -2 -1
1
2
3
-3
-2
-1
z=2+3i
z=2-3i -z=-2-3i
|
z
|
Figura 1.1: Representacin grca
1 2 3 -3 -2 -1
1
2
3
-3
-2
-1
z
1
=-1+2i
z
2
=3-i
z=z
1
+z
2
=2+i
Figura 1.2: Suma de complejos
11
Nota 1.4.4. La expresin del inverso multiplicativo de z resulta ms sencilla usan-
do el conjugado y el mdulo:
1
z
=
z
z

1
z
=
z
|z|
2
.
Grcamente, podemos representar C como un plano:
Forma polar o mdulo-argumento Todo nmero complejo z se puede escribir
de forma
z = |z|(a +b i ),
donde a
2
+ b
2
= 1 y, en consecuencia, existe un nico ngulo [0, 2),
llamado argumento de z, tal que
z = |z|(cos() +sen() i ).
Dos nmeros complejos, representados en forma polar, son iguales si y slo si
sus mdulos y sus argumentos son iguales.
Con esta notacin es fcil ver que para multiplicar dos nmeros complejos hay
que multiplicar sus mdulos y sumar sus argumentos. Para dividir, por tanto, se
dividen sus mdulos y se restan sus argumentos. En efecto: sean
z
1
= r
1
(cos(
1
) +i sen(
1
)), z
2
= r
2
(cos(
2
) +i sen(
2
)).
Entonces
z
1
z
2
= r
1
r
2
[(cos(
1
) +i sen(
1
))(cos(
2
) +i sen(
2
)]
= r
1
r
2
[ (cos(
1
)cos(
2
) sen(
1
)sen(
2
)) +
(cos(
1
)sen(
2
) +cos(
2
)sen(
1
)) i ]
= r
1
r
2
[cos(
1
+
2
) +i sen(
1
+
2
)] .
De aqu se obtiene la frmula de De Moivre:
Frmula de De Moivre
Para todo nmero entero n, se tiene
(cos() +i sen())
n
= cos(n) +i sen(n).
PRUEBA: Si n 0 lo probaremos por induccin. Para n = 0 se verica, pues
(cos() +i sen())
0
= 1 = cos(0) +i sen(0).
12
1 2 3 -3 -2 -1
1
2
3
-3
-2
-1
=2(cos 30 + i sen 30) z= 3+ i
r
=
|
z
|
=
2
=30
x=r cos()
y=r sen()
Figura 1.3: Forma polar
1 2 3 -3 -2 -1
1
2
3
-3
-2
-1
z
1
=2(cos 30 + i sen 30)
z
2
=3/2(cos 75 + i sen 75)
z
1
z
2
=3(cos 105 + i sen 105)
Figura 1.4: Producto
13
Supongamos que se verica para n, es decir,
(cos() +i sen())
n
= cos(n) +i sen(n).
Entonces,
(cos() +i sen())
n+1
= (cos() +i sen())
n
(cos() +i sen()) =
= (cos(n) +i sen(n)(cos() +i sen()) = cos(n +1) +i sen(n +1).
Sea ahora n < 0. Pongamos n = m. Entonces,
(cos() +i sen())
n
= (cos() +i sen())
m
=
1
(cos() +i sen())
m
=
=
1
(cos(m) +i sen(m)
= cos(m)i sen(m) = cos(m)+i sen(m) = cos(n)+i sen(n).

Forma exponencial Una variante de la forma polar se obtiene al tener en cuenta

la frmula de Euler:
e
i
= cos() +i sen().
Esto nos permite escribir un nmero complejo en la forma siguiente, denomi-
nada forma exponencial:
z = |z|e
i
.
Esta nueva forma es especialmente cmoda para expresar productos y cocien-
tes ya que slo hay que tener en cuenta las propiedades de la funcin exponencial
(para multiplicar se suman exponentes y para dividir se restan). En particular, para
potencias con exponentes enteros se tiene
z
n
= |z|
n
e
i n
.
Races n-simas de un nmero complejo Estudiemos ahora las potencias con
exponente racional de un nmero complejo. Sean z = |z|e
i
C y n un nmero
natural. Consideremos = ||e
i
=
n

z = z
1/n
una raz n-sima de z. Se tiene
que

n
= ||
n
e
i n
= |z|e
i
= z.
Por tanto,
|| =
n
_
|z| y = ( +2k)/n, con k Z.
14
De todos estos valores slo n consecutivos son distintos. Por tanto, un nmero
complejo z tiene siempre n races n-simas distintas

k
=
n
_
|z|e
i (+2k)/n
, con k = 0, 1, . . . , n 1.
Observamos que las n races n-simas tienen todas el mismo mdulo, y sus
argumentos se diferencian en 2/n cada uno del siguiente, esto es, las races n-
simas se encuentran en los vrtices de un polgono regular de n lados inscrito en
la circunferencia de centro 0 y radio
n

|z|. Como ejemplo, en la siguiente gura

podemos ver las races sextas de z = 8(cos30 +i sen30)
1 2 3
-3 -2 -1
1
2
3
-3
-2
-1
z=8(cos 30 + i sen 30)
4 5 6 7
z
1
= 2 (cos 5 + i sen 5)

z
2
= 2 (cos 65 + i sen 65)

2 (cos 125 + i sen 125)=z
3
z
6
= 2 (cos 305 + i sen 305)

2 (cos 185 + i sen 185)=z
4
2 (cos 245 + i sen 245)=z
5
Figura 1.5: Races
15
16
Captulo 2
Enteros
2.1. Divisibilidad
Antes de comenzar el tema enunciamos una propiedad de los nmeros enteros
que usaremos ms adelante:
Principio de la buena ordenacin: Todo subconjunto no vaco de Z acotado
inferiormente posee un mnimo.
Desarrollamos brevemente la teora clsica de la divisibilidad sobre los nme-
ros enteros.
Divisibilidad
Sean a, b dos enteros distintos de cero. Se dir que a divide a b si
existe c Z tal que ac = b. En este caso se escribe a|b. Tambin
se dice que b es divisible por a.
Nota 2.1.1. Dos elementos especiales de Z son 1 y 1. Para empezar, obviamente
dividen a todos los nmeros enteros. Pero adems son los nicos enteros con esta
propiedad.
Supongamos que a Z es otro entero con esta propiedad. Entonces debe
dividir a 1, luego existe b tal que ab = 1. Entonces, o bien a, b son positivos
o son negativos. Si son negativos, se pone (a)(b) = 1, con lo que se puede
suponer que ambos son positivos.
17
En este caso, si fuese a b mayor que 1 (por ejemplo a), sera a > 1 y b > 0
(luego b 1) sera ab > 1 b = b 1, luego ab > 1, lo que no puede ser. As,
a = b = 1, luego desde el principio a = 1, b = 1.
La relacin de divisibilidad verica las propiedades siguientes:
1. Propiedad reexiva: a|a. En efecto, a = 1 a.
2. Propiedad transitiva: Si a|b y b|c entonces a|c. En efecto, existen d, d

tales
que b = ad y c = bd

, luego c = add

lo que implica que a|c.

3. Si a|b y b|a entonces a = b. En efecto, existen c, c

tales que b = ac y
a = bc

. As a = acc

, luego a acc

= a(1 cc

) = 0. Como a = 0 por
denicin de divisibilidad, es 1 cc

= 0 luego cc

= 1, de donde c

= 1
y as a = b.
Por consiguiente, si nos restringimos a enteros positivos, la divisibilidad es
una relacin de orden parcial porque la propiedad 3) anterior es la propiedad anti-
simtrica: a|b y b|a a = b.
Nota 2.1.2. La divisibilidad es compatible con las operaciones aritmticas. En
concreto:
1. Si a|b y a|c entonces a|(b c). En efecto, existen d, d

Z tales que
b = ad y c = ad

. As
b c = ad ad

= a(d d

) ,
luego a|(b c).
2. Si a|b entonces a|bc, c Z. En efecto, existe d Z tal que b = ad. As
bc = adc, luego a|bc.
Veamos ahora uno de los resultados ms importantes de este tema:
Divisin eucldea
Sean a, b Z, b > 0. Existen unos enteros nicos q, r Z tales
que:
1. a = qb +r
2. 0 r < b
Al entero q se le llama el cociente de la divisin y a r el resto.
18
PRUEBA: Vamos a probar primero la existencia. Si a < b, entonces se puede
poner q = 0 y r = a. Supongamos que a b y sea q Z tal que qb a <
(q +1)b. Pongamos r = a bq; hay que demostrar que 0 r < b. Desde luego,
como a qb es a qb = r 0. Por otro lado, como a < (q +1)b, se tiene que
r = a qb < (q +1)b qb = b.
Probemos ahora la unicidad. Supongamos que existen q

, r

Z tales que a =
q

b +r

, 0 r < b. Si q q

, restando obtenemos que (q q

)b = r

r < b,
igualdad que slo se puede dar si q = q

y r = r

.
Nota 2.1.3. Este teorema se puede demostrar usando el principio de buena orde-
nacin. En efecto: sea S = {a bx | x Z y a bx 0}. S es no vaco y est
acotado inferiormente, luego posee un mnimo. Sea r = a bq 0 dicho mni-
mo. Falta ver que r < b. En caso contrario, r = b +r

, 0 r

< r. Sustituyendo
se tiene que r

= a b(q +1) S, en contra de ser r el mnimo.

Nota 2.1.4. Podemos dar una nueva denicin de divisibilidad: Sean a, b dos
enteros distintos de cero. Se dir que b divide a a si el resto de la divisin de a por
b es cero.
Nmero primo
Un entero p = 0, 1 se llama primo si y slo si es divisible
nicamente por p y 1.
Mximo comn divisor
Dados dos enteros a, b, diremos que d > 0 es un mximo comn
divisor de a y b y denotaremos d = mcd(a, b), si se verica:
1. d|a y d|b.
2. Si d

> 0 es tal que d

|a y d

|b entonces d

|d.
Si d = 1 se dice que a y b son primos entre s.
19
Mnimo comn mltiplo
Diremos que m > 0 es un mnimo comn mltiplo de a y b y
denotaremos m = mcm(a, b), si se verica:
1. a|m y b|m.
2. Si m

> 0 es tal que a|m

y b|m

entonces m|m

.
Nota 2.1.5. Por el momento no tenemos asegurada la existencia del mcd ni del
mcm de dos enteros, pero es fcil comprobar que, de existir, son nicos.
Veamos el caso del mcd. Supongamos que d y f son dos mcd de a y b. Por
ser d un mcd y vericarse que f |a, f |b, por la propiedad 2) se tiene que f |d.
Cambiando el papel de d y f , tenemos d| f , y por tanto la igualdad.
2.2. Algoritmo de Euclides. Identidad de Bezout
Veamos un procedimiento, el algoritmo de Euclides, para el clculo del mxi-
mo comn divisor.
Proposicin 2.2.1. Sean a, b Z
+
, a b, y efectuemos la divisin eucldea
a = qb +r. Entonces, si r = 0 es mcd(a, b) = b y si r = 0
mcd(a, b) = mcd(b, r).
PRUEBA: Si r = 0 es a = qb, luego mcd(a, b) = b. Si r = 0, sea
d = mcd(a, b), d

= mcd(b, r) ;
entonces d|r = a qb, luego d|d

. Por otra parte, d

|a = qb +r, luego d

|d y as
d = d

.
20
Algoritmo de Euclides
Este resultado nos permite describir el Algoritmo de Euclides:
Sean a, b Z
+
, a b, y efectuemos la divisin eucldea
a = qb +r. Como r < b, podemos dividir b entre r, y as suce-
sivamente, obteniendo:
a = qb +r 0 r < b
b = q
0
r +r
1
0 r
1
< r
r = q
1
r
1
+r
2
0 r
2
< r
1
r
1
= q
2
r
2
+r
3
0 r
3
< r
2
.
.
.
r
n1
= q
n
r
n
+r
n+1
0 r
n+1
< r
n
r
n
= q
n+1
r
n+1
+0 r
n+2
= 0
Proposicin 2.2.2. Se tiene que mcd(a, b) = r
n+1
, es decir, el mximo comn
divisor de a y b es el ltimo resto no nulo al aplicar sucesivamente el algoritmo
de divisin.
PRUEBA: Por la proposicin anterior se tiene que:
mcd(a, b) = mcd(b, r) = mcd(r, r
1
) = = mcd(r
n1
, r
n
) = mcd(r
n
, r
n+1
) = r
n+1
,
lo cual demuestra el resultado.
Asociada al mximo comn divisor est la identidad de Bzout, cuya existen-
cia terica viene armada por el siguiente teorema:
Identidad de Bzout
Sean a, b > 0 enteros y sea d = mcd(a, b). Existen enteros ,
tales que
a +b = d
A cualquier igualdad de este tipo se le llama identidad de B-
zout.
21
PRUEBA: Demostramos la existencia de manera no constructiva. Sea
S = {n Z
+
| n = xa + yb, x, y Z} ;
evidentemente S = porque a = 1 a + 0 b S. Como S est acotado
inferiormente por cero, tiene un mnimo al que llamamos n
0
= a+b. Probemos
que d = n
0
, viendo que d|n
0
y n
0
|d. Como d|a y d|b entonces d|n
0
. Para ver que
n
0
|d, demostraremos que n
0
|a y n
0
|b. Vamos a probar que n
0
|a, la otra relacin se
prueba de forma anloga. Por la divisin eucldea podemos escribir a = qn
0
+r
con 0 r < n
0
. Entonces,
r = a qn
0
= a q(a +b) = (1 q)a +(q)b S .
Por la minimalidad de n
0
tiene que ser r = 0, luego n
0
|a.

Nota 2.2.3. Los enteros y que aparecen en la identidad de Bzout no son

nicos. En efecto: para cualesquiera , tales que a +b = d, es
( kb)a +( +ka)b = d, k Z.
Corolario 2.2.4. Sean a, b > 0 enteros y sea d = mcd(a, b). Para cualesquiera
enteros , se verica que a +b es un mltiplo de d.
La identidad de Bzout nos permite probar el siguiente teorema:
Teorema de Euclides
Sean a, b, c > 0 tales que c|ab y mcd(c, a) = 1; entonces c|b.
En particular, si p es primo, p|ab y p no divide a a, entonces p|b.
PRUEBA: Evidentemente, la segunda armacin es consecuencia de la prime-
ra; demostremos sta. Por la identidad de Bzout, 1 = a + c. Multiplicando
por b esta expresin, se tiene que b = ab +cb. Como c|ab y c|cb, se tiene que
c|b.
Proposicin 2.2.5. Sean a, b Z,
d = mcd(a, b), a

=
a
d
, b

=
b
d
.
Entonces a

, b

son primos entre s.

22
PRUEBA: Si a

y b

no son primos entre s, entonces existe d

Z, 1 = d

,
tal que d

|a

y d

|b

. Luego dd

|a

d = a, dd

|b

d = b y dd

> d, lo que no es
posible.
Ahora podemos denir el mnimo comn mltiplo usando el mximo comn
divisor.
Proposicin 2.2.6. Sean a, b Z, d = mcd(a, b). Se verica que mcm(a, b) =
ab/d.
PRUEBA: Sean
m = ab/d, a

= a/d, b

= b/d.
Se tiene que m = a

b = ab

, luego es mltiplo de a y b. Sea m

Z mltiplo
de a y b, m

= aa

= bb

. Dividiendo esta ltima igualdad por d obtenemos

a

= b

y, por el teorema de Euclides, a

|b

, es decir, b

= a

c. Sustituyendo
m

= ba

c = mc, luego m es el mnimo comn mltiplo de a y b.

Teorema fundamental de la divisibilidad
Todo entero distinto de 0 y 1 se descompone en producto nito
de nmeros primos. Esta descomposicin es nica salvo orden y
producto por 1.
PRUEBA: Vamos primero a demostrar la existencia de la descomposicin. Sea
n = 0, 1 un entero jo, y vamos a demostrar que n se descompone en producto
de primos. Podemos suponer que n > 0 porque, si lo demostramos en este caso y
n = p
1
p
r
, entonces n = (1) p
1
p
r
, lo que demuestra el resultado para
los enteros negativos.
La existencia de la descomposicin se prueba por induccin a partir de n = 2.
El nmero n = 2 es primo. Supongamos que n > 2 y que todos los nmeros me-
nores que n se descomponen en producto nito de primos. Si n es primo hemos
terminado: es producto de un primo (l mismo). Si no lo es, se descompone en
producto n = n
1
n
2
de dos enteros positivos estrictamente menores que n. Al apli-
car a n
1
y n
2
la hiptesis de induccin, vemos que n se descompone en producto
nito de primos.
23
Para demostrar la unicidad (salvo orden y producto por unidades), basta con-
siderar enteros positivos n por la misma razn que antes. Adems, basta ver que
no puede haber dos descomposiciones distintas de un mismo nmero positivo en
producto de primos positivos. Vamos a operar por reduccin al absurdo. Supon-
gamos que hay nmeros que admiten dos descomposiciones distintas en producto
de primos positivos:
n = p
1
p
r
= q
1
q
s
.
Supongamos que r s. Tenemos p
1
|n = q
1
q
s
, luego p
1
|q
i
, para algn
i , con 1 i s, de donde p
1
= q
i
, al ser q
i
primo. Podemos suponer i = 1.
Dividiendo por p
1
se tiene que p
2
p
r
= q
2
q
s
. Repitiendo el razonamiento
para p
2
, . . . , p
r
, llegamos a 1 = q
r+1
q
s
. Luego r = s y p
i
= q
i
, i =
1, . . . , r.
Teorema (Euclides)
El conjunto de los primos es innito.
PRUEBA: Supongamos que no, es decir, que el conjunto de los primos fuese
nito, y sean p
1
, . . . , p
r
todos los primos. Sea n = p
1
p
r
+ 1. Por la factori-
zacin nica, n debe ser divisible por algn p
i
, lo que implicara que p
i
|1 y eso
es imposible.
Nota 2.2.7. (Opcional) Veamos otra forma de denir el mximo comn divisor
y el mnimo comn mltiplo. La factorizacin nica de un entero positivo n la
escribiremos usualmente en la forma
n =

p primo
p

n
( p)
donde todos los
n
(p) son cero salvo un nmero nito. La factorizacin se puede
extender a enteros n < 0 poniendo
n = (1)

p primo
p

n
( p)
.
Sin embargo, la nocin de nmero primo la reservaremos para los positivos, como
hemos dicho antes.
Teorema (Existencia del mximo comn divisor). Dados dos enteros a, b > 0,
existe un nico d > 0 que verica:
24
1. d|a y d|b.
2. Si d

> 0 es tal que d

|a y d

|b entonces d

|d.
A este entero se le llama el mximo comn divisor de a y b y se le denota d =
mcd(a, b).
PRUEBA: Sean
a =

p primo
p

a
( p)
, b =

p primo
p

b
( p)
las descomposiciones de a y b en producto de primos. Segn el enunciado queda
claro que el nico nmero que satisface las condiciones es
d =

p primo
p
mKn(
a
( p),
b
( p))
.

Teorema (Existencia del mnimo comn mltiplo). Dados dos nmeros a, b >
1, existe un nico m > 0 que verica:
1. a|m y b|m.
2. Si m

> 0 es tal que a|m

y b|m

entonces m|m

.
A este entero se le llama el mnimo comn mltiplo de a y b y se le denota
m = mcm(a, b).
PRUEBA: Sean
a =

p primo
p

a
( p)
, b =

p primo
p

b
( p)
las descomposiciones de a y b en producto de primos. Segn el enunciado queda
claro que el nico nmero que satisface las condiciones es
m =

p primo
p
mKax(
a
( p),
b
( p))
=
ab
mcd(a, b)

25
Congruencias
La divisin eucldea nos conduce inmediatamente a la nocin de congruencia
de mdulo dado.
Congruencia
Dados enteros a, b, m = 0, se dir que a es congruente con
b mdulo m = 0 si a b es divisible por m. En este caso se
escribir a b (mod m).
Nota 2.2.8. De la divisin eucldea se deduce que siempre se puede suponer po-
sitivo el mdulo m de la congruencia. En efecto, si m < 0 y a b (mod m) es
a b = km, luego a b = (k)(m) y por tanto a b (mod m). Esto es lo
que haremos de ahora en adelante.
Una propiedad fundamental de las congruencias es la siguiente:
Proposicin 2.2.9. a b (mod m) si y slo si a y b dan el mismo resto en la
divisin eucldea por m.
PRUEBA: En efecto, si a b (mod m), entonces m|(ba). Sean a = qm+r
b = q

m +r

,0 r, r

< m, entonces a b = (q q

)m + (r r

), igualdad
que slo es posible cuando r

r = 0 ya que |r

r| < m. Recprocamente, si
a = qm +r, b = q

m +r es a b = (q q

)m, luego a b (mod m).

Se puede ver a las congruencias de mdulo m > 0 jo como una relacin en

Z. En este sentido es una relacin de equivalencia porque verica las siguientes
propiedades (que son consecuencia inmediata de la denicin):
1. Propiedad reexiva: Para todo a Z es a a (mod m).
2. Propiedad simtrica: Si a b (mod m) entonces b a (mod m).
3. Propiedad transitiva: Si a b (mod m) y b c (mod m), entonces a
c (mod m).
Las congruencias son compatibles con la adicin y la multiplicacin.
26
Proposicin 2.2.10. Se verica que si a b (mod m) y c d (mod m) entonces
a c b d (mod m).
PRUEBA: Tenemos que ab = hm y cd = km. Sumando ambas igualdades
se tiene que (a +c) (b +d) = (h +k)m, luego a +c b +d (mod m).
Proposicin 2.2.11. Se verica que a b (mod m) y c d (mod m)
ac bd (mod m).
PRUEBA:
Tenemos que a b = hm y c d = km. Basta tener en cuenta que ac bd =
acad +ad bd = a(cd)+d(ab) = (ak +dh)m, luego ac bd (mod m).

Las congruencias tienen algunas propiedades interesantes que las diferencian

de los enteros. Qu ocurre con la cancelacin multiplicativa de congruencias? Es
decir, se trata de ver si se verica que
ax bx (mod m) a b (mod m)
La respuesta es claramente negativa porque, por ejemplo,
2 2 0 2 (mod 4) y 2 0 (mod 4)
En general, la propiedad cancelativa no se verica si x y m no son primos
entre s. En efecto, si 1 < d = mcd(x, m), x = x

d, m = m

d, entonces m

x
0 x (mod m) y m

0(mod m) porque 0 < m

< m.
Lo positivo de esta situacin es que se verica la propiedad cancelativa con
multiplicador x si y slo si mcd(x, m) = 1. Acabamos de ver que, si este mximo
comn divisor es mayor que 1 no se verica la propiedad cancelativa. Veamos
que s se verica cuando es 1. Sea ax bx (mod m) y mcd(x, m) = 1. Por
la identidad de Bzout existen , Z tales que x + m = 1. As, a =
ax +am, b = bx +bm, luego
a b = (ax bx) +(a b)m,
que es mltiplo de m. Por tanto, a b (mod m).
Veamos ahora que ocurre con la ecuacin ax = b, a, b Z. Sabemos que la
ecuacin anterior tiene solucin entera si y slo si a|b y su solucin es x =
b
a
Z.
En el caso de las congruencias tenemos
27
Proposicin 2.2.12. La ecuacin en congruencias
ax b (mod m)
tiene solucin si y slo si d = mcd(a, m) divide a b.
PRUEBA: Supongamos que d|b, b = dc. La identidad de Bzout nos dice que
d = a +m, luego b = dc = ac +mc. Como mc 0 (mod m), se tiene que
ac b (mod m), es decir, c es solucin de la ecuacin.
Para la implicacin contraria supongamos que x
0
es una solucin de la ecua-
cin en congruencias. Es decir ax
0
b = km, luego d|ax
0
km = b.
Teorema chino del resto
Sean m
1
, m
2
, . . . , m
n
enteros, mayores que 1, primos entre s dos
a dos, a
1
, a
2
, . . . , a
n
Z. El sistema de congruencias:
x a
1
(mod m
1
)
x a
2
(mod m
2
)
.
.
.
x a
n
(mod m
n
)
tiene solucin. Adems, si x y x

son dos soluciones, entonces

x x

(mod M), donde M = m

1
m
2
m
n
. Recprocamente, si
x es una solucin y x

x (mod M), entonces x

es solucin.
PRUEBA: Denotemos M
i
= M/m
i
, i = 1, . . . , n. Es claro que
mcd(m
i
, M
i
) = 1, i = 1, . . . , n,
luego, por la identidad de Bzout, existen
i
,
i
Z vericando
1 =
i
m
i
+
i
M
i
, i = 1, . . . , n.
Tomemos x = a
1

1
M
1
+a
2

2
M
2
+ +a
n

n
M
n
y comprobemos que x es
solucin. Para ello tendremos que comprobar que x a
i
(mod m
i
), para todo i ,
o, equivalentemente, que x a
i
0 (mod m
i
), para todo i. Usando la identidad
de Bzout correspondiente, tenemos a
i
= a
i

i
m
i
+a
i

i
M
i
. Entonces,
x a
i
= a
1

1
M
1
+ +a
n

n
M
n
a
i

i
m
i
a
i

i
M
i
=
28
= a
1

1
M
1
+ +a
i 1

i 1
M
i 1
+a
i +1

i +1
M
i +1
+ +a
n

n
M
n
a
i

i
m
i
,
y, al ser todos los sumandos mltiplos de m
i
, es x a
i
0 (mod m
i
).
Ejemplo 2.2.13. Resolvamos el siguiente sistema de congruencias:
x 1 (mod 2)
x 2 (mod 3)
x 3 (mod 5)
Siguiendo la notacin de la demostracin anterior, en nuestro caso tenemos
m
1
= 2, m
2
= 3, m
3
= 5, M = 30, M
1
= 15, M
2
= 10 y M
3
= 6. Por la
identidad de Bezout tenemos
mcd(m
1
, M
1
) = 1, 1 = (7) 2 +1 15, luego
1
= 1.
mcd(m
2
, M
2
) = 1, 1 = (3) 3 +1 10, luego
2
= 1.
mcd(m
3
, M
3
) = 1, 1 = (1) 5 +1 6, luego
3
= 1.
Por tanto una solucin del sistema es
x = a
1

1
M
1
+a
2

2
M
2
+a
3

3
M
3
= 53.
Las soluciones son los enteros congruentes con 53 mdulo 30.
2.3. Clases de congruencias mdulo m.
Fijemos un entero m 2, y sea Zm el conjunto de los enteros mltiplos de m.
Sabemos que la relacin ser congruente mdulo m es una relacin de equi-
valencia en el conjunto de los nmeros enteros Z. Veamos que dicha relacin
induce una particin en Z en lo que llamaremos clases de congruencia mdulo m.
Por denicin, la clase de congruencia mdulo m de un entero a es el conjunto
{b Z | a b (mod m)}.
Veamos cmo es la clase de congruencia de un entero a Z. Sabemos que
b Z est en la clase de a si y slo si b es congruente con a mdulo m, es decir,
m|(b a), luego b = a +qm. Por tanto, la clase de congruencia mdulo m de a
es el conjunto de los enteros de la forma a +km, con k Z.
As, dado a Z, la clase de congruencia mdulo m la denotaremos por a +
Zm, y al conjunto de todas las clases de congruencia mdulo m lo denotaremos
por Z/Zm.
29
Vamos a describir el conjunto Z/Zm y a ver que podemos sumar y multiplicar
los elementos de Z/Zm.
Proposicin 2.3.1. Todo nmero natural es congruente mdulo m a uno (y slo
uno) de los enteros del conjunto {0, 1, 2, . . . , m 1}.
PRUEBA: Sea a N. El teorema de la divisin implica que a = qm + r,
0 r < m. La primera igualdad nos dice que a y r son congruentes mdulo m.

Corolario 2.3.2. Todo nmero entero es congruente mdulo m a uno (y slo uno)
de los enteros del conjunto {0, 1, 2, . . . , m 1}.
As, el conjunto de las clases de congruencias mdulo m es
Z/Zm = {0 +Zm, 1 +Zm, . . . , (m 1) +Zm}.
Veamos cmo se denen la suma y el producto de clases de congruencias.
Denicin.- Sean a +Zm, b +Zm Z/Zm dos clases de congruencias.
(a +Zm) +(b +Zm) := (a +b) +Zm
(a +Zm) (b +Zm) := (ab) +Zm.
Proposicin 2.3.3. El conjunto Z/Zm, con las operaciones denidas anterior-
mente, es un anillo (abeliano).
Ejemplo 2.3.4. Supongamos que m = 10, a = 7, b = 9. Entonces
(7 +Z10) +(9 +Z10) = 16 +Z10, (7 +Z10) (9 +Z10) = 63 +Z10.
Teniendo en cuenta que 7 + Z10 = 17 + Z10, 9 + Z10 = 29 + Z10, que
ocurre si cambiamos el 7 por 17 y el 9 por 29? No pasa nada, ya que el resultado
es el mismo: (17 +Z10) +(29 +Z10) = 46 +Z10, pero 46 +Z10 = 16 +Z10.
Lo mismo ocurre con el producto.
30
En la seccin anterior probamos que las congruencias mdulo m eran com-
patibles con la suma y el producto, es decir, la suma y el producto que hemos
denido no dependen del representante que uno elija.
Hemos visto que toda clase de congruencia a+Zm es igual a una clase r +Zm,
con 0 r < m. A partir de este momento siempre que trabajemos con clases de
congruencias mdulo m la escribiremos usando un representante r, 0 r < m.
As, pondremos (7 + Z10) (9 + Z10) = 3 + Z10, ya que, por el teorema de
divisin, 63 = 6,10 + 3, luego 3 es congruente con 63 mdulo 10, es decir,
3 +Z10 = 63 +Z10. Anlogamente 11 +Z10 = 9 +Z10.
Ejemplo 2.3.5. Como ejemplo escribimos las tablas de sumar y de multiplicar de
las congruencias mdulos 4 y 5.
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
0 1 2 3
0 0 0 0 0
1 0 1 2 3
2 0 2 0 2
3 0 3 2 1
+ 0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 0 1 2 3
0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 3
3 0 3 1 4 2
4 0 4 3 2 1
2.4. Los teoremas de Fermat y Euler
Terminamos este tema probando dos teoremas muy importantes, debidos a
Fermat y Euler.
Sean m, n enteros positivos. Recordamos que el nmero combinatorio
_
m
n
_
est
denido de la forma siguiente:
_
m
n
_
=
m!
n!(m n)!
31
Lema 2.4.1. Si p es primo, entonces p divide a
_
p
r
_
, para todo r, 0 < r < p.
PRUEBA: Sabemos que
_
p
r
_
=
p!
r!(p r)!
es un entero. Como 1 r p 1, p no divide a r! ni a (p r)!, los enteros p y
r!(p r)! son primos entre s. Por tanto r!(p r)! divide a (p 1)! y
_
p
r
_
= p
_
(p 1)!
r!(p r)!
_
es un entero mltiplo de p.
Corolario 2.4.2. Si p es primo, entonces, a, b Z, (a+b)
p
a
p
+b
p
(mod p).
Teorema 2.4.3. Si p es primo, entonces, a Z, a
p
a (mod p).
PRUEBA: Basta probarlo para enteros positivos. Lo haremos por induccin.
Para a = 1 ya est. Supongamos el teorema cierto para a. Entonces
(a +1)
p
a
p
+1
p
a +1(mod p)
por la hiptesis de induccin.
(Pequeo) Teorema de Fermat
Si p es primo y no divide a a Z, entonces a
p1
1 (mod p).
PRUEBA: Por el teorema anterior, a
p
a (mod p). Por ser p y a primos
entre s, se verica la propiedad cancelativa, luego a
p1
1 (mod p).
Nota 2.4.4. El teorema de Euler est relacionado con las congruencias invertibles
mdulo m, esto es, los elementos a +Zm tales que existe b +Zm vericando
(a +Zm) (b +Zm) = 1 +Zm.
Los elementos que verican esta propiedad se denominan unidades mdulo
m.
32
Proposicin 2.4.5. a +Zm es una unidad en Z/Zm si y slo si mcd(a, m) = 1.
PRUEBA: Supongamos que a + Zm es unidad. Entonces existe b + Zm tal
que (a +Zm)(b +Zm) = 1 +Zm, luego ab 1 = qm, y ab qm = 1, por tanto
a y m son primos entre s.
Recprocamente, supongamos que mcd(a, m) = 1. Por la identidad de Bezout
existen enteros r, s con ra + sm = 1. Luego 1 + Zm = (ra + sm) + Zm =
(ra +Zm) +(sm +Zm) = (a +Zm)(r +Zm). Por tanto a +Zm es una unidad.

Corolario 2.4.6. El conjunto Z/Zp es un cuerpo si y slo si p es primo.

La notacin estndar para el cuerpo Z/Zp es F
p
, aunque en estos apuntes
seguiremos con la notacin de congruencias.
Corolario 2.4.7. El nmero de unidades de Z/Zm es igual al nmero de enteros
a, 1 a < m, que son primos con m.
Denicin.- Al nmero de enteros a, 1 a < m, que son primos con m se le
denota por (m), la funcin de Euler.
Teorema de Euler
Sea a +Zm una unidad en Z/Zm. Entonces
a
(m)
1 (mod m).
PRUEBA: Sea
P = {u
1
, u
2
, . . . , u
(m)
}
las unidades de Z/Zm. Sea
Q = {u
1
a, u
2
a, . . . , u
(m)
a}
el conjunto obtenido al multiplicar los elementos de P por a. Es claro (demostrar-
lo) que los elementos de Q son todos distintos y son unidades en Z/Zm. Por tanto
los elementos de P y Q son congruentes entre s (en diferente orden), de donde

(m)
i =1
u
i

(m)
i =1
u
i
a (mod m)
33
Si ponemos u =

(m)
i =1
u
i
se tiene u ua
(m)
(mod m). Como u y m son
primos entre s, se verica la propiedad cancelativa y obtenemos
a
(m)
1 (mod m).

Vamos a ver por ltimo, cmo hallar (m) sin necesidad de comprobar ele-
mento a elemento de {0, ..., m 1} si son primos con m o no. Para ello no necesi-
tamos ms que la factorizacin de m (en realidad, slo el conjunto de primos que
dividen a m, que es algo menos preciso).
Proposicin 2.4.8. La funcin verica las siguientes propiedades:
1. Si p es primo, entonces (p) = p 1.
2. Si p es primo, entonces (p
n
) = p
n
p
n1
= p
n
(1 1/p).
3. Si m y n son primos entre s, entonces (nm) = (n)(m).
4. Si n = p
n
1
1
p
n
2
2
. . . p
n
r
r
es la descomposicin en factores primos de n, enton-
ces
(n) = n
_
1
1
p
1
__
1
1
p
2
_
. . .
_
1
1
p
r
_
.
PRUEBA: Los apartados primero y segundo son elementales. El primero es
directo y el segundo se sigue de observar que, los nicos nmeros menores que
p
n
y no primos con l son precisamente los mltiplos de p menores y hay, preci-
samente p
n1
de stos.
Para ver el tercer apartado, denotemos U
r
las unidades mod r y denimos
f : U
mn
U
m
U
n
g : U
m
U
n
U
mn
x (x, x) (a, b) x tal que x a (mod m)
x b (mod n)
Notemos que, dado que mcd(m, n) = 1, un entero es primo con mn si y
slo si lo es con m y n a la vez. Por tanto f est bien denida, y tambin lo est g
(utilizando el Teorema chino del resto). Es sencillo ver que f y g son aplicaciones
inversas la una de la otra, por lo que
(mn) = (U
mn
) = (U
m
U
n
) = (m)(n).
El cuarto apartado se sigue directamente del segundo y del tercero.
34
Captulo 3
Polinomios
3.1. Introduccin
Sea k un cuerpo (por ejemplo, Q, R, C, F
p
). Denotaremos por k[x] al conjunto
de todas las expresiones de la forma
a(x) = a
m
x
m
+a
m1
x
m1
+. . . +a
1
x +a
0
,
con los a
i
k. De esta manera, k[x] es el conjunto de todos los polinomios con
coecientes en k. Dos polinomios son iguales si lo son coeciente a coeciente.
Grado
El grado de un polinomio no nulo a(x), notado grado(a(x)), es
el mayor entero n tal que a
n
= 0. El polinomio cuyos coecientes
son todos nulos se llama polinomio nulo y se denota por 0. Por
convencin, su grado es grado(0) = .
Sea a(x) =

n
i =0
a
i
x
i
k[x] un polinomio no nulo con a
n
= 0. Llamaremos
trmino lder de a(x) al trmino a
n
x
n
, coeciente lder a a
n
y trmino constante
a a
0
. Un polinomio es mnico si su coeciente lder es 1. Los polinomios se dicen
constantes cuando su grado es cero, as como el polinomio nulo.
Los polinomios se pueden sumar y multiplicar, extendiendo las operaciones
de k:
Si a(x) =

n
i =0
a
i
x
i
, b(x) =

m
i =0
b
i
x
i
, suponiendo sin prdida de generalidad
que m n, podemos denir la suma como
a(x) +b(x) =
n

i =0
(a
i
+b
i
)x
i
+b
n+1
x
n+1
+. . . +b
m
x
m
.
35
Cuando m = n, basta quedarnos con el primer sumando de la expresin anterior.
Tomando de nuevo a(x) y b(x), su producto est denido como:
d(x) = a(x)b(x) =
m+n

l=0
d
l
x
l
, donde d
l
=

i +j =l
a
i
b
j
.
Estando as denidas las operaciones, es claro que extienden las de k; basta
tomar m = n = 0. Por otro lado, tambin es evidente que siempre y cuando
asumamos que < n y +n < para cualquier n 0 (algo, todo sea
dicho, nada extravagante), tenemos que
grado(a(x)+b(x)) mKax{grado(a(x)), grado(b(x))}, no dndose la igual-
dad solamente cuando m = n y a
m
+b
n
= 0.
grado(a(x)b(x)) = grado(a(x)) +grado(b(x))
Es fcil comprobar, y por ello le cedemos la tarea al lector interesado en fami-
liarizarse con las nociones aqu descritas, que la suma y el producto de polinomios
verican las propiedades conmutativa, asociativa y distributiva, adems de poseer
elemento neutro, elemento simtrico y elemento unidad. En otras palabras, k[x]
es un anillo conmutativo, como el conjunto de los nmeros enteros. Pero esta no
es la nica similitud con Z.
Teorema de divisin
Sean f (x), g(x) k[x] dos polinomios, con g(x) = 0. Entonces,
existen dos nicos polinomios q(x), r(x) k[x] tales que
f (x) = q(x)g(x) +r(x)
y grado(r(x)) < grado(g(x)).
PRUEBA: La demostracin es constructiva, indicando cmo se calculan cociente
y resto de la divisin eucldea.
Si grado( f (x)) < grado(g(x)) tomamos q(x) = 0, r(x) = f (x), y ya hemos
terminado nuestra construccin.
Supongamos ahora que grado( f (x)) grado(g(x)) y sean ax
m
, bx
n
los tr-
minos de mayor grado de f (x), g(x) respectivamente. Escribamos
f
1
(x) = f (x) (a/b)x
mn
g(x);
36
as pues f
1
(x) es un polinomio de grado estrictamente inferior al de f (x) y esco-
giendo q
1
(x) = (a/b)x
mn
, tenemos que f (x) = q
1
(x)g(x) + f
1
(x).
Aplicando el mismo razonamiento a f
1
(x) y as sucesivamente, logramos crear
un conjunto nito de igualdades del tipo
f (x) = q
1
(x)g(x) + f
1
(x)
f
1
(x) = q
2
(x)g(x) + f
2
(x)
.
.
.
.
.
.
f
t 1
(x) = q
t
(x)g(x) + f
t
(x),
donde
grado( f
1
(x)) > grado( f
2
(x)) > . . . > grado( f
t
(x))
y como vamos descendiendo al menos una unidad el grado en cada f
i
(x), o bien
f
t
(x) = 0 o bien es de grado inferior al de g(x), y de ah la nitud del proceso.
Poniendo
q(x) =
t

i =1
q
i
(x) , r(x) = f
t
(x)
se tiene f (x) = q(x)g(x) +r(x).
Hemos probado la existencia. Probemos ahora la unicidad. Consideremos pues
dos expresiones para f (x) que veriquen las propiedades que establece el teorema
de divisin:
f (x) = q(x)g(x) +r(x) = q

(x)g(x) +r

(x);
entonces
r(x) r

(x) = (q

(x) q(x))g(x),
con lo que r(x) r

(x) debe ser nulo, ya que todo mltiplo no nulo de g(x) tiene
que ser de grado mayor o igual que l.
37
Algoritmo de divisin
Para calcular el cociente y el resto de la divisin entre f (x) y
g(x), de grados respectivos m y n.
Si m n tome
f
1
(x) = f (x) (a/b)x
mn
g(x) , q
1
(x) = (a/b)x
mn
.
Repita con f
1
(x) y g(x) hasta que grado( f
t
(x)) < grado(g(x)).
El cociente y el resto son
q(x) = q
1
(x) +. . . +q
t 1
(x) , r(x) = f
t
(x).
Si m < n, el cociente es 0 y el resto el propio f (x).
Veamos cmo funciona esto ltimo con un ejemplo, que nos acompaar por
nuestra lectura de las prximas secciones.
Ejemplo 3.1.1. Sean f (x) = x
5

1
2
x
3
+2x
2
3x +3 y g(x) = 2x
3

2
3
x
2
+3x 1
dos polinomios de Q[x]. Si queremos calcular el cociente y el resto de la divisin
de f (x) entre g(x), tomamos en primer lugar
f
1
(x) = f (x)
1
2
x
2
g(x) =
1
3
x
4
2x
3
+
5
2
x
2
3x +3.
Como grado( f
1
(x)) = 4, seguimos. Sea ahora
f
2
(x) = f
1
(x)
1
6
xg(x) =
17x
3
9
+2x
2

17x
6
+3.
Tenemos que seguir, pues todava no hemos bajado de grado 3, pero este ser el
ltimo paso. As,
f
3
(x) = f
2
(x) +
17
18
g(x) =
37x
2
27
+
37
18
.
Ahora ya hemos terminado. El cociente y el resto de la divisin son
q(x) =
1
2
x
2
+
1
6
x
17
18
, r(x) =
37x
2
27
+
37
18
.
Este teorema, aunque pueda parecer elemental a primera vista (y es que de
hecho su prueba no es compleja), tiene numerosas aplicaciones inmediatas que lo
38
embellecen y nos permiten relatar interesantes propiedades de los polinomios en
una variable o de la estructura de k[x] como anillo. Algunas las detallaremos a
continuacin, y otras las veremos ms adelante en este u otros captulos, cuando
profundicemos en el estudio de los anillos de polinomios.
Corolario 3.1.2. (Teorema del resto) Sea un polinomio f (x) k[x], y sea un
elemento del cuerpo a k. Entonces f (a) es el resto de dividir f (x) por x a.
PRUEBA: Por el teorema de divisin,
f (x) = (x a)q(x) +r(x), con grado(r(x)) < grado(x a) = 1.
Por tanto, r(x) debe ser una constante, digamos r, luego f (a) = (aa)q(a)+r =
r.
Corolario 3.1.3. (Teorema de la raz) Sea un polinomio f (x) k[x] de grado
positivo. Entonces f (x) tiene una raz a k (i.e., existe a en k tal que f (a) = 0)
si y slo si es divisible por x a.
PRUEBA: En efecto, podemos escribir f (x) = q(x)(x a) + r con r k.
As f (a) = 0 si y slo si r = 0, lo que equivale a que (x a)| f (x).
Corolario 3.1.4. (DAlembert) Un polinomio no nulo f (x) k[x] de grado n
tiene a lo sumo n races distintas en k.
PRUEBA: Lo probaremos por induccin en n, el grado de f (x).
Si grado( f (x)) = 0, entonces f (x) en un polinomio constante no nulo, luego
no tiene races en k. Nuestra hiptesis de induccin es que si h(x) es polinomio
no nulo de grado n 1 con r races distintas, r n 1.
Supongamos ahora que f (x) es un polinomio de grado n > 0 y que tiene r
races distintas a
1
, . . . , a
r
en k. Veamos que r n.
Tenemos que f (a
r
) = 0, luego por el teorema de la raz f (x) = (x a
r
)g(x),
con grado(g(x)) = n 1. Para cada i con 1 i r 1, f (a
i
) = 0 = (a
i

a
r
)g(a
i
). Como a
i
= a
r
, por fuerza g(a
i
) = 0. En consecuencia a
1
, . . . , a
r1
son
races de g(x) y grado(g(x)) = n 1. Por induccin, r 1 n 1, as que
r n.
Nota 3.1.5. Hay que notar, por si el lector andaba despistado en la lectura, que este
corolario no implica el aserto de que todo polinomio posee tantas races como su
grado. Este teorema es mucho ms profundo e interesante y necesita conceptos
que no veremos hasta ms tarde.
39
3.2. Mximo comn divisor
Continuan los parecidos razonables entre k[x] y Z, pues al igual que cuan-
do manejamos los enteros, con el teorema de divisin para polinomios podemos
trabajar la divisibilidad de polinomios, el algoritmo de Euclides y la identidad de
Bzout.
Mximo comn divisor
Sean dos polinomios f (x), g(x) k[x]. Un polinomio p(x)
k[x] es un mximo comn divisor de f (x) y g(x) si verica:
1. p(x)| f (x) y p(x)|g(x)
2. Si q(x) es otro polinomio que divide a f (x) y a g(x) en-
tonces q(x)| p(x).
Nota 3.2.1. A diferencia de lo que ocurre en los enteros, el mximo comn divi-
sor de dos polinomios no es nico. Si p(x) = mcd( f (x), g(x)), entonces, para
cualquier a k \ {0}, ap(x) = mcd( f (x), g(x)). Por eso cuando hablamos de
un mximo comn divisor, podremos acordar que estamos tomando un polinomio
mnico y, en esas condiciones, s que es nico.
Como en los enteros, podemos calcular un mximo comn divisor de dos po-
linomios usando el teorema de divisin.
Consideremos dos polinomios f (x), g(x) k[x]; sabemos que existen q(x), r(x)
k[x] con grado(r(x)) < grado(g(x)) tales que
f (x) = q(x)g(x) +r(x).
Proposicin 3.2.2. Con las notaciones anteriores, se tiene que
mcd( f (x), g(x)) = mcd(g(x), r(x))
PRUEBA: Supongamos que
a(x) = mcd(g(x), r(x)), b(x) = mcd( f (x), g(x)).
Como f (x) = q(x)g(x) + r(x), a(x) no puede sino dividir a f (x) y as a(x)
es un divisor comn de f (x) y g(x), luego por ser b(x) el mximo entre ellos,
a(x)|b(x).
40
Anlogamente, como
r(x) = f (x) q(x)g(x),
se tiene que b(x)|r(x) y as b(x) es un divisor comn de g(x) y r(x), luego
b(x)|a(x).
Algoritmo de Euclides
Sean f (x), g(x) k[x] dos polinomios no nulos, con
grado( f (x)) > grado(g(x)). Entonces, si haciendo divisiones su-
cesivas obtenemos
f (x) = q(x)g(x) +r(x)
g(x) = q
0
(x)r(x) +r
1
(x)
r(x) = q
1
(x)r
1
(x) +r
2
(x)
.
.
.
r
n2
(x) = q
n1
(x)r
n1
(x) +r
n
(x)
r
n1
(x) = q
n
(x)r
n
(x),
este proceso es nito y, con las notaciones anteriores,
mcd( f (x), g(x)) = r
n
(x).
PRUEBA: Consideremos la sucesin {grado(r
i
(x))}, que es una sucesin es-
trictamente decreciente de enteros no negativos, pues el resto de la divisin polin-
mica es de menor grado que el divisor. Como el primer elemento es grado( f (x)),
la sucesin puede tener a lo ms grado( f (x)) +1 elementos. Por tanto, existe un
n 1 tal que r
n+1
(x) = 0. Esto prueba la nitud del proceso.
Ahora queda preguntarse si realmente obtenemos el mximo comn divisor de
f (x) y g(x). Para la respuesta basta con aplicar el lema anterior para obtener que
mcd( f (x), g(x)) = mcd(g(x), r(x)) = . . . = mcd(r
n1
(x), r
n
(x)) = r
n
(x).

As pues, con este teorema hemos probado que el siguiente algoritmo es co-
rrecto:
41
Algoritmo de Euclides
Para hallar el mximo comn divisor de dos polinomios no nulos
f (x), g(x) k[x].
Efecte la divisin f (x) = q(x)g(x) + r(x) y tome f
0
(x) =
f (x), g
0
(x) = g(x) y r
0
(x) = r(x). Mientras r
i
(x) = 0, repita
con f
i +1
(x) = g
i
(x) y g
i +1
(x) = r
i
(x).
Si r
n+1
(x) = 0, mcd( f (x), g(x)) = r
n
(x), notando r
1
(x) =
g(x).
Como en la seccin anterior, ilustremos el mtodo de arriba con los mismos
polinomios:
Ejemplo 3.2.3. Queremos hallar el mximo comn divisor de f (x) = x
5

1
2
x
3
+
2x
2
3x + 3 y g(x) = 2x
3

2
3
x
2
+ 3x 1 en Q[x]. Siguiendo el algoritmo,
dividimos el primero entre el segundo, y tomamos
f
0
(x) = f (x) , g
0
(x) = g(x) , r
0
(x) =
37x
2
27
+
37
18
.
Como r
0
(x) = 0, dividimos g(x) entre r
0
(x), tomando
f
1
(x) = g(x) , g
1
(x) = r
0
(x) , r
1
(x) = 0.
La divisin anterior era exacta de cociente
18
37
(3x1), con lo que mcd( f (x), g(x)) =
r
0
(x), o tomando el polinomio mnico asociado,
mcd( f (x), g(x)) = x
2
+
3
2
.
Hemos demostrado la validez del algoritmo de Euclides. Como pasaba en la
primera seccin, a pesar de ser un resultado aparentemente trivial, esconde algu-
nas aplicaciones, siendo la primera de ellas la identidad de Bzout, cuyas conse-
cuencias en algunas de las abstrusas ecuaciones diofnticas polinmicas son de
apreciar.
Identidad de Bzout
Sean f (x), g(x) k[x] dos polinomios no nulos. Si deno-
tamos mcd( f (x), g(x)) = d(x) entonces existen elementos
a(x), b(x) k[x] tales que
d(x) = a(x) f (x) +b(x)g(x).
42
PRUEBA: La demostracin es consecuencia de aplicar el algoritmo de Eucli-
des al revs.
En efecto, si con la notacin del teorema, llamamos r
n
(x) = d(x), tendremos que
r
n
(x) = r
n2
(x) q
n1
(x)r
n1
=
= r
n2
(x) q
n1
(x)(r
n3
(x) q
n2
(x)r
n2
(x)) =
.
.
.
= a(x)r(x) +

b(x)g(x) =
= a(x) f (x) +(

b(x) a(x)q(x))g(x).
Tomando a(x) = a(x) y b(x) = (

b(x) a(x)q(x)), tenemos lo que queramos.

Ejemplo 3.2.4. Sabemos que el mximo comn divisor de nuestros polinomios

predilectos, f (x) = x
5

1
2
x
3
+2x
2
3x +3 y g(x) = 2x
3

2
3
x
2
+3x 1 en
Q[x] es d(x) = x
2
+
3
2
. Cules son los polinomios a(x) y b(x) de la identidad
de Bzout para ellos? Siguiendo el algoritmo de Euclides realizado anteriormente
para ellos,
d(x) =
27
37
f (x)
27
37
_
1
2
x
2
+
1
6
x
17
18
_
g(x),
luego a(x) =
27
37
y b(x) =
27
37
q(x).
Como sealbamos antes, el algoritmo de Euclides tiene una importante apli-
cacin en la resolucin de ecuaciones diofnticas polinmicas
(x) f (x) +(x)g(x) = h(x),
donde f (x), g(x), h(x) k[x] son polinomios dados y (x), (x) k[x] son
los polinomios a determinar, si es posible, claro est. El siguiente teorema da con-
diciones sucientes para la existencia y unicidad de la solucin de una ecuacin
diofntica polinomial y una prueba constructiva. Un caso especial del teorema es
cuando los polinomios f (x) y g(x) son relativamente primos, en cuyo caso la
ecuacin diofntica polinmica dada se puede resolver para cualquier h(x) dado.
Proposicin 3.2.5. Sean f (x), g(x) k[x] dos polinomios no nulos y sea d(x) =
mcd( f (x), g(x)). Entonces, para cualquier polinomio h(x) k[x] divisible por
d(x), existen unos nicos polinomios (x), (x) k[x] tales que
(x) f (x) +(x)g(x) = h(x), y
grado((x)) < grado(g(x)) grado(d(x)).
43
Ms an, si
grado(h(x)) < grado( f (x)) +grado(g(x)) grado(d(x)),
entonces (x) verica que
grado((x)) < grado( f (x)) grado(d(x)).
PRUEBA: Veamos primero la existencia.
Por la identidad de Bzout sabemos que existen polinomios a(x), b(x) k[x] ta-
les que a(x) f (x)+b(x)g(x) = d(x). Como h(x) es divisible por d(x), podremos
escribir h(x) = h

(x)d(x), y as, a(x)h

(x) f (x) +b(x)h

(x)g(x) = h(x).
De este modo los polinomios

(x) = a(x)h

(x),

(x) = b(x)h

(x) verican
la ecuacin del enunciado. No obstante, los grados de estos polinomios en ge-
neral no verican las condiciones exigidas. Para evitar esto, si grado(

(x))
grado(g(x)) grado(d(x)), dividimos

(x) entre g(x)/d(x) y obtenemos que

(x) = (g(x)/d(x))q(x) +(x) con grado((x)) < grado(g(x)) grado(d(x)).

Consideremos ahora (x) =

(x) +q(x)( f (x)/d(x)). Sustituyendo entonces,

(x) f (x) +(x)g(x) =

(x) f (x) +

(x)g(x) = h(x).
Veamos ahora la unicidad. Supongamos pues que existen otros polinomios

1
(x),
1
(x) k[x] vericando las condiciones del teorema. En ese caso,
(x)( f (x)/d(x)) +(x)(g(x)/d(x)) = h(x)/d(x)

1
(x)( f (x)/d(x)) +
1
(x)(g(x)/d(x)) = h(x)/d(x),
luego
((x)
1
(x))( f (x)/d(x)) = ((x)
1
(x))(g(x)/d(x)).
Como los polinomios f (x)/d(x) y g(x)/d(x) son primos entre s, necesariamente
(g(x)/d(x))|((x)
1
(x)). Pero el grado de ((x)
1
(x)) es menor que el
grado de (g(x)/d(x)), luego (x)
1
(x) = 0.
Falta probar la ltima parte del teorema. Supongamos que
grado(h(x)) < grado( f (x)) +grado(g(x)) grado(d(x)).
Como (x) = (h(x) (x) f (x))/g(x),
grado((x)) = grado(h(x) (x) f (x)) grado(g(x)).
Si tuviramos que grado(h(x)) grado((x) f (x)) entonces ocurrira que
grado((x)) grado(h(x)) grado(g(x)) < grado( f (x)) grado(d(x)),
44
por la hiptesis adicional en el grado de h(x). En caso contrario, es decir, si
grado(h(x)) < grado((x) f (x)), entonces
grado((x)) grado((x))+grado( f (x))grado(g(x)) < grado( f (x))grado(d(x)),
por la propiedad que sabemos que verica el grado de (x).
Hemos conseguido pues el siguiente mtodo para resolver ecuaciones diofn-
ticas lineales en polinomios:
Ecuaciones diofnticas lineales
Para resolver una ecuacin de la forma
(x) f (x) +(x)g(x) = h(x),
donde f (x), g(x), h(x) k[x] y grado((x)) < grado(g(x))
grado(d(x)).
Si h(x) no es divisible por mcd( f (x), g(x)) no existe solucin.
En caso de que s sea divisible, aplique la identidad de Bzout a
f (x) y g(x) para obtener dos polinomios a(x), b(x) con
a(x) f (x) +b(x)g(x) = d(x).
Si grado(a(x)) < grado(g(x)) grado(h(x)), tome (x) =
a(x)h(x)/d(x), (x) = b(x)h(x)/d(x) y hemos terminado. En
caso contrario, divida (x) entre g(x)/d(x) para conseguir la ex-
presin (x) = (g(x)/d(x))q(x) + r(x). Asignando (x) :=
r(x) y (x) := (x) +q(x)( f (x)/d(x)) hemos terminado.
Ejemplo 3.2.6. Para nalizar esta seccin, reutilicemos nuestros polinomios de
los ejemplos para mostrar cmo resolver una ecuacin diofntica como las que
hemos visto.
Sean pues de nuevo f (x) = x
5

1
2
x
3
+ 2x
2
3x + 3 y g(x) = 2x
3

2
3
x
2
+
3x 1 en Q[x]. Puesto que el ejemplo sera de dudosa utilidad si escogiramos
un polinomio h(x) no divisible por d(x) = x
2
+
3
2
, tomemos un mltiplo suyo,
por ejemplo, h(x) = (2x 1)d(x) = 2x
3
x
2
+3x
3
2
.
Del ejemplo anterior obtuvimos la identidad de Bzout
27
37
f (x)
27
37
_
1
2
x
2
+
1
6
x
17
18
_
g(x) = d(x).
45
Ahora, grado(a(x)) = 0 = grado(g(x)) grado(h(x)), as que debemos dividir
27
37
(2x 1) entre g(x)/d(x) = 2x
2
3
, obteniendo como cociente y resto
q(x) =
27
37
, r(x) =
9
37
.
As, los polinomios solucin de la ecuacin son
(x) =
1
3
, (x) =
1
74
_
74x
3
27x
2
+139x 97
_
3.3. Factorizacin. Factores mltiples
En nuestro recorrido en pos de obtener analogas con lo que ocurra con los
enteros, vamos a ver qu elementos juegan el papel en el anillo de polinomios k[x]
de los nmeros primos, y una vez que los hayamos identicado, trabajaremos un
poco con ellos y con la nocin de factorizacin.
Polinomio irreducible
Un polinomio p(x) k[x] es irreducible si no es una constante,
y si el que podamos escribir p(x) = f (x)g(x) implica que uno
de los dos factores sea una unidad (una constante).
Proposicin 3.3.1. Sea p(x) k[x] un polinomio irreducible. Si f (x) es un
polinomio que no es divisible por p(x), entonces el mximo comn divisor de
p(x) y f (x) es 1 (una constante).
PRUEBA: Sea d(x) = mcd(p(x), f (x)). Como d(x)| p(x), existir cierto
polinomio p

(x) de modo que podamos escribir p(x) = d(x)p

(x). Ahora bien,

por la denicin de irreducibilidad, o bien d(x) o bien p

(x) es constante. Si el
polinomio constante es d(x), tendramos el resultado.
Veamos pues qu pasa cuando el que fuera constante fuera p

(x). En ese caso

p(x)|d(x), por lo que p(x) dividira a f (x), que no es posible. Por consiguiente
d(x) no puede ser nada ms que una constante.
Veremos a continuacin dos resultados que dejaremos sin demostrar, pues sus
pruebas se pueden escribir de una manera completamente anloga a las de sus
semejantes del mbito de los enteros.
46
Proposicin 3.3.2. Sea p(x) k[x] un polinomio irreducible. Dados dos polino-
mios f (x), g(x) k[x], si p(x)| f (x)g(x), entonces p(x) divide a alguno de los
dos.
Descomposicin en factores irreducibles
Cualquier polinomio no constante de k[x] es irreducible o fac-
toriza en producto de polinomios irreducibles. Este producto
es nico en tanto que si tenemos dos factorizaciones de f (x)
en producto de polinomios irreducibles en k[x] de la forma
f (x) = p
1
(x) p
s
(x) = q
1
(x) q
t
(x) necesariamente s =
t y existe una correspondencia uno a uno entre los factores
p
1
(x), . . . , p
s
(x) y q
1
(x), . . . , q
t
(x) donde si p
i
(x) se correspon-
de con q
j
(x), existe un k \ {0} tal que p
i
(x) = q
j
(x).
Hasta este punto, podemos aventurarnos y pronosticar que el lector puede estar
interesado por las mltiples analogas en la naturaleza como anillos entre k[x] y
Z, o puede estar a punto de hastiarse al ver que las mismas propiedades que se
comentaban para los enteros existen aqu, aumentando intilmente (a su juicio,
claro est) el nmero de pginas, o ambas cosas a la vez, una sin perjuicio de
la otra. Para intentar evitar la segunda posibilidad entre otros objetivos, vamos a
presentar una herramienta especca y til de los polinomios: la derivada (formal),
que coincide con el concepto usual de anlisis.
Usaremos la notacin habitual: f

(x) es el polinomio que se obtiene al derivar
f (x); D : k[x] k[x] es la funcin que a cada polinomio le asocia su derivada,
D( f (x)) = f

(x).
Derivada de un polinomio
La derivada de un polinomio f (x) viene denida por las siguien-
tes reglas:
1. Si f (x) = ax
n
con a k, entonces D(ax
n
) = nax
n1
. (Si
n = 0, D(a) = 0.)
2. Si f (x) = g(x) + h(x), entonces D( f (x)) = D(g(x)) +
D(h(x)).
47
Proposicin 3.3.3. Para cualesquiera polinomios f (x), g(x) k[x] y para todo
natural s > 1 se verica que:
1. D( f (x)g(x)) = f (x)D(g(x)) +g(x)D( f (x)).
2. D( f (x)
s
) = s f (x)
s1
D( f (x)).
PRUEBA: La prueba es puramente efectiva, y no requiere mucha habilidad;
basta con tener la suciente concentracin como para seguir los clculos. Por ello
se la dejamos al lector que quiera adquirir soltura con el manejo de las expresiones
de los polinomios.
Factores mltiples de un polinomio
Sea f (x) k[x] un polinomio.
1. Si f (x) tiene factores mltiples, entonces f (x) y f

(x) no
son primos entre s.
2. En caracterstica cero (k = Q, R, C), si f (x) y f

(x) no
son primos entre s, entonces f (x) tiene factores mltiples.
PRUEBA: Supongamos que f (x) tiene algn factor mltiple, sea f (x) = p(x)
s
q(x),
con s > 1. Entonces
f

(x) = p(x)
s1
[sp

(x)q(x) + p(x)q

(x)],
luego p(x) es un factor comn de f (x) y f

(x).
Sean d(x) = mcd( f (x), f

(x)), que sabemos que es de grado mayor que cero
por el anterior apartado, y p(x) un factor irreducible de d(x). Veamos que p(x)
es un factor mltiple de f (x).
En efecto, como p(x)| f (x), tenemos f (x) = p(x)g(x). Derivando esa expresin,
f

(x) = p

(x)g(x) + p(x)g

(x).
Como p(x)| f

(x), p(x) tambin divide al producto p

(x)g(x), y, por ser p(x)

irreducible, divide a uno de los factores. Ahora bien, p(x) no puede dividir a p

(x)
pues tiene grado estrictamente mayor ya que estamos trabajando sobre un cuerpo
de caracterstica cero, luego p(x)|g(x), y g(x) = p(x)h(x), as que sustitumos y
conseguimos la expresin f (x) = p(x)
2
h(x).
48
3.4. Congruencias. Teorema chino del resto
Compadecindonos del lector algo hastiado de semejanzas entre Z y k[x], y
congratulndonos con el que permanece admirado por las coincidencias entre las
estructuras internas de ambos conjuntos (actitud muy recomendable para aprender
a hacer y a apreciar las matemticas), trabajaremos con las congruencias para
polinomios, denidas igualmente a las de los enteros y con propiedades similares
(algo que suponemos que empieza a no resultar extrao teniendo en cuenta a las
secciones anteriores). De todos modos, para tranquilidad de unos y regocijo de
otros, no nos extenderemos mucho en este punto; simplemente lo preciso.
Congruencia de polinomios
Sea p(x) k[x] un polinomio. Dados dos polinomios
f (x), g(x) k[x], diremos que f (x) y g(x) son congruentes
mdulo p(x), y escribiremos
f (x) g(x) (mKod p(x)),
si p(x) divide a f (x) g(x).
Nota 3.4.1. La relacin de congruencia mdulo un polinomio p(x) y tiene las
mismas propiedades que la de congruencia mdulo m de enteros. Por ejemplo:
La congruencia mdulo un polinomio es una relacin de equivalencia.
Las congruencias son compatibles con la suma.
Las congruencias son compatibles con la multiplicacin.
La congruencia es una relacin de equivalencia en k[x].
De la misma forma que construimos los anillos Z/Zm de las clases de con-
gruencias mdulo m, podemos considerar el conjunto de las clases de congruen-
cias de polinomios de k[x] mdulo un polinomio m(x), y lo denotaremos por
k[x]/(m(x)).
Proposicin 3.4.2. Si un polinomio m(x) tiene grado d, cualquier clase de con-
gruencia mdulo m(x) tiene un nico representante r(x) de grado estrictamente
menor que d.
49
PRUEBA: Sea un polinomio f (x) k[x]. Por el algoritmo de divisin tene-
mos que
f (x) = q(x)m(x) +r(x) , con grado(r(x)) < grado(m(x))
y f (x) r(x)(mKodm(x)). Como el resto de la divisin es nico, es l el repre-
sentante de menor grado buscado.
Dicho de otro modo, lo que esto prueba es que el conjunto de polinomios de
k[x] de grado estrictamente menor que el de m(x) es un conjunto completo de
representantes para k[x]/(m(x)).
Ejemplo 3.4.3. Sea m(x) = x
2
+1 Q[x]. Por la proposicin, cada elemento de
Q[x]/(m(x)) tiene un representante de grado menor o igual que 1. Como
x
2
1(mKodx
2
+1),
multiplicando por x tenemos que
x
3
x(mKodx
2
+1).
En general, es fcil ver por induccin en n que
x
2n
(1)
n
(mKodx
2
+1) y que x
2n+1
(1)
n
x(mKodx
2
+1).
Como Q es un cuerpo innito, existen innitos polinomios de grado menor o
igual que 1 en Q[x], y por tanto Q[x]/(x
2
+1) es un conjunto innito.
Si utilizramos ahora F
3
en lugar de Q, por lo anterior tendramos que
(F
3
)[x]/(x
2
+1) = {0, 1, 2, x, x +1, x +2, 2x, 2x +1, 2x +2}.
Al igual que hicimos cuando manejamos las congruencias en Z, podemos de-
nir sin problema la suma y la multiplicacin de clases de congruencias de polino-
mios como la clase denida por la suma y la multiplicacin, respectivamente, de
sus representantes. Es fcil comprobar que estas operaciones estn bien denidas
y verican las propiedades usuales de la suma y la multiplicacin, convirtiendo a
k[x]/(m(x)) en un anillo para cualquier polinomio m(x), y por ello lo dejaremos
como ejercicio para quien pretenda familiarizarse ms concienzudamente con las
congruencias en anillos de polinomios.
50
Teorema chino del resto
Sean m
1
(x), . . . , m
n
(x) k[x] polinomios primos entre s dos a
dos, y sean a
1
(x), . . . , a
n
(x) k[x] otros polinomios arbitrarios.
Entonces existe f (x) k[x] tal que:
f (x) a
1
(x) (mKodm
1
(x))
f (x) a
2
(x) (mKodm
2
(x))
.
.
.
.
.
.
f (x) a
n
(x) (mKodm
n
(x))
Adems, para que el polinomio

f (x) k[x] sea otra solucin es
condicin necesaria y suciente que se verique que
f (x)

f (x)(mKodm
1
(x)m
2
(x) m
n
(x)).
PRUEBA: La demostracin es, como se imaginar, estimado lector, anloga a la
del teorema homnimo en el contexto entero.
Puesto que m
i
(x) y m
j
(x) son primos entre s, para todo i = j , m
i
(x) es primo
con el producto
l
i
(x) = m
1
(x) m
i 1
(x)m
i +1
(x) m
n
(x).
As pues, por la identidad de Bzout, existirn
i
(x),
i
(x) k[x] tales que
1 =
i
(x)m
i
(x) +
i
(x)l
i
(x) , para cualquier i = 1, . . . , n.
Se tiene entonces que

i
(x)l
i
(x) 1 (mKodm
i
(x))

i
(x)l
i
(x) 0 (mKodm
j
(x)) , para todo i = j
Podemos tomar como solucin entonces
f (x) = a
1
(x)
1
(x)l
1
(x) +a
2
(x)
2
(x)l
2
(x) +. . . +a
n
(x)
n
(x)l
n
(x).
Vayamos a por el segundo aserto ahora. Si f (x)

f (x)( mKod m
1
(x) m
n
(x)),
existir un polinomio q(x) tal que f (x)

f (x) = q(x)m
1
(x) m
n
(x). Toman-
do en la anterior expresin clases de congruencia mdulo m
i
(x), es claro que
f (x)

f (x)(mKodm
i
(x)) para todo i , y por tanto, es solucin del problema.
Recprocamente, si f (x)

f (x)(mKodm
1
(x) m
n
(x)), es porque existen dos
51
polinomios q(x), h(x), siendo h(x) no divisible por m
1
(x) m
n
(x), tales que
f (x)

f (x) = q(x)m
1
(x) m
n
(x) +h(x). Como alguno de los m
i
(x) no pue-
de dividir a h(x), alguna de las congruencias mdulo m
i
(x) fallar, y por tanto

f (x) no ser solucin del problema.

Sistemas lineales de congruencias
Para resolver el sistema
f (x) a
i
(x)(mKodm
i
(x)) , i = 1, . . . , n,
siendo los m
i
(x) polinomios primos entre s y los a
i
(x) polino-
mios cualesquiera.
Tome, para cada i , l
i
(x) =
_

n
j =1
m
j
(x)
_
/m
i
(x). Aplique la
identidad de Bzout a cada pareja l
i
, m
i
para obtener la igualdad
1 =
i
(x)m
i
(x) +
i
(x)l
i
(x).
Las soluciones son
f (x) = a
1
(x)
1
(x)l
1
(x)+a
2
(x)
2
(x)l
2
(x)+. . .+a
n
(x)
n
(x)l
n
(x),
y los polinomios congruentes con l mdulo

n
j =1
m
j
(x).
3.5. Factorizacin en C[x] y en R[x]
Acontinuacin enunciaremos un resultado del que hablaremos con ms detalle
en la ltima seccin. Para lo que estamos tratando aqu, su importancia es que nos
dice cmo son los polinomios irreducibles sobre C. Ahora bien, su relevancia es
mucho mayor, pero no adelantemos acontecimientos y centrmonos de momento
en la factorizacin de polinomios.
Teorema fundamental del lgebra
Todo polinomio f (x) C[x] de grado positivo tiene una raz
compleja.
52
Corolario 3.5.1. Todo polinomio f (x) C[x] de grado positivo, digamos n,
tiene n races en C, esto es, se puede escribir como
f (x) =
n

i =1
(x
i
),
donde ,
i
C.
PRUEBA: Por el teorema fundamental del lgebra, f (x) tiene una raz
1
en
C. Por tanto, por el teorema del resto podemos escribir f (x) = (x
1
) f
1
(x).
Aplicando el mismo razonamiento a f
1
(x), y as sucesivamente, se llega, despus
de n 1 pasos, a una expresin de la forma
f (x) = (x
1
) (x
n1
) f
n1
(x),
donde f
n1
(x) es un polinomio de primer grado. Como f
n1
(x) se puede escribir
f
n1
(x) = x
n
, se tiene el resultado.
En virtud del corolario, el problema de dilucidar si un polinomio de C[x] es
irreducible o no es tremendamente sencillo; tanto como mirar su grado, pues los
nicos polinomios irreducibles en C[x] son los de grado 1. En R[x] no ocurre as,
ya que, por ejemplo, los polinomios x
2
+1 o x
3
15x 4 no se pueden factorizar
en producto de polinomios de primer grado, aunque tampoco es que la cuestin
de la factorizacin devenga complicada. Veamos cmo son los irreducibles en este
otro anillo.
Proposicin 3.5.2. Todo polinomio de R[x] de grado impar tiene una raz en R.
Todo polinomio de grado par se descompone en producto de polinomios de grados
1 o 2 (los cuales son irreducibles si y slo si sus races son complejas no reales).
PRUEBA: Sea f (x) R[x] un polinomio de grado positivo, digamos n. A
f (x) lo podemos mirar con otros ojos, como elemento de C[x], as que aplicamos
el teorema fundamental del lgebra para saber que f (x) tiene n races en C. Sea
f (x) = a
n
x
n
+a
n1
x
n1
+. . . +a
1
x +a
0
, a
i
R, i = 0, 1, . . . , n,
y sea = a +bi una raz de f (x). De
0 = f () = a
n
(a +bi )
n
+a
n1
(a +bi )
n1
+. . . +a
1
(a +bi ) +a
0
se deduce, tomando conjugados, que
0 = f () = f () = a
n
(a bi )
n
+a
n1
(a bi )
n1
+. . . +a
1
(a bi ) +a
0
.
53
En consecuencia, si es una raz de f (x), tambin debe serlo , luego las races
no reales de f (x) aparecen por pares de conjugadas. Si n es impar, tiene que haber
una raz que coincida con su conjugada, es decir, que sea real. Con esto probamos
el primer aserto.
En cuanto a la segunda armacin, obramos como sigue. Si = a +bi es una
raz compleja no real de f (x), el polinomio
(x )(x ) = x
2
2ax +(a
2
+b
2
)
divide a f (x) y tiene coecientes reales, con lo que podemos descomponer a f (x)
en producto de factores de grado 2 a lo sumo. La cuestin de si estos se pueden
descomponer a su vez en otros de grado 1 o son irreducibles es tan simple como
el hecho de que sus races sean reales o no.
3.6. Factorizacin en Q[x]
Sea f (x) k[x] un polinomio de grado 2 o 3. En ese caso, f (x) es reducible
si y slo si tiene una raz en k. En efecto, el hecho de que f (x) sea reducible
es equivalente a decir que tiene un divisor que es de grado 1. Si ste es ax b,
entonces b/a es una raz de f (x).
Naturalmente, lo anterior no funciona para grados mayores. Un polinomio
de grado 4 se puede descomponer, por ejemplo, en dos factores irreducibles de
grado 2, como x
4
+ 3x
2
+ 2 en Q, luego no tiene por qu tener races en k. Con
mayor razn ocurrir esto en grados ms altos. No obstante es bueno ver si un
polinomio dado tiene o no races en k. Si las tiene, y es de grado mayor que 1, es
automticamente reducible.
Si echamos la vista atrs al captulo anterior, la irreducibilidad de los enteros
(esto es, saber si un entero es primo o no) constitua un problema enormemente
difcil hasta 2002, mientras que en la seccin anterior hemos visto que cuando
k = C, R, en k[x] es bastante sencillo. Dependiendo de cules sean nuestros in-
tereses, las analogas que veamos hasta ahora entre k[x] y Z experimentan un
vuelco. Consideremos entonces el caso de k = Q. El problema de saber cundo
un polinomio de Q[x] es irreducible es, en cambio, algo intrincado si se pretende
resolver de manera realmente efectiva. Sin embargo, el problema de la localiza-
cin de races (que, como hemos notado en el prrafo anterior, es ms simple), s
se puede atacar, y es lo que haremos aqu.
Para empezar, notemos que si f (x) Q[x], es igual buscar sus races que las
de af (x), donde a Z. En particular, podemos suponer que f (x) est en realidad
54
en Z[x] (esto es, todos sus coecientes son enteros). En estas condiciones tenemos
el siguiente resultado, tambin conocido como Regla de Rufni:
Proposicin 3.6.1. Sea el polinomio
f (x) = a
n
x
n
+a
n1
x
n1
+. . . +a
1
x +a
0
, a
i
Z, i = 0, 1, . . . , n,
de grado n > 0. Supongamos que f (x) tiene una raz racional = a/b con a y
b primos entre s. Entonces a|a
0
y b|a
n
.
PRUEBA: En efecto, como a/b es raz de f (x),
0 = f (a/b) = a
n
(a/b)
n
+a
n1
(a/b)
n1
+. . . +a
1
(a/b) +a
0
,
luego, previa multiplicacin por b
n
, tenemos que
0 = a
n
a
n
+a
n1
a
n1
b +. . . +a
1
ab
n1
+a
0
b
n
.
Como a divide a todos los trminos salvo al ltimo y es primo con b, debe dividir
a a
0
. E igualmente, como b divide a todos los trminos salvo al primero y es primo
con a, debe dividir a a
0
.
Hemos visto que intentar localizar las races de los polinomios en Z[x] tiene
algo ms de futuro, o por lo menos es ms abarcable, que en Q[x], as que segui-
remos reducindonos al caso de los polinomios con coecientes enteros, donde la
factorizacin nica de los coecientes nos puede ser de ayuda.
Contenido de un polinomio
Dado un polinomio f (x) Z[x] no nulo, se llama contenido de
f (x) al mximo comn divisor de sus coecientes. Se denota por
c( f ). Se dir que f (x) es primitivo si su contenido es 1.
El siguiente resultado es conocido como Lema de Gauss, como tambin se
denomina del mismo modo a otros resultados en otros campos matemticos. Al
n y al cabo, Gauss fue un matemtico muy prolijo y no es de extraar que varios
lemas suyos hayan pasado a la historia con el mismo nombre. De hecho, se con-
funde incluso con un corolario suyo, pero el que presentamos es, en este contexto,
el verdadero histricamente hablando, y aparece, con otras palabras, en el Artcu-
lo 42 de su gran obra Disquisitiones Arithmeticae. (Los que entiendan el latn,
que sern la mayora, que no se preocupen, que en 1995 se edit una traduccin
al espaol.)
55
Lema de Gauss
El producto de dos polinomios primitivos es primitivo.
PRUEBA: Sean
f (x) = a
m
x
m
+a
m1
x
m1
+. . . +a
1
x +a
0
, a
i
Z, i = 0, 1, . . . , m,
g(x) = b
n
x
n
+b
n1
x
n1
+. . . +b
1
x +b
0
, b
j
Z, j = 0, 1, . . . , n
dos polinomios primitivos. Para probar que f (x)g(x) es primitivo basta ver que,
jado p Z irreducible, existe un coeciente de f (x)g(x) que no es divisible por
l.
Fijemos pues p irreducible. Sea s (resp t ) el entero 0 s m (resp. 0 t
n) tal que p|a
i
para todo i > s (resp. p|b
j
para todo j > t ), si se da el caso, y p
no divide a a
s
(resp. a b
t
). El coeciente de x
s+t
en f (x)g(x) es
a
0
b
s+t
+. . . +a
s1
b
t +1
+a
s
b
t
+a
s+1
b
t 1
+. . . +a
s+t
b
0
,
en el que se ve que p divide a todos los sumandos salvo a a
s
b
t
. As, p no divide a
la suma, lo que prueba el resultado.
Corolario 3.6.2. Si f (x), g(x) Z[x] son polinomios no nulos, entonces
c( f g) = c( f )c(g).
PRUEBA: Podemos escribir
f (x) = c( f ) f

(x), g(x) = c(g)g

(x)
donde f

(x) y g

(x) son primitivos. As

f (x)g(x) = c( f )c(g) f

(x)g

(x)
y, como f

(x)g

(x) es primitivo por el lema de Gauss, debe ocurrir que c( f )c(g) =

c( f g).
El siguiente resultado es engaosamente sencillo, pero de una importancia
extrema cuando se trata de factorizar polinomios, como comprobaremos ms ade-
lante.
56
Corolario 3.6.3. Sea f (x) Z[x] un polinomio de grado positivo, digamos n,
que se descompone en Q[x] en producto de dos polinomios de grados estric-
tamente menores que n. Entonces, se descompone en Z[x] en producto de dos
polinomios de esos mismos grados.
PRUEBA: Sea f (x) = f
1
(x)g
1
(x), donde f
1
(x), g
1
(x) Q[x] con grado( f
1
(x)) <
n y grado(g
1
(x)) < n. Multiplicando la anterior igualdad por un cierto elemento
a Z para quitarnos los denominadores de en medio del producto, se tendr que
af (x) = g(x)h(x) , g(x), h(x) Z[x].
De ah se deduce que ac( f ) = c(gh) = c(g)c(h), luego a|c(g)c(h). Por tanto, si
tomamos g(x) = c(g)g

(x), h(x) = c(h)h

(x), entonces
f (x) =
c(g)c(h)
a
g

(x)h

(x),
y sa es la descomposicin buscada.
Corolario 3.6.4. Sea f (x) Z[x] un polinomio de grado positivo, digamos n, y
primitivo. Entonces f (x) es reducible en Z[x] si y slo si lo es en Q[x].
PRUEBA: Muy, pero que muy simple; basta con releer el enunciado del coro-
lario anterior.
Terminaremos la teora de esta seccin con un criterio muy general de irredu-
cibilidad de polinomios, aunque no concluyente al no poderse aplicar a todos.
Proposicin 3.6.5. (Criterio de Eisenstein) Sea un polinomio de grado n > 0
f (x) = a
n
x
n
+a
n1
x
n1
+. . . +a
1
x +a
0
, a
i
Z, i = 0, 1, . . . , n.
Supongamos que existe un elemento irreducible p Z que divide a todos los
coecientes, salvo a a
n
, y cuyo cuadrado p
2
no divide a a
0
. Entonces f (x) es
irreducible en Q[x].
PRUEBA: Se har por reduccin al absurdo. Supongamos que f (x) fuese
reducible en Q[x]. En consecuencia se descompondra en Q[x] en producto de
dos polinomios de grado estrictamente inferior. Por el corolario anterior se puede
escribir
f (x) = (b
s
x
s
+b
s1
x
s1
+. . . +b
1
x +b
0
)(c
t
x
t
+c
t 1
x
t 1
+. . . +c
1
x +c
0
),
donde b
i
, c
j
Z para cualesquiera i, j y s, t < n.
57
Por la segunda hiptesis, p debe dividir a uno de entre b
0
y c
0
, pero no a
ambos. Supongamos pues sin prdida de generalidad que p|b
0
y no divide a c
0
.
Como p no divide a a
n
, no puede dividir a todos los b
i
. Sea m el mnimo ndice tal
que p no divide a b
m
, que sabemos que es menor que n. El coeciente del trmino
en x
m
es
b
m
c
0
+b
m1
c
1
+. . . +b
0
c
m
= a
m
,
que no es divisible por p pues todos los sumandos lo son salvo el primero. Ahora
bien, que a
m
con m < n no sea divisible por p es una contradiccin, luego hemos
terminado con la prueba.
Para terminar esta seccin veremos con ejemplos un procedimiento algo ele-
mental, pero procedimiento al n y al cabo (ya veremos mtodos ms sosticados)
para descomponer un polinomio con coecientes en Qen producto de sus factores
irreducibles.
Notemos antes los siguientes hechos:
Todo polinomio f (x) Q[x] se puede escribir como d f (x) = h(x), con
d Z, h(x) Z[x]. Por tanto, para obtener la descomposicin en Q de
f (x) puedo calcular la de h(x). Es decir, podemos considerar slo polino-
mios con coecientes enteros.
Sea f (x) Z[x]. Sabemos que f (x) = c( f )h(x), donde h(x) Z[x] y
es primitivo. Para obtener la descomposicin en Q de f (x) puedo calcular
la de h(x). Es decir, podemos considerar slo polinomios con coecientes
enteros y primitivos.
Ejemplo 3.6.6. Consideremos el polinomio f (x) = x
5
+ x
3
2x
2
2 Z[x],
primitivo. Si f (x) es reducible se podr poner como producto de dos polinomios
no constantes f (x) = g(x)h(x), con g(x), h(x) Z[x]. Como el polinomio de
partida es de grado 5, las posibilidades son:
1. grado(g(x)) = 1 y grado(h(x)) = 4
2. grado(g(x)) = 2 y grado(h(x)) = 3
Ahora se trata de probar manualmente"si es posible alguna de las posibilida-
des. Una respuesta negativa indicara que el polinomio de partida es irreducible.
El primer caso es el teorema de Rufni. Si g(x) = ax + b es de grado 1,
entonces b/a es una raz de f (x). Por tanto, se dar la posibilidad (1) si y slo si
f (x) tiene races racionales (notemos que este argumento es vlido independiente
del grado del polinomio de partida).
58
En nuestro ejemplo sabemos por Rufni que las posibles races de f (x) son
1, 2. Sustituyendo en f (x) comprobamos que ninguna es raz, luego la posi-
bilidad 1 no se da.
Veamos pues si es posible la segunda. Si lo fuera, existiran enteros a, b, c, d,
e, f y r tales que:
x
5
+ x
3
2x
2
2 = (ax
2
+bx +c)(dx
3
+ex
2
+ f x +r) =
= adx
5
+(ae +bd)x
4
+(af +be +cd)x
3
+(ar +bf +ce)x
2
+(br +cf )x +cr.
Este polinomio ser igual a f (x) si tienen los mismos coecientes. Por tanto, la
segunda posibilidad se da si y slo si existen unos enteros a, b, c, d, e, f y r
vericando que
S :
_

_
1 = ad
0 = ae +bd
1 = af +be +cd
2 = ar +bf +ce
0 = br +cf
2 = cr
Es decir, tenemos que tratar de resolver en Z el sistema de ecuaciones (no lineales)
S. La mejor forma es estudiar casos. La primera ecuacin nos dice que a = d = 1
o a = d = 1. Supongamos que a = d = 1. Si con esta eleccin encontramos
una solucin, ya tendramos los polinomios g(x) y h(x) y no habra necesidad
de seguir buscando. En caso contrario tendramos que resolver el sistema con
a = d = 1.
Si a = d = 1, el sistema anterior es:
S :
_

_
0 = e +b
1 = f +be +c
2 = r +bf +ce
0 = br +cf
2 = cr
De la ltima ecuacin nos surgen los siguientes casos: (1) c = 1, r = 2, (2)
c = 1, r = 2, (3) c = 2, r = 1 y (4) c = 2, r = 1.
Caso (1). El sistema a resolver es
S :
_

_
0 = e +b
1 = f +be 1
2 = 2 +bf e
0 = 2b f
59
Sustituyendo e = b, f = 2b en la segunda ecuacin se obtiene b
2
2b +2 = 0
que no tiene solucin entera. Por tanto este caso es imposible.
Caso (2). El sistema a resolver es
S :
_

_
0 = e +b
1 = f +be +1
2 = 2 +bf +e
0 = 2b + f
,
que tiene como solucin b = e = f = 0.
Concluyendo, llegamos a que f (x) es reducible y su descomposicin es fac-
tores irreducibles es f (x) = (x
2
+ 1)(x
3
2). Los polinomios x
2
+ 1 y x
3
2
son irreducibles pues no tienen races racionales.
Como el lector atento habr podido observar al nal no ha sido necesario lidiar
con el caso en que a = d = 1. Esto es porque si el polinomio de partida es
mnico, podemos suponer que los factores en que se descompone son tambin
mnicos. De haber supuesto esto, habramos obtenido los polinomios x
2
1 y
x
3
+2.
3.7. Factorizacin en F
p
[x]
El mismo procedimiento artesanal que hemos usado en la seccin anterior
para factorizar en Q[x] se puede usar para obtener la descomposicin en factores
irreducibles de polinomios con coecientes en F
p
, con p primo. No obstante, esta
seccin tambin contendr algn resultado que justique ms su existencia, y no
un ejemplo solamente.
Ejemplo 3.7.1. Consideremos el polinomio f (x) = x
4
+x
3
+x +2 F
3
[x]. Si
f (x) es reducible se puede expresar como producto de dos polinomios no cons-
tantes f (x) = g(x)h(x), con g(x), h(x) F
3
[x]. Como el polinomio de partida
es de grado 4, las posibilidades son:
1. grado(g(x)) = 1 y grado(h(x)) = 3
2. grado(g(x)) = 2 y grado(h(x)) = 2
El primer caso se resuelve, como en Q, comprobando si f (x) posee alguna raz
en F
3
. Como F
3
= {0, 1, 2} es nito, basta comprobar si algn elemento es raz.
En nuestro caso f (0) = 2, f (1) = 2 y f (2) = 1, luego la primera posibilidad no
se da.
60
Para estudiar el segundo supuesto escribamos
f (x) = (x
2
+ax +b)(x
2
+cx +d)
(ntese que ya estamos asumiendo que los factores sern mnicos como f (x)).
Operando e igualando coecientes obtenemos el sistema
S :
_

_
1 = a +c
0 = b +ac +d
1 = ad +bc
2 = bd
De la cuarta ecuacin, teniendo en cuenta los elementos de F
3
, obtenemos que
o bien b = 1 y d = 2, o bien b = 2 y d = 1. Ahora bien, dado que ambos
polinomios son de grado 2, podramos reordenarlos si se diera lo segundo para
suponer sin prdida de generalidad que b = 1 y d = 2. El sistema se queda del
siguiente modo:
S :
_
_
_
1 = a +c
0 = ac
1 = 2a +c
Su nica solucin es a = 0, c = 1. Por consiguiente, f (x) = (x
2
+1)(x
2
+x +2)
es la descomposicin en factores irreducibles buscada. (Los polinomios x
2
+1 y
x
2
+ x +2 son irreducibles al no tener races en F
3
.)
Para ilustrar la importancia del problema de factorizar sobre F
p
[x] de la que
hablbamos antes veamos cmo podemos relacionar la irreducibilidad en Q y en
F
p
, con p primo. Sea
f (x) = a
n
x
n
+. . . +a
1
x +a
0
Z[x]
primitivo, sea p un primo que no divida a a
n
, y llamemos f (x) al polinomio
f (x) = a
n
x
n
+. . . +a
1
x +a
0
F
p
[x],
siendo a
i
= a
i
+Zp, 0 i n.
Proposicin 3.7.2. Si f (x) es irreducible en F
p
[x], entonces f (x) es irreducible
en Q[x].
PRUEBA: Aqul que seguramente por algn despiste todava no se haya dado
cuenta del argumento de la prueba, que tenga en cuenta que para cualesquiera
polinomios f (x), g(x), f (x)g(x) = f (x)g(x) y que escriba el contrarrecproco
del enunciado.
Veamos, con un ejemplo, cmo podemos usar el resultado anterior.
61
Ejemplo 3.7.3. Sea f (x) = x
4
x
3
+ x
2
x + 1 Z[x]. Tomemos p = 2.
Entonces f (x) = x
4
+x
3
+x
2
+x +1 F
2
. Ya que f (0) = 1 y f (1) = 1, f (x)
no tiene races en F
2
.
Como en caso de ser reducible, ningn factor de la descomposicin de f (x)
sera de grado 1, pongamos por caso que
f (x) = (x
2
+ax +b)(x
2
+cx +d).
Como otras veces, operando e igualando coecientes obtenemos el sistema
S :
_

_
1 = a +c
1 = b +ac +d
1 = ad +bc
1 = bd
La ltima ecuacin nos dice que b = d = 1, y sustituyendo en el resto nos
quedamos con
S :
_
1 = a +c
1 = ac
,
que no tiene solucin. Por tanto, f (x) es irreducible en F
2
y as, por la proposi-
cin, f (x) es irreducible sobre Q.
Nota 3.7.4. Si bien en apariencia este procedimiento simplica los clculos a la
hora de estudiar si un polinomio es o no irreducible sobre Q, tiene un grave in-
conveniente. El recproco de la proposicin anterior es falso. Por ejemplo, el po-
linomio x
2
+2 es irreducible sobre Q, pero f (x) = x
2
F
2
[x] es reducible, o el
polinomio x
2
x +1, irreducible en Q y con f (x) reducible en F
3
.
3.8. Factorizacin efectiva en Q[x] y F
p
[x]*
En las ltimas secciones hemos dado un largo paseo por la factorizacin de po-
linomios, pero quiz pecaba de demasiado terico, o poco efectivo. El objetivo de
esta leccin es dar dos opciones, computacionalmente efectivas y ms sosticadas
que las vistas hasta ahora, para atacar el problema de la factorizacin de polino-
mios sobre los racionales (mtodo de los polinomios interpoladores de Lagrange)
y sobre los cuerpos primos (mtodo de Berlekamp).
El mtodo de los polinomios interpoladores de Lagrange, como su propio
nombre indica, no es ms que una adaptacin a nuestro contexto del clsico mto-
do de interpoladores lineales de Lagrange del Clculo Numrico. En la literatura
tambin se le conoce como mtodo de Kronecker.
62
Comencemos con el caso de un polinomio f (x) Z[x] de grado n y sea
d = n/2. Obviamente, salvo que f (x) sea irreducible, alguno de sus factores
irreducibles ha de tener grado menor o igual que d, por lo que basta buscar los
posibles factores que verican esta condicin.
Para ello jaremos d +1 enteros distintos (normalmente lo ms cerca posible
de 0, por motivos de comodidad) a
0
, a
1
, . . . , a
d
y hallaremos
n
i
= f (a
i
), i = 0, . . . , d.
Ahora bien, si g(x) es un factor del tipo que busco de f (x), ha de vericar que
s
i
= g(a
i
) divide al n
i
correspondiente. As pues, jaremos una (d + 1)-upla de
divisores, de la forma
(s
0
, s
1
, . . . , s
d
) , donde s
i
|n
i
, i = 0, . . . , d.
Recordemos que g(a
i
) es precisamente g(x)(mKodx a
i
). En ese caso, por el
teorema chino del resto, g(x) ha de ser entonces una solucin al sistema
g(x) s
0
(mKodx a
0
)
g(x) s
1
(mKodx a
1
)
.
.
.
.
.
.
g(x) s
d
(mKodx a
d
)
Lo que hemos escrito en otras palabras y smbolos es la imposicin de que g(a
i
) =
s
i
= s
i
(mKodx a
i
) para todo i . Sabemos que este sistema tiene solucin nica
(pues los x a
i
son primos entre s) de grado menor o igual que d. As pues, jado
un vector de divisores, tenemos un posible divisor de f (x). Como los posibles
vectores de divisores son nitos, este procedimiento nos da una lista exhaustiva
de todos los posibles divisores de f (x) de grado menor o igual que d. Es ms,
podemos quedarnos con la mitad de vectores de divisores, pues la nica solucin
asociada a (s
0
, s
1
, . . . , s
d
) ser as el opuesto de la que verique el sistema
con (s
0
, s
1
, . . . , s
d
).
Polinomios interpoladores de Lagrange
Para factorizar un polinomio f (x) Z[x].
Sea d = n/2, tome d +1 enteros distintos a
i
. Forme la (d +1)-
upla ( f (a
i
)).
Forme todas las posibles (d+1)-uplas (s
i
) formadas por divisores
de los f (a
i
), y resuelva el sistema g(x) s
i
(mKodx a
i
), para
todo i , y todas las (d +1)-uplas que no se diferencien en un signo.
Si f (x) es reducible, de entre las soluciones no constantes, al
menos dos sern un factor de f (x).
63
Ejemplo 3.8.1. Aprovechando que ya hemos factorizado algunos polinomios en,
recuperemos uno de ellos para aplicarle el mtodo que acabamos de detallar. Sea
pues el polinomio f (x) = x
4
+ x
3
+ x 1 Z[x], primitivo. Como tiene grado
4, elegimos 5 puntos cercanos al cero para evitarnos hacer cuentas ms latosas.
Calculamos los valores que toma f (x) en esos puntos:
f (2) = 5 , f (1) = 2 , f (0) = 1 , f (1) = 2 , f (2) = 25.
Podemos formar 768 quntuplas distintas, de las que nos quedamos con 384, la
mitad. Evidentemente no vamos a comprobar todas ellas en el reducido espacio
con el que contamos, sin mencionar la penosa tarea para el que escribe estas lneas
que supondra dicho clculo. No obstante, cualquier programa de clculo efectua-
ra esos clculos sin rechistar, y al n y al cabo es por esa razn por la que se
comenta este mtodo aqu.
Una vez aclarado lo anterior, sigamos con el ejemplo y probemos con la qun-
tupla (1, 1, 1, 1, 5). Tenemos as el siguiente sistema de congruencias:
S :
_

_
g(x) 1 (mKodx +2)
g(x) 1 (mKodx +1)
g(x) 1 (mKodx)
g(x) 1 (mKodx 1)
g(x) 5 (mKodx 2)
,
que tiene como solucin al polinomio x
2
+ x 1. Si dividimos f (x) entre aqul,
obtenemos como cociente x
2
+1, que se consegua al tomar la quntupla (5,2,1,2,5).
Por consiguiente, f (x) es reducible, y como los de grado 2 que hemos obtenido
son irreducibles sobre Q, hemos terminado de calcular su descomposicin.
Si hubiramos seguido buscando factores, no habramos obtenido ms que los
opuestos de los anteriores. Por ejemplo, la quntupla (1,2,1,1,1) nos habra dado
como resultado el polinomio
x
4
6
+
x
3
6
+
2x
2
3

2x
3
+1, que evidentemente no es
factor de f (x).
El algoritmo de Berlekamp para factorizar en F
p
[x] data de 1967, fecha de
publicacin del artculo en donde se detallaba. Se basa en una idea sencilla, y
gracias a eso y a su efectividad, ha sido desde entonces uno de los ms utilizados,
tanto para programar como para servir de ejemplo de algoritmo de factorizacin
en caracterstica positiva. La idea de la que hablbamos se presenta en el siguiente
teorema.
64
Teorema de Berlekamp
Sea f (x) F
p
[x] de grado n, sin factores mltiples y mnico, y
supongamos que existe un polinomio g(x) tal que
f (x)|
_
g(x)
p
g(x)
_
.
Entonces
f (x) =
p1

s=0
mcd( f (x), g(x) s),
aunque varios de estos factores pueden ser polinomios constantes.
PRUEBA: Si hacemos memoria del no tan lejano captulo anterior, recordaremos
que en F
p
tenamos que
x
p
x =
p1

s=0
(x s),
lo cual en particular implica que
g(x)
p
g(x) =
p1

s=0
(g(x) s).
Hay que decir que todos estos factores son primos entre s al diferenciarse en una
constante.
Probemos entonces la igualdad que hemos enunciado. Por un lado, no es nada
dicultoso ver que
p1

s=0
mcd( f (x), g(x) s)| f (x),
pues todos los elementos de la izquierda dividen a f (x) y como los g(x) s son
primos entre s tambin lo sern los divisores comunes.
En el otro sentido, si tomamos un factor irreducible de f (x), pongamos h(x),
debe dividir a g(x)
p
g(x), luego dividir tambin a alguno de los g(x) s y, de
igual modo a mcd( f (x), g(x) s).
En conclusin, los dos miembros de la igualdad se dividen mutuamente y al
ser mnicos, son iguales.
65
A partir de aqu, la factorizacin de f (x) F
p
[x] queda reducida por un lado
a encontrar g(x) de grado r < n tal que
f (x)|(g(x)
p
g(x)),
y posteriormente a aplicar el algoritmo de Euclides p veces. Notemos entonces
que por estar en caracterstica positiva y por el pequeo teorema de Fermat,
si g(x) =
n1

i =0
a
i
x
i
, entonces g
p
(x) =
n1

i =0
a
i
x
i p
.
Vamos entonces a buscar un tal polinomio g(x) (concretamente, vamos a bus-
car sus coecientes a
0
, . . . , a
n1
). Dividamos as los monomios x
i p
entre f (x),
que al tener grado n obtendremos
x
0p
= q
0
(x) f (x) +r
0
(x) = q
0
(x) f (x) +r
00
+r
10
x
1
+. . . +r
n1,0
x
n1
x
1p
= q
1
(x) f (x) +r
1
(x) = q
1
(x) f (x) +r
01
+r
11
x
1
+. . . +r
n1,1
x
n1
.
.
.
x
(n1) p
= q
n1
(x) f (x) +r
n1
(x) = q
n1
(x) f (x) +r
0,n1
+r
1,n1
x
1
+. . . +r
n1,n1
x
n1
Por la unicidad de la divisin eucldea, el resultado de dividir g
p
(x) entre f (x) es
el dado por la expresin
g
p
(x) =
n1

i =0
a
i
x
i p
=
_
n1

i =0
a
i
q
i
(x)
_
f (x) +
n1

i =0
a
i
r
i
(x),
y por el mismo motivo, el de dividir g
p
(x) g(x) entre f (x) es
g
p
(x)g(x) =
n1

i =0
a
i
x
i p

n1

i =0
a
i
x
i
=
_
n1

i =0
a
i
q
i
(x)
_
f (x)+
n1

i =0
(a
i
r
i
(x)a
i
x
i
).
Por consiguiente, g(x) verica lo que queremos si y slo si
0 =
n1

i =0
(a
i
r
i
(x) a
i
x
i
),
o escrito en forma matricial, tomando la matriz de orden n n R = (r
i j
), si y slo
si
(a
0
, . . . , a
n1
)
t
es solucin del sistema (R I
n
) x = 0.
As, gracias al algoritmo de Berlekamp, factorizar en F
p
[x] se reduce a re-
solver ciertos sistemas de ecuaciones lineales y aplicar el algoritmo de Euclides,
operaciones ambas que se pueden realizar de manera muy eciente.
66
Algoritmo de Berlekamp
Para factorizar un polinomio f (x) F
p
[x] de grado n.
Para cada i = 0, . . . , n 1, efecte las divisiones de x
i p
entre
f (x) para obtener los restos
r(x) = r
0i
+r
1i
x
1
+. . . +r
n1,i
x
n1
.
Construya la matriz R = (r
i j
), y plantee el sistema lineal
(R I
n
) x = 0.
Si el sistema no tiene solucin, f (x) es irreducible. Si tiene una
solucin (a
0
, . . . , a
n1
)
t
que represente a un polinomio no cons-
tante, f (x) se descompone como
p1

s=0
mcd
_
f (x), (a
0
s) +a
1
x +. . . +a
n1
x
n1
_
.
Ejemplo 3.8.2. Ilustremos tambin este mtodo con el mismo polinomio que el
anterior ejemplo, pero considerado en F
3
[x]. Sea as f (x) = x
4
+ x
3
+ x +2
F
3
[x]. Dividimos determinadas potencias de x entre f (x) y obtenemos:
1 = q
0
(x) f (x) +r
0
(x) = 0 f (x) +1
x
3
= q
1
(x) f (x) +r
1
(x) = 0 f (x) + x
3
x
6
= q
1
(x) f (x) +r
1
(x) = q
2
(x) f (x) +1 + x +2x
2
+ x
3
x
9
= q
1
(x) f (x) +r
1
(x) = q
3
(x) f (x) + x
Los cocientes no los hemos indicado todos porque slo nos interesan los restos
para formar la matriz. En nuestro caso,
R =
_
_
_
_
1 0 1 0
0 0 1 1
0 0 2 0
0 1 1 0
_
_
_
_
.
El sistema lineal en F
3
[x] que tenemos que resolver es
_
_
_
_
0 0 1 0
0 2 1 1
0 0 1 0
0 1 1 2
_
_
_
_
x = 0,
67
que tiene como solucin cualquier vector de la forma x = (, , 0, )
t
, donde
, F
3
. Si tomamos = 1, = 0, obtenemos la constante 1, que obviamente
cumple que f (x)|1
3
1 = 0. Escogiendo pues = 0, = 1 conseguimos la
descomposicin
f (x) = mcd( f (x), x
3
+x)mcd( f (x), x
3
+x+1)mcd( f (x), x
3
+x+2) = (x
2
+1)(x
2
+x+2)1.
3.9. El teorema fundamental del lgebra*
El contenido de esta seccin est tomado del artculo The Fundamental Theo-
rem of Algebra and Linear Algebra, de Harm Derksen, publicado en el American
Mathematical Monthly 110 (2003), nmero 7, pginas 620-623. El objetivo que
perseguimos es dar una prueba del teorema fundamental del lgebra con argumen-
tos puramente algebraicos y a la vez asequible al lector que no tenga un conoci-
miento profundo de esta materia, pues solamente usa algunas nociones de lgebra
lineal.
Teorema fundamental del lgebra
Todo polinomio no constante de C[x] tiene una raz en C.
Si de algo no se puede quejar alguien que se acerque por primera vez al teo-
rema que nos ocupa, es por falta de demostraciones. Existe una cantidad con-
siderable de pruebas distintas, y usando tcnicas variopintas. Desde la primera,
elaborada por Gauss en su tesis doctoral de 1799 (aunque con algn fallo en el
rigor matemtico), hasta esta que aqu expondremos, existen pruebas topolgicas,
usando propiedades de la curva compleja que describe un polinomio, pruebas ana-
lticas, que utilizan el teorema de Liouville de que toda funcin entera es acotada,
pruebas algebraicas, basndose en la teora de Galois entre otras herramientas, o
incluso mixturas de los tres tipos anteriores.
Vayamos, sin ms dilacin, al desarrollo de la prueba. Para ello, denamos la
propiedad P
k,r
(d), donde k es un cuerpo, R o C, y r = 1, 2. Su enunciado es el
siguiente:
P
k,r
(d): Dados r endomorsmos A
i
que conmuten entre todos de un k-espacio
vectorial V de dimensin n, no divisible por d, existe un autovector no nulo que
es comn a todos ellos.
68
Para probar el teorema, bastara con demostrar que se cumple la propiedad
P
C,1
(2
r
) para todo r N. As, para cualquier polinomio (que podemos suponer
mnico sin problema) no constante f (x) C[x], se tiene que
f (x) = x
n
+a
n1
x
n1
+. . .+a
0
= det(x I
n
A) , con A =
_
_
_
_
_
0 0 0 a
0
1 0 0 a
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 1 a
n1
_
_
_
_
_
Como A representa a un endomorsmo de C y existe algn r tal que 2
r
no divide
a n, A tendra un autovector no nulo. Su autovalor asociado sera raz de f (x), y
habramos acabado.
As pues, para probar P
C,1
(2
r
) seguiremos el camino marcado a travs de di-
versos lemas, cada uno apoyndose en los anteriores. Como en la demostracin de
arriba, denotaremos por A
i
tanto a un endomorsmo como a su matriz asociada.
Lema 3.9.1. Si se tiene P
k,1
(d), tambin se cumple P
k,2
(d).
PRUEBA: Sean A
1
y A
2
dos endomorsmos que conmutan de un k-espacio
vectorial V de dimensin n no divisible por d. Vamos a probar por induccin
en n que tienen un autovector en comn. Si n = 1, cada A
i
no es ms que la
multiplicacin por una constante, y todos los vectores de V son propios, siendo
trivial el aserto. Supongamos pues que tambin es cierto si dimV < n, y vemoslo
para dimV = n.
Como P
k,1
(d) se cumple, A
1
tiene un autovalor k. Sean W y Z, res-
pectivamente, el ncleo y la imagen del endomorsmo A
2
I . Como A
1
y A
2
conmutan, W y Z permanecen jos por A
1
.
Supongamos que W = V. Entonces, como dimW + dim Z = dimV, d no divi-
dir a al menos alguna de las dos dimensiones, y adems ambas son menores que
n. Por tanto, por la hiptesis de induccin, A
1
y A
2
compartirn un autovector no
nulo directamente en W o en Z.
Si W = V, cualquier vector propio de A
1
v cumple que A
2
v = v, luego tambin
tenemos la propiedad.
Lema 3.9.2. Si k = R, P
k,r
(2) son ciertas para r = 1, 2.
PRUEBA: Por el lema anterior bastara probar que P
R,1
(2) es cierta, esto es,
que todo endomorsmo de un espacio vectorial sobre R de dimensin impar tiene
un autovector no nulo, pero eso es equivalente a que su polinomio caracterstico
f (x) = det(x I A) tenga alguna raz en R. Ahora bien, f (x) es un polinomio de
69
grado impar con coecientes reales, y ya hemos visto que siempre tiene al menos
una raz real.
Lema 3.9.3. Todo endomorsmo de un C-espacio vectorial de dimensin impar
tiene un autovector no nulo, esto es, P
C,1
(2) se cumple.
PRUEBA: Sea A : C
n
C
n
un endomorsmo con n impar, y sea V =
Herm
n
(C), el R-espacio vectorial de las matrices hermticas (aquellas que A

=
A
t
= A) de orden n n. Consideremos los siguientes endomorsmos R-lineales
de V denidos como:
L
1
(B) =
AB + BA

2
, L
2
(B) =
AB BA

2i
.
Ver que L
1
y L
2
estn bien denidos y conmutan es un clculo bien sencillo y no
lo escribiremos en estas lneas.
Sabemos que dim
R
V = n
2
, que es impar. Entonces, por el lema anterior, L
1
y L
2
comparten un autovector no nulo al cumplirse P
R,2
(2). Sea B ese autovector
en V, cuyos valores propios asociados sean y respectivamente. En ese caso,
(L
1
+i L
2
)(B) = AB = ( +i )B,
luego cualquier columna no nula de Bconstituir uno de los autovectores buscados
para A.
Ya hemos acabado el ensamblaje de lemas previos al resultado que nos bastaba
para probar el teorema fundamental del lgebra. Como el lector interesado (pues
ya por llegar hasta aqu ha demostrado un inters digno de mencin) podr ver,
no hemos usado ms que algunas propiedades bsicas de espacios vectoriales y
matrices, asequibles a cualquier alumno con nociones bsicas de lgebra lineal y
que, evidentemente, presuponemos aqu, pues no es competencia de este texto el
explicar dichas nociones, sin que eso signique ningn menoscabo a ellas. Pero
no nos alejemos del tema que nos ocupa y demostremos la proposicin siguiente.
Proposicin 3.9.4. Para todo r N se cumple P
C,1
(2
r
).
PRUEBA: Se har por induccin en r. Si r = 1 es el enunciado del lema
anterior, as que supongamos como hiptesis de induccin que tenemos P
C,1
(2
l
),
con l < r.
Tomemos pues un endomorsmo C-lineal A : C
n
C
n
, con n divisible por 2
r1
pero no por 2
r
. Esto lo podemos asumir, puesto que si n no fuera divisible por
2
r1
estaramos en el caso de probar P
C,1
(2
r1
). Sea V = Ant
n
(C) el C-espacio
70
vectorial de las matrices antisimtricas con coecientes complejos. Denamos dos
endomorsmos de V, L
1
y L
2
como
L
1
(B) = AB BA
t
, L
2
(B) = ABA
t
.
De nuevo, no probaremos que estn bien denidos ni que conmutan entre ellos, y
se lo dejaremos al lector con afn de comprobacin.
Notemos que 2
r1
no divide a dimV, que es igual a n(n 1)/2. Por tanto, por
la hiptesis de induccin, existe un vector propio B comn a L
1
y L
2
. Sean sus
autovalores asociados y , respectivamente. As,
B = ABA
t
= A(AB B),
es decir,
(A
2
A I )B = 0.
Sea v un vector columna de B, y sean y las dos races complejas del polinomio
x
2
x , que s que sabemos que tiene races en C, porque es de grado 2. Si
llamamos w = (A I )v y es no nulo, tenemos que (A I )w = 0, y hemos
terminado, siendo w el autovector que buscbamos. Si w = 0 eso querra decir
que (A I )v = 0, siendo v el vector propio buscado.
71
72
Captulo 4
Conjuntos
4.1. Conjuntos. Operaciones bsicas
Comenzaremos dando una nocin intuitiva de uno de los conceptos matem-
ticos ms importantes: el de conjunto. La Teora de conjuntos, desde el punto
de vista axiomtico, fue introducida por Georg Cantor. Cantor naci en San Pe-
tersburgo en 1845, donde vivi sus primeros once aos. Desde 1869 ejerci como
profesor en la universidad de Halle. Entre 1879 y 1884 Cantor public una serie
de seis artculos en el Mathematische Annalen en los que desarrollaba una intro-
duccin bsica a la teora de conjuntos. Falleci en 1917.
Conjunto
Llamaremos conjunto a una coleccin de objetos, distintos entre
s, que comparten una propiedad. Para que un conjunto est bien
denido debe ser posible discernir si un objeto arbitrario est o
no en l.
Los conjuntos pueden denirse de manera explcita, citando todos sus elemen-
tos entre llaves, por ejemplo
A = {1, 2, 3, 4, 5},
o de manera implcita, dando una o varias caractersticas que determinen si un
objeto dado est o no en el conjunto, por ejemplo
A = {x | x es un nmero natural par},
73
que se leer: A es el conjunto formado por los x tales que x es un nmero natural
par. Esta ltima opcin (la denicin implcita) es obviamente imprescindible
cuando el conjunto en cuestin tiene una cantidad innita de elementos.
Los conjuntos se notarn con letras maysculas: A, B,... y los elementos con
minsculas, en general. Si el elemento a pertenece al conjunto A escribiremos
a A. En caso contrario escribiremos a / A.
En ocasiones hay que considerar varios conjuntos en pie de igualdad. En estos
casos es frecuente denotar los distintos conjuntos con la misma letra y un subndi-
ce que los diferencia. Los subndices pueden ser nitos y concretos, por ejemplo,
X
1
, X
2
, X
3
, X
4
, X
5
;
nitos pero en cantidad desconocida,
X
1
, X
2
, ..., X
n
, donde n N,
o arbitrarios; un ejemplo de esto sera considerar
{A
i
}
i I
,
que se leera: la familia de conjuntos A
i
donde i pertenece a I . Aqu I es el
conjunto de subndices que puede o no ser nito (en los ejemplos anteriores I =
{1, 2, 3, 4, 5}, I = {1, 2, . . . , n} con n N y tambin I podra ser todo N).
Ejemplo 4.1.1. 1) Para cada i = 0, 1, . . . , 9, denimos los conjuntos X
i
como
X
i
= {Espaoles cuyo ao de nacimiento termina en i }.
2) Para cada n N, denimos el conjunto
A
n
= {m Z | m es mltiplo de n}.
De esta forma se tiene una familia innita {A
n
}
nN
de conjuntos. En particular, si
n = 5 se tiene
A
5
= {. . . , 10, 5, 0, 5, 10, . . . }.
Un conjunto que carece de elementos se denomina el conjunto vaco y se
denota por . Un conjunto con un nico elemento se denomina unitario.
Notemos que, si X = {x} es un conjunto unitario, debemos distinguir entre el
conjunto X y el elemento x.
Subconjunto
Dados dos conjuntos A y B, si todo elemento de A es a su vez
elemento de B diremos que A es un subconjunto de B y lo nota-
remos A B. En caso contrario se notar A B.
74
Denicin 4.1.2. Dados dos conjuntos A y B, diremos que son iguales si tienen
los mismos elementos, es decir, si se verica que A B y B A, y lo notaremos
por A = B.
Esta denicin nos lleva al procedimiento ms habitual de demostracin en
teora de conjuntos: la prueba por doble inclusin. Si queremos probar que dos
conjuntos A y B son iguales, lo que haremos es probar que A B y que B A.
A lo largo de esta seccin veremos algunos ejemplos de esta tcnica.
Cuando trabajamos con conjuntos concretos, siempre existe un contexto don-
de esos conjuntos existen. Por ejemplo, si A = {1, 1, 2, 3, 4, 5} y B = {x | x
N es par}, el contexto donde podemos considerar A y B es el conjunto de los n-
meros enteros, Z. En general, a este conjunto se le denomina conjunto universal
y se denota por U. De una forma algo ms precisa, sin olvidar que estamos dando
nociones intuitivas, podemos dar la siguiente denicin:
Conjunto universal
Conjunto universal o de referencia, que lo notaremos por U, es un
conjunto del que son subconjuntos todos los posibles conjuntos
que origina el problema que tratamos.
A lo largo de estas notas supondremos, salvo que se especique lo contrario,
que todos los conjuntos que usamos estn contenidos en U. De esta forma, dado
un conjunto A, podemos representarlo con un diagrama de Venn.
A
U
Figura 4.1: Diagrama de Venn
Proposicin 4.1.3. Sean A, B y C tres conjuntos cualesquiera. Se tienen las si-
guientes propiedades:
(a) A A, A.
(b) Si A B y B C, entonces A C.
75
PRUEBA: La primera propiedad se sigue directamente de la denicin.
La demostracin de (b) se sigue de la denicin de subconjunto: todo elemento
de A est en B, por ser A B y, dado que es elemento de B, est en C por ser
B C. As todo elemento de A est en C y hemos nalizado.
Los subconjuntos de A distintos de y A se denominan subconjuntos propios
de A.
Complementario
Dado un conjunto A se dene el complementario de A, notado
por A o A
c
, como
A = {x | x U, x / A}.
A
U
Figura 4.2: Complementario
Dado A U, se dan las siguientes igualdades:
= U, U = , A = A.
Nos detendremos solamente en la tercera de las anteriores propiedades. En
efecto, por denicin
A = {x | x U, x / A},
pero para un x U, x / A si y slo si x A, por tanto los elementos de A son
precisamente los de A.
Cardinal de un conjunto
Cuando A es un conjunto nito, el nmero de elementos de A se
denomina cardinal de A y se notar (A).
76
Unin de conjuntos
Dados dos conjuntos A y B se dene la unin de A y B, notado
A B, como el conjunto formado por aquellos elementos que
pertenecen al menos a uno de los dos conjuntos, A B, es decir
A B = {x | x A x B}.
U
A
B
Figura 4.3: Unin
Ejemplo 4.1.4. 1) Sean A = {a, b, c} y B = {2, 5, 7, c, a}, entonces
A B = {a, b, c, 2, 5, 7}.
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
A B = {x Q | 4 x 7}.
3) Sean A = {Alumnos nacidos en enero} y B = {Alumnos nacidos en da par},
entonces
A B = {Alumnos nacidos en da par o en los das impares de enero}.
Se denen de forma equivalente la unin de una cantidad nita de conjuntos
A
1
, ..., A
n
, que denotaremos
A
1
... A
n
=
n
_
i =1
A
i
,
y la unin de una familia arbitrariamente grande de conjuntos {A
i
}
i I
, que deno-
taremos
_
i I
A
i
.
77
Propiedades de la unin
La unin de conjuntos verica las siguientes propiedades, para
cualesquiera conjuntos A, B y C:
(a) Conmutativa: A B = B A.
(b) Asociativa: (A B) C = A (B C).
(c) A A B, B A B.
(d) A = A.
(e) A B si y slo si A B = B.
PRUEBA: (a) Los elementos de A B son los que pertenecen a A o a B
que, evidentemente, son los mismos elementos que pertenecen a B o a A, es decir
A B = B A. La prueba de (b) se hace igual.
(c) Sea a A. Es claro que a A B pues el elemento a verica que est en A
o en B. Anlogamente B A B.
(d) Probaremos esta propiedad por doble inclusin. Por (c) tenemos que A
A. Recprocamente,sea a A. Esto quiere decir que el elemento a tiene
que estar, al menos, en uno de los conjuntos o A. Sabemos que a / , luego
a A.
(e) Supongamos que A B. Para probar que A B = B basta probar que
A B B, pues la otra inclusin la tenemos por (c). Sea x A B, entonces
x A o x B. Pero si x A, como A B se tiene que x B.
Recprocamente, supongamos que A B = B. Entonces, por (c) tenemos
A A B = B.

Interseccin de conjuntos
Dados dos conjuntos A y B se dene la interseccin de A y B,
notado A B, como el conjunto formado por aquellos elementos
que pertenecen al mismo tiempo a ambos conjuntos, A y B, es
decir
A B = {x | x A x B}.
78
U
A
B
Figura 4.4: Interseccin
Ejemplo 4.1.5. 1) Sean A = {a, b, c} y B = {2, 5, 7, c, a}, entonces
A B = {a, c}.
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
A B = {x Q | 2 x 3}.
3) Sean A = {Alumnos nacidos en enero} y B = {Alumnos nacidos en da par},
entonces
A B = {Alumnos nacidos en los das pares de enero}.
Se denen de forma equivalente la interseccin de una cantidad nita de con-
juntos A
1
, ..., A
n
, y la interseccin de una familia arbitrariamente grande de con-
juntos {A
i
}
i I
, que denotaremos, respectivamente,
A
1
... A
n
=
n
_
i =1
A
i
, y
_
i I
A
i
.
Si A y B son dos conjuntos tales que A B = se dice que A y B son
disjuntos.
Propiedades de la interseccin
La interseccin de conjuntos verica las siguientes propiedades,
para cualesquiera conjuntos A, B y C:
(a) Conmutativa: A B = B A.
(b) Asociativa: (A B) C = A (B C).
(c) A B A, A B B.
(d) A = .
(e) A B si y slo si A B = A.
79
PRUEBA: (a) Los elementos de A B son los que pertenecen a A y a B
que, evidentemente, son los mismos elementos que pertenecen a B y a A, es decir
A B = B A. La prueba de (b) se hace igual.
(c) Sea a A B. Entonces a A pues el elemento a verica que est en A y
en B. Anlogamente B A B.
(d) Probaremos esta propiedad por doble inclusin. Por (c) tenemos que A .
La inclusin contraria se tiene pues sabemos que el es subconjunto de todos los
conjuntos, en particular es A.
(e) Supongamos que A B. Para probar que A B = A basta probar que
A A B, pues la otra inclusin la tenemos por (c). Sea x A, entonces x B
pues A B. Es decir x A B.
Recprocamente, supongamos que A B = A. Entonces, por (c) tenemos
A = A B B.

Diferencia de conjuntos
Dados dos conjuntos A y B se dene la diferencia de A y B,
notada A \ B, como el conjunto formado por los elementos de A
que no estn en B, es decir
A \ B = {x | x A x / B}.
Se tiene que A \ B = A B. En efecto, sea x A \ B. Entonces x A y
x / B, luego x A y x B, es decir x A B. Para demostrar la inclusin
contraria basta leer la demostracin anterior de derecha a izquierda.
U
A
B
Figura 4.5: Diferencia
Ejemplo 4.1.6. 1) Sean A = {a, b, c} y B = {2, 5, 7, c, a}, entonces
A \ B = {b}.
80
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
A \ B = {x Q | 3 x 7}.
3) Sean A = {Alumnos nacidos en enero} y B = {Alumnos nacidos en da par},
entonces
A \ B = {Alumnos nacidos en los das impares de enero}.
Notemos que, en general, A\B = B\A. En el apartado 1) del ejemplo anterior
es A \ B = {a} y B \ A = {2, 5, 7}.
Diferencia simtrica de conjuntos
Dados dos conjuntos A y B se dene la diferencia simtrica de
A y B, notada AB, como el conjunto formado por los elementos
que pertenecen a uno slo de los conjuntos A, B, es decir
AB = {x | x A \ B x B \ A}.
Se tiene que AB = (A B) (A B) = (A \ B) (B \ A).
U
A
B
Figura 4.6: Diferencia simtrica
Ejemplo 4.1.7. 1) Sean A = {a, b, c} y B = {2, 5, 7, c, a}, entonces
AB = {b, 2, 5, 7}.
2) Si A = {x Q | 2 x 7} y B = {x Q | 4 x 3}, entonces
AB = {x Q | 4 x < 2 y 3 < x 7}.
3) Sean A = {los alumnos nacidos en enero} y B = {los alumnos nacidos en da par},
entonces
AB = {los alumnos nacidos en los das impares de enero y en los pares del resto de meses}.
81
Veremos ahora algunas propiedades ms de los conjuntos y demostraremos
algunos resultados fundamentales utilizando la tcnica de la doble inclusin.
Proposicin 4.1.8. Sean A B dos conjuntos. Entonces A (B \ A) = B y
A (B \ A) = .
PRUEBA: Ambas pruebas son sencillas. Veamos la primera armacin. Sea
x A (B \ A). Si x A es x B, pues A B. En caso contrario x B \ A,
es decir x B. Por tanto A (B \ A) B.
Recprocamente, sea x B. Si x A, entonces x A (B \ A). En caso
contrario, x / A, luego x B \ A y x A(B \ A). Por tanto B A(B \ A).

Leyes distributivas - Leyes de De Morgan

Dados tres conjuntos A, B y C se verican las siguientes igual-
dades:
(a) Leyes distributivas:
A(BC) = (AB)(AC), A(BC) = (AB)(AC)
(b) Leyes de De Morgan (supongamos A, B C):
C\(AB) = (C\A)(C\B), C\(AB) = (C\A)(C\B)
PRUEBA: Probaremos una de las leyes distributivas y una de las leyes de De
Morgan; las restantes quedan como ejercicio por ser simtricas a las probadas.
Ambos resultados se probarn por doble inclusin.
Veamos que A(BC) (AB)(AC). Para ello tomemos un elemento
arbitrario x A (B C). Esto quiere decir que x est en A y adems en B
en C. Esto implica que, bien est en A B, bien est en A C. En cualquier caso
x (A B) (A C).
Demostremos ahora que (AB)(AC) A(BC). Si consideramos un
elemento cualquiera y (A B) (AC), y ha de pertencer a A B o a AC.
Por tanto, bien est en A y en B o en A y en C. En cualquier circunstancia ha de
estar en A y al menos en uno de los otros dos conjuntos B C. De aquy A y
adems y B C.
Pasemos a probar la segunda ley de De Morgan. Veamos primero C\(AB)
(C\ A)(C\ B). Un elemento x de C\(AB) ha de estar en C, pero no en AB,
82
por lo que no puede estar en al menos uno de los dos conjuntos A B. As, x ha
de pertenecer, bien a C \ A, bien a C \ B. En cualquier caso x (C \ A) (C \ B).
Si tomamos ahora un elemento z (C \ A) (C \ B), observemos que z ha
de estar, bien en C \ A, bien en C \ B, por lo que debe estar en C y no estar en A
o en B. As, z C, pero nunca puede estar en A B, por lo que z C \ (A B).

Notemos que si en el apartado (b) del teorema anterior tomamos C = U, el

conjunto universal, la leyes de De Morgan nos dicen que:
A B = A B, A B = A B.
A B
C
A B
C
Figura 4.7: Ley distributiva
A
B
C
A
B
C
Figura 4.8: Ley de De Morgan
Partes de un conjunto
Dado un conjunto X, se dene el conjunto de las partes de X,
notado P(X), como el conjunto cuyos elementos son todos los
subconjuntos de X.
83
Ejemplo 4.1.9. Si tenemos el conjunto X = {0, 1, 2, 3}, entonces
P(X) = {, {0}, {1}, {2}, {3}, {0, 1}, {0, 2}, {0, 3}, {1, 2}, {1, 3}, {2, 3},
{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}, X }
Teorema 4.1.10. El conjunto P(X) es nito si y slo si lo es X. De hecho, en este
caso,
(P(X)) = 2
(X)
.
PRUEBA: En cuanto a la primera armacin, si X es innito, lo es obviamente
P(X). La otra implicacin viene dada por la frmula sobre los cardinales que
probaremos por induccin.
El caso (X) = 0 es elemental, porque entonces X = y, por tanto P(X) =
{}. Notemos que P(X) no es el conjunto vaco, es un conjunto unitario, cuyo
nico elemento es el conjunto vaco.
Supuesto cierto el resultado para todos los conjuntos que tienen, pongamos,
n elementos, tomemos X un conjunto de n + 1 elementos, x X cualquiera, y
escribamos
X = X

{x},
donde X

= X \ {x} tiene n elementos. Entonces es claro que los subconjuntos de

X son, bien subconjuntos de X

, bien subconjuntos de X

a los que se ha aadido

x, y que hay tantos subconjuntos de un tipo como del otro. Dado que, por hiptesis
de induccin,

_
P
_
X

__
= 2
n
se tiene, por tanto,
(P(X)) = 2 (P(X

)) = 2 2
n
= 2
n+1
.

4.2. Producto cartesiano. Relaciones de equivalen-

cia.
Producto cartesiano
Dados dos conjuntos A y B, se dene el producto cartesiano de
A y B como el conjunto de pares ordenados formados (por este
orden) por un elemento de A y uno de B y se denota
A B = {(a, b) | a A, b B}.
84
Dado (a, b) A B, el elemento a A (respectivamente b B) se suele
denominar primera (segunda) componente del par.
Ejemplo 4.2.1. Sean A = {a, b, c} y B = {b, 1, 2, 3}. Entonces:
AB = {(a, b), (a, 1), (a, 2), (a, 3), (b, b), (b, 1), (b, 2), (b, 3), (c, b), (c, 1), (c, 2), (c, 3)}
Tambin se puede denir el producto cartesiano de una cantidad nita de con-
juntos (para cantidades innitas hay dos posibles generalizaciones y no las vere-
mos por ahora ) de la forma natural
A
1
... A
n
=
n

i =1
A
i
= {(a
1
, ..., a
n
) | a
i
A
i
, para i = 1, ..., n} .
Correspondencia
Una correspondencia G de A en B es un subconjunto del pro-
ducto A B. Equivalentemente se puede denir como una regla
que asocia algunos elementos de A con algunos elementos de B.
Concretamente, G asocia a A con b B si (a, b) G.
Ejemplo 4.2.2. Sean A = {a, b, c} y B = {b, 1, 2, 3} los conjuntos del ejemplo
anterior. Entonces G = {(a, 1), (a, 3), (b, b), (b, 1), (b, 3)} es una corresponden-
cia de A en B.
Las correspondencias se pueden representar como sigue:
b
a
c
b
1
2
3
A B
Figura 4.9: Correspondencia
Es claro que la representacin del ejemplo anterior es posible por trabajar
con conjuntos nitos (y con pocos elementos). Si los conjuntos son innitos, las
correspondencias (no nitas) se tienen que dar deniendo propiedades de los pares
que la componen. Por ejemplo, si A = Z, B = N una correspondencia es G =
{(x, y) | x es par, y es impar}.
85
Relacin
Sea A un conjunto. Una relacin R denida en A es una corres-
pondencia de A en s mismo.
Ejemplo 4.2.3. Sea A = {a, b, c}. Entonces R = {(a, a), (a, c), (b, c)} es una
relacin en A.
Si el par (x, y) A A est en R, diremos que x est Rrelacionado con y, o
relacionado con y por R. Esto se notar frecuentemente x Ry (ntese que el orden
es importante).
Sea R una relacin en A. Entonces diremos que R es:
(a) Reexiva cuando para todo x A se tiene que x Rx.
(b) Simtrica cuando x Ry siempre implica y Rx.
(c) Antisimtrica cuando, si tenemos x Ry e y Rx, entonces
x = y necesariamente.
(d) Transitiva si tenemos x Ry e y Rz siempre es x Rz.
Relaciones de orden y de equivalencia
Las relaciones reexivas, simtricas y transitivas se denominan
relaciones de equivalencia. Las relaciones reexivas, antisim-
tricas y transitivas se denominan relaciones de orden.
Ejemplo 4.2.4. 1) En el conjunto Z denimos las relaciones siguientes:
x Ry x y, x Sy x y es par, xT y x divide a y
a) R es una relacin de orden (de hecho, las relaciones de orden se denominan as
por ser ste el ejemplo fundamental). En efecto:
Reexiva: n Z se tiene que n n, luego nRn.
86
Antisimtrica: Si nRm y mRn se tiene que n m y m n, luego n = m.
Transitiva: Si nRm y mRs es n m s, luego nRs.
b) S es una relacin de equivalencia.
Reexiva: n Z se tiene que n n = 0 es par, luego nSn.
Simtrica: si nSm es n m par, luego m n es par y, por tanto, mSn.
Transitiva: si nSm y mSp se tiene que n m y m p son pares. Sumando
se tiene que n p es par, luego nSp.
c) T no es ni de orden ni de equivalencia, pues T no verica la propiedad antisi-
mtrica ni la simtrica.
Notemos que S es de equivalencia si sustituimos la condicin x y es par
por la condicin x y es mltiplo de p, para cualquier nmero p que jemos
con antelacin.
2) Sea A un conjunto jo. En P(U) denimos la relacin R :
B, C P(U), BRC si A B = A C.
Veamos que es una relacin de equivalencia.
Reexiva: B P(U), A B = A B, es decir BRB.
Simtrica: si BRC, es A B = A C, luego A C = A B y CRB.
Transitiva: si BRC y CRD se tiene que A B = A C = A D, luego
BRD.
3) En el conjunto Z la relacin denida por el menor estricto, x Ry x < y,
verica la propiedad antisimtrica ya que no existe ningn par de enteros n, m
tales que nRm y mRn. La relacin es tambin transitiva, pero no es reexiva ni
simtrica.
Clase de equivalencia
Si R es una relacin de equivalencia en A, denominamos clase
de equivalencia de un elemento x A al conjunto de todos los
elementos de A relacionados con x, esto es,
x = R(x) = {y A | x Ry},
donde la primera notacin se usa si R se sobreentiende, y la se-
gunda si no es as.
87
Ejemplo 4.2.5. Vamos a calcular las clases de equivalencia de las relaciones del
ejemplo anterior.
1) En Z consideramos la relacin de equivalencia S, nSm si n m es par. Sea n
un nmero par. Entonces m Z est relacionado con n si m n = 2k es par,
luego m = n + 2k es par. Luego todos los elementos de la clase de equivalencia
de n son pares. Recprocamente, si m es par se tiene que n m es par. Por tanto,
la clase de equivalencia de n, S(n), es el conjunto de todos los nmeros pares.
Si n es impar, es fcil ver que la clase de equivalencia S(n) es el conjunto de
todos los nmeros impares.
Notar que si n
1
y n
2
son ambos nmeros pares (impares) entonces S(n
1
) =
S(n
2
). De aquse sigue que en este ejemplo slo tenemos dos clases de equiva-
lencia, por ejemplo S(0) = {enteros pares} y S(1) = {enteros impares}. Ntese
tambin que S(0) S(1) = y que Z = S(0) S(1). En el teorema siguiente se
probar que estas propiedades se verican en cualquier relacin de equivalencia.
2) Calcularemos las clases de equivalencia de la relacin, en P(U), denida por:
B, C P(U), BRC si A B = A C, siendo A un conjunto jo. Estudia-
remos, primero, un caso particular que nos servir para entender mejor el caso
general. Supongamos que el conjunto A que jamos tiene slo dos elementos,
A = {x, y}. Veamos que, en este caso, slo existen 4 clases de equivalencia:
R(), R(A), R({x}) y R({y}). En efecto: sea B un conjunto cualquiera. Las po-
sibilidades para A B son
A B = = A , de donde BR y B R().
A B = A = A A, de donde BRA y B R(A).
A B = {x} = A {x}, de donde BR{x} y B R({x}).
A B = {y} = A {y}, de donde BR{y} y B R({y}).
Observemos que en este ejemplo tambin se tiene que las cuatro clases ante-
riores no tienen ningn elemento en comn y que la unin de todas ellas es P(U).
Pasemos al caso general. Sea A un conjunto cualquiera. Veamos que exis-
ten tantas clases de equivalencia como subconjuntos de A, es decir tantas como
(P(A)).
2-1) Si A
1
, A
2
A son distintos, entonces R(A
1
) = R(A
2
). En efecto: A
1
y
A
2
no estn relacionados ya que A A
1
= A
1
= A
2
= A A
2
.
2-2) Todo conjunto B pertenece a la clase de equivalencia de un subconjunto
de A. En efecto: basta tomarA B A, entonces A(A B) = (A A) B =
A B, luego B R(A B).
Hemos visto en los ejemplos anteriores que las clases de equivalencia distin-
tas no tienen ningn elemento en comn, y que la unin de todas la clases es el
88
conjunto total. Veamos que esta es una propiedad de cualquier relacin de equiva-
lencia.
Sea A un conjunto, R una relacin de equivalencia en A. Entonces
se verican las siguientes propiedades:
(a) Todo elemento pertenece a una clase de equivalencia.
(b) Dos clases de equivalencia son disjuntas o iguales.
Esto es, la relacin R divide completamente al conjunto A en
subconjuntos disjuntos (las clases de equivalencia).
PRUEBA: La armacin (a) es trivial, ya que R es reexiva. Para probar (b)
supongamos que tenemos dos clases de equivalencia R(x) y R(y) de tal forma
que existe z R(x) R(y). Tenemos que demostrar entonces que R(x) = R(y),
y lo haremos por doble inclusin. De hecho, slo probaremos que R(x) R(y),
porque la otra inclusin es absolutamente simtrica.
Tomamos entonces a R(x). Como z R(x), tenemos que aRx y x Rz, por
lo que aRz. De la misma forma, como z R(y), se verica que z Ry. As tenemos
aRy, luego a R(y). Observemos que hemos usado tanto la propiedad simtrica
como la transitiva para demostrar (b).
Corolario 4.2.6. Sea A un conjunto, R una relacin de equivalencia en A, x, y
A. Se tiene que las clases de equivalencia de x e y son iguales, R(x) = R(y), si
y slo si x Ry.
Conjunto cociente
Dada una relacin de equivalencia R denida sobre un conjunto
A, el conjunto cuyos elementos son las clases de equivalencia de
A por R se denomina conjunto cociente de A por R. La notacin
usual es
A/R = {R(x) | x A}.
Ejemplo 4.2.7. Veamos los conjuntos cocientes de los ejemplos anteriores.
89
a) Sea la relacin de equivalencia S, en Z, dada por nSm si n m es par.
Entonces
Z/S = {S(0), S(1)}
En general, si jamos un entero p y consideramos
x Sy x y es mltiplo de p,
se tiene que, para todo x Z
S(x) = {y Z | x e y dan el mismo resto al dividirlos entre p},
por lo que
Z/S = {S(0), S(1), ..., S(p 1)}.
b) Consideremos la relacin de equivalencia, en P(U), denida por:
B, C P(U), BRC si A B = A C,
siendo A un conjunto jo. En este caso
P(U)/R = {R(D) | D P(A)}.
4.3. Aplicaciones
Aplicacin
Una aplicacin f de A en B es una correspondencia donde todo
elemento de A tiene asociado un nico elemento de B. Esto es, en
notacin matemtica, una correspondencia G es una aplicacin si
y slo si se verica que
a A !b B tal que (a, b) G.
Nota 4.3.1. Es habitual denotar una aplicacin entre A y B de la forma f : A
B. En estas condiciones, dado a A el nico b B vericando (a, b) f se
denota f (a) y se denomina imagen de a (por f ).
De esta notacin surge la terminologa, comnmente usada, de llamar a A
conjunto original (o dominio) y a B conjunto imagen.
90
Ejemplo 4.3.2. 1) Sea f : R R la correspondencia dada por
(a, b) f si b
2
= a.
La correspondencia f no es aplicacin, pues no todos los elementos de R poseen
una imagen (si a < 0, no existe b R con b
2
= a.)
2) Consideremos la correspondencia anterior donde la primera componente la su-
ponemos en R
+
(los nmeros reales positivos), es decir f R
+
R. En este
caso, todos los elementos de R
+
tienen una imagen, pero f no es aplicacin, pues
la imagen no es nica. Por ejemplo, (4, 2) f y (4, 2) f.
3) Si consideramos f : R
+
R
+
, denida por
f (a) = b si b
2
= a,
si es aplicacin.
4) La correspondencia
f : Z {1} Q, f (n) =
n
n 1
es aplicacin.
5) Sea A un conjunto jo. Denimos
f, g : P(U) P(U) f (B) = A B, g(B) = A B.
Ambas son aplicaciones.
6) Sea X un conjunto cualquiera. Siempre se tiene la aplicacin
f : X X, denida por f (x) = x, x X,
que llamaremos aplicacin identidad y notaremos por 1
X
.
7) Sean X, Y conjuntos cualesquiera, y
0
Y un elemento jo. Siempre se tiene la
aplicacin
g : X Y denida por g(x) = y
0
, x X,
que llamaremos aplicacin constante.
91
Imagen y anti-imagen
Dada una aplicacin f : X Y y subconjuntos A X y
B Y, denimos:
(a) La imagen de A (o imagen directa de A), notada f (A),
como
f (A) = {y Y | x A con f (x) = y} Y,
esto es, el conjunto de elementos del conjunto imagen que
son imagen de un elemento de A. Si A = X se denota
f (X) = im( f ) y se denomina imagen de f.
(b) La antiimagen (o contraimagen, o imagen recproca o
imagen inversa) de B, notada f
1
(B), como
f
1
(B) = {x X | f (x) B} X,
esto es, el conjunto de elementos del conjunto original cuya
imagen est en B.
Nota 4.3.3. En general, si f : X Y es una aplicacin, f (X) = Y. Basta tomar
la ltima aplicacin del ejemplo anterior. S se verica siempre que f
1
(Y) = X.
Ejemplo 4.3.4. 1) Consideremos la aplicacin
f : Z Z denida por f (n) = 2n,
y A = {1, 0, 4, 5}. Entonces f (A) = {2, 0, 8, 10}, y la imagen de f es
im( f ) = {enteros pares}.
Sean B
1
= {2, 3, 8, 4, 1}, B
2
= {1, 3}. Se tiene que
f
1
(B
1
) = {1, 4, 2}, f
1
(B
2
) = .
2) Sea la aplicacin
f : R R denida por f (x) = x
2
,
A = [0, 2]. Entonces f (A) = [0, 4], pues x [0, 4], existe

x [0, 2] tal
que f (

x) = x. En este caso, la imagen de f es im( f ) = [0, +), los nmeros

reales no negativos.
92
Proposicin 4.3.5. Sea f : X Y una aplicacin, A
1
, A
2
X y B
1
, B
2
Y.
Se verica:
(a) f (A
1
A
2
) = f (A
1
) f (A
2
), f (A
1
A
2
) f (A
1
) f (A
2
).
(b) f
1
(B
1
B
2
) = f
1
(B
1
) f
1
(B
2
), f
1
(B
1
B
2
) = f
1
(B
1
) f
1
(B
2
).
(c) f ( f
1
(B
1
)) B
1
, A
1
f
1
( f (A
1
)).
PRUEBA: Vamos a probar, por ejemplo, la segunda armacin de (a) y la
primera de (b) y (c). Las dems son similares.
(a) Consideremos y f (A
1
A
2
). Entonces existe x A
1
A
2
tal que
y = f (x). Por tanto, y f (A
1
) e y f (A
2
), por lo que se tiene el resultado.
Es importante entender que, para armar que la otra inclusin no es cierta,
basta con dar un contraejemplo; esto es, un caso particular donde no sea cierto el
enunciado. Para ello consideremos f : N N denida por
f (x) =
_
x/2 +1 si x es par
x +2 si x es impar
Tomamos A
1
= {1, 3, 5}, A
2
= {2, 4, 6}. Claramente f (A
1
A
2
) = f () =
, pero f (A
1
) f (A
2
) = {3}.
(b) Sea x un elemento de f
1
(B
1
B
2
). Entonces
x f
1
(B
1
B
2
) f (x) B
1
B
2
f (x) B
1
f (x) B
2

x f
1
(B
1
) x f
1
(B
2
) x f
1
(B
1
) f
1
(B
2
).
(c) Probemos ahora que f ( f
1
(B
1
)) B
1
. Si y f ( f
1
(B
1
)), es porque
existe x f
1
(B
1
) tal que y = f (x). Pero, al ser x f
1
(B
1
), por denicin
tenemos que y = f (x) B
1
.
Para demostrar que la inclusin contraria no es cierta en general podemos
tomar la misma aplicacin que en el caso anterior y considerar B
1
= {1, 3, 5}
nuevamente. Entonces f
1
(B
1
) = {1, 3, 4, 8} (por convenio, no incluimos el 0 en
N). Pero f ( f
1
(B
1
)) = {3, 5}, por lo que hemos acabado.
Veamos que A
1
f
1
( f (A
1
)). Pongamos C = f (A
1
). Sea x A
1
, lue-
go f (x) C. Esto quiere decir, por la denicin de contraimagen, que x
f
1
(C) = f
1
( f (A
1
)).
Para demostrar que la inclusin contraria no es cierta en general consideramos
la aplicacin constante f : X Y dada por f (x) = y
0
, para un elemento y
0
Y
jado. Sea A cualquier subconjunto propio de X. Entonces
f
1
( f (A)) = f
1
({y
0
}) = X A.

93
Sea una aplicacin f : X Y.
(a) f se dice inyectiva si dos elementos distintos de X siempre
tienen imgenes distintas. Dicho de otro modo, f es inyec-
tiva si, de f (x) = f (x

), para x, x

X, se deduce que
x = x

.
(b) f se dice sobreyectiva (o sobre) si todo elemento de Y
es imagen de algn elemento de X. O sea, f es sobre si
f (X) = im( f ) = Y.
(c) f se dice biyectiva si es inyectiva y sobreyectiva.
Ejemplo 4.3.6. 1) Sea f : R R la aplicacin denida por f (x) = x
2
. Esta
aplicacin no es inyectiva, pues f (x) = f (x). Tampoco es sobreyectiva, pues
im( f ) = [0, +) = R.
2) Sea f : Z Z la aplicacin denida por f (n) = 2n. Esta aplicacin es
inyectiva ya que, si f (n) = f (m), entonces 2n = 2m, y de aqu se tiene que
n = m. La aplicacin no es sobreyectiva pues im( f ) = {nmeros pares} = Z.
3) Sea A = , U un conjunto jo. Sea f : P(U) P(A) la aplicacin denida
por f (B) = A B. Esta aplicacin no es inyectiva, pues si f (B) = f (C),
tenemos que A B = A C, y de aqu no se deduce que B = C. Basta tomar
dos conjuntos distintos B, C A. Entonces se verica que A B = = A C
y B = C.
Veamos que esta aplicacin es sobreyectiva. Sea D P(A) y pongamos B =
D. Entonces
f (B) = A B = A D = D.
Notar que tambin podemos tomar B = A D, pues
f (B) = A B = A (A D) = (A A) (A D) = D = D.
Esto nos da otra forma de ver que la aplicacin no es inyectiva.
4) La aplicacin identidad es biyectiva.
5) Sea f : Z Z la aplicacin denida por f (n) = n + 3. Veamos que esta
aplicacin es biyectiva.
Inyectiva: si f (n) = f (m) n +3 = m +3 n = m.
Sobreyectiva: si m Z, tomando n = m 3 se tiene que f (n) = m.
Nota 4.3.7. As, podemos decir que:
94
(a) f es inyectiva si y slo si para todo y Y f
1
({y}) consta, a lo ms, de un
elemento.
(b) f es sobre si y slo si para todo y Y f
1
({y}) consta, a lo menos, de un
elemento.
(c) f es biyectiva si y slo si para todo y Y f
1
({y}) consta, exactamente,
de un elemento.
Aplicacin inversa
Sea f : X Y una aplicacin biyectiva. La aplicacin inversa
de f , notada f
1
: Y X, est denida por f
1
(y) = x
siendo x el nico elemento de X que verica f (x) = y.
Ejemplo 4.3.8. 1) La aplicacin inversa de la identidad es la identidad.
2) Sea la aplicacin
f : Z Z denida por f (n) = n +3.
Su inversa es la aplicacin
f
1
: Z Z denida por f
1
(m) = m 3.
3) Si la aplicacin no es biyectiva no se puede denir la inversa. Consideremos
f : N Z dada por f (n) = 2 n.
Si existiese la inversa f
1
: Z N, se tendra que, por ejemplo, f
1
(5) N.
Pero decir que f
1
(5) = n N es decir que f (n) = 2 n = 5, luego n = 3
N.
Composicin de aplicaciones
Dadas dos aplicaciones f : X Y y g : Y Z se dene la
composicin de f y g, notada g f , de X en Z como
(g f )(x) = g( f (x)), para todo x X.
Obviamente g f es una aplicacin.
95
Ejemplo 4.3.9. 1) Sean las aplicaciones f : Z Q, g : Q R denidas por
f (n) =
n
2
, g(x) =
_
x
2
+3.
La composicin de f y g es
g f : Z R dada por (g f )(n) =
_
_
n
2
_
2
+3,
pues
(g f )(n) = g( f (n)) = g
_
n
2
_
=
_
_
n
2
_
2
+3.
2) Sea A un conjunto jo y consideremos las aplicaciones
f, g : P(U) P(U) denidas por f (B) = A B, g(B) = A B.
En este caso podemos calcular la composicin de f y g y la composicin de g y
f .
Calculamos g f :
(g f )(B) = g( f (B)) = g(AB) = A(AB) = (AA)(AB) = U(AB) = AB,
luego la composicin de f y g es la aplicacin
g f : P(U) P(U), (g f )(B) = A B, B P(U).
Por otro lado, f g :
( f g)(B) = f (g(B)) = f (AB) = A(AB) = (AA)(AB) = (AB) = AB,
luego la composicin de g y f es
f g : P(U) P(U), ( f g)(B) = A B, B P(U).
Ntese que f g = g f.
Nota 4.3.10. Dadas aplicaciones entre conjuntos
X
1
f
X
2
g
X
3
h
X
4
,
es elemental comprobar que (h g) f = h (g f ) (asociatividad de la com-
posicin de aplicaciones).
96
Proposicin 4.3.11. Sea f : X Y una aplicacin. Se verica que f es biyec-
tiva si y slo si existe una aplicacin g : Y X vericando
g f = 1
X
y f g = 1
Y
.
En este caso se tiene que f
1
= g.
PRUEBA: Si f es biyectiva basta tomar g = f
1
.
Recprocamente, supongamos la existencia de g. Veamos que f es biyectiva:
Inyectiva: si f (a) = f (b), aplicando g tenemos g( f (a)) = g( f (b)), luego
a = b por ser g f = 1
X
.
Sobreyectiva: sea y Y y consideremos x = g(y) X. Aplicando f tenemos
que f (x) = f (g(y)) = 1
Y
(y) = y, luego f es sobreyectiva.
Restriccin de una aplicacin
Dada una aplicacin f : X Y y un subconjunto A X, se
dene la restriccin de f a A como la aplicacin
f
| A
: A Y
x f
| A
(x) = f (x)
Esto es, f
| A
acta exactamente como f , pero slo sobre los elementos de A.
Esto pone de maniesto (o debera) lo importante que es, a la hora de denir
una aplicacin, determinar los conjuntos de original e imagen y no slo cmo se
calcula la imagen de un elemento.
Ejemplo 4.3.12. Sea A un conjunto jo y consideremos la aplicacin f : P(U)
P(U) denidas por f (B) = A B. La restriccin de f a P(A), f : P(A)
P(U) es
f
|P(A)
(B) = f (B) = A B = B, ya que B A.
Ejemplo 4.3.13. Terminamos el captulo viendo un ejemplo que pone de mani-
esto la importancia de, a la hora de denir una funcin, denir correctamente los
conjuntos original e imagen de la aplicacin. Consideremos f : A B dada por
f (x) = x
2
. Entonces:
Si A = B = R, la funcin anterior no es ni inyectiva ni sobreyectiva.
Si A = R y B = R
+
, f es sobreyectiva y no inyectiva.
Si A = [0, 1] y B = R, f es inyectiva y no sobreyectiva.
Si A = B = [0, 1], f es biyectiva.
97
98
Captulo 5
Grupos
5.1. Grupos: Deniciones y ejemplos.
Operacin interna y binaria
Una operacin interna y binaria en un conjunto A es una apli-
cacin : A A A.
Nota 5.1.1. En un lenguaje ms coloquial, una operacin interna y binaria en A es
una regla que asocia a cada par ordenado (a, b) de elementos de A otro elemento
de A, (a, b).
Normalmente, si : A A A es una operacin interna y binaria en A, es
costumbre elegir algn smbolo (por ejemplo ) para notar
a b := (a, b).
Nota 5.1.2. Para estudiar un conjunto A con pocos elementos dotado de una
operacin interna y binaria , podemos trabajar con la tabla de la operacin.
Esta tabla es un cuadro de doble entrada en el que se colocan los elementos de
A en la lnea horizontal de arriba y vertical de la izquierda. En cada casilla libre
correspondiente al par ordenado (a, b) A A se coloca el elemento a b. Por
ejemplo, si A = {a, b} y la operacin viene determinada por a a = a, a b = b,
b a = b y b b = a, la tabla ser:
a b
a a b
b b a
99
Ejemplo 5.1.3. Algunas operaciones binarias internas bien conocidas.
1. Si a
0
es un elemento jo de un conjunto A, la aplicacin (a, b) A A
a
0
es una operacin interna y binaria constante.
2. La suma y el producto usuales son operaciones internas y binarias en los
conjuntos de nmeros N, Z, Q, R, C y Z/Zn, as como en los polinomios
con coecientes en estos conjuntos.
3. La suma es una operacin interna y binaria en el conjunto de los vectores
R
n
o de las matrices m n de nmeros.
4. Cualquier funcin de dos variables reales f : R R R dene una ope-
racin interna y binaria en R.
5. Dado un nmero natural n 1, consideremos el conjunto Z
n
= {0, 1, . . . , n
1} y en l la operacin interna y binaria cuya tabla es:
0 1 2 n 2 n 1
0 0 1 2 n 2 n 1
1 1 2 3 n 1 0
2 2 3 4 0 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
n 2 n 2 n 1 0 n 4 n 3
n 1 n 1 0 1 n 3 n 2
6. Dado un conjunto X, consideremos el conjunto A
X
de las aplicaciones de
X en s mismo. La composicin de aplicaciones es una operacin interna y
binaria en A
X
.
7. Dado un conjunto X, la unin y la interseccin con operaciones internas y
binarias en P(X).
Nota 5.1.4. En lo que sigue, operacin en A"signica operacin interna y bina-
ria en A."
Denicin 5.1.5. Dada una operacin sobre un conjunto A, diremos que:
1. Es conmutativa si a b = b a para todo a, b A.
2. Es asociativa si a (b c) = (a b) c para todo a, b, c A.
100
Elemento neutro
Dada una operacin sobre un conjunto A, diremos que un ele-
mento e A es elemento neutro si e a = a e = a para todo
a A.
Proposicin 5.1.6. Si una operacin en A tiene elemento neutro, ste es nico.
PRUEBA: Sea un conjunto A con una operacin binaria . Sean e A un
elemento neutro a la izquierda y e

A un elemento neutro a la derecha. Por ser

e elemento neutro a la izquierda se tiene
e e

= e

,
por ser e

elemento neutro a la derecha se tiene

e e

= e.
De donde e = e

.
Elemento simtrico
Dado un conjunto A dotado de una operacin con un elemento
neutro e, y dado un elemento x A, diremos que x

es simtrico
de x si x

x = x x

= e.
Proposicin 5.1.7. En las condiciones de la denicin anterior, se tiene lo si-
guiente:
1. Si la operacin es asociativa, x

es simtrico de x e y

es simtrico de y,
entonces y

es simtrico de x y.
2. Si la operacin es asociativa, entonces el simtrico de un elemento, si
existe, es nico.
PRUEBA: Para probar 2, supongamos que x

y x

son simtricos de x, enton-

ces, usando la asociatividad,
x

= (x

x) x

= x

(x x

) = x

101
Grupo
Un grupo es un par (G, ), donde G es un conjunto y es una
operacin interna y binaria sobre G vericando las siguentes pro-
piedades:
1. La operacin es asociativa.
2. La operacin tiene elemento neutro.
3. Cada elemento de G posee un simtrico.
Si adems la operacin es conmutativa entonces se dice que el
grupo es abeliano o conmutativo.
Ejemplo 5.1.8. Algunos grupos bien conocidos
1. Z, Q, R, C y Z/Zn son grupos abelianos con la adicin.
2. Q

= Q \ {0}, R

= R \ {0} y C

= C \ {0} son grupos abelianos con la

multiplicacin.
3. Si p es primo (Z/Zp)

es grupo abeliano con la multiplicacin.

4. El conjunto S
A
de las biyecciones de A en A es un grupo con la composi-
cin. Si A tiene ms de 2 elementos, S
A
no es abeliano. Si A = {1, . . . , n},
se nota indistintamente S
n
o S
A
.
5. El conjunto de las funciones (continuas, diferenciables,...) denidas en un
abierto de R con valores reales, con la suma punto a punto, es un grupo
abeliano.
6. El conjunto de las matrices n n, con elementos en un cuerpo k y de-
terminante no nulo, GL(n, k), es un grupo (no abeliano si n 2) con la
multiplicacin de matrices.
Nota 5.1.9. Cuando usemos la notacin aditiva o la multiplicativa, el elemento
neutro y el simtrico de x sern notados de la siguiente forma:
elemento neutro elemento simtrico de x
+ 0 x (opuesto de x)
1 x
1
(inverso de x)
102
Orden de un grupo
Sea (G, ) un grupo. Denimos su orden, que notaremos por |G|,
como el cardinal del conjunto G.
5.2. Subgrupos
Subgrupo
Sea (G, ) un grupo. Un subconjunto no vaco H de G se dice
que es un subgrupo de (G, ) si (H, ) es un grupo. Es decir, que
efectivamente un subgrupo es un grupo dentro de otro grupo con
la misma operacin.
Proposicin 5.2.1. Sean (G, ) un grupo y H G un subconjunto no vaco. Las
condiciones siguientes son equivalentes:
1. H es un subgrupo de (G, ).
2. x, y H, x y

H.
PRUEBA: Veamos primero 1 2. Supongamos que H es un subgrupo y sean
x, y H. Como H es subgrupo contiene los simtricos de todos sus elementos,
en particular y

H. De nuevo como H es subgrupo, es una operacin interna,

de donde x y

H, como queramos.
Probemos ahora 2 1: Como H G, los elementos de H verican la
propiedad asociativa. Como H es no vaco, sea x H. Aplicando 2) obtenemos
x x

= e H.
Si x H, aplicando de nuevo 2) para e y x, tenemos
e x

= x

H,
luego H contiene los simtricos de todos sus elementos. Sean x, y H, aplicando
2) esta vez para x, y

se tiene
x (y

= x y H. (5.2.1)
Luego H es subgrupo de (G, ).
103
Nota 5.2.2. De ahora en adelante si escribimos el grupo G en lugar de el grupo
(G, ), sobreentendemos que la operacin binaria la notamos con el smbolo .
Ejemplo 5.2.3. 1. Para todo grupo G, {e} y G son subgrupos de G y se deno-
minan subgrupos triviales de G.
2. Subgrupos de (Z, +): Dado n Z, n 0, sea Zn = {k n | k Z}. Se
tiene:
a) Zn es un subgrupo de Z.
b) Todo subgrupo de Z es de la forma Zn para algn n 0.
3. Races nsimas de la unidad dentro de C

.
4. Si C A, el conjunto {f S
A
| f (a) = a, a C} es un subgrupo de
S
A
.
Proposicin 5.2.4. Sean G un grupo, {H
i
| i I } una familia de subgrupos de
G. Entonces
i I
H
i
es un subgrupo de G.
PRUEBA: La interseccin de subgrupos es no vaca porque el elemento neutro
est en todos los subgrupos. Adems,
x, y
_
i I
H
i
x, y H
i
i I x y

H
i
i I x y

_
i I
H
i
.

Subgrupo generado
Dado un subconjunto A de un grupo G, llamamos subgrupo ge-
nerado por A al subgrupo de G:
A =
_
{H | H subgrupo de G y A H}.
Proposicin 5.2.5. Sean G un grupo y A G un subconjunto, entonces A es
el menor subgrupo de G que contiene a A.
PRUEBA: Es inmediato de la denicin de A: Si H es un subgrupo que
contiene a A, es evidente que A H.
104
Denicin 5.2.6. Se dice que A G es un sistema de generadores de un grupo
G si G = A.
Un caso particular, e importante, de sistema de generadores de un grupo es
cuando A = {a} posee un slo elemento. stos se estudian en una seccin poste-
rior.
Proposicin 5.2.7. Sean G un grupo y A G un subconjunto. Sea A

= {x

|
x A}. Entonces
A = {x
1
x
2
x
n
| x
i
A A

, n 1}.
PRUEBA: Se tiene que A A

A. De aqu se deduce que

{x
1
x
2
x
n
| x
i
A A

, n 1} A.
(probar ambas armaciones)
Para la otra inclusin usaremos que A es el menor subgrupo que contiene a
A. Se comprueba fcilmente que A {x
1
x
2
x
n
| x
i
A A

, n 1} y
que {x
1
x
2
x
n
| x
i
A A

, n 1} es un subgrupo. De donde
A {x
1
x
2
x
n
| x
i
A A

, n 1}.

5.3. Orden de un elemento de un grupo

Denicin 5.3.1. Sea (G, ) un grupo. Denimos
a
m
=
_

_
e si m = 0
(m veces)
a a si m > 0
(m veces)
a

si m < 0
Si G es un grupo cuya operacin se nota multiplicativamente, entonces
a
m
=
_

_
1 si m = 0
(m veces)
a a si m > 0
(m veces)
a
1
a
1
si m < 0
105
Si la notacin es aditiva, entonces
ma =
_

_
0 si m = 0
(m veces)
a + + a si m > 0
(m veces)
(a) + + (a) si m < 0
Nota 5.3.2. Ntese que a
n
a
m
= a
n+m
, y por tanto a
n
a
m
= a
m
a
n
, (a
n
)

=
(a

)
n
= a
n
.
Denicin 5.3.3. Sean G un grupo y a G. Diremos que
1. a tiene orden innito si todas las potencias de a son distintas entre s.
2. a tiene orden nito si existen 0 m < n tales que a
n
= a
m
.
Ejemplo 5.3.4. Obviamente todo elemento de un grupo nito ha de tener orden
nito. En grupos innitos podemos tener tanto rdenes nitos como innitos.
1. Sea a Z, a = 0. Entonces a tiene orden innito.
2. El elemento
A =
_
i 0
0 i
_
GL(2, C)
tiene orden nito. Notemos que el grupo es, en este caso, innito.
Nota 5.3.5. Sea a G. El subgrupo generado por {a} es
a = {a} = {a
m
| m Z}.
Proposicin 5.3.6. Sean G un grupo y a G. Consideremos el subgrupo a.
1. Si a es de orden innito, entonces
a) a
n
= e n = 0.
b) La aplicacin : Z a dada por (n) = a
n
es biyectiva.
c) a es un grupo innito.
2. Si a es de orden nito, entones
a) Existe n > 0 tal que a
n
= e.
106
b) Sea m el menor entero estrictamente positivo tal que a
m
= 1. Entonces
los a
i
, 0 i m 1 son distintos entre s y
a = {1, a, a
2
, . . . , a
m1
}.
PRUEBA: Casi todas las armaciones son directas.
1. Si a es de orden innito, las propiedades a), b) y c) se prueban fcilmente.
2. Supongamos que a tiene orden nito.
a) Si a tiene orden nito existen dos enteros 0 k < l tales que a
k
= a
l
.
Sea n = l k, entonces
a
n
= a
lk
= a
l
a
k
= a
l
a
k
a
l
=a
k
= a
k
a
k
= e. (5.3.1)
b) Sea m > 0 el menor tal que a
m
= 1. Sean 0 i j m 1
dos enteros tales que a
i
= a
j
, es decir, tales que a
j i
= e. Como
j i < m, debe ser j i = 0, es decir, i = j . Luego todos los a
i
,
0 i m 1 son distintos.
Es evidente que a {1, a, a
2
, . . . , a
m1
}. Sea a
n
un elemento cual-
quiera de a, escribamos n = q m +r, 0 r m 1, la divisin
eucldea de n entre m, entonces
a
n
= a
qm+r
= a
qm
a
r
= (a
m
)
q
a
r
= a
r
. (5.3.2)
Luego a {1, a, a
2
, . . . , a
m1
}.

Orden de un elemento
Sean G un grupo y a G de orden nito. El orden de a, notado
por o(a), es el menor entero estrictamente positivo, m, tal que
a
m
= e.
Proposicin 5.3.7. Sean G un grupo y a G. Se tienen las siguientes propieda-
des:
1. o(a) = 1 a = e.
2. Si a G tiene orden nito, entonces o(a) = o(a

).
107
3. Si a G tiene orden innito, a

tiene orden innito.

4. Si G es nito, todo elemento de G tiene orden nito.
5. Si o(a) = m y a
n
= e, entonces m | n.
PRUEBA: Los primeros cuatro apartados se obtienen inmediatamente de las
deniciones. Para el apartado 5) basta realizar la divisin eucldea de n entre m,
obteniendo n = q m +r, con 0 r m 1, de donde
e = a
n
= a
qm+r
= a
qm
a
r
= (a
m
)
q
a
r
= a
r
.
Como m es el menor estrictamente positivo tal que a
m
= e, debe ser r = 0 y,
por tanto, m | n.
El siguiente resultado nos da el orden de todas las potencias de un elemento
de orden nito.
Proposicin 5.3.8. Sea a G un elemento de orden nito n. Entonces, m, 0
m < n, se verica que
o(a
m
) =
n
mcd(n, m)
.
PRUEBA: Sea
d = mcd(m, n), m = m

d, n = n

d.
En primer lugar tenemos que (a
m
)
n

= a
mn

= (a
n
)
m

= e. Supongamos que
(a
m
)
t
= a
mt
= e. Por denicin de orden es n | mt , es decir mt = nk. Dividiendo
por d,
m

t = n

k n

| m

t.
Como m

y n

son primos entre s, es n

| t .
5.4. Grupos cclicos
Grupo cclico
Se dice que un grupo G es cclico si existe a G tal que
G = a = {a} = {a
m
| m Z}.
108
La notacin habitual para este tipo de grupos, cuando la operacin es el pro-
ducto, es C
n
(cuando G tiene n elementos) o C

(cuando tiene innitos elemen-

tos).
Lema 5.4.1. Si G es un grupo cclico entonces G es abeliano.
Proposicin 5.4.2. Todo subgrupo de un grupo cclico es cclico.
PRUEBA: Sea H G = a un subgrupo. Sea S = {k > 0 | a
k
H}. S =
y est acotado inferiormente, luego posee un mnimo. Sea s = min {k > 0 | a
k

H}. Veamos que H = a

s
por doble inclusin.
Como a
s
H, entonces a
s
H. En otro sentido, sea h H. Como h G,
h = a
m
, para algn entero positivo m. (En caso contrario razonaramos con h

.)
Por el algoritmo de la divisin tenemos m = qs +r, con 0 r < s. Entonces
a
m
= (a
s
)
q
a
r
, de donde a
r
H. Como s es el menor entero no nulo con esa
propiedad ha de ser r = 0, y a
m
= (a
s
)
q
a
s
.
Proposicin 5.4.3. Sea G = a un grupo cclico nito de orden m, H = a
s
un
subgrupo de G, d = mcd(s, m). Entonces H = a
d
.
PRUEBA: Probaremos el resultado por doble inclusin.
Por Bezout sabemos que d = s + m, entonces a
d
= a
s+m
= (a
s
)

(a
m
)

= (a
s
)

H, luego a
d
H.
Recprocamente, como d|s, ponemos s = dd

, y entonces a
s
= a
dd

=
(a
d
)
d

a
d
, luego H a
d
.
Nota 5.4.4. Sea G = a un grupo cclico nito de orden m. Los subgrupos de G
son cclicos generados por a
n
con n|m.
Gracias a este resultado podemos estudiar con detalle todos los subgrupos de
un grupo cclico.
Proposicin 5.4.5. Sea G = a un grupo cclico nito de orden m. Para todo
divisor n de m existe un nico subgrupo de G de orden n.
PRUEBA: Sea n un divisor de m y pongamos d = m/n y consideremos el
subgrupo H = a
d
. Sabemos que
|H| = o(a
d
) =
m
mcd(d, m)
=
m
d
= n,
luego para cada divisor n de m existe un subgrupo de orden n.
109
Sea K = a
r
, 0 r m, r|m otro subgrupo de G de orden n. Se tiene que
n = o(a
r
) =
m
mcd(r, m)
=
m
r
,
luego d = r, es decir, K = H.
5.5. Teorema de Lagrange
Denicin 5.5.1. Sean G un grupo y H G un subgrupo. Sobre G denimos las
relaciones
H
y
H
de la manera siguiente: Dados x, y G,
x
H
y x

y H x
H
y y x

H.
Proposicin 5.5.2. En las condiciones de la denicin anterior, las relaciones

H
y
H
son relaciones de equivalencia.
PRUEBA: Se comprueba que ambas relaciones verican las propiedades:
1. Reexiva: x G, x x.
2. Simtrica: x, y G, x y y x.
3. Transitiva: x, y, z G, x y, y z x z.

Proposicin 5.5.3. Sean G un grupo y a G. Consideremos los conjuntos

a H = {a h | h H}, H a = {h a | h H}.
Se tiene:
1. a H es la clase de equivalencia de a para la relacin
H
.
2. H a es la clase de equivalencia de a para la relacin
H
.
PRUEBA: Basta probar el primer apartado, pues el segundo es anlogo. Sea
a G y llamemos a a su clase de equivalencia por
H
, es decir,
a = {b G | a
H
b} = {b G | a

b H}.
Probaremos por doble inclusin que a = a H. Si b a, entonces a

b H,
es decir, existe h H tal que a

b = h, de donde
b = a h a H.
110
Si b a H, existe h H tal que b = a h, de donde
a

b = h H a
H
b.

Proposicin 5.5.4. Si G es un grupo abeliano, entonces

H
y
H
coinciden.
Sean G un grupo y H un subgrupo, notaremos
G: H =
G

H
, H : G =
G
H

.
Nota 5.5.5. Las clases de equivalencia de una relacin de equivalencia son una
particin del conjunto total, es decir, dadas dos clases de equivalencia, o son dis-
juntas, o coinciden. En consecuencia, si tomamos x, y G, tenemos que, o bien
x H = y H, o bien x H y H = . Anlogamente se tiene que, dados
x, y G, o bien H x = H y, o bien H x H y = .
Ejemplo 5.5.6. Algunas relaciones de equivalencia de este tipo.
1. Sea n Z, n > 0. Se tiene
Z: Zn = Zn : Z = {0 +Zn, . . . , (n 1) +Zn},
donde las clases anteriores son distintas entre s.
2. Consideremos el subgrupo H GL(2, C) dado por
H =
__
0
0
_
: = 1, 1, i, i
_
.
Para todo A GL(2, C), A H = H A. Por tanto
H
=
H
, an sin ser
GL(2, C) un grupo abeliano.
3. Sea H GL(2, C) el subgrupo
H =
__
1 0
0 1
_
,
_
0 i
i 0
_
,
_
1 0
0 1
_
,
_
0 i
i 0
__
.
Sea la matriz
A =
_
3 2
5 4
_
,
se tiene que:
A H =
__
3 2
5 4
_
,
_
2i 3i
4i 5i
_
,
_
3 2
5 4
_
,
_
2i 3i
4i 5i
__
111
H A =
__
3 2
5 4
_
,
_
5i 4i
3i 2i
_
,
_
3 2
5 4
_
,
_
5i 4i
2i 2i
__
.
Como A H = H A, es
H
=
H
.
Teorema de Lagrange
Sea G un grupo nito, H G un subgrupo. Entonces |H| divide
a |G|.
PRUEBA: Consideremos la relacin
H
sobre G. Como G es nito, habr slo
un nmero nito de clases de equivalencia distintas. Sean stas a
1
H, . . . , a
r
H.
Como G es unin disjuntas de estas clases, ser
|G| = #(a
1
H) + +#(a
r
H).
Sea H = {h
1
, . . . , h
n
}, entonces a
i
H = {a
i
h
1
, . . . , a
i
h
n
}, 1 i r.
Veamos que #(a
i
H) = |H|, 1 i r. En efecto, si a
i
h
j
= a
i
h
l
se
deduce que, multiplicando a izquierda por el simtrico de a
i
, h
j
= h
l
. Por tanto
los elementos de la clase a
i
H son todos distintos. Luego |G| = r |H|.
Corolario 5.5.7. Sean G un grupo de orden nito y H G un subgrupo. El
nmero de clases de equivalencia para
H
coincide con el nmero de clases de
equivalencia para
H
y es igual a |G|/|H|.
PRUEBA: La demostracin del teorema de Lagrange poda haberse hecho con
la relacin
H
.
Denicin 5.5.8. Sean G un grupo y H G un subgrupo. Se llama ndice de H
en G al nmero de clases de equivalencia para la relacin
H
(o
H
), es decir, al
nmero
i (G : H) =
|G|
|H|
.
Corolario 5.5.9. Sean G un grupo nito y H, K G subgrupos. Se tienen las
siguientes propiedades:
1. Para cada a G se tiene que o(a) divide a |G|.
2. Si el orden de G es primo, entonces G es cclico y no tiene ms subgrupos
que los triviales.
112
3. Si |H| y |K| son primos entre s, entonces H K = {e}.
PRUEBA: Todos son consecuencias casi inmediatas del Teorema de Lagrange.
1. Sea a G y consideremos el subgrupo a G. Sabemos que o(a) =
|a|. Por otro lado, el teorema de Lagrange dice que |a| divide a |G|.
2. Sea a G, a = e. El subgrupo a G no es trivial y su orden divide al
nmero primo |G|, luego debe ser o(a) = |G|. De donde G = a. Si no
existe a G, a = e, entonces G = {e} es cclico.
3. H K es un subgrupo de H y de K, luego |H K| debe dividir a |H| y a
|K|, que son primos entre s. De donde |H K| = 1 y H K = {e}.

5.6. Subgrupos normales. Grupo cociente y grupo

producto
Si G es un grupo y H es un subgrupo, hemos visto en la seccin anterior que
los conjuntos cocientes G: H y H : G son generalmente distintos y no siempre
heredan la estructura de grupo de G. Nos interesa estudiar los subgrupos para los
cuales esto no ocurre.
Comenzamos con un lema tcnico que usaremos a lo largo de esta seccin.
Lema 5.6.1. Sean H
1
H
2
subconjuntos de un grupo G. Entonces g, g G,
se verica que g H
1
g g H
2
g.
Proposicin 5.6.2. Sea H un subgrupo de un grupo G. Las condiciones siguientes
son equivalentes:
1. Las relaciones
H
y
H
coinciden, es decir, x H = H x para todo
x G.
2. Para todo x G, se tiene x H x

H.
3. Para todo x G, se tiene x H x

= H.
PRUEBA: Seguiremos el esquema 1 2 3 1.
1 2 Supongamos que x H = H x para todo x G. Sea x h x

x H x

.
Como x h x H = H x, se tiene que

h H tal que x h =

h x.
Entonces x h x

h x x

h H.
113
2 3 Supongamos que, para todo x G, x H x

H. Por el lema tenemos

que x

x H x

x x

H x, x G, y por tanto x H x

= H.
3 1 Supongamos por ltimo que para todo x G se tiene x H x

= H. Por
el lema tenemos que x H = x H x

x = H x.

Subgrupo normal
Un subgrupo H de G se dice normal en G si satisface alguna de
las condiciones anteriores, y lo notaremos H G.
Grupo cociente
Sea H es un subgrupo normal de G, el conjunto cociente G: H =
H : G, que notaremos G/H, es un grupo con la operacin indu-
cida por la de G.
PRUEBA: El producto de clases se dene de la siguiente manera:
(x H) (y H) = (x y) H, x, y G.
Veamos que esta operacin est bien denida, es decir, no depende del repre-
sentante elegido. En efecto, sean x H = x H, y H = y H, tenemos que
probar que (x y) H = (x y) H, o, equivalentemente, que y

x y H.
Como x

x H, es
x

x y H y =y H = y H.
Luego, multiplicando por y

a la izquierda se tiene que

y

x y H.
El neutro es e H = H, y el simtrico de x H es x

H. Adems G/H ser

abeliano si G lo es.

Ejemplo 5.6.3. Algunos grupos normales y no normales.

114
1. {1} G.
2. Todos los subgrupos de un grupo abeliano.
3. El conjunto de todas las matrices diagonales regulares es un subgrupo no
normal del grupo lineal GL(n, Q).
4. El conjunto de las matrices escalares I , con Q, es un subgrupo normal
del grupo lineal GL(n, Q).
A diferencia de la operacin cociente, la operacin de producto de grupos es
mucho ms natural y sencilla.
Producto de grupos
Sean (G
1
,
1
), . . . , (G
n
,
n
) grupos. En el conjunto G
1
G
n
denimos la siguiente operacin binaria:
(a
1
, . . . , a
n
) (b
1
, . . . , b
n
) = (a
1

1
b
1
, . . . , a
n

n
b
n
).
(G
1
G
n
, ) es un grupo.
PRUEBA: Se verican las propiedades de manera casi directa:
1. La operacin es asociativa por serlo cada una de las operaciones
i
, i =
1, . . . , n.
2. Si e
i
es el elemento neutro del grupo (G
i
,
i
), con i = 1, . . . , n, entonces
(e
1
, . . . , e
n
) es el elemento neutro de (G
1
G
n
, ).
3. El simtrico de un elemento (a
1
, . . . , a
n
) G
1
G
n
es (a

1
, . . . , a

n
),
donde cada a

i
es el simtrico de a
i
en el grupo (G
i
,
i
), con i = 1, . . . , n.

Proposicin 5.6.4. En las condiciones anteriores, (G

1
G
n
, ) es abeliano
si y slo si cada (G
i
,
i
), con i = 1, . . . , n, lo es.
PRUEBA: Es inmediato.
Proposicin 5.6.5. Dados dos grupos cclicos C
n
y C
m
, se tiene que C
n
C
m
es
cclico si y slo si mcd(n, m)=1
115
PRUEBA: Supongamos, en primer lugar, C
n
= a y C
m
= b siendo n y m
primos entre s y notaremos 1 el elemento neutro en ambos grupos. Consideramos
entonces (a, b) C
n
C
m
. Entonces tenemos que
(a, b)
r
= (1, 1) a
r
= 1, b
r
= 1 n|r, m|r
y, por ser entones mcd(n, m) = 1, ha de ser nm|r. Como (a, b)
nm
= 1 concluimos
que C
n
C
m
= (a, b).
En el otro sentido, supondremos que mcd(n, m) = d > 1. Entonces es sencillo
comprobar que, para cualesquiera r, s N,
_
a
r
, b
s
_
nm/d
=
_
a
n(rm/d)
, b
m(sn/d)
_
= (1, 1),
luego ningn elemento tiene orden nm y el grupo producto no es cclico.
5.7. Homomorsmos de grupos
Cuando denimos aplicaciones entre grupos, nos interesan especialmente aqu-
llas que conservan las operaciones. stas son los homomorsmos de grupos.
Sean (G, ) y (S, ) dos grupos, de elementos neutros e
G
y e
S
, donde notare-
mos por g

el inverso de g si g G, y por s si s S.
Homomorsmo de grupos
Un homomorsmo de grupos de G en S es una aplicacin
f : G S tal que
f (x y) = f (x) f (y)
para cualesquiera x, y G.
Algunos tipos especiales de homomorsmos son:
1. Cuando G = S, f se dice un endomorsmo.
2. Llamamos monomorsmos a los homomorsmos inyectivos y epimors-
mos a los homomorsmos sobreyectivos de grupos.
3. Cuando f : G S es biyectivo, se dice un isomorsmo.
116
4. Cuando f es un endomorsmo biyectivo de G, se dice un automorsmo de
G.
Proposicin 5.7.1. Si f : G S es un homomorsmo, se tiene que f (e
G
) = e
S
y que f (x

) =

f (x), x G.
PRUEBA: Para ver la primera propiedad, tomamos g G cualquiera. Enton-
ces
f (g) = f (e
G
g) = f (e
G
) f (g) f (e
G
) = e
S
.
La otra propiedad se deduce inmediatamente de sta.
Ejemplo 5.7.2. Algunos homomorsmo de grupos sencillos.
1. La aplicacin constante f : G S, f (x) = e
S
x G, es un homomor-
smo.
2. Sea G un grupo y x G. La aplicacin i
x
: G G, i
x
(y) = x y x

es
un homomorsmo. Adems i
x
es biyectiva y (i
x
)
1
= i
x
.
3. Si H G es un subgrupo, la inclusin de H en G es un homomorsmo
inyectivo.
4. Si H G, la proyeccin cannica : G G/H, (x) = x H, es un
homomorsmo sobreyectivo de grupos.
El conjunto de los automorsmos de un grupo G, Aut(G), es un grupo con
la composicin de aplicaciones. La aplicacin i : G Aut(G) denida por
i (x) = i
x
, para cada x G, es tambin un homomorsmo de grupos.
Ncleo de un homomorsmo
Sea f : G S un homomorsmo de grupos. Denimos el n-
cleo de f , que notaremos por ker( f ), al subconjunto de G dado
por
ker( f ) = {g G | f (g) = e
S
}.
Proposicin 5.7.3. Sea f : G S un homomorsmo de grupos:
1. Si H G es un subgrupo, f (H) es un subgrupo de S. En particular, la
imagen Im( f ) = {f (g) | g G} es un subgrupo de S.
117
2. Si T S es un subgrupo (normal), f
1
(T) es un subgrupo (normal) de G.
En particular, el ncleo de f ,
ker( f ) = f
1
({e
S
}) ,
es un subgrupo normal de G.
3. f es un monomorsmo si y slo si ker( f ) = {e
G
}.
PRUEBA: Fijamos f : G S y las notaciones anteriores.
1. f (H) = {s S | x G tal que f (x) = s}. Como e
S
= f (e
G
) f (H),
f (H) es no vaco. Sean s, t f (H), sean x, y H tales que f (x) = s y
f (y) = t . Entonces
s

t = f (x)

f (y) = f (x) f (y

) = f (x y

) f (H)
pues, por ser H subgrupo, x y

H.
2. La prueba de que
f
1
(T) = {x G | f (x) T}
es un subgrupo de G es anloga a la del apartado anterior. Veamos que si
T S entonces f
1
(T) G. Basta demostrar que
x f
1
(T) x

f
1
(T) x G.
Sea x y x

x f
1
(T) x

, con f (y) T. Entonces

f (x y x

) = f (x) f (y)

f (x) f (x) T

f (x) T
por ser T S. De donde x y x

f
1
(T) y f
1
(T) G.
3. Supongamos en primer lugar que f es inyectiva, es decir, si f (x) = f (y)
entonces x = y. Sea x ker( f ), entonces
f (x) = e
S
= f (e
G
) ,
de donde x = e
G
y ker( f ) = {e
G
}.
Supongamos ahora que ker( f ) = {e
G
} y sean x, y G tales que f (x) =
f (y), entonces:
f (x) = f (y) e
S
= f (x)

f (y) = f (x y

)
x y

ker( f ) = {e
G
} x y

= e
G
x = y.
Luego f es inyectiva.

118
5.8. Teoremas de isomorfa
Nota 5.8.1. Por conveniencia, notaremos a partir de ahora la composicin de ho-
momorsmos por simple yuxtaposicin. Es un ejercicio sencillo comprobar que,
si
G
f
S
g
X
son homomorsmos de grupos, g f : G X tambin lo es.
Lema 5.8.2. Sean f : G S un homomorsmo de grupos y H G tal que
H ker( f ). Existe un nico homomorsmo f

: G/H S tal que f = f

,
donde es la proyeccin cannica que lleva x en x H.
PRUEBA: Sea la aplicacin
f

: G/H S
x H f

(x H) = f (x)
Veamos que est bien denida, es decir, si tomamos y G tal que y H =
x H, entonces f

(y H) = f

(x H). Por denicin, f

(y H) = f (y) y
f

(x H) = f (x), luego nos preguntamos si, en estas condiciones, f (y) = f (x).
Sabemos, por ser H G, que
y H = x H x

y H ker( f ).
De donde e
S
= f (x

y) =

f (x) f (y) y, por tanto, f (y) = f (x).
Comprobemos ahora que f

es homomorsmo:
f

((xH)(yH)) = f

((xy)H) = f (xy) = f (x) f (y) = f

(xH) f

(yH).
Falta ver que es nico. Sea g : G/H S tal que f = g. Entonces, para
todo x G,
f

(x H) = f (x) = g(x) = g((x)) = g(x H).
Luego f

= g.
Primer teorema de isomorfa
Sea f : G S un homomorsmo de grupos. Se induce de mo-
do natural un isomorsmo
f : G/ker( f ) Im( f )
que factoriza f = i f , siendo el epimorsmo de G sobre
G/ker( f ) e i la inclusin de Im( f ) en S.
119
PRUEBA: Basta denir f como se deni f

en el lema anterior.
f : G/ker( f ) Im( f )
x ker( f ) f (x ker( f )) = f (x)
De igual manera que en el lema anterior, se comprueba que f est bien de-
nida y que es un homomorsmo.
Sea x G tal que f (x ker( f )) = e
S
, es decir, sea x ker( f ) ker( f ).
Entonces
e
S
= f (x ker( f )) = f (x) x ker( f ) x ker( f ) = e
G
ker( f ).
Luego ker( f ) = e
G
ker( f ) y f es inyectiva.
Por otro lado, si s Im( f ), existe x G tal que f (x) = s, luego f (x
ker( f )) = s y f es sobreyectiva.
Segundo teorema de isomorfa
Sea f : G S un homomorsmo sobreyectivo de grupos. Sea
J S y pongamos H = f
1
(J ). Entonces f induce un isomor-
smo de G/H en S/J .
PRUEBA: Sea la proyeccin de S en S/J , que es un homorsmo sobre-
yectivo. Luego la composicin f es un homomorsmo sobreyectivo de G en
S/J .
Sea x G tal que f (x) = e
S
J , es decir, x ker( f ). Entonces
e
S
J = f (x) = ( f (x)) = f (x) J f (x) J x H.
Luego ker( f ) = H y, aplicando el primer teorema de isomorfa, se tiene un
isomorsmo de G/H en S/J .
Corolario 5.8.3. Si H
1
y H
2
son subgrupos normales de G tales que H
1
H
2
,
se tiene:
1. H
2
/H
1
es un subgrupo normal de G/H
1
.
2. (G/H
1
)/(H
2
/H
1
) es isomorfo a G/H
2
.
120
PRUEBA: Veamos ambos enunciados por separado.
1. Primero hemos de ver que H
1
H
2
. Sea x H
2
G, como H
1
G, se
tiene x H
1
= H
1
x. de donde H
1
H
2
.
Luego podemos considerar el cociente H
2
/H
1
, que es un subgrupo de G/H
1
.
Consideremos entonces
(x H
1
) (y H
1
)
_
x

H
1
_
(x H
1
) (H
2
/H
1
)
_
x

H
1
_
,
con x G e y H
2
arbitarios. Por ser H
1
G, se tiene
(x H
1
) (y H
1
)
_
x

H
1
_
=
_
x y x

_
H
1
.
Como H
2
G, se tiene x H
2
x

H
2
. Luego
_
x y x

_
H
1
H
2
/H
1
,
de donde H
2
/H
1
G/H
1
.
2. Basta considerar el epimorsmo proyeccin : G G/H
1
para concluir
que (G/H
1
)/(H
2
/H
1
) y G/H
2
son isomorfos.

Tercer teorema de isomorfa

Sean G un grupo y N y H subgrupos de G. Supongamos que
N G. Entonces:
1. (N H) H y N (NH).
2. La inclusin de H en NH induce un isomorsmo de
H/(N H) en (NH)/N.
PRUEBA: Se deja como ejercicio probar (N H) H y N (NH). La com-
posicin de la inclusin de H en NH con la proyeccin de NH sobre (NH)/N
es un epimorsmo cuyo ncleo coincide con N H, de donde el resultado es una
consecuencia directa del primer teorema de isomorfa.
121
5.9. El grupo de las permutaciones
Permutaciones
Consideremos el conjunto A = {1, 2, ..., n} y sea
S
n
= {f : A A | f biyectiva }.
El conjunto S
n
se denomina conjunto de permutaciones de n ele-
mentos.
Ejemplo 5.9.1. Sea A = {1, 2, 3, 4, 5}. La aplicacin f : A A denida por
f (1) = 4, f (2) = 3, f (3) = 2, f (4) = 1, f (5) = 5
es una permutacin de cinco elementos.
1
2
3
A A
4
5
1
2
3
4
5
f
Figura 5.1: Permutacin
Proposicin 5.9.2. S
n
tiene n! elementos.
PRUEBA: Vamos a contar el nmero de elementos de S
n
. El 1 puede transfor-
marse en cualquier elemento a
1
de {1, . . . , n}. Esto nos da n elecciones para a
1
.
Una vez hecha esta eleccin, para evitar duplicacin, el transformado del 2, a
2
, lo
debemos elegir entre los n 1 nmeros distintos de a
1
. Esto nos da n 1 elec-
ciones para a
2
. Una vez elegidos los transformados del 1 y del 2, tenemos n 2
elecciones para a
3
, n 3 elecciones para a
4
, . . . , 2 elecciones para a
n1
y una
para a
n
. As, |S
n
| = n!.

De la caracterizacin estudiada para las aplicaciones biyectivas se sigue que

la composicin de dos aplicaciones biyectivas es de nuevo biyectiva. Por tanto en
122
S
n
podemos denir una operacin interna, que no es ms que la composicin de
aplicaciones.
Proposicin 5.9.3. (S
n
, ) es un grupo.
PRUEBA: Sabemos que la composicin de aplicaciones es asociativa.
Elemento neutro: la aplicacin
1
A
: A A
i i
verica que, para todo S
n
,
1
A
= 1
A
= .
Elemento simtrico: dada S
n
, se tiene que
1
S
n
tambin, y verica

1
=
1
= 1
A
.

Nota 5.9.4. A partir de ahora a la permutacin identidad 1

A
la notaremos por 1.
De hecho, es un grupo no abeliano. Casi cualquier ejemplo no trivial de S
3
sirve para ver que, en general, si , S
n
, se tiene que = .
Nota 5.9.5. Adoptaremos las siguientes notaciones indistintamente
= =
... (r veces) =
r
Es posible entender cada aplicacin de S
n
como una reordenacin del conjunto
{1, ..., n}. De aqu es usual denotar los elementos de S
n
como una tabla con dos
las: en la primera aparecen los nmeros del 1 al n (para saber cul es el conjunto
original) y en la segunda aparece, bajo cada original, su imagen. Por ejemplo:
=
_
1 2 3 4 5
4 3 2 1 5
_
es la aplicacin de {1, 2, 3, 4, 5} en s mismo que enva 1 en 4, 2 en 3, 3 en 2, 4 en
1 y 5 en s mismo.
En general, si S
n
donde (1) = a
1
, . . . , (n) = a
n
, se escribir
=
_
1 2 . . . n 1 n
a
1
a
2
. . . a
n1
a
n
_
123
entendindose que hace corresponder a cada uno de los nmeros que estn en
la primera la el que est debajo.
Para la multiplicacin de permutaciones se usar el mismo convenio (de de-
recha a izquierda) que para la composicin de aplicaciones. Por ejemplo, en S
3
si
=
_
1 2 3
2 1 3
_
, y =
_
1 2 3
2 3 1
_
,
entonces
=
_
1 2 3
2 3 1
_

_
1 2 3
2 1 3
_
=
_
1 2 3
3 2 1
_
.
s
A
1
2
3
A A
1
2
3
t
1
2
3
ts
Figura 5.2: Producto de permutaciones
Ejemplo 5.9.6. Los elementos de S
3
son los siguientes:
1 =
_
1 2 3
1 2 3
_
,
2
=
_
1 2 3
1 3 2
_
,
3
=
_
1 2 3
2 1 3
_

4
=
_
1 2 3
2 3 1
_
,
5
=
_
1 2 3
3 1 2
_
,
6
=
_
1 2 3
3 2 1
_
y su tabla de multiplicar es:
1
2

3

4

5

6
1 1
2

3

4

5

6

2

2
1
4

3

6

5

3

3

5
1
6

2

4

4

4

6

2

5
1
3

5

5

3

6
1
4

2

6

6

4

5

3

2
1
124
Vamos ahora a dar una cierta estructura al conjunto de las permutaciones. En
primer lugar nos jaremos en un tipo muy concreto (e interesante).
Ciclo
Un ciclo de longitud r en S
n
es una permutacin tal que existen
{a
1
, ..., a
r
} {1, ..., n}, todos ellos distintos, vericando:
(a
j
) = a
j +1
para j = 1, ..., r 1, y (a
r
) = a
1
.
(i ) = i para todo i / {a
1
, ..., a
r
}.
Esto es, los r elementos no jos de pueden recorrerse todos
yendo de original a imagen, empezando por uno cualquiera.
Los ciclos de longitud 2 se denominan trasposiciones.
Nota 5.9.7. Un ciclo como el anterior se denotar, abreviadamente
= (a
1
... a
r
) ,
indicando con ello (a
j
) = a
j +1
para j = 1, ..., r 1, y (a
r
) = a
1
.
Ejemplo 5.9.8. El ejemplo visto anteriormente
=
_
1 2 3 4 5
4 3 2 1 5
_
no es un ciclo. Hay cuatro elementos no jos en y no pueden recorrerse yendo
de original a imagen.
La permutacin inversa de un ciclo es un ciclo de la misma longitud. De hecho
(a
1
a
2
... a
r
)
1
= (a
r
... a
2
a
1
),
y, en particular, (i j )
1
= (i j ).
Nota 5.9.9. Dos ciclos = (a
1
... a
r
) y = (b
1
... b
s
) tales que
{a
1
, ..., a
r
} {b
1
, ..., b
s
} =
verican que = . Estos ciclos se dicen disjuntos.
Proposicin 5.9.10. Toda permutacin distinta de la identidad se puede descom-
poner en producto de ciclos disjuntos, de manera nica (salvo reordenacin de
los ciclos).
125
PRUEBA: Haremos la prueba por induccin en r, que ser el nmero de ele-
mentos no jos de . Si r = 0 no hay nada que probar, y = 1. Claramente r no
puede ser 1, por la biyectividad de . Y, si r = 2, entonces llamamos {i, j } a los
elementos no jos de y tenemos que tener, forzosamente
(i ) = j, ( j ) = i = (i j ).
Sea S
n
dada por
=
_
1 2 ... n
a
1
a
2
... a
n
_
y supongamos que tiene r elementos no jos.
Comenzamos por el primer nmero i tal que a
i
= i y vamos creando la si-
guiente lista:
i (i ) = a
i

2
(i )
3
(i ) ...
Dado que S
n
, existirn s, t N (pongamos s < t ) tal que

s
(i ) =
t
(i )
y, componiendo con (
1
)
s
obtenemos
i =
t s
(i ).
Sea r el menor entero positivo tal que i =
r
(i ). Entonces el ciclo de longitud
r
(i (i ) ...
r1
(i ))
acta, por construccin, de la misma forma que sobre el conjunto {i, (i ), ...,
r1
(i )}.
Slo resta aplicar el mismo razonamiento (hiptesis de induccin) a la permu-
tacin , denida por
( j ) =
_
( j ) si j / {i, (i ), ...,
r1
(i )}
j si j {i, (i ), ...,
r1
(i )}

Ejemplo 5.9.11. En el ejemplo anterior

=
_
1 2 3 4 5
4 3 2 1 5
_
= (1 4) (2 3).
126
Nota 5.9.12. Si admitimos ciclos de longitud 1 (con la denicin obvia) podemos
obtener una descripcin ms precisa de la permutacin. En efecto,
(1 4) (2 3)
puede ser la permutacin del ejemplo anterior. Pero tambin puede ser
_
1 2 3 4 5 6
4 3 2 1 5 6
_
S
6
.
Si queremos evitar estas confusiones, escribiremos el ejemplo del principio
como
(1 4) (2 3) (5).
Llamaremos orden de una permutacin , notado o(), al menor entero r tal
que
r
= 1, es decir, al orden como elemento del grupo S
n
.
Podemos hallar fcilmente el orden de una permutacin a partir de su descom-
posicin en ciclos disjuntos.
Proposicin 5.9.13. Un ciclo de longitud l en S
n
tiene orden l.
PRUEBA: Si j es un elemento no jo por C, es evidente por la denicin de
ciclo que
C
l
( j ) = j, C
s
( j ) = j para s < l.
Como los elementos jos por C lo son tambin por C
l
, se tiene que C
l
= 1, y
C
s
= 1 para cualquier s < l.
Proposicin 5.9.14. Sea S
n
, con descomposicin en ciclos disjuntos dada
por
= C
1
C
2
... C
r
,
donde la longitud de C
i
es, pongamos l
i
. Entonces
o() = mcm(l
1
, ..., l
r
).
PRUEBA: Dado que al componer ciclos disjuntos es irrelevante el orden tene-
mos que, para todo s N

s
= C
s
1
C
s
2
... C
s
r
.
Como los C
i
actan de forma no trivial sobre elementos distintos de {1, ..., n},
para que
s
= 1 tiene que ser C
s
i
= 1 para i = 1, ..., s. As pues el orden de
ser el menor mltiplo comn de los rdenes de los C
i
.
Podemos dar otro tipo de descomposicin para las permutaciones de S
n
.
127
Proposicin 5.9.15. Toda permutacin se puede descomponer en producto de
trasposiciones.
PRUEBA: Esta demostracin es mucho ms simple, dado que basta probarlo
para un ciclo, y esto es muy sencillo. Slo hay que comprobar
(a
1
a
2
... a
r
) = (a
1
a
r
) ... (a
1
a
3
) (a
1
a
2
).

Nota 5.9.16. La descomposicin anterior, sin embargo, no es nica. Por ejemplo,

(1 2 3) = (1 3) (1 2) = (3 2) (1 3).
Sin embargo, no es casual el hecho de que ambas descomposiciones consten
de dos trasposiciones.
Proposicin 5.9.17. Sea S
n
una permutacin. Entonces todas las posibles
descomposiciones de como producto de trasposiciones consta de, bien un n-
mero par, bien un nmero impar de factores.
PRUEBA: La demostracin es interesante porque sigue un camino indirecto:
en lugar de trabajar con las permutaciones como objetos en s, usaremos cmo las
permutaciones actan sobre otro objeto, en este caso un polinomio en n variables.
Consideremos el polinomio
F(x
1
, ..., x
n
) =

i <j
_
x
i
x
j
_
= (x
1
x
2
) ... (x
1
x
n
) (x
2
x
3
) ... (x
n1
x
n
).
Entonces hacemos actuar sobre F de la siguiente manera
(F) = F
_
x
(1)
, ..., x
(n)
_
,
es decir, renombramos las variables en F siguiendo a . Del mismo modo tenemos
(F) =

i <j
_
x
(i )
x
( j )
_
.
Ahora bien, notemos que una trasposicin (r s) (pongamos con r < s) verica
que
(r s)(F) = F.
Veamos esto en la descomposicin de F en factores (x
i
x
j
):
Si {r, s} {i, j } = , entonces (x
i
x
j
) no se ve afectado por (r s).
128
Si i < r < s = j , entonces (x
i
x
j
) va en (x
i
x
r
) y (x
i
x
r
) va en
(x
i
x
s
) = (x
i
x
j
).
Si r < i < s = j , entonces (x
i
x
j
) va en (x
i
x
r
) y (x
r
x
i
) va en
(x
s
x
i
) = (x
j
x
i
), con lo cual el producto de ambos factores permanece
inalterado por la accin de (r s).
Si r < s = i < j , entonces (x
j
x
i
) va en (x
r
x
i
) y (x
r
x
i
) va en
(x
s
x
i
) = (x
j
x
i
).
Por ltimo (r s)(x
r
x
s
) = (x
r
x
s
).
Por tanto, cada trasposicin cambia de signo F al actuar sobre l. As , al
ser producto de trasposiciones, puede dejar F invariante o cambiarlo de signo,
dependiendo de si se escribe como producto de una cantidad par o impar de
trasposiciones, respectivamente. Pero la accin de sobre F es independiente de
cmo se escriba como producto de trasposiciones, luego la cantidad de factores
ha de ser siempre par o siempre impar.

Nota 5.9.18. Una cierta forma de medir cunto altera una permutacin S
n
el
orden natural en {1, 2, ..., n} es ver el nmero de inversiones que efecta: para
cada i {1, 2, ..., n} se cuenta una inversin por cada j > i tal que (i ) > ( j ).
En nuestro ejemplo anterior
=
_
1 2 3 4 5
4 3 2 1 5
_
= (1 4) (2 3).
tenemos que contar:
Tres inversiones porque (1) > (2), (3), (4).
Dos inversiones porque (2) > (3), (4).
Una inversin porque (3) > (4).
Luego el nmero de inversiones de es 6. Este concepto ser til para la de-
nicin de determinante, pero adems est ntimamente ligado a la descomposicin
en producto de trasposiciones.
El nmero de inversiones tambin puede contarse al revs: esto es, contar una
inversin por cada j > i tal que (i ) < ( j ).
Proposicin 5.9.19. Sea S
n
una permutacin con k inversiones. Entonces
existe una descomposicin de en producto de k trasposiciones.
129
PRUEBA: Supongamos que tenemos
=
_
1 2 ... n
a
1
a
2
... a
n
_
,
y supongamos que a
1
= r = 1. Esto quiere decir que 1 aporta r 1 inver-
siones, dado que los elementos 1, ..., r 1, menores que r vericarn que sus
antiimgenes, pongamos x
1
< ... < x
r1
son mayores que la de r, que es 1.
Entonces podemos darnos cuenta de que
(r (x
r1
)) ... (r (x
1
))
es una permutacin, cuya diferencia con r consiste en que hemos movido r hasta
situarlo como imagen de r, para lo cual hemos usado r 1 trasposiciones, exac-
tamente el nmero de inversiones que aporta 1 (o el que aporta r si las contamos
al revs). Repitiendo el proceso con la imagen de 2 (y sucesivamente) llegamos a
una expresin de la forma

1
...
k
= 1,
donde recordemos que k es el nmero de inversiones de . De aqu se deduce
fcilmente que
=
1
...
1
k
=
1
...
k
,
como queramos.

130
Captulo 6
Anillos y cuerpos
6.1. Anillos (I): Unidades y divisores de cero
Anillo
Un anillo es una terna (A, +, ) formada por un conjunto A y dos
operaciones internas y binarias +, vericando:
1. El par (A, +) es un grupo abeliano, cuyo elemento neutro
llamaremos normalmente cero (0)".
2. La operacin binaria es asociativa y tiene elemento neutro,
que llamaremos normalmente uno (1)".
3. La operacin es distributiva a la derecha y a la izquierda
respecto de la operacin +, i.e. para todos x, y, z A, se
tiene (x + y) z = x z + y z, x (y + z) = x y + x z.
Si adems la operacin es conmutativa, diremos que el anillo es
conmutativo.
Nota 6.1.1. Algunas notas a la denicin.
1. En general se usar la expresin sea A un anillo", sobreentendiendo las
operaciones. La operacin se notar normalmente por simple yuxtaposi-
cin.
131
2. En un anillo A se tiene 0 x = x 0 = 0 para todo x A.
3. Si en un anillo A se tiene 1 = 0, entonces A = {0}.
4. Para todo x, y A, ese tiene x(y) = (x)y = (xy).
5. Si A
1
, . . . , A
n
son anillos, el producto cartesiano A
1
A
n
posee una
estructura natural de anillo, donde las operaciones estn denidas compo-
nente a componente.
Ejemplo 6.1.2. Anillos bien conocidos.
1. Z, Q, R, C son anillos conmutativos. La estructura de anillo de Z viene
determinada por la de grupo aditivo: el producto de dos enteros xy coincide
con el mltiplo de y con coeciente x. As pues, la estructura de anillo de Z
no aade nada nuevo a la de grupo. Esto es falso para Q, R y C en los que,
obviamente, la estructura multiplicativa no viene determinada por la aditiva.
2. Las congruencias mdulo m, Z/Zm son un anillo conmutativo con la suma
y el producto que hemos denido en el tema 2.
3. El conjunto M(n) de las matrices n n sobre Z, Z/Zp, Q, R o C es un
anillo, con respecto a la adicin y la multiplicacin ordinaria de matrices.
No es conmutativo.
4. Si A es un anillo conmutativo, el conjunto A[x
1
, . . . , x
n
] de los polinomios
en n indeterminadas con coecientes en A es tambin un anillo conmutati-
vo.
Unidad
Sea A un anillo. Una unidad es un elemento que posee un sim-
trico multiplicativo (a la izquierda y a la derecha), que llamare-
mos inverso. El conjunto de las unidades de A es un grupo para
el producto y se notar A

.
Cuerpo
Un cuerpo es un anillo conmutativo tal que todo elemento distin-
to de cero es una unidad, i.e. A

= A {0}.
132
Ejemplo 6.1.3. Algunos casos sencillos de unidades.
1. Las unidades de Z son 1, 1.
2. Las unidades de Z/Zn son los elementos a +Zn tales que mcd(a, n) = 1.
3. Los anillos Q, R, Cson cuerpos. El anillo Z/Zn lo es si y slo si n es primo.
4. El grupo de las unidades del anillo M(n, k) con k = Q, R C es GL(n, k).
Nota 6.1.4. A partir de ahora slo trabajaremos con anillos conmutativos. As
pues, la palabra anillo signicar siempre anillo conmutativo.
Dominio de integridad
Sea A un anillo. Un elemento x A se llamar un divisor de
cero si y slo si es distinto de cero y existe y A, y = 0, tal que
xy = 0. Un anillo sin divisores de cero se llama un dominio de
integridad.
Un elemento x A se llamar nilpotente si es distinto de cero y existe un
entero n > 0 tal que x
n
= 0.
Nota 6.1.5. En un dominio de integridad se da la propiedad cancelativa por el
producto de elementos no nulos:
a = 0, ab = ac b = c.
lo cual hace que estos anillos sean particularmente cmodos a la hora de hacer
clculos.
Ejemplo 6.1.6. Divisores de cero y elementos nilpotentes.
1. Las unidades no son divisores de cero, ya que si x es ambas cosas existiran
y, z A, con z = 0 tales que yx = 1 y xz = 0, de donde
z = 1 z = yxz = y 0 = 0.
As, todo cuerpo es un dominio de integridad.
2. Z es un dominio de integridad.
3. El anillo Z/Z4 no es un dominio de integridad. El elemento 2 es nilpotente
en Z/Z4.
4. Todos los elementos no nulos de Z/Zn son unidades o divisores de cero,
pero esto no es cierto en todos los anillos (no lo es, por ejemplo, en Z o en
k[x]).
133
6.2. Anillos (II): Ideales
El concepto equivalente a subgrupo para anillos no es, como podra esperarse,
el de subanillo. En efecto, si R A son dos anillos (con las mismas operaciones)
no se puede denir, en general, una estructura coherente de anillo en el grupo
cociente A/R.
A mediados del siglo XIX, Dedekind buscaba una generalizacin de la facto-
rizacin nica en primos que se tiene en Z para unos anillos denominados anillos
de enteros algebraicos. Estos anillos, que contienen a Qy estn contenidos en C,
no verican en general que exista una factorizacin nica en elementos irreduci-
bles. Por ello, Dedekind pens sustituir la factorizacin tradicional, en producto de
elementos del anillo, por un concepto que denominelementos ideales. Conviene
destacar que la idea original ya la tuvo Kummer algunos aos antes, buscando la
demostracin del Teorema de Fermat.
Sin embargo, para mantener las propiedades de la divisibilidad tradicional,
Dedekind pens que sus elementos ideales deban vericar las propiedades anlo-
gas a la divisibilidad. Esto es:
1. Si a|b y a|c, entonces a|(b +c).
2. Si a|b, entonces a|bc, para todo c.
El resultado de esta magnca idea fue el concepto que hoy denominamos
ideal de un anillo.
Ideal
Sea A un anillo. Un ideal de A es un subconjunto I de A que
verica:
1. I es un subgrupo del grupo aditivo de A.
2. Para todo a I , x A se tiene xa I .
En realidad no hace falta comprobar que I es un subgrupo aditivo. Para ver si
I es ideal es suciente probar (comparar con las propiedades que buscaba Dede-
kind):
1. Si a, b I , entonces a +b I .
2. Si a I y c A, entonces ac I .
Nota 6.2.1. Sea I A un ideal de A. Se tiene:
134
1. Si I contiene una unidad, entonces I = A.
2. A es un cuerpo si y slo si sus nicos ideales son {0} y A.
3. Los ideales de Z y los subgrupos son la misma cosa, pues la estructura
multiplicativa viene determinada por la aditiva. El apartado anterior prueba
entonces de nuevo que Z/Zn es un anillo.
Asombrosamente, el concepto de Dedekind es precisamente el que permite
dotar de estructura de anillo a los cocientes.
Anillo cociente
El grupo cociente A/I admite una estructura cannica de anillo.
PRUEBA: En efecto, basta ver que la frmula
(a + I )(b + I ) = ab + I
dene una operacin en A/I .
Si a + I = a

+ I y b + I = b

+ I es a a

I , y b b

I . As
ab a

= ab ab

+ab

= a(b b

) +(a a

)b

I,
lo que prueba nuestro aserto.
Homomorsmo de anillos
Sean A, B anillos, f : A B una aplicacin. Se dir que f es
un homomorsmo de anillos si verica:
1. Para cualesquiera x, y A, es f (x + y) = f (x) + f (y).
2. Para cualesquiera x, y A, es f (xy) = f (x) f (y).
3. f (1) = 1.
Un homomorsmo biyectivo se llama un isomorsmo y los anillos entre los
cuales se puede establecer un isomorsmo se llaman anillos isomorfos.
135
Proposicin 6.2.2. Sea f : A B un homomorsmo de anillos. Se tienen las
siguientes propiedades:
1. El conjunto
ker( f ) = {a A | f (a) = 0}
es un ideal de A, y f es inyectivo si y slo si ker( f ) = {0}.
2. Si u A es una unidad, entonces f (u) es una unidad en B. En particular
cualquier homomorsmo (de anillos) entre cuerpos es inyectivo.
3. El conjunto
im( f ) = {b B | a A, f (a) = b}
es un subanillo de B (esto es, un anillo dentro de B, con las mismas opera-
ciones).
Primer teorema de isomorfa
Sea f : A B un morsmo de anillos. Entonces A/ ker( f ) es
isomorfo a im( f ).
Segundo teorema de isomorfa
Sea A un anillo, I A un ideal, y B A un subanillo. Entonces
B + I = {b + a : b B, a I } es un subanillo de A, I es un
ideal de B + I , B I es un ideal de B, y existe un isomorsmo
de anillos
(B + I )/I

= B/(B I ).
Tercer teorema de isomorfa
Sea A un anillo y sean I, J ideales de A con I J . Entonces
J/I es un ideal de A/I y A/J es isomorfo a (A/I )/(J/I ).
Las tres demostraciones son anlogas a las hechas en el tema anterior para
homomorsmos de grupos.
Hay que tener cuidado, porque no todas las propiedades de los homomors-
mos de grupos se amplan directamente a los homomorsmo de anillos.
136
Proposicin 6.2.3. Sea f : B un homomorsmo de anillos.
1. Si I A es un ideal, f (I ) no es, en general, un ideal de B.
2. Si I A es un ideal y f es sobreyectiva, f (I ) es un ideal de B.
3. Si J B es un ideal, f
1
(J ) es un ideal de A.
PRUEBA: Un contraejemplo sencillo para el primer apartado lo da la inclusin
i : Z Q, dado que i (Z) no es un ideal en Q (al ser cuerpo, slo {0} y Q lo
son).
En cuando al caso en que f sea sobreyectiva, tomemos b
1
, b
2
f (I ). Enton-
ces tenemos a
1
, a
2
I tales que f (a
i
) = b
i
para i = 1, 2 y, en ese caso
b
1
+b
2
= f (a
1
) + f (a
2
) = f (a
1
+a
2
) f (I ).
Notemos que no hemos usado la sobreyectividad de f an. Ahora, si tomamos
un y B cualquiera, tenemos que debe existir x A con f (x) = y y entonces
yb
1
= f (x) f (a
1
) = f (xa
1
) f (I ).
Para demostrar la tercera propiedad, tomemos a
1
, a
2
f
1
(I ). Entonces
f (a
i
) I , para i = 1, 2, y
f (a
1
+a
2
) = f (a
1
) + f (a
2
) I,
luego a
1
+a
2
f
1
(I ). Por otra parte, si x A tenemos que
f (xa
1
) = f (x) f (a
1
) I,
de donde xa
1
f
1
(I ) y hemos terminado.

6.3. Cuerpo de fracciones. Caracterstica

Terminamos el desarrollo terico con dos conceptos importantes: el cuerpo de
fracciones, que permite construir un cuerpo a partir de un dominio de integridad,
y la caracterstica, que es un elemento crucial a la hora de clasicar cuerpos.
Sea A un dominio de integridad y llamemos A

= A \ {0}. Consideremos la
relacin binaria denida en A A

por
(a, b) (a

, b

) ab

= a

b.
137
Es fcil vericar que es una relacin de equivalencia. Llamamos Q(A) al
conjunto cociente (A A

)/ , y los elementos de Q(A) los notaremos como

a
b
,
representando as la clase de equivalencia de (a, b).
Se tienen las siguientes operaciones denidas en Q(A):
Suma:
a
b
+
c
d
=
ad +bc
bd
.
Producto:
a
b

c
d
=
ac
bd
.
Proposicin 6.3.1. Las operaciones estn bien denidas, esto es, si ab

= a

b y
cd

= c

d, entonces
ad +bc
bd
=
a

+b

,
ac
bd
=
a

.
Proposicin 6.3.2. Q(A) es un cuerpo, denominado cuerpo de cocientes o frac-
ciones de A.
Proposicin 6.3.3. prop Sea A un dominio de integridad y Q(A) su cuerpo de
fracciones. Se verica:
1. La aplicacin : A Q(A) denida por (a) =
a
1
es un homomorsmo
inyectivo de anillos.
2. (Propiedad universal de Q(A)) Si K es un cuerpo cualquiera, todo homo-
morsmo inyectivo de anillos : A K factoriza por , es decir, existe
un nico homomorsmo de anillos : Q(A) K que hace conmutativo
el siguiente diagrama:
A K
Q(A)

3. Si L es un cuerpo que verica la propiedad anterior de Q(A), entonces L
es isomorfo a Q(A).
Se tiene, por tanto, que Q(A) es el menor cuerpo que contiene a un dominio
de integridad isomorfo a A, salvo isomorsmo. Dicho de otro modo, todo cuerpo
que contiene a un dominio isomorfo a A, contiene tambin a un cuerpo isomorfo
a Q(A).
138
PRUEBA: El primer apartado es trivial. Para el segundo, denimos mediante
la expresin

_
a
b
_
= (a)(b)
1
.
Hay que vericar que est bien denida:
a
b
=
a

ab

= a

b (a)(b

) = (a

)(b) (a)(b)
1
= (a

)(b

)
1
lo cual prueba que lo est. Tambin tenemos que ver que es un homomorsmo de
anillos:

_
a
b
+
a

_
=
_
ab

+a

b
bb

_
= (ab

+a

b)(bb

)
1
=
= (a)(b)
1
+(a

)(b

)
1
=
_
a
b
_
+
_
a

_
,
y anlogamente conserva el producto y el elemento unidad. Se comprueba fcil-
mente que hace conmutativo el diagrama, y de hecho es la nica denicin
posible para que esto se cumpla, puesto que:

_
a
b
_
=
_
a
1

1
b
_
=
_
a
1
_

_
1
b
_
= (a)(b)
1
= (a)(b)
1
.
Veamos por ltimo la unicidad del cuerpo de fracciones. Sea L un cuerpo
vericando la propiedad universal, con

: A L. Tomando K = Q(A), existe

: L Q(A) tal que =

.
Aplicando 2) a K = L y

, se tiene que

= . De ambas, se tiene
=

. Pero aplicando 2) a K = Q(A) y , se tiene que

y la identidad
hacen conmutativo el correspondiente diagrama; por la unicidad se tiene que

= id .
Anlogamente se tiene que

= id, luego es el isomorsmo buscado.

Nota 6.3.4. Sea K un cuerpo. Todo homomorsmo de anillos de Z en K, lleva

el elemento unidad de Z en el elemento unidad de K. Esto dene unvocamente a
. Por tanto existe un nico homomorsmo de anillos de Z en K.
Si el homomorsmo de Z en K es inyectivo, se tiene que K contiene a su
cuerpo de fracciones Q. En ese caso diremos que K es un cuerpo de caracterstica
cero.
139
Los cuerpos Q, R y C son de caracterstica cero, puesto que contienen a Z.
Adems todo subcuerpo K de C es de caracterstica cero. En otro caso el homo-
morsmo : Z K no inyectivo se extiende a C, contradiccin. Por tanto, todo
subcuerpo de C contiene a Q.
Si por el contrario no es inyectivo, ker() es un ideal Zp, con p > 0. Por
el primer teorema de isomorfa Z/Zp es isomorfo a un subanillo de K, luego no
tiene divisores de cero. As Z/Zp es un dominio de integridad, o equivalentemente
un cuerpo, y adems, p es un nmero primo. Diremos entonces que K es un
cuerpo de caracterstica p. En ese caso se verica que px = 0, para cada x K.
El ejemplo ms simple de cuerpo de caracterstica p es, obviamente, el propio
Z/Zp. De hecho, dar otro ejemplo no trivial es complejo y corresponde a los
objetivos de la asignatura Estructuras Algebraicas.
6.4. Eplogo: El problema de la factorizacin
Finalizamos el contenido terico de este curso presentando un problema ya
mencionado, que esperamos que sirva como motivacin para el alumno, al que
le presentaremos un problema completamente natural pero que necesitar de ms
desarrollo terico para abordar. Es el problema de la factorizacin en elementos
irreducibles.
Denicin 6.4.1. Sea A un anillo. Diremos que x A es un elemento irreducible
cuando no es una unidad y, si x = ab, se tiene forzosamente que a o b son
necesariamente unidades.
Los elementos irreducibles en Z son, obviamente, los nmeros primos, mien-
tras que los elementos irreducibles de k[x] son, precisamente, los polinomios irre-
ducibles (de ah su nombre).
Ejemplo 6.4.2. Consideremos el elemento

5 C. Vamos a formar un anillo
con su ayuda, concretamente
R = Z[

5] =
_
a +b

5 | a, b Z
_
.
Es muy sencillo comprobar que, con la suma y el producto naturales (hereda-
dos de C, por ejemplo), R es un anillo. As mismo, podemos quedarnos con el
concepto de norma, proveniente del mdulo de un nmero complejo:
N(a +b

5) = (a +b

5)(a b

5) = a
2
+5b
2
.
o, escrito en notacin compleja, N(x) = x x.
No es complicado de ver que la norma verica las siguientes propiedades:
140
1. N : R N.
2. N es una aplicacin multiplicativa, esto es N(xy) = N(x)N(y).
La norma puede ayudarnos a entender cmo son los elementos de un anillo de
este tipo.
Proposicin 6.4.3. Se verican las siguientes propiedades:
1. x R es una unidad si y slo si N(X) = 1.
2. x e y son asociados si y slo x|y y N(x) = N(y).
3. Si N(x) es primo, entonces.x es irreducible.
PRUEBA: Si x R es unidad, entonces existe y R tal que xy = 1, de donde
N(xy) = N(x)N(y) = N(1) = 1,
y por tanto, N(x) = 1. Al revs, si N(x) = 1 construimos explcitamente un
inverso de x = a +b

5,
x
1
=
x
N(x)
R.
La segunda armacin se sigue directamente de la primera (y de la denicin
de elementos asociados).
Ahora, si N(x) es primo y x = ab, entonces N(x) = N(a)N(b), por lo que
bien N(a), bien N(b), por ser enteros, han de ser 1 y por tanto, bien a, bien b
son unidad.

Fijmonos entonces en cmo podramos factorizar elementos en R. Obvia-

mente, la demostracin de que existe una factorizacin en producto de irreducibles
sigue siendo vlida. En efecto, partimos de x y, si es irreducible, hemos terminado
y si no es producto de dos elementos de norma estrictamente menor, lo que nos
permite aplicar la induccin.
Sin embargo, lo que no est tan claro es que la factorizacin en irreducibles
sea nica. Por ejemplo, podemos escribir
6 = 2 3 =
_
1 +

5
_

_
1

5
_
.
Claramente no son la misma factorizacin porque
N(2) = 4, N(3) = 9, N
_
1

5
_
= 6,
141
de forma que los factores que hemos encontrado no son asociados. An as, bien
podra haber alguna factorizacin ms detallada, o sea, algn irreducible p que
dividiese, por ejemplo, a 2 y a 1 +

5. Pero p no puede ser entero, porque 2

es primo, y no puede tener parte compleja, porque entonces N(p) 5 luego no
puede dividir a 2.
Por tanto, independientemente de si 2, 3 y 1

5 son o no irreducibles, las

descomposiciones anteriores nos llevarn a dos factorizaciones distintas.
Dominio de factorizacin nica
Un anillo A, sin divisores de cero, en el cual todo elemento se
puede descomponer de manera nica (salvo unidadaes) como pro-
ducto de irreducibles se denomina un dominio de factorizacin
nica (abreviadamente DFU).
En general el problema de determinar si un anillo posee o no factorizacin
nica no es sencillo, aunque sabemos algunos ejemplos muy especiales.
Proposicin 6.4.4. Sea A un anillo en el que todo ideal puede ser generado por un
slo elemento (estos anillos se llaman dominios de ideales principales o DIP).
Entonces A es un DFU.
PRUEBA: La demostracin no es complicada, pero s un poco larga. Los pasos
son los siguientes:
1. Primero demostramos que, si A es un DIP, entonces toda cadena de ideales
creciente
I
1
I
2
... I
n
...
es estacionaria, esto es, existe un r N tal que I
r
= I
s
para todo s > n.
2. Utilizando esto, demostramos que todo elemento se descompone en factores
irreducibles de manera nita.
3. Dados dos elementos x, y A, como existe d tal que x, y = d, proba-
mos que un tal d es un mximo comn divisor de x e y. Y probamos el Teo-
rema de Euclides: si p es un irreducible tal que p|xy pero mcd(p, x) = 1,
entonces p|y.
4. Finalmente, probamos que el Teorema de Euclides es equivalente a la uni-
cidad de la factorizacin.
142

Dominio eucldeo
Sea A un dominio tal que existe una funcin : A N {0}
vericando:
1. Para cualesquiera x A, y A \ {0}, existe unos nicos
q, r A tales que
a = qb +r, con (r) < (b).
2. (a) = 0 a = 0.
A este procedimiento se le llama divisin eucldea de A y, en
estas condiciones, A se denomina un dominio eucldeo (abrevia-
damente DE).
Z y k[x] son DE, como hemos visto durante el curso, tomando respectiva-
mente, = | | y =grado+1. Pero muy pocos anillos lo son, en realidad. Por
ejemplo k[x, y] no lo es, como veremos ahora.
Proposicin 6.4.5. Un DE es un DIP (y, por tanto, un DFU).
PRUEBA: La demostracin consiste en, dado un ideal I , tomar d I tal que
(d) = mKn
xI
{(x) | x I } ,
y probar (no es complicado) que I = d.

El anillo k[x, y] no es un DE porque no es un DIP, como se puede ver consi-

derando x, y.
En la construccin de DFU, curiosamente, los DE juegan un papel destacado,
gracias al resultado siguiente, con el que terminamos esta seccin.
Teorema 6.4.6. Sea A un DFU. Entonces A[x] tambin es un DFU.
PRUEBA: Comenzamos por denir, como hicimos en el tema 4, el contenido
de un polinomio como el mcd de sus coecientes. A partir de aqu denimos el
concepto de polinomio primitivo (exactamente igual) y probamos que
c( f g) = c( f )c(g),
143
as como el Lema de Gauss (el producto de polinomios primitivos es primitivo).
Con esto, dado un polinomio primitivo f (x) A[x] lo factorizamos en Q(A)[x]
en producto de irreducibles, cosa que podemos hacer porque Q(A)[x] es un DE y
por tanto un DFU:
f (x) = p
1
(x)... p
r
(x),
y extraemos un mcm de los denominadores que aparecen en los factores, para
escribir
f (x) =
1
m
q
1
(x)...q
r
(x),
con m A y q
1
(x), ..., q
r
(x) irreducibles en A[x]. Ahora bien, por ser f (x)
primitivo se tiene que ha de ser m = 1, luego p
i
(x) = q
i
(x) para cada i = 1, ..., r.
Con esto aseguramos la factorizacin, mientras que la unicidad viene dada
porque dos factorizaciones distintas en A[x] inducen dos factorizaciones distintas
en Q(A)[x], lo cual es imposible por ser Q(A)[x] un DFU.
144