1

Teoría de grupo
Operación binaria en un conjunto
Definición
Sea 𝐺 ≠ ∅. Decimos que ∗ es una operación binaria ( o ley de composición
interna) en G si y sólo si
∗: 𝐺 × 𝐺 ⟶ 𝐺
es una función
(𝑎, 𝑏) ⟼ 𝑎∗𝑏
Ejemplos
1) En ℕ la suma y el producto son operaciones binarias.
2) En ℤ, ℚ, ℝ la suma y el producto usuales son operaciones binarias.
3) En el conjunto 𝕀 irracionales si 𝑎 = 1 − √2 , 𝑏 = √2
𝑎 + 𝑏 = 1 ∉ 𝕀 , 𝑏. 𝑏 = 2 ∉ 𝕀 por lo tanto la suma y el producto en 𝕀
no son operaciones binarias en 𝕀.
4) En ℂ la suma y el producto son operaciones binarias.
5) En ℝ+ la suma y el producto usuales son operaciones binarias.
6) En 𝐴 = { 𝑧 ∈ ℂ | |𝑧| = 1} ⊂ ℂ el producto es cerrado.
𝑧1 , 𝑧2 ∈ 𝐴 ⟹ |𝑧1 | = 1, |𝑧2 | = 1
¿ 𝑧1 𝑧2 ∈ 𝐴?
|𝑧1 . 𝑧2 | = |𝑧1 ||𝑧2 | = 1.1 = 1 ∴ 𝑧1 𝑧2 ∈ 𝐴
7) En ℤ𝑛 se define el producto de clases y la suma de clases así:
𝑎̅ + 𝑏̅ = ̅̅̅̅̅̅̅
𝑎 + 𝑏 , 𝑎̅ . 𝑏̅ = ̅̅̅̅̅
𝑎. 𝑏
Por ejemplo, en ℤ5 = { 0̅, 1̅, 2̅, 3̅, 4̅ }
• 0̅ + 2̅ = ̅̅̅̅̅̅̅
0 + 2 = 2̅
Veamos que si tomo otro entero de la clase del 0̅ y de la clase del 2̅ la
respuesta no cambia.
0̅ = {5𝑘 | 𝑘 ∈ ℤ} , 2̅ = {5𝑘 + 2 | 𝑘 ∈ ℤ}
5̅ + 7̅ = ̅̅̅̅̅̅̅̅
5 + 7 = 12 ̅̅̅̅ = 2̅
• 2̅ + 3̅ = ̅̅̅̅̅̅̅
2 + 3 = 5̅ = 0̅
• Ahora calculemos algunos productos.
2̅. 3̅ = ̅̅̅̅̅
2.3 = 6̅ = 1̅ , 3̅. 4̅ = 12
̅̅̅̅ = 2̅

La suma y la multiplicación en ℤ𝑛 están bien definidas, porque la

respuesta no depende del particular representante de la clase. Se
probará más adelante.
 2

Cuando el conjunto es finito, como lo es en este caso ℤ5 , la operación

binaria se puede mostrar en una “tabla”.
+ 0̅ 1̅ 2̅ 3̅ 4̅
0̅ 0̅ ̅1 2̅ 3̅ 4̅
1̅ 1̅ 2̅ 3̅ 4̅ 0̅
2̅ 2̅ 4̅ 0̅ 1̅
3̅ 3̅ 1̅ 2̅
4̅ 4̅ 3̅

Ejercicio: hacer la tabla del producto.

