i

Breve repaso

Deniciones y ejemplos
Denici
on 0.1 Un grupo es un par (G, ) en el que G es un conjunto cualquiera
(nito o no) y es una operaci
on
: G G G
que cumple:
es asociativa:

a (b c) = (a b) c, a, b, c G

Existe elemento neutro:

e G e a = a e = a, a G
Existe simetrico

a G b G b a = a b = e,

Comprobaremos que el neutro de un grupo, as como el simetrico de cada elemento,

es u
nico.
Notaci
on 0.2 Es com
un designar a un grupo por la letra que indica el conjunto
subyacente omitiendo la operaci
on que le da estructura de grupo.
Un grupo G se dice abeliano si la operacion es conmutativa. En este caso se
suele utilizar la notaci
on aditiva: la operaci
on se designa mediante el signo +, el
elemento neutro se escribe 0G y se denomina cero, y el simetrico de a se escribe
a, recibiendo el nombre de opuesto.
Para grupos en general, a la manera del producto numerico, si no hay lugar a
confusi
on la operaci
on se omite escribiendose ab en lugar de a b. Inspirados en
la notaci
on multiplicativa, el neutro se denomina uno y se escribe 1G ; nalmente
el simetrico de a se dice inverso de a y se escribe a1 .
Compruebese que (a1 )1 = a y que (ab)1 = b1 a1 .
Ejemplos y contraejemplos
1. El origen de la teora de grupos se sit
ua en las permutaciones de las races
de un polinomio. Brevemente por ahora1 , dado un conjunto E se llama
permutaci
on a una aplicaci
on biyectiva del conjunto E en s. La composicion
de aplicaciones dota al conjunto (E) de estructura de grupo, siendo el
neutro la aplicaci
on identica y el inverso de una permutaci
on la aplicaci
on
inversa. Para el caso E = {1, . . . , n}, (E) se escribe n o Sn .
1 pues

este es el t
opico fundamental del curso

ii

TEORIA DE GRUPOS

2. Posteriormente el estudio de la estructura de la materia ha dado auge a la

teora de grupos considerando para un polgono regular de n lados el conjunto
de movimientos del plano que lo transforman en s mismo. Asimismo la
composicion de aplicaciones nos da un grupo que recibe el nombre de grupo
del polgono de n lados. Se tienen as el grupo del tri
angulo, grupo
del cuadrado, grupo del ex
agono. . . Por ejemplo el grupo del tri
angulo
consiste de los giros de 120o , 240o con centro el baricentro, las simetras
respecto de las alturas y la identidad.
Este ejemplo tipo sera asimismo objeto de particular estudio en este curso.
3. El desarrollo de la teora de grupos ha llegado a identicar como tales
(Z, +), (Q, +), (R, +), (C, +), (Z/mZ, +), (Matrices, +), . . .
caso particular del grupo aditivo de un anillo (A, +, .) y
(Q , .), (R , .), (C , .), (Z/pZ, .), (Matrices regulares, .), . . .
caso particular del grupo U(A) de las unidades del anillo (A, +, .).
4. Sin embargo, no son grupos
(N, +), (Z, .), (Q, .), (R, .), (C, .), (Matrices, .)
En los ejemplos anteriores puede observarse que las permutaciones del conjunto
de vocales debiles {i, u} son permutaciones del conjunto de vocales {a, e, i, o, u},
el grupo del tri
angulo es parte del grupo del ex
agono, que (Z, +) lo es de (Q, +),
. . . manteniendose ademas los elementos neutros y simetricos. Reciben el nombre
de subgrupos. M
as precisamente,
Subgrupos. Generaci
on de subgrupos
Denici
on 0.3 Dado un grupo G se dice subgrupo a una parte no vaca S de G
que cumple
a, b S = ab1 S
Se escribe S G. N
otese que al ser S no vaco, existe a S y el neutro 1G = aa1
debe pertenecer a S. Asimismo, si a S, a1 = 1G a1 S; nalmente, la
restriccion de la operaci
on a S es cerrada en S en el sentido de que
a, b S = a, b1 S = a(b1 )1 = ab S
Es decir, como no poda ser menos, un subgrupo de un grupo es, por s solo, un
grupo.
Ejemplos y contraejemplos
1. (Z, +) (Q, +) (R, +) (C, +)

Breve repaso

iii

2. Gl(n, Q) Gl(n, R) Gl(n, C)

