Teora de grupos

Teora de grupos

Ismael Gutierrez Garca

Universidad del Norte

Departamento de Matematicas y Estadstica

2017 - 30
Teora de grupos

Tabla de contenidos

Preliminares
Teora de grupos
Preliminares

Definition
Sea G un conjunto no vaco.
(1) Una operacion binaria f sobre G es una funcion
f G G G . Usualmente, en lugar de f (x, y ) escribimos
xy , x y , x y , x y , x + y , entre otras.
(2) Sea (x, y ) z x y una operacion binaria sobre G .
(a) Decimos que es asociativa, si para todo x, y , z G se
verifica que x (y z) = (x y ) z.
(b) Se dice que es conmutativa o abeliana, si para todo
x, y G se verifica que x y = y x.
(c) Un elemento e G se denomina modulo o elemento
identidad a izquierda, si para todo x G se tiene que
e x = x. Similar se define modulo o elemento identidad a
derecha. Si e G es elemento identidad a izquierda y a derecha,
entonces lo llamamos simplemente un elemento identidad.
Teora de grupos
Preliminares

Definition
Sea G un conjunto no vaco.
(1) La pareja (G , ) se denomina un magma.
(2) Un magma (G , ) se denomina semigrupo, si es asociativa.
(3) Un semigrupo (G , ) es llamado un monoide, si admite un
elemento identidad.
Teora de grupos
Preliminares

Examples
(1) (N, +) es un semigrupo conmutativo y (N, ) es un monoide
conmutativo.
(2) Sea N0 = N {0}. Entonces (N0 , +) y (N0 , ) son monoides
conmutativos.
(3) Sean X un conjunto no vaco y G = P(X ) su conjunto
potencia, entonces (G , ) y (G , ) son monoides
conmutativos.
(4) Sobre el conjunto Q de los numeros racionales definamos la
siguiente operacion binaria: x y = x + y + xy . Entonces
(Q, ) es un monoide conmutativo.
(5) Sean X un conjunto no vaco y G = Fun(X ) el conjunto de
todas las funciones de X en X . Entonces (G , ) es un
monoide, que en general no es conmutativo.
Teora de grupos
Preliminares

Examples
(6) Sea K un cuerpo. Entonces (K [x], +) y (K [x], ), donde K [x]
denota el conjunto de los polinomios con coeficientes en K ,
son monoides conmutativos.
(7) Sean n N y Mat(n, R) el conjunto de todas las matrices de
tamano n n con entradas en R. Entonces (Mat(n, R), +) y
(Mat(n, R), ) son monoides con elemento identidad.
Teora de grupos
Preliminares

Lemma
Sea (G , ) un magma. Si e G es un elemento identidad a
izquierda y e G es un elemento identidad a derecha, entonces
e = e . En particular se tiene que existe a lo mas un elemento
identidad en G .

Definition
Sea (G , ) un monoide y x G . Decimos que x es invertible a
izquierda, si existe y G tal que y x = e, y que es invertible
a derecha, si existe z G tal que x z = e. En el primer caso se
dice que y es un inverso a izquierda de x, y en el caso segundo,
que z es un inverso a derecha. Se dice que x es invertible, si lo
es a izquierda y a derecha.
Teora de grupos
Preliminares

Lemma
Sean (G , ) un monoide y x G . Si y G es un inverso a izquierda
de x y z G es un inverso a derecha de x, entonces y = z.

Remarks.
(1) En un monoide (G , ) el elemento identidad es usualmente
denotado con 1. Si es conmutativa, entonces usamos
siempre + en lugar de y en este caso el elemento identidad
se nota con 0.
(2) Si x G es invertible, entonces notamos su unico inverso con
x 1 . En el caso aditivo escribimos x.
Teora de grupos
Preliminares

Lemma
Sean (G , ) un monoide y x, y G .
(1) Si x es invertible, entonces x 1 tambien lo es y ademas
(x 1 )1 = x
(2) Si x y y son invertibles, entonces x y tambien lo es y su
inverso es y 1 x 1
(3) El elemento identidad 1 es invertible y 11 = 1.

Lemma (Leyes de cancelacion)

