Está en la página 1de 10

Grupos

Definicin: Sea S un conjunto una operacin binaria es una funcin : S S S - . Denotamos la


imagen de ( , ) s t bajo * por * s t .
Definicin: un grupo es un conjunto no vaco G dotado de una operacin binaria * que verifica las
siguientes condiciones:
1 1 1
1)Si ,
2)Si , , ( ) ( )
3) tal que e x=x e=x
4) tal que x=x =e
x y G x y G
x y z G x y z x y z
x G e G
x G x G x x

e - e
e - - = - -
e - e - -
e - e - -

Definicin: si , x y G e , se cumple x y y x - = - , decimos que G es un grupo conmutativo o
abeliano.
Observacin: en rigor, un grupo est formado por un conjunto y una operacin binaria por lo que
deberamos hablar del par ( , ) G - . Cuando la operacin se subentiende, hablamos simplemente del
grupo G . Debemos observar que sobre un mismo conjunto se puede definir distintas
operaciones que lo convierten, por ende en grupos distintos.
Definicin: el nmero de elementos de un grupo se denomina orden de G y lo denotamos por
( ) o G . Cuando G tiene orden finito decimos que G es un grupo finito.
Ejemplos
1) ( , ) + es un grupo
2) ( , ) no es grupo dado que 0 no es invertible con respecto a la multiplicacin.
3) ( \{0}, ) es un grupo
4) {1, 1} G = con la multiplicacin entre nmeros reales como operacin, es un grupo
abeliano de orden dos. En efecto,
* 1 -1
1 1 -1
-1 -1 1
Observe que en la tabla de las combinaciones de productos posibles da como valores a 1
o -1, as * es cerrada. La asociatividad y conmutatividad se hereda del producto de los
nmeros reales.
5) Todo conjunto formado por un nico elemento e es un grupo bajo la operacin definida
por e e e = . Este grupo es claramente conmutativo. Demostrar la asociatividad es trivial,
e es la identidad y su propio inverso. Un grupo de esta forma lo llamaremos grupo trivial.
6) Dado un conjunto X no vaco, definimos el conjunto
X
S de todas las aplicaciones
biyectivas de X en X . Bajo la operacin composicin de aplicaciones,
X
S es un grupo
ya que:
i) La composicin de dos aplicaciones biyectivas de X en X es una aplicacin
biyectiva de X en X .
ii) Se verifica la propiedad asociatividad para la composicin de aplicaciones y en
particular cuando estas son biyectivas.
iii) La aplicacin identidad sobre X es biyectiva, y esta corresponde al elemento
neutro de
X
S .
iv) Y por ltimo toda aplicacin biyectiva tiene una inversa, la cual tambin es
biyectiva.
Los elementos de
X
S se llaman permutaciones del conjunto, y
X
S se denomina el grupo
simtrico o grupo de las permutaciones sobre X . Para
x
S o e y x X e , decimos que x es
un punto fijo para o si se verifica que ( ) x x o = , en caso contrario decimos que o mueve a
x . Cuando {1,..., } X n = se denota
n
S , en vez de
X
S (ms adelante estudiaremos con ms
detalles los grupos
n
S .
7) Las clases residuales
n
Z con la adiccin son tambin un grupo.

Teorema: Si G es un grupo, entonces:
a) El elemento neutro de G es nico
b) Todo a G e tiene un inverso nico en G
c) Para todo a G e ,
1 1
( ) a a

=
d) Para , a b G e ,
1 1 1
( ) * a b b a

- =
e)
*
a b a c b c
b a c a b c
- = - =
- = =

Demostracin:
a) Supongamos que hay dos neutros
,
e y e . Entonces
,
e e e - = , pues
,
e es elemento neutro
, ,
e e e - = , pues e es elemento neutro
,
e e =
b) Si b y c son dos inversos de a , entonces
* *
* *( * ) ( * )* *
b a e a c
b b e b a c b a c e c c
= =
= = = = =


c) Por definicin de
1
a

,
1
aa e

= y
1
a a e

= , as la inversa de
1
a

es a , i.e.,
1 1
( ) a a

