1

Grupos y subgrupos

1.1 Estructuras algebraicas

Sean A, B, y C conjuntos no vacíos. Se llama operación binaria en A × B a toda
función ∗ : A × B → C. Si a ∈ A, y si b ∈ B, escribimos a ∗ b en vez de ∗( a, b).

Algunos ejemplos de operaciones binarias son los siguientes:

n
1. ∗ : Rn × Rn → R definida por (u1 , u2 , . . . , un ) ∗ (v1 , v2 , . . . , vn ) = ∑ ui vi ,
i =1

2. ⊕ : N × N → Z definida por n ⊕ m = n − m,

3. Sea Mn×m (R) el conjunto de matrices de orden n × m con entradas reales. La

función ⊙ : Rn × Mn×m → Mn×m definida por u ⊙ A = uA, donde u ∈ Rn y
A ∈ Mn×m , es una operación binaria en Rn × Mn×m .

Nota
Sean A, B, y C conjuntos no vacíos. Cuando A = B = C, la operación se
dice que es una ley de composición interna en A. Un conjunto no vacío A,
junto con una o más leyes de composición interna en A se llama estructura
algebraica.

De ahora en adelante se considerará únicamente leyes de composición interna.

Definición 1.1
Sea A un conjunto no vacío, y sea ∗ una ley de composición interna en A. Se
dice que ∗ es:
 1.1. Estructuras algebraicas

1. conmutativa si a ∗ b = b ∗ a para todo a, b ∈ A,

2. asociativa si a ∗ (b ∗ c) = ( a ∗ b) ∗ c para todo a, b, c ∈ A.

Además,

3. el elemento e ∈ A es un neutro de la operación ∗ si e ∗ a = a ∗ e = a para

todo a ∈ A,

4. el elemento a′ ∈ A es un inverso, respecto a la operación ∗, del elemento

a ∈ A si a′ ∗ a = a ∗ a′ = e.

Nótese que: puede no existir el elemento neutro de una ley de composición

interna; por ejemplo, la operación ∗ en Z>0 , definida por a ∗ b = a + b no tiene
elemento neutro. También, puede ser que algunos elementos no tengan inverso
respecto a una operación; por ejemplo, si ∗ es la ley de composición interna en
Mn (R) definida por A ∗ B = AB, entonces las matrices con determinante nulo no
tienen inverso.

En este curso se estudia únicamente estructuras algebraicas con una sola

operación.

Una ley de composición interna puede satisfacer todas las propiedades de la

definición 1.1, así como no satisfacer ninguna. El nombre de una estructura
algebraica está determinada por las propiedades que satisface la ley de
composición interna. Así, se tienen las siguientes estructuras algebraicas.

Definición 1.2
Sea A un conjunto no vacío, y sea ∗ una ley de composición interna en A. Se
dice que el conjunto A tiene la estructura de:

1. semigrupo si la operación ∗ es asociativa,

2. monoide si es un semigrupo, y además existe un elemento neutro de la

operación ∗,

2
 1.2. Ejemplos de estructuras algebraicas

3. grupo si es un monoide, y además cada elemento a ∈ A tiene inverso,

respecto a la operación ∗.

Notas

a. Si la operación ∗ es conmutativa, la estructura algebraica se dice que

es conmutativa o abeliana. Así, por ejemplo, se dice que el conjunto no
vacío A tiene una estructura de semigrupo abeliano cuando A tiene la
estructura de semigrupo y la operación ∗ es conmutativa.

b. Si el conjunto A tiene estructura de semigrupo (respectivamente monoide,

grupo) respecto a la operación ∗, el par ( A, ∗) se llama semigrupo
(respectivamente monoide, grupo).

Sea A = R3 , y sea ∗ la ley de composición interna en A, definida por u ∗ v = u × v,

donde × es el producto vectorial. Se puede ver (hacerlo!) que esta operación no
es asociativa, tampoco existe un elemento neutro de la operación, y no es verdad
que cada elemento de R3 tiene inverso respecto a esta operación. Se dice que las
operaciones con esta característica definen una magna; es decir, el conjunto A
con una operación que no es asociativa, sin elemento neutro y sin inverso, tiene
estructura de magma. La operación definida más arriba tampoco es conmutativa;
es decir, el par (R3 , ×) es una magna no conmutativa.

1.2 Ejemplos de estructuras algebraicas

En esta sección se presentan varios ejemplos de estructuras algebraicas, éstos
pretenden analizar los conceptos relacionados a una ley de composición interna, y
construir estructuras algebraicas.

3
 1.2. Ejemplos de estructuras algebraicas

Ejemplos
a
1. La operación ∗ : Q2>0 → Q>0 definida por a ∗ b = no es conmutativa,
b
tampoco es asociativa. Además, no existe un elemento neutro para la
operación ∗, y tampoco se puede hablar, en este caso, de un inverso de
a ∈ Q>0 respecto a la operación ∗. Luego, el par (Q>0 , ∗) es una magma
no conmutativa.