Sean (G , ) un monoide, x, y G y a G invertible. Entonces
(1) Si a x = a y , entonces x = y
(2) Si x a = y a, entonces x = y .
Teora de grupos
Preliminares

Definition
Sean (G , ) un monoide, g G y n N0 . Definimos
recursivamente la n-esima potencia de g , notada en caso
multiplicativo con g n o en caso aditivo con ng de la siguiente
manera: g 0 = 1 y g n = g n1 g , para n 1. Si g es invertible,
definimos entonces g n = (g n )1 , para n < 0. En el caso abeliano
se tiene que g 0 = 0 y ng = (n 1)g + g , para n 1. Si g es
invertible, entonces ng = ((n)g ), para n < 0.
Teora de grupos
Preliminares

Theorem
Sean (G , ) un monoide y g G . Para n, m N0 se cumple:
(1) g m g n = g m+n = g n g m
(1) mg + ng = (m + n)g = ng + mg (notacion aditiva)
(2) (g ) = g m n mn

(2) n(mg ) = (mn)g (notacion aditiva).

Si g es invertible, entonces estas afirmaciones son validas para
todo m, n Z.
Proof.
Se deja como ejercicio. Use induccion matematica.
Remark.
No es usual escribir a lo largo del curso el smbolo para denotar
una operacion binaria asociativa. A partir de ahora usamos la
yuxtaposicion y la llamamos producto. Es decir, en lugar de x y
escribimos implemente xy .
Teora de grupos
Preliminares

Definition
Sean G un monoide y U G . Decimos que U es un
submonoide de G , si U es cerrado bajo el producto de G y 1 U.
Es decir, para todo x, y U se verifica que xy U. Es claro que U
es tambien un monoide. Siempre se cumple que {1} y G son
submonoides de G . Estos son sus submonoides triviales. Si
U G , entonces decimos que U es un submonoide propio de G .

Lemma
Sea {Uj }jJ una familia de submonoides de un momnoide G .
Entonces jJ Uj es un submonoide de G .
Teora de grupos
Preliminares

Definition
Sean G un monoide y X G . La interseccion de los submonoides
de G que contienen a X es denominada el submonoide de G
generado por X y se nota con X . Si G = X , entonces decimos
que X genera a G y X es un sistema de generadores para G .
Si X es finito, digamos M = {x1 , . . . , xk } y genera a G , entonces G
se dice finitamente generado y escribimos G = x1 , . . . , xk en
lugar de G = {x1 , . . . , xk }. Si G = g , para algun g G , entonces
G se llama cclico.

Remark.
Dado que X es una interseccion de submonoides, se sigue que
X es un submonoide de G y si U es un submonoide cualquiera de
G que contiene a X , entonces X es un submonoide de U, por lo
tanto X es el submonoide mnimo de G que contiene a X .
Teora de grupos
Preliminares

Theorem
Sea G un monoide y X G . Entonces
(1) X = {x1n1 xknk k N0 , xi X , ni N0 }
(1) X = {n1 x1 + + nk xn n N0 , xi X , ni N0 }. (Not. aditiva)
(2) Si en particular X = {x}, entonces X = {x n n N0 }. En
notacion aditiva se tiene que X = {nx n N0 }.

Definition
Sean G un monoide y U, V G . Definimos y notamos el
producto complejo entre U y V de la siguiente manera

UV = {uv u U, v V }.

Si g G , entonces escribimos gU y Ug en lugar de {g }U y U{g }

respectivamente Estos conjuntos se denominan clase lateral
izquierda respectivamente derecha de g con respecto a U.
Teora de grupos
Preliminares

Lemma
Sean G un monoide y U, V , W G . Entonces
(1) UV U V
(2) Si 1 U V , entonces U V UV
(3) Si U, V y UV son submonoides de G , entonces UV = U V
(4) U(VW ) = (UV )W
(5) Si U V , entonces UW VW y WU WV
(6) Si G es abeliano, entonces UV = VU. Note que de UV = VU,
no necesariamente se sigue que uv = vu para todo u U y
v V
(7) Si X U G , entonces XU = UX = U. En particular se
tiene que UU = U y uU = Uu = U, para todo u U.

Proof.
Se deja como ejercicio.
Teora de grupos
Preliminares

