Parte I

Teora de Grupos
1.

Relaciones

Sea S un conjunto no vaco. Una relacion definida en S, es un subconjunto de S S notado

R S S.
Decimos que (a, b) R se escribe a R b (se lee a relacionado con b).

1.1.

Propiedades de las Relaciones binarias en un conjunto.

Sea R S S
R
R
R
R

se
se
se
se

dice
dice
dice
dice

Reflexiva en S si (x S)(x R x)
Sim
etrica, Si (x, y S) entonces x R y y R x.
Antisim
etrica en S, si (x, y S)(x R y) (y R x) x = y.
Transitiva si (x, y, z S) (x R y) (y R z) (x R z).

Ejemplo 1.1.
En P(A) Las relaciones de inclusion e igualdad son reflexivas.
En N, la relaci
on de igualdad es simetrica .
En P(A) las relaciones y = son antisimetricas.
En N la relaci
on R = {(x, y) N2 / x | y} es antisimetrica.
En N la relaci
on < es transitiva
La relaci
on = es transitiva en P(A).

Definici
on 1.1.
Una relaci
on R definida sobre un conjunto S no vaco, que sea reflexiva, simetrica y transitiva en S; se denomina Relaci
on de equivalencia.
Una relaci
on de equivalencia R sobre un conjunto S hace una particion del conjunto en clases
de equivalencia.
Si R es de equivalencia en S para decir que x R y a que (x, y) R, escribimos x y mod (R)
Luego si x, y, z son elementos de S y si R es de equivalencia en S, entonces x A,
x x mod (R).
x y mod (R) y x mod (R)
1

x y mod (R) y z mod (R) x z mod (R)

1.2.

Clases de Equivalencia

Dada una relaci

on R de equivalencia sobre un conjunto S no vaco para cada a S, se
llama clase de equivalencia del elemento a seg
un la relacion R, notada [a] al conjunto:
[a] = {x A/ x R a}
a se denomina el representante de la clase.
Definici
on 1.2. Conjunto cociente
Dada una relaci
on de equivalencia sobre A 6=
A/R = {[a]/ a A}
Proposici
on 1.1.
Sea R una Relaci
on de equivalencia definida en S 6= . Entonces [a] = [b] a R b
Demostraci
on.
Necesidad. [a] = [b] a R b
En efecto, si [a] = [b] como R es de equivalencia sobre S, R es reflexiva, as que (a, a) R, es
decir a R a y por lo tanto a [a]. Como por hipotesis [a] = [b], entonces a [b] y asi a R b.
Suficiencia. Si a R b [a] = [b]
En efecto, sea x S arbitrario.
x [a] x R a y como a R b por hipotesis, entonces x R b. por ser R transitiva; y as x [b],
luego [a] [b]. Mediante un an
alisis similar se concluye que si a R b [b] [a].
Teorema 1.1.
Si A 6= y R una Relaci
on de equivalencia definida en A, entonces la familia de todas las
clases de equivalencia de los elementos de A produce una particion de A.
Es decir:
i) [a] 6= ; a A
ii) [a] 6= [b] [a] [b] =
iii)

[a] = A

aA

Demostraci
on.
i) En efecto, como R es de equivalencia en S, entonces R es reflexiva y por lo tanto
a S; (a, a) R y as en virtud de la definicion de clase de equivalencia a [a],
luego [a] 6= .

ii) En virtud a la tautologa (p q) (q p).

[a] 6= [b] [a] [b] = [a] [b] 6= [a] = [b]
Supongamos que [a] [b] 6= luego:
(x)(x S)/ x [a] x [b]
(x)(x S); x R a x R b
(x)(x S)/ a R x x R b
aRb
[a] = [b]
[
[
iii) Debemos probar:
S yS
[a]
aS

Sea x

Def. de conjuntos
Def. de [a]
R es simetrica
R es transitiva

aS

[a], es decir a A/ x [a] (Def.

de familias)

aA

Puesto que [a] A, entonces se sigue que x A.

Luego,((x)(x

[a] x A) , es decir,

aA

[a] A

aA

Como A 6= , sea ahora x A x [x] pues R es reflexiva. Luego x

[a]

aS

Como (x)(x S x

[a] entonces, A

aS

Se sigue que

[a]

aA

[a] = S.

aS

1.3.

Ejemplos

1. En R2 = R R definimos una relacion de la siguiente manera: (x1 , x2 ) R (y1 , y2 )

x1 = y1 . Probar que es una relacion de equivalencia sobre R2 . Halle [(1, 1)].
i) Reflexividad: (x1 , x2 ) R (x1 , x2 ) pues x1 = x1
ii) Simetra:
Si (x1 , x2 ) R (y1 , y2 ) x1 = y1 y1 = x1 (y1 , y2 ) R (x1 , x2 )
iii) Transitividad:
Si (x1 , x2 ) R (y1 , y2 ) (y1 , y2 ) R(z1 , z2 ) (x1 , x2 ) R (z1 , z2 )
Como (x1 , x2 ) R (y1 , y2 ) x1 = y1
Como (y1 , y2 ) R (z1 , z2 ) y1 = z1
Luego x1 = z1 (x1 , x2 ) R (z1 , z2 )

[(1, 1)] = {(a, b) R2 / (a, b) R (1, 1)} = {(a, b) R2 / a = 1}.

[(1, 1)] = {(1, b) R2 / b R}

2. Sea S = {2m / m Z} y sea R definida en Q+ de la siguiente manera:

x R y

x
S; x, y Q+
y

a. Pruebe que R es de equivalencia.

b. Describe [3]

a. Veamos inicialmente 
quien es explcitamente
 el conjunto S
1
1
1
m
S = {2 / m Z} = 1, 2, , 3, , 4, ,
2
3
4
i) Reflexividad:
x
Dado x Q+ , como = 1 = 20 S, entonces (x, x) R
x
ii) Simetra:
x
x
Supongamos (x, y) R. Entonces S y por lo tanto existe m Z tal que = 2m .
y
y
 1
y
x
Pero en virtud de las propiedades de los exponentes,
=
= (2m )1 = 2m y
x
y
y
como m Z, entonces tambien S y as, y R x es decir (y, x) R.
x
iii) Transitividad:
x
Supongamos (x, y) R y (y, z) R entonces existen enteros m y n tales que = 2m y
y
y
n . Por otro lado x y = 2m ,2n = 2m+n x = 2m+n S pues m + n Z
=
2
z
y z
z
n
o
x
x
b. [3] = {x Q+ / x R 3} = {x Q+ / S} = x Q+ / = 2m , m Z
3
3

 
 

3
3
3
3
3 3 3 3 3 3 3
n
, ,
, ,
, ,
, = 3, , 6, , 12, , 24, =
,3 2 , n N
[3] =
20 2 21 22 22 23 23
2
4
8
2n

2.

Grupos

Definici
on 2.1.
Un conjunto G 6= en el que esta definida una operacion , se nota como (G, ). Se dice que
el par (G, ) tiene estructura de grupo cuando se verifican las siguientes propiedades o axiomas:
G1 : La operaci
on es una ley de composicion interna u operaci
on binaria en G. Es decir
(a, b G)(a b G)
G2 : La operaci
on es asociativa en G. Es decir (a, b, c G) (a b) c = a (b c)

G3 : Existe en G elemento neutro; notado e tal que se verifica en G la propiedad modulativa

o propiedad identica, esto es:
( e G)( a G); (a e = e = e a)
G4 : Se verifica en G la propiedad invertiva, esto es el elemento a1 se llama el inverso de
a si:
(a G) (a1 G); (a a1 = e = a1 a)
Si la operaci
on en G es ademas conmutativa, es decir si tambien (a, b G) (ab = ba)
al par (G, ) se le llama Grupo Abeliano; en honor al matematico noruego Niels Henrik.