2. La operación ⊙ : Z2>0 → Z>0 definida por a ⊙ b = mı́n{ a, b} es asociativa

y conmutativa (probarlo). No existe un a elemento neutro de la operación
⊙, pues no existe un entero positivo e tal que e ⊙ a = mı́n{ a, e} = a para
todo a ∈ Z>0 , Ya que no existe un neutro para la operación ⊙, no tiene
sentido preguntar sobre el inverso de a ∈ Z>0 respecto a la operación ⊙.
Así, el par (Z>0 , ⊙) es un semigrupo conmutativo.

3. La operación ⊗ : Z2>0 → Z>0 definida por a ⊗ b = mcd( a, b) es asociativa

y conmutativa (probarlo). No existe un a elemento neutro de la operación
⊗, pues no existe un entero positivo e tal que e ⊗ a = mcd( a, e) = a para
todo a ∈ Z>0 . Ya que no existe un neutro para la operación ⊗, no tiene
sentido preguntar sobre el inverso de a ∈ Z>0 respecto a la operación ⊙.
Así, el par (Z>0 , ⊗) es un semigrupo conmutativo.

4. Considérece la ley de composición interna en Z, definida por n ∗ m =

n − m. La operación ∗ no es asociativa, pues

a ∗ (b ∗ c) = a ∗ (b − c)

= a − (b − c)
= a − b + c,
y
( a ∗ b) ∗ c = ( a − b) ∗ c
= ( a − b) − c
= a − b − c.

4
 1.2. Ejemplos de estructuras algebraicas

Ya que la operación ∗ no es conmutativa, se tiene que el par (Z, ∗) es una

magma no conmutativa.

5. Sea ∗ la ley de composición inetrna definida en N por m ∗ n = mn . Esta

operación no es conmutativa (por ejemplo, 2 ∗ 3 = 8 pero 3 ∗ 2 = 9), no
es asociativa (por ejemplo, 2 ∗ (1 ∗ 3) = 2 pero (2 ∗ 1) ∗ 3 = 8). Así, el par
(N, ∗) es una magma no conmutativa.

Sea X un conjunto no vacío, y sea P ( X ) el conjunto de las partes de X.

6. La operación ∗ : P ( X ) × P ( X ) → P ( X ), definida por A ∗ B = A \ B no es

asociativa, ni conmutativa. Ya que A \ ∅ = A, el candidato para elemento
neutro de esta operación es el conjunto vacío; sin embargo, ∅ \ A ̸= A,
luego el conjunto vacío no es el neutro de esta operación. Nótese además
que: no tiene sentido hablar del inverso de un elemento de A ∈ P ( X ). Así,
el par (P ( X ), ∗) es una magma no conmutativa.

7. La intersección de conjuntos es conmutativa y asociativa, el elemento

neutro de la intersección es el conjunto X ∈ P ( X ), pues A ∩ X = A = X ∩
A para todo conjunto A ∈ P ( X ). Además, dado un conjunto A ∈ P ( X ),
no existe un conjunto A′ ∈ P ( X ) tal que A ∩ A′ = X, luego no es verdad
no es verdad que cada conjunto A ∈ P ( X ) tiene inverso respecto a la
intersección de conjuntos. Así, el par (P ( X ), ∩) es un moniode abeliano.

8. La unión de conjuntos es conmutativa y asociativa, el elemento neutro de

la unión es el conjunto vacío, pues A ∪ ∅ = A = ∅ ∪ A para todo conjunto
A ∈ P ( X ). Naturalmente, dado un conjunto A ∈ P ( X ) \ {∅}, no existe
un conjunto A′ ∈ P ( X ) tal que A ∪ A′ = ∅, luego no es verdad que cada
conjunto A ∈ P ( X ) tiene un inverso respecto a la unión de conjuntos. Por
tanto, el par (P ( X ), ∪) es un monoide conmutativo.

Sea Mn (R) el conjunto de las matrices cuadradas de orden n con entradas

reales.

5
 1.2. Ejemplos de estructuras algebraicas

9. El par ( Mn (R), ∗), donde ∗ es la multiplicación de matrices, es un monoide

no conmutativo, el neutro para la multiplicación de matrices es la matriz
identidad.

10. El par ( Mn (R), +), donde + es la suma usual de matrices, es un grupo

conmutativo, el elemento neutro es la matriz nula, y para cada matriz
A ∈ Mn , su matriz inversa es − A (la matriz cuyas entradas son el opuesto
aditivo de las entradas de la matriz A).

11. Sea GL(n, R) el subconjunto de Mn (R) formado por todas las matrices
invertibles. El par (GL(n, R), ∗), donde la operación ∗ es la multiplicación
de matrices, es un grupo, llamado grupo lineal general.

12. Sea SL(n, R) el subconjunto de GL(n, R) formado por todas las matrices
con determinante igual a 1. El par (SL(n, R), ∗), donde la operación ∗ es
la multiplicación de matrices, es un grupo, llamado grupo lineal especial.