3. Dado un grupo G, el conjunto de elementos que conmutan con todos los
demas
Z(G) = {x G | xy = yx, y G}
es un subgrupo de G que se dice centro de G. Claramente, si G es abeliano
Z(G) = G; Z(S3 ) = 1 y el centro del grupo del cuadrado est
a formado
an justicadas
por el giro de 180o y la identidad. Estas armaciones quedar
convenientemente.
4. (N, +)  (Z, +), pues 2 N, pero 2  N.
Observaci
on 0.4 Es f
acil probar ya, como se hace con los subespacios en algebra
lineal, que la intersecci
on de subgrupos es un nuevo subgrupo lo que da lugar
comodamente a la siguiente
Denici
on 0.5 Dado un subconjunto E de un grupo G se dice subgrupo generado
por E a la intersecci
on de subgrupos de G que contienen a E:

< E >= {S G | E S}
Observaci
on 0.6 N
otese que E < E > y que < >= 1G ; ahora bien, tan
comoda denici
on da muy poca o nula informaci
on acerca de los elementos de
< E >, cuando E es no vaco. Introduciendo el concepto de potencia en un grupo

an = a 
a
a G, n N =
a0 = 1

n G n 1
a = (a )
podemos enunciar
Proposici
on 0.7 Dado un subconjunto no vaco E de G,
< E >= {xn1 1 xnr r | xi E, ni Z}
Demostraci
on: Es claro que si S es un subgrupo de G conteniendo a E debe
contener a las potencias de sus elementos y a los productos de estas, lo que da el
.
Recprocamente el conjunto S de la derecha, contiene a E por lo que es no
vaco; si xn1 1 xnr r y y1m1 yrmr son dos elementos de S, pruebe el lector que
(z1 zn )1 = zn1 z11 y
(xn1 1 xnr r )(y1m1 yrmr )1 = xn1 1 xnr r yrmr y1m1 S
por lo que S es un subgrupo de G conteniendo a E y se tiene el otro contenido.
En un grupo nito G se llama orden a la cantidad de elementos que posee. Se
escribe |G|. Es clasico el siguiente

iv

TEORIA DE GRUPOS

Teorema 0.8 (Lagrange) El orden de un subgrupo S de G es divisor del orden

de G.
Demostraci
on: Basta construir las denominadas clases a izquierda
xS = {xs | s S}
y ver que G es la uni
on disjunta de dichas clases, todas ellos de tama
no |S|.
Observaci
on 0.9 An
alogamente, existen las clases a derecha Sx = {sx | s S}.
Curiosamente puede ocurrir que xS = Sx, pero de esto hablaremos a continuaci
on.
Denici
on 0.10 El n
umero |G|/|S| se dice ndice de S en G y se escribe [G : S].
Grupo cociente. Subgrupos normales
Debe ser conocida la estructura de conjunto cociente a partir de una relaci
on de
equivalencia. Si tenemos ahora un grupo consideraremos relaciones de equivalencia
que sean compatibles o estables con la operaci
on del grupo; m
as precisamente
a b, c d = ac bd
Observese que esto es lo que pasa en Z con la relaci
on de congruencia (m
odulo m)
.

a b a b = m
Tal compatibilidad permite dotar al cociente de estructura de grupo como indica
la siguiente
Proposici
on 0.11 Sea G un grupo y una relaci
on de equivalencia en G compatible con su operaci
on. Entonces, el conjunto cociente G/ puede ser dotado de
una operaci
on que le da estructura de grupo. Se dice grupo cociente de G. Adem
as,
si G es abeliano, el cociente lo es.
Demostraci
on:
Denimos (.): G/ G/ G/ mediante [x][y] = [xy] Es claro que se
trata de una operaci
on, muy f
acil de ver que es asociativa, que el neutro es [1G ]
a de la posible
y que [x]1 = [x1 ]. Finalmente, la conmutatividad se heredar
conmutatividad en G.
Observaci
on 0.12 Es posible describir en terminos de G las relaciones de
equivalencia estables?, o lo que es lo mismo describir todos los grupos cocientes
de un grupo? Observemos algunos hechos notables de este tipo de relaciones de
equivalencia:
1. x y xy 1 1G
2. x y x1 y 1 (se deduce facilmente de la anterior)

Breve repaso

3. La clase del neutro [1G ] es un subgrupo N de G, pues

1
1G 11
x, y 1G = x, y 1 1G , 11
G = xy
G = 1G

4. Las clases de equivalencia son de la forma