Observaci
on: Es de notar que el axioma G3 deja implcito el hecho que G 6= , pues se
garantiza la existencia de e G. En el caso que G = {e}, entonces e e = e y al par ({e}, )
se le llama Grupo trivial.
Ejemplo 2.1. Ejemplos de Grupos
1. (Z, +) es un grupo abeliano.
2. (Z, ) no tiene estructura de grupo pues no se verifica la propiedad invertiva (G4 ).
3. (N, +) no es un grupo, pues eN = 0 pero no existe solucion de la ecuacion n + n1 = 0,
esto es, (@n1 N)( n N)(n + n1 = 0 = eN )
4. (Q {0}, ) es un grupo abeliano y en este caso eQ = 1 =

1
a
b
y ( )1 =
1
b
a

5. Definimos en el conjunto E = Q {0} La operacion de la siguiente manera: a b =

Mostrar que el par (E, ) tiene estructura de grupo abeliano.

ab
.
3

Soluci
on: Debemos probar que en E = Q {0} se verifica cada uno de los axiomas
G1 , G2 , G3 y G4 .

i) En efecto, es evidente que la operacion es cerrada en E. Pues (a, b E)(a b =

0 a = 0 b = 0) lo cual es una contradiccion pues 0
/ E.
ab
bc
c
a
(a b) c
3
3 = a(b c) = a (b c)
ii) Por otro lado (a b) c =
=
=
3
3
3
3
Lo cual verifica la asociatividad.

ab
=
3

iii) Veamos ahora que (e E)(a E); (e a = a = a e). Para ello, sea a E, arbitrario
ae
tal que a e = a. En tal caso, a e =
= a ae = 3a e = 3 6= 0
3
Luego, existe en E = Q {0} el elemento neutro eE = 3 tal que,
a E; a eE = eE a = a y as se verifica la existencia del elemento neutro.
iv) Mostraremos ahora (a E)(a1 E)(a a1 = eE = a1 a)
Dado a E, debemos garantizar la existencia de a1 E tal que a a1 = 3 = eE
a a1
9
a a1 = 3
= 3 a1 = , a 6= 0 pues a E
3
a
9
1
Esto significa que a E, existe a = E tal que a a1 = 3 = eE = a1 a
a

Finalmente como (x, y E)(x y =

as el par (E, ) es un grupo abeliano.

xy
yx
=
= y x entonces conmuta en E y
3
3

Ejemplo 2.2.
Definimos en Z la operaci
on binaria de la siguiente manera:
:

ZZ
(m, n)

Z
m n = m + n + a

Donde a Z es un entero fijo. El par (Z, ) tiene estructura de grupo abeliano.

Mas a
un si definimos x2 = x x = x + x 5 = 2x 5 es posible resolver la ecuaci
on
2
x +2x1=0
En efecto,
x2 + 2 x 1 = 0

2.1.

xx+2x1=0
(x + x 5) + (2 + x 5) 1 = 0
3x 9 = 0
x=3

Algunas propiedades de los grupos

Proposici
on 2.1.
Si (G, ) es un grupo entonces:

i) El elemento identidad o m
odulo de G es u
nico.
ii) Cada elemento a G tiene un u
nico simetrico.
iii) Para cada a G, (a1 )1 = a.
iv) Para cada a, b G, (a b)1 = b1 a1 .

3.

Grupos Finitos

Definici
on 3.1.
Un grupo (G, ) es llamado finito si G tiene un n
umero finito de elementos. El orden de
G, notado |G|, es el n
umero de elementos del conjunto G.
En caso contrario se dice que G es infinito.
Ejemplo 3.1.
1) (Z, +), (Q, +), (R, +), (C, +), (Q{0}, ), (R{0}, ), (C{0}, ) son grupos infinitos.
2) Sea n Z+ , entonces (Zn , ) es un grupo finito.



a
b
3) Sea GL(2, R) =
| a, b, c, d R ad bc 6= 0 entonces (GL(2, R), ) es
c
d
un ejemplo de grupo infinito no conmutativo.
4) El grupo 4 de Klein, K4 es un ejemplo de un grupo finito conmutativo.
Recordemos que K4 = (G, ), donde G = {e, a, b, c} se define de la siguiente manera:
x G, x x = e
ab=c
ac=b
cb=a

e
a
b
c

e
e
a
b
c

a
a
e
c
b

b
b
c
e
a

c
c
b
a
e

Cuadro 1: Tabla de composicion de K4

Proposici
on. Sea G un grupo finito y a G. Como a a = a2 G, puede probarse por
Inducci
on Matem
atica que am G, m 1. Esto significa que {a, a2 , a3 , . . . , am , . . . } G.
Como G es finito, todos los elementos del conjunto {a, a2 , a3 , . . . , am , . . . } no pueden ser distintos entre s. En consecuencia ak = al para algunos enteros positivos k, l con k > l. Esto
implica que akl = e. Pongamos n = k l, as an = e para alg
un entero positivo n. Esto
conduce a la siguiente definici
on:
Definici
on 3.2.
Sea (G, ) un grupo y a G. Si existe n Z+ tal que an = e, entonces el menor entero positivo n que cumpla tal condici
on es llamado el orden del elemento a G, y se nota o(a) = n.
Si no existe tal entero n, se dice que a G es de orden infinito.
Ejemplo 3.2.
7

Consideremos el grupo (Z4 , ), donde Z4 = {b

0, b
1, b
2, b
3}. Es claro que |Z4 | = 4
La tabla de composici
on se muestra a continuacion:

b
0
b
1
b
2
b
3
Note que:
o(b
0) = 1 pues
o(b
1) = 4 pues
b
o(2) = 2 pues
o(b
3) = 4 pues

b
01
b
14
b
22
b
34

b
0
b
0
b
1
b
2
b
3

b
1
b
1
b
2
b
3
b
0

b
2
b
2
b
3
b
0
b
1

b
3
b
3
b
0
b
1
b
2

=b
0=e
=b
1b
1b
1b
1=b
0=e
b
b
b
=22=0=e
=b
3b
3b
3b
3=b
0=e

Ejemplo 3.3.

Consideremos (GL(2, R), ). Sean ademas A =

0
1

1
0

elementos de GL(2, R).




1
1
0
n
2
= I2 eGL(2,R) , mientras que B =
Note que A =
0
0
1
Z+ , como puede probarse haciendo induccion sobre n Z+


yB=

1
1


1
, ambos
1

1
0

n


=

1
0

n
1

Luego o(A) = 2, mientras que o(B) =

4.

Observaciones

Sea (G, ) un grupo y a G. Si o(a) es infinito, entonces por la definicion de orden de

un elemento de un grupo, se sigue que el o(ak ) es tambien infinito k 1, es decir, el orden
de cada potencia positiva de a es tambien infinita. Por otro lado, si o(a) es finito, el siguiente
teorema nos dice como calcular el orden de las potencias de a:
Teorema 4.1.
Sea (G, ) un grupo y a G, tal que o(a) = n. Entonces:
i) Si am = e para alg
un entero positivo m, entonces n | m
ii) Para cada entero positivo t,
o(at ) =
Demostraci
on.

n
(t, n)

i) En virtud del algoritmo de la division, existen enteros q y r tales que m = nq + r

con 0 r < n
am = anq+r = (an )q ar = eq ar = e ar = ar
Pero por hip
otesis, am = e, entonces e = am = ar ar = e con 0 r < n
Pero como o(a) = n, lo que significa que n es el menor entero positivo tal que
an = e
Sin embargo, ar = e y 0 r < n. En consecuencia r = 0 y por lo tanto m = nq, y
por lo tanto m | m
ii) Se deja como ejercicio al lector.