Sea m ≥ 1 un entero fijo, y sea Z/m el conjunto de todas las clases de

equivalencia determinadas por la relación de equivalencia “ser congruente
módulo m”.

13. El par (Z/m, +), donde + es la suma en Z/m (ver definición ??, página
??), es un grupo abeliano.

14. Sea (Z/m)∗ el conjunto de todas las unidades de Z/m (ver página ??).
Si [ a], [b] ∈ (Z/m)∗ , definimos [ a] · [b] = [ ab]. El par ((Z/m)∗ , ·) es un
grupo abeliano.

Existe un proceso estándar para construir un grupo a partir de dos grupos

dados. En efecto:

15. Sean ( A, ⊕) y ( B, ⊗) grupos. La operación ∗ en A × B, definida por

( a1 , b1 ) ∗ ( a2 , b2 ) = ( a1 ⊕ a2 , b1 ⊗ b2 ),

determina un grupo en A × B.

6
 1.2. Ejemplos de estructuras algebraicas

• La operación ∗ es asociativa, pues

( a1 , b1 ) ∗ (( a2 , b2 ) ∗ ( a3 , b3 )) = ( a1 , b1 ) ∗ ( a2 ⊕ a3 , b2 ⊗ b3 )
= ( a1 ⊕ ( a2 ⊕ a3 ), b1 ⊗ (b2 ⊗ b3 ))
= (( a1 ⊕ a2 ) ⊕ a3 , (b1 ⊗ b2 ) ⊗ b3 )
= ( a1 ⊕ a2 , b1 , b2 ) ∗ ( a3 , b3 )
= (( a1 , b1 ) ∗ ( a2 , b2 )) ∗ ( a3 , b3 ),

para todos ( a1 , b1 ), ( a2 , b2 ), ( a3 , b3 ) ∈ A × B.

• El neutro de la operación ∗ es el par (e1 , e2 ), donde e1 es el neutro de la

operación ⊕, y e2 es el neutro de la operación ⊗. En efecto,

( a, b) ∗ (e1 , e2 ) = ( a ⊕ e1 , b ⊗ e2 ) (e1 , e2 ) ∗ ( a, b) = (e1 ⊕ a, e2 ⊗ b)

= ( a, b) = ( a, b)

• Sea ( a, b) ∈ A × B, sea a′ ∈ A el inverso de a respecto a la operación ⊕,

y sea b′ ∈ B el inverso de b respecto a la operación ⊗. Se tiene que

( a, b) ∗ ( a′ , b′ ) = ( a ⊕ a′ , b ⊗ b′ ) ( a′ , b′ ) ∗ ( a, b) = ( a′ ⊕ a, b′ ⊗ b)
= ( e1 , e2 ) = ( e1 , e2 )

El grupo ( A × B, ∗) se llama producto directo de A y B. Además, si los grupos

( A, ⊕) y ( B, ⊗) son (ambos) conmutativos, entonces su producto directo es
conmutativo.
Para finalizar esta sección se presenta un grupo que, por su importancia, será
estudiado con más detalle posteriormente.

16. Sea S un conjunto no vacío. Una función σ : S → S se llama una

permutación de S si ésta es biyectiva.

Se puede demostrar que la composición de dos permutaciones de S es

nuevamente una permutación de S. Obviamente, la función identidad en

7
 1.2. Ejemplos de estructuras algebraicas

S también es un permutación, y toda permutación de S tiene una función

inversa que también es una permutación de S.

Si se denota con Sym(S) al conjunto de todas las permutaciones de S,

entonces el par (Sym(S), ◦), donde “◦” es la composición, es un grupo.

Se puede observar que:

i. Si σ, τ ∈ Sym(S), escribimos στ en lugar de σ ◦ τ.

ii. Ya que στ ̸= τσ, el grupo (Sym(S), ◦) no es conmutativo.

iii. Si S es un conjunto finito, digamos S = {1, 2, . . . , n}, denotamos con

Sn al conjunto de todas las permutaciones del conjunto S.

iv. Si σ ∈ Sn , entonces σ está completamente determinada por los

valores σ (1), σ (2), . . . , σ(n). Así, se puede introduce la siguiente
notación:  
1 2 ··· n
σ= 
σ (1) σ (2) ··· σ(n)

v. La notación que se introdujo en item anterior es útil para realizar

computos en Sn . En efecto, si
   
1 2 ··· n 1 2 ··· n
σ= , τ =  ,
σ (1) σ (2) ··· σ(n) τ (1) τ (2) ··· τ (n)

entonces el producto (composición) de σ con τ se calcula como

 
1 2 ··· n
στ =  .
σ (τ (1)) σ(τ (2)) · · · σ(τ (n))

   
1 2 3 1 2 3
Por ejemplo, si S = {1, 2, 3}, σ =  yτ =  ,
3 2 1 1 3 2
entonces

8
 1.3. Teoría elemental de grupos

 