=
d) Por una parte
1 1 1 1 1 1
1 1 1 1 1 1
( ) ( ) ( ) ( )
( ) ( ) ( )
a b b a a b b a a e a a a e
b a a b b a a b b e b b b e


- - - = - - - = - - = - =
- - - = - - - = - - = - =

As,
1 1 1 1
( ) ( ) ( ) ( ) a b b a b a a b e

- - - = - - - = . Por la unicidad del inverso tenemos,
1 1 1
( ) a b b a

- = -
e) Suponga que a b a c - = - y multiplcalo por
1
a

por la izquierda
1 1
1 1
( ) ( )
( ) ( )
* *
a a b a a c
a a b a a c
e b e c
b c


- - = - -
- - = - -
=
=

La otra ley de cancelacin se demuestra de forma anloga.

Observacin: en general se puede dar distintas estructuras de grupo a un mismo conjunto,
basta para ello dotarlo de distintas operaciones. Por ejemplo, si definimos sobre \ {0}
la operacin
2
ab
a b - = , ( \{0},*) es un grupo cuyo neutro es 2 y
1
4
a
a

= .
Por lo tanto ( \{0}, ) y ( \{0},*) son dos grupos distintos definidos sobre el mismo
conjunto.

Notacin: si no hay confusin posible usaremos la notacin * a b ab =
En grupos abeliano es usual ocupar las siguientes notaciones.
1
* a b a b
a a

= +
=


Definicin: si G es un grupo, entonces a G e y ne , entonces:
0
1
1
) :
) :
) : ( )
n n
n n
a a e
b a a a
c a a
+

=
=
=






Subgrupos
Definicin: un subconjunto no vaco H de un grupo G es un subgrupo de G si H dotado de la
misma operacin es un subgrupo.
Si H es un subgrupo de G escribimos H G s .
Cada G tiene como subgrupos a G y { } e , donde e es el elemento identidad de G .
Definicin: Si G es un grupo, entonces G es un subgrupo impropio de G . Todos los otros
subgrupos son subgrupos propios. Adems { } e es el subgrupo trivial de G . Todos los otros
grupos son no triviales.
Ejemplos:
1) ( , ) + es un subgrupo de ( , ) + .
2) ( \{0}, ) es un subgrupo de ( \{0}, )
3) { : } n kn k = e es un subgrupo
Para verificar si un cierto subconjunto de un grupo es o no subgrupo, conviene usar el siguiente
teorema.
Teorema: Sea G un grupo y sea H G _ , Las siguientes proposiciones son equivalentes:
1) H es un subgrupo de G
2) i) H | =
ii) H es cerrado bajo producto, es decir, si , a b H e , entonces, ab H e
iii) H es cerrado bajo inverso, es decir, si a H e , entonces,
1
a H

e
3) i) H | =
ii)si , a b H e , entonces ,
1
ab H

e
Demostracin:
1 2: Si H es un subgrupo de G , entonces es obvio que se cumple 2
2 1: Supongamos que H es un subgrupo que cumple i), ii) y iii). As solo falta probar que
e H e y la asociatividad en H . Como la ley asociatividad es vlida para G, es claro que tambin es
vlida para H , que es un subgrupo de G .
Si , a H e segn iii)
1
a H

e , usando ii) tenemos


1
e aa H

= e .
2 3: Est claro
3 2: Sea a H e . Por ii) se tiene
1
aa e H

= e , aplicando nuevamente ii ) a a y e tenemos


1
ea H

e , es decir,
1
a H

e .
O sea, H es cerrado bajo inverso ya que iii) es vlido.
Por ltimo, si , a b H e , tambin
1
, a b H

e y por ii ) nuevamente
1 1
( ) ab a b H

= e .
O sea, H es cerrado bajo producto y ii) es vlida. As, esta completa la demostracin del teorema.
Teorema: si G es un grupo. Si H G _ es no vaco, finito y cerrado bajo producto, entonces
H G s .
Demostracin: Por el teorema anterior, como H es no vaco y cerrado bajo producto, basta ver
que tambin es cerrado bajo inversos.
Sea a H e y sea ( ) o H n = el nmero de elementos de H . Supongamos que a H e , entonces
2
a aa H = e ,
3 2
a a a H = e ,,
1
,
n n
a H a H
+
e e .
Pero tenemos slo n elementos de H , luego por lo menos dos de ellos tienen que ser iguales,
digamos
i k
a a = .
Para cierto nmeros 1 1 i k n s < s + , o bien 0 1 1 k i n s s + . Si desde
i k
a a = cancelamos i
veces a a , obtenemos
k i
e a