Definici
on 4.1.
Un grupo (G, ), es llamado un grupo de Torsi
on si cada elemento de G es de orden
finito. Por el contrario, si cada elemento no identico de G es de orden infinito, entonces
G es llamado un grupo libre de Torsion.
Ejemplo 4.1.
(Z4 , ) es un grupo de Torsion. En efecto, ob
1 = 4, ob
2 = 2, ob
3=4
+
+
(R, +), (R , ), (Q , ) son grupos libres de Torsion.
Considere el grupo (R {0}, )
c pues 12 = (1)2 = 1 = eG . Sin embargo note que si x R {0}
Note que ob
1 = o1
y x 6= 1, entonces x es de orden infinito. Luego (R {0}, ) tiene elementos tanto de
orden infinito como finito. De este hecho se sigue que (R {0}, ) no es ni un grupo de
Torsi
on, ni tampoco libre de Torsion.

5.

Ejemplos Varios

1. Dado un grupo (G, ), puesto que e1 = e, entonces el orden del elemento identidad
es siempre 1; esto es o(e) = 1. Ademas eG es el u
nico elemento del grupo con esta
caracterstica.
En efecto, supongamos que existe a G, con a 6= eG tal que a1 = e. De ser
as se tendra que:
a1 = a = e

a 6= e

Lo cual es una contradiccion, en virtud de la tautologa pp (Principio del tercero

excluido) es una falacia.
2. Si el orden de un grupo (G, ) es n, entonces ning
un elemento del grupo puede tener
orden mayor que n
Demostraci
on. Por reduccion al absurdo.
Sea |G| = n y supongamos que existe a G tal que o(a) = m, con m > n
9

En virtud del algoritmo de la division, existen enteros q y r tales que m = nq + r

con 0 r < n. Luego:
e = am = anq+r = (an )q ar = eq ar = e ar = ar
Luego hemos encontrado r Z+ tal que ar = e, con 0 r < n, pero am = e,
y, 0 r < n < m = o(a), o sea que r < o(a) y ar = e, lo cual es una contradicci
on.
Por lo tanto no puede ser o(a) > n
3. Sea G = {(a, b) R2 |a, b R, a 6= 0} es decir, G = R {0} R
Definimos en G una operacion binaria como sigue: (a, b) (c, d) = (ab, b + c),
Demuestre lo siguiente:
a. (G, ) es un grupo
b. G tiene exactamente un elemento de orden 2
c. G no tiene elementos de orden 3

Demostraci
on. a.
Clausura. Sean (a, b), (c, d) G. Entonces a 6= 0 y c 6= 0 y en consecuencia
ac 6= 0
Luego (a, b) (c, d) = (ac, b + d) G
Asociatividad. (a, b), (c, d), (e, f ) G, debemos probar que ((a, b) (c, d))
(e, f ) = (a, b) ((c, d) (e, f )). En efecto:
((a, b) (c, d)) (e, f )

= (ac, b + d) (e, f )
= ((ac)e, (b + d) + f )
= (a(ce), b + (d + f ))
= (a, b) ((ce), (d + f ))
= (a, b) ((c, d) (e, f ))

Existencia del Neutro o identico.

Supongamos que existe (x, y) G, con x 6= 0 tal que (a, b) G, (a, b)(x, y) =
(a, b) = (x, y) (a, b).
De ser as,
(ax, b + y) = (a, b)
ax = a

b+y =b

x=1

y=0
Luego existe eG = (1, 0) tal que (a, b) G, (a, b)(1, 0) = (a, b) = (1, 0)(a, b)
Existencia del elemento simetrizables.
1
1
Sea (a, b) G, como a 6= 0, entonces existe R, y, 6= 0. En consecuencia
a
a


1
, b G y es tal que:
a

10


1
, b (a, b)
a


1
a, b + b = (1, 0) = eG
a


1
a , b + (b)
a


= (a, b)


1
, b = (1, 0) = eG
a

b. G tiene un u
nico elemento de orden 2.
Como (1, 0) G y (1, 0)2 = (1, 0) (1, 0) = ((1)(1), 0 + 0) = (1, 0) = eG ,
entonces o(1, 0) = 2
Unicidad: Supongamos que existe otro elemento de G, digamos (x, y), con x 6= 0, y
(x, y) 6= (1, 0) tal que (x, y)2 = (1, 0). De ser as:
(x, y)2 = (x, y) (x, y) = (x2 , 2y) = (1, 0)
x2 = 1 2y = 0
|x| = 1 y = 0
x = 1 y = 0
Si x = 1, entonces (x, y) = (1, 0) = eG , lo cual es una contradiccion pues o(eG ) = 1
Si x = 1, entonces (x, y) = (1, 0) y como por hipotesis (x, y) 6= (1, 0), se sigue
que (1, 0) es el u
nico elemento de orden 2.
c. No existen en G elementos de orden 3.
Supongamos que (x, y) G es de orden 3. Entonces:
(x, y)3 = (x, y) (x, y) (x, y) = (x, y) (x2 , 2y)
x3 = 1 3y = 0
x=1 y=0
Luego (x, y) = (1, 0), lo cual significa que (1, 0) = eG y esto es una contradicci
on,
pues o(eG ) = 1. En consecuencia G no tiene elementos de orden 3.

6.

Ejercicios




1
n
|n Z muestre que G es un grupo con la multiplicaci
on
0
1
usual de matrices. Muestre tambien que (G, ) es libre de Torsion.

1. Sea G =

2. En Z14 , encuentre el entero positivo n mas peque

no que (b
6)n = b
0
3. Sea (G, ) un grupo y a, b G. Suponga que a2 = e y que a b4 = b7 . Pruebe que
b33 = e
4. Sea (G, ) un grupo y a, b G, tales que a1 b2 a = b3 y b1 a2 b = a3 . Muestre
que a = b = e
5. Sea (G, ) un grupo tal que a2 = e, a G. Pruebe que G es abeliano.
11

6. Pruebe que un grupo (G, ) es abeliano si y solamente si a, b G, (a b)n = an bn

para cualesquiera tres enteros consecutivos n

12

7.

Grupos de Simetras del Tri

angulo Equil
atero

Considere el conjunto E = {1, 2, 3} y considere la biyeccion f3 : E E, definida a

traves del siguiente diagrama sagital:

Note que es posible establecer seis (6) biyecciones de E sobre si mismo:

Adem
as se pueden componer entre si estas biyecciones. Esto es, es posible calcular
(fi fj )(x) para cada i, j = 1, 2, . . . , 6 y x E. Por ejemplo:

(f4 f5 )(2) = f4 (f5 (2)) = f4 (1) = 2
En este caso, (f4 f5 )(2) = (f5 f4 )(2)
(f5 f4 )(2) = f5 (f4 (2)) = f5 (3) = 2
13

(f3 f1 )(1) = f3 (f1 (1)) = f3 (1) = 2

(f1 f3 )(1) = f1 (f3 (1)) = f1 (2) = 3


Y en este caso, (f3 f1 )(1) 6= (f1 f3 )(1)

Analicemos la composici
on (f1 f5 )(x) = f1 (f5 (x))
(f1 f5 )(1) = f1 (f5 (1)) = f1 (3) = 2
(f1 f5 )(2) = f1 (f5 (2)) = f1 (1) = 1
(f1 f5 )(3) = f1 (f5 (3)) = f1 (2) = 3

Analicemos ahora la composicion (f5 f1 )(x) = f5 (f1 (x))

(f5 f1 )(1) = f5 (f1 (1)) = f5 (1) = 3

(f5 f1 )(2) = f5 (f1 (2)) = f5 (3) = 2
14

(f5 f1 )(3) = f5 (f1 (3)) = f5 (2) = 1