1 2 3
στ =  
σ (τ (1)) σ(τ (2)) σ (τ (3))

 
1 2 3
= 
σ (1) σ (3) σ (2)

 
1 2 3
= 
3 1 2

1.3 Teoría elemental de grupos

En la sección 1.1 se dijo que un grupo es un conjunto no vacío equipado con
una operación (ley de composición unterna) que es asociativa, la operación tiene
elemento neutro, y cada elemento del conjunto tiene un inverso respecto a esa
operación. Así, se puede dar la siguiente definición axiomática de grupo:

Definición 1.3
Sea G un conjunto no vacío, y sea ∗ una operación en G. El par ( G, ∗) se
llama grupo si se satisfacen los siguientes axiomas:

AG1. para todo a, b, c ∈ G, a ∗ (b ∗ c) = ( a ∗ b) ∗ c,

AG2. existe e ∈ G tal que: a ∗ e = a, y e ∗ a = a para todo a ∈ G,

AG3. para todo a ∈ G, existe a′ ∈ G tal que: a ∗ a′ = e, y a′ ∗ a = e.

Cuando no sea necesario especificar la operación del grupo ( G, ∗), se referirá al

grupo únicamente como G.

El elemento e del axioma AG2. se llaman elemento neutro del grupo G, el

elemento a′ del axioma AG3. se llama inverso de a. Además, el grupo se dice
abeliano, o conmutativo si para todo a, b ∈ G se cumple que a ∗ b = b ∗ a.

9
 1.3. Teoría elemental de grupos

Desde la definición 1.3 se sabe que un grupo tiene elemento neutro, y cada
elemento tiene elemento inverso. Surge de manera natural la siguiente pregunta:
¿son estos elementos únicos? La respuesta se encuentra en los siguientes teoremas.

Teorema 1.1 (Unicidad del neutro)

En un grupo ( G, ∗), existe un único elemento neutro.

Demostración. Supóngase que existe e′ ∈ G tal que

a ∗ e′ = a (1.1)

para todo a ∈ G.

Ya que e es elemento neutro de G, se cumple que

e∗a = a (1.2)

para todo a ∈ G.

En la ecuación (1.1) se escoge a = e, en la ecuación (1.2) se escoge a = e′ . Con

esta elección se tiene que e ∗ e′ = e, y e ∗ e′ = e′ . Luego e = e′ .

Ya que e es único, se puede hablar del elemento neutro del grupo.

Teorema 1.2 (Propiedad cancelativa)

En un grupo ( G, ∗) se cumplen las leyes de cancelación derecha e izquierda;
es decir, b ∗ a = c ∗ a implica b = c, y a ∗ b = a ∗ c implica b = c.

Demostración. Supóngase que b ∗ a = c ∗ a. Sea a′ un elemento inverso de a,

operando a la derecha se tiene que (b ∗ a) ∗ a′ = (c ∗ a) ∗ a′ . Por el axioma AG1. se
tiene que b ∗ ( a ∗ a′ ) = c ∗ ( a ∗ a′ ); por tanto, b ∗ e = c ∗ e. Luego b = c. La ley de
cancelación izquierda se demuestra de manera similar.

10
 1.3. Teoría elemental de grupos

Teorema 1.3 (Unicidad del reciproco)

En un grupo ( G, ∗), cada elemento a ∈ G tiene un único elemento inverso.

Demostración. Sea a′ ∈ G un elemento inverso de a. Supóngase que existe a′′ ∈ G ′

tal que
a ∗ a′′ = e. (1.3)

Ya que a′ es un inverso de a se tiene que

a ∗ a′ = e. (1.4)

Como el elemento neutro e es único, desde las ecuaciones (1.3) y (1.4), se tiene que
a ∗ a′′ = a ∗ a′ . Luego, por el teorema 1.3, a′ = a′′ .

Ya que a′ , un inverso de a, es único, se puede hablar del inverso de a.

Teorema 1.4
Sea ( G, ∗) un grupo, sea a’ el inverso de a, y sea b′ el inverso de b. Si ( a ∗ b)′
es el inverso de a ∗ b, entonces ( a ∗ b)′ = b′ ∗ a′

Demostración. Ya que el inverso de a ∗ b es único, es suficiente probar que

( a ∗ b) ∗ (b′ ∗ a′ ) = e,

donde e es el elemento neutro del grupo. En efecto

( a ∗ b) ∗ (b′ ∗ a′ ) = (( a ∗ b) ∗ b′ ) ∗ a′
= ( a ∗ (b ∗ b′ )) ∗ a′
= ( a ∗ e) ∗ a′
= a ∗ a′
= e.

11
 1.3. Teoría elemental de grupos