= .
Si 0 1 k i <
1 1 1 1 k i k i
a ea a a a H

= = = e
Si 1 0 k i =
k i
a a e

= = . Por lo tanto
1
a e a H

= = e .
Luego H es cerrado bajo inverso.
Teorema: si para cada i I e ,
i
H es un subgrupo del grupo G , entonces
i
i I
H H G
e
= s .
Demostracin: es claro que H | = , ya que para todo i I e ,
i
e H e , luego . e H e
Si , x y H e , entonces ,
i
x y H e i I e , luego
1
i
xy H i I

e e , luego
1
xy H

e . Entonces
tenemos que H es un subgrupo de G .
Observacin: Sea G un grupo y X G _ ( X no necesariamente subgrupo de G ). Entonces
{ : }
i i
i I
H H G X H
e
= s c es un subgrupo de G que obviamente contiene a X , este es el
subgrupo ms pequeo que contiene a X , ya que si suponemos que existe K tal que
K H X K c . c K G . s , por la definicin de H , se tiene H K c , contradiciendo la
suposicin.

Definicin: Sea X un subconjunto del grupo G , definimos el subconjunto generado por X
como el menor subgrupo de G que contiene a X .
Observacin: En general la unin de subgrupos no es un subgrupo, por ejemplo, sea
6
( , ) G = +
, {[0],[2],[4]} H = y {[0],[3]} K = .Claramente H y K son subgrupos de G . Sin embargo
{[0],[2],[3],[4]} H K = no es un subgrupo, pues
[2] [3] [5] H K + = e

Definicin: Sea G un grupo, H es un subgrupo de G ; para , a b G e decimos que a es
congruente con b mdulo H si
1
ab H

e . Lo escribiremos como (m d ) a b H
Lema: la relacin (m d ) a b H es una relacin de equivalencia
Demostracin:
Sea , , a b c G e
a) reflexiva : como H es un subgrupo, e H e , as
1
aa H

e , entonces (m d ) a a H
b) simetra: sea (m d ) a b H , o equivalentemente
1
ab H

e , como H es un subgrupo,
entonces
1 1
( ) ab H

e , es decir,
1
ba H

e , es decir (m d ) b a H
c) transitividad: sea (m d ) a b H y (m d ) b c H , equivalentemente
1
ab H

e y
1
bc H

e , entonces ,
1 1 1 1 1 1
( )( ) ( ) ab bc a b b c aec ac H

= = = e .
(m d ) a c H .
Definicin: Sea H un subgrupo de G y a G e entonces { : } Ha ha h H = e . A Ha se le llama
clase lateral derecha de H en G .
Lema: a G e
{ : (m d )} Ha x G a x H = e
Demostracin: primero demostraremos [ ] Ha a c . Sea h H e ,
1 1 1 1 1 1
( ) ( ) ( ) a ha a a h aa h h

= = = . As ,
1
( ) a ha H

e (pues H G s ), o en su forma
equivalente (m d ) a ha H , es decir [ ] ha a h H e e , luego [ ] Ha a c .
Ahora demostraremos[ ] a Ha c . Sea [ ] x a e . Por definicin se obtiene
1
ax H

e , entonces
1 1 1
( ) ax xa H

= e , es decir
1
xa h

= para algn h H e . Multiplicando por la derecha esta


ltima identidad por a , se obtiene x ha = , luego x Ha e . Por lo tanto [ ] a Ha c .
Observacin: dos clases laterales derechas de H en G o son idnticas o no tienen elemento
comn alguno.
Lema: hay una correspondencia biyectiva entre dos clases laterales derechas de H en G .
Demostracin: Dicha correspondencia biyectiva es
:
( )
Ha Hb
ha hb
|
|

=

Claramente es sobre en Hb . Probemos la inyectividad , sea
1 2
( ) ( ) h a h a | | = , entonces
1 2
hb h b = ,
multiplicando por la derecha por
1
b

