Asignatura: Algebra abstracta Profesora: ngela Martn

Producto cartesiano de conjuntos: El producto cartesiano de dos conjuntos A y B, simbolizado como A B , se define:
A B =
( ) { }
, / a b a A y b B .
Ejemplo: { } { } ( ) ( ) ( ) ( ) ( ) ( ) { }
1, 2, 3 4, 6 ; 1, 4 , 1, 6 , 2, 4 , 2, 6 , 3, 4 , 3, 6 A B A B = = =

Definicin: Una operacin binaria definida sobre un conjunto A, es una regla que asigna a cada par ordenado ( ) , a b de
A B , un elemento nico del conjunto A.
Ejemplo: La operacin definida en
+
por: a b el nmero mnimo entre a y b = y al valor comn si a b = es
binaria. De ese modo: 2 1 1, 15 10 10, 4 4 a = = =
Si el conjunto es finito puede probarse que una operacin definida en l es binaria utilizando una tabla de doble entrada,
como por ejemplo, la operacin definida en { } , , A a b c = por la tabla es binaria en A.

a b c
a b c b
b a c b
c c b a

Ejemplo: La operacin definida en por:
a
a b
b
= no es binaria ya que al par ordenado ( ) 4, 0 no le corresponde
ningn nmero mediante esta regla.
Toda operacin interna en un conjunto se constituye en ley de composicin interna en dicho conjunto. Por lo cual a
las operaciones internas tambin se les llama leyes de composicin interna
Veamos este ejemplo
Sea el conjunto S = {1, 2, 3} y la operacin * definida como la suma a + b - 1

1 2 3
1 1 2 3
2 2 3
3 3

Hay algunos espacios vacos porque el resultado es un elemento que no pertenece al conjunto. Si un conjunto S est dotado de
una operacin interna * entonces se dice que S es estable con relacin a la operacin o que cumple la propiedad
clausurativa
Propiedades de las operaciones binarias
Definicin: Una operacin binaria definida en un conjunto S es:
a) Conmutativa: si , a b b a a b S =
b) Asociativa: si ( ) ( ) , , a b c a b c a b c S =
c) Propiedad Clausurativa o de cerradura
Un conjunto S es cerrado para una operacin * si la operacin es binaria en S, es decir, si


Ejemplo 1: Si la multiplicacin es una operacin interna en S, es conmutativa y es asociativa (verificarlo)
Ejemplo 2: Si S es el conjunto de todas las matrices de orden mxn, las operaciones de adicin y multiplicacin son internas
en S. La adicin es conmutativa y asociativa en ambas operaciones, pero la multiplicacin slo es asociativa (verificarlo)
Ejemplo 3: Pruebe si la operacin definida en por: es conmutativa y asociativa

Elementos importantes
Elemento neutro: Se llama elemento neutro de una operacin binaria definida en un conjunto S, al elemento
e S tal que:
Ejemplo: En el neutro aditivo es el 0
Elemento simtrico: Un es el elemento simtrico de respecto a la operacin si se cumple que:
1 1
x x x x e

= =
Elemento absorbente: Se llama elemento absorbente de una operacin binaria ,un elemento tal que:

Ejemplo: El elemento absorbente de la multiplicacin en es el 0
Propiedad distributiva de una operacin interna respecto de otra



Ejercicio 1: Probar que en el conjunto potencia de un conjunto E, las operaciones de unin e interseccin son
distributivas, la una respecto de la otra
Ejercicio 2: Probar que la multiplicacin de matrices es distributiva respecto de la suma por la derecha y por la
izquierda
Relacin de equivalencia
Definicin: Una relacin binaria definida en un conjunto es una relacin de equivalencia
Si es reflexiva, simtrica y transitiva.
Ejemplo1) Si sobre el conjunto A se define la operacin de la manera siguiente:
, ste define claramente una relacin de equivalencia ya
que:



Ejemplo 2: Sea el conjunto de los nmeros enteros y definamos en la operacin por el enunciado
.Probaremos que es una relacin de equivalencia.






, ; x y S x y S
{ } 1, 0,1 S =

1
x y
x y
xy
+
=
+

x S x e e x x = =

1
x S

