LGEBRA CONMUTATIVA

Grado en Matemticas, curso 2015-2016

Tema 1: Grupos

Amelia lvarez Snchez

1 / 61

ndice

1. Grupos
1.1 Grupos y Subgrupos
1.2 Aritmtica Elemental
1.3 Morfismos de Grupos
1.4 Grupo Cociente
1.5 Grupos Cclicos
1.6 El Grupo Simtrico

2 / 61
1.1 Grupos y Subgrupos
Llamaremos operacin o ley de composicin interna en un
conjunto X a toda aplicacin X X X .
Representaremos las operaciones con los smbolos +, , , ...,
en cuyo caso la imagen de cada pareja (x, y ) X X se
denotar respectivamente x + y , x y , x y , etc.

Definicin

Una operacin G G G define una estructura de grupo en
el conjunto G si verifica las siguientes condiciones:
Ax. 1 Propiedad asociativa: a (b c) = (a b) c, a, b, c G.
Ax. 2 Existe un elemento* en G, que se llama neutro y se
denota 1, tal que 1 a = a 1 = a, a G.
Ax. 3 Si a G, entonces existe un elemento* a1 G, llamado
inverso de a, tal que a a1 = a1 a = 1.
* Ambos son necesariamente nicos. Por qu?

3 / 61

Si adems se verifica que a b = b a para todo a, b G,

diremos que el grupo es abeliano o conmutativo.

El conjunto de los nmeros enteros con la suma, (Z, +), es el

ejemplo bsico de grupo conmutativo.

Notacin aditiva (Caso abeliano)

Denotaremos + la operacin, 0 el elemento neutro, y el inverso
de a lo llamaremos opuesto y lo denotaremos a.

Notacin multiplicativa
Denotaremos la operacin, 1 el elemento neutro, y a1 el
inverso de a.

4 / 61
 Ejemplos
I (Q, +), (R, +) y (C, +) son grupos conmutativos.
I El conjunto R+ de los nmeros reales positivos con el
producto es un grupo abeliano. Los nmeros complejos no
nulos con el producto es un grupo abeliano, al igual que
las races n-simas de la unidad, donde n 1.
I Las sucesiones de nmeros reales con la suma de
sucesiones es un grupo conmutativo.
I Si (G, ) y (G0 , ) son dos grupos, su producto directo
G G0 con la operacin (a, a0 ) (b, b0 ) = (a b, a0 b0 ) es
un grupo, que es abeliano si y slo si lo son G y G0 .
I Si un grupo slo tiene un elemento, entonces es el neutro,
por lo que tal grupo se denota 0 1, segn la operacin se
denote aditiva o multiplicativamente.

5 / 61

Ejemplo: El grupo simtrico

Sea : X Y una aplicacin biyectiva. Si y Y , existe un
nico elemento x X tal que y = (x), elemento que
denotaremos 1 (y ). Obtenemos as una aplicacin
1 : Y X que tambin es biyectiva y verifica que 1 es
la identidad de X y 1 es la identidad de Y .

Por tanto, el conjunto de todas las biyecciones de un conjunto

no vaco X en s mismo, con la composicin de aplicaciones,
(Biy (X ), ), es un grupo cuyo elemento neutro es la identidad
de X . Este grupo slo es conmutativo cuando X tiene 1 2
elementos.

Cuando X tiene un nmero finito n de elementos, este grupo se

denota Sn y se llama grupo simtrico n-simo. Sus elementos
tambin reciben el nombre de permutaciones de n elementos.

6 / 61
Supondremos siempre que n 2. Numerando los elementos
de X podemos suponer que X = {1, 2, . . . , n}, as que una
permutacin Sn puede denotarse de la siguiente forma:
 
1 2 ... n
a1 a2 . . . an

donde ai = (i). Con esta notacin es evidente que el nmero