Nota
La operación de una estructura algebraica puede tener cualquier nombre,
pero se acostumbra llamarla de la forma habitual, cuando ésta tenga un
nombre habitual. Por ejemplo, la operación del grupo (Z, +) se llama adición,
pues el nombre habitual para la operación “+” es “adición”; y el nombre
de la operación del grupo (GL(n, R), ·) es multiplicación, pues el nombre
habitual para la operación “·” es “multiplicación”.
Las estructuras algebraicas en las cuales la operación de la estrcutura es
la adición se llaman aditivos, y las estructuras algebraicas en los cuales la
operación de la estructura es la multiplicación se llaman multiplicativos. Así,
por ejemplo, el grupo (Z, +) es un grupo aditivo, y el grupo (GL(n, R), ·) es
un grupo multiplicativo.

Notación. Sea ( G, ∗) un grupo, siempre que el contexto sea claro, a ∗ b ∗ c denotará

a ∗ ( b ∗ c ).

La notación y terminología que se utiliza para referirse al elemento neutro, al

elemento inverso, y algunos otros elementos de un grupo, cambia si se trata de
un grupo aditivo, o de un grupo multiplicativo. La tabla 1.1 muestra la notación
común y su correspondiente terminología, según se este considerando un grupo
aditivo o un grupo multiplicativo.

Tabla 1.1

elemento grupo multiplicativo grupo aditivo

a∗b a · b, o ab multiplicación a+b adición

neutro e, o 1 0
inverso a −1 −a
a ∗ b′ ab−1 cociente a−b diferencia

|a ∗ a ∗{z. . . ∗ a} an potencia de a na multiplo de a

n−veces

12
 1.3. Teoría elemental de grupos

Nota
Cuando el contexto sea claro, se utilizará la notación multiplicativa para
referirse al elemento neutro, al elemento inverso, y al elemento |a ∗ a ∗{z. . . ∗ a}
n−veces
de un grupo ( G, ∗). Es decir, el elemento neutro del grupo será denotado por
e, el elemento inverso de a será denotado por a−1 , y an denotará al elemento
0
|a ∗ a ∗{z. . . ∗ a}. Además, definimos a = e.
n−veces

Teorema 1.5
Sea ( G, ∗) un grupo. Para todo a ∈ G se cumple que ( a−1 )−1 = a.

Demostración. Sea e ∈ G el elemento neutro para la operación ∗. Ya que

( a−1 )−1 ∗ a−1 = e,

por la unicidad el elemento inverso, el teorema sigue.

Definición 1.4 Potencia de un elemento

Sea ( G, ∗) un grupo, y sea n un entero positivo. Se define la potencia nésima
de g ∈ G como
gn = g ∗ g ∗ . . . ∗ g
| {z }
n−veces

Notas

1. Sea n un entero no negativo, y sea g ∈ G. Se puede definir recursivamente

la potencia n-ésima de g como sigue:

 g0 = e


 g n = g ∗ g n −1


2. Sea n un entero positivo. Para todo g ∈ G se define g−n = ( gn )−1 .

13
 1.3. Teoría elemental de grupos

Veamos algunos ejemplos del cálculo de una potencia negativa.

• En el grupo ((Z/8)∗ , ·) se tiene que 3−3 = 3, pues 33 = 27, y 27 ≡ 3 (mód 8).

Luego 3−3 = (33 )−1 = 3−1 = 3.

• En (Z, +) se tiene que 3−3 = −9, pues 33 = 3 + 3 + 3 = 9, y el inverso aditivo

de 9 es −9. Así, 3−3 = (33 )−1 = 9−1 = −9.

La siguiente proposición muestra que algunas de las leyes de las potencias se

mantienen en un grupo.

Proposición 1.1
Sea ( G, ∗) un grupo. Se tiene

1. gn ∗ gm = gn+m .

2. ( gn )m = gmn .

3. Si G es abeliano, entonces ( g ∗ h)n = gn ∗ hn .

Demostración. Se demuestra únicamente la propiedad 1 (la propiedad 2 se

demuestra de manera similar, y la 3 se deja como ejercicio.).

La demostración se la hace por inducción sobre m y n.

14
 1.3. Teoría elemental de grupos

gn ∗ gm = ( g ∗ g ∗ . . . ∗ g) ∗ ( g ∗ g ∗ . . . ∗ g)
| {z } | {z }
n−veces m−veces

= ( g ∗ g ∗ . . . ∗ g)
| {z }
(n+m)−veces

= gn+m .

Definición 1.5 (Orden de un grupo)

Sea ( G, ∗) un grupo. Se llama orden del grupo G a la cardinalidad de G. Se
usará | G | para denotar el orden de G.

Un grupo G se llama finito si su orden es finito. Si un grupo G no es finito se dice

que es infinito.

Los grupos (Z/m, +) y ((Z/m)∗ , ·) son grupos finitos; los grupos (Z, +) y
(GL(n, R), ·) son grupos infinitos.

Definición 1.6 (Orden de un elemento)

Sea ( G, ∗) un grupo, sea e el elemento neutro de G, y sea g ∈ G. Se llama
orden de g, se denota con | g|, al más pequeño entero positivo n tal que gn = e.

Para hallar el orden de un elemento g se tiene que calcular la secuencia