Note que (f1 f5 )(x) 6= (f5 f1 )(x)
Por otro lado es f
acil observar que f0 = e es la biyeccion identica de E en E; esto
es e(x) = x, x E y ademas (fi e)(x) = (e fi )(x); i = 1, 2, 3, 4, 5 y x = 1, 2, 3
El conjunto de todas las biyecciones del conjunto E sobre s mismo puede analizarse
tambien a partir de las permutaciones entre los elementos de dicho conjunto. Como
Card(E) = 3 entonces P3 = 3! = 6. Estas permutaciones se describen a continuaci
on:
Llamamos:


1 2 3
I = 0
= {(1, 1), (2, 2), (3, 3)} = f0
1 2 3


1 2 3
= {(1, 2), (2, 3), (3, 2)} = f4
1
2 3 1


1 2 3
2
= {(1, 3), (2, 1), (3, 2)} = f5
3 1 2


1 2 3
= {(1, 1), (2, 3), (3, 2)} = f1
1
1 3 2


1 2 3
= {(1, 3), (2, 2), (3, 1)} = f2
2
3 2 1


1 2 3
3
= {(1, 2), (2, 1), (3, 3)} = f1
2 1 3
La multiplicaci
on de dos permutaciones se define como la compuesta de las dos biyecciones asociadas a ellas. Por ejemplo:
 
 

1 2 3
1 2 3
1 2 3
1 2 =

=
= 1
2 1 3
3 2 1
1 3 2
|
{z
} |
{z
} |
{z
}


f4

f2

f1

15


0
1
2
1
2
3

0
0
1
2
1
2
3

1
1
2
0
2
3
1

2
2
0
1
3
1
2

1
1
3
2
0
2
1

2
2
1
3
1
0
2

3
3
2
1
2
1
0

Cuadro 2:
Luego (f2 f4 )(x) = f2 (f4 (x)) = f1 (x)
Tambien,


 
 

1 2 3
1 2 3
1 2 3
1 2 =

=
= 0
2 3 1
3 2 1
1 2 3
{z
} |
{z
} |
{z
}
|
f4

f5

e=f0

Luego 2 = 1
procamente 1 = 1
2 pues (como puede comprobarse) 2 1 =
1 , y, rec
0 = 1 2

As que (f5 f1 )(x) = f5 (f1 (x)) = f0 con lo cual f1 = f51

Sabemos que la compuesta de dos biyecciones es otra biyeccion (Como ejercicio) y la
inversa de dos biyecciones es otra biyeccion (Como ejercicio). Por otro lado, la composici
on de biyecciones es asociativa.
Es posible construir la siguiente tabla de composicion de las diferentes permutaciones
de los elementos del conjunto E

La tabla muestra que el conjunto de las permutaciones de los elementos del conjunto E = {1, 2, 3} (o equivalentemente, el conjunto de todas las biyecciones del conjunto E
sobre s mismo) tiene estructura de grupo para la ley de composicion y se representa

16

por SE ; esto es, S3 = {0 , 1 , 2 , 1 , 2 , 3 } es un grupo con la operacion y es llamado

grupo simetrico de orden 3.
En general, si E tiene n elementos es posible establecer n! = Pn (E) permutaciones
de los elementos del conjunto E y este n
umero es igual n
umero de biyecciones en E en
E.
Al grupo de todas las permutaciones del conjunto E = {1, 2, 3, . . . , n} se llama grupo sim
etrico y se denota Sn
Como un ejemplo puede darse una interpretacion geometrica del grupo simetrico S3 .
Para ello podemos considerar dos triangulos equilateros con los vertices enumerados.
Los elementos de S3 corresponden a las seis maneras posibles en que uno de los tri
angulos se puede superponer sobre el otro.
1) Rotaci
on nula. = 0


1 2 3
0 =
1 2 3

2
2) Rotaci
on 13 vuelta en sentido contrario antihorario. =
(120 )
3


1 2 3
1 =
2 3 1

4
3) Rotaci
on 23 vuelta en sentido contrario antihorario. =
(240 )
3


1 2 3
2 =
3 1 2
17

4) Reflexi
s de una recta vertical
on a trave
1 2 3
1 =
1 3 2

4) Reflexi
s de una diagonal inclinada que sube
on a trave
1 2 3
2 =
3 2 1

5) Reflexi
s de una diagonal inclinada que baja (desciende)
on a trave
1 2 3
3 =
2 1 3

18

Los anteriores seis movimientos rgidos forma el Grupo de Simetras del triangulo equil
atero S3 = {{0 , 1 , 2 , 1 , 2 , 3 }}. Dichos movimientos rgidos se caracterizan porque al
aplicarlos al tri
angulo, este queda invariante en su posicion; u
nicamente se permutan los
vertices (excepto en la rotacion nula 0 )
Note que 1 1 significa que primero hacemos la reflexion a traves de una recta vertical
2
y luego rotamos un
angulo =
= 120 en sentido antihorario alrededor del centro
3
del tri
angulo.


2 1 =

1 2 3
2 3 1

 
 

1 2 3
1 2 3

=
= 3
1 3 2
2 1 3

Al realizar las diferentes composiciones de movimientos rgidos se obtiene una tabla

como Cuadro 2 En la tabla de composicion note que:
ES3 = 0
1
1
1 = 2 , y, 2 = 1
1
1 = 1 ; 1
2 = 2 ; 3 = 3 ;
{z
}
|1
Lo que significa que cada una de las reflexiones es su propia inversa

31 = 21 1 = 2 1 = 0
32 = 22 2 = 1 2 = 0
El conjunto de las rotaciones del triangulo equilatero R = {0 , 1 , 2 } con la operaci
on de composici
on de rotaciones tiene estructura de grupo. Esto es (R, ) es grupo. La
correspondiente tabla de Cayley es:

0
1
2

0
0
1
2

1
1
2
0

2
2
0
1

En la teora de grupos, si (G, ) es un grupo, y, si H G es tal que (H, ) es tambien

un grupo, se dice que H es un subgrupo de G, y se nota H G
En este caso, R S3 con la ley de composicion

19

7.1.

Ejercicios

1) Sea x un conjunto no vaco y SX el conjunto de todas las funciones de X sobre X,

es decir:
Sx = {f : X X| f es 1 a 1 }
Pruebe que (SX , ) es un grupo, donde representa la composicion usual de
funciones.
2) Sea A = {1, 2, 3, . . . , n}. Muestre que el n
umero de funciones 1 a 1 sobre A sobre
A es n!
3) Construya detalladamente la tabla de simetras del cuadrado S4 , teniendo en cuenta
las rotaciones en sentido antihorario, respecto al centro del cuadrado; las reflexiones
respecto a los ejes vertical y horizontal que divide al cuadrado en dos rectangulos,
y, las reflexiones respecto a las dos diagonales.
4) Sean a, b S4 . Pruebe que cada movimiento rgido del cuadrado puede ser considerado como una funcion 1 a 1 de E = {1, 2, 3, 4} sobre s mismo. Considere a b
como una funci
on. Muestre que a b = a b, donde representa la operaci
on
binaria de movimientos rgidos, y es la composicion de funciones.
5) Pruebe lo siguiente:
i) (Sn , ) es un grupo para cada n 1
ii) Si n 3, entonces (Sn , ) es no conmutativo
iii) El orden de Sn es n!. |Sn | = n!

20

8.

Sub-Grupos