Definición de GRUPO
Sea 𝐺 ≠ ∅ , y ∗ es una operación binaria en G.
Decimos 𝐺 con la operación ∗ es grupo, o el par (𝐺 ,∗ ) es grupo si y sólo si:
1) ∗ es asociativa.
2) ∃ 𝑒 ∈ 𝐺 ∶ ∀𝑎 ∈ 𝐺 𝑎 ∗ 𝑒 = 𝑒 ∗ 𝑎 = 𝑎
3) ∀𝑎 ∈ 𝐺 ∃ 𝑎−1 ∈ 𝐺 ∶ 𝑎 ∗ 𝑎−1 = 𝑎−1 ∗ 𝑎 = 𝑒
Si además vale
4) ∀ 𝑎, 𝑏 ∈ 𝐺 𝑎 ∗ 𝑏 = 𝑏 ∗ 𝑎
decimos (𝐺 ,∗ ) es grupo abeliano.
Observación
1) 𝑎−1 se llama el inverso de 𝑎 , 𝑒 se llama el neutro o identidad de G.
2) Si la operación en el grupo es la suma, nos referimos a G como grupo
aditivo, y en este caso al inverso lo llamamos “opuesto” y se denota -a o
“inverso aditivo”, al neutro lo simbolizamos con el 0.
3) Si la operación en el grupo es una multiplicación, nos referimos a G
como grupo multiplicativo.
4) Por cuestiones de practicidad en la escritura usaremos el símbolo del
producto “. “en lugar de ∗. Algunos autores en este caso, simbolizan al
neutro con el número 1, nosotros usaremos la letra e.
 3

Teorema
Si (𝐺, . ) es grupo entonces valen las siguientes afirmaciones:
1. El elemento neutro es único.
2. El inverso de un elemento es único.
3. ∀𝑎, 𝑏 ∈ 𝐺 (𝑎𝑏)−1 = 𝑏 −1 𝑎−1
4. ∀𝑎 ∈ 𝐺 (𝑎−1 )−1 = 𝑎
5. Para todo 𝑎, 𝑏 ∈ 𝐺 las ecuaciones 𝑎𝑥 = 𝑏, 𝑦𝑎 = 𝑏 tienen solución
única en 𝐺, las cuales son 𝑥 = 𝑎−1 𝑏, 𝑦 = 𝑏𝑎−1 .
6. ∀𝑎, 𝑏, 𝑐 ∈ 𝐺 (𝑎𝑏 = 𝑎𝑐 ⟹ 𝑏 = 𝑐) 𝑦 (𝑏𝑎 = 𝑐𝑎 ⟹ 𝑏 = 𝑐)
(ley de cancelación a izquierda y derecha).
Demostración
1. Supongamos que hay dos neutros e y e’, veamos que son iguales.
Por hipótesis:
𝑎) 𝑒 = 𝑒 𝑒′ porque e’ es neutro
𝑏) 𝑒 ′ = 𝑒 𝑒′ porque e es neutro
Luego, de las igualdades en a) y b) obtenemos 𝑒 = 𝑒′.
2. Sea 𝑎 ∈ 𝐺, queremos probar 𝑎−1 es único para a. Supongamos
que existen dos inversos, digamos 𝑎−1 𝑦 𝑎′ . Veamos que son
iguales.
𝑎−1 = 𝑎−1 𝑒 = 𝑎−1 (𝑎 𝑎′ ) = (𝑎−1 𝑎)𝑎′ = 𝑒𝑎′ = 𝑎′
3. Debemos probar (𝑎𝑏)−1 = 𝑏 −1 𝑎−1 , para ello veamos que éste
verifica las propiedades del inverso.
(𝑎𝑏)(𝑏−1 𝑎−1 ) = 𝑎(𝑏𝑏 −1 )𝑎−1 = 𝑎𝑒𝑎−1 = 𝑒
(𝑏 −1 𝑎−1 )(𝑎𝑏) = 𝑏 −1 (𝑎−1 𝑎)𝑏 = 𝑏 −1 𝑒𝑏 = 𝑒
Luego, por unicidad del inverso, (𝑎𝑏)−1 = 𝑏 −1 𝑎−1
4. Sea 𝑎 ∈ 𝐺 . Debemos probar (𝑎−1 )−1 = 𝑎.
Por ser G grupo:
∃𝑎−1 ∈ 𝐺 ∶ 𝑎 𝑎−1 = 𝑎−1 𝑎 = 𝑒
Como 𝑎−1 ∈ 𝐺 , existe (𝑎−1 )−1 ∈ 𝐺 tal que
(𝑎−1 )−1 𝑎−1 = 𝑎−1 (𝑎−1 )−1 = 𝑒
Luego, por unicidad del inverso, (𝑎−1 )−1 = 𝑎.
5. Sean 𝑎, 𝑏 ∈ 𝐺 . Veamos que 𝑎𝑥 = 𝑏 tiene solución única en G.
𝑎𝑥 = 𝑏 ⟹ 𝑎−1 (𝑎𝑥) = 𝑎−1 𝑏 ⟹ ⏟ (𝑎−1 𝑎) 𝑥 = 𝑎−1 𝑏 ⟹ 𝑥 = 𝑎−1 𝑏
𝑒
−1
Es decir: ∃ 𝑥 = 𝑎 𝑏 ∈ 𝐺 ∶ 𝑎𝑥 = 𝑏.
La unicidad se justifica por la forma en que obtuvimos 𝑥.
 4