g, g2 , g3 , · · · , hasta que aparezca por primera vez el neutro del grupo. Si el neutro
del grupo no aparece nunca en la secuencia, entonces g tiene orden infinito.

Ejemplos

1. Sea (Z/15)∗ = {1, 2, 4, 7, 8, 11, 13, 14} el conjunto de unidades módulo 15,
se recuerda que (Z/15)∗ , ·) es un grupo (ver ejemplo 14 de la página 6). Se
tiene que el orden de este grupo es 8, pues card((Z/15)∗ ) = 8. Además,
por ejemplo, |7| = 4, |4| = 2, |2| = 4, pues 74 = 1, 42 = 1, y 24 = 1,
respectivamente.

15
 1.4. Subgrupos

2. El grupo (Z/10, +) tiene orden 10 pues card(Z/10) = 10.

Ya que 5(2) = 0, se tiene que el orden del elemento 2, en el grupo Z/10,

es 5. De manera similar |0| = 1, |4| = 5, |7| = 10, |2| = 5 (recordar que en
un grupo aditivo, gn es una notación para ng = g + g + . . . + g; por tanto,
| {z }
n−veces
2(5) = 5 + 5 = 10 = 0, 5(4) = 20 = 0, etc.).

3. Z con la adición usual es un grupo infinito. Además, cualquier entero no

nulo tiene orden infinito.

Definición 1.7 (Elemento idempotente)

Sea G un grupo. Un elemento g ∈ G se dice idempotente si g2 = g.

Obsérvese que en un grupo ( G, ∗), el único elemento idempotente es el elemento

neutro. En efecto, si g es un elemento idempotente, entonces g2 = g; ya que
g2 = g ∗ g, se tiene que g ∗ g = g. Luego g = e.

Teorema 1.6
Sea ( G, ∗) un grupo, y sea g ∈ G. Si | g| es infinito, entonces gn ̸= gm para
todo todos los enteros n, m tales que 1 ≤ m < n.

Demostración. Si se supone que gn = gm para algún n y m, entonces gn−m = e, lo

cual contradice la infinitud del orden de g.

Corolario 1.1
Si G es un grupo finito, entonces todos sus elementos tienen orden finito.

1.4 Subgrupos
En la sección 1.2, ejemplos 11 y 12 (ver página 6) se estableció que los conjuntos
GL(n, R) y SL(n, R) son grupos respecto a la multiplicación de matrices; además,

16
 1.4. Subgrupos

SL(n, R) ⊆ GL(n, R). Esto muestra que, dado un grupo ( G, ∗), tiene sentido hacer
la siguiente pregunta:

¿existe H ⊆ G tal que ( H, ∗| H ) es un grupo?

donde ∗| H es la restricción de la operación ∗ al conjunto H; es decir, a ∗ | H b = a ∗ b

para todo a, b ∈ H.

Nótese que la respuesta a esta pregunta es afirmativa. En efecto, es suficiente

considerar H = G, o H = {e}, pero estos casos son poco interesantes. En lo que
sigue establecemos condiciones para que un conjunto H ⊆ G sea un grupo con la
misma operación de G.

Nota
Sea ( G, ∗) un grupo, y sea H ⊆ G. La restricción de la operación ∗ al conjunto
H será denotada con ∗.

Definición 1.8 (Subgrupo)

Sea ( G, ∗) un grupo, y sea H ⊆ G. Se dice que H es un subgrupo de G, se
escribe H ≤ G, si ( H, ∗) es un grupo.

Si se desea indicar que H es un subgrupo de G pero que no es el mismo G, se

escribe H < G; tal subgrupo se llama subgrupo propio de G. Los sungrupos G
y {e} se llaman subgrupos triviales de G. Un subgrupo que no es ni G ni {e} se
llama subgrupo no trivial de G.

Ejemplos

1. En el grupo aditivo Z, el conjunto de todos los múltiplos de un entero

positivo fijo n, denotado por

nZ = { x ∈ Z : x = nk, para algún k ∈ Z},

es un subgrupo de Z.

17
 1.4. Subgrupos

Mostrar que la adición en nZ es asociativa, existe el elemento neutro

para la adición en nZ, y cada elemento de nZ tiene inverso en nZ, es un
proceso, muchas veces extenso pero rutinario. Sin embargo, tenemos que
estar seguros que la restricción de la adición en Z es efectivamente una
operación en nZ. En efecto, sean a, b elementos de nZ, luego a = nk1 y
b = nk2 para algún k1 y k2 . Se tiene que

a + b = nk1 + nk2

= n(k1 + k2 )
= nk3 ,

donde k3 = k1 + k2 es un entero. Así, a + b ∈ nZ.

2. Los conjuntos Z, Q, R, y C son grupos con la adición usual. Además, se

satisface que Z ⊆ Q ⊆ R ⊆ C. Por tanto Z ≤ Q ≤ R ≤ C.