Definici
on 8.1.
Sea (G, ) un grupo y sea 6= H G. Se dice que H es un subgrupo de G si y s
olo si
(H, ) es tambien un grupo y lo notamos: H G o bien (H, ) (G, )
Ejemplo 8.1.
1. (Q, +) (R, +) y (R, +) (C, +)
2. (Q {0}, ) (R {0}, )
3. (Mn (R), +) (Mn (C), +)
Observaci
on:
1. Es claro que ({ea }, ) (G, ), y , (G, ) (G, ). Estos dos son llamados los
subgrupos triviales del grupo G.
2. H es un subgrupo propio de G, notado H < G, o,(H, ) < (G, ) si y solo si H G
siempre que H 6= {e} y H 6= G {ea } 6= H 6= G. Los subgrupos {ea } y G del grupo
G son llamados subgrupos triviales.
Ejemplo 8.2.
Sea n Z, luego nZ = {nx/x Z}, puede probarse que (nZ, +) < (Z, +). En efecto:
i) Clausura: Dados nx, ny nZ, entonces nx + ny = n(x + y) = nt nZ, t = x + y
ii) Asociatividad: Dados nx, ny, nw nZ, es claro que
(nx + ny) + nw = n(x + y) + nw = n[(x + y) + w]
= n[x + (y + w)]
= nx + n(y + w)
= nx + (ny + nw)
iii) El elemento neutro de (Z, +) es el cero 0, y puesto que 0 = n 0, entonces 0 nZ
iv) Existencia de inversos: Supongamos que nx nZ; el inverso aditivo de nx es el
elemento de nx y, nx = n(x) nZ, lo cual garantiza que cada elemento de
nZ es invertible.
Ejemplo 8.3.
Sea N = {0, 1, 2, } el conjunto de los n
umeros naturales. Es claro que N Z sin
embargo, (N, +)  (Z+), pues en (N, +) no se garantiza la existencia de inversos.
Ejemplo 8.4.
Sea Q = Q {0}. Entonces (Q , ) es un grupo. Considere el conjunto


1
H=
|mZ
2m
21

Entonces (H, ) (Q , )
Soluci
on: Sean

1 1
,
H, con m, n Z. Luego:
2m 2n
1
1
1
1
n = m+n = t H, con t = m + n
m
2
2
2
2

Lo cual garantiza la clausura del conjunto H con la operacion .

1 1 1
Por otro lado, dados m , n , t H, es claro que
2
2 2




1
1
1
1
1
1 1
1
1
1
1

t = m+n t = (m+n)+t = m+(n+t) = m+(n+t) = m

2m 2n
2
2
2
2
2m 2t
2
2
2
Esto garantiza la asociatividad.
El elemento neutro de Q es 1 y ya que 1 =
Finalmente, dado
1
2m


=

1
2m

1
H, pues 0 Z
20

1
H, como m Z tambien m Z, y,
2m

1
pues,

1
1
1
m = 0 = 1
m
2
2
2

Ejemplo 8.5.
En (Z6 , ), dado S = {b
0, b
2, b
4} Z6 , entonces (S, ) es un subgrupo propio de (Z6 , ).
Este hecho se ilustra en la siguiente tabla de Cayley.

b
0
b
2
b
4

b
0
b
0
b
2
b
4

b
2
b
2
b
4
b
0

b
4
b
4
b
0
b
2

Es claro que los otros subgrupos de Z6 son {b

0} y Z6
Proposici
on 8.1.
Todo subgrupo de (Z, +) tiene la forma de nZ para algun n Z.
Demostraci
on: (Se deja como ejercicio para el lector)
Teorema 8.1.
Sea (G, ) un grupo y 6= H G. Entonces H G si y solo si a, b H, a b1 H
Demostraci
on.
() Si H G a, b H, a b1 H
Como H G entonces por definicion de subgrupo (H, ) es un grupo. Luego, dados
22

a, b H, existe b1 H y como H es cerrado con la operacion se sigue que a b1 H

() Sea 6= H G y a, b H, a b1 H H G
En efecto, como H es no vaco, sea a H. Es claro que e = a a1 H, o sea
que e H.
Por otro lado, si a H, como e H, entonces e a1 H y asi a1 H, lo cual
garantiza la existencia de inversos.
La asociatividad de H se hereda de G, por ser H G.
La clausura se prueba de la siguiente manera: Sean a, b H, como cada elemento de
H es invertible,b1 H y tambien (b1 )1 H as que a (b1 )1 = a b H. Esto
concluye que H G.
Teorema 8.2. Criterio de caracterizaci
on de subgrupos
Sea (G, ) un grupo y 6= H G, H G si y solo si se satisfacen las siguientes dos
condiciones:
i. a, b H, a b H
ii. a H, a1 H
Demostraci
on. () Como H G, entonces H tiene estructura de grupo con lo cual
satisface la primera condicion. Por la misma razon, cada elemento a H tendr
a de
1
inverso a H y como H G dichos inversos son tambien elementos de G. Por otro
lado, en virtud de la unicidad de los inversos, estos seran iguales. En otras palabras a1
es el inverso de de a en H como tambien en G.
() Supongamos ahora que (G, ) es un grupo y que 6= H G. Comprobemos
que (H, ) es tambien un grupo cuando se satisfacen las propiedades (i) e (ii).
Clausura Corresponde a la propiedad (i).
Asociatividad Se hereda de G por ser H G
Elemento Id
entico: Sea e el elemento neutro de G. Veamos que e H. En efecto,
como H 6= , sea x H. Por la propiedad (ii), x1 H. Ahora, por la propiedad
(i) x x1 = e H
Existencia de Inversos: Se sigue la propiedad (ii).
Proposici
on 8.2. Caracterizaci
on de subgrupos finitos.
Sea (G, ) un grupo y H un subconjunto finito, no vacio de G. H G si y solamente si
H es cerrado en la operaci
on .
Demostracion: (Se deja como ejercicio al lector.)

Ejemplo 8.6.
23

La intersecci
on de dos subgrupos de un grupo (G, ) es tambien un subgrupo.
Demostraci
on. Supongamos que si H G K G y veamos que H K G
Clausura: Sean x, y H K, debemos probar que x y H K

x H y H x y H
x H K x H x K
=
xy H K

y H K y H y K
x K y K x y K
Elemento Neutro: Como H G, y, K G eG H eG K eG H K
Esto adem
as garantiza que H K 6=
Existencia de Inversos:
Sea x H K x H x K
x1 H x1 H
x1 H K

Definicion de
Por ser H G K G

Observaci
on: Si H G y K G, no siempre H K G. A manera de ilustraci
on
basta considerar G = Z, H = 2Z y K = 3Z
Es claro que H K = 6Z Z, mientras que H K = 2Z 3Z  Z. En efecro,
note que 2 H K, y, 3 H K pero 2 + 31 = 2 + (3) = 1
/ H K

8.1.

Ejercicios

1. Demuestre la propiedad de transitividad de los subgrupos. Esto es, si H K y

K G, entonces H G
2. Sea GL(2, R) el conjunto de matrices invertibles de tama
no 2x2 y elementos de
matriz de n
umeros reales.
(a) Pruebe que GL(2, R) es un grupo con la multiplicacion usual de matrices.



a 0
(b) Si D =
| a R {0} entonces D GL(2, R)
0 a
3. Sea G un grupo. Dados a, b G, estos conmutan si a b = b a. El centro del grupo
G, notado Z(G) es el conjunto
Z(G) = {g G|gh = hg, h G}
Probar que Z(G) G
4. Considere el grupo (R2 , +) donde + representa la suma usual de parejas ordenadas. Sean A = {(a, 0)| a R}, y, B = { (0, b)| b R}. Pruebe que A R2 y
B R2 . Pruebe adem
as (A B)  R2 .
5. Pruebe que el grupo de simetras de triangulo equilatero (S3 , ) tiene exactamente
cuatro (4) subgrupos propios: tres de orden dos y uno de orden tres. Verifquelo
utilizando las correspondientes tablas de Cayley.
24

6. Pruebe que si (G, ) es un grupo abeliano, entonces cada elemento g G forma un

subgrupo H de G.
7. Considere los siguientes grupos: K4 (Grupo 4 de Klein), (Z4 , ),(Q, +). Halle el
subgrupo H del ejercicio anterior.

9.

Sub-grupo generado por un elemento de un grupo