de elementos del grupo simtrico Sn es el factorial
n (n 1) . . . 2 1 = n!.
Tambin es muy usual la siguiente notacin: si a1 , . . . , ad son
nmeros distintos entre 1 y n, denotaremos (a1 . . . ad ) la
permutacin que transforma ai en ai+1 (entendiendo que ad+1
es a1 ) y deja fijos los restantes elementos. Esta notacin es
cmoda, pero tiene el inconveniente de que es ambigua, pues
(2135) denota tanto un elemento del grupo S5 como de los
grupos Sn con cualquier n 6. Adems, (2135) es la misma
permutacin que (1352), (3521) y (5213).
7 / 61

Definicin
Sea (G, ) un grupo. Diremos que un subconjunto H de G es un
subgrupo de G si verifica las siguientes condiciones:
(a) La operacin de G induce una operacin en H, es decir,
a, b H a b H.
(b) El elemento neutro de G est en H, es decir, 1 H.
(c) El inverso de cualquier elemento de H est en H, es decir,
a H a1 H.

Ejercicios
1. Demostrar que un subconjunto H de un grupo G es
subgrupo de G si y slo si H 6= y para todo a, b H se
cumple que a b1 H.
2. Sea H un subgrupo de un grupo G. Comprubese que
aHa1 = {aha1 : h H} es un subgrupo de G, para todo
a G. Este subgrupo se denomina subgrupo conjugado de
H por a.
8 / 61
Ejemplos
i) Todo grupo G admite los subgrupos {1} y G, llamados
subgrupos triviales.
ii) Z, Q y R son subgrupos del grupo (C, +).
iii) Las sucesiones de nmeros racionales, con la suma de
sucesiones, forman un grupo conmutativo. Las sucesiones
de Cauchy y las sucesiones convergentes de nmeros
racionales forman sendos subgrupos.
iv) Dado n un nmero entero, el conjunto

nZ = {a Z : a = nb para algn b Z}

formado por los mltiplos de n es un subgrupo de (Z, +)

(veremos que todos sus subgrupos son as).

9 / 61

v) Subgrupos de (C , ):
I (Z , )?

I (Q , )?

I S1 = {z C : |z| = 1}?

I B1 = {z C : |z| 1}?

I n 1 = {z C : z n = 1}?

1
Admitiendo la notacin ea+bi = ea (cos b + ib), dado un nmero natural
no nulo n, las races n-simas de la unidad 1 = e2i es el conjunto n
2i Not.
formado por los n nmeros complejos e n k = nk , k = 0, . . . , n 1.
10 / 61
vi) Cada elemento g de un grupo G genera un subgrupo:
I Con notacin aditiva: (g) = {ng}nZ , donde

ng = g+ .n). . +g si n > 0,

0g = 0, y

ng = (g)+ n)
. . . +(g) si n < 0.

I Con notacin multiplicativa: (g) = {g n }nZ , donde

g n = g .n). . g si n > 0,

g 0 = 1, y

g n = g 1 n)
. . . g 1 si n < 0.

11 / 61

vii) Las permutaciones de n puntos en un plano que

conserven distancias (es decir, tales que la distancia entre
P y Q coincida con la distancia entre P y Q) forman un
subgrupo de Sn , llamado grupo de simetra de la figura
dada.
As, el grupo de simetra de un tringulo equiltero de
vrtices P1 , P2 , P3 es claramente S3 . Si el tringulo es
issceles y P1 es el vrtice comn de los dos lados
iguales, el grupo de simetra es {Id, (23)}, mientras que el
grupo de simetra se reduce a la identidad si el tringulo
es escaleno.

12 / 61
Operaciones con subgrupos

Proposicin (1)
I Si {Hi }iI es una familia de subgrupos de G, entonces
iI Hi es un subgrupo de G.
I Si H1 y H2 son subgrupos de G, entonces

H1 H2 subgrupo H1 H2 H2 H1 .

I Si G es abeliano y H1 y H2 son subgrupos de G, entonces

H1 + H2 = {g G : g = h1 + h2 , h1 H1 , h2 H2 }

