1

Teorı́a de Grupos
Docente: Wilson Mutis
Preliminares
1. Si G es un grupo, su cardinal |G| (finito o infinito) es el orden del
grupo. Por ejemplo, Z, Q, R y C son grupos de orden infinito. Para
toda n ∈ Z+ , el grupo Zn es finito de orden n y Sn es finito de orden
n!.

2. Sean G un grupo y a ∈ G. Si existe n ∈ Z+ tal que an = e, el orden

de a, denotado con |a|, se define por |a| = mı́n{n ∈ Z+ : an = e}. Si
an 6= e, para toda n ∈ Z+ , decimos que a es un elemento de orden
infinito (|a| = ∞).

3. En todo grupo G se tiene

|a| = 1, si y sólo si, a = e.

|a| = |a−1 |, para toda a ∈ G.

Teorema 1 (Grupo de unidades de un monoide) Si (G, ∗) es un mo-

noide con identidad e, entonces el conjunto U (G) = {a ∈ G : a es invertible}
con la operación ∗ es un grupo denominado Grupo de unidades del mo-
noide.

Ejemplo: El conjunto Z15 con la multiplicación módulo 15 es un monoide

con identidad 1 (Por qué?) y el grupo de unidades de Z15 es

U (Z15 ) = {1, 2, 4, 7, 8, 11, 13, 14}

Proposición 1 Si n ∈ Z+ , entonces Zn con la multiplicación módulo n es

un monoide con identidad 1, y el grupo de unidades de Zn es

U (Zn ) = {r : mcd(n, r) = 1}

Prueba: El hecho que Zn con la multiplicación módulo n sea un monoide

es consecuencia de la teorı́a de congruencias estudiada en el curso de Teorı́a
de Números. Resta probar que

U (Zn ) = {r : mcd(n, r) = 1}

Sea a ∈ U (Zn ), luego existe b ∈ Zn , tal que

ab = ab = 1
2

Entonces ab ∈ 1 = {nk + 1 : k ∈ Z}, ası́ que

ab = nk + 1, para algún k ∈ Z,
equivalentemente, ab + n(−k) = 1, con b, k ∈ Z, por lo tanto mcd(a, n) = 1.
Esto muestra que U (Zn ) ⊆ {r : mcd(n, r) = 1}. la otra contenencia no es
dificil de justificar y se deja como ejercicio.
Corolário 1 Para todo entero positivo n se tiene |U (Zn )| = ϕ(n), donde ϕ
denota la función phi de Euler.
Recuerde que 1 (Tabla de Cayley de un grupo finito) La tabla de Cay-
ley de un grupo finito es una matriz que describe cómo es la operación de
dicho grupo. Por ejemplo, S3 = {e, f, g, h, r, s}, donde
   
1 2 3 1 2 3
1. e = 4. h =
1 2 3 2 1 3
   
1 2 3 1 2 3
2. f = 5. r =
2 3 1 3 2 1
   
1 2 3 1 2 3
3. g = 6. s =
3 1 2 1 3 2
La tabla de Cayley de S3 es la siguiente
◦ e f g h r s

e e f g h r s

f f g e r s h

g g e f s h r

h h s r e g f

r r h s f e g

s s r h g f e

De la tabla de Cayley para S3 podemos observar que |f| = 3 porque

f3 = f2 ◦ f = g ◦ f = e,
dado que g = f−1 se tiene |g| = 3. Además, |h| = |r| = |s| = 2.
 3

Subgrupos
Definición 1 Sea (G, ∗) un grupo y sea H un subconjunto de G, con H 6= ∅.
Diremos que H es un subgrupo de G, si (H, ∗) es un grupo, es decir, si H
es un grupo con la operación binaria ∗ definida en G. Denotaremos que H
es un subgrupo de G con H ≤ G.

Ejemplos:

Observe que Z ≤ Q, de hecho tenemos la siguiente secuencia

Z ≤ Q ≤ R ≤ C.

2Z = {2k : k ∈ Z} es un subgrupo de Z. (Por qué?)