resulta,
1 2
h h = , por lo tanto
1 2
h a h a = .
Teorema: Teorema de Lagrange.
Si G es un grupo finito y H G s , entonces ( ) | ( ) o H o G
Demostracin: El lema anterior aplicado a H cuando es un subgrupo finito, implica que dos clases
laterales derechas de H tiene el mismo nmero de elementos. Observe que H He = , es una
clase lateral derecha de H , luego toda clase lateral derecha de H en G tiene ( ) o H elementos.
Supongamos ahora que G es un grupo finito y sea k el nmero de clases laterales derechas
distintas de H en G . Dos clases laterales derechas distintas de H en G no tienen ningn
elemento comn, y cada una de ellas tiene ( ) o H elementos.
Como cualquier a G e sta en nica clase lateral derecha Ha , la unin de todas las clases
laterales derechas es G .Luego ( ) ( ) ko H o G = , es decir, ( ) | ( ) o H o G .
Definicin: H es un subgrupo de G , el ndice de H en G es el nmero de distintas clases
laterales derechas H en G .
Representaremos al ndice de H en G por ( )
G
i H . Si G es un grupo finito
( )
( )
( )
G
o G
i H
o H
= .
Observacin: el recproco del teorema de Lagrange es falso.
Teorema: El conjunto { : }
n
x x n < >= e es un subgrupo de G
Demostracin: como
0
x e = , entonces 0 x < >= . Como
i j i j
x x x
+
= , el producto de dos
elementos del conjunto est en el conjunto y por lo tanto x < >es cerrado . Finalmente, para
n
x ,
consideramos
n
x

. Luego
n n
x x e

= , es decir, es cerrado bajo inverso. Por lo tanto


{ : }
n
x x n < >= e es un subgrupo de G .
Definicin: el subgrupo x < > lo llamaremos subgrupo cclico de G generado por uno de sus
elementos x y diremos que x es un generador de x < >.
Si x G < >= diremos que G es un grupo cclica generada por x .
Definicin: Si G es un grupo y x G e , el orden( o periodo) de x es el entero positivo mnimo n tal
que
n
x e = .
Si no existe tal entero diremos que x es de orden infinito. ( ) o x Indica el orden de x .
Ejemplo: , n n =< >y
n
son grupos cclicos, los dos primeros infinitos y el otro finito.
Corolarios del teorema de Lagrange.
Corolario 1: Si G es un grupo finito y a G e , entonces ( ) | ( ) o a o G .
Demostracin: sea a G e y a < > afirmamos que el orden de este subgrupo es ( ) o a . Observe
que ( ) o a es finito, pues si es infinito, el subgrupo cclico a < >debe ser infinita, pero a G < >s y
G es finito, llegando a una contradiccin. Claramente, como
( ) o a
a e = , a < > tiene a lo ms
( ) o a elementos. Supongamos que tiene un nmero de elementos menor que ( ) o a , entonces
i j
a a = para algunos enteros 0 ( ) i j o a s < < . De donde
j i
a e

= , con 0 ( ) j i o a < < lo que


contradice el significado de ( ) o a . As pues, el subgrupo cclico generado por a tiene ( ) o a
elementos, de donde, segn el teorema de Lagrange ( ) | ( ) o a o G .
Corolario 2: Si G es un grupo finito y a G e , entonces
( ) o G
a e = .
Demostracin: por corolario 1, ( ) | ( ) o a o G , luego ( ) ( ) o G mo a = . Por lo tanto,
( ) ( ) ( )
( )
o G mo a o a m m
a a a e e = = = = .
Definicin: Para ne , se define la funcin de Euler | como:
(1) 1 | =
y para 1 n >
( ) #{ : ( , ) 1} n m m n m n |
+
= e < . =
Donde # es la cardinalidad de un conjunto.
Ejemplo: (8) #{ : 8 ( ,8) 1} #{1, 3, 5, 7} 4 m m m |
+
= e < . = = =
Corolario 3(Euler): Si n es un entero positivo y a es primo con n , entonces ( )
( )
1 m d n
n
a
|
.
Demostracin: se puede probar que
*
{[ ] : ( , ) 1}
n n
a n a = e = es un grupo respecto a la
multiplicacin de
n
. Este grupo tiene claramente orden ( ) n | . Aplicando el corolario 2 al grupo
*
n
. Tenemos
( )
[ ] [1]
n
a
|
= , o su forma equivalente, ( )
( )
1 m d n
n
a
|
.
Corolario 4 (de fermat): Si p es un nmero primo y a es un entero cualquiera, entonces
( ) m d p
p
a a .
Demostracin: Sea p un nmero primo, entonces ( ) 1 p p | = . Si ( , ) 1 a p = , aplicando corolario
3, tenemos que ( )
1
1 m d p
p
a