De manera análoga se prueba la existencia y unicidad de la

solución de la otra ecuación.
6. Probemos la ley cancelativa a izquierda, de manera análoga se
prueba la cancelativa a derecha.
Sean 𝑎, 𝑏, 𝑐 ∈ 𝐺.
𝑎𝑏 = 𝑎𝑐 ⟹ 𝑎−1 (𝑎𝑏) = 𝑎−1 (𝑎𝑐) ⟹ ⏟
(𝑎−1 𝑎) 𝑏 = ⏟
(𝑎−1 𝑎) 𝑐 ⟹ 𝑏 = 𝑐
𝑒 𝑒

Ejemplos de grupos:
1) (ℤ, +) es grupo abeliano donde + es la suma usual.
(ℝ, + ) es grupo abeliano donde + es la suma usual.
(ℂ, + ) es grupo abeliano donde + es la suma usual.

2) (ℤ, . ) ¿es grupo?

No, ya que los únicos enteros que tienen inverso multiplicativo son 1
y -1.

3) (𝑀𝑛×𝑛 (ℝ), + ) es grupo con la suma usual de matrices.

Dadas 𝐴 = (𝑎𝑖𝑗 ), 𝐵 = (𝑏𝑖𝑗 ) 𝑠𝑒 𝑑𝑒𝑓𝑖𝑛𝑒 𝐴 + 𝐵 = (𝑎𝑖𝑗 + 𝑏𝑖𝑗 )
¿es abeliano?

4) 𝐺 = {𝐴 ∈ 𝑀𝑛×𝑛 (ℝ) ∶ det(𝐴) ≠ 0}

¿es grupo con el producto usual de matrices?
Sabemos que el producto usual de matrices reales es una operación
binaria en 𝑀𝑛×𝑛 (ℝ), pero debemos ver en este caso que sea
operación en G.
Sean 𝐴, 𝐵 ∈ 𝐺, ¿ 𝐴. 𝐵 ∈ 𝐺?
det(𝐴𝐵) = det(𝐴)
⏟ . det(𝐵)
⏟ ≠0
≠0 ≠0

∴ 𝐴𝐵 ∈ 𝐺
i) El producto de matrices es asociativo en 𝑀𝑛×𝑛 (ℝ) y
𝐺 ⊂ 𝑀𝑛×𝑛 (ℝ) , por lo tanto lo es en G.
1 𝑠𝑖 𝑖 = 𝑗
ii) ∃ 𝐼 = (𝐼𝑖𝑗 ) matriz identidad, donde 𝐼𝑖𝑗 = { y det(𝐼) =
0 𝑠𝑖 𝑖 ≠ 𝑗
1 ≠ 0, por lo tanto 𝐼 ∈ 𝐺. Además
𝐴. 𝐼 = 𝐼. 𝐴 = 𝐴 ∀𝐴 ∈ 𝐺 .
∴ ∃𝐼 ∈ 𝐺 ∶ ∀𝐴 ∈ 𝐺 𝐴. 𝐼 = 𝐼. 𝐴 = 𝐴
 5

iii) Si 𝐴 ∈ 𝐺, det(𝐴) ≠ 0 por lo tanto A es invertible, luego:

∃ 𝐴−1 ∈ 𝑀𝑛×𝑛 (ℝ): 𝐴−1 𝐴 = 𝐴𝐴−1 = 𝐼
det(𝐴−1 ) = [det(𝐴)]−1 ≠ 0 ∴ 𝐴−1 ∈ 𝐺
∀ 𝐴 ∈ 𝐺 ∃𝐴−1 ∈ 𝐺 ∶ 𝐴−1 𝐴 = 𝐴𝐴−1 = 𝐼
5) (ℤ𝑛 , +) es grupo abeliano donde la suma de clases se define como
𝑎̅ + 𝑏̅ = ̅̅̅̅̅̅̅
𝑎+𝑏.
Veamos que la suma está bien definida, es decir, que el resultado no
depende de los particulares representantes de la clase.
Sean 𝑥 ≡ 𝑎(𝑛) y 𝑐 ≡ 𝑏(𝑛) quiero probar 𝑎̅ + 𝑏̅ = 𝑥̅ + 𝑐̅, lo cual
equivale a ̅̅̅̅̅̅̅
𝑎 + 𝑏 = ̅̅̅̅̅̅̅
𝑥+𝑐
Para probar que esas clases son iguales es suficiente probar que los
enteros 𝑎 + 𝑏 𝑦 𝑥 + 𝑐 están relacionados, es decir, son congruentes
módulo n.
𝑎 + 𝑏 − (𝑥 + 𝑐) = (𝑎 − 𝑥) + (𝑏 − 𝑐) = 𝑘1 𝑛 + 𝑘2 𝑛 = (𝑘
⏟ 1 + 𝑘2 ) 𝑛
∈ℤ

⟹ 𝑛|[(𝑎 + 𝑏) − (𝑥 + 𝑐)] ⟹ 𝑎 + 𝑏 ≡ 𝑥 + 𝑐 (𝑛).

Queda como ejercicio verificar los axiomas de grupo.
Veamos tres casos particulares de ℤ𝑛 .
• ℤ2 = {0̅, 1̅}
+ 0̅ 1̅
0̅ 0̅ ̅1
1̅ 1̅ 0̅
Neutro: 0̅
El opuesto de 1̅ es él mismo.
• ℤ3 = {0̅, 1̅, 2̅ }
+ 0̅ 1̅ 2̅
0̅ 0̅ ̅1 2̅
1̅ 1̅ 2̅ 0̅
2̅ 2̅ 0̅ 1̅
Neutro: 0̅
Opuesto de 1̅ es 2̅ , y viceversa.
 6

• ℤ4 = {0̅, 1̅, 2̅, 3̅ }

+ 0̅ 1̅ 2̅ 3̅
0̅ 0̅ ̅1 2̅ 3̅
1̅ 1̅ 2̅ 3̅ 0̅
2̅ 2̅ 3̅ 0̅ 1̅
3̅ 3̅ 0̅ 1̅ 2̅
1̅ y 3̅ son opuestos. 2̅ es opuesto de él mismo.
Grupo de las permutaciones
Sea 𝑋 ≠ ∅, 𝐴(𝑋) = {𝑓: 𝑋 → 𝑋/ 𝑓𝑒𝑠 𝑏𝑖𝑦𝑒𝑐𝑐𝑖ó𝑛 } . El conjunto 𝐴(𝑋) junto
con la composición de funciones es grupo.
Veamos que la operación es cerrada en 𝐴(𝑋).
Sean 𝑓, 𝑔 ∈ 𝐴(𝑋). Entonces 𝑓 𝑦 𝑔 son biyecciones, luego la función
compuesta 𝑓 ∘ 𝑔: 𝑋 → 𝑋 es biyección.
∴ 𝑓 ∘ 𝑔 ∈ 𝐴(𝑋)
1) La composición es asociativa.
Sean 𝑓, 𝑔, ℎ ∈ 𝐴(𝑋) y sea 𝑥 ∈ 𝑋.

[(𝑓 ∘ 𝑔) ∘ ℎ](𝑥) = (𝑓 ∘ 𝑔)(ℎ(𝑥)) = 𝑓 (𝑔(ℎ(𝑥))) (*)

[𝑓 ∘ (𝑔 ∘ ℎ)](𝑥) = 𝑓((𝑔 ∘ ℎ)(𝑥)) = 𝑓 (𝑔(ℎ(𝑥))) (**)