Definici
on 9.1.
Sea (G, ) un grupo y a G. El subgrupo generado por a, denotado H(a) o < a >
est
a definido de la siguiente manera:
H(a) =< a >= {..., ak , ak+1 , ..., a1 , a0 , a, an1 , an , ...}
Note que eG , a < a >, pues a0 = e, y, a1 = a
Teorema 9.1.
Si (G, ) es un grupo y a G, entonces:
i) < a > es un subgrupo de G
ii) Si H G y a G, entonces < a > H. (El grupo generado por el elemento a G
es el subgrupo m
as peque
no que contiene al elemento a)
iii) Si o(a) = n, entonces < a >= {e, a, a2 , . . . , an1 } y ademas | < a > | = n = o(a)
Demostraci
on.
i) Es claro que a1 = a < a >, as que < a >6= . Por otro lado, puesto que
a G, eG = a0 , entonces eG < a >. La clausura de H(a) se demuestra de la
siguiente manera: Dados ar , as < a >, entonces ar as = ar+s < a > ya que
r + s Z. La existencia de inversos se sigue del hecho de que si ar < a >, entonces
(ar )1 = ar < a >, pues r Z. En conclusion, < a > G.
ii) Si S G y a S, como S es cerrado debe contener todas las potencias enteras
positivas de a. De igual manera como S es un grupo, a S implica a1 S (en
general, an S implica an = (an )1 S). Ademas a a1 S y por lo tanto
eG S. Estas afirmaciones llevan a concluir que H S, con lo cual se prueba que
es el menor subgrupo de G que contiene al elemento a.
iii) Sea H = {e, a1 , a2 , ..., an1 }. Debemos probar que H =< a >. Para ello, sea
x < a > arbitrario, luego existe t Z tal que x = at . Como por hipotesis o(a) = n,
exite q, r Z con 0 r < n tal que x = at = aqn+r = (an )q ar = eq ar = e ar =
ar , as que x = ar {a0 , a1 , a2 , ..., an1 } = H. Luego x < a > implica x H. La
condici
on H < a >= {an | n Z} es trivial pues {0, 1, 2, ...n 1} Z.
Veamos ahora que | < a > | = n, es decir que < a > tiene n elementos distintos. Para ello supongamos que existen i, j Z, con i 6= j tales que ai = aj con
1 i < j < n. De esta manera:
ai ai = aj ai a0 = e = aji con 0 < j i < n. Esto contradice el hecho
que o(a) = n. En conclusion, |< a >|= o(a) = n.
Observaci
on.En el caso que H = G, se dice que G es un grupo cclico.
25

Ejemplo 9.1.
Considere el grupo aditivo de los enteros (Z, +). Es claro que 3Z Z, donde
3Z = {. . . , 6, 3, 0, 3, 6, . . . } = {3n| n Z} =< 3 >
Este subgrupo est
a completamente determinado por el elemento 3 Z, ya que podemos
obtener todos los otros elementos del subgrupo tomando los m
ultiplos de 3, as cada
elemento del grupo (3Z, +) es generado por 3.
Ejemplo 9.2.
Si H = {2n | n Z}; entonces H es un subgrupo del grupo multiplicativo de los n
umeros
racionales distintos de cero, (Q {0}, ). Esto es cierto, pues dados a = 2m y b = 2n en
H entonces a b1 = 2m (2n )1 = 2m 2n = 2mn H.
Ejemplo 9.3.
Considere (Z15 , ). Entonces como b
35 = b
0, se sigue que < b
3 > Z15 , esto es:
b Z15
<b
3 >= {b
0, b
31 , b
32 , b
33 , b
34 } = {b
0, b
3, b
6, b
9, 12}
Lo anterior se ilustra en la siguiente tabla:

b
0
b
3
b
6
b
9
b
12

10.

b
0
b
0
b
3
b
6
b
9
b
12

b
3
b
3
b
6
b
9
b
12
b
0

b
6
b
6
b
9
b
12
b
0
b
3

b
9
b
9
b
12
b
0
b
3
b
6

b
12
b
12
b
0
b
3
b
6
b
9

Grupos Cclicos

Definici
on 10.1.
Un grupo G es llamado cclico si existe a G tal que G =< a >. En tal caso a es
llamado un generador de G.
Si a es un generador de G, definimos el orden de a como el menor entero positivo n tal
que an = e y escribimos o(a) = n. Si no existe tal entero positivo, decimos que a es de
orden infinito y escribimos o(a) = para denotar el orden de a.
Ejemplo 10.1.
Considere (Z6 , ) note que < b
1 >= Z6 y < b
5 >= Z6 y por lo tanto Z6 es un grupo cclico.
Sin embargo, no todo elemento de un grupo cclico es un generador del grupo, a manera
de ejemplo consideremos nuevamente < Z6 , >,note que o(b
2) = 3, y, < b
2 >= {b
0, b
2, b
4},
b
luego < 2 >6= Z6 .
En general (Zm , ) es un grupo cclico finito generado por b
1. Ademas Zm tambien puede
ser generado por una clase cuyo ndice es primo relativo com m Z+ . Como un caso
particular, (Z3 , ) puede ser generado por b
3, b
5, b
7 y por supuesto por b
1.
26

Ejemplo 10.2.
(Z, +) es un grupo cclico infinito generado por 1 y 1, es decir < 1 >= Z y < 1 >= Z.
Ejemplo 10.3.
El grupo de Klein k4 no es cclico porque < a >, < b > y < c > son subgrupos propios
con dos elementos. A manera de ilustracion

e
a
b
c

e
e
a
b
c

a
a
e
c
b

b
b
c
e
a

c
c
b
a
e

Note que < a >= {e, a}, < b >= {e, b}, < c >= {e, c}
Ejemplo 10.4.
En (Z, +), halle < 3 >.
Soluci
on. 3 = 31 , 32 = 3 + 3 = 6,
30 = 0,

31 = 3,

33 = 3 + 3 + 3 = 9,

32 = (32 )1 = 6,

3n = 3 + ... + 3 = 3n

3n = (3n )1 = 3n.

Es decir < 3 >= {3n | n Z} = {0, 3, 6, ...}

Ejemplo 10.5.
No todo grupo es cclico. Considere el grupo de las simetras del triangulo equil
atero
S3 . Los subgrupos de S3 son H1 = {0 }, H2 = S3 , H3 = {0 , 1 , 2 }, H4 = {0 , 1 },
H5 = {0 , 2 }, H6 = {0 , 3 }. Note que cada uno de estos subgrupos es cclico, sin
embargo ning
un elemento individual genera todo S3 .

27

Proposici
on 10.1.
Todo grupo cclico es abeliano.
Demostraci
on. Sea G un grupo cclico, a G y supongamos que G =< a >. Sean
x, y G, entonces existen enteros r y s tales que x = ar , y, y = as . Luego, en virtud de
la clausura de G, x y G y ademas
x y = ar as = ar+s = as+r = as ar = y x G

Proposici
on 10.2.
Todo subgrupo de un grupo cclico es tambien cclico.
Demostraci
on. Sea G un grupo cclico generado por a G, esto es G =< a >. Supongamos que H G. Si H = {e} o H = G, la demostracion es trivial y as H es cclico.
Supongamos que H es una parte propia de G, es decir H G. Entonces contiene alg
un
k
elemento g G, con g 6= eG . Luego g = a para alg
un k Z. Sea ademas m el menor
entero positivo para el cual am H (Dicho m existe en virtud del principio de buena
ordenaci
on).
Por el algoritmo de la divisi
on, existen enteros q y r tales que k = mq +r, con 0 r < m.
De esta manera:
ak = amq+r = amq ar , , amq ak = (amq amq ) ar = a0 ar = ar
As que ar = (am )q ak . Como am , ak H tambien (am )q ak H, dada la clausura
de H, as que ar H. Pero como 0 r < m, necesariamente r = 0 y as k = mq. Esto
significa que ak = (am )q y por lo tanto todo elemento g H es de la forma (am )q con
q Z, lo que significa que H es el grupo cclico generado por am , es decir H =< am >
Ejemplo 10.6.
Los u
nicos subgrupos de (Z, +) son los subgrupos cclicos nZ =< n >
Ejemplo 10.7.
Los subgrupos cclicos de (Z6 , ) son < b
0 >= {0}, < 1 >=< 5 >= Z6 , < b
2 >=< b
4 >=
b
b
b
b
{0, 2, 4} y < 3 >= {0, 3}
Proposici
on 10.3.
Todo subgrupo de un grupo cclico es tambien cclico.
Demostraci
on. Sea (G, ) un grupo cclico generado por a G, esto es G =< a >, y sea
adem
as H G. Veamos que H es tambien cclico. En efecto:
i) Si H = {e} entonces H = {e1 , e2 , e3 , . . . , en1 , en , . . . } = {e, e, . . . , e} = {e} y
as H =< e >
Por lo tanto H es un grupo cclico generado por e

