Mdulo 3

Unidad 4
Grupos, Anillos y Campos
Aritmtica Modular












Matemtica Discreta
Lic. Alfredo H. Gonzalez



Matemtica Discreta Alfredo H. Gonzalez | II


Contenidos:

Captulo 1. Aritmtica Modular 1 11 1
4 44 4.1 .1 .1 .1 Grupos, Anillos y Campos 1 11 1
4.2 4.2 4.2 4.2 Congruencias 31 31 31 31
4.3 4.3 4.3 4.3 Ecuacin lineal de congruencia 3 33 33 33 3
4.4 4.4 4.4 4.4 Teorema de Fermat 3 33 35 55 5
4.5 4.5 4.5 4.5 El criptosistema RSA 3 33 37 77 7
4.6 4.6 4.6 4.6 Ejercicios 3 33 38 88 8
ndice alfabtico 41 41 41 41
Bibliografa 42 42 42 42
















Matemtica Discreta Alfredo H. Gonzalez | III


Grupos, Anillos y Campos
Aritmtica Modular


Deseo

La Teora de Grupos sirve como pilar a otras estructuras
algebraicas ms elaboradas como los anillos, los cuerpos
o los espacios vectoriales. Tiene aplicaciones en el campo
de la fsica y la qumica, y es potencialmente aplicable en
situaciones caracterizadas por la simetra. La Aritmtica
Modular es la materia prima que se utiliza para cifrar datos
como los que se utilizan en los bancos, claves de acceso,
Internet, etc. Pero adems de poseer ambas mltiples
aplicaciones, deseo que puedan apreciar la belleza que tienen
ambos temas en s mismos. Adems, como veremos, existe una
estrecha relacin entre ambos.
LECTURA 4
Aritmtica Modular
4.1. Estructuras Algebraicas: Grupos, Anillos y Campos
4.1.1. Grupos.
Al comenzar el curso vimos las propiedades fundamentales del conjunto de
los nmeros enteros. All tenamos denidas dos operaciones binarias (es
decir, operaciones donde participan dos elementos de Z) como eran la suma
y el producto, y estudiamos oportunamente las propiedades de Z con esas
operaciones. Nuestro objetivo ahora es considerar situaciones anlogas a las
que ocurren en los enteros, y estudiar sus propiedades.
Sea entonces X un conjunto no vaco. Una operacin binaria * en X es
una funcin que asigna a cada par de elementos x, y en X un elemento xy
tambin en X. Es decir, tenemos:
:X X X
(x, y) x y
A x y se suele llamar composicin de x con y.
Ejemplos de una operacin de este tipo son las ya mencionadas: la suma
en Z, el producto en Z, tambin R con la suma y con el producto. Tambin
hemos visto en el Mdulo 2 que la composicin de funciones biyectivas es
biyectiva. Esto nos dice que si consideramos el conjunto formado por las
funciones biyectivas de un conjunto en s mismo con la operacin composi-
cin, esa es una operacin binaria en ese conjunto.
Daremos ahora la denicin de una de las estructuras matemticas ms
utilizadas: la de grupo.
Definicin 4.1.1. Sea G un conjunto en el que se halla denida una
operacin binaria *. Decimos que G es un grupo si * satisface los axiomas:
(G1) (Cerrada). Cualesquiera sean x e y en G,
x y est en G.
1
(G2) (Asociativa). Cualesquiera sean x, y, z en G,
(x y) z = x (y z).
(G3) (Existencia de Neutro). Existe e G que cumple
x e = e x = x,
cualquiera sea x en G.
(G4) (Existencia de Inverso). Dado cualquier x G, existe x

G tal que
x x

= x

x = e.
Si adems de cumplirse (G1) a (G4) se cumple que x y = y x para
todo x, y en G, entonces se dice que G es un grupo abeliano o conmutativo.
El elemento e mencionado en (G3) se denomina neutro respecto de *,
y un x

que cumple (G4) se denomina inverso de x.

Al cardinal de G, que denotbamos por [G[ se lo denomina el orden del
grupo G. Diremos que G es un grupo nito si lo es [G[ e innito en caso
contrario.
4.1.2. Ejercicios. Decida cules de los axiomas (G1) a (G4) cumple
cada conjunto dado con su correspondiente operacin:
1. (Z, +).
2. (Z, .).
3. (R, +).
4. (R, .).
5. (R

, .). [Recordar: R

= R 0].
6. Z
n
, el conjunto de enteros mdulo n, donde la suma se dene de
la siguiente manera: Dados dos enteros mdulo n, los sumo y luego
calculo el resto mdulo n. Por ejemplo: si hago mis clculos en Z
6
=
0, 1, 2, 3, 4, 5, al sumar: 2 + 5 el resultado ser obviamente 7 y
cuando a ste ltimo le calculo su resto mdulo 6 obtenemos 1.
Luego, la suma de 2 con 5 en Z
6
arroja como resultado 1.
7. Pruebe que el conjunto de permutaciones de n elementos con la
composicin forma un grupo (que se denota S
n
).[Ayuda: Observe el
Teorema 5 del Apndice del Mdulo 2] Cul es el orden de dicho
grupo?
8. Para los ejercicios anteriores que forman grupo, decida cules de
ellos son abelianos. (Para el ltimo caso pruebe con n = 3).
2
4.1.3. Ejemplos.
1. Consideremos el conjunto X = Z y veamos que las siguientes apli-
caciones son operaciones binarias denidas en este conjunto:
a) a b = a + b + 7
b) a b = b
c) a b = 2
(i) (G1): Si a, b Z, sabemos que a+b Z, con lo cual a+b+7
Z. Esto dice que nuestra operacin es cerrada en Z.
(G2) Asociatividad:
(a b) c = (a b) + c + 7 = (a + b + 7) + c + 7 = a + b + c + 14
a (b c) = a + (b c) + 7 = a + (b + c + 7) + 7 = a + b + c + 14
Vemos que ambas formas de componer dan lo mismo, luego esto
dice que es asociativa.
(G3) Existencia de Neutro: Debemos ver si existe un elemento
e en Z de manera tal que, cualquiera sea a Z se cumpla que
a e = e a = a. Con vistas a deducir quin es nuestro neutro e,
planteamos la ecuacin a e = a: a + e + 7 = a, de donde tiene que
ser e + 7 = 0, es decir, e = 7 Z.
(G4) Veamos que todo a Z tiene un inverso respecto de . Para
ello debe ocurrir que, dado a Z, exista a

Z de manera tal que

a a

= a

a = e. Pero a a

= e a + a

+ 7 = 7. Luego ser
a

= a 14 el inverso de a respecto de .
Se puede ver fcilmente que esta operacin es conmutativa (hac-
er!).
(ii) y (iii) quedan como ejercicios para el alumno.
A esta altura ud. ya habr probado que (Z, +), (Q, +), (R, +),
(C, +) son modelos de grupos abelianos. Dado que la operacin in-
volucrada all es la suma, stos se denominan grupos aditivos.
Tambin pueden encontrarse ejemplos de conjuntos con opera-
ciones binarias que no tienen estructura de grupo. Ejemplos de ello
son:
a) (N, +): pues si bien al sumar dos nmeros naturales obtengo
otro nmero natural (cerrada), este conjunto carece de elemento
neutro, como as tambin ningn elemento tiene inverso respecto
de +.
3
b) (N
0
, +): a nuestro conjunto del ejemplo anterior le hemos incor-
porado ahora un elemento neutro, a saber: 0. Sin embargo, los
restantes elementos siguen sin tener inverso aditivo.
c) (R, .): aqu la operacin es cerrada, pues multiplicar dos nmeros
reales da como resultado otro nmero real, . es asociativa, el
neutro del producto es 1, pero 0 carece de inverso. Lo mismo
puede decirse de (Q, .) y (C, .).
En cambio, s tendrn estructura de grupo: (Q

, .), (R

, .) y
(C

, .), donde Q

denota a los racionales sin el cero (anlogamente

para R

y C

).
Dado que en estos grupos la operacin considerada es el produc-
to, se denominan grupos multiplicativos.
En general el signo + se utiliza en el caso de grupos abelianos
(aunque el grupo no sea un conjunto numrico), y se usa la notacin
multiplicativa para grupos en general.
2. Daremos ahora un ejemplo geomtrico: Consideremos un tringulo
equiltero y llamemos a sus vrtices A, B y C. Hay exactamente
seis transformaciones distintas que llevan a en s mismo. Estas
transformaciones se denominan simetras y se pueden describir de
la siguiente manera: Supngase que nombra los vrtices en sentido
horario, y que llamamos i a la identidad, r a la rotacin (en sentido
horario tambin) de 120
o
, s a la rotacin de 240
o
. Adems llamamos
x a la simetra que ja A e intercambia B con C, llamamos y a la
simetra que ja C e intercambia A con B, y por ltimo, denomi-
namos z a la simetra que ja B e intercambia A con C. Nombremos
G

al conjunto de tales simetras, es decir:

G

= i, r, s, x, y, z
y veamos que G

con la composicin forma un grupo: Sabemos que

la composicin de dos simetras es una nueva simetra, luego la op-
eracin composicin es cerrada. Ms an, podemos dar la tabla de
"multiplicar"(componer) de G

.
i r s x y z
i i r s x y z
r r s i y z x
s s i r z x y
x x z y i s r
y y x z r i s
z z y x s r i
4
El elemento que est en la misma la que y y en la columna de
s se obtuvo componiendo y s. Del mismo modo se encuentra el
resto de la tabla. Pruebe, como ejercicio, que se cumplen todos los
axiomas de grupo. Nombre al inverso de cada elemento.
4.1.4. Propiedades del lgebra de Grupos.
En lo que sigue, consideramos un grupo (G, ), y sean a, b, c elementos
de G, y e el neutro de G.
Regularidad (a izquierda): Si a b = a c, entonces b = c.
Demostracin. Por hiptesis:
a b = a c .
Como G es grupo, todo elemento tiene inverso respecto de . En particular
a lo tiene, llammoslo a

. Si componemos a izquierda en ambos miembros

de la igualdad con a

obtenemos:
a

(a b) = a

(a c) .
Pero es asociativa, de modo que la ecuacin anterior equivale a la siguiente:
(a

a) b = (a

a) c .
O lo que es igual:
e b = e c .
De donde se sigue: b = c como queramos.
De igual manera se puede probar la regularidad a derecha.
Teorema 4.1.1. En un grupo (G, ), la ecuacin ax = b tiene solucin
y adems sta es nica.
Demostracin. Denotamos por a

