Estructuras Algebraicas.

Teora
de Grupos
Juan M. Marquez B
11 de diciembre de 2007
2
Estructuras Algebraicas. Teora de Grupos
Juan M. Marquez B.
juanm@cimat.mx
Introduccion.
Podria imaginarse un edo. del arte, de la ciencia, de la tecnologia o de
la cultura tan avanzado como el que se vive sin por ejemplo... el algebra lin-
eal?...imposible.
Estudiaremos la clasicaci on de las estructuras algebraicas tanto como sus
subestructuras asociadas (ejemplos: grupos y subgrupos, anillos e ideales,...),
tambien sus morsmos (mapeos que preservan las operaciones entre las estruc-
turas algebraicas) tanto como sus estructuras cocientes, con objeto de ganar
uniformidad de conocimientos a la hora de estudiar con mas detalle cada una de
ellas.
Esto implicara que estudiaremos en forma supercial cada una de ellas, pero
tendremos ocaci on en cada secci on incluir un c umulo mas bien modesto de topi-
cos, ejemplos, ejercicios y problemas que representen un poco mas de profundidad
de tales temas, y al verdadero caracter de las tecnicas del algebra moderna.
Los fundamentos de las matematicas son
Teora de Conjuntos
Logica Matem atica
Teora de Categoras
Las matem aticas elementales

Indice general
1. Preliminares 5
1.1. Conjuntos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Relaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . . 12
1.3. Mapeos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. Los Enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.5. Estructuras Algebraicas. . . . . . . . . . . . . . . . . . . . . . . 26
1.5.1. Operaciones Binarias. . . . . . . . . . . . . . . . . . . . 26
1.5.2. Estructuras Algebraicas. . . . . . . . . . . . . . . . . . . 27
1.6. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2. Grupos. 29
2.1. Ejemplos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2. Subgrupos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2.1. Subgrupos Normales y Grupos Cocientes. . . . . . . . . . 37
2.3. Morsmos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3.1. Teorema Fundamental de Homomorsmos. . . . . . . . . 41
2.4. Topicos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.4.1. Construccion de Subgrupos. . . . . . . . . . . . . . . . . 42
2.4.2. Grupos Simetricos. . . . . . . . . . . . . . . . . . . . . . 44
2.4.3. Teorema de Cayley. . . . . . . . . . . . . . . . . . . . . 47
2.4.4. Simplicidad de A
n
. . . . . . . . . . . . . . . . . . . . . 48
2.4.5. Acciones de Grupos. . . . . . . . . . . . . . . . . . . . . 50
2.5. Teoremas sobre grupos nitos. . . . . . . . . . . . . . . . . . . . 55
2.5.1. Teorema de Cauchy. . . . . . . . . . . . . . . . . . . . . 55
2.5.2. Teoremas de Sylow. . . . . . . . . . . . . . . . . . . . . 57
2.6. Grupos Libres. . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.7. Ejercicios. Comentarios. . . . . . . . . . . . . . . . . . . . . . . 61
2.8. Referencias. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3
4

INDICE GENERAL
Captulo 1
Preliminares
Para entender de una manera clara y segura lo que se trata en todas las
matematicas, es necesario conocer y manipular lo mejor que se pueda las tecni-
cas y propiedades de los conceptos fundamentales de la teora de conjuntos,
relaciones, mapeos (o funciones) y los n umeros enteros. Los objetos principales
que se estudian en este peque no estudio son;
Conjuntos.
Relaciones.
Mapeos.
Los N umeros Enteros.
En cada uno de estos temas trataremos las deniciones y propiedades basicas
necesarias requeridos que servir an de soporte para la toda las matematicas.
1.1. Conjuntos.
Es conveniente que se disponga de un diccionario b asico de smbolos que
representan objetos que van a ser usados muy frecuentemente, esta lista es;
,...el conjunto vaco.
n de demostraci on (de proposicion, lema, teorema, corolario,...)
:= dene. Ejemplo, A := B se lee A dene a B.
5
6 CAP

ITULO 1. PRELIMINARES
i.e.,...id est, en otras palabras.
#A,...la cardinalidad del conjunto A.
x := 5,...x esta denida como 5.
A := a, e, i, o, u,...A esta denido como el conjunto de las vocales mi-
nusculas latinas.
U un universo dado.
N,...los n umeros naturales 0, 1, 2, 3, ..., .
Z,...los n umeros enteros , ..., 1, 0, 1, ..., .
Q,...los racionales.
R,...los reales.
x N,...x pertenece a los naturales.
y / Z,...y no es entero.
A Q,...A es un subconjunto de racionales.
A B,...la uni on de A con B.
A B,...la intersecci on de A con B.
A
c
,...el complemento de A.
A B = x U : x A, x / B,...la diferencia entre A y B.
AB = (A B) (B A),... la diferencia simetrica entre A y B.

j
A
j
es la union de todos los A
j
, que son una familia de conjuntos.