xN = {y G | y = xn, n 1G }
En efecto,
y [x]

y x y 1 x1 y 1 x N
y 1 x = n, n N y = xn1 xN

Puestas as las cosas nos podemos plantear que las relaciones de equivalencia en
G compatibles con su producto tienen como conjunto soporte a las denominadas
clases laterales a izquierda
{xN | x G, N G}
Sin embargo, la armaci
on es incorrecta como lo muestra el siguiente
Ejemplo En S3 , el grupo simetrico de grado 3, consideramos el subgrupo N
formado por 1 y la transposici
on (1 2). Entonces, las clases xN son
{1, (1 2)}
{(1 3), (1 2 3)}
{(2 3), (1 3 2)}
Sin embargo, la relaci
on de equivalencia que produce esta partici
on no es compatible, pues
(1 3 2) = (1 3)(2 3)  (1 2 3)(1 3 2) = 1
Debemos en consecuencia buscar una propiedad m
as. Esta se deduce facilmente de
la observaci
on directa de la operaci
on en el grupo cociente considerando las clases
a derecha
N x = {nx | n N, x G}
como lo indica la siguiente
Proposici
on 0.13 Sea N un subgrupo de G. Entonces,
(xN )(yN ) = (xy)N x, y G xN = N x x G
Demostraci
on:
S
olo si: En primer lugar, xnx1 = (xn)(x1 1G ) xN x1 N = 1G N = N . Ahora,
xn = (xnx1 )x = n1 x N x = xN N x
An
alogamente, N x xN
Si: xn1 yn2 = x(n1 y)n2 = x(yn3 )n2 = (xy)n4 (xy)N = xN yN (xy)N
(xy)n = (x1G )(yn) (xN )(yN ) = (xy)N (xN )(yN )

vi

TEORIA DE GRUPOS

Denici
on 0.14 Un subgrupo N de G se dice normal2 y se escribe N G si
xN = N x x G.
Ejemplos y contraejemplos
1. El subgrupo N = {1, (1 2 3), (1 3 2)} del grupo simetrico de grado 3, es
normal; de hecho
2. En un grupo todo subgrupo N de ndice 2 es normal, pues
.

N xN = G = N N x = xN = N x, x G
3. Como habamos anunciado el subgrupo N = {1, (1 2)} del grupo simetrico
de grado 3, no es normal. De hecho,
(1 3)N = {(1 3), (1 2 3)} = {(1 3), (1 3 2)} = N (1 3)
Proposici
on 0.15 N G xnx1 N, x G n N
N
otese que la condicion de subgrupo normal es obvia en grupos abelianos; asimismo
si N es normal en G lo es en cada subgrupo de G que lo contenga. El propio grupo
y el neutro son subgrupos normales, obviamente; veremso que el centro siempre es
normal. Un grupo sin subgrupos normales propios se dice simple.
Teorema 0.16 Sea G un grupo.
i) Si una relaci
on de equivalencia en G es compatible con su producto, la clase
del neutro [1G ] es un sugrupo normal de G.
ii) Si N es un sugrupo normal de G la reaci
on x y xy 1 N es de
equivalencia y compatible con el producto de G. El grupo cociente se escribe
G/N .
iii) La correspondencia


N x y xy 1 N
es una biyecci
on entre el el conjunto de subgrupos normales de G y el conjunto de relaciones de equivalencia compatibles con su producto.
Demostraci
on:
i) Vista en los resultados anteriores (0.12.3) y (0.13)
ii)
Reexiva: xx1 = 1G = x x
Simetrica: x y = xy 1 N = yx1 = (xy 1 )1 N = y x
Transitiva:
x y, y z = (xy 1 ) N, (yz 1 ) N = xz 1 = (xy 1 )(yz 1 ) N
Compatible con el producto de G: Aqu esta la clave; al ser N normal en G,
z 1 nz N, z G n N ; por tanto,
2 invariante

o distinguido

Breve repaso

vii

x y, z u

=
=
=

y = n1 x, u = n2 z =
yu = n1 (xn2 )z = n1 (n3 x)z = n4 xz =
xz yu

iii)
Inyectiva: Sean N y M subgrupos normales de G tales que
xy 1 N xy 1 M
Entonces,
1
z N z11
G N z1G M z M