al inverso de a respecto de . Si
tomamos x = a

b, se verica nuestra ecuacin. En efecto:

a (a

b) = (a a

) b = e b = b
Esto prueba la existencia de un elemento en G que verica la ecuacin.
Veamos ahora que dicho elemento es el nico en G con esa propiedad: Para
ello, supongamos que existe y en G con la misma propiedad que nuestro x,
5
es decir, a y = b, y veamos que entonces y tiene que conincidir con x:
x =e x por (G3)
=(a a

) x por (G4)
=(a

a) x por (G4)
=a

(a x) por (G2)
=a

b por hiptesis
=a

(a y) por hiptesis
=(a

a) y por (G2)
=e y por (G4)
=y por (G3)

Observacin: En el caso de tener escrito el grupo notacin aditiva, es

decir, (G, +) (la cual se usa exclusivamente cuando el grupo es abeliano), se
conviene en utiliza a en lugar de a

para el inverso (aditivo) de a, y 0 en

lugar de e para el neutro. De ese modo, la ecuacin anterior toma la forma:
a + x = b, y la (nica) solucin es x = a + b = b a.
Si el grupo est escrito en notacin multiplicativa, es decir (G, .), la cual
se puede usar tanto para grupos abelianos como para los que no lo son, se
utiliza en general la notacin a

en lugar de a

y 1 en lugar de e. En ese
caso, la ecuacin queda: a.x = b, y su solucin: x = a
1
.b.
Probemos ahora la Unicidad del Neutro.
Teorema 4.1.2. Si (X, ) es un conjunto con una operacin binaria, y
posee un elemento neutro e, entonces e es el nico elemento neutro de X.
Demostracin. Supongamos que existen en X dos elementos neutros,
digamos e y e

, y veamos que en realidad tienen que ser el mismo:

e = e e

= e

donde la primera igualdad se tiene por ser e

neutro, mientras que la segunda

igualdad se da por ser e neutro.
En (G4) armbamos que para todo elemento a de un grupo (G, ) existe
un inverso. Veamos que no puede tener ms de uno. Es decir, probemos la
Unicidad del Inverso.
Teorema 4.1.3. Sea (G, ) un grupo y a un elemento de G, entonces
existe un nico a

G tal que a a

= a

a = e.
Demostracin. Sabemos por (G4) que, dado a en G existe a

G tal
que a a

= a

a = e, pero all no dice que a

sea el nico elemento de G

que cumple esto.
6
Supongamos entonces que existe tambin a

G de modo que a a

=
a

a = e Entonces:
a

=a

e por (G3)
=a

(a a

) por (G4)
=(a

a) a

por (G2)
=e a

por (G4)
=a

por (G3)
como queramos.
Observacin: Podramos haber dado otra prueba de este ltimo resul-
tado utilizando la existencia y unicidad de solucin de la ecuacin ax = b.
Tomando b = e, sabemos por (G4) que x = a

es solucin de dicha ecuacin.