j
A
j
es la intersecci on de todos los A
j
.
Estas son algunas de sus propiedades;
1. A A = A,
2. A A = A,
1.1. CONJUNTOS. 7
3. A = A,
4. A B = B A,
5. A B = B A,
6. (A B) C = (A C) (B C),
7. (A B) C = (A C) (B C),
8. (A B)
c
= A
c
B
c
,
9. (A B)
c
= A
c
B
c
,
10. A B = A B
c
,
11. AB = (A B) (A B),
12. AB = B A,
13. (AB) C = A(B C),
14. A = A,
15. (AA) = ,
16. (AA
c
) = A A
c
.
Las listas anteriores representan algunos conceptos basicos que pueden ser
ampliados en cualquier libro de matem aticas elementales o mas especcamente
en cualquiera de las Ref[8, 14, 17, 18, 24] Otro concepto elemental es el siguiente:
Denicion 1 El conjunto potencia de A, es el conjunto de todos los sub-
conjuntos de A, el cual es simbolizado con (A) , i.e.
(A) = x[x A.
Por ejemplo, si
A = a, b, c,
entonces,
(A) = , a, b, c, a, b, a, c, b, c, A,
es el conjunto potencia. Aqu surje la pregunta; Cuanto es #(A)?. La respuesta
esta contenida en la siguiente;
8 CAP

ITULO 1. PRELIMINARES
Proposicion 1 Si # A es nita, entonces #(A) = 2
#A
.
Dem:La demostracion es inductiva. Observamos que si A = , entonces tenemos
# A = 0 y por lo tanto # (A) = 2
0
= 1, esto es porque (A) = {}. Si A = {x
1
},
entonces (A) = {, {x
1
}}, as # (A) = 2
1
= 2. Con el ejemplo de arriba vemos
que si #(A) = 3 tendremos # (A) = 2
3
= 8. As vemos que nuestra formula vale
para # A = 0, 1, 3. Suponemos ahora que la formula vale para n y que # A = n +1.
Vamos a demostrar que se pueden construir 2
n+1
elementos de (A). Consideremos
B = A \ {x}, donde x A cualquiera, como B tiene n elementos, entonces por
induccion, (B) tiene 2
n
elementos, digamos S
1
, S
2
, ..., S
2
n. Con estos subcojuntos
de B construimos T
j
= S
j
{x} subconjuntos de A.
Ahora armamos que los S
j
y los T
j
son todos los subconjuntos de A y todos son
diferentes entre si. Sea U A, aqu hay 2 casos: x U o x / U.
Si x U entonces U \ {x} B y por tanto U \ {x} = S
k
para algun k entre 1
y 2
n
. De esta forma U = (U \ {x}) {x} = S
k
{x}, i.e. U = T
k
. Si x / U,
entonces U B y por tanto U = S
l
para algun l, que tambien esta entre 1 y 2
n
.
As vemos que U, o es un T
j
, o es un S
j
dependiendo de que x o / U. Finalmente
todos los T
j
son diferentes, puesto que si T
i
= T
h
para i, h diferentes, entonces
S
i
\ {x} = S
h
\ {x}, lo cual implicara que S
i
= S
h
lo cual es imposible. As hemos
construido 2
n
+ 2
n
= 2
n
(1 + 1) = 2
n+1
subconjuntos diferentes de A.
Veamos como todo esto esta vinculado con los siguientes hechos algebraicos
Denicion 2 Los coecientes binomiales estan denidos como
_
n
k
_
:=
n!
k!(n k)!
,
el cual es un n umero entero siempre.
Ejemplos
_
5
2
_
= 10,
_
18
2
_
= 153,...
Observemos que los coecientes binomiales
_
2
0
_
,
_
2
1
_
,
_
2
2
_
,
respectivamente son 1, 2, 1 que son los coecientes del binomio al cuadrado
(a + b)
2
= a
2
+ 2ab + b
2
y que estos n umeros coinciden con la cantidad de
subconjuntos de S = x
1
, x
2
que son
,
1.1. CONJUNTOS. 9
x
1
, x
2
,
x
1
, x
2
,
(1 conjunto vaco, 2 singletons y 1 subconjunto de 2 elementos)
Tambien
_
3
0
_
,
_
3
1
_
,
_
3
2
_
,
_
3
3
_
son los coecientes de
(a +b)
3
= a
3
+ 3a
2
b + 3ab
2
+b
3
.
Que tambien corresponden a los subconjuntos
,
x
1
, x
2
, x
3
,
x
1
, x
2
, x
1
, x
3
, x
2
, x
3
,
x
1
, x
2
, x
3
,
de x
1
, x
2
, x
3
.
Para 4 tenemos
(a +b)
4
=
_
4
0
_
a
4
+
_
4
1
_
a
3
b +
_
4
2
_
a
2
b
2
+
_
4
3
_
ab
3
+
_
4
4
_
b
4
.
Y
,
1, 2, 3, 4,
1, 2, 1, 3, 1, 4, 2, 3, 2, 4, 3, 4,
1, 2, 3, 1, 2, 4, 1, 3, 4, 2, 3, 4,
1, 2, 3, 4,
los subconjuntos de un conjunto de cuatro elementos.
La f ormula en general toma la forma
(a +b)
n
=
_
n
0
_
a
n
+
_
n
1
_
a
n1
b + +
_
n
n 1
_
ab
n1
+
_
n
n
_
b
n
.
O usando la notaci on de sumatoria donde k varia entre 1, 2, ..., n
(a +b)
n
=
n

k=0
_
n
k
_
a
nk
b
k
.
10 CAP

ITULO 1. PRELIMINARES
Finalmente si S = 1, 2, ..., n tenemos que
#(S) = 2
n
,
= (1 + 1)
n
,
=
_
n
0
_
+
_
n
1
_
+ +
_
n
n 1
_
+
_
n
n
_
,
formula que nos dice cuantos subconjuntos de cada tama no en S hay.
Ejercicio: Pruebe que el arreglo:
_
0
0
_
_
1
0
_ _
1
1
_
_
2
0
_ _
2
1
_ _
2
2
_
_
3
0
_ _
3
1
_ _
3
2
_ _
3
3
_
_
4
0
_ _
4
1
_ _
4
2
_ _
4
3
_ _
4
4
_
_
5
0
_ _
5
1
_ _
5
2
_ _
5
3
_ _
5
4
_ _
5
5
_
,
no es otra cosa que el famoso Triangulo de Pascal:
1
1 1
1 2 1
1 3 3 1
1 4 10 4 1
1.1. CONJUNTOS. 11
1 5 14 14 5 1
,
Otro concepto importante es el de producto cartesiano;
Denicion 3 Sean A y B dos conjuntos cualquiera no vacos. El conjunto
AB = (x, y) [ x A, y B
se llama el producto cartesiano de A con B. Observe que no es lo mismo
AB que B A.
Un ejemplo; si A = 1, 2, 3 y B = , , entonces
AB = (1, ), (2, ), (3, ), (1, ), (2, ), (3, ).
No es difcil demostrar que;
Proposicion 2 #(AB) = #A #B.
Denicion 4 Una particion de un conjunto de un conjunto A, es una colecci on
de subconjuntos U
j
de A tales que;
Si U
l
, U
m
son dos de esta colecci on con l ,= m, entonces
U
l
U
m
= .

j
U
j
= A.
Los elementos de la particion se llaman componentes.
12 CAP

ITULO 1. PRELIMINARES
1.2. Relaciones entre conjuntos
Denicion 5 Una relacion entre dos conjuntos A, B no vacos, es un
R AB.
Por ejemplo, sean A = v, w, x, y, z y
B = 100, 200, 300, una relaci on R de A a B, podra ser
R = (v, 100), (x, 100), (y, 200), (y, 300), (z, 300)
Otras dos formas de representar la relaci on son;
vR100, xR100, yR200, yR300, zR300.
o bien;
v 100, x 100, y 200, y 300, z 300.
O gr acamente
Figura(1).
Consideremos este otro ejemplo; para x, y Z, denimos x y si y solo si
5[(x y) (5 divide la resta x y), esta forma de relacionar a Z con si mismo
es un ejemplo particular de;
1.2. RELACIONES ENTRE CONJUNTOS 13
Denicion 6 Una relacion binaria en A, es un
R AA.
Y pueden ser de varios tipos;
Reexiva. Todo elemento de A esta relacionado
con si mismo, i.e. x x para x A.
Simetrica. Si sucede que x y, entonces y x.
Transitiva. Si tenemos que x y y y z,
entonces x z.
(Lista que no es exhaustiva.)
Por ejemplo la relaci on x y si y solo si n[(xy) en Z donde n es cualquier
elemento positivo de Z es un ejemplo de ser reexiva, simetrica y transitiva. Tal
relaci on en Z, recibe el nombre de congruencia modulo n.
Denicion 7 La relaci on que cumpla las tres propiedades anteriores, recibe el
nombre de relacion de equivalencia . Un concepto asociado muy importante
es el siguiente; Sea una relaci on de equivalencia en A, denimos la clase de
equivalencia de x A, al conjunto [x] = y A [ y x . A x se le llama
representante de la clase [x].
En el ejemplo de la congruencia modulo 7 en Z, tendriamos que [0] =
m ultiplos de 7, pero [2] = x Z [ x = 7k + 2, k Z. Aqu tenemos una
proposici on muy util:
Proposicion 3 Las distintas clases de equivalencia de una relaci on en A, forman
una particion de A.
Dem: Tenemos que demostrar que para cualquiera dos clases [a], [b] de equiv-
alencia, o son disjuntas, o si [a] [b] ,= , entonces [a] = [b]. Si sucede que
[a] [b] ,= , existe x [a] [b], por lo cual tenemos
x a, x b. (R,1)
Ahora sea y [a], esto implica que
y a. (R,2)
14 CAP

ITULO 1. PRELIMINARES
Usando simetra en (R.1) y transitividad con (R.2), llegariamos a que
y x. (R,3)
Pero usando nuevamente transitividad con (R.1), tendremos
y b,
i.e. y [b]. Esto ultimo implica que [a] [b]. Similarmente se demuestra que
[b] [a]. Para convencernos que
_
aA
[a] = A,
basta observar que si a A, entonces a [a] A.
Contenida en la demostracion anterior esta la idea de la demostraci on del
siguiente lema;
Lema 1 Dos clases de equivalencia cumplen [a] = [b], si y solo si a b.
Corolario 1 [a] [b] = si y solo si a, b no estan relacionados.
Denicion 8 El conjunto de todas las clases de equivalencia recibe el nombre
de conjunto cociente y es simbolizado por A/ , donde es la relaci on de
equivalencia en A.
En vista de las proposiciones anteriores, resulta que el conjunto cociente, es
una particion del conjunto A. Los representates de las clases de equivalencia
diferentes reciben el nombre de representantes principales de la particion.
Para aclarar la idea consideremos el siguiente ejemplo: A tu clase (de tu
escuela) denotemosle con X, denimos en este conjunto la relaci on; si c, d X
decimos que c d si c y d tienen la misma edad. Esto dene una relaci on de
equivalencia en X, cuyas clases de equivalencia son los jovenes que tienen la
misma edad. Si suponemos que la siguiente lista es la de tus compa neros con sus
edades;
Juan, 19,
Pedro, 19,
1.2. RELACIONES ENTRE CONJUNTOS 15
Jose, 19,
Pacita, 20,
Maria, 20,
Walter, 23,
Susan, 23,
Dolores, 23,
Roberto, 25,
Laura, 25,
Jesus, 26.
Entonces se podrian construir las clases de equivalencia as; [Juan]= Juan,
Pedro, Jose , [Pacita]= Pacita, Maria , [Walter]= Walter, Susan, Dolores ,
[Roberto]= Roberto, Laura , [Jesus]= Jesus . Los representantes principales
son; Juan, Pacita, Walter, Roberto y Jesus. Si las clases se representan con;
Pedro, Maria, Susan, Laura y Jesus ellos serian otro posible parlamento de la
partici on por edades del conjunto X.
El recproco de la proposici on 1.3.1 tambien es cierto:
Proposicion 4 Dada una particion = C
j
de un conjunto A es posible
denir una relaci on de equivalencia en A, tal que las clases coinciden con los
componentes de la particion .
Demo: Deniendo la relaci on en A como; x, y A estan relacionados si y
solo si x, y estan en el mismo componente C
j
, es f acil comprobar que esto
dene una relaci on de equivalencia en A y que si x C
j
, entonces [x] = C
j
.
Proposiciones 3 y 4 integran el llamado Lema de Abstraccion.
16 CAP

ITULO 1. PRELIMINARES
1.3. Mapeos
El concepto de funcion, se podra decir, es del que apartir de el se basan
muchas de las revoluciones conceptuales del conocimiento humano. Indispensable
en el moderno lenguaje no solo matematico, sino adem as cientco.
Denicion 9 Sean S, T dos conjuntos cualquiera no vacos. Sea una
relaci on de S a T que satisface:
1. Para cualquier x S, existe y T tal que (x, y) .
2. Si (x, y) y (x, z) , entonces y = z.
tal tipo de relaci on recibe el nombre de mapeo o aplicacion. La notaci on
(x, y) , es sustituida con
(x) = y.
x se llama preimagen de y bajo y y se llama imagen de x bajo . Al conjunto
S se le llama dominio y a T codominio de . Tambien es frecuente simbolizar
que es un mapeo de S a T con;
: S T.
Si , : S T son dos mapeos decimos que = si para todo x S, (x) =
(x). Otros nombres que reciben los mapeos son; funciones, transforma-
ciones y tambien morsmos.
Ejemplo. Supongamos que S = 1, 2, 3, 4, 5 y que T = a, b, c, d, rela-
cionamos estos dos conjuntos as ;
= (1, a), (2, a), (3, b), (4, a), (5, d).
La gura (2) ilustra esta situacion. El mapeo de arriba tambien pudo haber sido
especicado con; (1) = a, (2) = a, (3) = b, (4) = a, (5) = d. Notemos
que a es imagen de 1, 2, 4 y b, d imagenes de 3, 5 respectivamente. 1, 2, 4 son
preimagenes de a,...etc.
1.3. MAPEOS 17
Figura (2).El mapeo .
Denicion 10 Dado un mapeo : S T, uno puede denir la relaci on
1
de T a S de la forma; t T se relaciona con s S si (s) = t, i.e. (t, s)
1
.
Note que S T, pero
1
T S.
1
recibe el nombre de relacion
inversa . Al conjunto
1
(t) = x S[ (x) = t le llamamos la bra de
t T. Para A T denimos

1
A = x S[ (x) A,
este conjunto se llama la imagen inversa de A. Si D S, D = (d)[ d
D.
Ejemplo. De la gura (2) podemos ver que;

1
(a) = 1, 2, 4,
1
(c) = ,...etc. Si A = b, c, d entonces
1
A = 3, 5.
Proposicion 5 Dados: : S T, X, Y S, y A, B T, tendremos las
siguientes propiedades universales de mapeos;
1. (X Y ) = X Y,
2. (X Y ) X Y,
3.
1
(A B) =
1
A
1
B,
18 CAP

ITULO 1. PRELIMINARES
4.
1
(A B) =
1
A
1
B,
5. si X Y entonces X Y,
6. si A B entonces
1
A
1
B,
7. X
1
X,
8.
1
A A,
9. Para cualquier x S, x
1
((x)).
Dem: Este es un buen lugar para ejercitar las deniciones recien adquiridas.
Los principales tipos de mapeos son;
Denicion 11 Sea : S T un mapeo. Entonces se llama;
1. Constante.
Si (x) = t
0
para todo x S y para alg un t
0
T.
2. Identidad.
Si S = T y (x) = x para todo x S. En este caso
simbolizamos al mapeo con Id
S
.
3. Inyectivo (o Uno-a-uno).
Si x
1
,= x
2
entonces (x
1
) ,= (x
2
).
4. Sobreyectivo (o Sobre).
Todo t T tiene preimagen en S bajo .
5. Biyectiva.
Si es inyectiva y sobreyectiva.
Ejemplos son: Si S = x R [ x 0 y T = R, entonces la formula
f(x) = x
2
dene un mapeo inyectivo de S T (pero no sobreyectivo), un
mapeo sobreyectivo T S (pero no inyectivo) y un mapeo biyectivo S S.
1.3. MAPEOS 19
Denicion 12 Sean : S T y : T U dos mapeos. Con esta situacion
podemos denir un nuevo mapeo S U que simbolizaremos con
con la siguiente formula;
(s) = ((s)).
recibe el nombre de la composicion de con .
Por ejemplo si S = R y f : S S y g : S S esta denidos como;
f(x) = x + 1 y g(x) = x
3
+

x, entonces g f(x) = (x + 1)
3
+

x + 1.
Lema 2 La composicion de mapeos es asociativa.
Dem: Si f : S T, g : T U y h : U V , podemos denir g f : S T
y h g : T V . Con todos estos es posible armar
h (g f) : S V,
y
(h g) f : S V.
Pero por denici on h (g f)(x) = h (g(f(x)) = h(g(f(x))), mientras que
(hg)f(x) = hg(f(x)) = h(g(f(x))). Por lo tanto h(gf)(x) = (hg)f(x)
para toda x S i.e. podemos escribir;
h (g f) = (h g) f.
20 CAP

ITULO 1. PRELIMINARES
Lema 3 Composicion de biyecciones es biyecci on.
Dem: Sean f : S T y g : T U dos biyecciones. Primero vamos a
demostrar que g f : S U es inyectiva. Si s
1
,= s
2
entonces f(s
1
) ,= f(s
2
)
porque f es inyectiva, asi g(f(s
1
)) ,= g(f(s
2
)) i.e. g f(s
1
) ,= g f(s
2
), por lo
tanto g f es inyectiva. Para la sobreyectividad sea u U arbitrario, como g es
sobre, existe t T con g(t) = u. Pero para esta t T existe s S con f(s) = t,
porque f es sobre. As que u = g(t) = g(f(s)) = g f(s) i.e. u tiene preimagen
en S bajo g f. Aqu estamos viendo que g f tambien es sobreyectiva.
Lema 4 Si f : S T es una biyecci on, entonces f
1
: T S es una biyecci on.
Adem as f
1
f = Id
S
y f f
1
= Id
T
.
Dem: Primero debemos comprobar que la relaci on
f
1
es un mapeo. Tenemos que la bra para todo t T satisface #f
1
(t) = 1,
entoces denimos;
f
1
(t) = s, donde; f(s) = t,
esta formula satisface las dos condiciones para ser una aplicaci on T S. Si
se usa la propiedad universal s f
1
(f(s)) entonces estamos indicando que
s = f
1
f((s)) i.e. s = f
1
f(s). Como esto vale para cualquier s S en-
tonces f
1
f = Id
S
. Para f f
1
= Id
T
, usamos la propiedad universal
ff
1
A A, la cual, en este caso (f biyectiva) es f f
1
A A. Si hacemos
A = t obtenemos f f
1
(t) = t. Como esto ultimo vale para todo t T,
la conclusi on es f f
1
= Id
T
. Para la inyectividad de f
1
; sean t
1
, t
2
T
con t
1
,= t
2
, tendremos f
1
(t
1
) ,= f
1
(t
2
) pues ambas bras son disjuntas y no
vacas. Que toda bra es no vaca implica la sobreyectividad de f
1
.
Un ejemplo muy importante de los conceptos previos, es el caso que S = T
y #S < .
Proposicion 6 Sea #S = n, entonces el conjunto S
n
de todas las biyecciones
S S, tiene #S
n
= n!.
1.3. MAPEOS 21
Dem: Inductiva. Si S tiene un elemento hay solo una biyecci on. Si S tiene
dos elementos tenemos solo dos biyecciones. Vemos que la proposicion vale para
n = 1, 2. Ahora supongamos validez para n = k y que
S = x
1
, x
2
, ..., x
k+1
.
Vamos a construir (k + 1)! biyecciones S S. Primero hacemos;
x
1
x
1
. (M,1).
As tenemos k elementos libres en S. Entonces por inducci on habra k! biyecciones
diferentes las cuales satiscen (M.1). Ahora hacemos;
x
1
x
2
. (M,2).
Nuevamente tenemos k elementos libres en S, los cuales, por inducci on pueden
ser aplicados en otras k! biyecciones S S. Que son diferentes a las anteri-
ores queda garantizado por (M.1) y (M.2). Siguiendo este proceso acabaremos
obteniendo;
k! + +k!
. .
k + 1-veces
= (k + 1)k! = (k + 1)!.
Ejemlpo. Sea S = 1, 2, 3. Con la notacion:
_
1 2 3
2 3 1
_
indicamos la aplicaci on con el esquema
De esta forma las 6 biyecciones de S
3
son:
22 CAP

ITULO 1. PRELIMINARES
_
1 2 3
1 2 3
_
,
_
1 2 3
1 3 2
_
,
_
1 2 3
2 1 3
_
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
_
,
_
1 2 3
2 3 1
_
Otros conceptos son:
Denicion 13 Si f : S T y A S, denimos un mapeo A T en terminos
de f, simbolizado y denido con
f[
A
(x) = f(x), x A.
1.4. LOS ENTEROS 23
f[
A
se llama la restricci on de f sobre A. Ademas si g : A T donde A S
y si tenemos un f : S T tal que si f[
A
= g, entonces decimos que f es una
extension de g
1.4. Los Enteros
Los conceptos b asicos de la aritmetica utilizados muy frecuentemente incluyen
el de n umero primo, m aximo com un divisor (MCD), as como el algoritmo de la
divisi on, que pasamos a revisar.
Denicion 14 Los n umeros primos en Z son;
2, 3, 5, 7, 11, 13, 17, ...
Que es lo que los caracteriza? Siempre que un primo se factoriza un factor es 1
o 1.
Recordemos que en Z, a[b si b = ma i.e. si b es un m ultiplo de a. Note
que b > a. De esta forma tenemos las siguientes propiedades muy faciles de
demostrar.
Proposicion 7 Con a, b, c, m Z;
1. Si a[b y a[c, entonces a[(b +c) y a[(b c).
2. Si a[b y b[c, entonces a[c.
3. Si a[b, entonces a[mb.
24 CAP

ITULO 1. PRELIMINARES
Denicion 15 El maximo com un divisor de a, b Z, es d = (a, b) que
satisface:
1. d[a y d[b,
2. Si c[a y c[b, entonces c[d.
Teorema 1 Para cualquiera a, b Z, siempre existen t, r Z unicos tales que,
a = bt +r, donde, 0 r < [b[.
Dem: Demostraremos el caso cuando b > 0. Consideremos el conjunto S
ab
=
x Z [ x = a bs 0, s Z el que vemos, esta acotado por abajo. Siendo
as, debemos tener alg un r el cual es el mnimo entero positivo en S
ab
. Ahora
como r S
ab
, entonces existe t S
ab
con lo que nos da;
r = a bt. (Z1)
Vamos a demostrar que 0 r < b. Que r 0 es obvio. Supongamos que r > b.
Entonces r b > 0. Pero usando ecuaci on (Z1), tendriamos r b = abt b =
a (t + 1)b. Ademas r b < r. Todo esto nos dice que r b S
ab
, lo cual
contradice la elecci on de r. No queda otra que r < b.
Para la unicidad suponga que existen r

, t

Z tales que a = bt

+ r

con
0 r

< b. Entonces restando las dos representaciones de a vemos que r r

=
(t t

)b es decir r r

es m ultiplo de b pero b < r r

< b entonce t t

= 0
es decir t = t

que a su vez implica r = r

La proposici on anterior se llama el algoritmo de la division . Con todo

lo anterior formulamos:
Proposicion 8 El maximo com un divisor d = (a, b) de cualquiera dos a, b Z
existe y satisface;
d = a +b, donde, , Z.
Dem: Consideremos el conjunto,
T
ab
= x Z [ x = am+bn 0, m, n Z.
Sea d = mnimo entero positivo en T
ab
. Aplicando el algoritmo de la division dos
veces;
a = dt
1
+r
1
, donde, 0 r
1
< d. (Z,2)
1.4. LOS ENTEROS 25
b = dt
2
+r
2
, donde, 0 r
2
< d. (Z,3)
Adem as como d T
ab
, existen , Z, tales que d = a + b. Sustituyendo
este en ecuaciones (Z.2) y (Z.3), tendremos;
r
1
= a (a +b)t
1
= a(1 t
1
) +b(t
1
),
r
2
= b (a +b)t
2
= a(t
2
) +b(1 t
2
).
i.e., r
1
, r
2
T
ab
. Ahora si r
1
, r
2
,= 0, d no sera el mnimo entero positivo en T
ab
lo cual no es cierto. Entonces r
1
, r
2
= 0. Por lo tanto, a = dt
1
y b = dt
2
, i.e.,
d[a y d[b. Finalmente si c[a y c[b, entonces c[(a +b), es decir; c[d.
Denicion 16 Decimos que a, b Z son primos relativos , si el MCD es,
(a, b) = 1.
Lema 5 Sea p primo. Si q[p
n
, entonces
q = 1, p, p
2
, ..., p
n
.
Dem: Inductiva. Si q[p entonces q = 1, p, as que por denici on vale la
proposici on con n = 1. Para n = 2, tenemos q[p
2
. As (p, q) = 1 o bien p (esto
es porque los divisores de p son 1 y p).
Si (p, q) = 1 entonces 1 = ps+qt. Entonces p = p
2
s+pqt. Pero q[p
2
implica
p
2
= mq. (1)
Llegamos a que p = mqs +pqt = (ms +pt)q, i.e. q[p y por eso q = 1, p.
Ahora si (q, p) = p, tenemos p[q, entonces q = np. Sustituyendo esto en
ecuaci on (1) de arriba, nos da p
2
= mnp. Cancelamos una p y obtenemos
p = mn i.e. m[p. Por lo tanto m = 1, p. Sustituyendo estos valores de m en
ecuaci on (1), obtenemos respectivamente q = p
2
, p. Con esto concluimos la
validez de la proposici on con n = 2.
El ultimo paso inductivo es ahora claro.
26 CAP

ITULO 1. PRELIMINARES
1.5. Estructuras Algebraicas.
1.5.1. Operaciones Binarias.
Denicion 17 Cualquier mapeo S S S recibe el nombre de operaci on
binaria en S.
Denicion 18 Sea : S S S mapeo, entonces el par (S, ) recibe el
nombre de estructura algebraica con una operaci on binaria.
Es posible tener estructuras algebraicas con dos o mas operaciones bina-
rias. Ahoera bien, las operaciones binarias pueden tener alguna de las siguientes
propiedades:
Denicion 19 Sea (S, ) una estructura algebraica. Si satisface a, b, c S,
tenemos;
((a, b), c) = (a, (b, c)),
entonces decimos que es asociativa.
Denicion 20 Sea (S, ) es una estructura algebraica.
Si e S talque
a S,
(a, e) = (e, a) = a,
entonces decimos que e es un elemento neutro de
Denicion 21 Sea (S, ) es una estructura algebraica con elemento neutro y
donde satisface que
a S, b S,
los cuales cumplen;
(a, b) = (b, a) = e,
entonces decimos que tiene la propiedad de inversos y que b es el inverso de
a. Simbolizaremos con a
1
al inverso de a.
Denicion 22 Sea (S, ) una estructura algebraica donde satisface que
a, b S,
(a, b) = (b, a)
entonces decimos que es conmutativa .
1.5. ESTRUCTURAS ALGEBRAICAS. 27
1.5.2. Estructuras Algebraicas.
Las estructuras algebraicas con una operaci on binaria son:
Denicion 23 Un Semigrupo S es una estructura algebraica (S, ) donde
es asociativa.
Denicion 24 Un Monoide M es una estructura algebraica (M, ) donde
es asociativa y tiene neutro.
Denicion 25 Un Grupo G es una estructura algebraica (G, ) donde es
asociativa, tiene neutro y tiene inversos.
Denicion 26 Un Grupo Abeliano G es un grupo (G, ) donde es con-
mutativa.
Y las estructuras algebraicas con dos operaci on binaria son:
Denicion 27 Un Anillo R es uan estructura algebraica (R, +, ) donde
(1) (R, +) es una grupo abeliano,
(2) (R, ) es asociativa y
(3) se da la distributividad izquierda y derecha i.e. a (b + c) = a b + a c y
(b +c) a = b a +c a, para cualquiera a, b, c R.
Denicion 28 Un Anillo Conmutativo R es un anillo (R, +, ) donde la
operaci on es conmutativa.
Denicion 29 Un Campo F es una anillo (F, +, ) donde (F 0, ) es otro
grupo abeliano.
Hay estructuras algebraicas de una operaci on binaria el la cual actua (acciona)
otra como un anillo o un campo. Un m odulo es un grupo abeliano donde actua un
anillo y un espacio vectorial es donde actua un campo. Los axiomas que cumplen
ambos son
a(v +w) = av +aw
(a +b)v = av +bv
a(bv) = (ab)v
1v = v
28 CAP

ITULO 1. PRELIMINARES
1.6. Ejercicios.
1. Demuestre que : N N N, denida como
(n, m) = m+ (n +m)(m+n + 1)/2,
es una biyecci on. Observe que
(0, 0) = 0,
(1, 0) = 1,
(0, 1) = 2,
(2, 0) = 3,
(1, 1) = 4, ...
2. Sea p Z primo. Supongamos que p[ab, entonces p[a o p[b.
3. Teorema Fundamental de la Aritmetica. Si a =
1

2

n
=
1

2

m
son descomposiciones de a Z 1, 1 en factores primos, entonces
n = m y cada
i
=
j
.
4. M as ejercicios pueden (y deberan) ser buscados en las referencias.
Captulo 2
Grupos.
La denici on de grupo ya fue establecida en la secci on anterior, y ahora
veremos sus ejemplos elementales y ademas de sus propiedades b asicas.
2.1. Ejemplos.
Los siguientes ejemplos representan una colecci on de grupos elementales que
sirven para ilustrar muchos de los conceptos abstractos que encontraremos mas
adelante. Es importante que en cada ejemplo se verique el cumplimiento de los
axiomas, as como la conmutatividad o no.
Ejemplo 1 (Z, +). Enteros con la suma.
Ejemplo 2 (Q, +). Racionales con la suma.
Ejemplo 3 (R, +). Reales con la suma.
Ejemplo 4 (C, +). Complejos con la suma.
Ejemplo 5 (Q 0, ). Racionales sin el cero con la multiplicaci on.
Ejemplo 6 (R 0, ). Reales sin el cero con la multiplicaci on.
Ejemplo 7 (C 0, ). Complejos sin el cero con la multiplicaci on.
29
30 CAP

ITULO 2. GRUPOS.
Ejemplo 8 (S
3
, ). Las biyecciones de 1, 2, 3 en si mismo, con la composicion
de mapeos. De esta forma las 6 biyecciones de S
3
son:
Id =
_
1 2 3
1 2 3
_
,
1
=
_
1 2 3
1 3 2
_
,

2
=
_
1 2 3
3 2 1
_
,
3
=
_
1 2 3
2 1 3
_
,

1
=
_
1 2 3
2 3 1
_
,
2
=
_
1 2 3
3 1 2
_
La tabla de Cayley que se obtiene de todas la operaciones entre estos elementos
es
Id
1

2

3

1

2
Id Id
1

2

3

1

2

1

1
Id
1

2

2

3

2

2

2
Id
1

3

1

3

3

1

2
Id
1

2

1

1

3

1

2

2
Id

2

2

2

3

1
Id
1
2.1. EJEMPLOS. 31
Ejemplo 9 (S
n
, ). Biyecciones de x
1
, ..., x
n
en si mismo, con la composicion
de mapeos.
Ejemplo 10 (Z
n
, +). Enteros modulo n con la suma de clases de equivalencia
[a] +[b] = [a+b]. Tal suma no depende de la forma que se representen las clases
i.e. si tuvieramos [a] = [] & [b] = [] entonces [a + b] = [ + ]. Veamos la
tabla m odulo 6:
+ [0] [1] [2] [3] [4] [5]
[0] [0] [1] [2] [3] [4] [5]
[1] [1] [2] [3] [4] [5] [0]
[2] [2] [3] [4] [5] [0] [1]
[3] [3] [4] [5] [0] [1] [2]
[4] [4] [5] [0] [1] [2] [3]
[5] [5] [0] [1] [2] [3] [4]
Ejemplo 11 Sea p Z primo. (Z
p
[0], ). Enteros modulo p sin la clase [0]
con la multiplicaci on de clases de equivalencia [a][b] = [ab]. Esta multiplicaci on
no depende tambien de la forma que se representen las clases, si tuvieramos
[a] = [] & [b] = [] entonces [ab] = []. Ahora la tabla modulo 7:
[1] [2] [3] [4] [5] [6]
[1] [1] [2] [3] [4] [5] [6]
[2] [2] [4] [6] [1] [3] [5]
[3] [3] [6] [2] [5] [1] [4]
[4] [4] [1] [5] [2] [6] [3]
[5] [5] [3] [1] [6] [4] [2]
[6] [6] [5] [4] [3] [2] [1]
Ejemplo 12 (M
nm
, +). Matrices de n m con la suma.
Ejemplo 13 (M
n
, +). Matrices de n n con la suma.
32 CAP

ITULO 2. GRUPOS.
Ejemplo 14 (GL(n), ). Matrices de M
n
con determinante ,= 0 y la multipli-
caci on.
Ejemplo 15 (SL(n), ). Matrices de M
n
con determinante = 1 y la multipli-
caci on.
Convencion. De aqu en adelante cuando se hable de un grupo arbitrario,
en vez de escribir la operaci on (x, y) de x, y G simplemente escribimos
xy,
(yuxtaposici on de x & y indican la operaci on entre ellos.)
Denicion 30 Tambien se llama orden del grupo al n umero
[G[ := #G.
Proposicion 9 El elemento neutro de un grupo es unico.
Dem: Sea e G el neutro .
o
cial. Sea e

G que tambien satisface que para

cualquier x G, e

x = xe

= x. As e = ee

= e

.
Proposicion 10 El elemento inverso en un grupo es unico.
Dem: Sea x
1
G el inverso de x G. Sea y G tal que xy = yx = e.
Entonces y = ye = y(xx
1
) = (yx)x
1
= ex
1
= x
1
.
Proposicion 11 En cualquier grupo tenemos las siguientes propiedades.
1. Si x, y G entonces (xy)
1
= y
1
x
1
.
2. x
n
x
m
= x
n+m
.
3. x
n
= (x
1
)
n
= (x
n
)
1
.
4. x
0
= e.
5. (x
n
)
m
= x
nm
.
2.2. SUBGRUPOS. 33
6. Si ax = ay, entonces x = y. Llamada Ley de Cancelaci on por la Izquierda.
7. Si xa = ya, entonces x = y. Ley de Cancelaci on por la Derecha.
Dem: 1. Observe que
xy(y
1
x
1
) = x(yy
1
)x
1
= xex
1
= e entonces y
1
x
1
es el inverso de xy.
2. x
n
x
m
= (x x)
. .
n-veces
(x x)
. .
m-veces
= x x
. .
n + m-veces
= x
n+m
.
3. (x
1
x
1
)
. .
n-veces
= ( x x
. .
n-veces
)
1
.
4. x
0
= x
nn
= x
n
x
n
= (x x)(x
1
x
1
) = e e = e.
5. Ejercicio.
6.& 7. Tambien.
La operaci on de un grupo G puede hacerse maniesta actuando tambien entre
subconjuntos A, B G. As AB = xy [ x A, y B y A
1
= x
1
[ x
A.
Por ejemplo en (S
3
, ) si A =
1
,
2
& B =
1
,
2
entonces
A B =
1

1
,
2

1
,
1

2
,
2

2
,
= Id,
2
,
3
,
1
.
2.2. Subgrupos.
Pasamos a estudiar las subestructuras, propiedades y construcciones adicio-
nales
Ejemplos y Propiedades basicas.
Denicion 31 Un subconjunto H G de un grupo G se llama subgrupo de
G, si H es un grupo con la misma operaci on de G. Simbolicamente escribimos
H < G.
Ejemplo 16 (Z, +) < (R, +)
Ejemplo 17 (2) = multiplos de 2 < (Z, +)
Mas general:
34 CAP

ITULO 2. GRUPOS.
Ejemplo 18 (k) = multiplos de k < (Z, +)
Ejemplo 19 1, 1, i, i < (C 0, ).
Ejemplo 20 En S
3
las biyecciones;
Id =
_
1 2 3
1 2 3
_
,
1
=
_
1 2 3
2 3 1
_
,

2
=
_
1 2 3
3 1 2
_
.
Sea G un grupo. Ya que cualquier subconjunto de un grupo no siempre es
un subgrupo, el siguiente importante criterio servira para decidir si cierto
H G, es un subgrupo:
Lema 6 H < G x, y H tenemos xy
1
H.
Dem: Si H < G & si x, y H entonces xy H as como x
1
, y
1
H.
Tambien xy
1
H.
Conversamente. Si para x, y H tenemos xy
1
H, vericaremos que H
es un subgrupo de G. Asociatividad de la operaci on en H ya hay, puesto que
H G. Haciendo y = x en la hipotesis tendremos xx
1
H i.e. e H. Ahora
si e, x H entonces ex
1
H i.e. x
1
H. Finalmente si x, y H implica
x, y
1
H, entonces por hip otesis otra vez x(y
1
)
1
H, i.e. xy H.
Como ejemplos de su uso demostraremos que:
Proposicion 12 Si H, K < G entonces HK < G. Mas generalmente si H
j

es una colecci on de subgrupos de G, entonces

j
H
j
< G.
Dem: Primero, si x, y HK entonces x, y H & x, y K. Como H, K < G
entonces xy
1
H & xy
1
K, as xy
1
H K, i.e. (por Lema 1)
H K < G.
Para

j
H
j
< G es similar
Para ilustrar todo lo anterior sean (2), (3) los m ultiplos de 2 y de 3 en
Z. Ambos son subgrupos. Porque si x, y (2) entonces
1
x = 2m & y = 2n
= x y = 2m2n = 2(mn) (2). Ademas (2) (3) = (6).
1
aqu la notacion abstracta xy
1
toma la forma xy ya que el inverso de y Z es y.
2.2. SUBGRUPOS. 35
Denicion 32 Sean a G, H < G. El conjunto aH = ax [ x H se llama
clase lateral izquierda de a. Similarmente Ha es la clase lateral derecha.
Ejemplo 21 En Z tomamos el subgrupo (8). Entonces la clase lateral izquierda
de 1 es 1 + (8) = 1 + 8k [ k Z.
Ejemplo 22 En S
3
y con el subgrupo
N = Id,
1
,
2
y con
1
S
3
tenemos
1
N =
1
Id,
1

1
,
1

2

& N
1
= Id
1
,
1

1
,
2

1
observamos que
1
N = N
1
,
pero esto no es una generalidad. Lo veremos con el H = Id,
1
< S
3
. Si
calculamos
1
H y H
1
tendremos
1
H ,= H
1
.
Cu ando dos clases laterales son iguales?
Lema 7 Ha = Hb ab
1
H.
Similarmente aH = bH a
1
b H.
dem: () para la primera parte. Operando con b
1
tenemos Hab
1
= H,
as eab
1
H.
(). Supongamos que ab
1
= h
0
H entonces a = h
0
b. Sea x Ha, en-
tonces x = h
1
a = h
1
h
0
b Hb as Ha Hb. Ahora si y Hb entonces
y = h
2
b = h
2
h
1
0
h
0
b = h
2
h
1
0
a Ha, por esto Ha Hb.
Similarmente para la segunda parte del Lema
Denotemos con G/H el conjunto de todas la clases laterales Ha llamado
tambien conjunto cociente
Teorema 2 G/H es una particion de G donde cada componente tiene la misma
cardinalidad.
Dem: Si Ha Hb ,= entonces c Ha Hb. Esto implica que c = h
1
a &
c = h
2
b. Si x Ha entonces x = h
3
a = h
3
h
1
1
h
1
a = h
3
h
1
1
c = h
3
h
1
1
h
2
b es
decir x Hb, por lo tanto Ha Hb. Similarmente Ha Hb. Todo lo anterior
nos dice que clases laterales con elementos comunes son la misma, por lo cual
dos clases Ha, Hb son disjuntas si no tienen elementos comunes.
Por otro lado x Hx

a
Ha nos indica que G =

a
Ha.
36 CAP

ITULO 2. GRUPOS.
Finalmente deniendo Ha Hb como ha hb veremos que ella (la apli-
caci on) es una biyecci on
Observamos que tambien es posible tener aH bH con ah bh, al igual
que Ha bH con ha bh. Por lo tanto Ha, aH ; Ha H, aH H.
Supongamos que [G[ < & H < G.
Entonces #(G/H) < . Supongamos que G/H = Ha
1
, Ha
2
, ..., Ha
t
. As
G = Ha
1
Ha
t
,
=
t
_
j=1
Ha
j
,
porque Ha
i
Ha
k
= (si i ,= k) entonces [G[ =

t
j=1
#Ha
j
. Pero #Ha
j
=
[H[ =
[G[ =
t

j=1
[H[,
= t[H[.
As hemos demostrado el
Teorema 3 (Lagrange). Si G es de orden nito y H < G, entonces [H[ divide
[G[.
El n umero #(G/H) recibe el nombre de ndice del subgrupo N en G, y se
simboliza con [G : H].
Ejemplo. Si H = Id,
1
< S
3
tendremos S
3
/H = H, H
1
, H
2
=
Id,
1
,
1
,
2
,
2
,
3
entonces [S
3
: H] = 3.
Hemos de notar que aunque [G[, [H[ podemos tener [G : H] <
como lo nuestra el ejemplo Z/(3) = 0 + (3), 1 + (3), 2 +(3) donde tenemos
[Z : (3)] = 3. Mas generalmente tendremos [Z : (k)] = k.
2.2. SUBGRUPOS. 37
2.2.1. Subgrupos Normales y Grupos Cocientes.
Denicion 33 Un subgrupo N < G se llama normal, si a G, aN = Na.
Simbolicamente
N G.
Trabajando con el N = Id,
1
,
2
< S
3
veremos que N S
3
. Tambien en
cualquier grupo abeliano tendremos automaticamente igualdad de clase laterales
(izquierdas con derechas), dando como resultado que todos los subgrupos de
ellos sean normales.
Equivalentemente
Proposicion 13 Sea N < G, entonces N G g G, n N tenemos
que gng
1
N.
Dem: Si gN = Ng entonces
gNg
1
= Ngg
1
= Ne = N, esto nos dice que cada producto gng
1
cumple
gng
1
N. Conversamente, si gNg
1
N, g G entonces g
1
Ng
N tambien. Operando con g y su inverso, g(g
1
Ng)g
1
gNg
1
N, i.e.
N gNg
1
, obteniendose N = gNg
1
. Finalmente Ng = (gNg
1
)g implica
Ng = gN
Con un subgrupo N < G podemos construir un grupo con el conjunto G/N.
Denicion 34 La operacion
NaNb = Nab, ()
hace que el cociente G/N sea un grupo. Tal grupo recibe el nombre de Grupo
Cociente.
Que la construccion NaNb = Nab dene una operaci on binaria en G/N queda
vericado como sigue:
Clausura. La operaci on () anterior esta bien denida. Debemos demostrar
que () efectivamente dene un mapeo G/N G/N G/N pues aqu es de
que la operaci on NO DEPENDE de la manera que se representen las clases, es
decir, si Na = Nc & Nb = Nd NaNb = NcNd:
Na = Nc & Nb = Nd implican (por lema 7 ) ac
1
, bd
1
N entonces
38 CAP

ITULO 2. GRUPOS.
a = n
1
c, b = n
2
d, as ab = n
1
cn
2
d = n
1
cn
2
c
1
cd = n
1
n
3
cd donde cn
2
c
1
=
n
3
N. Entonces ab = n
1
n
3
cd implica ab(cd)
1
= n
1
n
3
N, lo cual implica
(por lema 7 otra vez) que Nab = Ncd, i.e. NaNb = NcNd.
Asociatividad. Na(NbNc) = (NaNb)Nc se da porque a(bc)[(ab)c]
1
=
e N.
Neutro. Basta observar NaNe = Nae = Na = Nea = NeNa es decir
Ne = N es la clase elemento neutroen G/N.
Inversos. Observe que NaNa
1
= Na
1
Na = Ne, es decir
2
(Na)
1
=
Na
1
Para el ejemplo N = Id,
1
,
2
< S
3
tenemos la tabla
N N
1
N N N
1
N
1
N
1
N
Por otro lado para (4)Z tenemos
+ 0 + (4) 1 + (4) 2 + (4) 3 + (4)
0 + (4) 0 + (4) 1 + (4) 2 + (4) 3 + (4)
1 + (4) 1 + (4) 2 + (4) 3 + (4) 0 + (4)
2 + (4) 2 + (4) 3 + (4) 0 + (4) 1 + (4)
3 + (4) 3 + (4) 0 + (4) 1 + (4) 2 + (4)
2.3. Morsmos.
Un mapeo h : G G

entre dos grupos se llama homomorsmo si

a, b G se cumple
h(ab) = h(a)h(b),
es decir, la imagen de un producto es igual al producto de imagenes.
Ejemplo 23 Si denimos h : (R, +) (R 0, ) como h(x) = e
x
(mapeo
exponencial) es un homomorsmo porque h(x +y) = e
x+y
= e
x
e
y
= h(x)h(y).
2
aqu tambien coincide con la denicion de inverso de conjunto
2.3. MORFISMOS. 39
Ejemplo 24 Tambien si se dene h : (R0, ) (R, +) como h(x) = log
b
(x)
(logaritmos base b) tendremos que h(xy) = log
b
(xy) = log
b
(x) + log
b
(y) =
h(x) +h(y).
Ejemplo 25 Sea : G G/N denido como (x) = Nx. As (xy) = Nxy =
NxNy = (x)(y) esto es, es un homomorsmo. Mas a un es sobreyectiva
porque Nz G/N tiene como preimagen a z G. Tal homomorsmo recibe el
nombre de homomorsmo natural.
Ejemplo 26 Sea a G. Sea I
a
: G G denido como I
a
(x) = axa
1
. Los I
a
se llaman automorsmos internos porque;
HMF: I
a
(xy) = axya
1
= axa
1
aya
1
= I
a
(x)I
a
(y).
IY: I
a
(x) = I
a
(y) entonces axa
1
= aya
1
entonces x = y.
SY: Dado u G entonces I
a
(x) = u tiene soluci on con x = a
1
ua.
Ejemplo 27 Otro mas. Sea A = [a
ij
] una matriz de mn, con ella podemos
denir un mapeo R
n
R
m
como
_
_
_
_
v
1
.
.
.
v
n
_
_
_
_

_

_
a
11
a
1n
.
.
.
.
.
.
.
.
.
a
m1
a
mn
_

_
_
_
_
_
v
1
.
.
.
v
n
_
_
_
_
.
Si simbolizamos esta ultima relaci on como v Av veremos que si ademas
w Aw entonces v +w A(v +w) = Av +Aw.
Los homomorsmos reciben nombres especiales en caso que satisfagan al-
gunas condiciones adicionales. Un epimorsmo (EMF) es un homomorsmo
que es sobreyectivo. Un monomorsmo (MMF) es un homomorsmo inyecti-
vo. Un endomorsmo (DMF) es un homomorsmo de un grupo en el mismo.
Un isomorsmo (IMF) es un homomorsmo biyectivo. Y nalmente un auto-
morsmo (AMF) es un endomorsmo biyectivo.
Si hay un isomorsmo entre dos grupos G,

G escribimos
G

G,
y leemos G es isomorfo a

G.
Para los homomorsmos se tienen las siguientes propiedades.
40 CAP

ITULO 2. GRUPOS.
Teorema 4 Sea h : G G

un homomorsmo. Sean e G, e

los neutros
de cada grupo & x G. Entonces
h(e) = e

.
h(x
1
) = (h(x))
1
.
Dem: Primero. h(e) = h(ee) = h(e)h(e) entonces h(e) = h(e)h(e), cancelando
h(e) de ambos lados llegaremos a h(e) = e

.
Segundo.
h(x
1
) = h(x
1
)e

,
= h(x
1
)h(x)(h(x))
1
,
= h(x
1
x)(h(x))
1
,
= e

(h(x))
1
,
= (h(x))
1
.
Teorema 5 Si H < G y : G G

un homomorsmo, entonces H < G

.
Demostracion: Usando el Lema 1. Si x, y H entonces existen correspondi-
entes preimagenes de s, t en H, as (s) = x & (t) = y. Pero st
1
H
porque H < G. Entonces (st
1
) = (s)((t))
1
= xy
1
, es decir, xy
1
tiene
preimagen en H. Por lo tanto xy
1
H
Teorema 6 Si L < G

y : G G

un homomorsmo, entonces
1
L < G.
2.3. MORFISMOS. 41
Dem: Ejercicio
El Kernel o n ucleo de un homomorsmo : G G

es el conjunto ker =

1
(e

). Para el ejemplo : G G/N denido como (x) = Nx tenemos

ker = N.
Para este conjunto se cumple
Teorema 7 Si : G G

un homomorsmo, entonces ker G

.
Dem: Si x, y ker entonces (xy
1
) = (x)((y))
1
= e

= e

i.e. xy
1

ker , esto demuestra que ker < G

. Para la normalidad sea x ker &

g G, entonces (gxg
1
) = (g)(x)(g
1
) = (g)(g
1
) = (e) = e

, es
decir gxg
1
ker
2.3.1. Teorema Fundamental de Homomorsmos.
Teorema 8 (Fundamental de Homomorsmos.) Sea : G

G un
epimorsmo. Entonces

G es isomorfo a G/ ker .
Dem: Abreviamos con K = ker . Vamos a denir : G/ ker

G como
(Kx) = (x). esta bien denida: Pues si Kx = Ky entonces xy
1
K.
As (xy
1
) = e, entonces (x) = (y) i.e. (Kx) = (Ky). es un homomor-
smo: (KxKy) = (Kxy) = (xy) = (x)(y) = (Kx)(Ky). es inyec-
tiva: Si (Kx) = (Ky) entonces (x) = (y). (xy
1
) = e Kx = Ky.
Finalmente es sobreyectiva: Ya que si t

G & es sobreyectiva, entonces
existe u G talque (u) = t. Por lo tanto (Ku) = (u) = t.
Ejemplo. Sea : Z Z
n
denido como (x) = [x]. es un homomorsmo
cuyo kernel es (n), entonces Z
n
Z/(n).
Otro; sea F un campo
3
. Para el mapeo : GL(n, F) F

denido como
(A) = det(A). Si 1 es el neutro en F

entonces ker = SL(n, F) y

GL(n, F)/SL(n, F) F

.
3
Un campo es una estructura algebraica con dos operaciones binarias (F, +, ) donde
(F, +) es un grupo abeliano, y si 0 es el neutro de + entonces (F

= F 0, ) tambien
es un grupo abeliano. Ademas de que se da la ley distributiva a (b + c) = a b + a c
42 CAP

ITULO 2. GRUPOS.
Como aplicaci on del teorema fundamental de homomorsmos (TFHMFs) de-
mostramos el
Teorema 9 (Fermat) Sea G un grupo nito. Si a G entonces a
|G|
= e.
Dem: Consideremos el subgrupo a) < G & el mapeo : Z a) denido
como (n) = a
n
. Es f acil ver que es un HMF. Adem as que es SY, porque la
preimagen de a
m
a) es m Z. Entonces por el TFHMFs tenemos
Z/ ker a).
Ahora el ker < Z, esto implica que k Z talque (k) = ker porque Z es
cclico. Pero sabemos que Z/(k) Z
k
. Por lo tanto
Z
k
a).
As k divide [G[ por el teorema de Lagrange. Tenemos pues [G[ = ck para alg un
c Z. Ademas, ya que k (k), entonces (k) = e, i.e. a
k
= e. Finalmente
a
|G|
= a
ck
= (a
k
)
c
= e.
Ejemplo 28 En el grupo multiplicativo
Z

p
= [1], ..., [p1] (con p primo) tenemos [Z

p
[ = p1, entoces para cualquier
clase tenemos [a]
p1
= [1], que en terminos de congruencias
4
resulta en a
p1
1
mod p. Por ejemplo verique con calculadora que 3
6
1 mod 7, 14
16
1 mod
17, 30
30
1 mod 31...f acil?
2.4. Topicos.
2.4.1. Construcci on de Subgrupos.
Una manera muy general de construir subgrupos en G es elegir S G y
armar el alfabeto S S
1
. Con el integramos el conjunto
S) = x G [ x =
1

2

n
, donde
k
S S
1
.
Los objetos x =
1

2

n
se llaman palabras en el alfabeto S S
1
.
4
recuerde que si n[(a b) entonces a b mod n, lo que nos indica que [a] = [b].
2.4. TOPICOS. 43
Proposicion 14 S) es un subgrupo de G, decimos que S genera a tal sub-
grupo.
Dem: Si x =
1

n
& y =
1

m
son dos palabras en el alfabeto S S
1
entonces
xy
1
=
1

n
(
1

m
)
1
=
1

n

1
m

1
1
tambien, As por lema 6
S) < G.
Otros son
Denicion 35 Sean a G, A G. Denimos Z(a) = x G [ ax = xa &
Z(A) = x G [ ax = xa, a A, estas construcciones se llaman centra-
lizadores. Adem as N(A) = x G [ xA = Ax se llama normalizador de
A.
El centro de un grupo es Z = Z(G), que no debe ser confundido con Z.
Que estas construcciones son subgrupos es un buen ejercicio, usando el lema 6.
Otros conceptos son:
[a, b] := aba
1
b
1
conmutador que tiene las propiedades
[a, e] = e.
[a, a] = e.
[a, b]
1
= [b, a].
g[a, b]g
1
= [gag
1
, gbg
1
]
El conjunto de todos los conmutadores genera un subrupo normal (buen ejercicio)
[G, G] de G. As [a, b] [ a, b G) = [G, G]. El cociente G/[G, G] se llama la
abelianizacion de G.
44 CAP

ITULO 2. GRUPOS.
2.4.2. Grupos Simetricos.
Sabemos que S
n
el conjunto de las n! biyecciones o permutaciones de
un conjunto con n elementos forman un grupo. Si S
n
entonces podemos
representarla mediante el esquema
=
_
1 2 n
(1) (2) (n)
_
.
Pero hay otra forma de representar a las permutaciones. Por ejemplo, si
=
_
1 2 3 4
3 2 4 3
_
.
entonces escribiremos
= (134),
esta notacion llamada ciclo indica lo mismo que la previa con la convenci on de
que los elementos que estan jos ((2) = 2) no se escriben. La notaci on (134)
indica que 1 3, 3 4 & 4 1 como 2 no aparece, 2 2. Observe que
(134) = (413) = (341).
Otros ejemplos. Si
=
_
1 2 3 4 5 6
5 4 1 3 6 2
_
.
entonces = (156243).
Si
=
_
1 2 3 4 5 6
2 1 3 6 4 5
_
.
entonces = (12)(465). Aqu vemos que consiste de dos ciclos. Sera que
(12) & (465) sean factores de ? La respuesta es si, como es facil comprobarlo
haciendo los calculos con la otra notaci on
=
_
1 2 3 4 5 6
2 1 3 4 5 6
__
1 2 3 4 5 6
1 2 3 6 4 5
_
.
Observe adicionalmente que cambiando el orden de la operaci on anterior no
cambia el resultado
=
_
1 2 3 4 5 6
1 2 3 6 4 5
__
1 2 3 4 5 6
2 1 3 4 5 6
_
,
2.4. TOPICOS. 45
entonces = (465)(12). Esto ilustra una propiedad b asica de los ciclos... Si
operamos con ciclos disjuntos, podemos conmutar los factores....
Ciclos de longitud 2 se llaman transposiciones. Obseve que si = (ab)
entonces = Id.
Escribamos aqu todos los elementos de S
3
Id en terminos de ciclos

1
= (23),
2
= (13),

3
= (12),
1
= (123),
2
= (321).
Ahora observemos lo siguiente
(123) = (13)(12)
que corresponde a la factorizaci on

1
=
2

3
.
Pero tambien tenemos
(312) = (32)(31)
&
(231) = (21)(23)
que corresponde a las factorizaciones

1
=
1

2
,
=
3

1
.
Es decir tenemos un metodo para convertir cualquier ciclo en transposiciones.
Otro ejemplo, si
= (13567),
= (17)(16)(15)(13).
Llamaremos paridad de una permutaci on al smbolo (1)

que es 1 o
bien 1 dependiendo de que si consiste en par o bien impar cantidad de
transposiciones. Por ejemplo para la permutacion de arriba tenemos (1)

= 1.
Tambien (1)
(2356189)
= 1 porque (2356189) = (29)(28)(21)(26)(25)(23).
Es relativamente facil demostrar que
46 CAP

ITULO 2. GRUPOS.
Proposicion 15 (1)

= (1)

(1)

Dem: Cuando hacemos la descomposici on del producto en transposiciones;

=
1

t

1

s
veremos que el n umero de ellas seguir a siendo
par (o impar) en el caso que haya cancelaciones entre los factores
t

1
.
Para aclarar el enunciado anterior, considere el ejemplo
(1342)(391) = (12)(14)(13)(31)(39),
= (12)(14)(39),
vemos as que la paridad no cambia si usamos cualquiera de las 2 ultimas repre-
sentaciones de esta permutacion.
Proposicion 16 Si = (a
1
a
2
a
n
) es un ciclo de longitud n entonces

1
= (a
n
a
n1
a
1
) = (a
1
a
n
a
2
)
Dem: Observando que
= (a
1
a
n
) (a
1
a
3
)(a
1
a
2
)
entonces al operar con
(a
1
a
n
a
2
) = (a
1
a
2
)(a
1
a
3
) (a
1
a
n
)
tenemos
(a
1
a
n
) (a
1
a
3
)(a
1
a
2
)(a
1
a
2
)(a
1
a
3
) (a
1
a
n
)
obteniendose cancelaci on de todos los factores.
Para el inverso de =
1

n
con
i
ciclos no necesariamente disjuntos,
usariamos la ley (
1

2
)
1
=
2
1

1
1
.
Teorema 10 Todas las permutaciones pares forma un subgrupo normal A
n
de
S
n
. Ademas [A
n
[ = [S
n
[/2.
2.4. TOPICOS. 47
Dem: Sea A
n
=
1
, ...,
k
todas las permutaciones pares. Si
i
,
j
A
n
en-
tonces ellas pueden descomponerse en un n umero par de transposiciones, digamos

i
= T
1
T
2n
&
j
= S
1
S
2m
. Entonces el producto

i
(
j
)
1
= T
1
T
2n
(S
1
S
2m
)
1
,
= T
1
T
2n
S
1
2m
S
1
1
,
en esta ultima relaci on vemos que hay par transposiciones, si llegara ha haber
cancelaciones, iriamos quitando transposiciones de dos en dos, lo cual no cambia
la paridad del producto
i

1
j
. Por lo tanto
i

1
j
A
n
, de lo que se concluye
que A
n
< S
n
. Para la normalidad sea
i
A
n
y S
n
. El producto
i

1
tendremos una cantidad par de transposiciones por que las que aportan y
1
suman dos veces el mismo n umero, dando (1)

1
= 1
i

1
A
n
,
i.e A
n
< S
n
.
Finalmente si T S
n
es una sencilla transposicion, la clase lateral T A
n
tiene la misma cardinalidad de A
n
. Sea S
n
cualquier otra permutaci on. Si
/ A
n
entonces es impar. As T A
n
digamos T =
r
, entonces
T T = T
r
, i.e = T
r
T A
n
. Con todo lo anterior tenemos que
A
n
T A
n
= S
n
. Pero ademas A
n
T A
n
= . Por lo tanto #(A
n
T A
n
) =
#S
n
i.e. 2#A
n
= #S
n
.
2.4.3. Teorema de Cayley.
Ahora vamos a demostrar el Teorema de Cayley. Denimos los mapeos
a
:
G G con la formula
a
(x) = ax Sea B =
a
que forma un grupo de biyec-
ciones (permutaciones de G) con la composici on de mapeos:
a
(x) =
a
(y)
implica ax = ay entonces x = y nos da la inyectividad. Para la sobreyectividad

a
(x) = b tiene solucion para x eligiendole como x = a
1
b.
a

b
(x) =
a
b(x)
nos da la clausura. Asociatividad automatica. Nuetro
e
. E inversos con
1
a
=

a
1.
Ahora denimos : G B como (g) =
g
. Armamos que es un IMF:
(g
1
g
2
) =
g
1
g
2
,
=
g
1

g
2
,
= (g
1
) (g
2
).
48 CAP

ITULO 2. GRUPOS.
que nos dice que es un HMF. Tambien es IY porque si (g) = (h) entonces

g
=
h
, siendo esto ultimo igualdad de mapeos, i.e.,
g
(x) =
h
(x), x G
as gx = hx, x G, entonces g = h con la elecci on x = e. Finalmente
tenemos SY pues si
c
B vemos que la preimagen es c G i.e. (c) =
c
.
Todo lo anterior se resume en el
Teorema 11 (Cayley). Todo grupo es isomorfo a un grupo de permutaciones.
2.4.4. Simplicidad de A
n
.
Para demostrar que A
n
es un grupo simple para n > 4, empecemos con
Lema 8 Sean , (a
1
a
2
a
m
) dos permutaciones entonces
(a
1
a
m
)
1
= (a
1
a
m
)
Dem: Sea x 1, ..., n y hacemos b
i
= a
i
. Entonces tenemos
(a
1
a
m
)x =
_
x si x / a
1
, ..., a
m

b
i+1
si x = a
i
Y por otro lado:
(b
1
b
m
) x =
_
x si x / b
1
, ..., b
m

b
i+1
si x = b
i
Pero considerando que x / a
1
, ..., a
m
si y solo si x / b
1
, ..., b
m
, las dos
deniciones de arriba son identicas i.e. (a
1
a
m
) = (b
1
b
m
) , de donde
deducimos el resultado.
Un triciclo es un ciclo de longuitd 3, como (123).
Lema 9 Cualquier permutacion par se puede factorizar en triciclos.
Dem: Sea =
1

2

2m
para un n umero par de transposiciones
something
.
Pero para cualquier pareja de transposiciones tenemos:
Cuando son disjuntas

l
= (ab)(cd) = (ab)(bc)(cb)(cd) = (abc)(bcd) A
n
;
2.4. TOPICOS. 49
o cuando tienen interseccion no trivial:

t
= (ab)(bc) = (bca) A
n
.
As que = T
1
T
r
.
Esa proposicion nos dice que A
n
= los triciclos). Ademas tenemos que
Lema 10 Si H < A
n
y (abc) H para alg un triciclo, entonces H = A
n
.
Dem: Sean (abc) H y (xyz) y otro triciclo cualquiera. En S
n
podemos armar
la permutaci on
=
_
a b c
x y z
_
y calculamos (abc)
1
= (xyz), es decir cualquier triciclo
esta en H y por lo tanto H = A
n
.
Lema 11 Si H < A
n
y (ab)(cd) H para un par de transposiciones disjuntas,
entonces H = A
n
tambien.
Dem: Sea = (ab)(cd) H, con n > 4 existe e 1, ..., n a, b, c, d con el
cual construimos (abe) y entonces

1
= (abe)(ab)(cd)(eba) = (eb)(cd) H.
pero tambien

1

1
= (dc)(ba)(cd)(eba) = (abe) H.
Es decir H tiene al menos un triciclo y as H = A
n
.
Los ordenes de A
2
y A
3
son 1 y 3. el primero es un grupo trivial y el segundo
tiene orden primo, por lo que, en base al teorema de Lagrange, no tiene subgrupos
no triviales. A
4
tiene un subgrupo normal no trivial: Id, (12)(34), (13)(24), (14)(23)
que lo hace no simple.
Ahora demostremos que
Teorema 12 A
n
es simple para n > 4
Dem: Sea H normal en A
n
diferente de Id). Entonces hay en H un
elemento ,= Id.
Factoricemos disjuntamente =
1

k
, y el teorema quedar a demostrado
considerando los siguientes 4 casos
50 CAP

ITULO 2. GRUPOS.
CASO 1: Supongamos que
1
= (a
1
a
2
a
m
) tiene longitud m > 3.
Sea = (a
1
a
2
a
3
) y observamos que
i
=
i
para cada i = 2, ..., k y que
A
n
. Entonces
1

1
= (a
1
a
2
a
4
) que esta en H y por el lema 3
anterior tenemos H = A
n
.
CASO 2: Supongamos que
1
= (a
1
a
2
a
3
) y
2
= (a
4
a
5
a
6
).
Esta vez hacemos = (a
2
a
3
a
4
) y entonces
1

1
= (a
1
a
4
a
2
a
3
a
5
)
que esta en H y por el caso 1 anterior tenemos H = A
n
.
CASO 3: Supongamos que
1
= (a
1
a
2
a
3
) y que
2
, ...,
k
son transposi-
ciones.
Aqu, tenemos que
2
= (a
1
a
2
a
3
) que esta en H y por el lema 3 anterior
tambien tenemos H = A
n
.
CASO 4: Todas las
i
son transposiciones.
Hay un n umero par de transposiciones y elijiendo = (a
2
a
3
a
4
) tendremos que

1

1
= (a
1
a
4
)(a
2
a
3
) que esta en H y por el lema 4 anterior tenemos
H = A
n
.
2.4.5. Acciones de Grupos.
En esta breve seccion nos topamos con conceptos sencillos y pero abstrac-
tos que no solo sirven como soporte tecnico para la teora de grupos nitos.
Los conceptos como el de estabilizador (o subgrupo isotropico) y el de
orbita que sencillos pero poderosos, permiten descomponer alg un conjunto X
en forma sistem atica para su analisis cuando esta bajo la inuencia de un grupo G
dado. La ecuacion de clase obtenida puede dar mucha informaci on del grupo
mismo cuando este act ua sobre si mismo.
Empezamos con la
Denicion 36 Sean G un grupo y X un conjunto non-vacuo. Sea : GX
X que satisface las siguientes condiciones
1. (e, x) = x,
2. (g
1
, (g
2
, x)) = (g
1
g
2
, x),
esto para g
1
, g
2
G & x X. y decimos que es una acci on de G en X.
2.4. TOPICOS. 51
Convencionalmente tendremos el siguiente cambio de notacion
(g, x) = g x.
y as las condiciones de arriba, toman la forma
1. e x = x,
2. g
1
(g
2
x) = g
1
g
2
x.
Ejemplo 29 Si denimos la acci on de G sobre si mismo como g x = gxg
1
,
entonces se cumple las dos condiciones de la denici on 1:
e x = exe
1
= x,
g
1
(g
2
x) = g
1
(g
2
xg
1
2
) = g
1
g
2
x(g
1
g
2
)
1
= g
1
g
2
x.
Otro
Ejemplo 30 Denimos la
_
cos sin
sin cos
_

_
x
y
_
=
_
xcos y sin
xsin +y cos
_
.
Esto forma una acci on de las matrices con la multiplicaci on sobre conjunto de
parejas
_
x
y
_
R
2
.
Tal acci on es una caracterizaci on de las rotaciones en el plano.
Uno mas.
Ejemplo 31 Sean P, Q < G. Denimos el mapeo P G/Q G/Q como
p Qa = Qpap
1
. No es difcil de vericar que esto dene una acci on.
Consideremos ahora los siguientes conceptos.
Denicion 37 Sea G que act ua sobre X. Sea x
0
X. El estabilizador de
x
0
X es el subconjunto
St(x
0
) = g G [ g x
0
= x
0
,
52 CAP

ITULO 2. GRUPOS.
es decir, en el estabilizador estan los elementos del grupo que cuando act uan
sobre x
0
, no le afectan. Adem as armamos que
Teorema 13 St(x
0
) < G.
Dem: Sean g
1
, g
2
St(x
0
). Entonces g
1
x
0
= x
0
y g
2
x
0
= x
0
. Pero g
1
2
(g
2

x
0
) = g
1
2
x
0
de lo que se sigue x
0
= g
1
2
x
0
lo que permite g
1
g
1
2
x
0
= x
0
.
As g
1
g
1
2
St(x
0
) lo cual implica que St(x
0
) < G.
Teorema 14 Supongamos que g x = y, entonces gSt(x)g
1
= St(y).
Dem: Si gx = y entonces g
1
y = x. Sea u gSt(x)g
1
, entonces u = gsg
1
para alg un s St(x) con el cual s x = x. Ahora
u y = gsg
1
y,
= g (s (g
1
y)),
= g (s x),
= g x,
= y.
Es decir u St(y). Por lo tanto gSt(x)g
1
St(y). La otra parte es similar.
Ahora consideremos la siguiente:
Denicion 38 Sea Orb(x
0
) = x X [ g x
0
= x, g G. Tal conjunto se
llama la orbita de x
0
En Orb(x
0
) tenemos a los elementos de X que se obtienen apartir de x
0
bajo la
acci on de G.
As nos encontramos con el importante
Lema 12 El mapeo Orb(x
0
) G/St(x
0
) denido con la asignaci on g x
0

gSt(x
0
) es una biyecci on.
2.4. TOPICOS. 53
Dem: Llamemos a tal asignaci on, i.e. (g x
0
) = gSt(x
0
). Para la so-
breyectividad; si hSt(x
0
) G/St(x
0
) entonces u = h x
0
Orb(x
0
) cumple
(u) = hSt(x
0
). Para la inyectividad, supongamos que a = g
a
x
0
, b = g
b
x
0
y (a) = (b). Entonces g
a
St(x
0
) = g
b
St(x
0
), esto ultimo es si y solo si
g
1
a
g
b
St(x
0
). Por lo tanto g
1
a
g
b
x
0
= x
0
y as g
b
x
0
= g
a
x
0
, es
decir a = b.
Ahora armamos que la relaci on binaria en X denida por
x y, si g G, que satisface g x = y,
es una relaci on de equivalencia y que la clase de equivalencia de x
0
coincide con
Orb(x
0
), porque:
(Reexividad). x x ya que e x = x.
(Simetra). Si g x = y entonces g
1
y = x.
(Transitividad). Si g
1
x = y y g
2
y = z entonces g
1
g
2
x = z.
Tambien, si x [x
0
] entonces g G tal que g x
0
= x es decir x Orb(x
0
).
As [x
0
] Orb(x
0
). Similarmente [x
0
] Orb(x
0
).
Resumiendo:
Lema 13 El conjunto de todas las orbitas de la acci on de G en X es una
partici on de X. De esta manera
X =
_
j
Orb(x
j
).
Los x
j
reciben el nombre de representantes orbitales de la particion or-
bital.
Ecuaci on de Clase.
Si #X < (y bajo la observaci on anterior), tenedremos
#X =
n

j=1
#Orb(x
j
),
llamada Formula de Descomposicion Orbital.
54 CAP

ITULO 2. GRUPOS.
Pero usando el lema 12 vamos a llegar a
#X =
n

j=1
[G : St(x
j
)],
puesto que #(G/H) = [G : H].
Vamos ahora a considerar el caso particular de la acci on de G sobre G mismo
bajo la conjugaci on, i.e. g x = gxg
1
donde g, x G.
En este caso para los estabilizadores tenemos St(a) = Z(a) porque
gag
1
= a g Z(a),
y las orbitas Orb(a) son las clases de conjugacion.
Obteniendose la Ecuaci on de Clase
[G[ =
n

j=1
[G : Z(x
j
)].
Pero para elementos centrales c Z tenemos Orb(c) = c solamente. Entonces
en la ecuaci on de clase anterior habr a un sumando (= 1) por cada elemento
central, por lo tanto
[G[ = [Z[ +
m

x
j
/ Z
[G : Z(x
j
)], ECC
donde m = n [Z[.
Como una aplicaci on de los resultados anteriores tenemos
Teorema 15 Si [G[ = p
k
con p primo, entonces [Z[ > 1.
Dem: De la ecuaci on de clase ECC tenemos
[Z[ = p
k

x
j
/ Z
[G : Z(x
j
)],
= p
k
p
k
/[Z(x
1
)[ p
k
/[Z(x
r
)[,

[Z[ = p
k
p
kc
1
p
kcr
, (1)
2.5. TEOREMAS SOBRE GRUPOS FINITOS. 55
donde se esta usando el hecho que [G : Z(a)] = p
k
/[Z(a)[ y que los divisores de
p
k
son 1, p, p
2
, ..., p
k
, as hemos supuesto que [Z(x
i
)[ = p
c
i
. Como los x
i
/ Z
entonces c
i
< k, pudiendose factizar cuando menos una p en la relaci on (1) de
arriba. Entonces [Z[ = p(p
k1
p
kc
1
1
p
kcr 1
), por tanto [Z[ > 1.
Tambien
Teorema 16 Si [G[ = p
2
con p primo, entonces G es abeliano.
Dem: Como [Z[ divide a p
2
entonces [Z[ = 1, p o p
2
. Por el teorema
anterior [Z[ > 1. Y si [Z[ = p
2
entonces G = Z lo cual implica que G es
abeliano.
Para el caso que [Z[ = p, consideramos el grupo cociente G/Z cuyo orden es
precisamente [G/Z[ = [G[/[Z[ = p por lo que es cclico: para ver esto claramente
elegimos X G/Z eZ y si o(X) = r entonces r[p, por lo que r = 1
o r = p, como X no es la clase lateral trivial eZ pues r = p lo que implica que
X) = G/Z.
Supongamos que X = gZ. Vamos a demostrar que G es abeliano.
Eligiendo a a, b G obtenemos aZ = X
n
= g
n
Z tanto como bZ = X
m
=
g
m
Z de donde se deduce que a = g
n
z
1
y b = g
m
z
2
para dos elementos centrales
z
1
, z
2
y as
ab = g
n
z
1
g
m
z
2
= g
n
g
m
z
1
z
2
= g
n+m
z
1
z
2
= g
m+n
z
2
z
1
= g
m
z
2
g
n
z
1
= ba
por lo que G es abeliano
2.5. Teoremas sobre grupos nitos.
En este captulo estudiaremos a los grupos nitos dando las demostraciones
de algunos teoremas cl asicos como el de Cauchy y los de Sylow.
2.5.1. Teorema de Cauchy.
Para la demostracion de el teorema de Cauchy vamos a necesitar los siguientes
resultados. Recordando que la denici on o(a) = mnimo r N tal que a
r
= e
(observe que o(e) = 1), tenemos:
56 CAP

ITULO 2. GRUPOS.
Lema 14 Si en G e tenemos a
p
= e para alg un primo, entonces o(a) = p
Dem: Supongamos que o(a) = q. Aplicando el algoritmo de la division;
p = qs +t, donde; 0 t < q.
Entonces e = a
p
= a
qs+t
= (a
q
)
s
a
t
= e
s
a
t
= a
t
, resumiendo a
t
= e, pero como
o(a) = q, concluimos que t = 0, i.e. q [ p, esto implica que q = 1 o q = p. La
primera opcion implicara que a = e.
Ahora tenemos el
Teorema 17 (Cauchy) . Si p es un primo y G es un grupo abeliano para el
cual [G[ = mp, entonces existe a G tal que a
p
= e.
La demostracion de la proposicion es inductiva: Suponemos que la proposicion
vale para todo grupo abeliano A cuyo orden [A[ < [G[. Sea b G e y sea
r = o(b). Aqu tenemos dos casos; 1) p [ r, y 2) p ,[ r.
Si 1), entonces r = lp y deniendo a = b
l
, vemos que a
p
= b
lp
= b
r
= e,
entonces (por el lema anterior) o(a) = p.
Si 2), consideremos el subgrupo b) = b, b
2
, ..., b
r1
, b
r
= e. Ahora
[G/b)[ = [G[/r = q.
Armamos que p [ q. Como p ,[ r, entonces ellos son primos relativos y existen
s, t Z con los que 1 = ps +rt. As q = psq +rtq = psq +t[G[ = p(sq +mt),
por lo tanto p [ q, i.e. p [ [G/b)[. Ya que [G/b)[ < [G[, entonces es valida
la hipotesis inductiva, as existe X G/b) con p = o(X). Ahora, como X es
una clase lateral, tiene un representante c G digamos, con el, X = cb). Sea
u = o(c), entonces X
u
= (cb))
u
= c
u
b) = eb). Ahora aplicando el algoritmo
de la divisi on; u = pw + v, donde 0 v < p, entonces eb) = X
u
= X
pw+v
=
(X
p
)
w
X
v
= X
v
i.e. X
v
= eb), pero o(X) = p y 0 v < p, entonces v = 0,
es decir, u = pw. Finalmente deniendo a = c
w
vemos que a
p
= c
pw
= c
u
= e,
as por el lema o(a) = p.
2.5. TEOREMAS SOBRE GRUPOS FINITOS. 57
2.5.2. Teoremas de Sylow.
El teorema de Lagrange dice que el orden de un subgrupo divide el orden del
grupo que lo contiene. Uno se puede preguntar cuando es v alido lo recproco,
es decir, si d [ [G[ entonces existe un subgrupo de orden d? la respuesta es no
siempre y depende de quien es d. Los teoremas de Sylow dan informaci on acerca
de esta situacion.
Teorema 18 (Sylow I) . Si p es un primo y G es un grupo para el cual p
n
[ [G[,
entonces existe H < G tal que [H[ = p
n
.
Dem: La demostracion de este teorema es inductiva, sobre [G[ y sobre n. Sea Z
el centro de G y supongamos que el teorema vale grupos tales que [[ < [G[.
Veamos para n=1. Si p [ [G[ hacemos [G[ = mp. Ahora consideramos 2 casos:
p [ [Z[
p ,[ [Z[
En primera instancia, usando el Teorema de Cauchy (Z es abeliano) existe c Z
que cumple o(c) = p. Si H = c), entonces H < Z < G y [H[ = p. Ahora si
p ,[ [Z[, entonces usando la ecuaci on de clase
p ,[ ([G[

a
j
/ Z
[G : Z(a
j
)]).
Esto ultimo implica que existe a / Z tal que p ,[ [G : Z(a)]. As el maximo
com un divisor (p, [G : Z(a)]) = 1 (i.e. son coprimos). Entonces existen , Z
con la propiedad 1 = p + [G : Z(a)]. Luego [Z(a)[ = p[Z(a)[ + [G[.
Adem as [Z(a) = p[Z(a)[ +mp. Por lo tanto p[[Z(a)[. Como a / Z entonces
[Z(a)[ < [G[ por lo cual es v alida una de las hip otesis inductivas. As existira H <
Z(a) < G con [H[ = p. Con todo lo anterior demostramos la validez del teorema
cuando n = 1.
Ahora suponemos que el teorema vale para k digamos, i.e. si p
k
[ [G[ entonces
hay H < G con [H[ = p
k
y suponemos que vale para todo grupo cuyo orden es
menor que en orden de [G[.
Sea que p
k+1
[[G[, y consideraremos otra vez los 2 casos: cuando p divide [Z[
y cuando p no divide [Z[.
Si p[[Z[ entonces existira c Z con o(c) = p. No es difcil vericar que c) <
G y as podemos considerar a G/c) como grupo. Como [G/c)[ < [G[ entonces
58 CAP

ITULO 2. GRUPOS.
vale la hipotesis inductiva, siendo que existe

H < G/c) con [

H[ = p
k
. Considere
ahora el epimorsmo natural : G G/c) denido como (x) = xc). Sea
H =
1

H. Observamos ademas que el ker = c). As por el teorema funda-
mental de homomorsmos tenemos

H H/c), dando [H[ = p[

H[ = p
k+1
.
En el caso de que p ,[[Z[, tendremos tambien que p
k+1
,[[Z[ y entonces
p
k+1
,[([G[

a
j
/ Z
[G : Z(a
j
)]), lo cual implica que existe a / Z tal que
p
k+1
,[ [G : Z(a)], lo cual nos da (p
k+1
, [G : Z(a)]) = 1 que a su vez nos
da la existencia , Z con la propiedad 1 = p
k+1
+ [G : Z(a)], pero si
p
k+1
[[G[ entonces [G[ = mp
k+1
y as deducimos que [Z(a)[ = p
k+1
([Z(a)[ +
m) i.e. p
k+1
[[Z(a)[, siendo valida la hip otesis inductiva nuevamente (sobre [G[)
dandonos un H < Z(a) < G con [H[ = p
k+1
.
Ahora consideremos los siguientes conceptos
Denicion 39 Un p-subgrupo H de G es aquel que [H[ = p
n
para alg un n
entero positivo. Y un p-subgrupo de Sylow H de G cumple [H[ = p
n
pero
p
n+1
,[ [G[. Abreviamos p-S para los primeros y p-SS para los segundos.
Con ellos formulamos y demostramos el
Teorema 19 (Sylow II) . Cualquiera dos p-SS son conjugados en G, en otras
palabras, si Q, R p-SS a G, aQa
1
= R.
Dem: Dejemos que Q act ue en G/R como
q aR := qaR.
efectivamente esto es una acci on.
Sean [G[ = mp

y [Q[ = p

(entonces [R[ = p

porque ambos son p-SS y

p
+1
,[ [G[), as p ,[ m.
La acci on de arriba da origen a la ecuaci on de clase
#(G/R) =

a
j
R
#Orb(a
j
R),
que se convierte en
m =

a
j
R
#Orb(a
j
R).
2.5. TEOREMAS SOBRE GRUPOS FINITOS. 59
Pero Orb(a
j
R) Q/St(a
j
R) entonces #Orb(a
j
R) = p

/[St(a
j
R)[ = p
c
j
que sustituido en nos da
m = p
c
1
+ +p
c
k
,
digamos. Ahora, como p ,[ m entonces en existe un c
i
que cumple c
i
= ,
esto implica que [St(a
i
R)[ = p

y por tanto Orb(a

i
R) = a
i
R solamente. En
otras palabras Q entero estabiliza a la clase lateral a
i
R, i.e. q Q tenemos
q a
i
R = qa
i
R = a
i
R. As a
1
i
qa
i
R = R si y solo si a
1
i
qa
i
R para todo
q Q, es decir a
1
i
Qa
i
R. Finalmente como a
1
i
Qa
i
, R tienen la misma
cardinalidad entonces a
1
i
Qa
i
= R.
Y ahora
Teorema 20 (Sylow III) . Si es el conjunto de los p-SS de G entonces
# 1 mod p. Ademas # [ [G[.
Dem: Hacemos que P act ue en mismo por conjugaci on:
x T := x
1
Tx.
Sabemos que # #
P
mod p pues [P[ = p
n
(recuerde el ejercicio 5 del
captulo de Acciones).
Calculemos
P
. Si U
P
entonces x
1
Ux = U para todo x P. Esto
nos indica que P < N(U) (normalizador de U). Tambien tenemos trivialmente
U < N(U). As llegamos a que P, U son p-SS en N(U) y por lo tanto P, U
son conjugados en N(U), es decir, existe z N(U) tal que zUz
1
= P, pero
como U < [N(U) entonces zUz
1
= U, con lo que concluimos U = P. Es decir

P
= P nom as.
Entonces # 1 mod p.
Para concluir la demostraci on, haremos que G act ue en tambien por con-
jugaci on, es decir
g R := gRg
1
,
donde g G y R . Pero por Sylow II solo tenemos una orbita i.e. Orb(R) =
, dando la ecuaci on de clase
# = #Orb(R) = [G : St(R)] = [G[/[St(R), [
es decir,
# [ [G[.
60 CAP

ITULO 2. GRUPOS.
2.6. Grupos Libres.
El objetivo principal de este capitulo es alcanzar el teorema fundamental de
los grupos libres (Schreier).
Sea X = x
1
, x
2
, ... y sea X
1
= x
1
1
, x
1
2
, ... otros objetos que satisfacen
las relaciones
x
i
x
1
i
= x
1
i
x
i
= 1
donde llamaremos a 1 la palabra vaca y cumple la propiedad
x
j
1 = 1x
j
= x
j
.
El conjunto X X
1
recibe el nombre de alfabeto. Una palabra es una
yuxtaposicion de letras del alfabeto.
Por ejemplo si X = x
1
, x
2
, x
3
entonces algunas palabras son
f = x
1
x
2
x
3
,
g = x
1
x
1
1
x
3
x
2
x
1
1
,
h = x
3
x
3
x
3
x
1
1
x
1
2
.
Las palabras g de arriba y x
3
x
2
x
1
1
no son iguales, pero se dice que se obtuvo
una de otra mediante una cancelacion.
Dos palabras son adyacentes si dieren por una cancelaci on. Dos palabras
son equivalentes si dieren por una cantidad nita de cancelaciones.
De esta manera se dene una relaci on de equivalencia entre las distintas
palabras generadas por X.
Denotemos con F(X) el conjunto de las diferentes clases de equivalencia.
Ahora sean [w
1
], [w
2
] dos clases cualquiera en F(X), entonces deniendo
[w
1
][w
2
] := [w
1
w
2
],
obtenemos una operaci on bien denida en F(X), que le convierte en grupo. Tal
grupo es llamado grupo libre generado por X.
El teorema de Schreier, se los debo.
2.7. EJERCICIOS. COMENTARIOS. 61
2.7. Ejercicios. Comentarios.
Grupos.
1. Determine cual de las siguientes estructuras algebraicas es grupo e indique los axiomas
que se cumplen.
Z con (x, y) = x y.
S = x Q[x tiene denominador impar con la suma.
R
3
con (V, W) = V W (producto cruz).
En (S) = A S con (A, B) = (A B) (B A).
2. El conjunto de matrices
A =
_
_
1 a b
0 1 c
0 0 1
_
_
donde a, b, c R con la multiplicaci on, es un grupo. Como es el inverso?
3. Si G es un grupo en el cual x G; x
2
= e, entonces xy = yx.
4. Dar 3 ejemplos donde a, b G, (ab)
1
,= a
1
b
1
.
5. Pruebe que si para a, b G sucede a
1
b
2
a = ba = b = a.
6. Pruebe que si a
2
= e & a
1
b
2
a = b
3
= b
5
= e.
7. Pruebe que si a
5
= e & a
1
ba = b
2
= b
31
= e.
8. Pruebe que si a
1
b
2
a = b
3
& b
1
a
2
b = a
3
= a = b = e.
9. Sea G un grupo talque 3 ,[ [G[ & (ab)
3
= a
3
b
3
= a = b.
10. Para a, b R denimos T
ab
: R R como T
ab
(x) = ax + b con a ,= 0. Pruebe que el
conjunto S = T
ab
es un grupo con la composicion de mapeos.
11. Supongamos que aba
1
= b
m
= r N, a
r
ba
r
= b
m
r
. Indicaci on: Use inducci on.
Primero intente para r = 2 y recuerde que (b
m
)
m
= b
mm
= b
m
2
.
12. Supongamos que para a, b G existe k N tal que
(ab)
k
= a
k
b
k
,
(ab)
k+1
= a
k+1
b
k+1
,
(ab)
k+2
= a
k+2
b
k+2
.
Entonces ab = ba.
Indicaci on: (ab)
k+1
= (ab)
k
ab = a
k
b
k
ab = a
k+1
b
k+1
= a
k
ab
k
b, entonces; a
k
b
k
ab =
a
k
ab
k
b implica (porque?) b
k
a = ab
k
...
13. Porque ((S), ), ((S), ) no son grupos?
62 CAP

ITULO 2. GRUPOS.
14. Demuetre que las matrices de la forma
_
cos sin
sin cos
_
, forman un grupo con la multiplicaci on usual.
15. El conjunto de matrices
E =
_
_
1 0 0
0 1 0
0 0 1
_
_
, A
1
=
_
_
1 0 0
0 0 1
0 1 0
_
_
,
A
2
=
_
_
0 0 1
0 1 0
1 0 0
_
_
, A
3
=
_
_
0 1 0
1 0 0
0 0 1
_
_
,
B
1
=
_
_
0 0 1
1 0 0
0 1 0
_
_
, B
2
=
_
_
0 1 0
0 0 1
1 0 0
_
_
.
Denen un grupo. Hacer la tabla.
16. Las funciones continuas en un intervalo [a, b] con la suma de funciones denida como
(f +g)(x) = f(x) +g(x), tambien es un grupo. Tal conjunto se simboliza con C
o
[a, b].
17. Las matrices de la forma
_
a b
b a
_
con a, b R con la suma. Tambien las mismas matrices sin la
_
0 0
0 0
_
con la multi-
plicaci on. Son grupos.
18. Si v, w R
n
con v +w = (v
1
+w
1
, ..., v
n
+w
n
). R
n
con esta operaci on es un grupo.
19. El conjunto de todas las soluciones de la ecuaci on diferencial y

= y donde y = y(x),
con la suma (y
1
+y
2
)(x) = y
1
(x) + y
2
(x).
20. Un grupo Gse llama cclico si existe un elemento g G con el cual podemos generar.
a
todos los elementos de G. I.e. si x G entonces x = a
n
, donde n es un entero.
Son (Z, +), (Z
n
, +), (Z
p
, ), (R, +), (R
n
, +), (S
3
, ) cclicos?
Cuales son los respectivos generadores?
Son unicos?
Subgrupos.
1. Si H < G HH H & H
1
H.
2. Sea H
j
una colecci on de subgrupos en G que cumple; k ,= l entonces H
k
H
l
o
H
l
H
k
. Con esa condici on

j
H
j
< G.
3. Sea H < G. Si denimos a b si y solo si ab
1
H, pruebe que esto es una relaci on
de equivalencia en G. Pruebe que [a] = Ha.
4. Si H < G & N G entonces H N < [H.
2.7. EJERCICIOS. COMENTARIOS. 63
5. Si H < G & N G entonces HN G & HN = NH.
6. Sea G un grupo. Sea el conjunto de todos los subgrupos de G. Si H, K denimos
H K si y solo si existe a G talque H = aKa
1
. Muestre que esto dene una
relaci on de equivalencia en .
7. Demuetre que las matrices de la forma
_
cos sin
sin cos
_
,
son un subgrupo de SL
2
(R).
8. Sea G un grupo cclico (i.e. existe a G tal que a) = G). Demostrar que si H < G,
entonces H tambien es cclico. Indicaci on: Tomar la potencia a
k
con k mnimo entero
positivo que cumple a
k
H & aplicar algoritmo de la division con otra potencia a
l
H.
As podra demostrar que a
k
) = H.
9. Con H < G demuestre que si HaHb = Hab y aHbH = abH, a, b G entonces
H G.
10. Demuestre que SL(n) GL(n).
11. Si [G : N] = 2 entonces N G.
12. Demuestre que Z G.
13. Demuestre que [G, G] G.
14. G/N es abeliano [G, G] N.
15. H N(H). Si K G tal que H K entonces N(H) < K.
Morsmos.
1. G = R 0 es un grupo con la multiplicaci on usual. Deniendo : G G como
(x) = x
2
. Es un HMF? Es con la denici on (x) = 2
x
? Calcule los kerneles.
2. Sea G un grupo y K G. Denimos para a G jo
a
: G G/K como
a
(x) =
Kaxa
1
. Es
a
un epimorsmo?
3. Denamos un mapeo de
S
3
= Id,
1
,
2
,
3
,
1
,
2
a el conjunto de matrices
E =
_
_
1 0 0
0 1 0
0 0 1
_
_
, A
1
=
_
_
1 0 0
0 0 1
0 1 0
_
_
,
A
2
=
_
_
0 0 1
0 1 0
1 0 0
_
_
, A
3
=
_
_
0 1 0
1 0 0
0 0 1
_
_
,
B
1
=
_
_
0 0 1
1 0 0
0 1 0
_
_
, B
2
=
_
_
0 1 0
0 0 1
1 0 0
_
_
.
64 CAP

ITULO 2. GRUPOS.
As
Id E,
1
A
1
,
2
A
2
,

3
A
3
,
1
B
1
,
2
B
2
.
Dene esto un isomorsmo? Indicaci on: Vea las tablas de Cayley de ambos grupos...
Grupos de Permutaciones.
1. Cual es el orden del ciclo (12467119)? Cual es el orden de la permutaci on (457823)(169)?
2. Generalice el ejercicio anterior. Es decir, diga cual es el orden de una permutacion
=
1

r
donde los
i
son ciclos de longitud
i
.
3. Usando el Teorema de Cayley demuestre que A
3
Z
3
.
4. Encuentre dos diferentes subgrupos de S
6
isomorfos a S
3
.
5. Considere el siguiente subgrupo de S
4
H = Id, (12)(34), (13)(24), (14)(23),
(123), (132), (234), (432), (134),
(431), (124), (421) .
Demuestre que es y que tiene subgrupos de orden 2, 3 y 4, pero no de orden 6.
Acciones de Grupos en conjuntos.
1. Dar otros 3 ejemplos de acci on de grupos en conjuntos.
2. Considerando la acci on por conjugaci on de S
3
sobre si mismo, calcule todas las orbitas
o clases de conjugaci on.
3. Verique la validez del lema 12 con el ejercicio anterior.
4. Observe el cumplimiento de la ecuaci on de clase ECC con el ejemplo anterior.
5. Denamos X
G
= x X [ g x = x, g G tales elementos de X se llaman
puntos jos de la acci on. Demuestre que si [G[ = p
n
y X es nito, entonces
#X #X
G
mod p.
2.8. Referencias.
1. Alegre Gil, C. et al. Algebra Lineal. Curso Teorico-Practico. Universidad
Politecnica de Valencia. 1995.
2. Anton, H. Introduccion al Algebra Lineal. Lim-usa. 1976.
2.8. REFERENCIAS. 65
3. Baumslag, N et al. Theory and Problems of Group Theory. Schaums
Outline Series, McGraw-Hill. 1968.
4. Birkho, G.,Bartee, T.C. Modern Applied Algebra. McGraw-Hill. 1970
5. Carlson, D. Recent developments in the teaching of linear algebra in
the US. Apotaciones Matematicas, Serie Comunicaciones 14. Sociedad
Matem atica Mexicana. 1994.
6. Friedberg, S.H. et. al. Algebra Lineal. Publicaciones Cultural. Mexico.
1982.
7. Jacobson, N. Basic Algebra I. W.H. Freeman & Co. 1974.
8. Kostrikin, A.I. Introduccion al

Algebra. MIR. 1983.
9. Hall, M. Teora de los Grupos. Trillas. 1969
10. Hardley, G. Algebra Lineal. Bilingua. Fondo Educativo Interamericano.
1969.
11. Herstein, I.A.

Algebra Moderna. Trillas. 1978.
12. Herstein,I.N, Winter, D.J. Algebra Lineal y Teoria de Matrices. Grupo
Editorial Iberoamerica. 1989.
13. Homan, K. Kunze, R. Algebra lineal. Prentice-Hall Internacional. 1973.
14. Kurosch, A.G. Curso de algebra superior. MIR. 1977.
15. Lang, S. Linear Algebra. Addison-Wesley. 1966.
16. Lang, S. Algebra. 3rd Ed. Addison-Wesley. 1993.
17. Lipschutz, S. Matematicas Finitas. Schaum, McGraw-Hill. 1966.
18. Lipschutz, S. Teora de Conjuntos y Temas Anes. McGraw-Hill. 1970.
19. Maltsev, A.I. Fundamentos del Algebra Lineal. Mir. 1972.
20. Marquez, J.M. Preliminares. Notas del Depto de Mat. del CUCEI. U de
G. 1993.
66 CAP

ITULO 2. GRUPOS.
21. Marquez, J.M. Teoria de Grupos. Notas del Depto de Mat. del CUCEI. U
de G. 1994.
22. Noble, B. Daniel, J.W. Algebra Lineal Aplicada. Prentice-Hall Hispanoa-
mericana. 1989.
23. Strang, G. Algebra Lineal y sus Aplicaciones. Addison-Wesley Iberoamer-
icana. 1986.
24. Vance, E.P. Introduccion a la Matematica Moderna. Fondo Educ.
Interamericano.1978.
25. Vargas, J.A.

Algebra Abstracta. Limusa. 1986.
26. Voevodin, V.V. Algebra Lineal. Mir. 1970.

Indice alfabetico
(1)

, 45
(S, ), 26
(a +b)
n
=

n
k=0
_
n
k
_
a
nk
b
k
, 10
AB, 6
G/H, 35
G

G, 39
Ha, 35
N G, 37
Orb(x
0
), 52
St(x
0
), 51
, 19
S), 43
(A), 7
p-subgrupo, 58
p-subgrupo de Sylow, 58
C, 6
N, 6
Q, 6
R, 6
orbita, 50
A
n
, 46
abelianizaci on, 43
alfabeto, 42
algoritmo de la divisi on, 24
anillo, 27
anillo conmutativo, 27
aplicaci on, 16
automorsmo, 39
biyectiva o biyecci on, 18
campo, 27, 41
centralizador, 43
centro, 43
ciclo, 44
clase de equivalencia, 13
clase lateral derecha e izquierda, 35
clases de conjugaci on, 54
clases de equivalencia, 31
clases laterales iguales, 35
coecientes binomiales, 8
componentes de una particion, 11
composicion de mapeos, 19
congruencia modulo n, 13
conjunto cociente, 14, 35
conjunto potencia, 7
conmutador, 43
criterio para subgrupos, 34
determinante, 32
Ecuaci on de Clase, 54
elemento neutro, 26
endomorsmo, 39
enteros modulo n, 31
epimorsmo, 39
estabilizador, 50, 51
estructura algebraica, 26
extensi on, 23
formula de descomposici on orbital, 53
67
68

INDICE ALFAB

ETICO
Fermat, 42
bra, 17
funci on, 16
genera, 43
grupo, 27
grupo S
3
, 30
grupo abeliano, 27
grupo cociente, 37
grupos, 29
HMF, 39
homomorsmo, 38
homomorsmo natural, 39
imagen, 16
imagen inversa, 17
inverso, 26
inyectivo, 18
isomorsmo, 39
isomorfo, 39
IY, 39
kernel, 41
Lema de Abstraccion, 15
m aximo com un divisor, 24
mapeo, 16
mapeo constante, 18
mapeo identidad, 18
matrices, 31
monoide, 27
monomorsmo, 39
morsmos, 16
normalizador, 43
operaci on binaria, 26
orbita, 52
orden del grupo, 32
palabras, 42
paridad, 45
parlamento, 15
partici on, 11
permutaciones, 44
preimagen, 16
primos, 23
primos relativos, 25
producto cartesiano, 11
propiedad asociativa, 26
propiedad conmutativa, 26
propiedad de inversos, 26
propiedades universales de mapeos,
17
relaci on binaria, 13
relaci on de equivalencia, 13
relaci on entre conjuntos, 12
relaci on inversa, 17
representante de clase, 13
representantes orbitales, 53
restriccion, 23
semigrupo, 27
Simplicidad de A
n
, 48
sobreyectivo, 18
subgrupo, 33
subgrupo isotropico, 50
subgrupo normal, 37
SY, 39
tabla de Cayley, 30
teorema de Cauchy, 55
Teorema de Cayley, 47
Teorema de Lagrange, 36
teoremas de Sylow, 56

INDICE ALFAB

ETICO 69
Terorema Fundamental de Homomor-
smos, 41
tipos de mapeos, 18
transformaciones, 16
transposiciones, 45
uno a uno, 18