28

ii) Si H = G, entonces la demostracion es trivial y H = G = {an | n Z}

iii) Si H 6= G como G =< a >, entonces existe n Z tal que an H con n 6= 0. Por
otro lado, como H G entonces an H y as an an = e H Por lo tanto
existe m Z tal que am H (pues e H pero no es el u
nico elemento) y como m
es u
nico, entonces consideremos el conjunto
S = {m N| am H}
En virtud del principio de buena ordenacion existe el mnimo de S, llamado m0 =
mn S. Luego am0 H.
Vamos a probar que H =< am0 >, es decir que todo x H se puede expresar de
la forma x = (am0 )p donde p Z.
En virtud del algoritmo de la division, para n Z se tiene n = m0 q + r con
0 r < n. Luego an = am0 q+r = am0 q ar y as (am0 )q an , ar H pues an H
y am0 H (am0 )+q H
m0
m0
m0
m0 q
(am0 )q = a
| a {z a } H y (a ) H porque (H, ) es un grupo.
qveces

ar

Como
H, por definicion del conjunto S, ar H y ademas 0 r < m0 y
para que m0 = mn S, la u
nica posibilidad es que r = 0 y de esta manera se tendra
que n = m0 q an = (am0 )q y as x H y como H G por ser H G, entonces
x G =< a >= {an | n Z}
Esto significa que x = an para alg
un n Z y como an = (am0 )q = x para alg
un
m
q Z, entonces H =< a 0 > y por lo tanto H es cclico.

Proposici
on 10.4.
Sea (G, ) un grupo cclico generado por a. Si G es finito y | G |= n, entonces:
i) Si H =< as >, entonces | H |=
ii) Cualquier elemento de la forma

|G|
(n,s) .
ar genera

a (G, ) si y solo si (n, r) = 1

Demostraci
on.
i) Como H =< as > entonces | H |=|< as >|= o(as ). Luego debemos encontrar el
menor m Z+ tal que (as )m = asm = e
En virtud del algoritmo de la division podemos escribir sm Z en la forma
sm = nq + r, con 0 r < n.
De esta manera
asm = anq+r = anq ar = e (an )q ar = e
e q ar = e
Por ser an = e para alg
un n Z
r
ea =e
ar = e
Pero como | G |=|< a >|= o(a) = n y ar = e, necesariamente r = 0. As que
sm = nq, y por lo tanto n | sm

29

ii) Como (n, s) existe y es u

nico, sea c = (n, s). Luego, por definicion del m.c.d se tiene
que c | n y c | s. Esto significa que existen n1 , s1 Z+ tales que n = cn1 , y, s = cs1


 n s  (n, s)
n
s
(n, s)
,
, o sea,
,
=
=1y
=
De esta manera, (n1 , s1 ) =
c c
c
(n, s) (n, s)
(n, s)
por lo tanto (n1 , s1 ) = 1

Ejemplo 10.8.
El grupo aditivo de los reales (R, +) no es cclico.
Demostraci
on. En efecto, supongamos que x R es un generador
de (R, +). De ser as,

existe m, n Z tales que mx = 2, con m 6= 0, y, nx = 2. Luego mx = 2 implica

2
, es decir que x es racional. Pero si x Q, entonces nx Q, pero como nx = 2,
x= m

esto implica que 2 Q, lo cual no es cierto pues 2

/ Q. De esta manera se tiene
una contradicci
on y, por lo tanto, no es cierto que existe x R que genere a (R, +), es
decir,no es cclico.

10.1.

Ejercicios

1. Sea G =< a >= {an | n Z} un grupo cclico de orden n. Pruebe lo siguiente:

i) ak = e si y s
olo si n | k, Z
ii) Si b = ak , entonces el orden de b es n | d donde d = (k, n)
2. Ilustre lo siguiente: los generadores de Zn son los enteros r tales que 1 r < n, y,
(r, n) = 1
3. Sea G como en 1. Pruebe que si |G| 2, en G tiene por lo menos dos generadores
que son a y a1

11.

Clases Laterales (Co-clases)

Definici
on 11.1.
Sea (G, ) un grupo y H G. Se define la relacion congruencia modulo H en el grupo
G, notada (mod H) de la siguiente manera:
x, y G, x y (mod H) x y 1 H
Proposici
on 11.1.
La relaci
on (mod H) definida en el grupo (G, ) es de equivalencia.
Demostraci
on.

30

i) Reflexividad:
Si eG es el elemento identico del grupo G, es claro que eG pues H G. Por otro
lado puesto que x H, e = x x1 H se sigue que x x (mod H)
ii) Simetra:
Si x y (mod H), entonces xy 1 H. Como (H, ) es tambien un grupo, entonces
(x y 1 )1 H. Pero (x y 1 )1 = y x1 H y as x y (mod H) y
x (mod H)
iii) Transitividad:
Si x y (mod H) e y z (mod H), entonces xy 1 H e y z 1 H. Como (H, )
es un grupo, es claro que (x y 1 ) (y z 1 ) = x (y 1 y) z 1 = x z 1 H.
Y as se concluye que x z (mod H)

Definici
on 11.2. Clases laterales o Co-clases.
Dado un grupo (H, ) y H G, para cada g G, los conjuntos:
Hg = {h g| h H}

gH = {g h| h H}

, y,

Son llamados las clases laterales izquierda y derecha de H en G (o tambien co-clases a

izquierda y derecha de H en G).
Ejemplo 11.1.
Considere el grupo 4 de Klein, K4 dado por la tabla

e
a
b
c

e
e
a
b
c

a
a
e
c
b

b
b
c
e
a

c
c
b
a
e

Entonces G = {e, a, b, c} y consideremos H = {e, a}. Es claro que H G. De esta

manera para Hg = {h g| h H} se obtiene:
He = {h e| h H} = {e e, a e} = {e, a} = H
Ha = {h a| h H} = {e a, a a} = {a, e} = H
Hb = {h b| h H} = {e b, a b} = {b, c}
Hc = {h c| h H} = {e c, a c} = {c, b}
Por otro lado, para gH = {g h| h H} se obtiene:
eH = {e h| h H} = {e e, e a} = {e, a} = H
aH = {a h| h H} = {a e, a a} = {a, e} = H
bH = {b h| h H} = {b e, b a} = {b, c}
cH = {c h| h H} = {c e, c a} = {c, b} = H
Note que en el caso de K4 ,
He = eH = H, Ha = aH = H, y, Hb = bH = Hc = cH

31

Por otro lado es tambien claro que Hg y gH determinan una partici