A = {2k + 1 : k ∈ Z} no es un subgrupo de Z. (Por qué?)

En todo grupo G se tiene {e} ≤ G (llamado subgrupo trivial) y G ≤ G

(llamado subgrupo impropio). Cualquier otro subgrupo de G diferente
de los subgrupos trivial e impropio se llamará subgrupo propio.

Teorema 2 (Test de subgrupo) Sea G un grupo y sea H un subconjunto

no vacı́o de G, tenemos

H ≤ G, si y sólo si, para cada par a, b ∈ H se cumple ab−1 ∈ H

Prueba: (⇒) trivial porque H con la operación binaria definida en G es

grupo. (⇐) La propiedad asociativa se cumple en H porque se cumple en
todo G. Ahora, sea a ∈ H, tomando b = a se tiene

e = aa−1 = ab−1 ∈ H,

es decir, e ∈ H, ası́ H tiene elemento neutro. Por otro lado, e, a ∈ H,

entonces
a−1 = ea−1 ∈ H.
Es decir, todo elemento en H tiene invertiso en H. Para terminar debemos
justificar que la operación definida en G es binaria en H, para esto sean
a, b ∈ H, por lo anterior b−1 ∈ H, luego

ab = a(b−1 )−1 ∈ H,

por lo tanto H ≤ G.
4

Observación 1 Si H ≤ G, entonces e ∈ H. Por lo tanto, dado un subcon-

junto A de un grupo G tal que e ∈
/ A, podemos concluir que A no es un
subgrupo de G.

Example 1 Para todo n ∈ Z se tiene nZ = {nk : k ∈ Z} ≤ Z.

En efecto, nZ 6= ∅. Ahora, tomando elementos nk, nt ∈ nZ, tenemos

nk − nt = n(k − t) ∈ nZ

Por lo tanto. nZ ≤ Z.
Example 2 Si G es un grupo abeliano, entonces

H = {a ∈ G : a2 = e} ≤ G.

En efecto, H 6= ∅ porque e ∈ H. Ahora, sean a, b ∈ H, se tiene a2 = b2 = e.

Luego
b = b2 b−1 = eb−1 = b−1 ,
entonces
(ab−1 )2 = (ab)2 = (ab)(ab) = a2 b2 = ee = e.
Por lo tanto, ab−1 ∈ H.
Example 3 Sean G un grupo abeliano y n ∈ N. Probar que los siguientes
conjuntos son subgrupos de G

1. H = {an : a ∈ G} 2. M = {a ∈ G : an = e}

Prueba: H 6= ∅ por que G 6= ∅. Sean u, w ∈ H, entonces existen a, b ∈ G

tales que u = an y w = bn , luego

xy −1 = (an )(bn )−1 = (an )(b−1 )n

Dado que G es abeliano se sigue1 (an )(b−1 )n = (ab−1 )n , por lo tanto

xy −1 = (ab−1 )n ∈ H

ası́, H ≤ G. Por otro lado, M 6= ∅ porque en = e. Sean a, b ∈ M , tenemos

(ab−1 )n = an (b−1 )n = e(bn )−1 = e−1 = e

Por lo tanto, ab−1 ∈ M , y tenemos M ≤ G.

1
En un grupo abeliano G se cumple (xy)n = xn y n para todo par x, y ∈ G y toda n ∈ Z.
 5

Example 4 (Centro de un grupo) Sea G un grupo, el centro de G es el

conjunto definido por

Z(G) = {a ∈ G : ax = xa, para toda x ∈ G}

Probar que Z(G) ≤ G.

Prueba: Por definición, la identidad e ∈ Z(G). Sean a, b ∈ Z(G) y sea
x ∈ G, tenemos
(ab−1 )x = a(b−1 x) = a(x−1 b)−1
pero x−1 b = bx−1 porque b ∈ Z(G), luego

(ab−1 )x = a(bx−1 )−1 = a(xb−1 ) = (ax)b−1

