Teora de grupos

Teora de grupos
Jeanneth Galeano Pealoza

Universidad Nacional de Colombia

Segundo semestre de 2016

Teora de grupos

Operacin Binaria
Sea G un conjunto no-vaco. Una operacin binaria o ley de
f : G G G
composicin en G es una funcin
(x , y ) 7 f (x , y )
Ejemplo 1.
Considere tres cajas y reparta los nmeros enteros de manera
ordenada

6
3

5
2

4
1

[0]

[1]

[2]

Teora de grupos

Definimos el conjunto Z3

Z3 := {0, 1, 2},
que tambin se conoce como un conjunto completo de residuos
mdulo 3.
Definimos una operacin binaria en este conjunto.
+
0
1
2

Teora de grupos

Ejemplo 2
Consideremos el conjunto completo de residuos mdulo 5

Z5 := {0, 1, 2, 3, 4}
+
0
1
2
3
4

Teora de grupos

Ejemplo 3
Sea E = {e , a }. Cuntas operaciones binarias se pueden definir
sobre E?
e

e
a

* El nico elemento idempotente es el neutro.

Teora de grupos

Ejemplo 4
Son leyes de composicin interna?
1

En Z

a b = ab + 1

En Z

a 4 b = mn {a , b }

En Z

ab =

En Q

a?b =

En

ab =

a
b

a
b
a
b

Teora de grupos

Ejemplo 5
Consideremos un tringulo equiltero cuyos vrtices estn
marcados, y consideremos los siguientes movimientos.
Rotaciones
3

0 = id

Reflexiones
2

r1

r2

r3

Teora de grupos

Definimos una composicin entre estos movimientos as:

1 2

(primero aplica 2 ).

2
1

1
3

= 1 2 = 0
Por ejemplo, para encontrar r2 1 tenemos
3

r2 1
1

r2
3

Ejercicio Construir la tabla completa.

= r3
2

Teora de grupos

Tabla del grupo simtrico S3

0
1
2

0
0
1
2

1
1
2
0

r1
r2
r3

r1
r2
r3

r2
r3
r1

2
2
0
1
r3
r1
r2

r1
r1
r3
r2

r2
r2
r1
r3

r3
r3
r2
r1

0 1 2
2 0 1
1 2 0

S3 = {0 , 1 , 2 , r1 , r2 , r3 }

identidad

Teora de grupos

Definicin
Un grupo es una pareja (G , +) donde G es un conjunto no-vaco y

+ : G G G
(u, v ) 7 u + v
es una operacin binaria tal que
1

es asociativa a + (b + c ) = (a + b ) + c

existe un elemento e que acta como neutro

a + e = e + a = a a G

todo elemento a G tiene inverso

Si adems la operacin es conmutativa diremos que el grupo es

abeliano
* Si (S , +) cumple (1) semigrupo
* Si (M , +) cumple (1) y (2) Monoide

Teora de grupos

Ejemplo 6

(N, +) monoide
(N , +) semigrupo
(Z, +) grupo
(Z3 , +)
(Z5 , +)
(N, ) monoide multiplicativo
(Z, )
(Z3 , )
(Z5 , )

Teora de grupos

Ms ejemplos

(nZ, +)

(C, +)

(C, )

(Q, +)

(C , )

(S3 , )

(Q , )

(Z, )

{e }

(R, +)

(Q, )

(R , )

(R, )

(Mn (R), +) matrices n n con coeficientes en R.

(GLn (R), +) invertibles.

Teora de grupos

Ejercicios

Sea (G , ) un semigrupo conmutativo, entonces

(a b )n = a n b n .
2

El neutro de un grupo es nico.

El inverso de a en el grupo (G , ) es nico.

Teora de grupos

Propiedades de un grupo
1

En un grupo slo hay un elemento identidad.

Sea (G , ) un grupo, x G el inverso de x es nico.

Se tiene la ley cancelativa

