Grupos.

Erick Ivan Rodríguez Castro

26 de octubre de 2022

Cualquier monoide ⟨X, ∗⟩ que tenga la propiedad de que para cualquier elemento
x ∈ X existe un elemento x−1 ∈ X tal que x ∗ x−1 = e donde e es el elemento
identidad de X será llamado grupo. A manera de recordatorio, presentamos la
siguiente definición.
Definición 1 (Grupo). Un grupo es un conjunto G junto con una operación
binaria ∗ en G que tiene las siguientes propiedades:

1. Propiedad Asociativa. Para todo a, b, c ∈ G, se cumple que a ∗ (b ∗ c) =

(a ∗ b) ∗ c
2. Existencia de una identidad. Existe un elemento e ∈ G tal que para todo
a ∈ G, se cumple a ∗ e = e ∗ a = a.
3. Existencia de inversos. Para todo elemento a ∈ G, existe un elemento a−1
tal que a ∗ a−1 = a−1 ∗ a = e.

Seguramente ya conocen varios ejemplos de grupos, como los siguientes:

⟨Z, +⟩. Es decir, los números enteros con la suma.

La suma en los enteros es asociativa. El 0 es la identidad de la operación suma.
Finalmente, dado a ∈ Z, consideramos −a ∈ Z y tenemos que a + (−a) = 0.
⟨2Z, +⟩. Es decir, el conjunto de los enteros pares con la suma.
La suma en los enteros es asociativa, por lo que restringida a los pares,
sigue siendo asociativa. El 0 es par y funciona como identidad de la suma.
Finalmente, basta notar que si a ∈ Z es par, −a ∈ Z también es par.
El conjunto de matrices de tamaño n × m con entradas en los enteros lo
denotaremos como Mn×m [Z]. Tenemos que ⟨Mn×m [Z], +⟩ es un grupo.
Para argumentar que el conjunto de matrices de tamaño n × m con entradas
en los enteros con la suma es un grupo, recordemos que la suma de matrices

1
 del mismo tamaño es entrada entrada. Es decir, Si A, B ∈ Mn×m [R], para
conocer la matriz A + B, basta con notar que la entrada i, j-ésima de la
matriz A + B es la suma de las entradas i, j-ésimas de las matrices A y B,
respectivamente.
Sean A, B, C ∈ Mn×m [R]. Queremos argumentar que A + (B + C) = (A +
B) + C. Dos matrices son iguales si son iguales entrada a entrada, por lo
que basta analizar de manera general qué sucede con las entradas i, j-ésimas
respectivas.
La entrada i, j-ésimas de la matriz A + (B + C) es ai,j + (bi,j + ci,j ), mientras
que la entrada i, j-ésima de la matriz (A + B) + C es (ai,j + bi,j ) + ci,j ,
donde ai,j , bi,j , ci,j son las entradas i, j-ésimas de las matrices A, B y C
respectivamente, es decir, las entradas son números enteros. Como la suma
de enteros es asociativa, entonces tenemos que ai,j + (bi,j + ci,j ) = (ai,j +
bi,j ) + ci,j . Por lo tanto, hemos argumentado que entrada a entrada, tenemos
que A + (B + C) = (A + B) + C.
La identidad de la suma en las matrices es la matriz compuesta de 0’s en
todas sus entradas, pues el 0 es identidad de los enteros. Por lo que, al
sumar a cualquier matriz, la matriz de puros ceros, no sufrira cambio alguno.
Finalmente, teniendo una matriz, su inversa con respecto a la suma será la
matriz compuesta por los inversos aditivos entrada a entrada.

En el ejemplo anterior estamos cometiendo un abuso de notación, pues utilizamos

el símbolo + indiscriminadamente para denotar la suma de enteros como la suma
de matrices. En este momento en el que estamos familiarizando con el concepto de
grupos, es útil hacer cierta distinción para no confundirnos. De tal manera que en
lo sucesivo, usaremos el símbolo + junto con el conjunto del que es operación como
subíndice para poder diferenciar. Por ejemplo, para denotar la suma de los enteros,
usaremos el símbolo +Z . Para denotar la suma de matrices, usaremos +Mn×m [R] ,
etc.

Definición 2 (Grupos abelianos). Un grupo ⟨G, ∗⟩ es un grupo abeliano, si ∗ es

conmutativa, es decir, para todos a, b ∈ G se cumple a ∗ b = b ∗ a.

Definición 3. Sea ⟨G, ∗⟩ un grupo. Si G es un conjunto con n elementos, diremos

que G tiene orden n o que el orden de G es n.

Ejemplo 4. Dado n ∈ N \ {0}, definimos Zn = {0, ..., n}. Definimos la operación

+Zn : Zn × Zn → Zn dada por la siguiente regla de asociación: Dados a, b ∈ Zn ,
a +Zn b es el residuo obtenido de dividir a +Z b entre n. Note que para definir la
suma en Zn estamos usando la suma en los enteros y el algoritmo de la división.
Si no conoce qué es el algoritmo de la división, recuerde el proceso de la casita que

2
practicábamos en la primaria. Resulta que ⟨Zn , +Zn ⟩ es un grupo de orden n. No
les voy a pedir que demuestren esto, pero para que les quede claro, aquí tenemos
el siguiente ejercicio.

Ejercicio 5. Demuestre que ⟨Z3 , +Z3 ⟩ es un grupo.

Con esto hemos mostrado que hay grupos finitos de cualquier tamaño, es decir,
para cualquier número natural n distinto de cero, el grupo ⟨Zn , +Zn ⟩ es un grupo
de orden n. A continuación presentamos otro ejemplo interesante de un grupo de
orden finito.
Consideremos el conjunto S = {i, −i, 1, −1}, donde i es el número complejo tal
que i2 = −1. El conjunto S junto con el producto de números complejos forman
un grupo de orden 4. Dejaremos como un ejercicio sencillo demostrar esto.

Ejercicio 6. ⟨S, ·C ⟩ es un grupo. Donde S = {i, −i, 1, −1} y ·C es el producto de

los números complejos.

En el siguiente documento veremos algunas propiedades de los grupos.