y N = M.
Sobre: Sea una relaci
on de equivalencia en G, compatible con su producto.
Sea N = [1G ]; que, N G es (0.13) y que x y xy 1 N es (0.12.1).
Corolario 0.17 Si G es nito y N es normal en G, |G| = |N ||G/N |
Demostraci
on: Es consecuencia del teorema de Lagrange, pues los elementos de
G/N son las clases laterales.
Observaci
on 0.18 Otra de las cualidades de los subgrupos normales es que permite obtener producto de subgrupos.
Proposici
on 0.19 Si N G y S G,
N S = {ns | n N, s S}
es un subgrupo de G, y N S S.
Demostraci
on:
(n1 s1 )(n2 s2 )1

1
1
= (n1 s1 )(s1
2 n2 ) = n1 s3 n2 =
1 1
= n1 (s3 n2 s3 )s3 = n1 n3 s3 = n4 s3 N S

La normalidad de N S en S es sencilla de probar.

Homomorsmos. Teoremas de isomorfa.
El proceso de paso al cociente es consecuencia del intento de simplicar una
estructura. Por ejemplo3 es mas sencillo operar en Z/mZ que en Z y a veces
es suciente operar en el primero para obtener las consecuencias pretendidas en el
segundo. recuerde, al efecto, la escolar prueba del nueve para garantizar algunos
resultados aritmeticos. El lector interesado puede consultar el estupendo libro de
Lipson Elements of Algebra and Algebraic computing.
3 aunque

al lector novel le pueda parecer parad

ojico

viii

TEORIA DE GRUPOS

El paso de Z a Z/mZ consiste en sustituir una clase de n

umeros enteros por uno
solo: los m
ultiplos de m por 0, los m
ultiplos de m + 1 por 1,. . . . M
as precisamente,
se considera la correspondencia p: Z Z/mZ dada por
p(z) = {z, z + m, z + 2m, . . . , z + km, . . .} = [z]
.

El interes reside en que al ser la relacion x y x y =m compatible con la

suma4
[z1 + z2 ] = [z1 ] + [z2 ] o mejor p(z1 + z2 ) = p(z1 ) + p(z2 )
En general, dado un grupo G y un subgrupo N normal la correspondencia
p: G G/N dada por p(x) = xN , cumple
p(xy) = (xy)N = (xN )(yN ) = p(x)p(y)
Este tipo de correspondencias recibe el nombre de proyecciones canonicas. Es el
origen de la siguiente
Denici
on 0.20 Dados dos grupos G y H se dice homomorsmo a una aplicaci
on
f : G H tal que f (xy) = f (x)f (y).
Ejemplos y contraejemplos
1. Las proyecciones canonicas, que nos han servido como introducci
on, de Z en
Z/mZ y en general de G en G/N .
2. [z] iz es un homomorsmo del grupo (aditivo) (Z/4Z, +) de los enteros
modulo 4 en el grupo multiplicativo ({1, i}, .) de las races cuartas de la
unidad.
3. Dado un cuerpo K, det: Gl(m, K) K es un homomorsmo de grupos.
4. La traza es un homomorsmo entre los grupos aditivos Mmn (K) y K, pero
no un homorsmo entre Gl(m, K) y K pues

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

Como consecuencia de la denicion se tiene

Proposici
on 0.21 Si f : G H es un homomorsmo de grupos
i) f (1G ) = 1H
ii) f (x1 ) = f (x)1 , x G
iii) f (S) H S G.
4y

tambi
en con el producto

Breve repaso

ix

Demostraci
on: Cl
asica; se propone como ejercicio.

Observaci
on 0.22 Como consecuencia, Im(f ) es siempre un subgrupo. Entre
homomorsmos se distinguen los inyectivos o monomorsmos, los suprayectivos
o epimorsmos y los biyectivos o isomorsmos. Las proyecciones canonicas son
siempre epimorsmos, pero no suelen ser monomorsmos5 . Un bonito ejemplo de
isomorsmo es el n
umero 2 anterior. La inclusi
on de un subgrupo en un grupo es
siempre un monomorsmo, pero no suele ser un epimorsmo6 .
Asociado a todo homomorsmo aparece siempre un subgrupo normal; dicho subgrupo mide su no inyectividad y da cociente isomorfo a la imagen:

Teorema 0.23 (Primer teorema de isomorfa) Si f : G H es un homomorsmo, ker f = {x G | f (x) = 1H } es un subgrupo normal de G que cumple:
i) f es monomorsmo ker f = 1G
ii) El grupo cociente G/ ker f es isomorfo a Im(f ).
Demostraci
on: Sea x ker f