De (*) y (**) resulta (𝑓 ∘ 𝑔) ∘ ℎ = 𝑓 ∘ (𝑔 ∘ ℎ)

∴ ∘ es asociativa.
2) Existencia del neutro.
𝑖𝑑𝑋 : 𝑋 ⟶ 𝑋
Sea biyección. Sea 𝑓 ∈ 𝐴(𝑋) y 𝑥 ∈ 𝑋.
𝑥 ⟼ 𝑥
(𝑓 ∘ 𝑖𝑑𝑋 )(𝑥) = 𝑓(𝑖𝑑(𝑥)) = 𝑓(𝑥)

(𝑖𝑑𝑋 ∘ 𝑓)(𝑥) = 𝑖𝑑(𝑓(𝑥)) = 𝑓(𝑥)

∴ 𝑖𝑑𝑋 es el neutro en 𝐴(𝑋)
3) Existencia del inverso de cada elemento.
Sea 𝑓 ∈ 𝐴(𝑋). Como f es biyección existe 𝑓 −1 ∈ 𝐴(𝑋) tal que
 7

𝑓 ∘ 𝑓 −1 = 𝑖𝑑𝑋 = 𝑓 −1 ∘ 𝑓.
Luego:
∀𝑓 ∈ 𝐴(𝑋) ∃ 𝑓 −1 ∈ 𝐴(𝑋): 𝑓 ∘ 𝑓 −1 = 𝑖𝑑𝑋 = 𝑓 −1 ∘ 𝑓
Por 1), 2) y 3) (𝐴(𝑋),∘) es grupo, llamado grupo de las permutaciones en X.
Para entender un poco a este grupo, consideremos el caso 𝑋 = {1,2,3].
¿Cuáles son los elementos de 𝐴(𝑋)?
𝐴(𝑋) = {𝑓: {1,2,3} → {1,2,3} /𝑓 𝑏𝑖𝑦𝑒𝑐𝑐𝑖ó𝑛}
En 𝐴(𝑋) están:
1 2 3 1 2 3
𝑖𝑑 = ( ) = (1), ( ) = (23) se llama 2-ciclo
1 2 3 1 3 2
1 2 3 1 2 3
𝜎=( ) = (12), 𝜏 = ( ) = (123)se llama 3-ciclo
2 1 3 2 3 1
1 2 3 1 2 3
( ) = (132) es un 3-ciclo, ( ) = (13) es un 2-ciclo
3 1 2 3 2 1
Es decir, hemos encontrado 3.2.1 permutaciones de 3 elementos.
Luego |𝐴(𝑋)| = 3.2.1 = 6
Notar que
1 2 3 1 2 3 1 2 3
𝜏∘𝜎 =( )∘( )=( ),
2 3 1 2 1 3 3 2 1
1 2 3 1 2 3 1 2 3
𝜎∘ 𝜏=( )∘( ) =( ),
2 1 3 2 3 1 1 3 2
1 2 3 1 2 3 1 2 3
𝜎2 = 𝜎 ∘ 𝜎 = ( )∘( )=( ) = 𝑖𝑑,
1 2 3 1 2 3 1 2 3
1 2 3 1 2 3 1 2 3
𝜏2 = 𝜏 ∘ 𝜏 = ( )∘( )=( )
2 3 1 2 3 1 3 1 2
1 2 3 1 2 3 1 2 3
𝜏3 = 𝜏2 ∘ 𝜏 = ( )∘( )=( ) = 𝑖𝑑
3 1 2 2 3 1 1 2 3
En general, cuando 𝑋 = 𝐼𝑛 = {1,2, . . , 𝑛} , el grupo de las permutaciones de 𝑋,
es decir, 𝐴(𝑋) se denota como 𝑆𝑛 y tiene orden |𝑆𝑛 | = 𝑛!
Volviendo a nuestro caso particular, podemos escribir:
𝑆3 = {𝑖𝑑, 𝜎, 𝜏, 𝜏 ∘ 𝜎, 𝜎 ∘ 𝜏, 𝜏 2 } = {(1), (12), (123), (13), (23), (132)}