Lemma
Sean G un monoide y U, V G . Entonces UV es un submonoide
de G si y solo si VU UV .
Teora de grupos
Preliminares

Grupos y subgrupos

Definition
Un monoide G en el que todos sus elementos son invertibles se
denomina un grupo. Si ademas la operacion binaria definida sobre
G es conmutativa, entonces G se llama un grupo abeliano. Si G
es un conjunto finito, entonces el numero de elementos de G lo
llamamos orden de G y lo notamos con G .
Teora de grupos
Preliminares

Examples
(1) (Z, +), (Q, +), (R, +), (C, +), (Q , ), (R , ) y (C , ) son
grupos.
(2) El conjunto Mat(n, R) de las matrices de tamano n n con
entradas reales es un grupo abeliano con la suma usual de
matrices.
(3) El conjunto GLn (C) de las matrices invertibles de tamano
n n con entradas complejas es un grupo con respecto a la
multiplicacion usual de matrices y lo llamamos grupo lineal
general de grado n sobre C.
Teora de grupos
Preliminares

Example
Similar podemos considerar el grupo GLn (Zp ) con p un numero
primo. Es usual escribir GLn (p) en lugar de GLn (Zp ). Si
n = p = 2, entonces


1 0 1 1 0 1 1 0 0 1 1 1
GL2 (2) = ( ), ( ), ( ), ( ), ( ), ( ) .

0 1 0 1 1 1 1 1 1 0 1 0


Note que

1 1 0 1 1 0 0 1 1 1 0 1
( )( )=( ) y ( )( )=( ),
0 1 1 1 1 1 1 1 0 1 1 0

con lo cual se tiene que GL2 (2) es un grupo no abeliano de orden

6.
Teora de grupos
Preliminares

Example (El grupo simetrico de grado n)

El conjunto de las biyecciones de un conjunto no vaco X en si
mismo, notado con Sym(X ), es un grupo con respecto de la
composicion de funciones. Este grupo se denomina grupo de
permutaciones de X . Un caso especial se tiene cuando
X = {1, . . . , n}. Entonces escribimos Sym(n) y hablamos del
grupo simetrico de grado n.
Una representacion usual para Sym(n) es la siguiente:

1 2 n
=( ) (1)
(1) (2) (n)
Teora de grupos
Preliminares

(1) Si n = 2, entonces Sym(2) tiene dos elementos y estan dados

por
1 2 1 2
1 = ( ) y 2 = ( )
1 2 2 1
(2) Si n = 3, entonces Sym(3) tiene seis elementos. Estas son:
1 2 3 1 2 3 1 2 3
1 = ( ), 2 = ( ), 3 = ( )
1 2 3 1 3 2 3 2 1

1 2 3 1 2 3 1 2 3
4 = ( ), 5 = ( ), 6 = ( ).
2 1 3 2 3 1 3 1 2
Sea Sym(n). Si existe A = {a1 , . . . , ak } X tal que (a1 ) = a2 ,
(a2 ) = a3 , . . ., (ak1 ) = ak , (ak ) = a1 y (x) = x para todo
x X A, entonces decimos que es un k-ciclo o un ciclo de
longitud k. Escribimos
= (a1 , a2 , , ak1 , ak ).
Teora de grupos
Preliminares

Usando la notacion de k-ciclos tenemos:

(1) Sym(2) = {(1), (12)}.
(2) Sym(3) = {(1), (23), (13), (12), (123), (132)}.
Note que 4 3 = 6 y 3 4 = 5 . En consecuencia Sym(3) no es
abeliano.
Teora de grupos
Preliminares

Example (El grupo de isometras de un rectangulo o 4-grupo

de Klein)
Una transformacion isometrica, o simplemente una isometra, de un
rectangulo es un movimiento que deja fija la figura. Es decir con el
movimiento, no se alteran ni la forma ni el tamano del rectangulo.

2 3

x
1 4

Figure: Isometras de un rectangulo

Teora de grupos
Preliminares

Las isometras que fijan el rectangulo son:

La identidad: 1
La simetra con respecto al eje x: g = (12)(34)
La simetra con respecto al eje y : h = (14)(23)
La simetra con respecto al centro: k = (13)(24)