Luego por el teorema, sta tiene que ser la nica solucin.
Aunque parezca sumamente obvio, tal vez este ltimo teorema merezca
algo ms de reexin; me dice:
(1) Si al componer dos elementos de G obtengo el neutro, cada uno es
inverso del otro.
(2) Si dos elementos tienen el mismo inverso, entonces tienen que ser el
mismo! (por unicidad).
Veamos cmo aplicar estas ideas:
Proposicin 4.1.4. Sea G un grupo y a un elemento de G. Entonces
tenemos: (a

= a.
Demostracin. Como a est en G, por (G4) existe a

en G tal que
(i) a a

= a

a = e.
Como a

est en G, por (G4) existe (a

en G tal que
(ii) a

(a

= (a

= e.
Ahora: (i) dice que a

es inverso de a, y (ii) dice que (a

es inverso de a

.
Pero probamos que el inverso es nico. Luego tiene que ser: (a

= a.
Probemos ahora un resultado muy til:
Proposicin 4.1.5. Sea G un grupo. Si a a = a entonces tiene que
ser a = e.
Demostracin. En efecto, si tenemos
a a = a ,
7
componiendo a ambos miembros con a

(que est en G, pues G es grupo):

a

(a a) =a

a
(a

a) a =e (G2) y (G4)
e a =e (G4)
a =e por (G3)
como queramos.
Proposicin 4.1.6. Sea G un grupo, y e el neutro de G, entonces e

= e.
Demostracin. Sabemos que e e = e , pues e es neutro. Adems,
como e es un elemento de G, por (G4) existe e

en G tal que e e

= e. Pero
entonces e tiene por inversos a e y a e

. Entonces por unicidad, es e = e

.
Teorema 4.1.7. Si (G, ) es un grupo entonces, cualesquiera sean a, b
G se tiene que (a b)

= b

.
Demostracin. Como a b G, ste elemento tiene su inverso, que
llamamos (a b)

. Luego
(a b) (a b)

= e.
Veamos ahora qu ocurre si componemos a b, a derecha como recin, con
b

:
(a b) (b

) = a (b b

) a

= a e a

= a a

= e.
Donde hemos aplicado respectivamente: (G2), (G4), (G3) y (G4). Y sta
ltima cuenta nos dice que b

es inverso de a b, pero tenamos que

(a b)

ya era inverso de a b. Luego, como el inverso probamos que era

nico, tiene que ser (a b)

= b

, que era lo que queramos probar.

4.1.5. Orden de los elementos de un grupo.
Notacin: en esta seccin utilizaremos notacin multiplicativa para nue-
stro grupo, esto es, escribiremos x.y a la composicin de x con y. Ms an,
muchas veces notaremos xy a dicha composicin.
Sea entonces un grupo G, y x un elemento de G. Se pueden denir
inductivamente las potencias enteras de x como sigue:
x
1
:=x
x
n+1
:=x
n
.x , n N.
Convenimos en denir x
0
= 1, (1 neutro de G), y adems
x
n
:= (x
1
)
n
, n N.
8
Con esto quedan denidas todas las potencias enteras de x.
Pruebe los siguientes resultados: (Ayuda: prubelos en orden)
Ejercicio 4.1.1. Sea G un grupo y a, b dos elementos de G que verican:
a.b = b.a. Pruebe, usando induccin, que a
n
.b = b.a
n
, cualquiera sea n N.
Ejercicio 4.1.2. Bajo las mismas hiptesis del ejercicio anterior, pruebe
que (a.b)
n
= a
n
.b
n
.
Ejercicio 4.1.3. Para todo elemento x de un grupo G se verica:
(x
1
)
n
= (x
n
)
1
para todo n N.
Ayuda: observe el ejercicio anterior.
Ejercicio 4.1.4. Dado un grupo G, sea x un elemento de G, y m, n
dos nmeros enteros. Entonces
(i) x
m
.x
n
= x
m+n
,
(ii) (x
m
)
n
= x
mn
.
Si G es un grupo, x
n
G para todo n Z, lo cual no signica que si
n ,= m sea x
n
,= x
m
, ms an, si el orden de G es nito seguro existen s y t
para los cuales x
s
= x
t
con s ,= t, en efecto, si x
s
fuese un elemento diferente
para cada s Z tendra una cantidad innita de elementos diferentes,
todos ellos en G, pero dijimos que G es nito, con lo cual ello es imposible.
Supngase entonces que x
s
= x
t
con s < t. Componiendo a ambos miembros
con x
s
obtenemos x
ts
= 1, con t s > 0. Esto nos permite armar que
existe un nmero natural, llammoslo n, para el cual x
n
= 1. Pero vimos que
N es un conjunto bien ordenado, luego existir un menor nmero natural
que cumple esa condicin.
Definicin 4.1.2. Sea G un grupo nito y x G. Al menor nmero
natural n que cumple que x
n
= 1 lo llamamos orden de x. Notamos o(x) =
n, o tambin [x[. En el caso en que G sea innito, o(x) se dene del mismo
modo siempre que sea un nmero nito; de lo contrario decimos que x posee
orden innito.
En la prctica, obtenemos o(x) calculando sucesivamente x
i
para i N
hasta dar con el neutro.
El siguiente Teorema provee un resultado til acerca del orden de un
elemento:
9
Teorema 4.1.8. Sea G un grupo nito y x un elemento de G de orden
m. Se tiene que
x
s
= 1 G
si y solamente si, s = mh para algn h Z.
Demostracin. Supngase que x
s
= 1. Dado que s Z, por el Algo-
ritmo de la Divisin visto en el Mdulo 1, se puede escribir:
s = mq + r , con0 r < m.
Luego
1 = x
s
= x
mq+r
= (x
m
)
q
.x
r
= x
r
,
Donde la primera igualdad es por hiptesis, la segunda por la forma de
escribir s, la tercera por el Ejercicio 4.1.4 y la ltima por ser m = o(x).
Dijimos que 0 r < m, pero si fuese r > 0 tendramos que x
r
= 1, con
r < m , y como m es el orden de x, m es el menor entero positivo para
el cual x
m
= 1. Luego, tiene que ser r = 0, con lo cual s = mq, como
armbamos.

4.1.6. Subgrupos.
Sea (G, ) un grupo y H un subconjunto no vaco de G. Decimos que H es
un subgrupo de G si (H, ) es grupo.
Ejemplo 4.1.1. Si (G, ) es un grupo, el primer subconjunto de G que
se nos ocurre es el propio G. Y est claro que (G, ) es grupo, as que G
es un subgrupo del propio G. Adems, G es no vaco pues as lo exige la
denicin, y sea quien sea G es (G3) el que nos dice cul es el elemento
que nunca puede faltar en un grupo: el neutro e. Luego, otro candidato a
ser subgrupo de G es el subconjunto e. Se puede ver que, efectivamente,
(e, ) cumple (G1) a (G4), y as, es un subgrupo de G. Vemos que esto
se puede hacer en todo grupo. Estos subgrupos se denominan triviales.
Ejemplo 4.1.2. (Q, +) es un subgrupo de (R, +).
Ejemplo 4.1.3. Sabemos que (Z, +) es un grupo, y consideremos el
conjunto
H = n Z/n = 2.m, conm Z.
Al observar detenidamente a H, vemos que no es otra cosa que el conjunto
de todos los enteros pares. Veamos que efectivamente H es un subgrupo de
Z:
1. En principio, H ,= , pues como m = 0 Z y los elementos de H
son de la forma n = 2.m, entonces n = 0 H.
10
2. Veriquemos que la suma es cerrada en H: Dados n
1
, n
2
H, sern
n
1
= 2.m
1
y n
2
= 2.m
2
para ciertos m
1
, m
2
Z. Entonces
n
1
+ n
2
= 2.m
1
+ 2.m
2
= 2.(m
1
+ m
2
),
y dado que m
1
+ m
2
Z pues ste ltimo es grupo, la ecuacin
anterior dice entonces que n
1
+ n
2
H .
Se deja como ejercicio vericar que (H, +) cumple (G2) a (G4).
Ejemplo 4.1.4. Denotemos por (K, ) al grupo de Klein de los cuatro
elementos. ste consiste del conjunto K = a, b, c, d, donde la operacin
binaria queda determinada por la tabla:
* a b c d
a a b c d
b b a d c
c c d a b
d d c b a
Como ejercicio, puede vericar ud. que (K, ) tiene estructura de grupo
abeliano. El subconjunto H = a, b de K forma efectivamente un subgrupo
de K. (ejercicio)
A esta altura quiz convenga recalcar que no cualquier subconjunto de
un grupo es subgrupo. Si tomamos H

= a, c, d, tenemos c d = b , H

.
4.1.7. Condicin Necesaria y Suciente para existencia de
Subgrupos.
El ejemplo anterior dej a las claras que no todo subconjunto no vaco
de un grupo es subgrupo. Pero, en los casos en que s estamos frente a un
subgrupo, nos vemos en la obligacin de probar que cumple (G1) a (G4).
Quisiramos no tener que trabajar tanto. Afortunadamente, el siguiente
Teorema provee una forma alternativa de chequear si un subconjunto no
vaco de un grupo es o no subgrupo.
Teorema 4.1.9. Sea (G, ) un grupo. El subconjunto no vaco H de G
es un subgrupo si y slo si se verica:
a H b H a b

H,
donde b

denota el inverso de b.
Demostracin. ) Si H es subgrupo de G, y a, b estn en H, por ser
subgrupo, se cumple (G4), luego b

H. Adems una operacin cerrada

en H, por (G1). Entonces, dado que a y b

estn en H, tambin a b

est
en H.
11
) Supongamos ahora que H es un subconjunto no vaco de G
que cumple la condicin del enunciado. Debemos probar entonces que se
cumplen (G1) a (G4):
(G3): Como H ,= , existe a H. Como a H a H a a

= e
H, por hiptesis. Luego H tiene neutro y es el mismo de G.
Obs.: Aqu sabamos que exista a

G, no sabemos an si ese a

est
en H, pero lo importante es que nos permite probar que e H. Cuando
probemos (G4) veremos que, efectivamente, si a H entonces a

H.
(G4): Sea a H. Acabamos de probar que e H. Pero por hiptesis, si
e H a H e a

= a

H, que era lo que queramos probar.

(G1): Dados a, b H, debemos probar que a b H. Como b H, y
acabamos de ver que se cumple (G4), b

H. Tenemos: a H, y b

H
entonces por hiptesis esto implica que a(b

= ab H, donde la ltima
igualdad es por la Proposicin 4.1.4.
(G2): La asociatividad es inmediata, dado que se cumple en G, y es
H G.

4.1.8. Ejemplos.
Denamos en R
2
la siguiente operacin:
(a, b) (c, d) := (a + c, b + d).
Es decir, la operacin que hemos denifo en R
2
es la suma coordenada a
coordenada.
Ejercicio 4.1.5. Pruebe que (R
2
, ) es un grupo.
Dado el grupo (R
2
, ) recin denido, consideremos el siguiente subcon-
junto H de R
2
:
H = (x, y) R
2
/ y = m.x , m R
De la denicin se ve que un elemento de R
2
estar en H si y slo si es de
la forma (x, m.x).
Veamos que H es subgrupo de G.
(i) En principio, H ,= , pues (0, 0) H.
Podramos haber exhibido otro elemento que est en H como por
ejemplo (1, m).
(ii) Es evidente que H G por la misma denicin de H.
12
(iii) Dados (x, y), (v, w) H debemos ver que (x, y) (v, w)

H.
Habr probado ud. en el ejercicio anterior que el inverso (v, w)

de (v, w) con respecto a es (v, w)

= (v, w).
Reescribiendo, hay que ver que (x, y) (v, w) H:
(x, y) (v, w) H y = m.x w = m.v y w = m.(x v)
(x v, y w) H (x, y) (v, w) H
como queramos.
4.1.9. Ejercicios.
Ejercicio 4.1.6.
Dado un grupo G, llamamos centro de G y lo notamos Z(G) al subconjunto
de G denido de la siguiente forma:
Z(G) = h G/ hg = gh g G.
Pruebe que Z(G) es un subgrupo de G (el grupo formado por los elementos
de G que conmutan con todo elemento de G.
Ejercicio 4.1.7. Pruebe que si H
1
y H
2
son subgrupos de G, entonces
H
1
H
2
tambin es subgrupo de G.
Ejercicio 4.1.8. Sea G un grupo y g un elemento de G. Notemos por
C(g) al conjunto formado por todos los elementos de G que conmutan con
g:
C(g) = h G/gh = hg.
Pruebe que C(g) es subgrupo de G. Existe alguna relacin entre los C(g)
y Z(G)? Explique.
4.1.10. Homomorsmos de Grupos.
Como cada vez que se estudia una nueva estructura en matemtica, nos
interesa conocer cules son las funciones que preservan dicha estructura.
Sean (G, ), (G

) dos grupos y una funcin f : G G

. Se dice que
f es un homomorsmo de G en G

si y slo si
f(x y) = f(x)

f(y).
Observacin: Muchos autores llaman a f simplemente morsmo, y
nosotros usaremos los dos nombres indistintamente.
13
Cuando G = G

, es decir, cuando tenemos una f : G G se llama a f

endomorsmo.
La aplicacin f : G G

que manda a todo elemento de G en el neutro

e

de G

es un morsmo.
En efecto:
f(a b) = e

= e

= f(a)

f(b).
Una tal f se conoce como morsmo trivial.
Definicin 4.1.3. Sean (G, ), (G

) grupos y f : G G

un mors-
mo entre ellos.
1. f se denomina monomorsmo si es una aplicacin inyectiva.
2. f se denomina epimorsmo si es una aplicacin suryectiva.
3. f se denomina isomorsmo si es una aplicacin biyectiva.
4. Si G = G

y f es una biyectiva, se dice que f es un automorsmo.

Observacin:Dos grupos isomorfos son de alguna manera la misma cosa
slo que, tal vez, escritos de diferente manera.
Veamos ahora algunos resultados acerca de grupos y morsmos:
Proposicin 4.1.10. Sean (G, ), (G

) grupos y f : G G

un
morsmo entre ellos. Entonces f manda el neutro e de G en el neutro e

de
G

.
Demostracin. En efecto
f(e) =f(e e) por ser e neutro de G
=f(e)

f(e) pues f es morsmo de grupos

Llegamos a que f(e)

f(e) = f(e) en el grupo G

, luego por la Proposicin

4.1.5, tiene que ser f(e) = e

.
Advertencia: En adelante, y hasta prximo aviso, usaremos notacin
multiplicativa para trabajar con nuestros grupos. Ms an, si a, b G, y
x, y G

, escribiremos a.b o ab indicando la composicin de a con b en G,

as como tambin notaremos x.y o xy para la composicin de x con y en
G

. Suponemos que el lector a esta altura puede comprender dnde se est

produciendo la composicin. Tambin, salvo que haga falta hacer distincin,
hablaremos de grupos G y G

sin explicitar la operacin en cada uno.

La siguiente proposicin dice que si tenemos un morsmo entre dos gru-
pos, se obtiene el mismo resultado invirtiendo un elemento y calculando
su imagen que calculando la imagen del elemento para luego invertir este
ltimo. Ms precisamente:
14
Proposicin 4.1.11. Dados G, G

grupos y f : G G

un morsmo
entre ellos, se tiene que
[f(a)]
1
= f(a
1
)
Demostracin. Sabemos por (G4) que, para todo a G existe a
1

G tal que
a.a
1
= e .
Luego, aplicando f a ambos miembros:
f(a.a
1
) =f(e)
f(a).f(a
1
) =e

pues f es morsmo y por Proposicin 4.1.10.

La ltima ecuacin dice que f(a
1
) es inverso de f(a). Pero sabemos que
el inverso de f(a) es [f(a)]
1
. Luego, por unicidad, tenemos que f(a
1
) =
[f(a)]
1
.

4.1.11. Ncleo de Homomorsmos de Grupos.

Definicin 4.1.4. Sea f : G G

un homomorsmo de grupos, se
denomina ncleo de f al conjunto formado por todos los elementos de G
que tienen por imagen al neutro de G

. Es decir:
ker(f) = a G/ f(a) = e

Recordemos que, dados dos conjuntos A y B, una funcin g : A B,

un subconjunto C de B, la preimagen (o imagen inversa) de C por g se
dena por:
g
1
(C) = x A/g(x) C.
Luego, es claro que ker(f) = f
1
(e

).
Proposicin 4.1.12. Sea f : G G

homomorsmo de grupos. En-

tonces ker(f) es un subgrupo de G.
Demostracin. (i) De la Proposicin 4.1.10 sabemos que f(e) =
e

, luego esto dice que e G est en la preimagen de e

, es decir,
e ker(f), con lo cual ker(f) ,= .
(ii) Que ker(f) est incluido en G se ve de la misma denicin de ker(f).
(iii) Si a, b son dos elementos en ker(f), debemos ver que a.b
1
ker(f).
Como b est en el ker(f), se tiene que f(b) = e

.
Pero entonces [f(b)]
1
= (e

)
1
.
El lado izquierdo de la ltima ecuacin es igual a f(b
1
) por
Proposicin 4.1.11 y el lado derecho es igual a e

por Proposicin
15
4.1.6. Es decir que f(b
1
) = e

, pero eso dice que b

1
ker(f). As,
tenemos: a, b
1
ker(f). Ahora es fcil ver que a.b
1
ker(f):
f(a.b
1
) = f(a).f(b
1
) = e

.e

= e

.
Donde hemos usado que f es morsmo ms lo que acabbamos de
ver: que a y b
1
estn en ker(f). La ecuacin nal dice bien que
a.b
1
ker(f).

Proposicin 4.1.13. Sea f : G G

morsmo de grupos. Armamos

que: f es monomorsmo si y slo si ker(f) = e.
Demostracin. ) Supongamos que f es monomorsmo, es decir,
f inyectiva. Para ver que ker(f) = e debemos ver que se dan las dos
inclusiones, es decir: ker(f) e y ker(f) e.
) Esta inclusin es inmediata pues, dado que f(e) = e

, por Proposicin
4.1.10, lo cual dice que e ker(f).
) Debemos ver ahora que el nico elemento de G que va a parar al
neutro de G

es e. Supngase que se tiene a G y que f(a) = e

. Ya dijimos
que f(e) = e

y, como f es inyectiva, tiene que ser a = e. Es decir que en

este caso el ncleo tiene como nico elemento a e.
) Supongamos ahora que ker(f) = e y veamos que entonces tiene
que ser f inyectiva: Sean x, y G tales que f(x) = f(y). Componiendo
ambos miembros con [f(y)]
1
obtenemos:
f(x).[f(y)]
1
= f(y).[f(y)]
1
.
Y por Proposicin 4.1.11 esta igualdad equivale a
f(x).f(y
1
) = f(y).f(y
1
) ,
que por ser f morsmo se puede escribir
f(x.y
1
) = f(y.y
1
) = f(e) = e

,
lo cual dice que x.y
1
ker(f), pero ker(f) = e por hiptesis. Luego
x.y
1
= e de donde se obtiene, componiendo ambos miembros con y, x = y
como desebamos.
4.1.12. Imagen de Homomorsmos de Grupos.
Recordemos que, dados dos conjuntos A y B, y una funcin f : A B,
decamos que la imagen de A por f era el subconjunto de B formado por
todos los elementos que eran correspondientes de algn elemento de A. Ms
precisamente:
16
Im(f) = y B/x A f(x) = y ,
o ms concisamente:
Im(f) = f(x)/x A.
Probaremos ahora un bonito resultado acerca de subgrupos y homomor-
smos:
Teorema 4.1.14. Sea f : G G

un homomorsmo de grupos, y sea

H un subgrupo de G. Entonces, la imagen por f de H es un subgrupo de
G

.
Demostracin. Debemos ver entonces que f(H) = f(x)/x H es
subgrupo de G

.
(i) Dado que H es subgrupo de G, e H.
Luego, e

= f(e) f(H), de donde f(H) ,= .

(ii) Es claro que f(H) G

por la misma denicin de f(H).

(iii) Dados z, w f(H), debemos ver que z.w
1
f(H).
Como z, w f(H), existen respectivamente x, y H tales que
f(x) = z, f(y) = w.
Tenemos entonces:
z.w
1
= f(x).[f(y)]
1
= f(x).f(y
1
) = f(x.y
1
) ,
donde la primera igualdad ya fue comentada, la segunda proviene de
la Proposicin 4.1.11, y la ltima por ser f morsmo. Pero tenemos
que x, y H y sabemos que H es un subgrupo de G, entonces, por el
Teorema 4.1.9 tendremos que x.y
1
H. Luego z.w
1
= f(x.y
1
)
f(H), como queramos.

Observacin: Un caso particular del teorema anterior se obtiene al con-

siderar los subgrupos triviales de G, a saber: e y el propio G.
En el primer caso obtenemos que f(e) = e

es un subgrupo de G

lo cual ya sabamos. En el segundo caso obtenemos que f(G) = Im(f) es

subgrupo de G

.
4.1.13. Ejemplos.
Consideremos los grupos Z y Z
5
y la funcin
f : Z Z
5
x r
x
17
que asigna a cada x Z su resto en la divisin por 5. Veamos que f es un
homomorsmo, esto es, que f(x + y) = f(x) + f(y).
Por denicin:
f(x) =r
x
,
f(y) =r
y
,
f(x + y) =r
x+y
.
Para vericar que estamos frente a un morsmo resta ver que r
x
+r
y
= r
x+y
,
pero eso es precisamente lo que se prueba en el Ejercicio 4.1.2 (5).
Calculemos el ncleo y la imagen de este homomorsmo:
x Z, luego existen nicos q
x
, r
x
tales que
x = 5q
x
+ r
x
, y 0 r
x
< 5.
Entonces ser f(x) = r
x
.
Luego, por denicin de ncleo: f(x) = 0 si y slo si r
x
= 0, es decir, si y
slo si x es mltiplo de 5. Por otro lado, es claro que f es un epimorsmo,
es decir, Im(f) = Z
5
.
4.1.14. Relaciones de Equivalencia en un Grupo.
Esta seccin es de importancia fundamental en lgebra. En el Apndice
del Mdulo 2 tuvimos ya un primer contacto con las relaciones de equiva-
lencia. Slo que en aquel momento el conjunto sobre el cual denamos la
relacin o bien no tena estructura de grupo, o bien no nos interesbamos
demasiado por dicha estructura. Pero ahora queremos denir una relacin
de equivalencia en un grupo y pretendemos estudiar el vnculo que existe,
o debera existir entre ambas cosas.
Ms precisamente, dada una relacin de equivalencia denida en un grupo
G, quisiramos dar respuesta a las siguientes preguntas:
1. Si tengo a a

y b b

, Pasar que ab a

?
2. Dado que tengo en G estructura de grupo, ser que puedo darle
estructura de grupo tambin a G/ ?
Como veremos a continuacin, la respuesta a la primer pregunta es,
en general, negativa. Por ello le daremos un nombre especial a aquellas
relaciones de equivalencia que s cumplan esa condicin.
18
Definicin 4.1.5. Dada una relacin de equivalencia denida en un
grupo (G, .), diremos que es compatible con la composicin . de G si cada
vez que a a

y b b

se tiene que a.b a

.b

, para todos a, a

, b, b

G.
El siguiente ejemplo muestra que no toda relacin de equivalencia es
compatible con la estructura del grupo en la cual se deni:
Ejemplo 4.1.5. Consideremos el grupo Z de los enteros y la siguiente
particin del mismo: el conjunto Z
+
de los enteros positivos, Z

de los
negativos y 0.
Ya vimos que tener esta particin de Z es equivalente a tener denida all una
relacin de equivalencia, donde todos los enteros positivos sern equivalentes
entre s, lo mismo ocurrir con los negativos, y el 0 ser el nico elemento
en su clase. Tomemos entonces a = 2, a

= 5, b = 2, b

= 10. Es claro,
por lo que acabamos de decir que 2 5 y 2 10, sin embargo cuando
hago: 2 + (2) = 0 8 = 2 + (10).
Luego no es compatible con +.
Veamos ahora un ejemplo de una relacin de equivalencia que s es com-
patible con la estructura del grupo en el cual se deni sta.
Ejemplo 4.1.6. Tomemos nuevamente a Z como nuestro grupo, y con-
sideremos en l la congruencia mdulo n que ya hemos visto antes (Apndice
Mdulo 2). Recordemos su denicin: a
n
b n[a b. Supngase ahora
que a
n
a

y b
n
b

, esto dice:
n[a a

y n[b b

, pero entonces por el Ejercicio 2 de Divisibilidad,

n[(a a

) + (b b

) = a + a

(b + b

), pero como n[a + a

(b + b

),
esto dice que a + a

b + b

, que era lo que queramos probar. Luego, la

congruencia mdulo n es compatible con la operacin de grupo + denida
en Z.
Ahora nos ocuparemos de dar respuesta a la segunda pregunta aunque,
como veremos, est ntimamente relacionada con la primera.
En efecto, si tenemos una relacin de equivalencia denida en nuestro
grupo (G, .), nos parecera lo ms natural denir una operacin * en G/
de la siguiente manera: el producto
1
de la clase [a] por la clase [b] como
la clase [a.b], pero cmo sabemos si con esta denicin vamos a llegar a
buen puerto? No nos olvidemos, que [a] es un subconjunto de G y pueden
pertenecer a l muchos elementos de G, y lo mismo ocurre con [b]. Luego,
si a

[a] y b

[b], tambin podra haber denido [a]

2
[b] = [a

.b

].
Pregunta: Hay alguna garanta de que deniendo el producto de esta otra
forma obtenga el mismo resultado que antes? Donde ahora iguales se reere
a iguales como elementos de G/ , es decir, como clases de equivalencia de
G.
19
Justamente la respuesta se encuentra en la denicin que hemos dado de
compatibilidad:
Como a [a], a

[a], b [b], b

[b], esto dice que a a

, b b

. Y si la
relacin de equivalencia es compatible con . , tendremos que a.b a

.b

,
o lo que es igual: [a.b] = [a

.b

].Luego:
[a]
1
[b] = [a.b] = [a

.b

] = [a]
2
[b] ,
Donde la primera y tercera igualdad corresponden a las deniciones de am-
bos productos, y la segunda igualdad es producto de la compatibilidad ya
comentada.
Resumiendo: Cuando tenemos una relacin de equivalencia en un grupo,
compatible con el producto denido en l, el proceso de multiplicar dos clases
de equivalencia se puede hacer tomando un elemento cualquiera en cada
clase, multiplicarlos usando la operacin del grupo, y luego calcular su clase.
Se suele decir entonces, cuando la relacin de equivalencia es compatible con
el producto del grupo, que el producto de clases queda "bien denido"(no
hay ambigedades).
Ejemplo 4.1.7. Volvamos a nuestro ejemplo de los enteros (Z, +) con
la congruencia mdulo n. Vimos que haba n clases de equivalencia, a saber:
[0], [1], . . . , [n 1]. Vimos que
n
era compatible con + en Z.
Luego, est bien denida la suma de clases en Z
n
, que tambin llamamos
+.
Tomemos por ejemplo n = 6. En ese caso tendremos Z
6
=
[0], [1], [2], [3], [4], [5].
La discusin anterior justica por qu [1] + [2] = [3], [4] + [5] = [3], etc.
4.1.15. Grupos Cclicos.
La nocin de isomorsmo nos permitir clasicar nuestros grupos. Como
dijimos antes, dos grupos isomorfos sern para nosotros indistinguibles. Ms
concretamente: si nos encontramos con un grupo H que para nosotros es
completamente desconocido, y podemos probar que H es isomorfo a un
grupo G del cual conocemos sus propiedades, el hecho de que sean isomorfos
nos dice que no es necesario estudiar qu caractersticas tiene H: tendr
todas las mismas propiedades que nuestro conocido G.
Definicin 4.1.6. Decimos que G es un grupo cclico si existe un x
en G tal que todo elemento de G es de la forma x
s
con s Z. Si ste es el
caso se dice que G est generado por x, o que x es un generador de G, y
lo notamos G =< x >.
20
Ejercicio 4.1.9. Escriba la denicin anterior en notacin aditiva. Ver-
ique que Z es un grupo cclico innito cuyos (nicos) generadores son 1 y
-1.
Si G est generado por x y ocurre que x
i
,= x
j
para todo i ,= j, es decir
que el conjunto
G = . . . , x
3
, x
2
, x
1
, 1, x, x
2
, x
3
, . . .
tiene todos elementos diferentes, diremos que G es un grupo cclico
innito, y notaremos por C

a tales grupos.
Ejemplo 4.1.8. Probemos que (Z, +) es grupo cclico innito.
Demostracin. Si fusemos capaces de construir un isomorsmo
entre Z y C

nuestro problema estara solucionado. Supngase que x es un

generador de C

. Dado que 1 es un generador de Z, parece que lo natural

sera que lleve el 1 en x. Adems deseamos que sea un morsmo de
grupos, es decir, que (m + n) = (m).(n). Luego queremos que ocurra
(2) = (1 + 1) = (1).(1) = x.x = x
2
.
Anlogamente debera ocurrir que (n) = x
n
.
Inspirados en esta idea, denimos justamente:
: Z C

n x
n
Vemos que a cada n Z le corresponde una potencia x
n
C

, pero adems
sabemos que esas potencias son distintas para distintos n, luego es una
biyeccin. Veamos que tambin es un morsmo de grupos:
(m + n) = x
m+n
= x
m
.x
n
= (m).(n) ,
donde las igualdades de los extremos son por la denicin de , y la segunda
es por el Ejercicio 4.1.4 (i).
Esto concluye nuestra prueba.

Estudiemos ahora el siguiente caso: Tenemos un grupo cclico G que

tiene un generador x cuyas potencias no sean todas diferentes. Consideremos
entonces el menor n tal que el siguiente conjunto tenga todos sus elementos
diferentes:
A = 1, x, x
2
, . . . , x
m1

Como G est generado por x, el conjunto anterior no es otra cosa que el

propio G.
Adems, armamos que n es justamente el orden de x, es decir, n es el
menor entero positivo para el cual x
n
= 1.
21
En efecto, sabemos que x
n
tendr que ser algn x
i
de los que gura en
el conjunto anterior, puesto que as denimos ese conjunto. Pero si x
n
= x
i
,
como 0 i < n, se tiene que x
ni
= 1. Y si fuese 0 < i < n tendramos
que 0 < n i < n y x
ni
A contradiciendo la minimalidad de n con esa
propiedad. Luego tiene que ser i = 0, con lo cual x
n
= x
0
= 1. Ms en
general, si k Z es arbitrario, por el algoritmo de la divisin: k = nq + r,
con 0 r < n, de donde:
x
k
= x
nq+r
= (x
n
)
q
.x
r
= 1
q
.x
r
= x
r
.
Esto nos dice que toda potencia de x coincide con alguno de los n elementos
listados anteriormente (los cuales, como dijimos, son todos diferentes).
Diremos entonces que G es un grupo cclico de orden n y lo notaremos
C
n
El grupo formado por los enteros mdulo n con la suma, llamado Z
n
es
el ejemplo ms directo de grupo isomorfo a C
n
. Ms an, se puede ver que
la funcin : Z
n
C
n
dada por (s) = x
s
, es isomorsmo.
Una manera de generar nuevos ejemplos de grupos es combinando de
alguna forma los ya conocidos. Por ejemplo, conocidos A y B, (dos grupos
escritos multiplicativamente), se puede considerar lo que se denomina pro-
ducto directo A B del siguiente modo:
Como conjunto, AB est formado por pares ordenados (a, b), donde a A
y b B, y la operacin entre dos pares (a
1
, b
1
) y (a
2
, b
2
) est denida por:
(a
1
, b
1
)(a
2
, b
2
) = (a
1
a
2
, b
1
b
2
) ,
donde la primera coordenada del segundo miembro se obtiene operando
en A, y la segunda coordenada del segundo miembro se obtiene operando
en B.
Ejercicio 4.1.10. Pruebe que, efectivamente, A B tiene estructura
de grupo.
Ejemplo 4.1.9. Liste los elementos de C
2
C
3
y C
2
C
4
. Pruebe que
C
2
C
3
y C
6
son isomorfos, pero que C
2
C
4
y C
8
no lo son.
Demostracin. Listemos primero los elementos de C
2
C
3
y probemos
que es isomorfo a C
6
: Supngase que x es un generador de C
2
e y es un
generador de C
3
, esto es:
< x >= 1, x = C
2
< y >= 1, y, y
2
= C
2
.
Por denicin tendremos que
C
2
C
3
= (1, 1), (1, y), (1, y
2
), (x, 1), (x, y), (x, y
2
) .
Deseamos hallar un elemento de C
2
C
3
que lo genere, es decir, un elemento
de orden 6. Como x es generador de C
2
e y es generador de C
3
, un buen
22
candidato a ser elemento de orden 6 nos parece z = (x, y). Veamos que as
es:
z =(x, y) , z
2
=(1, y
2
) , z
3
= (x, 1) ,
z
4
=(1, y) , z
5
=(x, y
2
) , z
6
= (1, 1) .
Pero (1, 1) es el neutro de C
2
C
3
, y lo que acabamos de probar es que z
s
recorre todos los elementos de C
2
C
3
cuando s vara entre 0 y 5. Esto nos
dice, en denitiva, que C
2
C
3
es un grupo cclico de orden 6, y por ende,
isomorfo a C
6
.
Demostracin. Listemos ahora los elementos de C
2
C
4
y veamos
que ste no es isomorfo a C
8
: Si w es un generador de C
4
, tenemos:
< w >= 1, w, w
2
, w
3
= C
4
.
Por ende tendremos:
C
2
C
4
= (1, 1), (1, w), (1, w
2
), (1, w
3
), (x, 1), (x, w), (x, w
2
), (x, w
3
) .
Para ver que no ocurre lo mismo que en el caso anterior, es decir, que no
podemos hallar un elemento de orden 8 en este caso, analizamos entonces
los rdenes de sus elementos.
Ellos son, respectivamente:
1 , 4 , 2 , 4 , 2 , 4 , 2 , 4 .
Dado que no hay un elemento de orden 8, C
2
C
4
y C
8
no pueden ser
isomorfos.

El ser C
2
C
3
isomorfo a C
6
es un caso particular del siguiente resultado:
Teorema 4.1.15. Dados m, n N. Si mcd(m, n) = 1 entonces
C
m
C
n
C
mn
.
Demostracin. Nuestra estrategia es igual a la que seguimos en el
caso de C
2
C
3
C
6
: Tomemos un generador x de C
m
, un generador y de
C
n
, y propongamos como candidato a generador de C
m
C
n
al elemento
z = (x, y). Como z C
m
C
n
, z tiene un cierto orden, digamos r. Lo que
debemos probar es que justamente r = mn. Como o(z) = r, tendremos que
z
r
= (1, 1) (el neutro de C
m
C
n
).
Pero z
r
= (x, y)
r
= (x
r
, y
r
), de donde se deduce que x
r
= 1 C
m
e
y
r
= 1 C
n
. Y esto, por el Teorema 4.1.8 implica que r es un mltiplo de
m y lo mismo de n. Pero r es el menor entero positivo que cumple z
r
= 1
por ser r = o(z), luego tiene que ser el mnimo comn mltiplo entre m y
n. Pero vimos en el Teorema 1.7.2 del mdulo 1 que mcm(m, n) =
mn
mcd(m,n)
y aqu es mcd(m, n) = 1.
En denitiva: r = mcm(m, n) =
mn
mcd(m,n)
= mn.
23
Pero, dado que [C
m
C
n
[ = mn , y encontramos un elemento z de ese
orden, tiene que ser C
m
C
n
cclico y por ende isomorfo a C
mn
.

4.1.16. Clases laterales y Teorema de Lagrange.

En esta seccin probaremos un bonito y til resultado de la teora de
grupo: el Teorema de Lagrange. El mismo dejar entrever que esta teora
esconde un sinnmero de elegantes resultados.
El teorema dice que, dado un grupo nito G, si H es un subgrupo de G,
entonces [H[ divide a [G[. Esto dice entonces que un grupo de orden 20
puede tener solamente subgrupos de rdenes 1, 2, 4, 5, 10 y 20. La idea
de la prueba es particionar a G en partes que tengan todas el tamao de
H. As, si G queda fragmentado en k partes, tendr que ser [G[ = k[H[,
obteniendo nuestro resultado.
Definicin 4.1.7. Sean G un grupo (no se pide que sea nito) y H un
subgrupo de G. Denominamos clase lateral izquierda gH de H respecto
del elemento g de G al conjunto que obtenemos de multiplicar a izquierda
por g cada elemento de H, esto es,
gH = y G/y = gh para algn h H.
Anlogamente se dene la clase lateral derecha Hg de H respecto de
elemento g:
Hg = y G/y = hg para algn h H.
Supngase que H es un subgrupo nito de G. En ese caso ser H =
h
1
, h
2
, . . . , h
n
. Si ese es el caso ser
gH = gh
1
, gh
2
, . . . , gh
n
.
Est claro que todos los elementos de gH son distintos: en efecto, supong-
amos que fuese gh
i
= gh
j
; como estamos en un grupo, sabemos que est
permitido simplicar, de donde obtenemos h
i
= h
j
. Pero entonces, dado H
de orden n, obtuvimos que gH tiene cardinal n, es decir:
[H[ = [gH[ , g G.
Ejemplo 4.1.10. Recordemos nuestro grupo G

= i, r, s, x, y, z de las
simetras de un tringulo equiltero, y consideremos el subgrupo H = i, x.
24
Calculemos las clases laterales de H en G

:
iH = ii, ix = i, x , rH = ri, rx = r, y ,
sH = si, sx= s, z , xH = xi, xx= x, i ,
yH = yi, yx= y, r , zH = zi, zx= z, s .
Notemos que solamente hay tres subconjuntos diferentes de clases laterales a
izquierda de H en G

y stas son disjuntas. Tenemos entonces una particin

de G

= ix r, y s, z .
Es frecuente confundirse, cuando el tema se ve por primera vez, ya que
la misma clase lateral puede aparecer con diferentes nombres, por ejemplo,
sH = s, z = zH. Esto sugiere que existen diferentes maneras de escribir
a G

como unin (disjunta) de clases laterales.

Ejemplo:
G

= iH sH yH o G

= rH xH zH ,
aunque dichas clases son iguales en ambos casos.
ste no es ms que un caso particular del siguiente Teorema:
Teorema 4.1.16. Sea G un grupo y H un subgrupo de G. Dados g
1
, g
2

G, las clases laterales g
1
H y g
2
H son, o bien idnticas, o bien disjuntas.
Demostracin. Probemos entonces que, si g
1
H y g
2
H tienen algn
elemento en comn, entonces tienen que coincidir.
Supongamos entonces que x G de modo que x g
1
H y x g
2
H.
Esto dice entonces que existen h
1
, h
2
H de modo que
x = g
1
h
1
y x = g
2
h
2
.
Queremos probar que si ste es el caso, se tendr que g
1
H g
2
H (la otra
inclusin se prueba del mismo modo).
Sea y g
1
H, esto dice que existe h H tal que y = g
1
h. Entonces
y =g
1
h
=(xh
1
1
)h
=x(h
1
1
h)
=(g
2
h
2
)(h
1
1
h)
=g
2
(h
2
h
1
1
h) .
Pero H es subgrupo de G, y como h, h
1
, h
2
H, h
2
h
1
1
h H, por lo tanto,
g
2
(h
2
h
1
1
h) g
2
H. Con esto probamos que g
1
H g
2
H.
La inclusin en el otro sentido es completamente anloga. De ambas inclu-
siones se obtiene la igualdad buscada.
25
Definicin 4.1.8. Al nmero de clases laterales diferentes que hay en
G se lo denomina ndice de H en G, y se lo nota: [G : H[.
La consecuencia del resultado anterior es el Teorema fundamental de
esta seccin: Teorema de Lagrange.
Teorema 4.1.17. Sea H un subgrupo de orden m de un grupo G de
orden n. Entonces m divide a n.
Demostracin. Vimos que todas las clases laterales tienen igual car-
dinal (el mismo de H), y que stas forman una particin de G. As, si hay
k clases distintas, como son disjuntas dos a dos, por la generalizacin del
Teorema 2.1.1 del Mdulo 2, se tiene que n = km, como queramos.
Observacin: En el Teorema anterior, k = [G : H[. Luego, el teorema
dice que: [G : H[ =
|G|
|H|
.
Por supuesto, los mismos razonamientos pueden hacerse trabajando con
clases laterales a derecha y tendramos iguales resultados. Sin embargo, esto
no quiere decir que las clases laterales por izquierda y por derecha originen
la misma particin de G, ni que gH = Hg, a pesar de que coinciden en
cantidad.
Algunas consecuencias del Teorema de Lagrange:
Teorema 4.1.18. Sea G un grupo nito de orden n, y x un elemento
cualquiera de G. Entonces:
(i) El orden de x divide al orden de G.
(ii) x
n
= 1.
Demostracin. (i) Sabemos que el orden del elemento x es justa-
mente el orden del subgrupo cclico < x > generado por x. Y por el
Teorema de Lagrange, el orden de < x > tiene que dividir al orden
de G.
(ii) Si [x[ = s, por (i) sabemos que s[n, es decir que existe t Z tal que
st = n. Luego, como x
s
= 1, tenemos que
x
n
= x
st
= (x
s
)
t
= 1
t
= 1 .

Teorema 4.1.19. Si G es un grupo nito de orden p, donde p es un

nmero primo, entonces
(i) Los nicos subgrupos de G son los triviales: 1 y G.
(ii) G es isomorfo al grupo cclico C
p
.
26
Demostracin. (i) Si H es un subgrupo de G, entonces por el
Teorema de Lagrange, [H[ divide a [G[ = p, pero p es primo, luego
sus nicos divisores positivos son 1 y p, de donde deber ser H = 1,
o bien H = G respectivamente.
(ii) Dado que p > 1, existe x en G, x ,= 1, cuyo orden es mayor que 1.
(Por qu?). Y sabemos que el orden de x es justamente el orden del
grupo cclico < x >, el cual es subgrupo de G. Nuevamente por el
Teorema de Lagrange, el orden de < x >,= 1 y divide a p (primo),
luego [ < x > [ = p y por ende ha de ser todo G. As, G es grupo
cclico de orden p.

4.1.17. Ejercicios.
1. Demuestre que, si bien, el grupo de Klein denido en el Ejemplo
4.1.4 tiene orden 4, no es isomorfo a Z
4
.
2. Cuntos morsmos se pueden denir de Z
2
en Z
4
? Escrbalos ex-
plcitamente.
3. Determine ahora cuntos morsmos puede haber de Z
4
en Z
2
.
4. Muestre que todo subgrupo de Z es de la forma sZ, con s Z. [Pista:
Suponga que H es un subgrupo de Z. Si el nico elemento de H es
el neutro 0 de Z, no hay nada ms que probar, pues ser H = 0Z. Si
H ,= 0, H tendr elementos positivos (Por qu?), luego HN ,= ,
y como N es bien ordenado, posee primer elemento, digamos s. Lo
que debemos ver ahora es que todo elemento de H est en sZ o
lo que es igual, es mltiplo de s. Tome cualquier elemento de H y
realice la divisin por s. Recuerde el algoritmo de la divisin en Z y
concluya el ejercicio.]
5. Cuntos morsmos se pueden denir de Z
3
en Z
3
? Escrbalos ex-
plcitamente. Todos los hallados son isomorsmos? Si no es as,
cuntos de ellos s lo son?
6. Dado el grupo Z
6
Cuntos generadores tiene, y quines son?
7. Cuntos subgrupos tiene Z
6
y cules son?
8. Cuntos morsmos existen de Z
5
en Z
6
? Escrbalos explcitamente.
9. Dado el grupo S
3
, calcule su centro. Puede hallar subgrupos de S
3
?
Tome alguno de los subgrupos no triviales que hall, y calcule las
clases laterales a izquierda y a derecha. Coinciden?
10. Ya hemos probado que (R, +) y (R

, .) son grupos (abelianos). Da-

da la funcin f : (R, +) (R

, .), denida por f(x) = e

x
. Es f
27
homomorsmo? Si lo fuera, escriba el ncleo, la imagen y diga si es
monomorsmo, epimorsmo o ninguna de estas cosas.
4.1.18. Anillos.
Nos interesa ahora estudiar un conjunto en el que tengamos denidas
ms de una operacin binaria, es decir, quisiramos investigar una sitaucin
como la que ocurre en los enteros,donde tenemos una suma y un producto,
pero en general. Por supuesto, tal como curre en Z deseamos que ambas
operaciones estn vinculadas de alguna manera.
Consideremos entonces para nuestro estudio, un conjunto A en el que
tenemos denidas dos operaciones binarias (es decir que son cerradas), que
representaremos respectivamente por + y . , es decir, tenemos una terna
(A, +, .). Decimos que A con esas operaciones es un anillo si y slo si cumple
los siguientes axiomas:
(i) El conjunto A tiene estructura de grupo abeliano respecto de +. Esto
es, (A, +) cumple (G1) a (G4) y la operacin es adems conmutativa.
(ii) (A, .) cumple (G1) a (G3), es decir: . es cerrada en A, asociativa, y
posee neutro.
(iii) Distributividad de + respecto de . : Cualesquiera sean a, b, c A se
cumple que
a.(b + c) =(a.b) + (a.c)
(a + b).c =(a.c) + (b.c) .
Si adems la operacin . es conmutativa, se dice que A es un anillo con-
mutativo.
Observacin: No estamos suponiendo que para cada elemento del anillo
exista un inverso respecto de la operacin ".".
Ejemplo 4.1.11. Claramente, nuestro primer ejemplo de anillo (conmu-
tativo) ser Z, donde + y . sern la suma y el producto usuales.
Ejemplo 4.1.12. Nuestro segundo ejemplo de anillo lo constituye Z
n
,
el conjunto de enteros mdulo n, donde la suma se deni en la Seccin
4.1.2, y el producto se dene por un procedimiento anlogo. Por ejemplo:
si multiplico 3 por 5 obtengo 15 en Z, y al calcular su resto mdulo 6,
obtenemos 3 (cero), luego 3.5=3 en Z
6
. El hecho de que esta operacin
funcione bien es consecuencia del Teorema 4.2.1.
Si bien tanto Z como Z
n
son anillos, hay algunas diferencias en su es-
tructura ms all de que uno sea nito y el otro innito: si tengo la ecuacin
a.b = a.c, donde a ,= 0, en Z puedo "simplicar
2
armar entonces que b = c.
28
Eso no es posible en Z
n
: por ejemplo, acabamos de ver que 3,5 = 3 en Z
6
,
tambin se tiene que 3,1 = 3, es decir: 3,1 = 3,5 en Z
6
sin embargo no puedo
"simplicar
2
a que no es cierto que 1 = 5 en Z
6
.
Tambin podemos dar ejemplos de anillos no conmutativos:
4.1.19. Elementos inversibles en un anillo.
Definicin 4.1.9. Decimos que el elemento x del anillo A es inversible
si existe y en A de modo tal que x.y = y.x = 1.
Ejercicio 4.1.11. Pruebe que si un elemento x en un anillo A tiene
inverso, entonces es nico.
Si x posee inverso, al (nico) elemento y que es inverso de x se lo nota
x
1
. A los elementos inversibles de un anillo tambin se los suele llamar
unidades. Al conjunto de todos los elementos inversibles de un anillo A lo
notaremos U(A).
Teorema 4.1.20. Si A es un anillo, (U(A), .) es un grupo.
Demostracin. Sean x, y elementos cualesquiera en U(A), quiero ver
primero que U(A) es cerrado con respecto al producto heredado de A: Como
x e y son inversibles, existen x
1
e y
1
. Y se tiene
(x.y).(y
1
).x
1
) = (y
1
).x
1
).(x.y) = 1 ,
lo cual dice que y
1
).x
1
es inverso de x.y, y por ende x.y U(A). Adems
. es asociativo (ya que lo es en A), 1 U(A) pues es inverso de s mismo,
y si x U(A), x
1
U(A), pues el inverso de x
1
es justamente x (puede
ud. fcilmente dar una prueba de eso). De aqu se concluye lo pedido.
4.1.20. Campos.
Definicin 4.1.10. Se denomina campo o cuerpo a todo anillo con-
mutativo, donde todo elemento distinto de 0 es tiene inverso respecto del
producto.
De esta manera, si F es un cuerpo, tenemos que U(F) = F 0.
Es inmediato vericar que Z no es un cuerpo, pues sus nicos elementos
inversibles son 1 y -1.
En general, tampoco Z
n
constituye un cuerpo (vea los ejercicios).
29
4.1.21. Ejercicios de Anillos y Campos.
Ejercicio 4.1.12. Encuentre las unidades del anillo Z
6
.
Ejercicio 4.1.13. Encuentre las unidades del anillo Z
7
.
Ejercicio 4.1.14. Sea x Z. Se dice que x es inversible mdulo m si
existe y Z tal que x.y = 1(md m).
(i) Es 4 inversible mdulo 9?
(ii) Es 3 inversible mdulo 15?
(ii) Pruebe que x es inversible mdulo m si y solamente si mcd(x, m) =
1. [Ayuda: Ver Teorema 1.7.1 del Mdulo 1].
(iv) Determine los elementos inversibles mdulo m, con m = 7, 8, 11, 14.
Qu rdenes tienen los grupos U(7), U(8), U(11), U(14)? Escrba-
los.
Ejercicio 4.1.15. Pruebe que si p es un nmero primo, entonces todo
elemento no nulo de Z
p
es inversible. Se concluye que Z
n
es un cuerpo si y
slo si n es primo.
30
4.2. Congruencias
Para un mejor entendimiento de los temas, se recomienda haber ledo
lo referente a relaciones de equivalencia y particiones visto en el Apndice
del mdulo anterior, pues se retoman aqu algunas ideas explicadas ya en
profundidad.
Una de las ms familiares particiones de un conjunto es la particin de
Z en enteros pares y enteros impares. Es decir Z es la unin disjunta del
conjunto de nmeros pares y el de los nmeros impares. Es claro que dos
nmeros x
1
, x
2
tienen la misma paridad si x
1
x
2
es divisible por 2. Para
expresar este hecho es usual la notacin
x
1
x
2
(m od 2)
y se dice que x
1
es congruente a x
2
mdulo 2. Es decir x
1
y x
2
son ambos
pares o ambos impares si y slo si x
1
es congruente a x
2
mdulo 2.
Claramente esta denicin se puede extender a cualquier entero positivo
m.
Definicin 4.2.1. Sean x
1
y x
2
enteros y m un entero positivo. Diremos
que x
1
es congruente a x
2
mdulo m, y escribimos
x
1
x
2
(m od m)
si x
1
x
2
es divisible por m.
Es fcil vericar que la congruencia mdulo m verica las siguientes
propiedades
(1) Es reexiva es decir x x (m od m).
(2) Es simtrica, es decir si x y (m od m), entonces y x (m od m).
(3) Es transitiva, es decir si x y (m od m) e y z (m od m), entonces
x z (m od m).
La demostracin de estas tres propiedades se dio en el Apndice del Mdulo
2.
La utilidad de las congruencias reside principalmente en el hecho de que
son compatibles con las operaciones aritmticas. Especcamente, tenemos
el siguiente Teorema.
Teorema 4.2.1. Sea m un entero positivo y x
1
, x
2
, y
1
, y
2
enteros tales
que
x
1
x
2
(m od m), y
1
y
2
(m od m).
Entonces
(i) x
1
+ y
1
x
2
+ y
2
(m od m), (ii) x
1
y
1
x
2
y
2
(m od m).
31
Demostracin. (i) Por hiptesis tenemos que existen enteros x, y tales
que x
1
x
2
= mx e y
1
y
2
= my. Se sigue que
(x
1
+ y
1
) (x
2
+ y
2
) = (x
1
x
2
) + (y
1
y
2
)
= mx + my
= m(x + y),
y por consiguiente el lado izquierdo es divisible por m, como queramos
demostrar.
(ii) Aqu tenemos
x
1
y
1
x
2
y
2
= (x
1
x
2
)y
1
+ x
2
(y
1
y
2
)
= mxy
1
+ x
2
my
= m(xy
1
+ x
2
y),
y de nuevo el lado izquierdo es divisible por m.
Ejemplo 4.2.1. Sea (x
n
x
n1
. . . x
0
)
10
la representacin del entero posi-
tivo x en base 10. Probar que
x x
0
+ x
1
+ + x
n
(m od 9)
y use este resultado para vericar el siguiente clculo
54 321 98 765 = 5 363 013 565.
Demostracin. Observemos primero que 10
k
1 (mod 9). Hagamos
esto por induccin. Si k = 0 el resultado es obvio. Supongamos que 10
k1

1 (mod 9), como 10 1 (mod 9), por (ii) del Teorema 4.2.1, obtenemos
10
k1
10 1 1 (mod 9).
Por la denicin de representacin en base 10, tenemos que x = x
0
+
10x
1
+ + 10
n
x
n
. Por el prrafo anterior y Teorema 4.2.1 obtenemos que
x
k
10
k
x
k
(m od 9) y por Teorema 4.2.1 de nuevo se deduce que x
x
0
+ x
1
+ + x
n
(m od 9).
Escribamos (x) en vez de x
0
+x
1
+ +x
n
. Hemos visto que (x) x
(m od 9). Por la parte (ii) del Teorema 4.2.1 tenemos
(x)(y) xy (m od 9),
y por consiguiente si xy = z debemos tener (x)(y) (z) (mod 9). En el
clculo que se tiene en el ejemplo
(54 321) = 15, (98 765) = 35, (5 363 013 565) = 37,
y
(15) = 6, (35) = 8, (37) = 10.
Puesto que 68 no es congruente a 10 (mod 9) se sigue que 1535 no es con-
gruente a 37 (mod 9) y que 54 32198 765 no es congruente a 5 363 013 565
(m od 9). En consecuencia el clculo est errado.
32
Este procedimiento a veces es llamado regla del nueve.
Otra propiedad importante es que a b (m od m) si y slo si a y b tienen
el mismo resto en la divisin por m: si a = mh + r
a
y b = mk + r
b
, con
0 r
a
, r
b
< m, podemos suponer, sin prdida de generalidad, que r
a
r
b
,
entonces
b a = m(k h) + (r
b
r
a
) con 0 r
b
r
a
< m.
Se sigue que r
b
r
a
es el resto de dividir b a por m. Luego a b (m od m)
si y slo si a b 0 (mod m) si y slo si m[b a si y slo si r
b
= r
a
.
As como antes podamos separar Z en los nmeros pares e impares, la
propiedad anterior nos permite expresar Z como una unin disjunta de m
subconjuntos. Es decir si Z
i
= x Z : el resto de dividir x por m es i,
entonces
Z = Z
0
Z
1
Z
m1
.
4.2.1. Ejercicios.
1. Sin hacer ninguna multiplicacin larga probar que
(i) 1 234 567 90 123 1 (m od 10)
(ii) 2468 13 579 3 (m od 25)
2. Usar la regla del nueve para vericar que dos de las siguientes ecua-
ciones son falsas. Qu se puede decir de la otra ecuacin?
(i) 5783 40 162 = 233 256 846,
(ii) 9787 1258 = 12 342 046,
(iii) 8901 5743 = 52 018 443.
3. Encontrar el resto de dividir 3
15
por 17 y el de dividir 15
81
por 13.
4. Sea (x
n
x
n1
. . . x
0
)
10
la representacin en base 10 de un entero pos-
itivo x. Probar que
x x
0
x
1
+ x
2
+ + (1)
n
x
n
(m od 11),
y use este resultado para vericar si 1 213 141 516 171 819 es divisible
por 11.
4.3. Ecuacin lineal de congruencia
Se trata primero de estudiar en general el problema de resolucin de la
ecuacin en x
(1) ax b (m od m).
33
Es fcil ver que el problema no admite siempre solucin, por ejemplo 2x 3
(m od 2) no posee ninguna solucin en Z, pues cualquiera se k Z, 2k 3
es impar, luego no es divisible por 2.
Notemos adems que si x
0
es solucin de la ecuacin (1), tambin lo es
x
0
+ km de manera que si la ecuacin posee una solucin, posee innitas
soluciones. Para evitar la ambigedad de innitas soluciones, nos limitare-
mos a considerar las soluciones tales que 0 x < m.
Ejemplo 4.3.1. La solucin general de la ecuacin 3x 7 (mod 11) es
6 + km con k Z.
Demostracin. Claramente la ecuacin admite una nica solucin x,
con 0 x < 11, a saber x = 6. Otras soluciones se obtienen tomando
6 + 11k. Por otra parte si u es tambin solucin de la ecuacin, se tiene
3u 3 6 (mod 11), por lo tanto 3(u 6) es mltiplo de 11. Como 11 no
divide a 3 se tiene que 11[(u 6), o sea u = 6 + 11k.
Analicemos ahora la situacin general de la ecuacin ax b (m od m).
Si mcd(a, m) = 1, entonces sabemos que existen enteros r y s tales que
1 = ra + sm y por lo tanto b = (rb)a + (sb)m, o sea que
a(rb) b (m od m),
es decir rb es solucin de la ecuacin.
Si mcd(a, m)[b, entonces la ecuacin
a
mcd(a, b)
x
m
mcd(a, b)
(m od
m
mcd(a, b)
)
admite solucin pues
mcd

a
mcd(a, b)
,
b
mcd(a, b)

= 1
y entonces admite solucin la ecuacin general.
Por otro lado si ax b (m od m), entonces ax b = km para algn m,
o sea
b = ax + (k)m
de la cual se sigue que si d[a y d[m, entonces d[b y por lo tanto mcd(a, m)[b.
Por lo tanto hemos demostrado que la condicin necesaria y su-
ciente para que la ecuacin ax b (m od m) admita una solucin es que
mcd(a, m)[b.
Ejemplo 4.3.2. Hallar las soluciones de la ecuacin 42x 50 (mod 76)
con 0 x < 76.
Demostracin. Tenemos que mcd(76, 42) = 2 y 2[50 y por lo tanto la
ecuacin tiene solucin. Utilizando la idea anterior de dividir por mcd(a, m)
consideramos la ecuacin 21x 25 (mod 38), la cual s tiene solucin, pues
34
mcd(38, 21) = 1. Ahora bien, si multiplicamos 21x y 25 por 2, obtenemos
la ecuacin 42x 50 (mod 38) que si tiene una solucin coprima con 38,
es solucin de la ecuacin original. Como 42 4 (mod 38) y 50 12
(m od 38), hallemos una solucin de 4x 12 (mod 38). Claramente 3 es
solucin a esta ecuacin y tambin a la ecuacin original. Ms an podemos
observar que 3 y 3 + 38 = 41 son las nicas soluciones comprendidas entre
0 y 76.
4.3.1. Ejercicios.
1. Si x
0
es solucin de la ecuacin ax b (m od m), entonces las solu-
ciones no congruentes entre s mdulo m son
x
0
, x
0
+
m
mcd(a, b)
, x
0
+ 2
m
mcd(a, b)
, . . . , x
0
+ (mcd(a, b) 1)
m
mcd(a, b)
.
2. Resolver las siguientes ecuaciones lineales de congruencia
(i) 2x 1 (m od 7) (ii) 3970x 560 (m od 2755).
4.4. Teorema de Fermat
El siguiente Lema nos sirve de preparacin para la demostracin del
Teorema (o frmula) de Fermat.
Lema 4.4.1. Sea p un nmero primo, entonces
(i) p[

p
r

, con 0 < r < p,

(ii) (a + b)
p
a
p
+ b
p
(m od p).
Demostracin. (i) Como r y p r son menores que p y p es primo,
tenemos que el factor p no aparece en la descomposicin prima de r! y
(p r)!. Como

p
r

=
p!
r!(pr)!
= p
(p1)!
r!(pr)!
es un nmero entero, tenemos
entonces que
(p1)!
r!(pr)!
es entero y p[

p
r

.
(ii) Por el Teorema del binomio (Teorema 4.3) sabemos que
(a + b)
p
=
p

i=0

p
i

a
i
b
pi
.
Por (i) es claro que

p
i

a
i
b
pi
0 (mod p), si 0 < i < p. Luego se deduce el
resultado.
El siguiente es el llamado Teorema de Fermat.
Teorema 4.4.2. Sea p un nmero primo y a nmero entero. Entonces
a
p
a (m od p).
35
Demostracin. Supongamos que a 0, entonces hagamos induccin
en a. Si a = 0, el resultado es trivial. Supongamos el resultado probado para
k, es decir k
p
k (m od p). Entonces (k + 1)
p
k
p
+ 1
p
k + 1 (mod p).
La primera congruencia es debido al Lema 4.4.1 (ii) y la segunda es vlida
por hiptesis inductiva.
Si a < 0, entonces a > 0 y ya vimos que (a)
p
a (m od p), es decir
que (1)
p
a
p
(1)a (m od p). Si p ,= 2, entonces (1)
p
= 1 y se deduce
el resultado. Si p = 2, entonces (1)
p
= 1, pero como 1 1 (mod 2),
obtenemos tambin a
p
a (m od p).
Supongamos que a y p son coprimos, por Fermat p[(a
p
a) = a(a
(p1)

1). Como p no divide a a, tenemos que p[(a

(p1)
1), es decir si a y p
coprimos entonces a
(p1)
1 (mod p). Este ltimo enunciado es tambin
conocido como Teorema de Fermat.
La funcin de Euler (n), para n 1, est denida como el cardinal
del conjunto de los x entre 1 y n que son coprimos con n. El Teorema de
Fermat admite la siguiente generalizacin, llamada Teorema de Euler: si n
un entero positivo y a un nmero entero coprimo con n, entonces
a
(n)
1 (m od n)
(ver ejercicio (4)).
4.4.1. Ejercicios.
1. Usar el Teorema de Fermat para calcular el resto de dividir 3
47
por
23.
2. Si m coprimo con n, entonces ma mb (m od n) si y solo si a b
(m od m).
3. Sean x
1
, . . . , x
k
los nmeros coprimos con n comprendidos entre 1 y
n (es decir k = (n)) y sea y coprimo con n. Entonces hay un reor-
denamiento de yx
1
, . . . , yx
k
, es decir una permutacin de 1, . . . , k,
tal que x
i
yx

i
(m od n), para 1 i k. [Ayuda: como y coprimo
con n, existe v tal que yv 1 (mod n)].
4. Demostrar el Teorema de Euler. [Ayuda: Sean x
1
, . . . , x
k
los nmeros
coprimos con n comprendidos entre 1 y n, por el ejercicio anterior
y
(n)
x
1
. . . x
k
= yx
1
. . . yx
k
x
1
. . . x
k
(m od n). Como u = x
1
. . . x
k
coprimo con n, existe v tal que uv 1 (mod n)].
36
4.5. El criptosistema RSA
Una de las aplicaciones ms elementales y difundidas de la aritmtica es
en el diseo de sistemas criptogrcos. El RSA es el ms conocido de ellos
y ser presentado en esta seccin.
Por criptosistema nos referimos a sistemas de encriptamiento o codi-
cacin esencialmente pensados para proteger la condencialidad de datos
que se desean transmitir. Entre los criptosistemas encontramos los de clave
privada y los de clave pblica. Los de clave privada son aquellos en que
tanto el emisor como el receptor conocen una funcin, digamos f y una pal-
abra, digamos x, tanto la funcin como la palabra deben ser condenciales
o ms comnmente slo la palabra debe ser condencial. Cuando el emisor
desea enviar un mensaje M, entonces aplica la funcin a M y x, es decir
M

= f(M, x), enva M

y el receptor aplica la funcin inversa y recupera

M, es decir M = f
1
(M

, x). En los sistemas de clave pblica el receptor

conoce una clave privada y (no compartida por nadie) y publicita una clave
pblica x, de la misma manera que antes si alguien desea enviar un mensaje
M al receptor debe hacer M

= f(M, x), pero el receptor para decodicar

debe hacer M = g(M

, y), donde g es una funcin adecuada. Una venta-

ja evidente de los sistemas de clave pblica es que no es necesario poner
en conocimiento del emisor ninguna clave condencial, ms an cualquier
persona puede enviar en forma condencial datos a otra persona que ha
publicitado su clave.
Rivest, Shamir y Adleman descubrieron el primer criptosistema prctico
de clave pblica, que es llamado RSA. La seguridad del RSA se basa en la
dicultad de factorizar nmeros enteros grandes. Este sistema es el ms
comnmente recomendado para uso en sistemas de clave pblica. La mayor
ventaja del RSA es que no incrementa el tamao del mensaje y que puede
ser usado para proveer privacidad y autenticacin (rma digital) en las
comunicaciones. Su principal desventaja es que su implementacin se basa
en exponenciacin de nmeros enteros grandes, una operacin que consume
recursos de la computadora, aunque esto es cada vez menos signicante.
Antes de describir el RSA digamos que se basa fuertemente en el Teo-
rema de Euler visto en la seccin anterior. En el caso del RSA se aplica al
producto de dos primos, es decir si tenemos p y q nmeros primos, es fcil
calcular (pq) = (p 1)(q 1) y entonces
a
(p1)(q1)
1 (m od pq)
si a y pq son coprimos.
En el sistema RSA cada usuario que desee recibir mensajes encriptados
hace los siguientes pasos:
1. selecciona dos primos p y q al azar y de alrededor de 100 dgitos
cada uno (longitud considerada segura en este momento),
37
2. calcula el producto pq
3. selecciona un nmero al azar e con e < pq y mcd(e, (pq)) = 1. El
nmero e es usualmente pequeo, por ejemplo podra ser 3.
4. encuentra el nico d que satisface la ecuacin
de 1 (m od (pq))
con 0 d < (pq). La existencia de este d es clara pues al ser e y
(pq) coprimos existen d y s tales que de s(pq) = 1. Ms an,
como d es positivo, claramente tambin lo es s.
5. Publicita la clave pblica (e, R) donde R = pq.
6. Obviamente no da a conocer ni p, ni q y mantiene segura la clave
privada d.
Un emisor desea encriptar un mensaje M expresado en un entero grande
pero con menos de los dgitos que tiene p o q, en este caso menos de 100
dgitos. Para ello crea el mensaje C usando la clave pblica (e, R) y calcu-
lando
C M
e
(m od R), con 0 C < R.
El receptor descifra el mensaje usando la clave privada d y calculando:
M C
d
(m od R).
Esta frmula se deduce de las siguientes congruencias mdulo pq:
C
d
M
ed
M
1+s(pq)
M
1
M
s(pq)
M
1
M (m od pq).
(por (4))
(Teorema de Euler)
El RSA tambin puede ser usado para un sistema de autenticacin
puesto que el encriptado y el desencriptado son operaciones conmutati-
vas. Esto es, para que el receptor sepa sin duda alguna quien le enva el
mensaje el emisor encripta su liacin con su clave privada d, calculando
S F
d
(m od pq) (F es la liacin). Luego la liacin puede ser vericada
por cualquiera usando la clave pblica (e, pq) del emisor, calculando F S
e
(m od pq)
4.6. Ejercicios
1. Determine todas las posibles soluciones de las congruencias
(i) 5x 1 (m od 11), (ii) 5x 7 (m od 15).
2. Sin hacer demasiadas cuentas verique que 192 837 465 564 738 291
es divisible por 11.
3. Resolver la ecuaciones
(i) 5x 12 (m od 13), (ii) x
2
x 1 (m od 11).
38
4. Cul es el ltimo dgito de la representacin en base 10 de 7
93
.
5. Usar que 1001 = 7 11 13 para construir una prueba para la
divisin para los nmero 7, 11 y 13 similar a la prueba del 9.
39
ndice alfabtico
anillo, 28
anillo conmutativo, 28
automorsmo, 14
centro de un grupo, 13
clase lateral derecha, 24
clase lateral izquierda, 24
clave pblica, 37
clave privada, 37
codicar, 37
compatible, 19
congruencia, 31
Ecuacin lineal de congruencia, 33
encriptar, 37
endomorsmo, 14
epimorsmo, 14
funcin de Euler, 36
generador, 20
grupo, 1
grupo abeliano, 2
grupo cclico, 20
grupo cclico de orden n, 22
Grupos, 1
homomorsmo de grupos, 13
inversible elemento, 29
isomorsmo, 14
mdulo m, 31
monomorsmo, 14
morsmo, 13
morsmo trivial, 14
ncleo de un homomorsmo, 15
operacin binaria, 1
Orden de un elemento, 8
orden de un elemento, 9
orden de un grupo, 2
regla del nueve, 33
RSA, 37
subgrupo, 10
subgrupos, 10
Teorema de Euler, 36
Teorema de Fermat, 35
Teorema de Lagrange, 26
41
Bibliografa


Biggs, Norman L. (1993). Discrete Mathematics. Oxford
University Press.

Grimaldi, Ralph P. (1998). Matemticas discreta y combinatoria:
Una Introduccin con aplicaciones. Pearson Educacin.

Jimenez Murillo, Jos A. (2009). Matemticas para la
computacin. Alfaomega.

Rojo, Armando O. (1996). lgebra I. El Ateneo































42