on del grupo
(G, ). Note que Hg da origen a los dos subconjuntos distintos de G que son {a, e} y
{b, c} y otro tanto hace gH. Note ademas que {a, e} {b, c} = {e, a, b, c} = G
Observaci
on.
1. Si (G, ) es un grupo abeliano y H G, entonces g G, Hg = gH. Esto es cierto,
pues como H G dado que h H, arbitrario, tambien h G y as para cada
g G, h g = g h G. Luego: Hg = {h g| h H} = {g h| h H} = gH
2. Cada elemento del grupo (G, ) pertenece a alguna clase lateral de H en G. En
efecto, como H G, entonces eG H y dado g G, arbitrario, entonces g e =
g = e g y as g gH o g Hg
3. Dado (G, ) un grupo y H G, entonces He = H = eH. En efecto, esto es cierto
ya que He = {h e| h H} = {h| h H} = H, y, eH = {e h| h H} = {h| h
H} = H
Ejemplo 11.2.
Considere el grupo aditivo de los enteros (Z, +) y el subgrupo (3Z, +). Entonces
H0 = {h 0| h 3Z} = {h + 0| h 3Z} = {3k + 0| k Z} = {3k| k Z} = {0, 3, 6, 9, . . . }
H1 = {h 1| h 3Z} = {h + 1| h 3Z} = {3k + 1| k Z} = {. . . , 8, 5, 2, 1, 4, 7, 10, . . . }
H2 = {h 2| h 3Z} = {h + 2| h 3Z} = {3k + 2| k Z} = {. . . , 7, 4, 1, 2, 5, 8, . . . }
H3 = {h 3| h 3Z} = {h + 3| h 3Z} = {3k + 3| k Z} = {3(k + 1)| k Z} = {3t| t = k + 1
Z} = H0

Puede verse que m Z, H(3m) = H0, H(3m + 1) = H1, y, H(3m + 2) = H2.

Por otro lado, note que
H0 = {0, 3, 6, 9, . . . } = {x Z; 3 | x} = {x Z; x = 3m; m Z} = [0]3 = 3Z
H1 = {. . . , 8, 5, 2, 1, 4, 7, 10, . . . } = {x Z; 3 | (x 1)} = {x Z; x = 3m + 1; m
Z} = [1]3 = 3Z + 1
H2 = {. . . , 7, 4, 1, 2, 5, 8, . . . } = {x Z; 3 | (x 2)} = {x Z; x = 3m + 2; m
Z} = [2]3 = 3Z + 2
Donde [0]3 , [1]3 y [2]3 corresponden a las clases residuales del cero, del uno y del dos
m
odulo 3.
Es claro que 3Z 3Z + 1 3Z + 2 = [0]3 [1]3 [2]3 = Z
Ejemplo 11.3.
Considere el grupo simetrico S3 en el cual G = {e, 1 , 2 , 1 , 2 , 3 }, estudiado anteriormente, y dado por la tabla.

e
1
2
1
2
3

e
e
1
2
1
2
3

1
1
2
e
2
3
1
32

2
2
e
1
3
1
2

1
1
3
2
e
2
1

2
2
1
3
1
e
2

3
3
2
1
2
1
e

Sean H = {e, 1 } y H 0 = {e, 1 , 2 }. Determine las clases laterales derechas e izquierdas

de H y H 0 en G.
Soluci
on:
Hg = {hg : h H}
He = {e e , 1 e} = {e, 1 } = H
H1 = {e 1 , 1 1 } = {1 , 2 }
H2 = {e 2 , 1 2 } = {2 , 3 }
H1 = {e 1 , 1 mu1 } = {1 , e} = {e, 1 } = H
H2 = {e 2 , 1 mu2 } = {2 , 1 } = {1 , 2 }
H3 = {e 3 , 1 mu3 } = {3 , 2 } = {2 , 3 }
El conjunto formado por las clase lateral derecha de H en G es:
{{e, 1 }, {1 , 2 }, {2 , 3 }} = {H, {1 , 2 }, {2 , 3 }}
Note que se originan tres (3) clases disyuntas clasificadas de la siguiente manera:
He = H1 , H1 = H2 y, H2 = H3 . Ademas la union de estas tres clases nos
da como resultado el conjunto G. Lo anterior nos deja implcito que el subgrupo
H = {e, 1 } origina una particion del grupo G, digamos G/Hg y que las clases laterales hacen el papel de las clases de equivalencia de dicha particion, as podemos
hablar de [e] = [1 ], [1 ] = [2 ] y [2 ] = [3 ]. Los detalles de estas afirmaciones las
discutiremos m
as adelante.
gH = {gh : h H}
eH = {e e, e 1 } = {e , 1 }
1 H = {1 e, 1 1 } = {1 , 3 }
2 H = {2 e, 2 1 } = {2 , 2 }
1 H = {1 e, 1 1 } = {1 , e}
2 H = {2 e, 2 1 } = {2 , 2 }
3 H = {3 e, 3 1 } = {3 , 1 }
Un an
alisis similar al hecho antes con las clases laterales derechas de H en G
nos permite concluir lo siguiente:
[e] = eH = 1 H = [1 ] = H, [1 ] = 1 H = 3 H = [3 ], y [2 ] = 2 H =
33

2 H = [2 ]. Tambien que: G/gH = {H, [1 ], [2 ]} = {{e, 1 }, {1 , 3 }, {2 , 2 }}

y por supuesto que H [1 ] [2 ] = G

la determinaci
on de las clases laterales derechas e izquierdas del subgrupo H 0 = {0 , 1 , 2 } en G se dejan como ejercicio para el lector.

11.1.

Clases de Equivalencia

Ya estudiamos que dado un grupo G y H G, entonces g G, la relacion (mod H)

es de equivalencia en G. Por esta razon dado un elemento arbitrario g G, la clase de
equivalencia de g seg
un la relacion anterior, notada por [g] es:
[g] = {x G/ g x (mod H)}
Por otro lado, hemos definido tambien la clase lateral derecha de g G de la siguiente
manera:
Hg = {hg G/ h H}
Esto nos lleva a lo siguiente:
Proposici
on 11.2.
Sea (G, ) un grupo y H G, entonces g G, se verifica que [g] = Hg. Esto significa
que la clase de equivalencia de un elemento de un grupo coincide con su clase lateral
derecha.
Demostraci
on. Debemos probar que
Hg = {hg G/ h H} = {x G g (mod H)} = [g]
i) Hg [g]
Sea x Hg, entonces existe h H tal que x = hg. Luego, x g 1 = (hg) g 1 =
h (g g 1 ) = h y as h = x g 1 y por lo tanto x g (mod H) de donde se sigue
que x [g]
ii) [g] Hg
Sea x [g]; entonces x g (mod H) y as x g 1 H. Luego por definicion del
conjunto H debe existir alg
un h H tal que: h = xg 1. Pero hg = (xg 1 )g =
x (g g 1 ) = x, As que x = hg H.

Luego probamos que Hg [g], y, [g] Hg y as podemos concluir que Hg = [g].

En virtud del teorema fundamental de las relaciones de equivalencia debe cumplir lo
siguiente:
g G, [g] 6= y por lo tanto Hg 6= . Ademas g Hg
34

 Dos clases laterales o son iguales o son disyuntas, es decir, g1 , g2 G, o bien

[g1 ] = [g2 ] o bien [g1 ] [g2 ] =
La uni
on de todas las clases laterales de los elementos de G es igual a G.
[
[
[g] = G, es decir
Hg = G
gG

11.2.

gG

Conjunto Cociente

Si (G, ) es un grupo y H G, los conjuntos cociente de G por la relacion (mod H)

se denota por
G/H = {[g] G/ g G}
Luego:
1. G/Hg = {Hg G/ g G}
2. G/gH = {gH G/ g G}
Ejemplo 11.4.
Consideremos (R {0}, ) y sea H = {1, 1} G
Entonces para cada n
umero real x
Hx = {x, x/ x R} y xH = {x, x/ x R}. Luego xH = Hx.
Adem
as R/H = {xH R {0}/ x R} = {Hx R {0}/ x R}

35