También, ax = xa, entonces

(ab−1 )x = (xa)b−1 = x(ab−1 )

Ası́, ab−1 ∈ Z(G), por lo tanto, Z(G) ≤ G.

Example 5 (Centralizador de un subconjunto) Sea G un grupo y sea
A un subconjunto de G, con A 6= ∅. El centralizador A en G es el conjunto
definido por

CG (A) = {a ∈ G : ax = xa, para toda x ∈ A}

Probar que CG (A) ≤ G.

Prueba: Es similar a la prueba del ejemplo anterior y se deja como ejercicio
para los estudiantes.
Observación 2 Si G es un grupo y a ∈ G, entonces
1. Z(G) = G, si y sólo si, G es abeliano. (Por qué?)
2. CG (a) = G, si y sólo si, a ∈ Z(G). (Por qué?)
3. Z(G) = CG (G).

Example 6 (Normalizador de un subconjunto) Sea G un grupo y sea

A un subconjunto de G, con A 6= ∅. El normalizador de A en G es el conjunto
definido por
NG (A) = {g ∈ G : gAg −1 = A}2
Probar que NG (A) ≤ G.
2
6 A ⊆ G, se define el conjunto gAg −1 = {gag −1 : a ∈ A}
Dado g ∈ G y ∅ =
6

Prueba: e ∈ NG (A) porque eAe−1 = {eae−1 : a ∈ A} = {a : a ∈ A} = A.

Sean g, h ∈ NG (A), tenemos

(gh−1 )A(gh−1 )−1 = (gh−1 )A(hg −1 ) = g h−1 (hAh−1 )h g −1 . (Por qué?)

entonces,

(gh−1 )A(gh−1 )−1 = g (h−1 h)A(h−1 h) g −1 = gAg −1 = A

Ası́, gh−1 ∈ NG (A), por lo tanto, NG (A) ≤ G.

Teorema 3 (Segundo test de subgrupo) Sean G un grupo y H un sub-
conjunto no vacı́o de G. El subconjunto H es un subgrupo de G, si y sólo si,
se satisfacen las dos condiciones siguientes:
1. Para todo par a, b ∈ H se tiene ab ∈ H.

2. Para toda a ∈ H se tiene a−1 ∈ H.

Prueba: Si H ≤ G, claramente satisface las dos condiciones del teorema.
Para probar la otra implicación sean a, b ∈ H, por la segunda condición
b−1 ∈ H y por la primera condición ab−1 ∈ H. Por lo tanto H ≤ G.
Teorema 4 (Test de subgrupo para subconjuntos finitos) Sean G un
grupo y H un subconjunto finito no vacı́o de G. El subconjunto H es un sub-
grupo de G, si y sólo si, H es cerrado bajo la multiplicación definida en el
grupo G.
Prueba: Por hipótesis H 6= ∅ y satisface la primera condición del teorema
anterior. Para mostrar que H tambı́en satisface la segunda condición sea
a ∈ H y supongamos que H = {b1 , . . . , bk }. Consideremos el conjunto

aH = {ab1 , . . . , abk }.

Dado que H es cerrado bajo la multiplicación definida en el grupo G se tiene

aH ⊆ H, además |aH| = |H| (Por qué?), luego aH = H. Entonces

abi = a para algún i ∈ {1, . . . , k}

Luego, bi = a−1 a = e, es decir, e ∈ H = aH. Ası́ que e = abj , para algún

bj ∈ H y tenemos

a−1 = a−1 e = a−1 (abj ) = ebj = bj ∈ H.

Por lo tanto, H ≤ G.
 7

Observación 3 La hipótesis de que H es finito y no vacı́o es indispensable

en el teorema 4 como se evidencia en el siguiente ejemplo: Sea Q∗ el grupo de
los racionales no cero con la mutiplicación usual y consideremos el conjunto
A = {2k + 1 : k ∈ Z} ⊆ Q∗ . Observe que A no es un subgrupo de Q∗ , aunque
A es cerrado bajo la multiplicación.