es un subgrupo de G.

13 / 61

Como consecuencia tenemos que, si X es un subconjunto de

un grupo G, la interseccin de todos los subgrupos de G que
contienen a X es un subgrupo de G y diremos que es el
subgrupo de G engendrado o generado por X . El subgrupo
de G generado por X es un subgrupo de G que contiene a X y
que est contenido en cualquier otro subgrupo de G que
contenga a X : es el menor subgrupo de G que contiene a X .

Ejemplo
El subgrupo de Z generado por un entero n es

(n) = nZ = {a Z : a = nb para algn b Z}

y el subgrupo de Z generado por dos nmeros enteros m y n es

mZ + nZ = {x Z : x = am + bn, a, b Z}.

14 / 61
1.2 Aritmtica Elemental

Teorema (2)
Si H es un subgrupo del grupo aditivo de los nmeros enteros,
entonces existe un nico nmero natural n tal que H = nZ.

Sean a, b dos nmeros enteros. Diremos que a es mltiplo de

b (o que b es divisor de a) cuando exista algn c Z tal que
a = bc, es decir, cuando aZ bZ.

Diremos que un nmero natural p mayor que 1 es primo

cuando no pueda descomponerse en producto de dos nmeros
naturales ms pequeos (es decir, cuando p > 1 y sus nicos
divisores naturales son 1 y p).

15 / 61

Definicin
Sean a, b dos nmeros enteros. Diremos que un nmero
natural es el mnimo comn mltiplo de a y b si es un
mltiplo comn y divide a cualquier otro mltiplo comn.
Diremos que un nmero natural es el mximo comn divisor
de a y b si es un divisor comn y es mltiplo de cualquier otro
divisor comn. Diremos que a y b son primos entre s, cuando
su mximo comn divisor sea la unidad.

Si n es un nmero natural no nulo, (n) denotar el nmero de

nmeros naturales entre 1 y n que son primos con n. Esta
funcin se llama indicador de Euler(1707-1783) y sus
primeros valores son:

(2) = 1, (3) = 2, (4) = 2, (5) = 4, (6) = 2, (7) = 6,

(p) = p 1 cuando p es primo.

16 / 61
Propiedades del indicador de Euler.

(pr ) = (p 1)pr 1 si p es un nmero primo y r 1

(n m) = (n) (m) si n y m son primos entre s

Ejemplo
Un buen mtodo para calcular el indicador de Euler de un
nmero natural n consiste en descomponerlo en producto de
nmeros primos:

(2000) = (24 53 ) = (24 )(53 ) = 23 52 (5 1) = 25 52 = 800

(1995) = (3 5 7 19) = 2 4 6 18 = 864

17 / 61

Proposicin (3)
Sean a y b dos nmeros enteros. La condicin necesaria y
suficiente para que un nmero natural m sea el mnimo comn
mltiplo de a y b es que

mZ = aZ bZ.

Luego el mnimo comn mltiplo de dos nmeros enteros

siempre existe y es nico.

Proposicin (4)
Sean a y b dos nmeros enteros. La condicin necesaria y
suficiente para que un nmero natural d sea el mximo comn
divisor de a y b es que

dZ = aZ + bZ.

Por tanto, el mximo comn divisor de dos nmeros enteros

siempre existe y es nico.
18 / 61
Identidad de Bzout (1730-1783). Sean a y b dos nmeros
enteros. Si d es el mximo comn divisor de a y b, entonces
existen nmeros enteros y tales que

d = a + b.

Corolario (5)
La condicin necesaria y suficiente para que dos nmeros
enteros a, b sean primos entre s es que existan nmeros
enteros , tales que

1 = a + b.

19 / 61

Corolario (6)
Si un nmero entero divide a un producto de dos nmeros
enteros y es primo con un factor, entonces divide al otro factor.

Lema de Euclides. Si un nmero primo divide a un producto

de nmeros enteros, entonces divide a algn factor.