, multiplicando trmino a trmino la congruencia anterior con


( ) m d p a a , conseguimos que ( ) m d p
p
a a . Ahora, si ( , ) 1 a p = , como p es primo,
debemos tener que | p a , equivalentemente, ( ) 0 m d p a , y multiplicando p -veces la
congruencia anterior junto con la transitividad de la congruencia modulo p ,obtenemos
( ) 0 m d p
p
a a .
Corolario 5: Si G es un grupo finito de orden primo p , entonces G es cclico.
Demostracin: Como G es un grupo finito de orden primo p , a G - e tal que a e = . Entonces
usando el teorema de Lagrange sobre H a =< >, el subgrupo cclico generado por a tiene orden
un divisor de p . Luego hay dos posibilidades:
i) ( ) o H p = , lo cual implica H G = y G es cclico generado por a
ii) ( ) 1 o H = , y por lo tanto se tendra a e = , lo cual es imposible. Luego G es un grupo cclico.
Definicin: Sea G un grupo y , H K subgrupos de G . Entonces el producto de H y K , se define
por: { : } HK hk h H k K = e . e
Observacin: el producto de dos subgrupos no es un subgrupo en general. Afortunadamente,
existe un criterio muy til, para determinar cuando esto es cierto.
Teorema: Sea G un grupo. Entonces HK es un subgrupo de G si y slo si HK KH =
Demostracin: Sea HK KH = y sean
1 2
, h h H e Y
1 2
, k k K e . Luego debemos probar:
i)
1 1 2 2
( )( ) h k h k HK e
ii)
1
1 1
( ) h k HK

e
Para probar i) observemos que
1 2
k h KH HK e = , luego existe
3
h ,
3
k tal que
1 2 3 3
k h h k = , por lo tanto
1 1 2 2 1 1 2 2 1 3 3 2 1 3 3 2
( )( ) ( ) ( ) ( )( ) hk h k h k h k h h k k hh k k HK = = = e
Para probar ii) vemos que
1 1 1
1 1 1 1
( ) h k k h KH HK

= e = .
Recprocamente, si HK es un subgrupo de G probaremos que HK KH = .

En efecto, sea kh KH e . Observemos que
1 1
h k HK

e , como HK es un subgrupo de G se
tiene que
1 1 1
( ) h k HK

e , entonces
1 1 1
( ) kh h k HK

= e . Luego KH HK _ .

Para demostrar la inclusin en el otro sentido, sea x HK e ; entonces
1
x hk HK

= e ,
luego
1 1 1 1 1
( ) ( ) x x hk k h KH

= = = e .
Por lo tanto hemos demostrado HK KH _ .
Teorema: Si H y K son subgrupos finitos de G de rdenes ( ) o H y ( ) o K respectivamente,
entonces
( ) ( )
( )
( )
o H o K
o HK
o H K
=


Demostracin: Sea ( ) o H m = , as
0
i
i m
HK Hk
s s
= , donde
i j
Hk Hk | = , i j = (recuerde las
clases laterales derechas son disjuntas). Dado que ( ) ( )
i
o Hk o H = se tiene que el nmero de
clase derechas de H en HK es m y
1
1 2 1 2
Hk Hk k k H K

= e
1 2
( ) ( ) H K k H K k =
, esto implica que el nmero de clases laterales de H en HK es igual al nmero de clases
laterales derechas de H K en K , es decir,
( )
( )
( )
K
o K
i H K m
o H K
= =

, as
1 1
( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( )
m m
i
i i
o K o H o K
o HK o Hk o H o H m o H
o H K o H K
= =
= = = = =