x S

; x S x x = =

( ) ( ) ( )
( ) ( ) ( )
, , ;
, , ;
x y z S x y z x y x z
x y z S y z x y x z x
=
=
S

, a b para a b A si y solo si a b =
( )
, Re
, ,
, , ,
a A a a flexiva
a b A a b b a Simtrica
a b c A a b y b c a c Transitiva
=
= =
= = =

a b si a b es par
( )
( ) ( )
1) 0 ,
2) , , , tan
,
3) ,
,
a a par a a
Si a b entonces a b es par por to b a a b
es par luego b a
Si a b y b c entonces a b es par y b c es par luego
a c a b b c es par luego a c
=
=

= +

Ejercicios:
1. Probar que la relacin definida en los enteros, para un entero fijo n>1 por el enunciado a b si a b es mltiplo de n,
es de equivalencia.
2. Comprobar que la relacin definida en A igual al conjunto de todos los tringulos semejantes, define una relacin de
equivalencia
Clases de equivalencia
Definicin: Si S es un conjunto y es una relacin de equivalencia sobre S, entonces la clase de equivalencia de
a S es el conjunto Se denota po .
Cada clase de equivalencia representa una particin o celda del conjunto S.
Ejemplo: En el conjunto de los nmeros racionales, cada elemento b de la forma
representa la celda de todos los elementos identificados con b. Ejemplo, si entonces

Ejercicios
Sea y sea la relacin binaria definida en por el enunciado La diferencia
de dos enteros es un mltiplo de 3. Pruebe que esta relacin es de equivalencia y determine todas las
clases de equivalencias del conjunto para n=3
Determine si la relacin dada es una relacin de equivalencia en el conjunto indicado y describa la
particin que surge de cada relacin de equivalencia.


Relacin de orden
Una relacin binaria definida en un conjunto S, es una relacin de orden si es reflexiva, antisimtrica y transitiva.
Un conjunto dotado de una relacin de orden se llama un conjunto ordenado
Si todos los elementos de S se pueden comparar dos a dos, el orden se llama total y se dice en ese caso que s es
un conjunto totalmente ordenado
Si los elementos de S no pueden compararse dos a dos, el orden que define la relacin es parcial y el conjunto S
se dice que est parcialmente ordenado
Ejemplos:
1) La relacin definida en el conjunto de los nmeros reales por el enunciado
es una relacin de orden total.
2) La relacin en definida por x divide a y es una relacin de orden parcial