20 / 61
Teorema Fundamental de la Aritmtica. Todo nmero
natural mayor que 1 es producto de nmeros primos. Esta
descomposicin es nica salvo el orden de los factores.

Corolario (7)
Todo nmero natural mayor que 1 es mltiplo de algn nmero
primo.

Corolario (8)
Hay infinitos nmeros primos.

21 / 61

Todo nmero natural n 2 descompone de la siguiente forma:

n = p1n1 prnr , ni 1

donde p1 , . . . , pr son nmeros primos distintos, y tal

descomposicin es nica salvo el orden de los factores. Del
lema de Euclides se sigue que si un nmero primo p divide a n,
entonces p = pi para algn ndice i: Los nicos factores primos
de n son p1 , . . . , pr .
Si a = p1a1 prar y b = p1b1 prbr son descomposiciones de dos
nmeros naturales a, b en producto de primos distintos
(ai , bi 0), entonces

b es mltiplo de a bi ai para todo ndice i

m.c.d.(a, b) = p1d1 prdr , di = min(ai , bi )
m.c.m.(a, b) = p1m1 prmr , mi = max(ai , bi )

En particular, ab = m.c.d.(a, b) m.c.m.(a, b).

22 / 61
 Algoritmo de Euclides. Sean a, b, c, r Z. Si a = bc + r ,
entonces
m.c.d.(a, b) = m.c.d.(b, r ).

Sirve para: Calcular el mximo comn divisor de dos nmeros

enteros no nulos y los coeficientes de la identidad de Bzout.
Procedimiento: Se efectan las divisiones

a = c1 b + r1 , b = c2 r1 + r2 , r1 = c3 r2 + r3 , . . . , rn1 = cn+1 rn + 0

hasta que el resto sea nulo (ha de ocurrir necesariamente pues

|r1 | > |r2 | > . . .). Segn el resultado anterior, el mximo comn
divisor de a y b coincide con el de dos trminos sucesivos
cualesquiera de la sucesin a, b, r1 , . . . , rn , 0. Es decir,

m.c.d.(a, b) = m.c.d.(b, r1 ) = . . . = m.c.d.(rn , 0) = rn

y concluimos que el mximo comn divisor d de a y b es el

ltimo resto no nulo rn .
23 / 61

Ejemplo: Ecuaciones diofnticas lineales

Dados nmeros enteros a, b, c, el algoritmo de Euclides
permite hallar todas las soluciones enteras de la ecuacin

ax + by = c.

Para que la ecuacin tenga solucin entera deben existir

nmeros enteros x, y tales que

c = ax + by aZ + bZ = dZ

donde d = m.c.d.(a, b). Luego la ecuacin tiene solucin

entera si y slo si c es mltiplo de d.
Supongamos que a, b 6= 0 y que c = dc 0 para algn c 0 Z. Si
d = a + b, entonces

x0 = c 0 , y0 = c 0

es una solucin particular de la ecuacin considerada.

24 / 61
 Todas las soluciones enteras son

x = x0 + (b/d)n
(n Z)
y = y0 (a/d)n
Por sustitucin se comprueba que son soluciones. Para probar
que cualquier solucin x e y se puede escribir de esa forma,
restamos las expresiones c = ax + by , c = ax0 + by0 :
a(x x0 ) = b(y y0 ).
Dividiendo por d = m.c.d.(a, b) tenemos
(a/d)(x x0 ) = (b/d)(y y0 )
donde a/d y b/d son primos entre s. Por el Corolario (6), b/d
divide a x x0 , es decir,
x x0 = (b/d)n para algn n Z,
as que sustituyendo y simplificando nos queda
y y0 = (a/d)n.
Como ejemplo vamos a resolver la ecuacin diofntica
2000x 266y = 4.
25 / 61

1.3 Morfismos de Grupos

Definicin
Diremos que una aplicacin f : G G0 entre dos grupos es un
morfismo de grupos cuando para todo a, b G se verifique