La composicion de dos isometras que fijan el rectangulo es una

isometra que fija el rectangulo. Entonces el conjunto
G = {1, g , h, k} y la composicion es un grupo. Este grupo es
usualmente llamado 4-grupo de Klein y se nota con V4 . Su
tabla de multiplicacion se muestra a continuacion.
1 g h k
1 1 g h k
g g 1 k h
h h k 1 g
k k h g 1
Teora de grupos
Preliminares

Remarks.
Es posible debilitar la definicion de grupo de la siguiente manera:
(1) Un monoide G es un grupo, si y solo si para todo par de
elementos a, b G existen unicos x, y G tales que ax = b y
ya = b.
(2) Un semigrupo G es un grupo si y solo si tiene un elemento
identidad a izquierda e, y para todo g G existe h G tal que
hg = e.
Teora de grupos
Preliminares

Definition
Sea G un grupo y g G . El orden de g se define como el numero
natural mas pequeno n, si existe, tal que g n = 1. Si tal numero
existe, lo notamos con ord(g ), en caso contrario decimos que g
tiene orden infinito.

Examples
(1) Si G es un grupo finito, entonces todos sus elementos tienen
orden finito
(2) Sea G = Sym(3). Entonces, ord((12)) = 2
(3) Para todo 0 g Z se verifica que ord(g ) =
(4) En V4 se verifica que todos sus elementos distintos de 1 tienen
orden 2.
Teora de grupos
Preliminares

Subgrupos

Definition
Un submonoide U de un grupo G es llamado un subgrupo de G ,
notado tambien U G , si al restringir la operacion de G al
conjunto U se verifica que U es un grupo. Si U es un subgrupo de
G y U G , entonces decimos que U es un subgrupo propio de
G y lo notamos con U < G . Un subgrupo propio U de G se llama
maximal en G , si de U < V G , se sigue que V = G . En este caso
escribimos U < G .
Teora de grupos
Preliminares

Theorem (Un criterio para subgrupos)

Sean G un grupo y U G . Las siguientes afirmaciones son
equivalentes
(1) U G
(2) Para todo x, y U, se verifica que xy U y x 1 U
(3) Para todo x, y U, se verifica que x 1 y U
(4) Para todo x, y U, se verifica que xy 1 U.
Teora de grupos
Preliminares

Examples
(1) Sea G un grupo. Entonces siempre se cumple que {1} y G son
subgrupos de G . Estos son sus subgrupos triviales.
(2) Z Q, Q R y R C con respecto a la suma; Q R y
R C con respecto a la multiplicacion.
(3) Se verifica que SLn (K ) GLn (K ).
(4) Los subgrupos de (Z, +) son de la forma nZ, con n N0 fijo.

Remark.
Sean m, n N. Note que nZ mZ m n.
En consecuencia los subgrupos maximales de Z son de la forma
pZ, con p un numero primo.
Teora de grupos
Preliminares

Lemma
Sea {Uj }jJ una familia de subgrupos de un grupo G . Entonces
jJ Uj es un subgrupo de G .
Lemma
Sean U y V subgrupos de un grupo G . Entonces U V G si y
solo si U V o V U.

Remark.
Consideremos el grupo (Z, +). Note que no obstante 2Z y 3Z son
subgrupos de Z

2Z 3Z = {0, 2, 3, 4, . . .}

no es un subgrupo de Z. En efecto, 2 + 3 = 5 (2Z 3Z).

Teora de grupos
Preliminares

Lemma (Un criterio para subgrupos finitos)

Todo monoide finito U de un grupo G es un subgrupo de G .

Remark.
Observe que (N, +) es un monoide en (Z, +) y no es un subgrupo.
Es decir, la condicion de ser un conjunto finito es de gran
importancia.
Teora de grupos
Preliminares

Las n-esimas races complejas de la unidad I

Sea n N y denotemos con U(n) el conjunto de las n-esimas races
complejas de la unidad. Esto es,

U(n) = {z C z n = 1}
= {nk k = 0, 1, . . . , n 1},

donde n = e i2/n . Dado que 1 U(n), se tiene que U(n) es no

vaco y finito.
Demostramos ahora que U(n) es cerrado bajo la multiplicacion.
Sean a, b U(n). Entonces

