Teoría de grupos — grupos, subgrupos y homomorfismos

La teoría de grupos explica cuándo un conjunto y una operación encajan de manera estable. Un grupo tiene cuatro ingredientes: cierre, asociatividad, un elemento identidad y un inverso para cada elemento. Un subgrupo es un grupo más pequeño dentro de uno mayor, y un homomorfismo es una aplicación que preserva la operación.

Si solo recuerdas un ejemplo, usa los enteros con la suma. Muestra la definición de grupo, da un subgrupo claro y hace que la idea de homomorfismo sea fácil de comprobar.

Definición de grupo: los cuatro axiomas

Un grupo es un conjunto $G$ junto con una operación, a menudo escrita de forma multiplicativa como $ab$, tal que se cumplen cuatro condiciones:

1. Cierre: si $a,b \in G$, entonces $ab \in G$.
2. Asociatividad: $(ab)c = a(bc)$ para todos $a,b,c \in G$.
3. Identidad: existe un elemento $e \in G$ tal que $ea = ae = a$ para todo $a \in G$.
4. Inversos: para cada $a \in G$, existe un elemento $a^{-1} \in G$ tal que $aa^{-1} = a^{-1}a = e$.

Esa es la definición completa. Si falla хотя sea una sola condición, el conjunto con esa operación no es un grupo.

Por qué importa la definición

La definición te da un sistema en el que puedes combinar elementos, deshacer lo que hiciste y confiar en que reagrupar no cambia el resultado. Por eso los grupos aparecen en simetría, aritmética modular, permutaciones y álgebra de matrices.

Si piensas en una operación como un movimiento permitido, entonces un grupo es un sistema donde los movimientos permitidos se pueden combinar, existe un movimiento que no hace nada y cada movimiento se puede revertir.

Ejemplo: por qué $(\mathbb{Z}, +)$ es un grupo

Toma el conjunto de todos los enteros $\mathbb{Z} = \{\dots,-2,-1,0,1,2,\dots\}$ con la operación suma.

Esto es un grupo:

• Se cumple el cierre porque la suma de dos enteros sigue siendo un entero.
• Se cumple la asociatividad porque $(a+b)+c = a+(b+c)$ para enteros.
• El elemento identidad es $0$ porque $a+0 = 0+a = a$.
• El inverso de $a$ es $-a$ porque $a + (-a) = 0$.

Así que $(\mathbb{Z}, +)$ es un grupo.

Este ejemplo es el punto de partida adecuado porque también hace concretos los subgrupos y los homomorfismos.

Definición de subgrupo con los enteros pares

Un subgrupo es un subconjunto de un grupo que es a su vez un grupo bajo la misma operación.

Dentro de $(\mathbb{Z}, +)$, considera los enteros pares:

$$2\mathbb{Z} = \{\dots,-4,-2,0,2,4,\dots\}$$

Este es un subgrupo de $\mathbb{Z}$ bajo la suma porque:

• sumar dos enteros pares da otro entero par
• $0$ es par, así que la identidad sigue estando
• el opuesto de un entero par sigue siendo par

Así que $2\mathbb{Z}$ no es solo un subconjunto. Conserva las mismas reglas algebraicas que el grupo más grande.

Esa es la idea principal de un subgrupo: es un mundo cerrado más pequeño donde la misma operación sigue funcionando.

Definición de homomorfismo: preservar la operación

Un homomorfismo es una función entre grupos que preserva la operación.

Si $f : G \to H$ es un homomorfismo, entonces

$$f(ab) = f(a)f(b)$$

para todos $a,b \in G$.

Los símbolos exactos dependen de los grupos involucrados. Si la operación es la suma, la misma condición suele escribirse como

$$f(a+b) = f(a) + f(b)$$

La idea es la misma: primero combinas y luego aplicas la función, o primero aplicas la función y luego combinas. Un homomorfismo hace que esos dos caminos coincidan.

Ejemplo resuelto: aplicación de paridad de $\mathbb{Z}$ a $\mathbb{Z}_2$

Define $f : \mathbb{Z} \to \mathbb{Z}_2$ por

$$f(n) = \text{el resto de } n \text{ módulo } 2$$

Aquí $\mathbb{Z}_2 = \{0,1\}$ con suma módulo $2$.

Esta función registra si un entero es par o impar. Para comprobar que es un homomorfismo, compara ambos lados:

$$f(a+b)$$

es la paridad de la suma, mientras que

$$f(a) + f(b)$$

suma las dos paridades módulo $2$.

Eso coincide para todos los enteros $a$ y $b$, así que

$$f(a+b) = f(a) + f(b)$$

en $\mathbb{Z}_2$.

Por ejemplo, si $a=3$ y $b=5$, entonces

$$f(3) = 1,\qquad f(5) = 1,\qquad f(3+5) = f(8) = 0$$

y

$$f(3)+f(5) = 1+1 = 0 \pmod{2}$$

Así que la aplicación preserva la operación del grupo.

Errores comunes en teoría de grupos

Olvidar que la operación forma parte de los datos

Decir “los enteros forman un grupo” es incompleto a menos que la operación esté clara. Los enteros forman un grupo bajo la suma, pero no bajo la multiplicación, porque la mayoría de los enteros no tienen inversos multiplicativos dentro de $\mathbb{Z}$.

Suponer que todo subconjunto es un subgrupo

Un subconjunto tiene que conservar la identidad, ser cerrado bajo la operación y contener inversos. Por ejemplo, los enteros positivos no son un subgrupo de $(\mathbb{Z}, +)$ porque no contienen a $0$ ni contienen inversos aditivos.

Tratar los homomorfismos como funciones arbitrarias

Un homomorfismo no es cualquier aplicación entre conjuntos. Su función principal es preservar la operación. Si esa condición falla, no es un homomorfismo de grupos.

Mezclar notación entre grupos distintos

En un grupo la operación puede ser suma, en otro multiplicación y en otro composición. La regla del homomorfismo debe usar la operación correcta en cada lado.

Dónde se usa la teoría de grupos

La teoría de grupos se usa siempre que un problema tiene una estructura repetible y reversible. Algunos ejemplos comunes incluyen las simetrías de figuras, la aritmética modular, las permutaciones, el álgebra lineal y partes de la física.

No necesitas ejemplos avanzados para aprovecharla. Incluso en un nivel básico, la teoría de grupos te ayuda a reconocer cuándo problemas distintos comparten la misma estructura subyacente.

Prueba un problema similar

Empieza con $(\mathbb{Z}, +)$. Comprueba si los múltiplos de $3$ forman un subgrupo. Luego prueba la aplicación $g(n) = n \bmod 3$ de $\mathbb{Z}$ a $\mathbb{Z}_3$ y verifica si

$$g(a+b) = g(a) + g(b)$$

se cumple módulo $3$.

Si quieres dar un paso más, prueba las mismas preguntas con las rotaciones de un triángulo equilátero. Ahí es donde la teoría de grupos suele empezar a sentirse como una herramienta y no solo como una definición.