f (a b) = f (a) f (b).

Diremos que un morfismo de grupos f : G G0 es un

isomorfismo si existe un morfismo de grupos g : G0 G tal
que f g = IG0 y g f = IG . Diremos que tal morfismo g es el
inverso de f y lo denotaremos f 1 .
Llamaremos automorfismos de un grupo G a los
isomorfismos de G en G.

26 / 61
Propiedades
I Los morfismos de grupo conservan el neutro y los
inversos:

f (1) = 1
f (a1 ) = f (a)1

I Si f : G G0 y g : G0 G00 son morfismos de grupos,

entonces su g f : G G00 tambin es un morfismo
de grupos.

27 / 61

Definicin
Si f : G G0 es un morfismo de grupos, su ncleo y su
imagen son, respectivamente:

Ker f = {a G : f (a) = 1} G,
Im f = {x G0 : x = f (a), para algn a G} G0 .

Proposicin (9)
Si f : G G0 es un morfismo de grupos, entonces:
(a) f es inyectivo si y slo si Ker(f ) = 1.
(b) f es isomorfismo si y slo si f es biyectivo.

28 / 61
Proposicin (10)
Sea f : G G0 un morfismo de grupos.
(a) Si H es un subgrupo de G, entonces

f (H) := {y G0 : y = f (a) para algn a H}

es un subgrupo de G0 .
(b) Si H 0 es un subgrupo de G0 , entonces

f 1 (H 0 ) := {a G : f (a) H 0 }

es un subgrupo de G.
En particular Im f es un subgrupo de G0 y Ker f es un subgrupo
de G.

29 / 61

Ejemplos
i) Si H es un subgrupo de un grupo G, la inclusin
i : H G, i(a) = a, es un morfismo de grupos inyectivo y
su imagen es H.
ii) Si G es un grupo, existe un nico morfismo de grupos
1 G, que es inyectivo, y un nico morfismo de grupos
G 1, que es epiyectivo.
iii) Si G y G0 son dos grupos, las proyecciones G G0 G y
G G0 G0 son morfismos de grupos. Tambin lo es la
aplicacin i : G G G0 , i(g) = (g, 1).
iv) Morfismos de grupos Z Z?

30 / 61
 v) Sea (G, ) un grupo. Cada elemento g G define un
morfismo de grupos:

fg : (Z, +) (G, ), 1 fg (1) = g

Im fg =

Ker fg =

31 / 61

1.4 Grupo Cociente

Relacin definida por un subgrupo. Sea (G, ) un grupo.
Cada subgrupo H define una relacin

a b a1 b H,

que es de equivalencia. Respecto de esta relacin, las clases

de equivalencia del neutro y de un elemento cualquiera a G
son:
[1] =
[a] =

Ejemplo
G = Z, H = (n) = nZ = [0]
a b
[a] = a =

32 / 61
El conjunto cociente de G por la relacin de equivalencia
inducida por el subgrupo H se denotar:

G/H = {aH : a G}.

Definicin
Llamaremos orden de un grupo a su cardinal2 . Llamaremos
ndice de un subgrupo H en un grupo G al cardinal del
conjunto cociente G/H.
ndice de nZ en Z?

Teorema (de Lagrange)

Sea G un grupo de orden finito. Si H es un subgrupo de G, el
orden de H divide al orden de G y el cociente es el ndice de H
en G.
|G/H| = |G|/|H|.
2
El cardinal de un conjunto finito X es el nmero de elementos de X y se
denota |X |.
33 / 61

Ejemplos
I Subgrupos de 8 = {z C : z 8 = 1}

I Subgrupos de S3

34 / 61
Construccin del grupo cociente
Sea H un subgrupo de un grupo (G, ). Queremos definir una
estructura de grupo en el cociente G/H de manera que la
proyeccin cannica : G G/H sea morfismo de grupos. Es
decir:
[a b] = [a] [b].

I Podemos definir [a] [b] := [a b]?