3. Sea F (R) el conjunto de todas la funciones reales con valores reales, y sea
“+” la suma usual entre funciones; es decir, ( f + g)( x ) = f ( x ) + g( x ). Se
puede demostrar que (F (R), +) es un grupo, donde la función nula es el
elemento neutro de F (R), y para cada f ∈ F (R), la función “− f ” es el
elemento inverso de f . Si C (R) denota el conjunto de todas las funciones
continuas reales con valores reales, entonces la restricción de la suma en
F (R) es una operación en C (R) pues la suma de dos funciones continuas
es una función continua. Además,

• f + ( g + h) = ( f + g) + h para toda f , g, h ∈ C (R),

• la función nula es el elemento neutro de C (R), y

• si f ∈ C (R), entonces − f ∈ C (R).

Luego (C (R), +) es un grupo. Por tanto C (R) < F (R).

4. Sea D (R) el conjunto de todas las funciones derivables reales con valores
reales, y sea “+” la resticción de la suma usual entre funciones al conjunto

18
 1.4. Subgrupos

D (R). Con razonamientos similares a los del ejemplo 3, se tiene que

D (R) < C (R).

Como se puede apreciar en los ejemplos, averiguar que el conjunto H es un

subgrupo del grupo G es un proceso que, con frecuencia, resulta tedioso. El
siguiente teorema muestra un procedimiento directo para averiguar si H ⊆ G es
un subgrupo.

Teorema 1.7
Sea ( G, ∗) un grupo, y sea H un subconjunto no vacío de G. Si a ∗ b−1 está en
H cuando a y b están en H, entonces H es un subgrupo de G.

Demostración. Como la restricción de la operación ∗ al conjunto H es la misma

operación en G, es claro que ∗ restringida a H es asociativa. Ya que H ̸= ∅, se
puede escoger un x en H. Si se pone a = x y b = x en la hipótesis, entonces
e = x ∗ x −1 = a ∗ b−1 está en H. Para verificar que x −1 está en H cuando x está en
H es suficiente poner a = e y b = x en la hipótesis del teorema.

La demostración estará completa cuando se muestre que ∗ es una operación

en H; es decir, si x, y ∈ H, entonces x ∗ y ∈ H. En efecto, sean x, y en H, si se
pone a = x y b = y−1 en la hipótesis (ya se vió que y−1 ∈ H si y ∈ H), entonces
a ∗ b−1 = x ∗ (y−1 )−1 = x ∗ y está en H.

Los siguientes ejemplos muestran como se aplica el teorema 1.7.

Ejemplos

1. Sea G un grupo abeliano con neutro e. El conjunto H = { x ∈ G : x2 = e}

es un subgrupo de G. En efecto, ya que e2 = e, H ̸= ∅.

19
 1.4. Subgrupos

Sean a, b elementos de H, luego a2 = e y b2 = e. Se tiene que

( ab−1 )2 = ( ab−1 )( ab−1 )

= a2 (b−1 )2 , ya que G es abeliano
= a 2 ( b 2 ) −1
= ee−1
= e.

Así, ab−1 ∈ H. Luego, por el teorema 1.7, H ≤ G.

2. Sea G un grupo abeliano. El conjunto H = { x2 : x ∈ G } es un subgrupo

de G. Obviamente H ̸= ∅, y si a, b ∈ H, entonces a = x2 , b = y2 para
algún x, y ∈ G. Se tiene que

ab−1 = x2 (y2 )−1

= x 2 ( y −1 )2
= ( xy−1 )2 , ya que G es abeliano.

Ya que ab−1 es el cuadro de algún elemento de G, se tiene que ab−1 ∈ H.

Luego, H ≤ G.

El siguiente ejemplo muestra una técnica para crear nuevos subgrupos de un

grupo abeliano, a partir de subgrupos existentes.

3. Sea G un grupo abeliano, y sean H, K subgrupos de G. El conjunto

HK := {hk : h ∈ H, y k ∈ K }

es un subgrupo de G.

Primero se observa que HK no es vacío. En efecto, e = ee pertenece a HK

porque e pertenece a H y K.

Ahora se considera a, b ∈ HK. Existen h1 , h2 ∈ H, y k1 , k2 ∈ K tales que

20
 1.4. Subgrupos

a = h1 k1 y b = h2 k2 . Se tiene que

ab−1 = (h1 k1 )(h2 k2 )−1

= (h1 k1 )(k− 1 −1
2 h2 )

= (h1 h2−1 )(k1 k− 1

2 ), ya que G es abeliano

= hk,

donde h = h1 h2−1 ∈ H, y k = k1 k− 1
2 ∈ K, pues H y K son subgrupos de G.
Así, ab−1 ∈ HK; por tanto HK ≤ G.

Nota
Sea G un grupo. El teorema 1.7 dice como averiguar que un conjunto H ⊆ G
es un subgrupo de G.
¿Cómo averiguar que H no es un subgrupo de G? Si cualquiera de los
siguientes enunciados se satisface, entonces H no es un subgrupo de G:

i. mostrar que e, el elemento neutro, no es un elemento de H,

ii. presentar un elemento de H que no tiene inverso en H,