{ } / x A a x o a a (

0
m
para m y n y n
n

2
3
b =
2 2 2 4 4 6 6
, , , , , ,........
3 3 3 6 6 9 9

`
)

=

{ } ....., 3, 2, 1, 0, 1, 2, 3..... =
{ } ....., 3, 2, 1, 0, 1, 2, 3..... =
) 0
)
a nRm en si nm
b xRy en si x y
>

, x y para x y


Otro ejemplo de relacin binaria. Si llamamos
n
al conjunto formado por los nmeros positivos comprendidos entre 0 y n-
1, podemos definir sobre
n
las operaciones de suma y multiplicacin modulares de la manera siguiente. a bmd n si
( ) / n a n , n es el mdulo de la relacin y la relacin se lee a es congruente con b mdulo n. Ejemplo:
( ) ( ) ( )
73 4 23, 73 4 69 69 / 23 3; 21 9 10 21 9 30
30 / 10 3
md ya que y md ya que y = = =
=

Propiedades de la relacin congruencia
1) La relacin Congruencia mdulo n define una relacin de equivalencia en el conjunto de los nmeros enteros
2) Esta relacin tiene n distintas clases de equivalencia.
3) Si a bmd n y c d md n entonces a b b d md n y ac bd md n + +
4) Si , ab ac md n y a es primo relativocon n entonces b c md n .
Demostracin: 1) Una relacin definida en un conjunto A, es de equivalencia, si es reflexiva, simtrica y transitiva.
n/0, por tanto, n/(a-a), de donde a amd n para toda a (reflexiva)
Si a bmd n entonces ( ) / n a b y, por tanto, ( ) ( ) / , n b a a b luego b a md n = (simtrica)
Si a bmd n y b c md n , entonces ( ) ( ) / / n a b y n b c de donde
( ) ( ) { } ( ) / , , / ( ) n a b b c es decir n a c Transitiva +


Grupos
Definicin 1: Llamaremos grupo al par ( ) , G constituido por un conjunto no vaco G y una operacin definida sobre l
que verifica las siguientes propiedades o axiomas:

1) * es estable o binaria en G, es decir, ( ) , a b G a b G (cerradura)
2) * es Asociativa, ( ) ( ) ) , , a b c a b c a b c G
3) existencia del elemento identidad en G, Existe e Gtal que a e e a a a G = =
4) existencia de los inversos en G,
1 1 1
a G Existe a G tal que a a a a e

= =

Definicin 2: Si todos los elementos del grupo (G,*) verifican la propiedad conmutativa a b b a = se dice que el
grupo es conmutativo o abeliano.
Si la operacin * definida en G es la adicin, al elemento neutro se le suele llamar cero,
0, y al elemento simtrico o inverso de a se le llama elemento opuesto y se le denota por -a.
Si la operacin * es la multiplicacin, al elemento neutro o idntico se le suele denominar elemento
Unidad, 1, y al simtrico, elemento inverso y se le designa por
1
a

.
a b
Como hemos visto en los ejemplos, un grupo puede tener un nmero finito de elementos
y se dice entonces que es grupo finito. Si tuviese infinitos elementos se dira grupo infinito

Ejemplos:
a) ( ) , + es un grupo conmutativo abeliano
b) ( ) , + es un grupo abeliano
c) El conjunto { } 1,1, , i i de las cuatro races cuartas de la unidad forma un grupo con la multiplicacin de
nmeros complejos
d) Las races complejas de la ecuacin polinomial 1 0
n
x = forman un grupo abeliano bajo la operacin de
multiplicacin de nmeros complejos.
e) Sea ( )
n
M el conjunto de todas las matrices de dimensin n n y elementos reales. Sea ( )
n
GL el
subconjunto de ( )
n
M que consiste en todas las matrices cuyo determinante no es cero (matrices no
singulares). Con la operacin de multiplicacin de matrices, ( )
n
GL forma un grupo abeliano llamado grupo
lineal general. Verifquelo.
f) Sea ( ) O n , el subconjunto de ( )
n
GL cuyos elementos son matrices ortogonales (determinante igual a +1 o -1).
Con la operacin de multiplicacin, ( ) O n es un grupo llamado Grupo ortogonal de dimensin n.
g) Sea ( ) SO n el subconjunto de ( ) O n constituido por las matrices ortogonales cuya determinante es +1. Bajo la
operacin de multiplicacin matricial este conjunto forma un grupo llamado ortogonal especial de dimensin n.
h) Grupo simtrico Sn. Sea S un conjunto arbitrario no vaco, se define ( ) A S como el conjunto de todas las
aplicaciones biyectivas del conjunto S sobre s mismo. Si ( ) , f g A S y efectuamos la operacin f g
(composicin de funciones) podemos probar que el conjunto ( ) A S forma una estructura de grupo respecto a esta
operacin, llamado grupo simtrico de orden n.
Para todas ( ) , f g A S , f g est en ( ) A S , lo que significa que el conjunto ( ) A S es cerrado para la
operacin
La composicin de funciones es asociativa, es decir:
( ) ( ) ( ) ; , , f h g f h g f g h A S =
La funcin ( ) ( ) , I A S definida por I x x x S = , es tal que: ( ) ; I f f I f f A S = =
representa el elemento identidad de ( ) A S
Para toda funcin ( ) f A S , existe otra funcin ( )
1
f A S

, tal que:
1 1
f f f f I

= = . Esto
significa que cada elemento de ( ) A S tiene un inverso en ( ) A S .

Definicin3: El orden de un grupo G, es el nmero de elementos de G. Notacin: ( ) G o G en algunos textos. Si
G < entonces G es un grupo finito.

Ejemplos:
1. El orden del grupo ( ) , + es contable infinito
2. El orden del grupo ( ) , + es incontable infinito
3. El orden del grupo formado por las races complejas de la ecuacin
17
1 0 x = es igual a 17
4. Sea { } 1, 1 G = . Bajo la operacin de multiplicacin en los nmeros enteros, G es un grupo de orden 2.
Verifquelo.

Definicin 4: Un grupo G se llama cclico, si existe un elemento a G tal que para todo x G ,
k
x a = para algn entero
k.
Los grupos cclicos pueden ser finitos o infinitos. Ejemplos:
1. El grupo ( ) , + es un grupo cclico infinito
2. El grupo de las races complejas de 1 0
n
x = , es infinito.
Un elemento a G que cumpla con la condicin de que ;
k
x G x a = , para algn entero k se llama generador del
grupo G. Ejemplo: 1 es un generador del grupo aditivo.

Ejercicio: Demostrar que todo grupo cclico es abeliano y verificar que el recproco es falso

Grupo
3
S : Es el grupo de todas las funciones biyectivas del conjunto { }
1 2 3
, , x x x sobre s mismo con la operacin de
composicin de funciones. Sus elementos
son:
1 1 1 2 1 2 1 3
2
2 2 2 3 2 1 2 1
3 3 3 1 3 3 3 2
, , ,
x x x x x x x x
I x x f x x g x x f x x
x x x x x x x x


= = = =




,
1 1
2 3
3 2
x x
f g x x
x x

,
3 1
, g g g g

= =



As
{ }
2
3
, , , , , S I f g f g f f g = . Este conjunto tiene 6 elementos correspondientes a 3! funciones biyectivas.
Podemos hacer una tabla de doble entrada para probar que el conjunto
3
S es cerrado para la operacin , definiendo
primero las potencias de cualquier elemento a de un grupo G cualquiera
Potencias de a G
( )
( )
2
0 2 1
3
1 3 1
2
3 2
1
( )
............
k k
a e neutro a a
a a a a
a a a
a a a
a a a

= =
= =
=
=
=

Es fcil verificar que las leyes de los exponentes de los nmeros tienen validez, es decir,
( )
1)
2)
m n m n
n
m mn
a a a
a a
+
=
=


1 3 1 1
2
2 2 2 2
3 1 3 3
,
x x x x
g f x x g g g x x I
x x x x


= = = =






Tabla de doble entrada del grupo S3















Cada una de las entradas de esta tabla puede obtenerse aplicando la definicin de composicin de funciones, por ejemplo:

1 2 1 3 1 1
2
2 1 2 1 2 3
3 3 3 2 3 2
x x x x x x
g f x x x x x x f g
x x x x x x
| || |
| |
= = =

| |
| |

\ \

Este grupo no es cclico ni es abeliano y puede visualizarse utilizando un tringulo, en el cual se sealan los nmeros 1,2, 3
en los vrtices.
1




3 2

Un elemento del grupo
3
S que llamaremos a, tiene el efecto sobre el tringulo que se seala en la figura:

1 3
1
a



3 2 2 1


O I
f
2
f
g
f g g f
I I
f
2
f
g
f g g f
f f
2
f I

g f
g
f g
2
f
2
f I
f f g g f
g
g g
f g g f
I
f
2
f
f g f g g f
g
2
f I
f
g f g f
g
f g f
2
f I
a representa una rotacin de 120 grados en el sentido de las agujas del reloj.
Otro elemento, que llamaremos b, representa una reflexin del tringulo alrededor de su eje vertical, cmo se indica en la
figura siguiente:
1 1

b



3 2 2 3

Como la operacin del grupo es la composicin de funciones cuando se escriba ab, quiere decir que primero ejecutamos a
y luego b, por tanto, ab corresponde a la figura.

1 3 3

a b


3 2 2 1 1 2
ab

Se observa que a
3
=I (la permutacin identidad que no cambia nada), b
2
=I y a
2
b=ba. Tomando como base estas relaciones
se pueden obtener rodos los dems elementos del conjunto, tenindose finalmente que
{ }
2
3
, , , , , S I a b a ab ba = .
Ejercicios:
1. Construir la tabla de doble entrada del conjunto
3
S utilizando los tringulos
2. Demostrar que la relacin a
2
b=ba es equivalente a la relacin ba
2
=ab
3. Hallar ( ) ( )
2 3
ab y ab
Nota: El grupo
3
S construido de este modo es isomorfo (igual que) al grupo ( ) A S de funciones biyectivas
Lemas de Grupos
Lema 1: Si G es un grupo, entonces
( )
( )
1
1
1
1 1
)
)
) ,
) , , . .
a El elemento identidad de G es nico
b Todo a G tiene un inversonico en G
c Para todo a G a a
d Para a b G a b b a

=
=

Demostracin: a) Para probar que el elemento identidad es nico supongamos que e y f son elementos neutros de G,
entonces, por definicin de neutro . . . . a e e a a y a f f a a a G = = = = . Probaremos que e f = . Como
. . . , .
, . .
f G y e a a entonces e f f pero tambin b f b b G y como e G e f e
es decir e f f y e f e lo que implica que e f
= = = =
= = =

1 1 1 1 1
1 1 1
1 1
1 1 1 1
b) Si , . s in ,
. . mod
. . .
. . . . .
a b son inversos de a G probaremos que a b Como a e verso de a
por definicin de inverso a a a a e y del mismo o como b es inverso de a
entonces a b b a e
a a e y a b e implica que a a a b Supo




=
= =
= =
= = =
( ) ( )
( ) ( )
1 1 1 1
1 1 1 1 1 1
, . . tan . .
: . . . . ,
ngamos que esta igualdad se cumple con
a b G Existe b G tal que b a e por to b a a b a b y aplicando la
propiedad asociativa b a a b a b lo que implica que e a e b de donde a b


= =
= = =

( ) ( )
1 1
1 1 1 1 1
) . : c a a a a y cancelando a por la izquierda se tiene que a a


= =
( )( ) ( )( ) ( )
1
1 1 1 1 1 1
1 1
) . . . . . . . . , tan
. .
d a b a b a b b a a b b a a e a a a e por to
b a es la inversa de a b

= = = = =

Lema 2: Sean a, b elementos del grupo G, entonces las ecuaciones a. x=b, y. a =b tienen soluciones nicas para x, y
en G. En particular las leyes de cancelacin
. .
. .
a u a w implica u w
u a wa implica u w
= =
= =

Se verifican en G (La prueba se deja como ejercicio)

Subgrupos
Definicin 5: Sea G un grupo y sea H un subconjunto no vaco de G. Se dice que H es un subgrupo de G, si H, con la
misma operacin de G, es un grupo.
Notacin: H G < significa H es un subgrupo de G
Ejemplos:
1) El conjunto que contiene el elemento identidad de cualquier grupo G es un subgrupo de G, tambin el conjunto G
es subgrupo de s mismo. Estos dos subgrupos se llaman subgrupos triviales
2) El conjunto { } / n nx n = es un subgrupo de
Lema 3: Si H es un subgrupo de G y K es un subgrupo de H, entonces K es un subgrupo de G.
Demostracin: Si es la operacin de G, ( ) , H es subgrupo de G y ( ) , K es subgrupo de H, entonces K es un
grupo respecto a la misma operacin de G, por tanto K es un subgrupo de G.
Lema 4: Un subconjunto no vaco H de G forma un subgrupo de G si y solo si:
1
1) ,
2)
a b H implica que ab H
a H implica que a H

Demostracin: ) Si H G < entonces H est cerrado respecto a la operacin de G, por tanto, si , a b H entonces
1
. , , a b H y como H es un grupo si a H a H

) Si H es un subconjunto no vaco de G y
1
. , a b H a b H y a H a H

debemos probar que se

cumple la propiedad asociativa y que existe el neutro e. Como H G y la operacin es asociativa en G, lo es en
H, adems, si
1
a H y a H

entonces debe existir un e H tal que

1
. a a e

= .

Lema 5: Si H es un subconjunto finito no vaco de un grupo G y H es cerrado respecto a la multiplicacin entonces
H G < .
Demostracin: Para probar que H G < solo debemos probar que
1
, a H a H

y que e H . Supongamos
que a H , como el conjunto es cerrado respecto a la multiplicacin
2 2 3 1
. , . ......... .
n n
a a a H a a a H a a a H

= = = . Por tanto, la coleccin infinita de elementos

2 3
, , ,............, ,......
n
a a a a H G finito, lo cual significa que debe haber repeticiones en esta coleccin, es decir,
r s
a a = para algunos enteros r, s, tales que 0 r s > > Multiplicando por el inverso de
s
a , tenemos ,
r s
a e

= por
tanto e H .
Como
1
1 0,
r s
r s a H

y
1 1 r s
a a

= ya que
1
.
r s r s
a a a e

= =
1
tan H por to a

.

Ejemplos:
1) Sea { } 0 G = . Con la operacin de multiplicacin. G forma un grupo abeliano. Sea { } 1,1 H G = .
Como H es finito y cerrado para la multiplicacin entonces H es subgrupo de G por el lema 5.
2) En ( ) , + considrese el conjunto { } / n nx x = , dnde n es un entero fijo mayor que cero. nes el
conjunto de los mltiplos de n en . Verificar que nes un subgrupo abeliano de . Si m,n son dos
nmeros enteros positivos distintos, Cul ser el conjunto m n ?, Cundo m n ser un
subgrupo de ?
Nota importante: Como un grupo es un conjunto con una operacin, hay que tener en cuenta la simbologa o el
lenguaje de la operacin correspondiente. Por ejemplo, en ( ) , + debe escribirse
............ ( )
n
a a a a a n veces = + + + +
Definicin 6: Sea G un grupo y sea H G < , para , a b G se dice que a es congruente a b mdulo H, si
1
. a b H

. Notacin: ( ) a b md H .
La relacin congruencia mdulo H es una relacin de equivalencia.
Demostracin: Sean , , a b c G . Probaremos que la relacin mdulo H entre estos elementos es una relacin
reflexiva, simtrica y transitiva.
1) ( ) a a md H , reflexiva
2) ( ) ( ) a b md H implica b a md H , simtrica
3) ( ) a b md H y ( ) ( ) b c md H implica a c md H , transitiva

Demostracin:
1) Para todo a G ,
1
. a a e H

=
,
ya que H G < , por tanto ( ) a a md H
2) Sea ( ) a b md H .
1
. a b H

implica
( ) ( )
1 1
1 1 1 1
. . . a b b a b a H


= = . Por tanto
( ) b a md H
3) Si ( ) a b md H y ( ) b c md H entonces
1
. a b H

y
1
. b c H

, Por tanto,
( )( ) ( )
1 1 1 1 1
. ab bc a b b c ac H

= = Por tanto, ( ) a c md H .
Nota: Si el grupo G es aditivo (su operacin es la adicin) habra que escribir a b en lugar de
1
ab

en el lema
anterior. Por ejemplo, si ( ) , G = + , 3 , 5 2 H a y b = = = tenemos
( ) 5 2 3, 3 . tan , 5 2 a b H Por to md H = =
Definicin 7: Sea H G < y sea a G . El conjunto { } / Ha xa x H = se llama clase lateral derecha de H en G.
De forma similar, el conjunto { } / aH ax x H = se llama clase lateral izquierda de H en G.
Ejemplos:
1) Sea ( ) , G = + , 2, 3 a H = = . Como el grupo es aditivo debemos escribir
{ } { } 2 / 3 ......, 4, 1, 2, 5, 8,........ H a x x + = + =
2) Sea ( ) { }
6
, , 0, 3 G H = = . Hallar Ha para { } 0,1, 3, 5 a
3) Sea
3
G S = ,
{ }
2
, , H I a a = . Hallar { } , , Hx para x a b ab
Lema 6: Dado cualquier elemento ( ) { }
, / a G y H G Ha x G a x md H < =
Demostracin: Sea ( ) ( ) { }
/ a x G a x md H = .
Si x Ha entonces x ha = para algn h en H. Por tanto, ( )
1
1 1 1 1
ax a ha aa h h H

= = = . De aqu se
sigue que ( ) a x md H . Por tanto ( ) x a .
Si ( ) x a entonces ( ) a x md H lo que implica que
1
ax H

, por tanto ( )
( )
1
1
1
. ax xa H

= Llamando h
a
1
xa

se tiene que:
( ) ( )
1 1
x x aa xa a ha

= = = . Por tanto ( ) x Ha y Ha a = .
Importancia del lema 6: Este lema nos dice que dos clases laterales derechas Ha y Hb dentro de un grupo G,
para un subgrupo dado H, son disjuntas o son idnticas. Esto es, Ha Hb o Ha Hb = = , ya que la relacin
congruencia md H es de equivalencia. Por tanto, G queda partido en varios subconjuntos disjuntos (las clases
laterales) cuya unin es G.
Lema 7: Sea H G < y sean Ha y Hb dos clases laterales derechas cualesquiera de H en G. Existe una
biyeccin : f Ha Hb .
Nota: Esto significa que las clases laterales tienen el mismo nmero de elementos.
Demostracin: Se define la funcin ( ) f xa xb x Ha = . Demostraremos que f es inyectiva: Si
( ) ( )
1 2 1 2 1 2
f x a f x a entonces x b x b lo que implica que x x = = = . Para demostrar que f es sobreyectiva
tomamos ( ) , lg . y Hb y xb para a n x H entonces f xa xb y = = = Por tanto f es biyectiva.
Teorema de Lagrange
Si G un grupo finito y H G < entonces ( ) H es divisor de ( ) G .
Demostracin: Sea k el nmero de clases laterales derechas distinta de H en G, como son disjuntas y tienen el
mismo nmero de elementos entonces ( ) ( ) k H G = , despejando k, se tiene que:
( )
( )
G
k
H
=

y como k es un
nmero natural, se concluye que el orden de H divide al orden de G.
Nota importante: El recproco de este teorema es falso. En
4
S existe un subgrupo de orden 12, que a su vez no
tiene ningn subgrupo de orden 6. Esto quiere decir que todo grupo finito no necesariamente debe tener un subgrupo
cuyo orden sea un submltiplo del orden del grupo.

Definicin 8: Se llama ndice de un subgrupo H en un grupo G, al nmero de clases laterales distintas de H en G.
Notacin: ( )
G
i H .
Si G es finito entonces ( )
G
i H =
( )
( )
G
H

Ejemplos:
1) Sea ( ) { }
6 6
, 0, 3 G y sea H = = < . Hallar ( )
G
i H y hallar todas las clases laterales distintas de H
en G.
2) Sea G = y { } 2 2 / H x x = = , aunque en este caso G es finito, verifique que ( )
G
i H es 2.
Definicin 10: Sea G un grupo y a G
. El orden o perodo de a denotado por
( ) a
es el entero positivo ms
pequeo m tal que
m
a e =
. Si tal nmero no existe, se dice que
( ) a
es infinito.
Ejemplos:
1) En ( ) ( ) ( ) ( )
6
, , 2 3, 1 6 3 2 y = = =
2) En ( ) , + el orden de cualquier elemento es infinito.

Corolarios al teorema de Lagrange
Corolario 1: Si G es un grupo finito y a G
, entonces
( ) a
divide a
( ) G
.
Demostracin: Si a G
y
( ) { }
2
, , ,........, ,.....
n
a e a a a =
es el subgrupo cclico de G generado por a, entonces
como G es finito,
k
a e =
para algn k. Como
( ) a
es el menor entero tal que
( ) a
a e =

, tenemos que
( ) a k
, es
decir, este subgrupo tendr a lo ms
( ) a
elementos. Si ese nmero fuera menor habra elementos repetidos, es decir,
i j
a a =
para enteros
( ) 0 i j a <
, de donde
( ) ,
j i
a e con o j i a

= < <
(contradiccin con la definicin de
( ) a
), por tanto,
( ) a
tiene
( ) a
elementos y por el teorema de Lagrange
( ) a
/
( ) G
.
Corolario 2: Si G es un grupo finito y a G
entonces
( ) G
a e =

.
Demostracin: Si a G
y G es finito entonces por el corolario 1
( ) a
/
( ) G
, es decir,
( ) ( ) G k a =
. Por tanto.
( ) ( ) ( )
( )
k
G k a a
k
a a a e e = = = =

.


Aplicacin del corolario 2 a la teora de nmeros

La funcin de Euler
Sea la funcin : definida por
( )
( )
1 1
# mo n de enteros positivos menores que n y relativamente pri s con n

=
=

Proposicin: Dado 1 n , los nmeros enteros positivos menores que n y primos con n forman un grupo respecto a la
multiplicacin mdulo n, y el orden de ese grupo es ( ) n .
Demostracin: Sean
0 1 2 1
1, , ,..........,
k
a a a a

= los enteros positivos menores que n y primos con n. ( ) n k = . La
multiplicacin mdulo n es asociativa. 1 es el elemento identidad. ( ) 0
i j
a a md n para todo i, j, ya que todos los
i
a s

son primos con n. Sean { } , 0,1, 2,........, 1 i j k .

i j t
a a a = para algn t, 0 1 t k ya que
t
a es primo con
n y menor que n. Por tanto, el conjunto
{ }
0 1 2 1
, , .......,
k
a a a a

est cerrado con respecto a x mdulo n. Sea
{ }
0 1 2 1
, , .......,
s
k
a a a a a

. Multiplicando el conjunto por
s
a se obtiene
{ } { }
1 2 1 1 2 1
, , ,........., 1, , ,......,
s s s k s k
a a a a a a a a a a

= . Por tanto, 1
s h
a a = para algn h, 0 1 h k . Se deduce
entonces que
h
a es el inverso multiplicativo de
s
a .
Los axiomas de grupo han sido demostrados, por tanto,
{ }
1 2 1
1, , .......,
k
a a a

es un grupo bajo la multiplicacin mdulo
n. El nmero de elementos de este grupo es ( ) k n = .
Corolario 3( Euler): Si n es un entero positivo y a un entero relativamente primo con n, entonces
( )
( )
1 )
n
a md n

.
Demostracin: Si a n < entonces a pertenece al grupo
n
G de la proposicin anterior y obviamente
( )
( )
1 )
n
a md n

ya que ( ) n es el orden del grupo.

Si a n > , sea s el residuo mdulo n (al dividir a por n), entonces ( ) ) a s md n implica
( ) ( )
( ) 1
n n
a s md n

.
En el caso en que n p = , p un nmero primo cualquiera entonces ( ) 1 p p = . Si a es un entero primo relativo a p,
entonces por el corolario 3)
( )
( )
1
1
p
p
a a md n

= . Por tanto ( )
p
a a mdp .
Corolario 4 (Pierre Fermat): Si p es un nmero primo y a es un entero cualquiera, entonces, ( )
p
a a mdp .
Demostracin: Si a es relativamente primo a p, el prrafo anterior demuestra el resultado. Si a no es primo relativo a p,
entonces p divide a a, por tanto, ( ) 0 a md p , es decir, mp a = (para algn entero m), de donde
1 p
a mpap

= ,
por tanto, ( ) 0 a md p . Por transitividad en la relacin de congruencia ( )
p
a a mdp .
Corolario 5. Si G es un grupo finito tal que ( ) G p = (primo) entonces G es un grupo cclico.
Demostracin: Como ( ) G es primo solo tiene los subgrupos triviales ya que ( ) ( ) / H G por Lagrange, por tanto,
( ) ( ) 1 H o H p = =
.
. Si ( ) 1 H = entonces ( ) H e = . Si ( ) H p = entonces H G = .
Supongamos ( ) a e y H a . ( ) , H G y H e ya que a H y a e entonces H G < = . G es cclico y todo
elemento de G es una potencia de a.
Definicin 11: Sea G un grupo y sea a G . El normalizador de a en G es el conjunto.
Ejercicios:
1) Sea ( )
3
, G S hallar N a =
2) Demostrar que ( ) N a es un subgrupo de G.
Definicin 12: Sea G un grupo. El centro de G es el conjunto ( ) { } / Z G z G zx xz x G = = . El centro de G es
el conjunto cuyo normalizador es todo el grupo.
Ejercicios:
1) Sea ( )
3 3
, G S hallar Z S =
2) Si G es un grupo arbitrario, demostrar que ( ) Z G es un subgrupo de G
3) Ejercicios de las pginas 54 y 55 de Herstein, nmeros: 1, 2, 3, 4, 5, 11, 14, 15, 16, 17.