I Si [a] = [a0 ] [a b] = [a0 b]?

I Es decir, a a0 a b a0 b?

En tal caso, H sera el ncleo del morfismo , ya que

ker = {g G : (g) = [1]} = {g G : [g] = [1]} = {g G :
g [1]} = H.

35 / 61

Definicin
Sea H un subgrupo de un grupo G. Diremos que H es un
subgrupo normal de G si aHa1 H para todo a G. Es
decir,
h H, a G aha1 H.

Ejemplos
I Si G es conmutativo, todo subgrupo de G es normal.
I El grupo de las permutaciones pares An es un subgrupo
normal de Sn (lo probaremos al final del tema).
I H = {Id, (23)} es un subgrupo de S3 que no es normal.

36 / 61
Proposicin (11)
Sea f : G G0 un morfismo de grupos. El ncleo de f es un
subgrupo normal de G.

Proposicin (12)
Sea G un grupo y sea H un subgrupo de G. Las siguientes
condiciones son equivalentes:
1. aHa1 H, a G;
2. aHa1 = H, a G;
3. aH Ha, a G;
4. aH = Ha, a G.

Demostracin
EJERCICIO

37 / 61

Teorema (13)
Si H es un subgrupo normal de un grupo G, en el conjunto
cociente G/H existe una nica estructura de grupo tal que la
proyeccin cannica : G G/H es morfismo de grupos.
Adems, H = Ker .

Definicin
Sea H un subgrupo normal de un grupo G. Diremos que el
conjunto G/H, con la nica operacin para la que : G G/H
es morfismo de grupos, es el grupo cociente de G por H y lo
denotaremos tambin por G/H.

38 / 61
Ejemplos
I Si G es un grupo conmutativo, todo subgrupo H de G es
normal, y el grupo cociente G/H tambin es conmutativo.
I Dado n un nmero natural, nZ es un subgrupo de Z y en el
conjunto cociente Z/nZ tenemos una estructura de grupo,

[a]n + [b]n = [a + b]n ,

para la cual el neutro es [0]n y el opuesto de cualquier

elemento [a]n es [a]n .

39 / 61

Teorema (Propiedad universal del grupo cociente)

Sea H un subgrupo normal de un grupo G y sea : G G/H
la proyeccin cannica. Si f : G G0 es un morfismo de
grupos tal que H Ker f , entonces existe un nico morfismo de
grupos : G/H G0 tal que f = :

G G/H
f& .
G0

40 / 61
 Propiedad universal del grupo cociente
Sea H un subgrupo normal de un grupo G.

morfismos de grupos
( )
morfismos de grupos


f
G G0 =

tales que H Ker f
G/H G0

f 7 / f =

f :=

41 / 61

Ejercicio

Dados dos nmeros naturales n y m, consideremos los

cocientes:
n : Z Z/nZ,
m : Z Z/mZ.
Qu relacin debe existir entre n y m para que exista un
morfismo de grupos

f : Z/nZ Z/mZ

tal que
f n = m ?

42 / 61
Teorema (de isomorfa)
Sea f : G G0 un morfismo de grupos. La aplicacin

: G/Ker f Im f , ([a]) = f (a)

es un isomorfismo de grupos:

G/Ker f ' Im f

Corolario (14)
Si f : G G0 es un morfismo de grupos epiyectivo, entonces

G/Ker f ' G0 .

43 / 61

Ejemplo
Consideremos el morfismo de grupos
2i 2 2
: (Z, +) (n , ), (1) = e n = n = cos +i
n n

I (k ) =

I Im =

I Ker =

I n '

44 / 61
Teorema (chino de los restos)
Si m, n son nmeros enteros primos entre s, el morfismo de
grupos

Z Z Z
:
mnZ mZ nZ

[a]mn 7 ([a]mn ) = ([a]m , [a]n )

es un isomorfismo:

Z Z Z
= .
mnZ mZ nZ

45 / 61

Observaciones
I Si m.c.d.(m, n) = 1, entonces:

Z Z Z
= .
mnZ mZ nZ
Por lo tanto, dos nmeros enteros son congruentes
mdulo nm s y slo s son congruentes mdulo n y
mdulo m.
I Cuidado! Si m.c.d.(m, n) 6= 1, el resultado anterior no
es cierto. Por ejemplo:
Z Z Z
6= .
8Z 4Z 2Z
POR QU???

46 / 61
Ecuaciones Diofnticas
Sean m y n dos enteros primos entre s. Sabemos que
Z Z Z
= .
mnZ mZ nZ
Esto significa que, para cada pareja de nmeros enteros b, c,
el sistema de congruencias

x b (md. n)
x c (md. m)

siempre tiene alguna solucin entera, y sta es nica mdulo

nm: tiene una nica solucin 0 x < mn.
Ejercicio
Resolver el sistema:

x 7 (md. 9)
x 1 (md. 4)

47 / 61

1.5 Grupos Cclicos

Sea (G, ) un grupo. Dado g G tenemos definido el morfismo
de grupos
fg : Z G, fg (n) = g n
cuya imagen es el subgrupo generado por g, (g).

Definicin
Llamaremos orden de un elemento g de un grupo G al orden
del subgrupo que genera. El orden de un elemento puede ser
infinito.

El nico elemento de orden 1 es el neutro del grupo.

De acuerdo con el teorema de Lagrange, si un grupo es finito,
todos sus elementos tienen orden finito, puesto que divide al
orden del grupo.

48 / 61
Proposicin (15)
Sea g un elemento de un grupo G.
(a) Si g es de orden infinito, entonces g n = g m n = m. En
particular,
g n = 1 n = 0.
(b) Si g es de orden d, entonces g n = g m n m (md. d).
En particular,

g n = 1 n es mltiplo de d.

49 / 61

Corolario (16)
El orden de un elemento g de un grupo G es el primer nmero
natural no nulo d tal que g d = 1, si existe tal nmero natural, y
en caso contrario es infinito.

Corolario (17)
Si G es un grupo finito de orden n, entonces g n = 1 para todo
g G.

50 / 61
Definicin
Diremos que un grupo G es cclico si est generado por
alguno de sus elementos; es decir, si existe g G tal que
(g) = G, en cuyo caso diremos que g es un generador de G.
Por definicin, un grupo G es cclico y g G es un generador
cuando todo elemento de G es de la forma g m para algn
entero m. Todo grupo cclico es abeliano.

Ejemplos
i) Z es un grupo cclico que tiene como generadores 1 y 1.
ii) El grupo n de las races n-simas de la unidad es cclico:
2k
n = {z C : z n = 1} = {e n
i
, k = 0, . . . , n 1}.
2
Un generador de este grupo es n = e n i . Los
generadores de n son las races n-simas primitivas de
la unidad.
51 / 61

Ejercicios

1. El grupo Z/nZ es cclico, pues est generado por [1].

I Calcula el orden de un elemento [a] en Z/nZ.

I Caracteriza los generadores del grupo Z/nZ.

I Cuntos generadores tiene Z/nZ?

2. Determina las races cuartas y quintas primitivas de la

unidad.

52 / 61
 Teorema (Clasificacin de grupos cclicos)
Sea G un grupo cclico.
(a) Si G es infinito, entonces G es isomorfo al grupo Z. Si g es
un generador de G, la aplicacin : Z G, (m) = g m ,
es un isomorfismo de grupos.
(b) Si G es finito y su orden es n, entonces G es isomorfo a
Z/nZ. Si g es un generador de G, la aplicacin
: Z/nZ G, ([m]n ) = g m , es un isomorfismo de
grupos.

53 / 61

1.6 El grupo Simtrico Sn