f (yxy 1 ) = f (y)f (x)f (y 1 ) = f (y)1H f (y 1 ) = f (y)f (y)1 = 1H

Por tanto, yxy 1 ker f ; es suciente aplicar la caracterizacion (0.15)

i) Ahora, es claro que si f es inyectiva ker f solo puede contener al neutro.
Recprocamente,

f (x) = f (y) = f (xy 1 ) = f (x)f (y)1 = 1H = xy 1 ker f = 1G = x = y

ii) Denimos : G/ ker f Im(f ) mediante ([x]) = f (x) Es rutinario comprobar que se trata de un isomorsmo. N
otese que f = j p donde p denota la
proyeccion can
onica de G sobre G/ ker f y j la inclusi
on de Im(f ) en H.

5 salvo
6 salvo

el caso trivial de que el subgrupo normal sea el neutro

el caso trivial de que el subgrupo sea el total

TEORIA DE GRUPOS

Ejemplo El n
ucleo de la proyeccion can
onica p de G en su cociente G/N es N ,
pues

xN = N xN = 1G N x 1G x N

Observaci
on 0.24 Notemos pues que el concepto de subgrupo normal esta
asimismo estrechamente ligado al de homomorsmo toda vez que hemos probado
ya el siguiente

Corolario 0.25 N G si y s
olo si es el n
ucleo de alg
un homomorsmo.

Corolario 0.26 (Segundo teorema de isomorfa) Sean N, S G, N normal. Entonces, N S es un subgrupo normal de S y
S/(S N )
= N S/N

Demostraci
on: Denimos la correspondencia s sN , la clase de s en el grupo
cociente N S/N . Es f
acil probar que se trata de un homomorsmo de grupos; ahora
(ns)s1 N = (ns)N = sN y la antiimagen de (ns)N es s. Por tanto, se trata
de un epimorsmo.
Basta observar que su n
ucleo es precisamente S N y aplicar el primer teorema
de isomorfa.

Corolario 0.27 (Teorema de la correspondencia inversa) Sea N G.

i) Existe una biyecci
on entre el conjunto de subgrupos S de G conteniendo N
y el conjunto de subgrupos de G/N .
ii) [G : S] = [G/N : S/N ]
iii) S G S/N G/N y (G/N )/(S/N )
= G/S
Demostraci
on:
i) Si N S G, hemos comentado ya que N S y cada clase sN del grupo
cociente S/N es un elemento de G/N ; por tanto, S/N G/N . Veamos que la
asignaci
on S S/N es una biyeccion.

Breve repaso

xi

Inyectiva:
Supongamos N S, T G con S/N = T /N . Entonces,
sS

=
=

sN S/N = T /N = sN = tN = t1 s N T
sT

Por tanto, S T . Intercambiando sus papeles, T S y S = T .

Sobre:
Sea H G/N y S = {s G | sN H}. Entonces,
nN = N = 1G/N = 1H H = n S = N S
Por otro lado,
s1 , s2 S

=
0.11

=
=

s1 N, s2 N H = (s1 N )(s2 N )1 H =
1
(s1 N )(s1
2 N ) H = s1 s2 N H =
1
s1 s2 S

As, N S G; basta ver que S/N = H, pero esto es consecuencia

de la propia construcci
on de S.
iii) La correspondencia xN xS es un epimorsmo de G/N en G/S cuyo n
ucleo
es
{xN G/N | xS = S} = {xN G/N | x S} = S/N
ii) Puede omitir el lector su demostraci
on en una primera lectura, pues su m
aximo
interes es en el caso de ser S normal y, entonces, el resultado se deduce del
isomorsmo en el apartado iii).
Para el caso general basta probar que la asignaci
on
{xS | x G} {(xN )(S/N ) | xN G/N }
es biyectiva, lo que se obtiene de reiterar los argumentos anteriores:
xS = yS = = (xN )(S/N ) = (yN )(S/N )
(xN )(S/N ) = (yN )(S/N ) = = xy 1 S = xS = yS
El siguiente esquema-ejemplo puede arrojar algo de luz sobre lo que quiere decir
el enunciado.
Sea G = Z/12Z el grupo aditivo de los enteros m
odulo 12, y consideremos lo
subgrupos
N = {0, 6} S = {0, 2, 4, 6, 8, 10}
Entonces,

xii

TEORIA DE GRUPOS

G/S
0

4
1

10
7

G/S

G/N
6

10

S/N

4
1

8
0

10

10
7

11

11

11