(ab)n = an b n = 1.

Entonces se tiene que U(n) es un semigrupo finito. Usando el

lema anterior se sigue que (U(n), ) (C , ).
Teora de grupos
Preliminares

Las n-esimas races complejas de la unidad II

Geometricamente podemos visualizar los elementos de U(n) como

los vertices de un polgono regular de n lados. Ilustramos a
continuacion los casos n = 4 y n = 8.
Teora de grupos
Preliminares

Las n-esimas races complejas de la unidad III

y

2
3
4 4

0 x

5 7
4 4
3
2
Teora de grupos
Preliminares

Definition
Sean G un grupo y X G . La interseccion de los subgrupos de G
que contienen a X es denominada el subgrupo de G generado por
X y se nota con X . Si G = X , entonces decimos que X genera
a G y X es un sistema de generadores para G . Si X es finito,
digamos M = {x1 , . . . , xk } y genera a G , entonces G se dice
finitamente generado y escribimos G = x1 , . . . , xk en lugar de
G = {x1 , . . . , xk }. Si G = g , para algun g G , entonces G se
llama cclico.
Teora de grupos
Preliminares

Ahora demostramos que los elementos de X pueden verse como

palabras que pueden formarse tomando como alfabeto al conjunto
X.
Theorem
Sea G un grupo y X G . Entonces
(1) X = {x1n1 xknk k N, xi X , ni Z}
(1) X = {n1 x1 + + nk xn n N, xi X , ni Z}. (En notacion
aditiva)
(2) Si en particular X = {x}, entonces X = {x n n Z}. En
notacion aditiva se tiene que X = {nx n Z}.
Teora de grupos
Preliminares

Remarks.
Sean G un grupo y X G .
(1) Dado que X es una interseccion de subgrupos, se sigue que
X es un subgrupo de G y si U es un subgrupo cualquiera de
G que contiene a X , entonces X es un subgrupo de U, por
lo tanto X es el subgrupo mnimo de G que contiene a X .
(2) En general el submonoide generado por X es un subconjunto
del subgrupo generado por X . Por ejemplo, considere el grupo
aditivo Z y X = N. Entonces el submonoide generado por X es
N0 , mientras que el subgrupo generado por X es todo Z.
(3) En general si todos los elementos de X tienen orden finito,
entonces los dos generados coinciden.
Teora de grupos
Preliminares

Examples
Sean G un grupo y U G .
(a) = {e} = e.
(b) U = U.
(c) (Z, +) es un grupo cclico. Z = 1 = 1
(d) Para el grupo de las races n-esimas complejas de la unidad
U(n) se verifica que U(n) = n .
(e) Para el 4-grupo de Klein V = {e, g , h, k} se verifica que

V = g , h = g , k = h, k.

Es decir, V es finitamente generado, pero no es cclico.

(e) Sym(3) = (12), (123).
Teora de grupos
Preliminares

Definition
Sea U un subconjunto no vacos de un grupo G . Definimos

U 1 = {u 1 u U}.

Lemma
Sean G un grupo y U, V G . Entonces
(1) (U 1 )1 = U.
(2) Si U G , entonces U 1 = U.
(3) (UV )1 = V 1 U 1 .
Teora de grupos
Preliminares

Remark.
Sean U y V subgrupos de un grupo G . No necesariamente
UV G . Por ejemplo, si G = Sym(3), U = {(1), (23)} y
V = {(1), (13)}, entonces UV = {(1), (23), (13), (123)} G .

Theorem
Sean G un grupo y U, V G . Entonces
(1) UV G si y solo si UV = VU.
(2) Si UV = VU, entonces UV = U V . Escribimos simplemente
UV = U, V .

Lemma (Identidad de Dedekind)

Sean G un grupo y U, V , W G , con V U. Entonces

U VW = V (U W ).
Teora de grupos
Preliminares

Demostramos en esta seccion que dado un grupo finito G y U G ,