x z = y z = x = y
z x = z y = x = y

Sean a , b G. Las ecuaciones lineales

ax =a
za =b
tienen nica solucin.

5
6

(a 1 )1 = a a G.
(a b )1 = b 1 a 1 .

Teora de grupos

Teorema
Sea (G , ) un conjunto con una ley de composicin interna
asociativa. G es un grupo sii
(i) e 0 G tal que a e 0 = a

a G

(ii) Para cada a G existe y G tal que a y = e 0 .

Demostracin.
Hay que demostrar que
y a = e0
e0 a = a

Teora de grupos

Teorema
Sea (G , ) un conjunto con una ley de composicin interna
asociativa.
G es un grupo sii las ecuaciones a x = b ,
y a = b tienen
solucin a , b G.
Demostracin.

() asociativa
hay elto neutro?
hay inversos?


Teora de grupos

Orden
Sea (G , ) un grupo. El orden del grupo es el cardinal del conjunto
G.
finito clasificar!

(G ) = |G |
|G | = 1

G = {e }.

|G | = 2

G = {e , a }

e
a

infinito
e

e
a

Conmutativo X
Todo elemento es su propio inverso X

Teora de grupos

Grupos de orden 2
Ejemplo
Races cuadradas de la unidad

-1

1
-1

Z2
+
0
1

Teora de grupos

Grupos de orden 3

* |G | = 3
G = {e , a , b }
Cmo es la tabla?

e
a
b

e
e
a
b

a
a

b
b

Puede haber repeticiones en filas y columnas?

Cmo es la tabla de Z3 ?

Teora de grupos

Grupos de orden 3
Cmo es la tabla de las races cbicas de la unidad?
x 3 = 1.
r1 = 1
2i
2
2
+ i sen
=e 3
3
3
4i
4
4
r3 = cos
+ i sen
=e 3
3
3

r2 = cos

r1
r2
r3

r1

r2

r3

Teora de grupos

Grupos de orden 4

|G | = 4,

G = {e , a , b , c }

e
a
b
c

e
e
a
b
c

a
a

b
b

c
c

Qu grupos de 4 elementos conocemos?

Teora de grupos

Grupos de orden 4
* Z4
0

0
1
2
3
* Simetras de un cuadrado ?
y
4

Teora de grupos

Grupos de orden 4
* Movimientos de un rectngulo
y
4

1 2 3 4
0 :
,
1 2 3 4

rx :

1 2 3 4
,
4 3 2 1

Cmo es la tabla?

1 2 3 4
3 4 1 2

ry :

1 2 3 4
2 1 4 3

Teora de grupos

Grupos de orden 4

* Races cuartas de la unidad

* {1, 1, i , i }
* Cuarto grupo de Klein

Teora de grupos

Grupos de orden 5

* Z5
0
0
1
2
3
4

Teora de grupos

Teorema
Sea (G , ) un grupo no conmutativo, entonces |G | 6.
Demostracin
Existen a , b G tales que a b , b a entonces
G = {e , a , b , ab , ba , __}
Cul es el sexto elemento? Candidato: bab
Veamos que bab es diferente de los cinco primeros elementos.
si bab = e b (ab ) = e ab sera inverso de b

(b a ) b = e ba tambin
()

Teora de grupos

si bab = a (ba )(bb 1 ) = ab 1 (ba ) e = ab 1

si b 1 = b (ba ) = ab
si b
si b

()

= a (ba ) = a a b = a
= ab b b

()

= bab b (ab ) = e ()

si b 1 = ba igual
si bab = b ba = e

()

si bab = ab b = e

()

si bab = ba e = b

()

bab es distinto de los cinco elementos de la lista,

G = {e , a , b , ab , ba , bab , } |G | > 6.


Teora de grupos

Grupos de orden 6

Z6
S3 simetras del 4
Qu diferencias hay entre S3 y Z6 ?
Hay ms grupos de orden 6?