Professional Documents
Culture Documents
etica modular
y
grupos finitos
Mario Pineda Ruelas
Departamento de Matematicas, uam-i
Enteros, aritm
etica modular
y
grupos finitos
Mario Pineda Ruelas
Departamento de Matem
aticas, uam-i
Introducci
on
Este libro que hojeas por primera vez estimado lector, es una recopilacion
de lo que el hombre ha creado durante miles de a
nos; la aritmetica. En el
encontrar
as un estudio sistem
atico y formal de lo que en tu vida cotidiana ya
sabas: sumar, restar, multiplicar y dividir con n
umeros enteros. Por ejemplo
calculabas longitudes,
areas o vol
umenes sin saberlo; hago como 45 minutos a mi
casa desde la UAM-I, no caben todas las sillas en este salon, debo partir un pastel
en 12 partes iguales, etc.. Has estado involucrado tal vez sin reflexionarlo en la
geometra, el an
alisis y en las estructuras algebraicas que describen tu mundo
cercano e imaginario. Estas notas no son un recetario de teoremas, lemas o
corolarios, es una mirada formal a uno de los edificios mas bellos en los que esta
parada toda la matem
atica. Cultivar
as si te lo propones, la belleza, intensidad,
ingenio, sorpresa y pasi
on por los temas que aqu te propongo.
De acuerdo a mi experiencia en las aulas, estoy convencido que los jovenes
estudiantes de cursos de matem
aticas, tienen el talento necesario para entender
una demostraci
on, con el riesgo de que hasta les guste y les pueda crear vicio por
la justificaci
on y se conviertan en seres cautelosos; as es el espritu de poetas,
fil
osofos, escritores, pintores, fsicos, qumicos, computologos y matematicos, entre
otros. Es un hecho, los j
ovenes estudiantes fracasan en clase no porque esperemos
en demasa de ellos, sino porque de ellos esperamos muy poco. Nuestro reto como
instructores consiste en sembrar en ellos la belleza, intensidad, ingenio, sorpresa
y la pasi
on de las matem
aticas, aunque no se vayan a dedicar a ellas. El profesor
deber
a ir mas all
a de la simple exposici
on de los temas. Estas notas y otras,
podr
an lograr muy poco si la actitud del expositor o el instructor no demuestra
interes hacia el aprendizaje de sus escuchas.
El tratamiento del primer captulo es tradicional y seguramente el lector
podr
a encontrar algo distinto de lo que se trata en los textos convencionales.
Para estudiar una introducci
on a la teora de grupos, uno debe conocer muy
iii
iv
INTRODUCCION
INTRODUCCION
de ese tama
no? As llegamos a los subgrupos de Sylow. En alguna de las secciones
estudiamos las simetras de un cuadrado y creo que ese es el momento oportuno de
introducir los grupos dihedricos como grupos de simetras de polgonos regulares.
Si el lector lo decide, puede utilizar esta secci
on para dar comienzo al estudio de
la teora de grupos.
No est
a por dem
as recordarlo pero, la filosofa de un curso introductorio de
teora de grupos finitos debe ser el presentar ese gran proyecto de finales del siglo
xix:
It would be of the greatest interest if it were possible to give an overview of
the entire collection of finite simple groups
Sera del mayor interes si fuera posible dar una descripci
on de la colecci
on
completa de los grupos finitos simples
As comienza el artculo [15] de Otto H
older escrito en 1892, a
no en que nacio
el programa propuesto por el profesor H
older que ha llevado poco mas de 110 a
nos
para ser considerado completamente resuelto. Es una labor titanica establecer el
Teorema de Clasificaci
on de los Grupos Simples Finitos que, de acuerdo al profesor
Daniel Gorestein, la prueba contiene m
as de 10 000 paginas que son resultado de
las investigaciones de m
as de 100 investigadores durante 110 a
nos. En estas notas,
damos algunas familias infinitas de grupos simples finitos, por ejemplo los grupos
cclicos finitos y los grupos alternantes An , para n 5.
Tres consejos pr
acticos para los j
ovenes lectores:
Comprender los conceptos y definiciones es fundamental, no debe quedar
duda alguna.
Leer una demostraci
on sin los detalles tecnicos. Una vez comprendida
la filosofa de una demostraci
on, intentar los detalles.
Trabajar en equipo es recomendable pues de esta manera se adquiere
compromiso.
Quiero agradecer a los tres
arbitros que leyeron mi trabajo con profesionalismo
y con sus comentarios pude mejorar algunos aspectos de estas notas, en beneficio
del lector. Los errores que pudiera haber son responsabilidad de un servidor.
Mario Pineda Ruelas,
Departamento de Matem
aticas,
Universidad Aut
onoma Metropolitana-Iztapalapa.
Septiembre del 2011, Mexico.
Contenido
Introducci
on
iii
1
1
7
13
15
18
19
Captulo 2. Enteros m
odulo m, Zm
2.1. Congruencias
2.2. La congruencia ax b (mod m)
2.3. Sistemas de congruencias de grado 1
2.4. La ecuaci
on (x) = n
2.5. La congruencia f (x) 0 (mod m)
2.6. Lema de Hensel
2.7. La congruencia f (x) 0 (mod p)
31
31
38
39
48
50
53
56
Captulo 3. Cuadrados en Fp
3.1. Smbolo de Legendre
3.2. Ley de reciprocidad cuadr
atica
3.3. Smbolo de Jacobi
63
65
68
82
89
90
97
100
vii
viii
CONTENIDO
4.4.
Factorizaci
on explcita de un entero gaussiano
104
Captulo 5. Grupos
5.1. Grupos y subgrupos
5.2. Subgrupos normales y anormales
5.3. Homomorfismos de grupos
5.4. Productos directos
5.5. Teoremas de Sylow
5.6. Importancia de los grupos simples finitos
5.7. Grupo simetrico
5.8. Grupos y geometra
5.9. El concepto de grupo abstracto: Teorema de Cayley
109
109
130
137
148
158
170
173
187
195
Bibliografa
201
Indice
203
Captulo
Los enteros Z
1.1. Algoritmo de la divisi
on
En este trabajo N, Z, Q, R y C denotan a los n
umeros naturales, enteros,
racionales, reales y complejos respectivamente. Por principio, no consideramos
al n
umero 0 como n
umero natural y definimos N0 = N {0}. Asumimos que
Z = {0, n, n : n N}.
Una de las herramientas m
as u
tiles en las matematicas es el Principio de
Inducci
on Matem
atica (PI) y su equivalente el Principio del Buen Orden (PBO).
El PI nos brinda un metodo para hacer demostraciones de afirmaciones que
involucran a los n
umeros naturales. Concretamente, el PI y el PBO afirman
lo siguiente: Principio de Inducci
on Matem
atica: Sea S N tal que S satisface
las siguientes propiedades:
1. 1 S.
2. Si 1, 2, . . . n S, entonces n + 1 S.
Entonces S = N.
Observamos que si X = {x1 , x2 , . . . , xr } es un conjunto finito, entonces en
X N tambien se cumple un Principio de Induccion. Simplemente definimos en
X N un orden: xi xj si i j y xi < n para i = 1, 2, . . . , r y n N. Lo
anterior significa que hemos impuesto una formacion en los elementos de X N =
{x1 , . . . , xr , 1, 2, . . . }. Ahora reetiquetamos los elementos de X N de la siguiente
manera: sea xr+i = i para i N. Entonces X N = {x1 , . . . , xr , xr+1 , . . . }. As:
sea S X N tal que:
1. x1 S.
2. si x1 , . . . , xn S, entonces xn+1 S.
Entonces S = X N.
1
1. LOS ENTEROS Z
En particular, el PI es v
alido en N0 . Para una esplendida exposicion del PI
el lector puede consultar el celebre libro de I. S. Sominski [23].
Principio del Buen Orden(PBO): cualquier subconjunto S 6= de N contiene
un elemento m que satisface m n para todo elemento n S. Una observacion
simple pero muy u
til es que el entero m es u
nico.
Al igual que como lo hicimos con el PI, podemos extender el PBO a otros
conjuntos que contienen a N: si X = {x1 , x2 , . . . , xr } es un conjunto finito,
definimos en X N un orden: xi xj si i j y xi < n para i = 1, 2, . . . , r y
n N. Reetiquetamos los elementos de X N tal como lo hicimos en la discusion
anterior y ya podemos plantear un PBO en X N: cualquier subconjunto S 6=
de X N contiene un elemento xm que satisface xm xn para todo elemento
xn S.
Teorema 1.1.1. Sea NX = X N como en la discusi
on anterior. Entonces
el Principio del Buen Orden es equivalente al Principio de Inducci
on.
n. Supongamos que el PBO se cumple. Sea S X N que
Demostracio
satisface las condiciones 1 y 2 del PI y S c su complemento con respecto a N X.
Si S c 6= , entonces existe xm S c tal que xm xn , para todo xn S c y
xm 6= x1 pues x1 S. Observemos en particular que xm1 6 S c pues xm es el
menor elemento de S c . Por lo tanto xm1+1 = xm S. Esto u
ltimo no es posible
pues xm S c . As, S c = y S = X N.
Ahora supongamos el PI v
alido y sea S un subconjunto no vaco de X N.
Vamos a suponer que el conjunto S no contiene un elemento xm tal que xm x
para todo x S. Es claro que x1 6 S pues de lo contrario S tendra un elemento
menor. Sea C = {xn X N : xn < x, para cualquier x S}. Es claro que
x1 C pues x1 < x para todo x S. Mostraremos que si xk C, entonces
xk+1 C y luego usaremos el PI para concluir que C = X N. Si xk C y
xk+1 6 C, entonces para alg
un xl S se tiene xl xk+1 . Puesto que S no tiene
un elemento menor, existe xt S tal que xt < xl xk+1 . As que xt < xk+1 y
en consecuencia xt xk . Esto u
ltimo no es posible pues xk < xl . Este absurdo
nace de suponer que xk+1 6 C. Por lo tanto xk+1 C y por el PI tenemos que
C = X N. Particularmente, si x S, se tiene que x C. Esto significa que
x < x, lo cual no es posible. Por lo tanto, S debe contener un elemento xm tal
que xm x para todo x S.
Lector, recuerda cuando en la escuela primaria ejecutaba divisiones con enteros?. Bueno, el siguiente resultado, que es uno de las herencias mas importantes
1.1. ALGORITMO DE LA DIVISION
de las culturas ancestrales, nos justifica formalmente por que podamos hacer
nuestras divisiones tal como nos los ense
naron nuestros profesores.
Teorema 1.1.2 (algoritmo de la divisi
on). Sean a, b Z con a 6= 0. Existen
enteros q y r u
nicos tales que b = aq + r donde 0 r < |a|.
n. Consideremos el conjunto S = {b am : m Z}. Sea
Demostracio
S0 = S N0 . Es claro que S0 6= . Por el PBO S0 contiene un elemento r que
satisface r n para todo n S0 . Lo anterior nos asegura que r = b aq para
alg
un q Z. Ahora mostraremos la unicidad de q y r. Supongamos que
b = aq1 + r1 = aq2 + r2
con
0 r1 < |a|
0 r2 < |a|.
1. LOS ENTEROS Z
donde
0 ri < a,
0ik
rk > 0.
La expresi
on x = b0 + b1 a + + bn an se conoce como la representaci
on en
base a de x.
1.1. ALGORITMO DE LA DIVISION
b
<q+1
a
b
y por lo tanto se sigue la primera afirmaci
on. Si a 1 y r = 0, entonces = q
a
b
r
yq=
. Por u
ltimo, si a 1 y r > 0, entonces 1 < < 0. De lo anterior
a
a
obtenemos
r
b
q1<q+ = <q
a
a
1. LOS ENTEROS Z
y por lo tanto
b
+ 1 = q.
a
DIVISOR
1.2. MAXIMO
COMUN
1.2. M
aximo com
un divisor
Consideremos los enteros 42 y 56. Observamos que 1, 2, 3, 6, 7, 14, 21,
42 son los divisores positivos de 42. Los n
umeros 1, 2, 4, 7, 8, 14, 28, 56 son
los divisores positivos de 56. Notamos que 42 y 56 comparten los divisores
1, 2, 14 y el mayor de ellos es 14. Como es de esperarse, un divisor en com
un
de los enteros a, b es un entero c tal que c | a y c | b. El divisor en com
un
positivo y mayor lo llamaremos el m
aximo com
un divisor de a y b. Este entero lo
denotaremos como mcd(a, b). En nuestro caso mcd(42, 56) = 14. Observamos
que si a = 0, entonces a admite como divisores a todos los enteros, excepto 0. Por
tanto, si a = b = 0, entonces a y b no tienen un divisor en com
un mas grande. Por
tanto, para que exista el m
aximo com
un divisor de los enteros a, b, es necesario
que al menos a 6= 0
o b 6= 0. Por otro lado, por la afirmacion 1 del Teorema 1.1.7,
1 | a y 1 | b, entonces mcd(a, b) 1. En el caso particular que mcd(a, b) = 1,
diremos que a y b son primos relativos. En el siguiente resultado mostraremos
dos de las propiedades m
as importantes del mcd en Z.
Teorema 1.2.1. Si a, b Z con a
o b distinto de 0, entonces se cumple:
1. Existen x0 , y0 Z tal que mcd(a, b) = ax0 + by0 .
2. Si c Z y c | a, c | b, entonces c | mcd(a, b).
n. 1. Sea g = mcd(a, b). Consideremos el conjunto
Demostracio
S = {ax + by : x, y Z \ {0}}.
Si a 6= 0, entonces x = 1 e y = 0 implican que S N 6= . Si S0 = S N,
entonces por el PBO existen x0 , y0 Z tales que d = ax0 + by0 es el menor entero
positivo en S0 . Si d - a entonces por el algoritmo de la division a = dq + r y
0 < r < d. As que
r = a dq = a q(ax0 + by0 ) = a qax0 qby0 = a(1 qx0 ) + b(qy0 ).
Por tanto r S0 lo cual es absurdo. De lo anterior se sigue que d es un divisor
com
un de a y b y as d g. Finalmente, como g | a y g | b, entonces g | ax0 , g | by0
y as g | d. Por tanto g = d. La segunda afirmacion del teorema es muy sencilla
pues si c | a y c | b entonces c | ax0 + by0 y por tanto c | g.
En la prueba anterior de paso obtuvimos que el mcd(a, b) es la mnima
combinaci
on lineal positiva de los enteros a y b. Notemos tambien que los enteros
x0 , y0 no necesariamente son u
nicos, por ejemplo:
2 = mcd(2, 4) = 2(1) + 4(1) = 2(5) + 4(2).
1. LOS ENTEROS Z
DIVISOR
1.2. MAXIMO
COMUN
a b
, son enteros.
g g
a
b
x0 + y0 y obg
g
10
1. LOS ENTEROS Z
DIVISOR
1.2. MAXIMO
COMUN
11
b = r1 q2 + r2 ,
0 < r2 < r1 ,
r1 = r2 q3 + r3 ,
0 < r3 < r2 ,
..
.
..
.
rk2 = rk1 qk + rk ,
rk1 = rk qk+1 ,
Si rk es el u
ltimo residuo distinto de 0, entonces rk = mcd(a, b).
n. Si a = 0 y b 6= 0, entonces mcd(0, b) = |b| y por lo tanto
Demostracio
el teorema es v
alido. Por lo anterior podemos suponer que a 6= 0 6= b. Vamos
a mostrar algo m
as general: si a = bq + r, entonces mcd(a, b) = mcd(b, r). En
efecto, si g = mcd(a, b) y g1 = mcd(b, r), entonces g | a y g | b y por tanto
g | a bq, es decir, g | r. Por lo anterior, g | b y g | r y as g | g1 . Analogamente
g1 | g. Finalmente notemos que rr | rk1 , as que mcd(rk , rk1 ) = rk y por lo
tanto
rk = mcd(rk , rk1 ) = = mcd(r1 , r2 ) = mcd(b, r1 ) = mcd(a, b).
2
Euclides. Fundador de la escuela de matem
aticas de la Universidad de Alejandra, recibi
o
probablemente su formaci
on matem
atica en la Academia Plat
onica de Atenas; desgraciadamente
poco se sabe de su vida. Algunos historiadores lo ubican 300 a.C. Su obra m
as sobresaliente es
Los elementos el cual es resultado de una recopilaci
on sistem
atica de trabajos anteriores sobre
geometra, teora de n
umeros y
algebra elemental.
12
1. LOS ENTEROS Z
Ejemplo 1.2.15. C
alculemos mcd(37, 125):
125 = 37 3 + 14,
37 = 14 2 + 9,
14 = 9 1 + 5,
9 = 5 1 + 4,
5 = 4 1 + 1,
4 = 1 4 + 0.
Por tanto mcd(37, 125) = 1.
Sin temor a equivocarnos, el algoritmo de Euclides es uno de los resultados
m
as apreciados por su simplicidad y por su vigencia. Este ha servido como ejemplo
te
orico para producir algoritmos en computacion. A continuacion enunciamos
algunos resultados que involucran al mcd.
Teorema 1.2.16. Si a, b Z y k N son tales que ak | bk , entonces a | b.
n. Si g = mcd(a, b), entonces a = ga1 , b = gb1 . De acuerdo al
Demostracio
corolario 1.2.9, mcd(a1 , b1 ) = 1. Por el corolario 1.2.2, mcd(ak1 , bk1 ) = 1. Por tanto
ak1 g k | bk1 g k y as ak1 | bk1 . De lo anterior mcd(ak1 , bk1 ) = |ak1 | = 1. Como a1 = 1,
obtenemos que a = g y a | b.
Lema 1.2.17. Si a, b, d Z son tales que mcd(a, b) = 1 y d | a + b, entonces
mcd(d, a) = mcd(d, b) = 1.
n. Si mcd(a, d) = g, entonces g | a y g | d. De lo anterior
Demostracio
obtenemos que g | a + b y g | b. Por lo tanto g | mcd(a, b) y g = 1. De manera
similar se prueba que mcd(b, d) = 1.
Teorema 1.2.18. Sean a, b Z tales que mcd(a, b) = 1. Dado el entero
m 6= 0, la sucesi
on {a+bk}kZ contiene una infinidad de n
umeros primos relativos
con m.
n. Sea A = {x N : mcd(x, a) = 1, x | m}. Puesto que 1 A
Demostracio
y m admite solo un n
umero finito de divisores, A es un conjunto finito. Sea
c = max{x A}. Consideremos el entero g = mcd(a + bc, m). Dado que c A y
mcd(a, b) = 1, tenemos que mcd(a, bc) = 1. Como g | a + bc, por el lema 1.2.17
concluimos lo siguiente:
mcd(g, a) = mcd(g, bc) = mcd(a, bc) = mcd(g, c) = 1.
MULTIPLO
13
Adem
as, c | m, g | m y mcd(g, c) = 1, entonces gc | m y as gc A. Puesto que c
es el elemento mayor en A, necesariamente g = 1, es decir, mcd(a + bc, m) = 1.
Con c y m antes, consideremos la sucesi
on {k = c + lm}lZ . Mostraremos que
mcd(a + kb, m) = 1. Sea g = mcd(a + bk, m) = mcd(a + bc + blm, m). Entonces
g | a + bc con mcd(a, bc) = 1. Aplicando nuevamente el lema 1.2.17,
mcd(g, a) = mcd(g, bc) = 1.
De mcd(g, bc) = 1 y por el corolario 1.2.5 es f
acil ver que mcd(g, c) = 1. Puesto
que g | m, c | m y mcd(g, c) = 1, entonces por el corolario 1.2.7 obtenemos que
gc | m y por tanto g = 1.
El teorema anterior es una versi
on debil del famoso teorema de Dirichlet, el
cual asegura que la sucesi
on {a + bk} contiene una infinidad de primos (a
un no
hemos definido que es un n
umero primo). Desafortunadamente para demostrar
el teorema de Dirichlet se necesita mucho m
as que una introduccion a la teora
de n
umeros.
1.3. Mnimo com
un m
ultiplo
Sean a1 , . . . , ak Z \ {0}. Cualquier entero x tal que ai | x, (i = 1, . . . , k) lo
llamaremos m
ultiplo com
un de los ai s. Consideremos el conjunto
S = {x N : ai | x}.
k
Y
Observamos que el entero
ai S, y por lo tanto S 6= . Por el PBO existe
i=1
14
1. LOS ENTEROS Z
|a1 a2 |
x.
mcd(a1 , a2 )
|a1 a2 |
.
mcd(a1 , a2 )
1.4. TEOREMA FUNDAMENTAL DE LA ARITMETICA
15
|a1 a2 |
= N,
mcd(a1 , a2 )
o equivalentemente mcm(a1 , a2 ) mcd(a1 , a2 ) = |a1 a2 |.
Corolario 1.3.4. Si mcd(a, b) = 1, entonces mcm(a, b) = |ab|.
n. Se sigue de la f
Demostracio
ormula mcm(a, b) mcd(a, b) = |ab|.
16
1. LOS ENTEROS Z
p2 = q2 , . . . , pk = qk .
As que 1 = qk+1 qk+2 ...qs lo cual no es posible porque los qi son primos.
Similarmente k > s nos conduce a un absurdo y por lo tanto k = s.
1.4. TEOREMA FUNDAMENTAL DE LA ARITMETICA
17
Corolario 1.4.5. Si m > 2, entonces existe un primo p tal que m < p < m!
n. El n
Demostracio
umero z = m! 1 > 1 tiene un divisor primo p z. Si
p m, entonces p | 1, lo cual es imposible. Por tanto m < p m! 1 < m!.
El siguiente resultado ha sido la gua de investigaciones que involucran a los
n
umeros primos.
Teorema 1.4.6 (teorema de Euclides). Existe un n
umero infinito de n
umeros
primos.
n. Considera m suficientemente grande en el corolario anteDemostracio
rior.
C
omo averiguar si un n
umero entero positivo es compuesto o primo? La
respuesta final no ha sido encontrada. Se conocen algunas tecnicas que sirven
como prueba de primalidad tal como lo anuncia el siguiente resultado.
Teorema 1.4.7.Si m es compuesto, entonces m admite al menos un divisor
primo p tal que p m.
n. Supongamos que m = p1 ps y p1 . . . ps . Entonces
Demostracio
claramente p21 m y as p1 m.
El enunciado equivalente al del teorema
1.4.7 nos asegura que: si un entero
18
1. LOS ENTEROS Z
Si buscamos
un divisor primo de m, obtenemos primero m y con una lista
de primos p m, verificamos si alguno de ellos divide a m. Alternativamente,
si solo buscamos
un divisor, con ensayo-error podemos verificar entre los enteros
hmi
. Cu
al es el inconveniente de estos metodos? La respuesta es simple:
2, 3, . . . ,
2
intente usar cualquiera de ellos con un entero de 10 dgitos solo usando lapiz y
papel. Una computadora sera la opci
on. En tal caso intente con un entero de
150 dgitos. Permtame decirle lector, que el antiqusimo problema de encontrar
divisores de un entero es un problema tan actual, que existen investigaciones
bastante serias y complicadas al respecto. Al lector interesado le sugerimos
consultar [3]; ah podr
a ver que antecedentes teoricos son necesarios para poder
adentrarse en el tema.
1.5. Sobre la factorizaci
on u
nica y los n
umeros primos
Ya vimos que tan complejo puede resultar encontrar divisores de un entero.
Un problema ntimamente relacionado es el de construir n
umeros primos consecutivos por medio de alguna f
ormula o algoritmo eficiente. Un metodo relativamente
f
acil para encontar n
umeros primos consecutivos fue dado por Eratostenes.3 Consideremos la sucesi
on 2, 3, 4, . . . . Denotamos por p1 = 2 el cual es el primer
n
umero primo. Quitemos de la sucesi
on 2, 3, . . . todos lo n
umeros mayores que p1
y que son m
ultiplos de 2. El primero de los n
umeros restantes que no fue removido es p2 = 3. Nuevamente quitemos de la sucesion todos los n
umeros mayores
que p2 y que son m
ultiplos de p2 . El primero de los n
umeros que no fue removido
es p3 = 5. Supongamos que despues del k-esimo paso encontramos el k-esimo
primo pk . Quitemos de la sucesi
on todos los n
umeros mayores que pk y que son
3Erat
ostenes (276 a.C-194 a.C). Poeta, historiador, ge
ografo, matem
atico, astr
onomo y
atleta nacido en Cirene, ciudad de la costa sur del Mediterr
aneo. Su celebridad se debe a haber
calculado la longitud de la circunferencia de la tierra con un error de tan solo 90 km. Tambi
en
fue c
elebre en matem
aticas por la invenci
on de la criba que lleva su nombre y que sirve para
encontrar n
umeros primos. Fue el tercer director de la Biblioteca de Alejandra, cargo que ocup
o
por m
as de cuarenta a
nos.
19
20
1. LOS ENTEROS Z
1
11
21
31
41
51
61
71
81
91
101
111
121
131
141
151
161
171
181
191
201
211
221
231
241
251
261
271
281
291
301
311
321
331
341
351
361
371
381
391
2
12
22
32
42
52
62
72
82
92
102
112
122
132
142
152
162
172
182
192
202
212
222
232
242
252
262
272
282
292
302
312
322
332
342
352
362
372
382
392
3
13
23
33
43
53
63
73
83
93
103
113
123
133
143
153
163
173
183
193
203
213
223
233
243
253
263
273
283
293
303
313
323
333
343
353
363
373
383
393
4
14
24
34
44
54
64
74
84
94
104
114
124
134
144
154
164
174
184
194
204
214
224
234
244
254
264
274
284
294
304
314
324
334
344
354
364
374
384
394
5
15
25
35
45
55
65
75
85
95
105
115
125
135
145
155
165
175
185
195
205
215
225
235
245
255
265
275
285
295
305
315
325
335
345
355
365
375
385
395
6
16
26
36
46
56
66
76
86
96
106
116
126
136
146
156
166
176
186
196
206
216
226
236
246
256
266
276
286
296
306
316
326
336
346
356
366
376
386
396
Tabla 1
7
17
27
37
47
57
67
77
87
97
107
117
127
137
147
157
167
177
187
197
207
217
227
237
247
257
267
277
287
297
307
317
327
337
347
357
367
377
387
397
8
18
28
38
48
58
68
78
88
98
108
118
128
138
148
158
168
178
188
198
208
218
228
238
248
258
268
278
288
298
308
318
328
338
348
358
368
378
388
398
9
19
29
39
49
59
69
79
89
99
109
119
129
139
149
159
169
179
189
199
209
219
229
239
249
259
269
279
289
299
309
319
329
339
349
359
369
379
389
399
10
20
30
40
50
60
70
80
90
100
110
120
130
140
150
160
170
180
190
200
210
220
230
240
250
260
270
280
290
300
310
320
330
340
350
360
370
380
390
400
21
a a
: a Z . Con
a a
el producto usual de matrices, si (x) denota cualquier elemento tpico de S, el
lector puede verificar f
acilmente que (y)(z) = (2yz). Diremos que (x) S es
compuesto si (x) = (y)(z) y (y), (z) S. En caso contrario diremos que (x)
es primo. Observamos que la matriz (1) no tiene la propiedad esperada pues
(x)(1) = (2x) 6= (x), de hecho S no tiene un elemento identidad. Observamos
que si x = 2t, entonces (x) = (2t) = (1)(t) es compuesto. Si x = 2t + 1, entonces
claramente no existen (y), (z) S tal que (x) = (y)(z). As que (x) es primo si y
solo si x es impar. Como caso particular, el siguiente ejemplo
Ejemplo 1.6.2. Ahora con matrices. Sea S =
4
4
4
4
=
1
1
1
1
2
2
2
2
=
1
1
1
1
2
2
2
2
22
1. LOS ENTEROS Z
La u
nica matriz que se puede factorizar en forma u
nica es (2) = (1)(1).
Ejemplo 1.6.3. El matem
atico frances Claude Gaspar Bachet (1581-1638)
se preguntaba cu
antas soluciones enteras tiene la ecuacion x2 y 3 = k con k Z.
Existen tecnicas elementales para dar respuesta a la existencia de soluciones
para ciertos valores de k. El caso que queremos estudiar es x2 y 3 = 19.
Consideremos el conjunto
Z[ 19] = {a + b 19 : a, b Z}.
Es muy f
acil notar que Z[ 19]
umeros
es cerrado bajo la suma y producto de n
complejos.
Por
lo
tanto
Z[
19]
es
un
anillo.
Si
b
=
0
y
a
Z,
entonces
nicos n
umeros de Z[ 19] que tienen inverso multiplicativo
Z Z[ 19]. Los u
son {1, 1}. El teorema 1.4.4 lo podemos reescribir como: En Z, si ab = xn y
mcd(a, b) = 1, entonces a = y n y b = z n para ciertos x, y Z.
De hecho, en cualquier estructura aritmetica en donde se cumpla la factorizaci
on u
nica en primos es v
alida la siguiente afirmacion:
Si A satisface la factorizaci
on u
nica, entonces ab = xn y mcd(a, b) = 1
n
n
implica a= y y b = z para ciertos x, y A
Si Z[ 19] fuera de factorizaci
on u
nica, entonces la factorizacion
x2 + 19 = (x + 19)(x 19) = y 3
19) = 1. Primero
el lector asuma sin demostraci
o
n
que
mcd(x
+
= a3 57ab2
3a2 b 19b3
23
PROBLEMAS
1. Usa el PBO para demostrar que la f
ormula
n
X
i=1
i=
n(n + 1)
es v
alida para todos
2
los n
umeros naturales.
2. Estimado lector recuerdas las siguientes f
ormulas?:
1
a) n(n + 1)(2n + 1).
6
1
b) (n + 1)(2n + 1)(2n + 3).
3
3
c) (9n 1).
8
Muestra que para n N cada una de ellas es un entero.
3. Desigualdad de Bernoulli. Sea x 1 un n
umero real. Demuestra que si n N,
entonces (1 + x)n 1 + nx. Que sucede si x < 1?
n
n(n + 1) 2
X
i3 =
4. Demuestra que
.
2
i=1
5. Demuestra que si n N, entonces n3 = a2 b2 para ciertos enteros a, b Z. Primero
experimenta con algunos valores de n.
2n
2n
X
X
(1)i+1
1
6. Demuestra que
=
.
i
i
i=n+1
i=1
7. Demuestra que mcd(a, b, c) = mcd(mcd(a, b), c). Concluye que existen x, y, z Z
tal que mcd(a, b, c) = ax + by + cz.
8. Escribe como Z-combinaci
on lineal el mcd de los siguientes n
umeros:
a) 17 y 43
b) 130 y 45
c) 39 y 0
d) 15 y 18
e) 14, 21 y 35
f) n y n + 1
g) n y n + 2
9. Sea g = mcd(a, b). Demuestra la igualdad entre los siguientes conjuntos:
{ax + by : x, y Z} = {gt : t Z}.
10. Sean a, b Z con a 6= 0. Muestra que las siguientes afirmaciones son equivalentes:
a) a | b.
b) mcd(a, b) = |a|.
c) mcm(a, b) = |b|.
11. Si a, b N y mcd(a, b) = 1, muestra que mcd(2a + b, a + 2b) = 1 o 3.
24
1. LOS ENTEROS Z
25
c) 2x + 5y 11z = 1
d) x 14y 7z = 4
29. Usa el algoritmo de la divisi
on para mostrar que el cuadrado de cualquier entero es
de la forma 3k o bien 3k + 1 pero no de la forma 3k + 2.
30. Muestra que el cuadrado de cualquier entero de la forma 4k + 1 deja residuo 0 o 1
al ser dividido por 4. Concluye que la sucesi
on:
11, 111, 1111, 11111, . . . ,
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
mcm(x, y)
26
1. LOS ENTEROS Z
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
zn = yn a1 t1 a2 t2 an1 tn1 ,
donde y1 , y2 , . . . , yn1 , yn Z es una soluci
on particular y t1 , . . . , tn1 Z.
a2
a1
+
Z, entonces |b1 | = |b2 |.
Muestra que si mcd(a1 , b1 ) = mcd(a2 , b2 ) = 1 y
b1
b2
Muestra que mcd(ab, m) = 1 si y solo si mcd(a, m) = mcd(b, m) = 1.
Muestra que mcd(a, b) = 1 y 3 - a + b implica mcd(a + b, a2 ab + b2 ) = 1.
Si p es primo y a Z, que posibles valores toma mcd(a, p)?
Supongamos que p, q son n
umeros primos tal que p | q. Demuestra que |p| = |q|.
Encuentra k enteros consecutivos todos ellos compuestos.
La definici
on que dimos de n
umero primo es: p 6= 0, 1 es primo si p = ab, entonces
a = 1 o
b = 1. Pruebe que esta definici
on es equivalente a la siguiente: p 6= 0, 1
es primo si p | ab, entonces p | a o
p | b.
Muestra que si n > 1 es compuesto, entonces existen a 6= 0, b 6= 0 tal que n | ab y
n - a y n - b.
Sea n N tal que n es compuesto. Muestra que el n
umero Mn = 2n 1 es compuesto.
Muestra que si Mn = 2n 1 es primo, entonces n es primo. Los n
umeros primos
de esta forma son conocidos como primos de Mersenne. Se sabe que el Fraile Marin
Mersenne en el siglo xvii hizo una serie de postulados acerca de estos n
umeros que
llevan su nombre. En la actualidad solo se conocen 47 de ellos, siendo el mayor
M43112609 , el cual tiene cerca de 13 millones de dgitos. En general, muestra que
n > 1 y an 1 es primo, entonces a = 2 y n es primo.
Muestra que si 2n + 1 es primo, entonces n es potencia de 2. Los n
umeros primos de
n
la forma 22 + 1 se conocen como primos de Fermat.5 Fermat conjetur
o que todos
los n
umeros de esta forma eran primos. Sin embargo, Leonard Euler mostr
o en 1732
5
que 22 + 1 = 4294967297 = 641 6700417. En general, muestra que si a 2 y an + 1
es primo, entonces a es par y n es una potencia de 2.
r
Y
i
Sea n =
p
con pi 6= pj (i 6= j) . Muestra que la suma de todos los divisores
i
i=1
positivos de n es
r
i +1
Y
p
1
i
.
p
i 1
i=1
5
Pierre de Fermat (1601-1665) naci
o en Beaumont-de Lomange, Francia. Estudi
o leyes en
Touluse y en sus ratos de ocio se dedic
o a la literatura y a las matem
aticas. Contribuy
o a la
evoluci
on de la geometra analtica, el c
alculo diferencial e integral, la teora de n
umeros y la
teora de las probabilidades. Los principales escritos de Fermat fueron publicados despu
es de su
muerte bajo el ttulo Varia Opera Mathematica.
57. Sean a =
r
Y
i
p
i (i 0) y b =
i=1
r
Y
pi i (i 0) .
i=1
r
Y
Si i = min{i , i }, i =
i
p
i y mcm(a, b) =
i=1
27
r
Y
pi i .
i=1
28
1. LOS ENTEROS Z
Figura 1.1
1
1
x+
con y = 1 es
m(n + 1)
m
el conjunto de puntos {((m + 1)(n + 1), 1)}. Concluye en este inciso que las
abscisas de estos puntos son n
umeros compuestos.
c) Muestra que si x es compuesto, entonces x = (m + 1)(n + 1), para ciertos
naturales m, n.
d) Muestra que si x es compuesto, entonces existen m, n N tales que el punto
1
1
(x, 1) es la intersecci
on de las rectas y =
x+
y y = 1.
m(n + 1)
m
68. Consideremos la siguiente colecci
on de n
umeros:
b) Muestra que la intersecci
on de la recta y =
N1 = 2,
N2 = N1 + 1,
N3 = N1 N2 + 1,
..
.
Nk = N1 N2 Nk1 + 1.
Demuestra que si i 6= j, entonces mcd(Ni , Nj ) = 1.
69. Usa el problema anterior para mostrar que existe una infinidad de n
umeros primos.
70. Sean p1 , p2 , . . . , pn los primeros n
umeros primos. As, p1 = 2, p2 = 3, p3 = 5, etc.
Muestra que el (n + 1)-esimo primo satisface que pn+1 < pn
n + 1.
n1
71. Use el problema anterior para concluir que pn < 22
. De esta manera, podemos
n
afirmar que existen al menos n + 1 primos menores que 22 .
29
ap + bp
) = 1.
a+b
an 1 = (a 2 1)(a 2 + 1)
y los factores son n
umeros pares consecutivos, uno de ellos divisible por 4.
1
1
1
92. Demuestra que (486) 5 + (2048) 5 = (33614) 5 .
30
1. LOS ENTEROS Z
Captulo
Enteros m
odulo m, Zm
2.1. Congruencias
La intenci
on de este captulo es construir un conjunto finito, conocido como
anillo de enteros m
odulo n, en el cual podremos sumar y multiplicar de acuerdo
a ciertas reglas establecidas. El estudio de esta clase de conjuntos ha merecido la
atenci
on de destacados matem
aticos desde hace mas de 250 a
nos. Sea n un entero
diferente de 0. Definimos en Z la siguiente relacion: a b si y solo si n | a b. Si
los enteros a, b est
an relacionados escribiremos a b (mod n) y diremos que a es
congruente con b m
odulo n. Es f
acil verificar que satisface:
1. Para a Z, se cumple que a a (mod n).
2. Si a b (mod n), entonces b a (mod n).
3. Si a b (mod n) y b c (mod n), entonces a c (mod n).
De lo anterior concluimos que es una relacion de equivalencia y por tanto, Z
queda partido en subconjuntos ajenos dos a dos y no vacos. Veamos un ejemplo.
Si n = 6, entonces a b (mod 6) si y solo si 6 | a b. Si denotamos por a la clase
de equivalencia del entero a, entonces
0 = {x Z : x 0
1 = {x Z : x 1
2 = {x Z : x 1
3 = {x Z : x 1
4 = {x Z : x 1
5 = {x Z : x 1
31
32
2. ENTEROS MODULO
m, Zm
No hay m
as clases de equivalencia debido al siguiente hecho general: dado n,
cualquier entero es congruente con su residuo al ser dividido por n. Por el
algoritmo de la divisi
on el entero a tiene la forma a = nq + r donde 0 r < |n|,
as que a r (mod n). Por tanto, podemos elegir como representantes de las
clases a los posibles residuos al dividir por n. As las cosas, ponemos en un solo
conjunto a todas las clases de equivalencia y definimos al anillo de enteros m
odulo
n como:
Zn = {0, 1, . . . , |n| 1}.
Vale la pena mencionar que fue Gauss 1 el primero en estudiar de manera
sistem
atica a los enteros m
odulo n e introducir la notacion . El siguiente
resultado ser
a la base de las operaciones que vamos a introducir en Zn .
1.
2.
3.
4.
5.
6.
7.
2.1. CONGRUENCIAS
33
afirmaci
on 5 tenemos que a b = nt y c d = nt1 para ciertos enteros t, t1 . Por
lo tanto
(a b)(c d) = ac bd + d(a + b) + b(d c) = n2 tt1 .
Puesto que n | d(a + b) + b(d c), entonces n | ac bd. La afirmacion 6 tambien
se obtiene directamente de la definici
on de congruencia. La afirmacion 7 se deja
como ejercicio para el lector.
Teorema 2.1.2 (Cancelaci
on para el producto). Si g = mcd(a, m), entonces
m
ax ay (mod m) si y solo si x y (mod ).
g
n. Si ax ay (mod m), entonces a(x y) = mt para alg
Demostracio
un
t Z. Por tanto
a
m
(x y) = t.
g
g
m a
m a
m
,
De lo anterior
= 1, entonces
(x y). Puesto que mcd
xy y por
g g
g g
g
m
m
a
lo tanto x y (mod ). Recprocamente, si xy = t, entonces a(xy) = m t
g
g
g
y as ax ay (mod m).
Teorema 2.1.3. Sean m1 , . . . , mr enteros diferentes de 0. Entonces
xy
(mod mi ) si y solo si x y
n. Como mi | x y, entonces x y es un m
Demostracio
ultiplo com
un de
los mi s. Por el teorema 1.3.1, mcm(m1 , . . . , mr ) | x y. La otra implicacion es
consecuencia de la afirmaci
on 6 del teorema 2.1.1.
Teorema 2.1.4. Si x y (mod m), entonces
mcd(x, m) = mcd(y, m).
n. Por hip
Demostracio
otesis x y = mt para alg
un t Z. Puesto
que mcd(x, m) | x y mcd(x, m) | m, entonces mcd(x, m) | y. Por lo tanto
mcd(x, m) | mcd(y, m). De la misma forma se prueba mcd(y, m) | mcd(x, m)
y se obtiene la igualdad.
Si x = 2, y = 4 y m = 7, entonces mcd(2, 7) = mcd(4, 7), pero 2 6 4 (mod 7).
As que la afirmaci
on inversa del teorema anterior no es valida.
Antes de continuar, vamos a convenir que los modulos que usaremos en el resto
de este captulo son enteros positivos. Esto no es una imposicion, simplemente
34
2. ENTEROS MODULO
m, Zm
El siguiente resultado es u
til para identificar cuando un conjunto de enteros
es un SCR(m).
Teorema 2.1.7. Si el conjunto {x1 , . . . , xm } satisface que xi 6 xj (mod m)
para i 6= j, entonces {x1 , . . . , xm } es un SCR(m).
n. Como xi 6 xj (mod m) para i 6= j, entonces xi y xj dejan
Demostracio
diferente residuo al ser divididos por m. Reordenando los xi de tal manera que
xi = mqi + i obtenemos que xi i (mod m). Si y Z, entonces y = mq + j con
0 j < m. De lo anterior se sigue que y xj (mod m).
Si tenemos a la mano un SCR(m), entonces podemos construir otros SCR(m).
Corolario 2.1.8. Si mcd(a, m) = 1 y {x1 , . . . , xm } es un SCR(m), entonces
el conjunto {ax1 , . . . , axm } es un SCR(m).
2.1. CONGRUENCIAS
35
n. Si para alg
Demostracio
un par de ndices i, j se cumple axi axj
(mod m), entonces usando el teorema de cancelacion para el producto 2.1.2
obtenemos que xi xj (mod m) y esto u
ltimo solo es posible cuando i = j.
La diferencia entre Zm y SCR(m) salta a la vista. Por un lado, los elementos
de Zm son clases de equivalencia o conjuntos, mientras que los elementos de
SCR(m) son enteros. Si de cada clase en Zm elegimos un representante, entonces
este nuevo conjunto ser
a un SCR(m).
Diremos que el conjunto de enteros {x1 , . . . , xs } es un sistema reducido de
residuos m
odulo m si: dado cualquier y Z con mcd(y, m) = 1, entonces existe
un u
nico xi {x1 , . . . , xs } tal que y xi (mod m). Si el conjunto {x1 , . . . , xs }
satisface la definici
on anterior, escribiremos SRR(m) = {x1 , . . . , xs }. Observemos
que cualquier xi SRR(m) satisface que mcd(xi , m) = 1 y si i 6= j, entonces
xi 6 xj (mod m).
Ejemplo 2.1.9. SCR(6) = {0, 1, 2, 3, 4, 5} y SRR(6) = {1, 5}. Nota la
diferencia?.
En analoga con los sistemas completos de residuos, cualesquiera dos sistemas
reducidos de residuos m
odulo m tienen la misma cardinalidad.
Teorema 2.1.10. Si {x1 , . . . , xs } y {y1 , . . . , yt } son SRR(m), entonces s = t.
n. Supongamos que s < t. Como mcd(yj , m) = 1, entonces
Demostracio
existe un u
nico xi {x1 , . . . , xs } tal que yj xi (mod m). Reacomodando los
ndices si es necesario, podemos suponer que xj yj (mod m). Si s + 1 i t,
entonces yi xr yr (mod m) para alg
un 1 r s y por tanto {y1 , . . . , yt } no
es un SRR(m). Si t < s, repetimos el argumento para llegar a que {x1 , . . . , xs }
no es un SRR(m). Por tanto s = t.
Definimos la funci
on de Euler evaluada en el entero positivo m como
la cardinalidad de cualquier SRR(m), es decir, (m) = |SRR(m)|. Seg
un el
teorema anterior, cualesquiera dos SRR(m) tienen la misma cardinalidad, as
que la definici
on de la funci
on es consistente. El problema ahora es, dado m,
c
omo encontrar al menos un SRR(m) o m
as a
un, como identificar un SRR(m) sin
recurrir a la definici
on formal.
Lema 2.1.11. Si m > 1, entonces {1 x < m : mcd(x, m) = 1} es un
SRR(m).
36
2. ENTEROS MODULO
m, Zm
2.1. CONGRUENCIAS
37
Y
i=1
(m)
xi
(m)
axi a(m)
i=1
xi
(mod m).
i=1
Pero
mcd
(m)
Y
xi , m = 1,
i=1
(mod m).
2
Leonhard Euler naci
o el 15 de abril de 1707 en Basilea, Suiza. Ingresa a la Universidad
de Basilea para estudiar teologa y hebreo, pero sus conocimientos y aptitudes en matem
aticas
atraen la atenci
on de Johan Bernoulli quien le dedica una sesi
on semanal para responder a sus
preguntas. Euler public
o su primera memoria a los dieciocho a
nos y en sus escritos nunca dej
o
de considerar la potencia deductiva de la inteligencia como la supremaca indiscutible, y a
un
cuando los resultados del c
alculo contradijeran el sentido com
un, no dudaba en adoptarlos. En
todas las ramas de las matem
aticas puede encontrarse su nombre. Sus contribuciones principales
est
an en: el c
alculo, las ecuaciones diferenciales, la geometra analtica de curvas y superficies,
la teora de n
umeros y el c
alculo de variaciones. El 7 de septiembre de 1783, despu
es de haber
hablado sobre temas populares de la
epoca, como el descubrimiento de Urano, dej
o de calcular
y vivir.
38
2. ENTEROS MODULO
m, Zm
39
2. ENTEROS MODULO
m, Zm
40
(mod m1 )
b2 x a2
(mod m2 )
..
.
..
.
br x ar
(mod mr )
es soluble.
n. Sea m =
Demostracio
r
Y
i=1
m
x1
mi
(mod mi )
r
X m
m
si 1 (mod mi ). Entonces x =
si xi resuelve cada una
mi
mi
i=1
de las congruencias del sistema.
En [19] p
agina 279, los profesores P. Samuel y O. Zariski afirman que el
calendario solar chino fue elaborado entre los siglos IV y VII d.C y se uso para
encontrar perodos en com
un a varios ciclos de fenomenos astronomicos. Este
calendario da una regla para resolver un sistema lineal de congruencias.
Corolario 2.3.2. [Teorema chino del residuo3] Sean m1 , . . . , mr N tal
que mcd(mi , mj ) = 1 para i 6= j. Si a1 , . . . , ar Z, entonces el sistema de
3En el libro Arithmetic in nine sections (1257 a.C) escrito por el matem
atico chino Sun-tzi
41
congruencias
x a1
(mod m1 )
x a2
(mod m2 )
..
.
..
.
x ar
(mod mr )
tiene soluci
on u
nica, es decir, cualquier par de soluciones son congruentes m
odulo
mcm(m1 , . . . , mr ).
n. Con la notaci
Demostracio
on del teorema anterior, xi = ai es solucion
r
X
m
de x ai (mod mi ). La soluci
on del sistema esta dado por x =
si ai .
m
i
i=1
Ejemplo 2.3.3. Consideremos el sistema
3x 1
8x 2
x2
(mod 7)
(mod 6)
(mod 5)
= 2 es soluci
on de
3x 1 (mod 7)
= 1
8x 2 (mod 6)
=2
x 2 (mod 5)
= 4
(6)(5)x 1 (mod 7)
= 1
(7)(5)x 1 (mod 6)
=2
(7)(6)x 1 (mod 5)
(mod 6)
x3
(mod 15)
42
2. ENTEROS MODULO
m, Zm
tuviera soluci
on, entonces x = 6t + 1 = 15t1 + 3 para ciertos enteros t, t1 . De lo
anterior se sigue que x deja residuo 1 y 0 al ser dividido por 3, lo cual es imposible
por el algoritmo de la divisi
on. Por tanto el sistema no es soluble. En la misma
direcci
on tenemos que x = 18 es soluci
on del sistema
x0
(mod 6)
x3
(mod 15).
M
as adelante seguiremos con el estudio de congruencias polinomiales y por
el momento completaremos nuestro trabajo mostrando una generalizacion del
teorema chino del residuo y algunas propiedades de la funcion de Euler.
Lema 2.3.4. Sean m1 , m2 N y a1 , a2 Z. Entonces el sistema
x a1
(mod m1 )
x a2
(mod m2 )
tiene soluci
on si y solo si mcd(m1 , m2 ) | a1 a2 .
n. Sea b Z una soluci
Demostracio
on del sistema. Para i = 1, 2, tenemos
que mi | b ai . Por otro lado mcd(m1 , m2 ) | mi , entonces mcd(m1 , m2 ) |
(ba2 )(ba1 ), y por tanto mcd(m1 , m2 ) | a1 a2 . Recprocamente, supongamos
que mcd(m1 , m2 ) | a1 a2 . Puesto que mcd(m1 , m2 ) = m1 x1 + m2 x2 para ciertos
enteros x1 , x2 , entonces podemos escribir:
a1 a2 = mcd(m1 , m2 )t = m1 x1 t + m2 x2 t,
para alg
un t Z. Definimos x12 = a1 m1 x1 t = a2 + m2 x2 t. Es claro que
x12 a1
(mod m1 )
x12 a2
(mod m2 ).
(mod m1 )
X x12 0
(mod m2 )
43
(mod 15)
(mod 20)
(mod 10).
La idea principal consiste en resolver primero el sistema formado por las dos
primeras congruencias. Conociendo la solucion general de este, procedemos
a resolver un nuevo sistema de dos congruencias. Si m1 = 15, m2 = 20,
m3 = 10, a1 = 27, a2 = 2, a3 = 22, observamos que mcd(mi , mj ) | ai aj .
En particular, el sistema formado por las dos primeras congruencias debe tener
soluci
on. Resolvamos:
x 27
x2
(mod 15)
(mod 20).
(mod 60)
(mod 10).
(mod m1 )
x a2
(mod m2 )
x a3
(mod m3 )
2. ENTEROS MODULO
m, Zm
44
tiene soluci
on si y solo si mcd(mi , mj ) | ai aj para i, j = 1, 2, 3.
n. Si el sistema tiene solucion, entonces mcd(mi , mj ) | ai aj
Demostracio
para i, j = 1, 2, 3. Recprocamente, supongamos que mcd(mi , mj ) | ai aj y
resolvamos las dos primeras congruencias del sistema:
x a1
(mod m1 )
x a2
(mod m2 ).
(mod mcm(m1 , m2 ))
(mod m3 ).
(2)
Pero
a1 a3 = mcd(m1 , m3 )t1 , a2 a3 = mcd(m2 , m3 )t2
y
m1 = mcd(m1 , m3 )t3 , m2 = mcd(m2 , m3 )t4 ,
para ciertos enteros t1 , t2 , t3 , t4 . Sustituyendo las igualdades anteriores en (1)
tenemos que
mcd(m1 , m3 ) | x12 a3
mcd(m2 , m3 ) | x12 a3 .
As, x12 a3 es un m
ultiplo com
un de mcd(m1 , m3 ) y mcd(m2 , m3 ). Por lo tanto
mcm(mcd(m1 , m3 ), mcd(m2 , m3 )) | x12 a3 .
De acuerdo al problema 58 inciso a) al final del captulo 1, tenemos la igualdad
mcd(mcm(m1 , m2 ), m3 ) = mcm(mcd(m1 , m3 ), mcd(m2 , m3 )).
45
(mod mcm(m1 , m2 ))
(mod m3 )
es soluble por un entero x123 . Es claro que x123 es solucion del sistema original y
cualquier soluci
on X satisface X x123 (mod mcm(m1 , m2 , m3 )).
Teorema 2.3.7 (Teorema chino del residuo generalizado). Si m1 , . . . , mr N
y {a1 , a2 , . . . , ar } Z, entonces el sistema
x a1
(mod m1 )
x a2
(mod m2 )
..
.
..
.
x ar
(mod mr )
(mod m1 )
x a2
(mod m2 )
..
.
..
.
x ar1
(mod mr1 ).
Cualquier soluci
on Xr1 debe satisfacer que
Xr1 xr1
(mod mr ).
2. ENTEROS MODULO
m, Zm
46
(mod m)
xj s
(mod n).
(mod m)
xs
(mod n).
El teorema chino del residuo nos asegura que el sistema tiene solucion u
nica x.
Por el teorema 2.1.4 tenemos que
mcd(x, m) = mcd(r, m) = mcd(x, n) = mcd(s, n) = 1,
entonces mcd(x, mn) = 1 y por tanto existe un u
nico xi SRR(mn) tal que
x xi
(mod mn).
Como aplicaci
on del teorema anterior, si m = 27 35 712 , entonces (m) =
r
Y
i
(27 )(35 )(712 ). En general, si m =
p
on
i con pi 6= pj (i 6= j) es la factorizaci
i=1
47
(m) =
k
Y
i
(p
i ).
i=1
Por tanto, para calcular (m) es necesario conocer la factorizacion del entero m
(te
oricamente es posible) y todo se reduce a calcular la funcion en potencias de
primos. El siguiente resultado nos resuelve el problema.
Lema 2.3.9. Si p es primo, entonces (pn ) = pn pn1 .
n. Notemos primero que si 0 j p 1, entonces para todo
Demostracio
k Z tenemos que mcd(pk+j, p) = 1. Apliquemos directamente la definicion de la
funci
on contando cu
antos enteros entre 1 y pn existen y que son primos relativos
n
con p . En la siguiente tabla hemos escrito la lista de enteros consecutivos desde
1 hasta pn :
1
p+1
2p + 1
..
.
2
p+2
2p + 2
..
.
3
p+3
2p + 3
..
.
..
.
p
2p
3p
..
.
(p 1)p + 1
..
.
(p 1)p + 2
..
.
(p 1)p + 3
..
.
..
.
pp
..
.
(pn1 1)p + 1
(pn1 1)p + 2
(pn1 1) + 3
pn1 p.
2. ENTEROS MODULO
m, Zm
48
n. Sea n =
Demostracio
k
Y
i
p
i donde pi 6= pj si i 6= j. Entonces
i=1
k
Y
(n) = (
i
p
i )=
i
p
i (1
i
(p
i )=
1
k
Y
k
Y
k
Y
i 1
i
(p
)=
i pi
1
Y
Y
Y
1
1
1
i
)=
p
(1 ) = n (1 ).
i
pi
pi
p
1
1
p|n
2.4. La ecuaci
on (x) = n
Como una aplicaci
on de lo que hemos estudiado acerca de la funcion ,
resolveremos la ecuaci
on (x) = n (n N). Claramente si n > 1 es impar,
entonces (x) = n no es soluble. Vale la pena mencionar que en la actualidad
no se conoce un metodo que pueda ayudar a resolver directamente la ecuacion
(x) = n. El metodo que proponemos es conveniente solo para valores peque
nos
(x) = n
2.4. LA ECUACION
49
Q i
de n, como se ver
a en el ejemplo. Supongamos que x = p
i . Entonces podemos
escribir
Y
p 1
i i
= n.
(x) =
p
i
pi
Y
d
i i
= n observamos que di | n y
Si definimos di = pi 1, de la igualdad
p
i
pi
n Y
pi .
x= Q
di
Q
Puesto que di 6= dj para i 6= j y di | n, entonces di es un producto de divisores
de n (no necesariamente todos) tal que di + 1 es un primo pi . De la igualdad
Y
n
n
i 1
Q
=
p
, vemos que cualquier divisor primo de Q
necesariamente
i
di
di
debe ser igual a alg
un pi . Esta u
ltima afirmaci
on es una condicion mas para x.
Ejemplo 2.4.1. Encontraremos las soluciones de la ecuacion (x) = 4, claro,
si es que existen. Los n
umeros di tal que di + 1 = pi son d1 = 1, dQ
2 = 2, d3 = 4.
Por tanto p1 = 2, p2 = 3, p3 = 5. Al considerar los posibles
di tales que
4
4
Q es un entero, podemos eliminar aquellos en los cuales Q no es un entero.
di
di
4
Recordemos que solo debemos tomar en cuenta aquellos n
umeros de la forma Q
di
tales que cualquier divisor primo de este sea alg
un pi . Con lo anterior construimos
la siguiente tabla.
4
d1
4
d2
4
d3
4
d1 d2
4
d1 d3
=4
y as
x=
=2
x=
=1
x=
=2
x=
=1
x=
4
p1 = 8
d1
4
p2 = 6
d2
4
p3 = 5
d3
4
p1 p2 = 12
d1 d2
4
p1 p3 = 10
d1 d2
50
2. ENTEROS MODULO
m, Zm
k
p
k
Teorema 2.5.1. Si m =
y f (x) Z[x] no es un polinomio
constante, entonces f (x) 0 (mod m) tiene soluci
on si y solo si para cada
i
i = 1, . . . , k, la congruencia f (x) 0 (mod p
as a
un, si ti denota
i ) es soluble. M
i
el n
umero de soluciones de f (x) 0 (mod p
i ), entonces f (x) 0 (mod m)
tiene exactamente t1 t2 tk soluciones incongruentes.
n. Si f (x) 0 (mod m) tiene solucion, entonces por la afirDemostracio
i
maci
on 6 del teorema 2.1.1, cada una de las congruencias f (x) 0 (mod p
i )
i
es soluble. Recprocamnete, si xi denota una solucion de f (x) 0 (mod pi ),
entonces el teorema chino del residuo asegura que el sistema
x x1
1
(mod p
1 )
x x2
2
(mod p
2 )
..
.
..
.
x xk
k
(mod p
k )
tiene soluci
on u
nica x, pues cada una de las congruencias del sistema tiene solucion
u
nica. Por lo anterior tenemos que
f (x) f (xi ) 0
i
(mod p
i )
y aplicando el teorema 2.1.3 llegamos a f (x) 0 (mod m). Para terminar nuestro
resultado solo nos resta contar las soluciones de la congruencia original. Consideremos los siguientes conjuntos:
T1 = {x11 , x21 , . . . , xt1 1 },
T2 = {x12 , x22 , . . . , xt2 2 },
..
.
..
.
51
i
donde Ti es el conjunto de soluciones de f (x) 0 (mod p
i ). Consideremos
un elemento tpico (xi1 1 , xi2 2 , . . . , xik k ) T1 T2 Tk . Con las entradas
construimos el siguiente sistema de congruencias:
x x i1 1
1
(mod p
1 )
x x i2 2
2
(mod p
2 )
..
.
..
.
k
(mod p
k ).
x x ik k
1
(mod p
1 )
f (x) f (xi2 2 ) 0
2
(mod p
2 )
..
.
..
.
f (x) f (xik k ) 0
k
(mod p
k ),
k
1
y por lo tanto f (x) 0 (mod mcm(p
1 , . . . , pk ) = m). Ahora elegimos dos elementos distintos en T1 Tk : (x1 , . . . , xk ) y (x01 , . . . , x0k ). Claramente, estos
elementos satisfacen que :
i
1. f (xi ) f (x0i ) 0 (mod p
i )
i
0
2. xi
6 xi (mod pi ) para alguna i.
(mod p11 )
x x2
2
(mod p
2 )
..
.
..
.
x xk
k
(mod p
k )
52
2. ENTEROS MODULO
m, Zm
1
(mod p
1 )
x x02
2
(mod p
2 )
..
.
..
.
x x0k
k
(mod p
k ).
i
Si y y 0 (mod m), entonces necesariamente y y 0 (mod p
i ). Por tanto, en la
i
0
i-esima congruencia tendramos xi xi (mod pi ). As que y 6 y 0 (mod m) y
de esta manera hemos probado que f (x) 0 (mod m) tiene al menos t1 t2 tk
soluciones incongruentes.
Para ver que son exactamente todas, debemos elegir cualquier solucion z de
f (x) 0 (mod m) y ver que z proviene de alg
un elemento de T1 T2 Tk .
i
i
En efecto, z = p
que z ri
i qi + ri con 0 ri < pi para 1 i k. As
i
i
(mod p
un
i ) y por tanto f (z) f (ri ) 0 (mod pi ). Por lo anterior, ri es alg
xji y z es soluci
on del sistema
x r1
1
(mod p
1 )
x r2
2
(mod p
2 )
..
.
..
.
x rk
k
(mod p
k ).
53
Con un c
alculo elemental el lector puede verificar facilmente que
f (a + b) = f (a) + bf 0 (a) + b2 Q(a, b),
donde Q(a, b) es una expresi
on que depende de a, b.
En seguida mostraremos que una soluci
on de una congruencia polinomial
f (x) 0 (mod ps ) se puede escribir en terminos de alguna solucion de f (x) 0
(mod ps1 ). Con repetidas aplicaciones de este argumento, la solucion de la
congruencia m
odulo ps puede ser reducida a una congruencia modulo p. Esto
no es todo, pues pensar ahora c
omo construir una solucion modulo ps no es tan
inmediato. Veremos en el lema de Hensel que bajo cierta condicion se puede hacer
la construcci
on.
Teorema 2.5.2. Las soluciones de f (x) 0 (mod ps ) dependen de las
soluciones de f (x) 0 (mod ps1 ), con s > 1.
n. Sea z soluci
Demostracio
on de f (x) 0 (mod ps ). Haremos depender
a z de alguna soluci
on de f (x) 0 (mod ps1 ). Observemos primero que z
es soluci
on de f (x) 0 (mod ps1 ) y por lo tanto el conjunto de soluciones
A = {X1 , . . . , Xj } de la congruencia f (x) 0 (mod ps1 ) no es vaco. Por lo
anterior, existe X A tal que z X (mod ps1 ). As
z = X + tps1
(1)
2. ENTEROS MODULO
m, Zm
54
n. Por hip
Demostracio
otesis f (X) = M ps1 para alg
un M Z, entonces
f (X + tps1 ) = M ps1 + tps1 f 0 (X) + t2 (ps1 )2 Q(X, tps1 ),
y como s > 1 tenemos que
(ps1 )2 0
(mod ps ).
(mod ps ),
o equivalentemente
M + tf 0 (X) 0 (mod p).
Por hip
otesis p - f 0 (X), as mcd(p, f 0 (X)) = 1 y por lo tanto la congruencia
0
tf (X) M (mod p) tiene soluci
on u
nica en la variable t.
Ejemplo 2.6.2. Consideremos el polinomio f (x) = 1 + 3x2 + x3 . Es claro que
X = 1 satisface f (1) 0 (mod 5) y 5 - f 0 (1). Para construir una solucion modulo
52 debemos resolver la congruencia 1 + tf 0 (1) 0 (mod 5). Es claro que t = 1 es
soluci
on y por tanto X + 5t = 6 resuelve 1 + 3x2 + x3 0 (mod 52 ). Podemos
construir ahora una soluci
on m
odulo 53 ? En este caso 5 - f 0 (6) y f (6) = 13 52 .
As que M = 13 y la soluci
on de la congruencia M + tf 0 (6) 0 (mod 5) es
t = 13. Por tanto X + t52 = 81 es la solucion de f (x) 0 (mod 53 ). Notemos
que f 0 (81) = 20169 y por tanto 5 - f 0 (81). As, podemos construir una solucion
de f (x) 0 (mod 54 ). En este caso, f (81) = 4409 53 , M = 4409. Por tanto, una
soluci
on de la congruencia 4409+20169t 0 (mod 5) es t = 1. As, una solucion
m
odulo 54 es X = 81 125 = 44, es decir, 1 + 3(44)2 + (44)3 79375 0
(mod 54 ). Pareciera que podemos seguir con esta construccion modulo 5n .
Tenemos que justificar que en cada soluci
on X que obtenemos modulo 5n se
0
cumple la condici
on 5 - f (X). Para finalizar el ejemplo, notemos que el conjunto
de soluciones que hemos generado son: x0 = 1, x1 = 6, x2 = 81, x3 = 44 y
satisfacen xn xn1 (mod 5n ), para n = 0, 1, 2, 3. En general, dado un primo p,
una sucesi
on de enteros {x0 , x1 , . . . , xn , . . . } que satisface xn xn1 (mod pn )
se le conoce como entero p-
adico y el conjunto de enteros p-adicos es un anillo
conocido como el anillo de enteros p-
adicos.
Existe otro caso en que podemos construir una raz de f (x) 0 (mod ps ) a
partir de una raz de f (x) 0 (mod ps1 ). Si la hipotesis p - f 0 (X) de lema de
Hensel la sustituimos por la hip
otesis p | f 0 (X) y p | M , entonces tf 0 (X) M
55
(mod ps+1 ).
56
2. ENTEROS MODULO
m, Zm
El lema debil de Hensel funciona muy bien para primos impares. Lo que sospechamos ahora es que con p = 2 es donde deben estar los ejemplos. Observamos
que x2 13 (mod 22 ) tiene como soluciones a x = 1, 3, pero x2 13 (mod 23 )
no es soluble. La invenci
on de este ejemplo tiene su fundamento teorico, vea los
incisos b) y c) del problema 49 al final del captulo.
2.7. La congruencia f (x) 0 (mod p)
Si K es un campo, definimos el anillo de polinomios con coeficientes en K
como
K[x] = {a0 + a1 x + + an xn : ai K, n N0 }.
Si f (x) = a0 + a1 x + + an xn K[x], decimos que f (x) es de grado n si
an 6= 0. La expresi
on gr(f (x)) = n indica que f (x) es un polinomio de grado n.
Si f (x), g(x) K[x], decimos que f (x) divide a g(x) si existe q(x) K[x] tal que
g(x) = f (x)q(x). Indicamos este hecho escribiendo f (x) | g(x). Toda la teora de
divisibilidad que desarrollamos en Z es v
alida en el anillo K[x]. Particularmente
tenemos:
Teorema 2.7.1 (algoritmo de la divisi
on). Si f (x), g(x) K[x] con g(x) 6= 0,
entonces existen q(x), r(x) K[x] tales que
f (x) = g(x)q(x) + r(x),
con r(x) = 0
o gr(r(x)) < gr(g(x)).
n. Ver [1], p
Demostracio
agina 18.
57
58
2. ENTEROS MODULO
m, Zm
(mod n).
(mod n)
(mod n).
59
PROBLEMAS
1. Muestra que dos enteros son congruentes m
odulo n si y solo si dejan el mismo residuo
al ser divididos por n.
2. Muestra que:
a) Si a b (mod n) y c d (mod n), entonces a + c b + d (mod n).
b) Si a b (mod n), entonces para x, y Z, ax bx (mod n).
c) Si a b (mod n) y c d (mod n), entonces ax + cy bx + dy (mod n).
d) Si f (x) Z[x] y a b (mod n), entonces f (a) f (b) (mod n).
3. Muestra que si a N, entonces a2 0, 1 (mod 4). Por que 602 915 no es un
cuadrado?
4. Muestra que:
a) Si n es impar, entonces n2 1 (mod 8).
b) Si a Z, entonces 6 | a3 a.
5. Muestra que Zn es un campo si y solo si n es primo. Conluye que existe una infinidad
de campos finitos.
n1
X
6. Sea n N impar. Muestra que
i 0 (mod n). Que pasa si n es par?
i=0
1 j (n)}
60
2. ENTEROS MODULO
m, Zm
(mod p).
p1
X
i).
i=1
61
a), e) y f).
a), b), d), g), h).
33. Resuelve cada una de las siguientes congruencias:
a) 132x 22 (mod 194)
b) 84x 156 (mod 605)
c) 16x 3 (mod 24)
d) 5x 1 (mod 18).
34. Resuelve el sistema de congruencias:
3x 5
(mod 22)
11x 3
(mod 28)
35. Encuentra R(x) en el teorema del residuo 2.7.2 en cada uno de los siguientes casos:
a) 3x5 + x4 + 2x3 + 5x + 6 0 (mod 5)
b) 2x4 3x + 2 0 (mod 7)
c) x4 5x3 + x2 3x + 2 0 (mod 11)
d) x4 + 1 0 (mod 13).
36. Demuestra el teorema del factor 2.7.3.
37. Supongamos que la congruencia polinomial f (x) 0 (mod m) tiene m soluciones
incongruentes, Demuestra que cualquier entero es soluci
on.
38. Demuestra el corolario 2.7.5.
39. Muestra que si f (x) = a0 + a1 x + + an xn 0 (mod p) tiene m
as de n soluciones
incongruentes, entonces p | aj para 0 j n.
40. Usa el teorema del factor para factorizar los siguientes polinomios:
a) x2 13
b) x2 5x + 6
c) x2 + 2x 2
d) x3 + x + 2
e) x3 2
f) x3 + 2x2 3x 1.
en cada uno de los anillos F2 [x], F5 [x], F7 [x], F11 [x].
41. El polinomio f (x) Fp [x] \ Fp es irreducible si: siempre que tengamos una
factorizaci
on f (x) = h(x)g(x), entonces alguno de los factores es un polinomio
constante. Considera la siguiente lista de polinomios:
a) x2 13
b) x2 5x + 6
c) x2 + 2x 2
d) x3 + x + 2
e) x3 2
f) x3 + 2x2 3x 1.
62
2. ENTEROS MODULO
m, Zm
Cu
ales de ellos son irreducibles cuando son considerados en
F2 [x],
F5 [x],
F7 [x],
F11 [x]?
Captulo
Cuadrados en Fp
En el captulo 2 hicimos un estudio de las soluciones del polinomio f (x)
Zm [x]. El objetivo de esta secci
on es estudiar el caso particular de un polinomio
de grado 2 en Fp [x] con p un n
umero primo impar.
Si f (x) = ax2 + bx + c C[x]
o R[x], entonces sabemos que f (z0 ) = 0 si y
solo si
b b2 4ac
z0 =
.
2a
Intentemos usar la f
ormula para un polinomio cuadratico en F5 [x]. Sea
f (x) = x2 2x 2. Entonces f (z) = 0 si y solo si
p
2 (2)2 4(2)
2 12
2 2
=
z=
2
2
2
1
En
acil efectuar las operaciones, excepto calcular 2. Que significa
realidad fue f
2 en F5 ? o alternativamente existe x F5 tal que x2 2 (mod 5)? Por ensayo
error, podemos verificar f
acilmente que no existe x F5 tal que x2 2 (mod 5),
es decir, la congruencia f (x) = x2 2 0 (mod 5) no tiene solucion en F5 . Sin
embargo, en F7 verificamos que 32 42 2 (mod 7). De paso observamos que
por el teorema del factor podemos factorizar: x2 2 (x 3)(x 4) (mod 7).
En estos casos es relativamente f
acil el ensayo error. Pero y si p es un primo
grande?
La f
ormula involucra suma, resta, cociente y raz cuadrada. En Fp es facil
sumar, dividir, pero c
omo encontramos x Fp tal que x2 b2 4ac (mod p)?
o menos a
un c
omo detectar si f (x) 0 (mod p) tiene solucion en Fp .
En este captulo veremos que resolver una congruencia cuadratica de la forma
ax2 + bx + c 0
63
(mod p)
64
3. CUADRADOS EN Fp
4a(ax + bx + c) 0
2 2
(mod p) si y solo si
(mod p) si y solo si
(mod p),
(mod p).
65
=
1 si x2 a 0 (mod p) es soluble,
1 si x2 a 0 (mod p) no es soluble.
1.
2.
3.
4.
5.
n. La afirmaci
Demostracio
on 1 es evidente. Vayamos a la afirmacion 2:
c Z es soluci
on de x2 a (mod p) si y solo si c2 a b (mod p). Por
tanto, a es un cuadrado si y solo si b es un cuadrado modulo p y en este caso
a b
=
= 1, lo cual es equivalente a afirmar que x2 a (mod p) no es
p
p
2
soluble si y solo
asi
x b (mod p) no es soluble. Para la afirmacion 3 supongamos
primero que
= 1. Entonces existe x0 Z tal que x20 a (mod p). Puesto
p
66
3. CUADRADOS EN Fp
a
p1
2
p1
2
xp1
1
0
(mod p),
p1
a 2 (mod p).
p
a
Para concluir la afirmaci
on 3 ahora supongamos que
= 1. Si p - r,
p
entonces la congruencia lineal rx a (mod p) tiene solucion u
nica r0 . Es claro
0
2
que r 6= r pues de lo contrario x a (mod p) sera soluble. As que el conjunto
{1, 2, . . . , p1} lo podemos partir en parejas {r, r0 } que satisfacen rr0 a (mod p)
y r 6 r0 (mod p). De acuerdo al teorema de Wilson 2.7.6 obtenemos que
Y
p1
1 (p 1)! =
(rr0 ) a 2
(mod p).
r,r 0 F
p
a
= 1, entonces
a
p1
as que,
a b
p
ab
p
La afirmaci
on 5 ahora es f
acil: por 3 tenemos
(mod p).
1
p
(1)
p1
2
(mod p).
La afirmaci
on 2 del teorema anterior tiene una interpretacion interesante: si
el representante de una clase en Fp es un cuadrado, entonces cualquier n
umero en
esa clase tambien es un cuadrado. Equivalentemente, si el representante de una
clase en Fp no es un cuadrado, entonces cualquier otro n
umero en esa clase no es
un cuadrado.
Corolario 3.1.2. Si p es un primo impar, entonces
1
p1
1 si p 1 (mod 4)
= (1) 2 =
1
si p 3 (mod 4)
p
67
p1
n. Observe que si p es de la forma 4n + 1, entonces
es
Demostracio
2
p1
par. Si p es de la forma 4n + 3, entonces
es impar.
2
1
600
Ejemplo 3.1.3. Si p = 601, entonces
= (1) 2 = 1, por lo tanto
601
x2 1 (mod 601) es soluble. Puede el lector factorizar el polinomio x2 + 1 en
F601 [x]?
1
Ejemplo 3.1.4. Si p = 47, entonces
= 1, as que x2 1 (mod 47)
47
no tiene soluci
on en el campo F47 .
De nuestra experiencia en cursos b
asicos de matematicas sabemos que el
polinomio f (x) = x2 + 1 no tiene soluciones en los campos Q o R. Podemos
plantear la siguiente pregunta: para cu
ales primos p el polinomio f (x) = x2 + 1
es irreducible en Fp [x]? El corolario 3.1.2 nos afirma que: si p = 4n + 1, entonces
f (x) = x2 + 1 0 (mod p) es soluble y si p = 4n + 3, entonces f (x) = x2 + 1 0
(mod p) no es soluble. Observe que el corolario 3.1.2 solo nos indica la posible
solubilidad de una congruencia cuadr
atica, pero no nos indica como encontrar la
posible soluci
on, en caso de que exista.
Teorema 3.1.5. Si p = 2 o p es un primo de la forma 4n + 1, entonces la
congruencia x2 + 1 0 (mod p) es soluble.
n. Vamos a proponer una solucion. Si p = 2, entonces x = 1
Demostracio
es soluci
on. Por el teorema de Wilson 2.7.6 podemos escribir (p 1)! como:
p 1 p + 1
1 2j
(p j) (p 1) 1 (mod p).
2
2
p1
p+1
Observemos que si 1 j
, entonces
p j p 1 y que p j
2
2
j (mod p). Ahora reescribimos el producto anterior como:
1
p1
p1
2
Y
2
Y
j(p j)
j=1
p1
j (1)
j=1
p1
2
2
Y
j=1
p1
2
Y
2
j
j
(mod p).
j=1
p1
Por lo tanto x =
2
Y
j=1
j es una soluci
on.
68
3. CUADRADOS EN Fp
PROBLEMAS
1. Use el teorema de Euler (afirmaci
on 3 del teorema 3.1.1) para mostrar que si p es
un primo impar, p 6= 3, entonces p es un cuadrado en F3 si y solo si p = 3n + 1 para
alg
un n Z.
2. Sea f (x) Fp [x] un polinomio de grado 2. Muestra que si f (x) no tiene races
m
odulo p, entonces f (x) es irreducible en Fp [x].
3. En los siguientes campos finitos, muestra con una lista todos los residuos cuadr
aticos
y todos los residuos no cuadr
aticos:
a) F17 .
b) F13 .
c) F23 .
d) F31 .
4. Sean p un primo impar y a Z tal que mcd(a, p) = 1 y x2 a (mod p) es soluble.
Entonces la congruencia x2 a (mod p) tiene dos soluciones incongruentes.
5. De acuerdo con el problema anterior, si p es un primo de la forma 4n + 1, entonces
la congruencia x2 1 (mod p) debe tener dos soluciones incongruentes. El
teorema 3.1.5 proporciona explcitamente una de ellas. Puedes proporcionar la
otra soluci
on?
6. Muestra que si la congruencia x2 1 (mod p) es soluble, entonces p = 2 o bien p
es un primo de la forma 4n + 1. Observa el corolario 3.1.2.
7. Sea K cualquier campo. Conclumos de la definici
on de polinomio irreducible que
si f (x) K[x] es irreducible, entonces por el teorema del factor f (x) no tiene races
en K. Si f (x) es reducible o factorizable con polinomios de K[x] entonces f (x)
debe tener al menos una raz en K ?
a
.
8. Muestra que el n
umero de soluciones de x2 a (mod p) est
a dado por 1 +
p
2
9. Encuentra todos los valores de c para que la congruencia 3x 2x + c 0 (mod 11)
sea soluble.
10. Consideremos el campo finito Fp . Muestra que para cada entero n > 1 existe
f (x) Fp [x] irreducible de grado n.
p
,
donde
los
p
s son primos impares, pi 6= pj si i 6= j
i
r
1
y (n) = 1 seg
un si n > 0
o n < 0. Adicionalmente consideremos un primo
3.2. LEY DE RECIPROCIDAD CUADRATICA
69
70
3. CUADRADOS EN Fp
el conjunto de residuos m
odulo p de los elementos de S. Si n es el n
umero de
p
elementos de S 0 que exceden la cantidad , entonces
2
a
= (1)n .
p
n. Primero observemos que ri 6 rj (mod p) para i 6= j, as
Demostracio
0
que S est
a formado por elementos incongruentes dos a dos y por lo tanto los
p1
elementos de S 0 son distintos, es decir, |S 0 | =
. Sean t1 , t2 , . . . , tn S 0 tal que
2
p
p
ti > , y s1 , . . . , sm S 0 tal que si < . Entonces S 0 = {t1 , t2 , . . . , tn , s1 , . . . , sm }
2
2
y
p
p
p1
, si 6= , tj 6=
n+m=
2
2
2
pues p es primo impar. As, los n
umeros
p t1 , p t2 , . . . , p tn
son diferentes y satisfacen que
p
.
2
Por lo tanto pt1 , pt2 , . . . , ptn , s1 , s2 , . . . , sm son mayores que cero y menores
p
que . Afirmamos que ellos son diferentes. Si p ti = p tj con i 6= j, entonces
2
ti = tj , lo cual es absurdo. Si p ti = sj , entonces existen x0 , y0 tales que
p1
1 x0 , y0
y satisfacen
2
ti x0 a (mod p), sj y0 a (mod p).
0 < p ti <
Entonces
sj = p ti p x0 a y0 a (mod p),
3.2. LEY DE RECIPROCIDAD CUADRATICA
71
de donde
p | a(y0 x0 )
y por lo tanto p | (x0 + y0 ), lo cual es imposible pues 2 x0 + y0 p 1. Hasta
este momento podemos concluir que los siguientes conjuntos coinciden:
n
o n
p 1o
p t1 , p t2 , . . . , p tn , s1 , . . . , sm = 1, 2, . . . ,
,
2
p1
. Para finalizar la prueba multiplicamos todos los elementos
donde n + m =
2
de ambos conjuntos y reducimos m
odulo p. Sera u
til recordar que los elementos
si , tj recorren el conjunto S = {r1 , r2 , . . . , r p1 }. As tenemos que
2
n
Y
m
Y
p1
!=
(p tj )
sj
2
j=1
j=1
n
Y
(1)n
tj
j=1
m
Y
sj
j=1
p1
(1)
2
Y
ja
j=1
(1)n a
y puesto que mcd
p 1
2
p1
2
p 1
2
(mod p)
!, p = 1, cancelamos para obtener
1 (1)n a
p1
2
(mod p).
(mod p)
y por lo tanto
a
p
= (1)n
72
3. CUADRADOS EN Fp
p2 1
t n (mod 2)
8
n
m
2
X
X
X
(p ti ) +
si =
i,
i=1
i=1
i=1
pero
p1
2
X
i=1
i=
p2 1
8
y
n
X
i=1
(p ti ) +
m
X
i=1
si = np
n
X
ti +
m
X
i=1
si .
i=1
As que,
n
m
X
X
p2 1
= np
ti +
si .
8
i=1
i=1
3.2. LEY DE RECIPROCIDAD CUADRATICA
73
p2 1
8
2
X
ia
i=1
p1
p1
p1
2 j
2 j
2
X
X
ia k
ia k X
=
Ri
p + Ri = p
+
p
p
i=1
i=1
i=1
= pt +
n
X
ti +
i=1
m
X
si .
i=1
p2 1 p2 1
p2 1
= (a 1)
, entonces
Puesto que a
8
8
8
m
n
n
m
n
X
X
X
X
X
si = p(t n) + 2
ti ,
ti +
si np
ti +
pt +
i=1
i=1
i=1
i=1
i=1
n
X
p2 1
ti
= p(t n) + 2
8
i=1
y por lo tanto
p2 1
p(t n) (mod 2).
8
p2 1
Como p 1 (mod 2), entonces (a 1)
t n (mod 2)
8
2
Ahora resolvamos nuestro problema de conocer
.
p
2
p2 1
Teorema 3.2.3. Si p es un primo impar, entonces
= (1) 8 .
p
n. Si en el lema 3.2.2 ponemos a = 2, entonces
Demostracio
(a 1)
p1
t=
2 j
X
2i k
i=1
j2k
p
j4k
p
+ +
jp 1k
as que
p2 1
n n
8
(mod 2).
= 0,
74
3. CUADRADOS EN Fp
p2 1
Por lo tanto
y n tienen la misma paridad. Aplicando el lema de Gauss
8
obtenemos que
2
p2 1
= (1)n = (1) 8
p
Podemos caracterizar los primos p para los cuales el polinomio f (x) = x2 2
es reducible o irreducible en Fp [x].
Corolario 3.2.4. Si p es un primo impar, entonces
2 1 si p 1, 7 (mod 8)
=
1 si p 3, 5 (mod 8)
p
n. Si p es un primo impar, entonces p = 8q + r, donde
Demostracio
p2 1
es par. Si r = 3 o 5, entonces
r = 1, 3, 5, 7. Si r = 1
o 7, entonces
8
2
p 1
es impar.
8
1 2
y
.
Hasta ahora sabemos que decidir con respecto a los smbolos
p
p
Solo nos queda
resolver
lo siguiente: si q es un primo impar y q 6= p que podemos
p
decir acerca de
?. Nuestro siguiente resultado esta encaminado a resolver esta
q
inc
ognita.
Lema 3.2.5 (Lema de Eisenstein). Si p y q son primos distintos impares,
entonces
p1
q1
2 j
2 j
qi k X
pi k
p1q1 X
=
+
2
2
p
q
i=1
i=1
p1q1
n. Primero veamos una interpretacion del n
.
Demostracio
umero
2
2
En el plano cartesiano R
consideremos el rectangulo cuyos vertices se encuenR
p q p q
tran en los puntos (0, 0),
, 0 , 0,
y
,
.
2
2
2 2
Consideremos todos los puntos dentro de este rectangulo, sin considerar los
lados, y cuyas coordenadas son enteros. Es claro que el n
umero de tales puntos
p1q1
es
. Entonces lo que vamos a hacer es contar los puntos con ambas
2
2
coordenadas enteras que est
an dentro de este rectangulo haciendo uso de la funcion
3.2. LEY DE RECIPROCIDAD CUADRATICA
75
Figura 3.1
b c. Reproduciremos la prueba que dio Eisenstein y la cual es de naturaleza
puramente geometrica. Como p y q son impares, entonces queremos contar los
puntos de la forma (m, n) con m, n N sujetos a la condicion
p1
q1
, 1n
.
2
2
Primero veremos que sobre la diagonal no hay puntos de los que buscamos. La
q
ecuaci
on de la diagonal es (ver figura 3.1) y = x donde
p
p
q
0<x<
y 0<y< .
2
2
p
qi
Si x = i N es tal que 0 < i < , entonces y =
y el punto correspondiente
2
p
qi
qi
p
sobre la diagonal es i,
. Notemos que
6 N pues q 6= p y 0 < i < . Por
p
p
2
lo tanto la diagonal no contiene puntos con ambas coordenadas enteras. Todo
lo anterior nos reduce el trabajo a contar solo en el triangulo inferior y en el
tri
angulo superior.
p p q
Consideremos el tri
angulo con vertices en (0, 0),
,0 ,
,
. Para i =
2
2 2
p1
1, 2, . . . ,
, consideremos la lnea vertical en x = i dentro de este triangulo.
2
qi
Este segmento empieza en (i, 0) y termina en i,
. Recordemos que no debemos
p
1m
76
3. CUADRADOS EN Fp
j = 1, 2, . . . ,
q1
2
q1
2 j
2 j
q1p1 X
qi k X
pi k
=
+
.
2
2
p
q
i=1
i=1
El siguiente resultado,
de
los m
as importantes en teora de n
umeros, nos
q uno
p
afirma que los smbolos
y
guardan una sorprendente relacion conocida
p
q
como reciprocidad cuadr
atica.
3.2. LEY DE RECIPROCIDAD CUADRATICA
77
si p
o q 1 (mod 4)
p
p
=
q
si p y q 3 (mod 4).
p
n. Es una simple reformulacion del corolario anterior.
Demostracio
Corolario 3.2.9. Sean p, q primos impares diferentes. Entonces
78
3. CUADRADOS EN Fp
1. Si p
o q 1 (mod 4), entonces q es un cuadrado en Fp si y solo si p es un
cuadrado en Fq .
2. Si p q 3 (mod 4), entonces q es un cuadrado en Fp si y solo si p no es
un cuadrado en Fq .
.
El lector podr
a coincidir con nosotros en que el corolario 3.2.9 es el que
justifica propiamente el nombre de ley de reciprocidad cuadratica. Aprovechando
el espacio, vale la pena mencionar que la primera demostracion completa de la
ley de reciprocidad cuadr
atica fue dada por Gauss el cual considero esta ley tan
importante que dio ocho demostraciones diferentes.
En terminos de irreducibilidad o reducibilidad de polinomios podemos traducir la ley de reciprocidad. Consideremos los polinomios cuadraticos x2 p Fq [x]
y x2 q Fp [x]: si p
o q 1 (mod 4), entonces x2 p Fq [x] es reducible si y
2
solo si x q Fp [x] es reducible y si p q 3 (mod 4), entonces x2 p Fq [x]
es reducible si y solo si x2 q Fp [x] es irreducible. Es importante que el lector
se familiarice con los conceptos de reducibilidad e irreducibilidad.
Ejemplo 3.2.10. Es irreducible x2 + 23 en F41 [x]?
23 1 23 23 41 18 32 2 2
=
=
=
=
=
=
= 1.
41
41
41
41
23
23
23 23
23
La respuesta a la pregunta es: no es irreducible. Podemos verificar por ensayoerror que x = 10 es una soluci
on de x2 + 23 0 (mod 41). Cual es la otra
soluci
on?
Ejemplo 3.2.11. Es irreducible x2 + 189 en F491 [x]?
189 1 32 3 7 1 3 7
=
=
=
491
491 491 491 491
491 491 491
491 7 2 7 2
491
(1)(1)
=
=
(1)
=
3
491
3 491
3
7
2 1
(1)
= (1)(1)(1) = 1.
3 7
Por lo tanto, x2 189 (mod 491) es soluble y as x2 + 189 es reducible en
F491 [x]. Cu
al es la factorizaci
on de x2 + 189 en F491 [x]?
3.2. LEY DE RECIPROCIDAD CUADRATICA
79
1 (mod 4)
1 (mod 3)
p
p
3 1 (mod 4)
2 1 (mod 3).
80
3. CUADRADOS EN Fp
3.2. LEY DE RECIPROCIDAD CUADRATICA
c)
d)
e)
f)
81
38
29
135
67
79
97
23
59
(mod p)
sj ya
(mod p).
p1
2
(mod p).
9. Muestra que:
a) Si a, b son residuos cuadr
aticos m
odulo p, entonces ab es residuo cuadr
atico
m
odulo p.
82
3. CUADRADOS EN Fp
83
84
4.
3. CUADRADOS EN Fp
a2
a
= 1.
b J
b2 J
a0
a2 a0
=
.
5.
b2 b0 J
b0 J
n. Para la afirmaci
Demostracio
on 1, si a a0 (mod b), entonces a a0
(mod p) con p primo y p | b. Por la afirmacion 2 del teorema 3.1.1 tenemos que
a
a0
a a0
=
y as
=
. La afirmacion 2 se sigue de:
p
p
b J
b J
aa0 aa0
aa0
aa0 a a0
=
=
.
b J
p1
p2
pr
b J b J
La afirmaci
on 3 la dejamos como ejercicio para el lector. La afirmacion 4 se sigue
de observar que
a2
a a
a
a 2
Y a2
=
= 1.
=
=1 y
=
b J
p
b2 J
b J b J
b J
p|b
+
(mod 2).
2
2
2
r2 s2 1
r2 1 s2 1
2.
+
(mod 2).
8
8
8
n. Puesto que
Demostracio
1.
(r 1)(s 1) rs r s + 1 1 + 1 0
(mod 4),
entonces,
rs 1 (r 1) + (s 1)
(mod 4).
(mod 4)
s2 1 0
(mod 4).
85
Por tanto
(r2 1)(s2 1) 0
(mod 16)
y
r2 s2 1 (r2 1) + (s2 1)
(mod 16).
(mod 2).
2
2
i=1
n
Y
2.
n
X
r2 1
i
i=1
ri2 1
i=1
(mod 2).
= (1) 2 (1) 2
b J
p1
p2
pr
Pr
= (1)
i=1
pi 1
2
= (1)
b1
2
86
3. CUADRADOS EN Fp
Para la afirmaci
on 2 usaremos el teorema 3.2.3 que asegura
2
p2 1
= (1) 8 .
p
As tenemos que
2
2 2 2
Pr
p2
p2
1 1
r 1
=
p2
i 1
8
La afirmaci
on 2 del corolario 3.3.3 nos asegura que los siguientes n
umeros
r
X
p2 1
i
i=1
r
Y
p2 1
i
i=1
(mod 2)
qi 1 pj 1
2
2
Usando la afirmaci
on 1 del corolario 3.3.3 obtenemos que
l X
r
r
X
pj 1 qi 1
a 1 X pj 1
a1b1
2
2
2 j=1 2
2
2
i=1 j=1
(mod 2)
y por lo tanto
a b
a1 b1
= (1) 2 2 .
b J a J
87
PROBLEMAS
1. Calcula los siguientes smbolos de Jacobi:
18
a)
35 J
126
b)
315 J
186
c)
234 J
n
2. Sea Fn = 22 + 1 el n-esimo n
umero de Fermat. Muestra que
3
= 1.
Fn J
88
3. CUADRADOS EN Fp
Captulo
90
(a + bi)(c di)
=
=
= 2
+ 2
i.
2
2
w
ww
c +d
c + d2
c + d2
ac + bd
bc ad
Si A = 2
y B= 2
, entonces A, B Q. Sean x, y los enteros mas
c + d2
c + d2
pr
oximos a A y B respectivamente. Formalmente x, y satisfacen que:
1
1
y
|B y| .
|A x|
2
2
Por lo tanto
z
N( (x + yi)) = N(A + Bi (x + yi))
w
= N((A x) + (B y)i)
= (A x)2 + (B y)2 < 1.
91
con
n
X
ai xi para todo ai Z[i].
3. Si z1 | x1 , z1 | x2 , . . . , z1 | xn , entonces z1
i=1
4. Si z1 | z2 , entonces z1 | z2 .
5. Si z1 | z2 , entonces N(z1 ) | N(z2 ).
n. Se deja como ejercicio para el lector.
Demostracio
92
Una observaci
on sumamente importante es que precisamente las unidades de
Z[i] son los u
nicos elementos de Z[i] que tienen inverso multiplicativo. El conjunto
de unidades de Z[i] lo denotaremos como U (Z[i]). Concretamente quien es U (Z)?
93
94
w = 1 k2 + 2
1 = 2 k3 + 3
..
.
n2 = n1 kn + n
..
.
N(n ) < N(n1 ),
n1 = n kn+1 + 0.
Notemos que
N(w) > N(1 ) > N(2 ) > > N(n ) > 0
es una sucesi
on decreciente de enteros positivos y por tanto, en alg
un momento
obtenemos un residuo n+1 = 0. Es claro que n | n1 y por tanto n | n2 .
Continuando con este proceso llegamos a que n es un divisor com
un de z, w. As
que n satisface la afirmaci
on 1 del teorema. Despejando i (1 i n) en la
i-esima igualdad y sustituyendo en la anterior se llega a que n tambien satisface
la afirmaci
on 2. El lector puede verificar f
acilmente, usando la afirmacion 2, que
n tambien satisface la afirmaci
on 3 y por lo tanto el gaussiano que buscamos es
= n .
El gaussiano del teorema anterior lo llamaremos m
aximo com
un divisor de z
y w y lo denotaremos como = mcd(z, w). La manera apropiada para definir dos
enteros gaussianos primos relativos es la siguiente: z1 y z2 son primos relativos si
y solo si mcd(z1 , z2 ) = u donde u es alguna unidad de Z[i].
Corolario 4.1.14. Si = mcd(z, w) y u U (Z[i]), entonces u satisface el
teorema 4.1.13.
n. Es un f
Demostracio
acil ejercicio para el lector.
95
(1)
Nuevamente
18 + i
(18 + i)(5 i)
91 13i
1i
=
=
=3+
5+i
(5 + i)(5 i)
26
2
y entonces obtenemos que
18 + i = 3(5 + i) + (3 2i).
(2)
Por otro lado 5 + i = (1 + i)(3 2i), juntando (1) y (2) se tiene que
6 17i = i(18 + i) + (5 + i)
18 + i = 3(5 + i) + (3 2i)
5 + i = (1 + i)(3 2i).
Por lo tanto mcd(6 17i, 18 + i) = 3 2i y sus asociados.
Ejemplo 4.1.16. Calcular mcd(7+11i, 3+5i). Razonando de manera analoga
al ejemplo anterior tenemos que
7 + 11i = 2(3 + 5i) + (1 + i)
3 + 5i = (4 + i)(1 + i) + 0.
Por lo tanto mcd(7 + 11i, 3 + 5i) = 1 + i y sus asociados.
La teora del mcd de un conjunto finito de enteros gaussianos se puede
establecer f
acilmente considerando formas lineales, justamente como lo hicimos
para los enteros racionales.
Teorema 4.1.17. Sean z1 , z2 , . . . , zn Z[i] no todos cero. Existe Z[i]
con las siguientes propiedades:
1. | zi para i = 1, . . . , n.
2. Si 0 | zi , (i = 1, . . . , n), entonces 0 | .
96
con
Pero
r = x k = (x1 a1 k)z1 + (x2 a2 k)z2 + . . . + (xn an k)zn ,
as que r A. Si 0 < N(r) < N(), entonces no es el elemento de A de norma
positiva mnima. Por lo tanto N(r) = 0 y | x. En particular zi A, y as | zi .
n
X
Es claro que si 0 | zi , entonces 0
ai zi y por tanto 0 | .
i=1
4.2.
UNICA
FACTORIZACION
EN Z[i]
97
4. Si a 6= 0
o b 6= 0, entonces mcd(a, b) = 1 si y solo si mcd(ak , bl ) = 1 para
todo k, l N .
5. (Teorema de Euclides) Si a | bc y mcd(a, b) = 1, entonces a | c.
6. Si a | c, b | c y mcd(a, b) = 1, entonces ab | c.
7. Si c 6= 0, entonces mcd(ca, cb) = c mcd(a, b).
a b
,
= 1.
8. Si g = mcd(a, b), entonces mcd
g g
n. Se deja como ejercicio para el lector.
Demostracio
Supongamos que z, w Z[i] \ {0}. Un m
ultiplo com
un de z, w es un entero
gaussiano tal que z | y w | . Es claro que zw es un m
ultiplo com
un de z y
w. En general, si z1 , z2 , . . . , zn Z[i] \ {0}, el conjunto
M = {x Z[i] \ {0} : zi | x,
es no vaco pues
n
Y
i = 1, . . . , n}
i=1
un m
ultiplo com
un de z1 , z2 , . . . , zn .
Teorema 4.1.19. Sean z1 , z2 , . . . , zn Z[i] \ {0}. Existe m Z[i] con las
siguientes propiedades:
1. zi | m para i = 1, . . . , n.
2. Si m0 M , entonces m | m0 .
n. Sea H = {N(x) : x M }. Notemos que =
Demostracio
6 H N. Por
el PBO existe h H de norma mnima. As, h = N(m) para alg
un m M .
Claramente m satisface la afirmaci
on 1. Sea m0 M . Aplicando el algoritmo de
la divisi
on
m0 = km + r
con
0 N(r) < N(m).
0
Si N(r) 6= 0, entonces r = m km M lo cual es absurdo por la eleccion de m.
Por lo tanto r = 0 y m | m0 .
El gaussiano m del teorema anterior lo podemos llamar mnimo com
un
m
ultiplo de z1 , z2 , . . . , zn y lo denotamos como mcm(z1 , z2 , . . . , zn ).
4.2. Factorizaci
on u
nica en Z[i]
Cualquier par de enteros gaussianos z, w tienen por lo menos cuatro divisores
en com
un, a saber:
1, 1, i, i.
98
1,
i,
i,
z,
z,
iz,
iz
1,
p,
p.
4.2.
UNICA
FACTORIZACION
EN Z[i]
99
(3 2i)(3 + 2i) = 13
1,
i,
i,
n,
n,
in,
in.
1,
n,
n.
Lema 4.2.8. Cada entero gaussiano z con N(z) > 1 tiene una representaci
on
como producto finito de primos.
n. Inducci
Demostracio
on sobre N(z). Si N(z) = 2, entonces por el
teorema 4.2.2 se tiene que z es primo y en este caso el lema queda demostrado.
Supongamos el lema v
alido para cualquier gaussiano w con 2 N(w) < N(z). Si
z es primo entonces concluimos. Si z no es primo, entonces z = z1 z2 con
1 < N(z1 ) < N(z)
z1 = 1 2 r ,
1,
i,
i,
i,
i.
100
lo cual es absurdo pues N(i0 ) > 1. Por lo tanto r t. Si ahora suponemos que
t < r y usamos el mismo argumento obtenemos un absurdo y por lo tanto t = r
y de paso mostramos que la factorizaci
on es u
nica.
4.3. N
umeros primos en Z[i]
De los problemas importantes en la teora de n
umeros destaca la factorizacion
de un entero. Si conocieramos una lista completa de los n
umeros primos racionales, seguramente podramos factorizar cualquier entero. Afortunadamente no
es as, es m
as, no sabemos ni siquiera c
omo generarlos a todos. Se sabe por lo
menos, que no existe un polinomio en una variable que reproduzca solo primos
4.3.
NUMEROS
PRIMOS EN Z[i]
101
(mod p)
es soluble si y solo si p = 2
o p es un primo de la forma 4n + 1.
Lema 4.3.1. Si p es un primo racional de la forma 4n + 1, entonces p visto
como entero gaussiano no es un primo.
n. Si a soluci
Demostracio
on de la ecuacion x2 1 (mod p), entonces
2
p | a + 1 y por lo tanto p | (a + i)(a i). Si p fuera un primo gaussiano, de
acuerdo al lema 4.2.9 entonces p | a + i
o p | a i. Supongamos que p | a + i.
Entonces existe c + di Z[i] tal que a + i = p(c + di). Igualando parte real y parte
imaginaria obtenemos que a = pc. Por lo anterior p | a y as p | a2 . Puesto que
p | a2 + 1, entonces p | 1, lo cual es imposible. Un argumento similar nos muestra
que p - a i.
Teorema 4.3.2 (Teorema de Fermat). Si p es primo racional de la forma
4n + 1, entonces p puede ser expresado en forma u
nica como suma de dos
cuadrados.
n. Por el lema anterior tenemos p = con N(), N() > 1.
Demostracio
De lo anterior se sigue que
N(p) = N()N() = p2
y por lo tanto
N() = N() = p.
Si = m + ni, entonces N() = (m + ni)(m ni) = m2 + n2 = p. Debemos
aclarar en que sentido debemos entender la unicidad. Observe que p = m2 + n2 =
(m)2 + (n)2 . As que si m, n > 0, entonces la representacion debe ser u
nica.
En efecto, supongamos que p = m2 + n2 = x2 + y 2 , con m, n, x, y > 0. Como p es
primo, necesariamente se cumple que
mcd(m, n) = mcd(x, y) = 1.
(1)
102
(mod p)
deducimos que
|my nx| = p
Por lo tanto y = m y x = n.
y xm yn = 0.
El siguiente resultado nos indica exactamente quienes son o de donde provienen los primos en Z[i].
Teorema 4.3.4. Los primos en Z[i] son:
4.3.
NUMEROS
PRIMOS EN Z[i]
103
1. 1 + i y sus asociados.
2. Los factores a + bi de primos racionales de la forma 4n + 1 y sus asociados.
3. Los primos racionales de la forma 4n + 3 y sus asociados.
n. Puesto que N(1 + i) = 2, entonces por el teorema 4.2.2,
Demostracio
1 + i es primo. Para la afirmaci
on 2 consideremos un primo racional p de la forma
4n + 1. Por el corolario 4.3.3 tenemos que
p = a2 + b2 = (a + bi)(a bi),
y as p = N(a + bi) = N(a bi) con lo cual a + bi y a bi son primos. Para la
afirmaci
on 3 consideremos un primo racional p de la forma 4n + 3 y supongamos
que
p = (a + bi)(c + di)
con N(a + bi) > 1 y N(c + di) > 1. Claramente la igualdad
N(p) = p2 = (a2 + b2 )(c2 + d2 )
implica que p = a2 + b2
o p = c2 + d2 lo cual es imposible para un primo racional
de esta forma. Por lo tanto p es primo. Solo nos queda mostrar que estos son
todos los primos. Sea cualquier primo. Entonces
r
s 1 2
1 2
N() =
= 2 p
1 p2 ps q1 q2 qr
= (1 + i) (1 i) 11 1 1 22 2 2 ss s s q11 qrr .
En virtud de la unicidad de la factorizaci
on tenemos que es asociado de
alg
un primo de la lista
1 + i, 1 i, 1 , 1 , . . . , s , s , q1 , . . . , qr .
Por lo tanto, cualquier primo de Z[i] es alguno de los considerados en este
teorema.
Ejemplo 4.3.5. 23 es primo en Z[i].
Ejemplo 4.3.6. 17 = 42 + 12 = (4 + i)(4 i) y por lo tanto 4 + i y 4 i son
primos gaussianos.
Ejemplo 4.3.7. 29 = 52 + 22 = (5 + 2i)(5 2i). Por tanto 5 + 2i y 5 2i son
primos en Z[i].
Ejemplo 4.3.8. 3 es primo en Z[i].
104
4.4. Factorizaci
on explcita de un entero gaussiano
La parte final de este captulo consiste en desarrollar un metodo por medio
del cual se pueda dar la factorizaci
on explcita de un gaussiano.
Sea N(z) = n. Cualquier factor primo del n
umero z es un factor primo de su
norma n = z z. Los factores primos gaussianos del entero n pueden encontrarse
f
acilmente obteniendo sus factores primos racionales.
Sea
s
r 1
1 2
(1)
n = 2 p
1 p2 pr q1 qs ,
donde los pi y qj son primos racionales de la forma 4n+1 y 4n+3 respectivamente.
Si pi = i i con i = 1, . . . , r, entonces
n = (i) (1 i)2 11 1 1 22 2 2 rr r r q11 qss .
(2)
(3)
n = N(z) = 2 p1 1
a +a0r 21 22
q1 q2
pr r
qs2s .
Nuestro trabajo a
un est
a incompleto pues solo hemos encontrado los exponentes de los primos racionales de la forma 4n + 3. Para obtener la factorizacion
completa de z debemos determinar los n
umeros aj , a0j .
k
4.4.
105
aj = kj
a0j = j kj .
Demostraremos esta afirmaci
on. Seg
un nuestra definicion de kj tenemos que
z
no puede ser dividido simult
aneamente por j y j porque si esto sucediera y
k
pj j
z
k +1
debido a que mcd(,
) = 1, entonces j j debe dividir a kj , es decir pj j | z.
pj
z
z
Resumiendo, si j es divisor de kj , entonces j no es divisor de kj . Por otro
pj
pj
si
pj j j - z
entonces,
z = i 1a1 1 a1 2a2 2 a2 ,
donde 1 = 2 + 3i, 1 = 2 3i, 2 = 4 + 5i, 2 = 4 5i. Solo nos falta encontrar
los exponentes a1 , a01 , a2 , a02 . Como p1 - z y p2 - z, entonces k1 = k2 = 0. Ahora
veamos si 1 | z
o 1 | z:
22 + 7i
z
=
= 5 4i,
1
2 + 3i
as que 1 - z y por lo tanto a1 = 1 y a01 = 0. Analogamente, de la igualdad
z
22 + 7i
=
= 3 2i
2
4 + 5i
se obtiene que 2 - z y por tanto a2 = 1 0 y a02 = 0. Hasta ahora tenemos la
siguiente expresi
on
z = i (2 + 3i)(4 + 5i).
Con una simple divisi
on vemos que = 3 y as z = i3 (2 + 3i)(4 + 5i).
106
z = i (1 + i)1a1 1 a1 2a2 2 a2
donde 1 = 1 + 2i, 1 = 1 2i, 2 = 2 + 3i y 2 = 2 3i. Puesto que 5 - z y
13 - z, entonces k1 = k2 = 0. Adem
as 1 - z y 2 - z, as que a1 = 0, a01 = 2,
0
a2 = 0 y a2 = 1. Por lo tanto
z = i (1 2i)2 (2 3i)(1 + i).
Con una simple divisi
on llegamos a que
z
= 1,
2
(1 2i) (2 3i)(1 + i)
y por tanto = 2 y z = i2 (1 2i)2 (2 3i)(1 + i).
PROBLEMAS
1. Sigue la demostraci
on del teorema 4.1.1 para encontrar el cociente y el residuo en
las siguientes parejas de enteros gaussianos:
a) 2 4i y 7 32i.
b) 5 + i y 9 + 2i.
c) 13 + 4i y 1 i.
d) 21 i y 5 i.
2. Demuestra el teorema 4.1.3.
3. Demuestra que:
a) z z = a2 + b2 .
b) z1 z2 = z1 z2 .
c) N(z) = 0 si y solo si z = 0.
d) N(z1 z2 ) = N(z1 )N(z2 ).
4. Demuestra el corolario 4.1.14.
5. Muestra que un entero gaussiano diferente de 0 solo tiene un n
umero finito de
divisores.
6. Muestra que Z solo tiene dos unidades.
7. Cu
ales de las siguientes parejas son asociados?
a) 3 + 4i y 4 + 3i.
b) 4 + 7i y 4 + 7i.
c) i y 1.
8. Muestra que mcd(z, w) es el divisor en com
un de norma mayor.
9. Calcula el mcd de:
4.4.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
107
a) 1 + i y 1 i.
b) 13 + 4i y 4 + 5i.
c) 21 i y 5 i.
Muestra que z, w son primos relativos si y solo si existen a1 , a2 Z[i] tal que
a1 z + a2 w = u donde u es alguna unidad de Z[i].
Demuestra el teorema 4.1.18.
En el algoritmo de la divisi
on muestra que k y no necesariamente son u
nicos.
Resuelve en Z[i] la ecuaci
on N(z) = 2.
Sean p un primo racional de la forma 4n + 1 y p =
su factorizaci
on en Z[i].
Muestra que y
son primos relativos.
Deduce el algoritmo de la divisi
on de Z a partir del algoritmo de la divisi
on de Z[i].
Muestra que la funci
on norma no es suprayectiva.
Factoriza los siguientes enteros gaussianos:
a) 12 + 3i
b) 4 2i
c) 10 + 100i
d) 14 34i
En general no es cierto que si z = x + yi y z = x yi, entonces z y z son primos
relativos. Encuentra un ejemplo.
Sea Z[i] un primo gaussiano. Muestra que divide exactamente a un primo
racional.
Sean = 1 + 2i y = 1 + i.
a) Muestra que mcd(, ) = 1.
b) Usando el lenguaje de las congruencias, demuestra que (1+i)N()1 1 (mod 5)
c) (1 + i)N()1 1 (mod )
d) Observa que 1 + i es un primo gaussiano y la afirmaci
on (1 + i)N()1 1
(mod ) sugiere una generalizaci
on del Teorema Peque
no de Fermat.
e) Usando el lenguaje de las congruencias, muestra que cualquier entero gaussiano
es congruente con 0 o
1 m
odulo 1+i. Sugerencia: a+bi ab (mod 1+i) porque
i 1 (mod 1 + i). Ahora reduce m
odulo 2 y considera que 2 = (1 + i)(1 i).
La tabla 1 muestra los factores Gaussianos irreducibles de los primeros 16 primos
racionales de la forma 4n + 1 junto con sus conjugados. Por ejemplo, en la primera
entrada del primer y segundo rengl
on aparecen los factores de 5 = (2 + i)(2 i) y
enseguida sus conjugados. Grafica en el plano complejo todos estos primos y observa
c
omo est
an distribuidos. Se nota alguna regularidad en su distribuci
on?
108
1
2+i
2i
3 + 2i
3 2i
4+i
4i
5 + 2i
5 2i
6+i
6i
5 + 4i
5 4i
7 + 2i
7 2i
6 + 5i
6 5i
8 + 3i
8 3i
8 + 5i
8 5i
9 + 4i
9 4i
10 + i
10 i
10 + 3i
10 3i
8 + 7i
8 7i
11 + 4i
11 4i
10 + 7i
10 7i
1
2 i
2 + i
3 2i
3 + 2i
4 i
4 + i
5 2i
5 + 2i
6 i
6 + i
5 4i
5 + 4i
7 2i
7 + 2i
6 5i
6 + 5i
8 3i
8 + 3i
8 5i
8 + 5i
9 4i
9 + 4i
10 i
10 + i
10 3i
10 + 3i
8 7i
8 + 7i
11 4i
11 + 4i
10 7i
10 + 7i
i
1 + 2i
1 + 2i
2 + 3i
2 + 3i
1 + 4i
1 + 4i
2 + 5i
2 + 5i
1 + 6i
1 + 6i
4 + 5i
4 + 5i
2 + 7i
2 + 7i
5 + 6i
5 + 6i
3 + 8i
3 + 8i
5 + 8i
5 + 8i
4 + 9i
4 + 9i
1 + 10i
1 + 10i
3 + 10i
3 + 10i
7 + 8i
7 + 8i
4 + 11i
4 + 11i
7 + 10i
7 + 10i
Tabla 1
i
1 2i
1 2i
2 3i
2 3i
1 4i
1 4i
2 5i
2 5i
1 6i
1 6i
4 5i
4 5i
2 7i
2 7i
5 6i
5 6i
3 8i
3 8i
5 8i
5 8i
4 9i
4 9i
1 10i
1 10i
3 10i
3 10i
7 8i
7 8i
4 11i
4 11i
7 10i
7 10i
Captulo
Grupos
5.1. Grupos y subgrupos
En este u
ltimo captulo estudiaremos una de las estructuras algebraicas mas
importantes y bellas en la matem
atica moderna: los grupos. Hace aproximadamente 150 a
nos, el concepto de grupo ya lo manejaba Galois, aunque a
un no se
haba dado la definici
on formal. En ese entonces, el interes era el estudio de las
relaciones algebraicas o aritmeticas por medio de sustituciones (hoy permutaciones) de las races de una ecuaci
on polinomial y es as como nace el concepto de
grupo. Con el paso del tiempo otras disciplinas como la fsica y la qumica, han
encontrado en la teora de grupos una herramienta fundamental para su desarrollo.
He decidido introducir el concepto de grupo por medio de una lista de
axiomas, para despues brindar al lector una variedad de ejemplos que ocurren
con sorprendente frecuencia en casi toda la matematica. Reconozco que esta
manera de hacerlo es fra y tal vez va en contra de la propia filosofa del trabajo
matem
atico: en matem
aticas no inventamos ideas y despues las estudiamos, sino
al contrario, a partir de ejemplos o casos especiales comenzamos a crear una teora.
A manera de justificaci
on, introduzco el concepto de grupo de manera axiomatica
porque tramposamente ya se lo que viene: la teora ya esta desarrollada, al menos
la que quiero presentarles. Pero si el lector desea deleitarse con el estudio de las
simetras de un cuadrado a manera de introduccion al concepto de grupo, puede
ir directamente a la secci
on 5.9 y de todas formas regresara aqu.
Sea A un conjunto no vaco. Una operaci
on binaria sobre A es simplemente
una funci
on f : A A A. Esta operaci
on binaria es com
un llamarla producto
o suma, seg
un sea el conjunto A. Si f es un producto entonces f ((x, y)) es el
producto de x, y y en este caso escribiremos f ((x, y)) = xy. Si f es la suma,
109
110
5. GRUPOS
111
derecha son v
alidas. Podemos intentar resolver algunas ecuaciones sencillas en un
grupo:
Teorema 5.1.2. Sean G un grupo y a, b G. La ecuaci
on ax = b tiene
soluci
on u
nica.
n. Sea x = a1 b. Es claro que este valor de x resuelve nuestra
Demostracio
ecuaci
on. Para ver que x es u
nica suponemos que existe alguna y G tal que
ay = b. Por la ley de cancelaci
on por la izquierda la igualdad ay = ax = b implica
que x = y.
Teorema 5.1.3. Si G es un grupo y a, b G, entonces (ab)1 = b1 a1 .
n. Es claro que (ab)(ab)1 = e y tambien
Demostracio
(b1 a1 )(ab) = b1 (a1 a)b = b1 (e)b = b1 b = e,
as que por la unicidad del elemento inverso necesariamente (ab)1 = b1 a1 .
112
5. GRUPOS
n
=
.
(1) (2) (n)
El conjunto Sn es un grupo en donde la operacion es la composicion usual de
funciones y el neutro es precisamente la funcion identidad, la cual denotaremos
como . Si Sn es tal que (i) = j, entonces 1 es la funcion inversa de
tal que 1 (j) = i. Si n > 2, entonces Sn es un grupo no abeliano. A los
elementos de Sn los llamaremos permutaciones. Mas adelante dedicaremos una
secci
on de este trabajo al estudio del grupo Sn , tal vez el mas importante de todos
los grupos.
Ejemplo 5.1.10. R2 es un grupo abeliano con la suma usual de parejas
ordenadas y donde e = (0, 0), (a, b)1 = (a, b). Existira otra operacion
en R2 de tal forma que R2 tenga estructura de grupo? .
Ejemplo 5.1.11. Sea R2 = {(x, y) : x, y R} el plano euclidiano. Un movimiento de R2 es una funci
on biyectiva f : R2 R2 . El conjunto de movimientos
2
de R forma un grupo G no abeliano con operacion binaria la composicion usual
de funciones. El grupo G se conoce como el grupo de movimientos de R2 .
113
ces
La operaci
on de grupo en GL(2, R) es el producto usual de matrices (recuerde que
el
producto
de matrices invertibles es invertible) donde e es la matriz identidad
1 0
. Los elementos de GL(2, R) consecuentemente se denominan movimien0 1
tos lineales de R2 .
Ejemplo 5.1.13. Grupo Lineal Especial. Consideremos el conjunto de matrices
SL(2, R) = {(aij ) GL(2, R) : det(aij ) = 1}.
Con el producto usual de matrices SL(2, R) es un grupo en donde el neutro es la
matriz identidad.
Ejemplo 5.1.14. Grupo de Traslaciones. Sean a, b R. Definimos la funcion
Ta,b : R2 R2 como Ta,b (x, y) = (x + a, y + b). Si Ta,b (x, y) = Ta,b (x0 , y 0 ),
entonces de la definici
on de Ta,b se sigue que x = x0 , y = y 0 . As que, Ta,b es una
funci
on inyectiva. Claramente Ta,b es suprayectiva. Sea T (R2 ) = {Ta,b | a, b R}.
Entonces T (R2 ) es un grupo con la composici
on usual de funciones, donde e es la
funci
on T0,0 . Los elementos de T (R2 ) se conocen con el nombre de traslaciones
de R2 . Podemos visualizar geometricamente una traslacion como un movimiento
de todo el plano euclideano a traves de un vector cuyo punto inicial es (0, 0) y
punto final (a, b).
Ejemplo 5.1.15. Grupo booleano. Sea A 6= un conjunto. Consideremos
el conjunto formado por los subconjuntos de A, el cual denotaremos como
P (A) = {X A}. El conjunto P (A) es conocido con el nombre de conjunto
potencia de A. La funci
on f : AA A definida como f (X, Y ) = (X\Y )(Y \X)
es una operaci
on binaria en P (A). Observamos que f (, X) = X para cualquier
X P (A). Tambien f (X, Y ) = f (Y, X) y f (X, X) = . De cursos elementales de
114
5. GRUPOS
0 0
..
e = ...
.
0
a11
a21
..
.
am1
1
a1n
a11
a21
a2n
.. = ..
.
.
amn
am1
a1n
a2n
..
.
amn
f : (G G0 ) (G G0 ) G G0
como f ((g, g 0 ), (h, h0 )) = (gh, g 0 h0 ), donde obviamente g, h G y g 0 , h0 G0 .
Entonces f es una operaci
on binaria en G G0 y con simple inspeccion se observa
0
que G G es un grupo con e = (eG , eG0 ) y (x, y)1 = (x1 , y 1 ), donde eG y
eG0 denotan el neutro de G y G0 respectivamente. El grupo G G0 se conoce
con el nombre de producto directo externo de los grupos G, G0 . Mas adelante
regresaremos al estudio de estos grupos.
Ejemplo 5.1.20. Si V es un espacio vectorial sobre un campo K, entonces V
es un grupo abeliano con la suma usual de vectores.
115
j 1 = j,
k 1 = k,
11 = 1.
116
5. GRUPOS
Con la definici
on de subgrupo a la mano, es natural preguntarse si cualquier
grupo G contiene subgrupos. Cualquier grupo contiene al menos dos subgrupos:
{e} y G. Estos dos subgrupos se conocen como los subgrupos triviales de G.
Pr
acticamente la definici
on de subgrupo es la misma que la definicion de
grupo: son exactamente tres axiomas. El siguiente resultado de esta seccion es
un criterio para identificar cu
ando un subconjunto no vaco del grupo G es un
subgrupo de G.
Teorema 5.1.23. Sean G un grupo y =
6 H G. Entonces H G si y solo
si para a, b H se tiene que ab1 H.
n. Si H es subgrupo de G, entonces para a, b H se tiene
Demostracio
que a, b1 H y por lo tanto ab1 H. Supongamos ahora que todo par de
elementos a, b H satisface ab1 H. En particular, e = aa1 H. Por tanto,
e, b H implica b1 = eb1 H. Finalmente, como b1 H, tenemos que
a(b1 )1 = ab H. As H G.
Corolario 5.1.24. Sean G un grupo y =
6 H G. Si H es finito y cerrado
bajo productos, entonces H G.
n. Solo tenemos que verificar que si a H, entonces a1 H.
Demostracio
Sea a H. Consideremos el conjunto
Ca = {am : m N}.
Por hip
otesis, H es cerrado bajo productos. As que Ca H. Por ser H
finito tenemos que ai = aj para ciertos enteros distintos i, j N. Sin perdida de
generalidad, podemos elegir i > j de tal forma que i j 1 > 0. Por lo tanto
aij = e y a1 = aij1 Ca H.
La condici
on H finito en el corolario 5.1.24 es necesaria. Por ejemplo, en el
grupo multiplicativo de los n
umeros racionales Q , el subconjunto H = {2n + 1 :
n Z} es infinito y cerrado bajo productos, pero no es subgrupo de Q .
Ejemplo 5.1.25. El grupo aditivo de los n
umeros racionales Q es subgrupo
de los grupos R y C.
Ejemplo 5.1.26. Sean n N y nZ = {nx : x Z}. Entonces nZ Z.
Ejemplo 5.1.27. Sean Z8 = {0, 1, ..., 7} y H = {0, 4}. Entonces H < Z8 .
117
1
0
b
: b R es subgrupo del grupo
1
2
3
3
2
es un subgrupo de S3 .
n. Es un f
Demostracio
acil ejercicio para el lector.
118
5. GRUPOS
119
120
5. GRUPOS
121
ah = bh2 h1
1 h bH. De esta forma aH bH. El mismo argumento nos lleva a
justificar que bH aH. Por tanto aH = bH.
Resumiendo, tenemos que dos clases izquierdas son ajenas o son iguales. De
acuerdo al lema anterior, el lector debe notar que el conjunto de clases izquierdas
{aH}aG produce una partici
on del grupo G. Lo anterior significa:
1. Cada
[ clase aH 6= pues al menos a aH.
2.
aH = G.
aG
2H = {2, 4, 1},
3H = {3, 6, 5}
4H = {4, 1, 2},
5H = {5, 3, 6},
6H = {6, 5, 3}.
1 + 6Z = {1 + 6n : n Z},
2 + 6Z = {2 + 6n : n Z},
3 + 6Z = {3 + 6n : n Z},
4 + 6Z = {4 + 6n : n Z},
5 + 6Z = {5 + 6n : n Z},
6 + 6Z = {6 + 6n : n Z},
7 + 6Z = {7 + 6n : n Z},
8 + 6Z = {8 + 6n : n Z}.
Observamos que algunas clases se est
an repitiendo, por ejemplo
0 + 6Z = 6 + 6Z,
1 + 6Z = 7 + 6Z,
2 + 6Z = 8 + 6Z.
122
5. GRUPOS
123
124
5. GRUPOS
125
126
5. GRUPOS
A4 =
n 1
1
2
2
3
3
1
4
2
2
3
1
1
3
2
1
3
2
4
1
,
4
1
4
1
,
3
2
4
1
,
4
4
2
3
3
4
2
4
3
3
2
3
3
2
4
1
,
2
1
4
1
,
1
4
4
1
,
1
3
2
4
3
2
2
1
3
3
2
4
3
1
4
1
,
3
3
4
1
,
2
2
4
1
,
2
2
2
2
3
4
2
3
3
1
2
1
3
4
4
,
1
4
,
4
o
4
3
127
128
5. GRUPOS
129
130
5. GRUPOS
131
n
Y
Ai = {a1 a2 an : ai Ai }.
i=1
a2 a1 an pueden ser diferentes pues no
132
5. GRUPOS
n 1 2 3 1 2 3 o
Ejemplo 5.2.3. Con el subgrupo H =
,
S3 y
1 2 3
3 2 1
1 2 3
la permutaci
on =
, tenemos
2 3 1
n 1 2 3 1 2 3 o n 1 2 3 1 2 3 o
H =
,
6=
,
= H
2 3 1
1 3 2
2 3 1
2 1 3
y por tanto H 6 S3 .
En el lenguaje de las clases izquierdas y derechas estamos afirmando que
H / G si la clase izquierda aH coincide con la clase derecha Ha para todo a G.
El siguiente resultado puede resultar de gran utilidad para identificar subgrupos
normales.
Teorema 5.2.4. H / G si y solo si aHa1 H para todo a G.
n. Si H / G, entonces para todo a G, aH = Ha. Sea
Demostracio
ah aH = Ha. Entonces existe h1 H tal que ah = h1 a. Por tanto
aha1 = h H. Recprocamente, supongamos aHa1 H para todo a G. Es
suficiente mostrar que H aHa1 . Sea h H. Puesto que a1 ha a1 Ha H,
entonces
h = a(a1 ha)a1 aHa1
y as H aHa1 . Por tanto H = aHa1 y H / G.
Una reinterpretaci
on del lema 5.2.2 es que el producto de dos clases izquierdas
es una clase izquierda.
Corolario 5.2.5. Si H / G, entonces para a, b G se tiene que
(aH)(bH) = abH.
n. (aH)(bH) = a(Hb)H = a(bH)H = abH.
Demostracio
133
2 H = 5 H,
4 H = 6 H.
134
5. GRUPOS
Observamos que
jhii = hiij = (j)hii = hii(j) = khii = hiik
= (k)hii = hii(k) = {k, j, k, j},
135
136
5. GRUPOS
3. Si a G, entonces aH = Ha.
4. Los siguientes conjuntos coinciden: {aH : a G} = {Ha : a G}.
5. Para a G, se cumple que aHa1 H.
n. Se deja como ejercicio para el lector.
Demostracio
En la siguiente secci
on estudiaremos otras caracterizaciones de los subrupos
normales.
PROBLEMAS
1. Consideremos S3 = {1 , 2 , 3 , 4 , 5 , 6 } como en el ejemplo 5.2.7.
a) Muestra que o(2 ) = 2, o(3 ) = 2, o(4 ) = 2, o(5 ) = 3, o(6 ) = 3.
b) Muestra que H = {1 , 2 } 6 S3 .
2. En S3 considera los subgrupos N = {1 , 2 } y K = {1 , 3 } tal como en el ejemplo
5.2.7. Prueba que HK no es subgrupo de S3 .
3. Sea H G. Muestra que si xy 1 H, entonces xH = yH.
4. Prueba que si H G y n N, entonces H n = HH H = H.
5. Considera el grupo aditivo de los enteros Z y el subgrupo 3Z. Muestra que
o(Z/3Z) = 3.
6. Muestra que si n N, entonces o(Z/nZ) = n.
7. Muestra que Z/nZ = Z/(n)Z.
8. Sean G y K grupos. Considera el producto directo G K como en el ejemplo
5.1.19. Escribimos G0 = {(g, eK ) : g G} y G1 = {(eG , g1 ) : g1 K} donde eG es
la identidad de G y eK es la identidad de K. Muestra que G0 / G K y G1 / G K.
Describe G K/G0 y G K/G1 .
9. Sean G y K grupos. Si N / G y H / K, entonces N H / G K.
10. Considera el grupo aditivo de los n
umeros racionales Q. Muestra que Z / Q y Q/Z
es un grupo infinito en el cual todo elemento es de orden finito.
11. Sean p un n
umero primo y
o
na
+ Z Q/Z : b = pi para alg
un i N .
Z(p ) =
b
Muestra que Z(p ) es un subgrupo de Q/Z y
Z(p ) =<
1
+Z:nN>.
pn
137
a b
13. Sean G =
: ad 6= 0 con operaci
on de grupo el producto usual de matrices
0 d
1 b
yH=
. Muestra que:
0 1
a) H / G.
b) G/H es un grupo abeliano.
14. Sea G un grupo abeliano. Si H G, entonces H / G.
15. Considera el grupo Q8 como en el ejemplo 5.2.10.
a) Encuentra los subgrupos cclicos hji, hki, h1i de Q8 .
b) Demuestra que hji, hki, h1i / Q8 .
c) Demuestra que los subgrupos de Q8 son:{1}, h1i, hii, hji, hki, Q8 .
d) Encuentra el orden de los subgrupos de Q8 .
e) Observa que todos los subgrupos propios de Q8 son cclicos.
16. Sean G un grupo y a, b G. Definimos el conmutador de a, b como [a, b] = aba1 b1 .
El subgrupo conmutador de G es [G, G] = h[a, b] : a, b Gi. Muestra que:
a) [G, G] / G.
b) G/[G, G] es un grupo abeliano.
c) G es abeliano si y solo si [G, G] = {eG }.
d) Si H / G y G/H es abeliano, entonces [G, G] H.
17. Sean G = S3 S3 y H = {1 , 5 , 6 } como en el ejemplo 5.2.7. Muestra que:
a) H H es un grupo abeliano.
b) H H / G.
c) Si K = {(1 , 1 ), (5 , 5 ), (6 , 6 )}, entonces K / H H, pero K 6 G.
18. Completa la demostraci
on del corolario 5.2.6.
19. Si N / G y M / G, entonces N M / G. M
as a
un, si N < G y M / G, entonces
N M / N.
20. Sea G = GL(2, R). Muestra que [G, G] = SL(2, R).
21. Muestra que si [G : H] = 2, entonces H / G.
138
5. GRUPOS
139
entonces la funci
on c : G R definida como c (f ) = f (c) es un epimorfismo
de grupos.
Ejemplo 5.3.11. Sean G un grupo y a G un elemento fijo. La funcion
f : G G definida como f (x) = axa1 es un isomorfismo de grupos. El
isomorfismo f se llama automorfismo interior de G.
Ejemplo 5.3.12. Si G es un grupo y H /G, la funcion : G G/H definida
como (a) = aH, es un epimorfismo de grupos. El epimorfismo se conoce como
el homomorfismo natural entre G y G/H.
A continuaci
on estudiamos algunas de las propiedades basicas de los homomorfismos.
Teorema 5.3.13. Si f : G G1 es un homomorfismo y eG , eG1 son los
neutros de G y G1 respectivamente, entonces:
1. f (eG ) = eG1 .
2. f (x1 ) = f (x)1 .
3. Si H G, entonces f (H) G1 .
4. Si ker(f ) = {x G : f (x) = eG1 }, entonces ker(f ) / G.
n. Observamos que f (eG ) = f (eG eG ) = f (eG )f (eG ), as por
Demostracio
cancelaci
on, f (eG ) = eG1 . Para la afirmaci
on 2 tenemos la igualdad
f (xx1 ) = f (x)f (x1 ) = eG1 .
Por la unicidad del inverso, necesariamente f (x1 ) = f (x)1 . Para la afirmacion
3 consideremos H G. Entonces f (H) = {f (a) : a H}. Para f (a), f (b) f (H)
tenemos que
f (a)f (b)1 = f (a)f (b1 ) = f (ab1 ) f (H),
por lo tanto f (H) G1 . Para la afirmaci
on 4, primero observamos que si
b ker(f ), entonces f (b) = eG1 y
f (b1 ) = f (b)1 = (eG1 )1 = eG1 ,
as b1 ker(f ). Adicionalmente, si a ker(f ), entonces f (ab1 ) = f (a)f (b1 ) =
eG1 , de donde ab1 ker(f ). Por consiguiente ker(f ) G. Lo anterior significa
que un homomorfismo de grupos manda subgrupos en subgrupos. Para la
afirmaci
on 4 sean a ker(f ) y g G. Entonces f (gag 1 ) = f (g)f (a)f (g 1 ) =
eG1 . Por lo tanto g ker(f )g 1 ker(f ) y ker(f ) / G.
140
5. GRUPOS
141
Notemos que si H es el n
ucleo de alg
un homomorfismo de grupos f : G G1 ,
entonces por la afirmaci
on 4 del teorema 5.3.13 H / G.
Teorema 5.3.17 (Primer teorema de isomorfismos). Sea f : G G1
homomorfismo de grupos. Entonces G/ ker(f ) f (G).
n. La idea de la prueba es proporcionar un isomorfismo :
Demostracio
G/ ker(f ) f (G). Cu
ales son los ingredientes con los que contamos?. El
siguiente diagrama nos proporciona una idea clara de lo que pretendemos:
f
G
- f (G) G1
@
@
@
R
@
G/ ker(f )
Escribimos N = ker(f ) y definimos : G/N f (G) como (gN ) = f (g).
Primero veamos que es una funci
on bien definida, es decir, si gN = g1 N,
entonces f (g) = f (g1 ). En efecto, si gN = g1 N, tenemos que g11 gN = N y por
tanto g11 g N, as f (g11 g) = f (g1 )1 f (g) = eG1 . Por lo anterior f (g1 ) = f (g).
Ahora observamos que
(gN ) = f (g) = f (g1 ) = (g1 N )
y de esta forma no depende de g sino de la clase lateral gN . El argumento
anterior nos est
a afirmando que es realmente una funcion. En matematicas es
com
un decir que est
a bien definida. Vea el parrafo que precede al corolario
5.2.6.
142
5. GRUPOS
143
Como aplicaci
on del lema anterior tenemos el siguiente resultado:
Corolario 5.3.25. Sean G un grupo y H, K G. Si H / G, entonces
HK G.
n. La hip
Demostracio
otesis H / G implica que kH = Hk para k K. Por
tanto
[
[
Hk = HK.
KH =
kH =
kK
kK
144
5. GRUPOS
145
La f
ormula del producto es v
alida en general, es decir, sin la hipotesis N / G.
Vea el problema 23 de la siguiente secci
on de problemas.
El tercer teorema de isomorfismos viene siendo un analogo a una propiedad
de las fracciones de n
umeros reales.
Teorema 5.3.29 (Tercer teorema de isomorfismos). Si K /G, H /G y K H,
entonces H/K / G/K y (G/K)/(H/K) G/H.
n. Claramente H/K G/K. Veamos que H/K es un subDemostracio
grupo normal de G/K. Sean aK G/K y hK H/K. Entonces
aK(hK)a1 K = aKK(ha1 K) = aK(ha1 K) =
K(aha1 K) = aha1 K H/K
pues aha1 H. As que H/K / G/K. Finalmente, definimos f : G/K G/H
como f (aK) = aH. Veamos que f es una funcion bien definida. Si aK = bK,
entonces b1 aK = K y b1 a K H. Por tanto b1 aH = H y aH = bH.
Verificar que f es epimorfismo es f
acil, pues si aH G/H, entonces aK G/K
y f (aK) = aH. Ahora calculemos el n
ucleo de f :
ker(f ) = {aK : f (aK) = aH = H} = {aK : a H} = H/K.
Aplicando el primer teorema de isomorfismos se sigue el resultado.
146
5. GRUPOS
PROBLEMAS
1. Proporciona un ejemplo de un grupo G y un subgrupo propio H de G tal que G H.
2. Sean G un grupo y H1 , H2 subgrupos normales de G tales que G/H1 G/H2 .
Existe alguna relaci
on entre H1 y H2 ?
3. En S3 considera los subgrupos H = {1 , 2 } y K = {1 , 3 }. Prueba que HK no
es subgrupo de S3 .
4. En el grupo C la ecuaci
on xn = 1 tiene n-soluciones distintas para cada n N.
Consideremos el grupo cclico Z18 . Para que valores de n la ecuaci
on xn = 1 tiene
soluci
on?
5. Sea f : G G1 un isomorfismo de grupos. Demuestra que:
a) Si G es abeliano, entonces G1 es abeliano.
b) Si G es cclico entonces G1 es cclico.
c) Si o(G) = n, entonces o(G1 ) = n.
d) Si G es finito y H1 G1 es de orden d, entonces H = f 1 (H1 ) G y o(H) = d.
6. Muestra que S3 y Z6 no son isomorfos.
7. Sea f : G G1 un homomorfismo de grupos.
a) Si f es monomorfismo, entonces o(f (a)) = o(a).
b) Si f es homomorfismo y o(a) < , entonces o(f (a)) | o(a).
8. Sea f : G G1 homomorfismo de grupos. Si H1 / G1 y H = {x G : f (x) H1 },
entonces H / G.
9. Sea f : G G1 un epimorfismo de grupos con ker(f ) = K. Sean N1 / G1 y
N = {x G : f (x) N1 }. Muestra que G/N G1 /N1 . A partir de esta afirmaci
on
deduce el tercer teorema de isomorfismos.
10. Demuestra el teorema de Poincare en su forma general: si G es un grupo finito y
K H G, entonces [G : K] = [G : H][H : K]. Nota: no es posible usar el tercer
teorema de ismorfismos porque no se asume la hip
otesis H / G y K / H.
11. Considera el grupo de Klein de orden 4
n 1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4 o
V4 =
,
,
,
.
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
12.
13.
14.
15.
147
22.
23.
24.
25.
148
5. GRUPOS
149
entonces la funci
on f : H K G definida como f (x, y) = xy es un
isomorfismo.
n. Sean (x, y), (x1 , y1 ) H K.
Demostracio
tenemos que
Usando la condicion 3
150
5. GRUPOS
n. Siga la demostraci
Demostracio
on del teorema 5.4.1.
mn
mn
=
=m
mcd(mn, n)
n
o(K) = o(am ) =
mn
mn
=
= n.
mcd(mn, m)
m
Vamos a mostrar que los subgrupos H, K cumplen las hipotesis del teorema 5.4.1.
Si g H K, entonces por el teorema de Lagrange 5.1.49 o(g) | m y o(g) | n. Por
hip
otesis, existen enteros x, y tales que mx + ny = 1. Por tanto o(g) | mx + ny
y as o(g) = 1 y g = e. De lo anterior, H K = {e}. Sea g = ar G. Puesto
que mx + ny = 1, tenemos mxr + nyr = r y g = ar = (am )xr (an )yr , donde
(am )xr K y (an )yr H. Si escribimos h = (an )yr y k = (am )xr , entonces
G = HK. Finalmente, como G es abeliano, xy = yx para todo x H, y K.
Por tanto G H K. Puesto que H es cclico de orden m y K es cclico de
orden n, entonces H Zm y K Zn . De esta forma obtenemos el resultado.
s
1 2
Corolario 5.4.6. Si G es un grupo cclico de orden n=p
y
1 p2 ps
s
mcd(pi , pj ) = 1 para i 6= j, entonces G Zp1 1 Zp2 2 ... Zps .
n. Es un f
Demostracio
acil ejercicio de induccion.
Ejemplo 5.4.7. Z14 Z2 F7 .
Ejemplo 5.4.8. Z21 F3 F7 .
Ejemplo 5.4.9. Z18 F2 Z32 .
Lema 5.4.10. Si G es cclico y H G, entonces G/H es cclico.
151
152
5. GRUPOS
153
Para ver que los subgrupos hg0 i y hg1 , g2 , . . . , gs i satisfacen la condicion 2 del
teorema 5.4.1 observamos que hg0 ihg1 , g2 , . . . , gs i G. Para la otra contencion
sea g G. Entonces
gH0 = (g1 H0 )n1 (g2 H0 )n2 (gs H0 )ns = g1n1 g2n2 gsns H0
y como g gH0 tenemos que g = g0n0 g1n1 gsns ; de esta manera G hg0 ihg1 , . . . ,
gs i. Por lo tanto G = hg0 ihg1 , g2 , . . . , gs i. La condicion 3 del teorema 5.4.1 la
satisfacen los subgrupos hg0 i y hg1 , g2 , . . . , gs i pues G es abeliano. As
G hg0 i hg1 , . . . , gs i.
La parte final de la demostraci
on es f
acil puesto que hg1 , . . . , gs i es un grupo
abeliano de orden menor que n, entonces por hipotesis de induccion hg1 , . . . , gs i
hx1 i hxt i y por tanto
G hg0 i hx1 i hxt i.
a
pi i,m
154
5. GRUPOS
155
j,r
pj
5Augustin Luis Cauchy nace el 21 de agosto de 1789 en Paris, Francia. Produjo 789
trabajos en matem
aticas que en 1970 fueron publicados en 27 vol
umenes. Su nombre est
a
indisolublemente ligado al c
alculo diferencial e integral, a las ecuaciones diferenciales, a la teora
de las funciones de variable compleja. Fue el primero en hacer un estudio riguroso sobre las
condiciones de convergencia de series infinitas y tambien es el primero en dar una definici
on
rigurosa de la integral. Su c
elebre texto COURS DANALYSE lo escribe para sus estudiantes
y es ah donde, de manera rigurosa, trata temas fundamentales del c
alculo. En tan solo un
a
no (1845 -1846), Cauchy escribe 25 artculos sobre sustituciones, concepto previo al de grupo.
Muere el 23 de mayo de 1857 cerca de Paris.
156
donde j =
5. GRUPOS
rj
X
j,i . Escribimos j =
i=1
rj
X
0
0
j,i
, para 0 j,i
j,i . Definimos
i=1
o(Hj ) = pj
i=1
0j,i
= pj j .
PROBLEMAS
1. Muestra que si G1 G2 es un grupo cclico, entonces G1 y G2 son cclicos. Es
cierto que si G1 y G2 son cclicos, entonces G1 G2 es cclico?
2. Sean G1 , G2 , . . . , Gn grupos y Sn . Muestra que
G1 Gn G(1) G(n) .
3. Supongamos que G H K es un producto directo interno. Demuestra que H / G
y K / G.
4. Demuestra el corolario 5.4.4.
5. Demuestra el corolario 5.4.6.
6. Escribe todos los elementos y su tabla de multiplicar para cada uno de los siguientes
grupos:
a) Z2 Z3 .
b) Z3 Z5 .
c) Z2 Z4 .
7. En el espacio vectorial Rn sobre el campo R, considera los siguientes subconjuntos:
H = {(0, x2 , . . . , xn ) : xi R}, K = {(x1 , 0, . . . , 0) : x1 R}.
Muestra que H, K / Rn . Aplica el teorema 5.4.1 para concluir que Rn H K.
8. Muestra que Zm Zm no es isomorfo a Zm2 .
9. Sean G un grupo y D = {(g, g) : g G}. Muestra que:
157
158
5. GRUPOS
21. Sea (a, b) Zn Zm con o(a) = r y o(b) = s. Demuestra que o((a, b)) = mcm(r, s).
En particular, si hai = Zn y hbi = Zm y mcd(n, m) = 1, entonces h(a, b)i = Zn Zm
es cclico de orden nm. En este caso Zn Zm Znm .
22. Sean p, q primos diferentes. Prueba que cualquier grupo abeliano de orden pq es
cclico.
23. Encuentra elementos x, y F2 Z de orden infinito tal que x + y es de orden finito.
24. Encuentra el subgrupo de torsi
on de los grupos F2 Z y Z6 Fp Z, donde p es
cualquier n
umero primo.
25. En el corolario 5.4.18, justifica por que el subgrupo H no necesariamente es u
nico.
26. En G = F3 Z9 definimos la siguiente operaci
on
(a, b) ? (a1 , b1 ) = (a + a1 , b + b1 + 3a1 b).
a) Demuestra que G es un grupo no abeliano.
b) Encuentra al neutro e identifica al inverso de (a, b).
159
3 2 = 6 ,
2 4 = 6 ,
4 2 = 5 ,
2 5 = 3 ,
5 2 = 4 ,
2 6 = 4 ,
6 2 = 3 .
160
5. GRUPOS
Por tanto N (A) es cerrado bajo productos. Ahora veamos que N (A) contiene a
los inversos. Si g N (A), entonces
g 1 Ag = g 1 (gAg 1 )g = (g 1 g)A(g 1 g) = A.
As que N (A) G. Para la segunda afirmacion, vemos que si g A G,
entonces gAg 1 = A y por tanto A N (A). Por la definicion de N (A) es claro
que A / N (A). La tercera afirmaci
on es consecuencia directa de la definicion de
normalizador.
Corolario 5.5.5. H / G si y solo si N (H) = G.
n. Es un f
Demostracio
acil ejercicio para el lector.
Palabras de precauci
on: dado un subgrupo H G, este no necesariamente es
normal en G. La idea de introducir el concepto de normalizador es precisamente
para ver cu
al es el subgrupo de G m
as peque
no en donde H es normal. A
continuaci
on vamos a dar una estimaci
on de o(N (g)). Sea G un grupo y g, g1 G.
Diremos que g es conjugado de g1 si existe x G tal que g = xg1 x1 . Indicaremos
este hecho escribiendo g g1 .
Lema 5.5.6. La relaci
on es de equivalencia.
n. Denotemos como e al neutro del grupo G. La relacion
Demostracio
es reflexiva porque g = ege1 ; es simetrica porque si g = xg1 x1 , entonces
x1 gx = g1 . Es transitiva porque si g = xg1 x1 y g1 = yg2 y 1 , entonces
g = (xy)g2 (xy)1 .
Si [g] denota la clase de equivalencia de g, es claro que [g] = {xgx1 : x G}.
Llamaremos a [g] la clase de conjugaci
on de g. En particular, si G es un grupo
finito, entonces G tiene un n
umero finito de clases de conjugacion y por lo tanto
cada clase de conjugaci
on es finita. No todas las clases de equivalencia tienen
la misma cardinalidad. Podemos verificar facilmente que g Z(G) si y solo si
|[g]| = 1. Si g 6 Z(G), entonces |[g]| 2 pues al menos e, g [g].
Lema 5.5.7. Sea G un grupo finito de orden n. Si g G y h = |[g]|, entonces
n
o(N (g)) = .
h
n. Primero notemos que [g] tiene la forma
Demostracio
[g] = {g1 gg11 , g2 gg21 , . . . , gh ggh1 },
161
162
5. GRUPOS
p t
o(G)
=
= p1 t < n,
o(hxi)
p
(o(Z(G)) = t
o(Z(G)) = 1).
163
s
X
|Ci | + |Cs+1 Cl |
i=1
164
5. GRUPOS
165
G=
l
[
Hgi K.
i=1
Por lo tanto,
o(G) =
l
X
|Hgi K| = n.
i=1
entonces gi1 Hgi K = {gi1 x1 , . . . , gi1 xw },
la misma manera observamos que |gi1 Hgi |
Si Hgi K = {xi , . . . , xw },
por lo cual
1
|Hgi K| = |gi Hgi K|. De
= |H|. Por
otro lado, gi1 Hgi es un subgrupo de G, as que de acuerdo al ejercicio 23 de la
secci
on 5.3
|gi1 Hgi ||K|
|H||K|
n1 n2
|(gi1 Hgi )K| = 1
=
=
.
ri
ri
|gi Hgi K|
6Este lema tambi
en es conocido en la literatura como lema de Burnside. William Burnside
demostr
o este famoso resultado en su libro On the theory of groups of finite order (Theorem III
pp. 122) y lo atribuy
o a Frobenius. Sin embargo, aparentemente el lema ya era conocido por
A. Cauchy en 1845.
166
5. GRUPOS
Por lo tanto, n =
l
X
|Hgi K| =
i=1
l
X
|gi1 Hgi K| =
i=1
l
X
n1 n2
i=1
ri
n=
l
X
p2
i=1
ri
= p t,
|gi1 Hgi
donde ri =
K|. Recordemos que gi1 Hgi K es subgrupo de K. Por
el teorema de Lagrange ri = o(gi1 Hgi K) = pi para alg
un 0 i .
Observemos el siguiente desarrollo:
l
p
X
p2
p2
p2
p2
p
p
p t =
.
=
+
+ +
= p
+
+ +
ri
r1
r2
rl
r1
r2
rl
i=1
p
p
p
+
+ +
. Tengamos
r1
r2
rl
y 0 i . Como p - t, entonces necesariamente alguna
gi1 Hgi K = K.
Esto u
ltimo quiere decir que gi1 Hgi K, pero o(H) = o(gi1 Hgi ) = o(K),
entonces gi1 Hgi = K y K, H son conjugados.
Corolario 5.5.15. Sea H un p-subgrupo de Sylow de G. Entonces H es el
u
nico p-subgrupo de Sylow de G si y solo si H / G.
n. Supongamos que H / G y sea K cualquier p-subgrupo de
Demostracio
Sylow. Entonces para alguna g G se tiene que g 1 Hg = K. Por hipotesis,
H / G, entonces g 1 Hg = H. Por lo tanto H = K. Para la otra implicacion
observemos que para g G, el subgrupo g 1 Hg es de orden p , es decir, g 1 Hg
167
168
5. GRUPOS
que es difcil encontrar el normalizador N (H). A pesar de esto, podemos dar mas
pistas.
Teorema 5.5.17 (Tercer teorema de Sylow). Si t denota el n
umero de psubgrupos de Sylow de G, entonces t | o(G) y t 1 (mod p).
n. Como consecuencia del lema anterior t = [G : N ] donde N
Demostracio
es el normalizador de alg
un p-subgrupo de Sylow de G. Solo queda mostrar que
t 1 (mod p). Sea H un p-subgrupo de Sylow. Con los subgrupos H y N (H)
consideremos la descomposici
on de G como en el lema 5.5.12:
G = Hg1 N (H) Hg2 N (H) . . . Hgw N (H).
Puesto que e Hgi N (H) para alg
un i, entonces podemos suponer sin perdida de
generalidad que g1 = e y por tanto Hg1 N (H) = N (H). Sea o(N (H)) = r = p m0
con mcd(m0 , p) = 1. De acuerdo al teorema 5.5.13 tenemos que
n = to(N (H)) = tr = tp m0 =
w
X
p r
i=1
ri
As t = 1 +
w
w
w
w
X
X
X
X
1
1
p
p
= p m0
= m0
= m0 (1 +
).
r
r
r
r
i=1 i
i=1 i
i=1 i
i=2 i
w
X
p
i=2
ri
169
Esto u
ltimo no es posible pues la familia {Hgi N (H)}w
on de G y
i=1 es una partici
nosotros hemos mostrado que para alguna i 2 se cumple que
Hgi N (H) = Hg1 N (H) = N (H).
i
y i < . De la igualdad t = 1 +
w
X
p
i=2
ri
170
5. GRUPOS
171
172
5. GRUPOS
5.7. GRUPO SIMETRICO
173
174
5. GRUPOS
1
(1)
1
2
((1)) ((2))
=
=
2
(2)
n
(n)
1
(1)
n
((n))
2
(2)
.
n
(n)
5.7. GRUPO SIMETRICO
175
Si Sn , podemos describir f
acilmente 1 . Primero recordemos que
( )(j) = j para todo j X. Si (j) = i, entonces j = 1 ((j)) = 1 (i), es
decir, mientras que manda j en i, 1 regresa i en j.
1 2 3 4 5 6
Ejemplo 5.7.4. Sea =
S6 . Entonces
3 5 6 2 1 4
1 2 3 4 5 6
1 =
.
5 4 1 6 2 3
1
2
4
3
1
4
2
5
5
176
5. GRUPOS
no son ajenas y
1 2 3 4 5 1 2 3 4 5
1 2 3 4 5 1 2 3 4 5
6=
.
3 2 5 4 1 3 4 1 2 5
3 4 1 2 5 3 2 5 4 1
Lema 5.7.10. Si , Sn son permutaciones ajenas, entonces = .
n. Sea i {1, 2, . . . , n}. Si (i) = j 6= i, entonces (j) 6= j
Demostracio
pues es inyectiva ((i) = j = (j)). Puesto que y son permutaciones ajenas,
(i) = i y (j) = j. As
(i) = ((i)) = (j) = j = (i) = ((i)) = (i).
Si (i) = i, entonces (i) = j 6= i pues y son ajenas. El resultado se sigue
igual que en el caso anterior.
Teorema 5.7.11. Si Sn , entonces se puede expresar como un producto
de ciclos ajenos.
n. Sea i1 X y l el menor entero positivo tal que l (i1 ) = i1 .
Demostracio
Consideremos el conjunto
{i1 , (i1 ), 2 (i1 ), . . . , l1 (i1 )}
y supongamos que
(i1 ) = i2 ,
2 (i1 ) = i3 , . . . , l1 (i1 ) = il .
5.7. GRUPO SIMETRICO
177
con s elegido de tal manera que s (j) = j, es ajeno con los ciclos
(i, (i), 2 (i), . . . , l1 (i)), . . . , (k, (k), 2 (k), . . . , t1 (k)).
El proceso que acabamos de describir es finito y el producto de estos ciclos
ajenos es .
Veamos con un ejemplo que la demostraci
on del teorema 5.7.11 es un algoritmo que se puede aplicar directamente a cualquier permutacion particular.
Ejemplo 5.7.12. Consideremos la siguiente permutacion
1 2 3 4 5 6 7 8 9
=
.
4 6 7 3 2 9 1 8 5
Para descomponer simplemente observemos que la clave esta en el segundo
rengl
on de la demostraci
on del teorema. En nuestro caso 4 (1) = 1 y por lo tanto
el primer ciclo en la descomposici
on de es
(1, (1) = 4, 2 (1) = 3, 3 (1) = 7) = (1, 4, 3, 7).
El siguiente ciclo es (2, (2) = 6, 2 (2) = 9, 3 (2) = 5) = (2, 6, 9, 5). El lector
puede verificar f
acilmente que (1, 4, 3, 7)(2, 6, 9, 5) = .
Corolario 5.7.13. Cualquier permutaci
on es producto de transposiciones.
n. Consideremos el r-ciclo (i1 , i2 , . . . , ir ). Un simple calculo
Demostracio
nos muestra que (i1 , i2 , . . . , ir ) = (i1 , ir )(i1 , ir1 ) (i1 , i3 )(i1 , i2 ).
Corolario 5.7.14. Las transposiciones (1, 2), (1, 3), . . . , (1, n) generan Sn .
n. Es suficiente expresar la transposicion (i, j) en terminos
Demostracio
de (1, 2), (1, 3),. . . ,(1, n). Esto u
ltimo es claro pues (i, j) = (1, i)(1, j)(1, i). La
afirmaci
on anterior proviene del siguiente producto:
1 ... i ... j ... n
1 ... i ... j ... n
=
1 ... j ... i ... n
i ... 1 ... j ... n
1 ... i ... j ... n 1 ... i ... j ... n
.
j ... i ... 1 ... n
i ... 1 ... j ... n
Es posible que alguna permutaci
on pueda ser expresada en diferentes maneras
como un producto de transposiciones. Por ejemplo, es facil verificar que el 4-ciclo
(1, 2, 3, 4) = (1, 4)(1, 3)(1, 2) = (4, 3)(4, 2)(4, 1).
178
5. GRUPOS
ejemplos.
Ejemplo 5.7.15. Si n = 3, entonces 3 = (x1 x2 )(x1 x3 )(x2 x3 ).
Ejemplo 5.7.16. Si n = 4, entonces
4 = (x1 x2 )(x1 x3 )(x1 x4 )(x2 x3 )(x2 x4 )(x3 x4 ).
n2 n
.
2
Lema 5.7.17. El n
umero de factores en n es
(xi xj ) =
n
Y
(x1 xi )
i=2
n
Y
(x2 xi )
i=3
n
Y
i=n2
(xn3 xi )
n
Y
(xn2 xi )
i=n1
n
Y
(xn1 xn ).
i=n
Ahora contemos el n
umero de factores en cada producto. El primer producto
tiene n 1 factores, el segundo producto tiene n 2 factores, el tercero tiene
n 3, el (n 3)-esimo producto tiene n (n 3) factores, el pen
ultimo tiene
n (n 2) factores y el u
ltimo producto tiene solo un factor. As que, el n
umero
total de factores es:
(n 1) + (n 2) + + 3 + 2 + 1 =
(n 1)n
n2 n
=
.
2
2
5.7. GRUPO SIMETRICO
Para Sn definimos (n ) =
179
i<j
(xi xj )
i<j
(x1 x2 )
se sigue que
Y
= (x2 x1 )
(xi xj )
i<j
(x1 x2 )
180
5. GRUPOS
Por tanto
Y
() = (x(2) x(1) )
(x(1) x(2) )
Y
(x(i) x(j) )
= (x(1) x(2) )
=
(x(i) x(j) )
i<j
i<j
(x(1) x(2) )
i<j
5.7. GRUPO SIMETRICO
181
r
Y
sgn((i1 , ij )) = (1)r1 .
j=2
La clasificaci
on de las permutaciones en pares e impares nos conduce a la
definici
on de uno de los subgrupos m
as importantes de Sn . Consideremos el
conjunto An = { Sn : es par}. De acuerdo al lema 5.7.21, An es un subgrupo
de Sn . El grupo An se conoce con el nombre de grupo alternante.
Consideremos el grupo {1, 1} y la funci
on f : Sn {1, 1} definida como
1 si es par
f () =
1 si es impar.
Entonces f es un epimorfismo de grupos y ker(f ) = An . Por lo anterior, An
no solo es un subgrupo de Sn sino que An / Sn , por que?. Podemos decir mas:
por el primer teorema de isomorfismos 5.3.17 obtenemos que
o(An ) =
o(Sn )
n!
= ,
o({1, 1})
2
182
5. GRUPOS
= (1 2 )(3 4 ) (2k1 2k ) =
k
Y
(xj , yj , zj ),
j=1
y por tanto An H.
5.7. GRUPO SIMETRICO
183
(a, b, c, d, e).
184
5. GRUPOS
...
...
i
j
k
l
n+1
,
r
5.7. GRUPO SIMETRICO
...
...
...
(j) =
...
(r) =
(n + 1) =
j
k
...
...
185
n+1
,
r
n+1
,
n+1
l r n+1
,
n+1
r
n+1
n+1
Notemos que 6= porque i 6= k. Tambien H porque y son conjugadas
por una permutaci
on par y H /An+1 . Por lo tanto H An y as H An 6= {}.
Lo anterior significa que H An = An porque An es simple, es decir, H contiene
al menos un 3-ciclo. As H = An+1 .
Por que An = { An+1 : (n + 1) = n + 1} 6 An+1 ?. La respuesta
es muy sencilla. Sean An \ {} y i, j tales que (i) = j, con i 6= j. Si
= (n + 1, j, i)(i, j, n + 1), entonces y son permutaciones conjugadas. Pero
6 An porque (n + 1) = i 6= n + 1. As An 6 An+1 y H 6= An .
Con respecto a la parte final de la demostracion del teorema anterior debemos
mencionar que hay muchas formas de ver al grupo An sumergido en An+1 . Para
1 i n + 1 definimos stab(i) = { An+1 : (i) = i}. Entonces stab(i) es un
subgrupo de An+1 conocido como el estabilizador de i y stab(i) An . Finalmente,
stab(i) 6 An y la justificaci
on es exactamente la misma que aparece en la parte
final de la prueba del teorema anterior.
Para el lector debe ser claro que los grupos A2 y A3 son cclicos y por tanto
son simples de acuerdo al ejemplo 5.5.21 o al teorema de clasificacion 5.6.3. Podra
observar al releer el teorema de clasificaci
on, que hemos resuelto sus afirmaciones
1 y 2. Las afirmaciones 3 y 4 est
an muy lejos de ser resueltas con la teora que
hasta ahora hemos desarrolado.
5.7.1. Para un estudio de S4 y A4 . El grupo S4 esta formado por las
siguientes permutaciones:
186
5. GRUPOS
1 2 3 4
1 2 3 4
1 2 3 4
, 1 =
, 2 =
,
1 2 3 4
1 3 4 2
1 4 2 3
1 2 3 4
1 2 3 4
1 2 3 4
3 =
, 4 =
, 5 =
,
3 2 4 1
4 2 1 3
2 4 3 1
1 2 3 4
1 2 3 4
1 2 3 4
6 =
, 7 =
, 8 =
,
4 1 3 2
2 3 1 4
3 1 2 4
1 2 3 4
1 2 3 4
1 2 3 4
9 =
, 10 =
, 11 =
,
4 3 2 1
3 4 1 2
2 1 4 3
1 2 3 4
1 2 3 4
1 2 3 4
12 =
, 13 =
, 14 =
,
1 2 4 3
1 4 3 2
1 3 2 4
1 2 3 4
1 2 3 4
1 2 3 4
15 =
, 16 =
, 17 =
,
4 2 3 1
3 2 1 4
2 1 3 4
1 2 3 4
1 2 3 4
1 2 3 4
18 =
, 19 =
, 20 =
,
2 3 4 1
3 1 4 2
2 4 1 3
1 2 3 4
1 2 3 4
1 2 3 4
21 =
, 22 =
, 23 =
.
4 1 2 3
3 4 2 1
4 3 1 2
=
La descomposici
on de cada i como producto de transposiciones es:
1 = (2, 3, 4) = (2, 4)(2, 3),
12 = (3, 4),
13 = (2, 4),
14 = (2, 3),
15 = (1, 4),
16 = (1, 3),
17 = (1, 2),
187
188
5. GRUPOS
v4
v3
-
v1
v2
v3
v2
-
v4
v1
v2
v3
v3
v4
v4
v1
v4
189
v3
-
v1
v2
v3
-
v1
v4
Luce identica a la original, si no fuera por las etiquetas de los vertices. Esta
acci
on la podemos mirar como una permutaci
on:
v v2 v3 v4
= 1
v1 v4 v3 v2
Observamos que si repetimos la acci
on dos veces llegaremos al cuadrado
original, es decir, 2 (vi ) = ((vi )) = vi = (vi ). Veamos la aplicacion de
los dos movimientos :
v1 v2 v3 v4
v1 v2 v3 v 4
=
, =
.
v2 v1 v4 v3
v4 v3 v2 v1
Vea las figuras del principio de la siguiente pagina.
Consideremos el siguiente conjunto:
D8 = {, , 2 , 3 , 4 , , 2 , 3 } = { i j : 0 i < 4, j = 0, 1}.
El lector puede verificar f
acilmente que = ()1 . De la relacion
2
3
= = tenemos que = 1 y = 1 . As la siguiente relacion
4
190
5. GRUPOS
v3
v4
v1
v2
v2
v1
v4
v3
3 = 1 1 = ()1 = .
(1)
()( 2 ) = ( 3 )( 2 ) = 5 = = 3 = 2 3 = 3 .
()( 3 ) = 1 1 = ()1 = () = 2 2 = 2 .
()( 2 ) = ( 3 )( 2 ) = 5 = = 3 .
( 2 )( 2 ) = 2 = 2 3 = = ( 3 ) = .
2
3
2
3
2
3
2
3
2
3
2
3
2
2
3
2
3
3
3
2
3
2
3
2
3
2
3
2
3
2
2
3
2
3
3
3
2
3
191
la funci
on f ((x, y)) = (r cos( + ), r sen( + )) es una simetra del cuadrado.
2
2
Si denotamos por
Sym(P ) = {f Isom(R2 ) : f (P ) = P },
entonces claramente Sym(P ) es un subgrupo de Isom(R2 ). El grupo Sym(P ) se
conoce como el grupo de simetras de P . En particular, el grupo de simetras de
un polgono regular de n lados recibe el nombre de grupo diedrico.
Consideremos un polgono regular Pn R2 (n 3) de n lados centrado en
el origen. Tenemos dos simetras naturales del polgono Pn . La primera que
2
radianes en el sentido contrario
llamaremos , es rotar nuestro polgono
n
192
5. GRUPOS
(2) = 3,
(3) = 4, . . . , (n 1) = n,
Usando notaci
on m
as c
omoda
1 2 3
=
2 3 4
n1
n
(n) = 1.
n
.
1
193
b
intente ver los siguientes
agonos como pent
agonos bregulares.
Ahora si, vamos
r pent
r
al ejemplo:
@
@
B
B
@
@
@
@
@
@
@
@
@
B
B
@
@
=
, qa
b a
b
2 1 5 4 3
r
1
@
B
B
@
@
@
@
@
@
@
@
@
@
@
B
B
@
@
194
5. GRUPOS
1 2
3
=
1 n n 1
y si n es impar, tenemos que
1 2
3
=
1 n n1
n
2
n
2
+1
+1
n1
3
n1
3
n
.
2
n
,
2
Un simple c
alculo nos muestra que o() = 2 y por lo tanto, si n es par, entonces
1 2 3 n 1 n
2 3 4
n
1
1 2 3
2 1 n
=
=
n
2
n
2
1 2
3
1 n n 1
+ 1 n 1 n
,
+ 2
4
3
n
2
n
2
+ 1 n 1 n
+ 1
3
2
1 2 3
2 3 4
1 2
2 1
=
=
n1
n
3
n
n1
4
1
1
n
.
3
n
1
2
n
3
n1
n1
3
n
2
195
La construcci
on de sus grupos de simetras est
a fuera del alcance de estas notas.
El lector interesado puede deleitarse con este tema en [11].
5.9. El concepto de grupo abstracto: Teorema de Cayley
Hist
oricamente, no fue sino hasta principios del siglo XX cuando el concepto
de grupo abstracto fue totalmente aceptado y reconocido por los matematicos.
En un principio la teora de grupos solo estudiaba grupos de permutaciones
(sustituciones). Despues, el concepto de grupo abstracto fue introducido con
el prop
osito de deducir de la manera m
as simple y directa las propiedades de los
grupos de permutaciones. De esta forma, resulto mas o menos natural buscar
la posibilidad de apropiar el concepto de grupo de permutaciones al concepto
de grupo abstracto. Fue A. Cayley7 en 1854 el primero en dar una definicion
suficientemente general del concepto de grupo.
Teorema 5.9.1 (Teorema de Cayley). Sea G un grupo. Entonces G es
isomorfo a un subgrupo de alg
un grupo de permutaciones.
n. Sea a G. Si G = {xi }iI , entonces para cada a G
Demostracio
podemos escribir G = {axi }iI . La funci
on
a : G G
definida como a (xi ) = axi es biyectiva y por tanto es una permutacion de G.
De esta manera tenemos que a SG . Sea T = {a }aG . Con la composicion de
funciones tenemos las siguientes propiedades del conjunto T :
1. Para a , b T y x G se cumple que
a b (x) = a (bx) = (ab)x = ab (x),
por lo tanto a b = ab T .
2. Para x G tenemos que a a1 (x) = aa1 x = x y por tanto a a1 = .
Entonces necesariamente (a )1 = a1 T.
7Arthur Cayley naci
o el 16 de agosto de 1821 en Richmond, Surrey, Inglaterra, dentro de
una familia de talento. Ingresa en el Trinity College de Cambridge en 1838 donde se diploma
con grandes honores en el a
no 1842 y es nombrado asistente tutor durante un perodo de tres
a
nos. Despu
es de dejar la ense
nanza se consagra a sus investigaciones al mismo tiempo que
practica su profesi
on de abogado. Cayley contribuy
o de una manera original a numerosos temas
matem
aticos: la geometra analtica de n dimensiones, las transformaciones lineales que son el
origen de su teora de matrices, la teora de superficies y determinantes, etc.. Muri
o el 20 de
enero de 1895 en Cambridge y leg
o a la posteridad una obra tan extensa como la de Euler y
Cauchy.
196
5. GRUPOS
0 1 2 3 4 5 6
=
,
1 2 3 4 5 6 0
0 1 2 3 4 5 6
=
,
3 4 5 6 0 1 2
0 1 2 3 4 5 6
=
,
5 6 0 1 2 3 4
a2
a4
a6
0
=
2
0
=
4
0
=
6
1
3
2
4
3
5
4
6
5
0
1
5
2
6
3
0
4
1
5
2
1
0
2
1
3
2
4
3
5
4
6
,
1
6
,
3
6
.
5
197
198
5. GRUPOS
(a, b, c, d, e).
199
Bibliografa
[1] Barrera Mora F., Villa Salvador G.D. Teora de Ecuaciones Polinomiales. VII Coloquio
del Departamento de Matem
aticas del CINVESTAV 1991.
[2] Beaumont R. A., Pierce R. S. The algebraic fundations of mathematics. Addison-Wesley
1963.
[3] Bressoud D. W. Factorization and primality testing. Springer-Verlag, Undergraduate Text
in Mathematics 1989.
[4] Burnside W. Theory of groups of finite order. Dover 1955.
[5] Curtis W. CH., Reiner I., Representation Theory of Finite Groups and Associative Algebras. Pure and Applied Mathematics Vol IX. John Wiley and Sons 1962.
[6] Euclides. Elementos. Libro IX. Editorial Gredos, Madrid. 1991.
[7] Hall, Marshal, Jr., The theory of groups. AMS Chelsea Publishing, 2nd edition. Providence,
RI, 2000.
[8] Hardy G.H., Wright E. M.. An introduction to the theory of numbers. Oxford University
Press 1979.
[9] http://www-history.mcs.st-andrews.ac.uk/Biographies. Espl
endido sitio para consultar biografas de matem
aticos.
[10] Ireland K., Rosen M. A classical introduction to modern number theory. Springer Verlag
GTM 84 , 1982.
[11] Joyner D. Adventures in Group Theory: Rubiks cube, Merlins machine and other mathematical toys. The Johns Hopkins University Press, 2002.
[12] Lagrange J.L. R
eflexions sur la r
esolution alg
ebrique des
equations, Nouveaux M
emoires de
lAcad
emie Royale des Sciences et Belles-Lettres de Berlin, 1770/71. Oeuvres de Lagrange,
III, 205421.
[13] Mollin R.A. Algebraic Number Theory. CRC Press series on discrete mathematics and its
applications, 1999.
[14] Niven I., Zuckerman S., Montgomery H. L., An Introduction to the Theory of Numbers.
5th ed., John Wiley, New York, (1991).
[15] H
older O. Die einfachen Gruppen in ersten und zweiten Hundert der Ordnungszahlen.
Math. Annalen 40 (1892), 5588.
[16] Ribenboim P. El famoso polinomio generador de primos de Euler y el n
umero de clase de
los cuerpos cuadr
aticos imaginarios. Revista Colombiana de Matem
aticas. Vol. 21 (1987),
263-284.
201
202
[17]
[18]
[19]
[20]
[21]
[22]
[23]
[24]
[25]
BIBLIOGRAFIA
Rotman J. An Introduction to the Theory of Groups. Springer Verlag GTM 148, 1995.
Rotman J. Galois Theory. Springer Verlag, Universitext, second edition, 1998.
Samuel P., Zariski O. Commutative Algebra I. Springer Verlag GTM 28, 1975.
Sierspi
nski W. it Elementary Theory of Numbers. North-Holland, Amsterdan (1988).
Solomon R. A brief history of the classification of the finite simple groups. Bulletin of the
American Mathematical Society, Vol. 38. Number 3, pages 315-352. 2001.
Solovay R.M., Strassen V. A fast Monte-Carlo test for primality. SIAM Journal of computing 6(1) pages 84-85. 1977.
Sominski I. S. M
etodo de inducci
on matem
atica. Editorial Limusa, 2002.
Zaldivar Cruz, F., Introducci
on a la Teora de Grupos. Aportaciones Matem
aticas de la
Sociedad Matem
atica Mexicana No. 32, 2006.
Vinogradov, Ivan M., Fundamentos de la teora de n
umeros. Editorial MIR, Mosc
u, 1977.
Indice
a
b
, 83
J
(i1 , i2 ),
175
(i1 , i2 , . . . , ir ), 175
An , 181
Aut(G), 147
Aut(Zn ), 148
C([a, b]), 114
D8 , 190
D2n , 195
G/H, 121
GL(2, R), 113
H G, 115
H 6 G, 131
H / G, 131
H K, 149
Isom(R2 ), 191
N (A), 159
N (g), 159, 160
P4 , 187
Pn , 192
SL(2, R), 113
SX , 173
Sn , 112, 174
Sym(P ), 192
T (R2 ), 113
Ta,b , 113
U (Z[i]), 92
Un , 60
V4 , 146, 198
Z(G), 158
ker(f ), 140
hAi, 118
hai, 118
mcd(a, b), 7
mcm(a, b), 13
(n ), 179
de Euler, 35
aH, 119
o(G), 111
o(a), 123
p-grupo, 163
C , 117, 119, 123, 129, 134
Fp , 56
H, 115
N0 , 1
Q , 112
R , 123, 138
Z[i], 89
Zn , 31, 32
Zp , 66, 123
SCR(m), 34
SRR(m), 35
[G : H], 122
1
, 66
p
2
, 73
p
a
, 65
p
a | b, a - b, 6
Algoritmo
de Euclides en Z, 11
de Euclides en Z[i], 93
203
204
de la divisi
on en K[x], 56
de la divisi
on en Z, 3
de la divisi
on en Z[i], 90
Anillo
de enteros m
odulo n, 32
de polinomios, 56
de enteros gaussianos, 89, 147
asociados en Z[i], 93
automorfismo interior, 139, 148
campo finito, 59
Cancelaci
on
para la suma m
odulo n, 32
Cauchy, Augustin Louis, 155
Cayley, Arthur, 196
centro de un grupo, 158
ciclo de longitud r, 175
clase de conjugaci
on, 160
clase derecha, 122
clase izquierda, 119
Congruencias, 31
x2 1 (mod p), 67
ax b (mod m), 38
f (x) 0 (mod m), 50
f (x) 0 (mod ps ), 53
f (x) 0 (mod p), 56
x2 2 (mod p), 74
Conjetura de Artin, 129
conjugado
en Z[i], 90
conjugados m
odulo (H, K), 164
conjunto potencia, 113
Criba
de Erat
ostenes, 19
geom
etrica, 27
Cuadrados en Zp , 63
Cuaterniones, 115
discriminante, 178
divisibilidad
en K[x], 56
en Z, 6
en Z[i], 91
divisor, 6
Indice
en com
un en Z, 7
en com
un en Z[i], 93
divisores elementales, 153
Dominio entero, 10
ecuaci
on
(x) = n, 48
ax + by = 1, 8
ax + by = c, 8, 96
x2 y 3 = 19, 22
diofantina, 8
ecuaci
on de clase, 163
elementos conjugados, 160
Enteros m
odulo m, 31
epimorfismo, 138
Erat
ostenes, de Cirene, 19
estabilizador, 129, 185
Euclides, de Alejandra, 11
Euler, Leonhard, 37
F
ormula del Producto, 144
Factorizaci
on de un entero gaussiano, 104
Fermat, Pierre de, 26
funci
on
bxc, 5
de Euler, 35
Gauss, Karl-Friedrich, 32
generadores de un grupo, 118
grado
de un polinomio en K[x], 56
Grupo, 109
Q , 112
An es simple, 184
Q8 , 115
R2 , 112
Z, 111
Zn , 112
ndice, 122
abeliano, 111
alternante, 181
booleano, 113
cclico, 118
circular, 147
Indice
cociente, 133
de isometras de R2 , 191
de Klein de orden 4, 146
de Klein de orden 4, 198
de matrices, 114
de movimientos de R2 , 112
de simetras de un conjunto, 192
de simetras del cuadrado, 191
de Traslaciones, 113
de unidades de Zn , 112
di
edrico, 192
di
edrico de orden 2n, 195
di
edrico de orden 8, 191
finito, 111
hamiltoniano, 135
infinito, 111
inverso, 110
isomorfos, 138
Lineal Especial, 113
Lineal General, 113
neutro, 110
orden, 111
sim
etrico, 112, 174
simple, 169
subgrupo trivial, 116
homomorfismo de grupos, 137
homomorfismo natural, 139, 141
inverso
aditivo en Zm , 36
aditivo en un dominio entero, 10
isometra de R2 , 191
isomorfismo, 138
Jacobi, Carl Gustav Jacob, 82
Lagrange, Joseph Louis, 122
Legendre, Adrien-Marie, 64
Lema
de Eisenstein, 74
de Gauss, 70
Ley de Reciprocidad Cuadr
atica
de Gauss, 64, 77
de Jacobi, 85
M
aximo
com
un divisor en Z, 7
com
un divisor en Z[i], 94
Mnimo com
un m
ultiplo
en Z, 13
en Z[i], 97
m
ultiplo com
un
en Z, 13
en Z[i], 97
monomorfismo, 137
n
ucleo, 140
N
umero
compuesto, 15
primo, 15
N
umeros primos en Z[i], 100
neutro aditivo, 10
Noether, Emmy Amalie, 140
norma en Z[i], 90
normalizador, 159
operaci
on binaria, 109
orden
elemento de orden finito, 122
elemento de orden infinito, 122
parte pi -primaria, 153
permutaci
on, 112, 173
impar, 180
par, 180
permutaciones ajenas, 175
Poincar
e, Henri Jules, 145
polinomio
irreducible en Zp [x], 61
reducible en Zp [x] , 62
primo en Z[i], 98
primos racionales, 98
primos relativos
en Z, 7
en Z[i], 94
Principio
de inducci
on, 1
del Buen Orden, 1
producto de clases izquierdas, 132
205
206
Indice
de Cancelaci
on para el producto en Zn , 33
de Cauchy, 155
de Clasificaci
on de los Grupos Simples Finitos, 171
de Euclides, 8, 17
de Euler, 65
de Fermat, 101, 123
de Galois, 172
de Lagrange, 57, 122
de Poincar
e, 145
de Wilson, 58
del Factor, 57
del residuo, 56
Fundamental de los Grupos Abelianos Finitos, 152
Inverso de Lagrange para Grupos Abelianos
Finitos, 155
Inverso de Lagrange para Grupos Cclicos
Finitos, 126
Lema d
ebil de Hensel, 55
Lema de Frobenius o Cauchy, 165
Lema de Hensel, 53
Peque
no de Fermat, 37
Segundo Teorema de Isomorfismos, 144
Segundo Teorema de Sylow, 165
de Cayley, 196
de Euler, 37
Fundamental de la Aritm
etica en Z, 16
Fundamental de la Aritm
etica en Z[i], 100
Primer Teorema de Isomorfismos, 141
Primer Teorema de Sylow, 161
Tercer Teorema de Isomorfismos, 145
Tercer Teorema de Sylow, 167
Teoremas de Sylow, 158
Test de Solovay-Strassen, 87
transposici
on, 175
traslaci
on izquierda, 196
unidad
de Zn , 60
en Z[i], 92