siempre se verifica que el orden de U divide al orden de G .
Lemma
Sean G un grupo, U G y g , h G . Entonces
(1) gU = hU si y solo si g 1 h U
(2) gU = U si y solo si g U
(3) gU = hU si y solo si gU hU
(4) G = g G gU y dos clase laterales gU, hU son iguales o son
disjuntas.
(5) gU = U = Ug , para todo g G .
(6) El conjunto de las clases laterales izquierdas de U en G y el
conjunto de las clases laterales derechas de U en G tienen el
mismo numero de elementos.
Teora de grupos
Preliminares

Remark.
Como consecuencia del lema anterior se tiene que siempre existe
una descomposicion de G en clases laterales disyuntas. Es decir,
existe T G tal que
G = gU (2)
g T

y ademas para todo g , h T con g h se verifica que gU hU = .

La particion (2) se denomina la descomposicion de G en clases
laterales con respecto a U. Tal conjunto T se denomina un
transversal izquierdo de U en G . De manera similar se
define un transversal derecho. Note que otra forma de decir
que T es un transversal izquierdo de U en G es la siguiente:
T G
G = TU
Para todo g , h T con g h se verifica que gU hU.
Teora de grupos
Preliminares

Definition
Sean G un grupo y U G . Si T es un transversal izquierdo finito
de U en G , entonces T se llama el ndice de U en G y lo
notamos con G U. Si el ndice no es finito, entonces escribimos
G U = .
Examples
(1) Si G es un grupo, entonces G G = 1 y G {1} = G
(2) Sean G = Sym(3) y U = {(1), (13)}. Es claro que U G . Si
g = (12) y h = (23), entonces gU = {(12), (132)} y
hU = {(23), (123)}. Entonces G = U gU hU y as
T = {(1), (12), (23)} es un transversal izquierdo de U en G .
Por lo tanto G U = 3. Note que gU Ug .
(3) Sea G = (Z, +) y U = nZ, con n Z. Entonces
T = {0, 1, . . . , n 1} es un transversal de U en G . Por lo
tanto Z nZ = n.
Teora de grupos
Preliminares

Theorem
Sean G un grupo y U G .
(a) Sea V U. Si T es un transversal izquierdo finito de U en G
y si S es un transversal izquierdo finito de V en U, entonces
TS es un transversal izquierdo finito de V en G y ademas

TS = T S y G V = G UU V .

(b) (Lagrange) G = G U U. En particular, si G es un grupo

finito, entonces U y G U son divisores de G .

Remark.
El teorema de Lagrange impone una restriccion al orden de todo
subgrupo de un grupo dado G . Por ejemplo el grupo Sym(3) solo
podra tener subgrupos de orden 1, 2, 3 y 6.
Teora de grupos
Preliminares
Teora de grupos
Preliminares

References I
J. F. Caicedo. Teoria de Grupos, Universidad Nacional de
Colombia, 2004.
J. Dixon. Problems in Group Theory, Courier Dover
Publications, 1973.
K. Doerk and T. Hawkes. Finite soluble groups, Berln;
New York : Walter de Gruyter, 1992.
D. Gorenstein. Finite groups, New York : Chelsea, 1980.
M. Hall Jr. Teoria de los grupos, Trillas, 1979.
P. Hall. A characteristic property of soluble groups, J.
London Math. Soc. 12, 1937.
I. Herstein. Algebra moderna, Bogota Limusa 1967.
Teora de grupos
Preliminares

References II

H. Hungerford. Algebra, GTM 73, Springer - Verlag 2003.

B. Huppert. Endliche Gruppen I, Springer - Verlag 1969.
H. Kurzweil and B. Stellmacher. The theory of finite
groups: an introduction, Springer - Verlag, 2004.
J. Rotman. An introduction to the Treory of Groups, Fourth
Edition, GTM 148, Springer - Verlag, New York, 1999.
D. J. S. Robinson. A Course in the Theory of Groups, 2nd
Edition, GTM 80, Springer - Verlag, 1996.
H. E. Rose. A Course on finite groups, Universitext -
Springer, 2009.
Teora de grupos
Preliminares

References III

J. S. Rose. A Course on Group Theory, Dover Publications,

1994.
W. R. Scott. Group Theory, Courier Dover Publications,
2010.
M. Suzuki. Group Theory I, Springer - Verlag, 1977.
G. Smith and O. Tabachnikova. Topics in group theory,
Springer - Verlag, 2000.