iii. presentar dos elementos de H cuyo producto (adición en notación

aditiva) no este en H.

El siguiente resultado muestra que es más fácil averiguar si un subconjunto finito

es un subgrupo.

Proposición 1.2
Sea H un subconjunto finito y no vacío de un grupo G. Si H es cerrado bajo
la operación de G, entonces H es u subgrupo de G.

Demostración. Si se demuestra que a−1 ∈ H cuando a ∈ H, entonces, por hipótesis,

ba−1 ∈ H para todo a, b ∈ H. Luego, por el teorema 1.7, H ≤ G.

21
 1.4. Subgrupos

Sea a ∈ H. Si a = e, entonces a−1 = a y se termina. Si a ̸= e, se consideran las

potencias a, a2 , . . .. Por hipótesis todos estos elemento pertenecen a H. Como H es
finito, no puede ser que todos estos elementos sean distintos. Sea ai = a j con i > j.
Luego, ai− j = e; y ya que, a ̸= e, se tiene que i − j > 1. Así, aai− j−1 = ai− j = e, Por
tanto, ai− j−1 = a−1 . Como i − j − 1 ≥ 1, se tiene que ai− j−1 ∈ H.

Teorema 1.8
Sea G un grupo, sea I un conjunto arbitrario de indices, y sea { Hλ }λ∈ I una
colección de subgrupos de G. Se tiene que
\
H= Hλ
λ∈ I

es un subgrupo de G.

Demostración. Por un lado, H no es vacío pues el elemento neutro del grupo es

elemento de cada subgrupo Hλ para todo λ ∈ I. Por otro lado, si a, b ∈ H, entonces
para cada λ ∈ I se tiene que a, b ∈ Hλ . Luego ab−1 ∈ Hλ para cada λ ∈ I; por
tanto, ab−1 ∈ H. Así, H ≤ G.

Teorema 1.9
Sea G un grupo, sea a ∈ G, y sea ⟨ a⟩ = { an : n ∈ Z}. Se cumple que:

1. ⟨ a⟩ es un subgrupo de G,

2. si H es un subgrupo de G tal que a ∈ H, entonces ⟨ a⟩ ⊆ H.

Demostración.

1. Por definición, ⟨ a⟩ no es vacío. Si x, y ∈ ⟨ a⟩, entonce existen enteros m y n tales

22
 1.4. Subgrupos

que x = an y y = am . Se tiene que

xy−1 = an ( am )−1

= an a−m
= an−m .

Luego xy−1 ∈ ⟨ a⟩. Luego, por el teorema 1.7, ⟨ a⟩ ≤ G.

2. Ya que H es un subgrupo de G y a ∈ H se tiene que:

i. para todo entero positivo n, an ∈ H

ii. para todo entero negativo n, an = ( a−n )−1 ∈ H,

iii. a0 = e ∈ H.

Si x ∈ ⟨ a⟩, entonces x = an para algún entero n. Luego x ∈ H. Así, ⟨ a⟩ ⊆ H.

La siguiente definición esta justificada por el teorema 1.4.

Definición 1.9
Sea G un grupo, y sea a ∈ G. Se llama subgrupo generado por a al subgrupo
⟨ a ⟩.

Obsérvese que, desde el item 2 del teorema 1.4, se puede decir que ⟨ a⟩ es el
más pequeño subgrupo de G que contiene a a. Esta observación permite dar la
siguiente definición.

Definición 1.10
Sea G un grupo, y sea S ⊆ G. Se llama subgrupo generado por S, se denota
con ⟨S⟩, al más pequeño subgrupo de G que contiene a S.

Definición 1.11 (Centro de un grupo)

Sea G un grupo. El centro de G, denotado por Z ( G ), es el subconjunto de

23
 1.4. Subgrupos

elementos de G que conmutan con cualquier elemento de G. Es decir,

Z ( G ) = { g ∈ G : gx = xg para todo x en G }.

Teorema 1.10
El centro de un grupo G es un subgrupo de G.

Definición 1.12 (Centralizador de a en G)

Sea G un grupo, y sea a un elemento fijo de G. El centralizador de a en G,
denotado por C ( a), es el conjunto de todos los elementos de G que conmutan
con a. Es decir,
C ( a) = { g ∈ G : ga = ag}.

Teorema 1.11
Sea G un grupo. Para cada a ∈ G, el centralizador de a en G es un subgrupo
de G.

Nota
Para cada elemento a de un grupo G, se tiene que Z ( G ) ⊆ C ( a). Además, G
es abeliano si y sólo si C ( a) = G para todo a ∈ G.

R y que sera de hacer

24
Bibliografía

Ambrosio, L. Da Prato, G. & Mennucci A. (2011). Introduction to Measure Theory

and Integration. EDIZIONI DELLA NORMALE

Pap, E. (2002). Capter 2–Some Elements of the Classical Measure Theory. In Handbook
of Measure Theory, 27–82. Pap, E. (editor). North-Holland