El grupo simtrico n-simo Sn es el grupo de todas las
biyecciones de un conjunto no vaco X (con n elementos) en s
mismo, con la estructura de grupo que define la composicin
de aplicaciones. Sus elementos tambin reciben el nombre de
permutaciones de n elementos. Supondremos siempre que
n 2.
Abeliano?
Numerando los elementos de X podemos suponer que
X = {1, 2, . . . , n}, as que una permutacin Sn puede
denotarse de la siguiente forma:
 
1 2 ... n
a1 a2 . . . an
donde ai = (i).
El orden de Sn es igual a n (n 1) . . . 2 1 = n!.

54 / 61
Definicin
Diremos que una permutacin Sn es un ciclo si
= (a1 . . . ad ) para ciertos elementos distintos a1 , . . . , ad ,
d 2. Los ciclos con d = 2 se llaman trasposiciones.

Orden de = (a1 . . . ad )?

Diremos que dos ciclos (a1 . . . ad ) y (b1 . . . bk ) de Sn son

disjuntos cuando ai 6= bj para todo par de ndices i, j.

Lema (18)
Si dos ciclos y son disjuntos, entonces = .

55 / 61

Teorema (19)
Toda permutacin Sn distinta de la identidad descompone
en producto de ciclos disjuntos. Salvo el orden de los factores,
esta descomposicin es nica.

Corolario (20)
Todo ciclo de orden d es producto de d 1 trasposiciones. Por
tanto, toda permutacin es producto de trasposiciones.

56 / 61
Definicin
Sea = 1 . . . r la descomposicin de una permutacin
6= id en producto de ciclos disjuntos y denotemos di el orden
de i , 1 i r . El lema anterior nos permite suponer
d1 d2 . . . dr y diremos que d1 , . . . , dr es la forma de la
permutacin .

Proposicin (21)
El orden de cualquier permutacin de forma d1 , . . . , dr es el
mnimo comn mltiplo de d1 , . . . , dr .

Definicin
Sea G un grupo. Diremos que dos elementos x, y de G son
conjugados si existe a G tal que y = axa1 .

57 / 61

Proposicin (22)
Sean , Sn . La condicin necesaria y suficiente para que
y sean conjugados es que tengan la misma forma.

Signo de una permutacin

Sea el siguiente polinomio con coeficientes enteros:
Y
(x1 , . . . , xn ) = (xj xi ).
i<j

Dada
Q Sn , los factores de (x(1) , . . . , x(n) ) =
i<j (x(j) x(i) ) coinciden, eventualmente salvo el signo, con
los de (x1 , . . . , xn ). Luego

(x(1) , . . . , x(n) ) = (x1 , . . . , xn ).

58 / 61
Definicin
Llamaremos signo de una permutacin Sn al nmero
entero sgn() tal que

(x(1) , . . . , x(n) ) = sgn() (x1 , . . . , xn ).

Por definicin, el signo de una permutacin es 1 1.

Dada una permutacin , diremos que el par i, j est en

inversin con respecto a si i < j y (i) > (j). Luego
o
sgn() = (1)n de pares en inversin
.

59 / 61

Proposicin (23)
El signo de cualquier producto de permutaciones es el
producto de los signos de los factores. El signo de toda
trasposicin es 1.

Ejercicio
Calcula el signo de = (a1 , . . . , ad ).

Corolario (24)
El signo de toda permutacin de forma d1 , . . . , dr es

(1)d1 +...+dr r .

60 / 61
Corolario (25)
Sea = 1 . . . m una descomposicin de una permutacin
en producto de trasposiciones. Si sgn() = 1, entonces m es
par. Si sgn() = 1, entonces m es impar.

Definicin
Llamaremos permutaciones pares a las de signo 1 e impares
a las de signo 1.

Las permutaciones pares de Sn forman un subgrupo normal de

Sn , ya que son el ncleo del morfismo de grupos
sgn : Sn {1}. Este subgrupo se denota An y recibe el
nombre de subgrupo alternado. El ndice de An en Sn es 2
porque Sn /An ' {1}; as que el teorema de Lagrange
permite concluir que el orden de An es n!/2.

61 / 61