Grupos: el lenguaje de la simetría
“Un grupo es una colección de movimientos reversibles — el mismísimo lenguaje de la simetría.”
La fórmula
(G, ∗): ① a∗b ∈ G ② (a∗b)∗c = a∗(b∗c) ③ a∗e = e∗a = a ④ a∗a⁻¹ = eCómo leerla: un conjunto G con una operación ∗ es un grupo cuando cumple clausura, asociatividad, un elemento identidad e inversos
- a∗b ∈ G
- — combinar dos elementos permanece dentro de G
- (a∗b)∗c = a∗(b∗c)
- — cómo agrupas las operaciones no cambia el resultado
- a∗e = e∗a = a
- — un elemento e que deja a los demás sin cambios (como 0 o 1)
- a∗a⁻¹ = e
- — el compañero que deshace a de vuelta a la identidad
El gancho
La suma de enteros, la aritmética del reloj, las rotaciones de un cubo, el cubo de Rubik — cosas radicalmente distintas comparten un mismo esqueleto. Ese esqueleto es un 'grupo'.
En palabras simples
Un grupo es un conjunto más una operación, donde la operación obedece cuatro reglas: (1) los resultados nunca se escapan (clausura), (2) el agrupamiento no importa (asociatividad), (3) hay una identidad que no hace nada, y (4) todo elemento tiene un inverso que lo deshace.
La intuición
Un grupo es el lenguaje de la simetría. Piensa en las cuatro rotaciones de un cuadrado de 90° cada una — compón cualquiera de ellas y caes en una de las cuatro (clausura), no hacer nada es la identidad, girar hacia el otro lado es el inverso. Esta 'colección de movimientos reversibles' es un grupo. Toda operación que deja un objeto con el mismo aspecto forma un grupo.
Cómo se construye
Los cuatro axiomas son las piezas: la clausura da 'permanecer en el sistema', la identidad da 'un punto de referencia', los inversos dan 'deshacer', y la asociatividad da 'encadenar sin preocuparse por el orden'. Estas reglas mínimas obligan a una estructura sorprendentemente rica. Nota: la conmutatividad (a∗b=b∗a) no es obligatoria.
Ejemplo
Los enteros bajo la suma (ℤ,+): sumar dos enteros da un entero (clausura), 0 es la identidad, el inverso de n es −n, y se cumple la asociatividad — así que es un grupo. La aritmética del reloj {0,1,2,3} bajo la suma módulo 4 también es un grupo: 3+3=6≡2 permanece dentro, y cada elemento tiene un compañero.
Error común
Un grupo no tiene por qué ser conmutativo (a∗b=b∗a). Por ejemplo, las rotaciones 3D, la multiplicación de matrices y los movimientos del cubo de Rubik dan resultados distintos si intercambias el orden — y aun así cada uno sigue siendo un grupo perfectamente válido.
Dónde se usa
Simetrías de cristales (cristalografía), clasificación de partículas (el Modelo Estándar), códigos correctores de errores y criptografía RSA/de curva elíptica, resolver el cubo de Rubik, decidir si una ecuación es resoluble por radicales — los grupos se esconden dondequiera que haya simetría y estructura.
De dónde viene
Évariste Galois, con 20 años, inventó los grupos en la década de 1830 para explicar por qué las ecuaciones de grado cinco o mayor no son resolubles por radicales. Garabateó la teoría la noche antes de un duelo y murió al día siguiente.
Requisitos previos
Comprobación rápida
En el grupo (ℤ,+), ¿cuál es el inverso del elemento 5?
- 5
- −5✓
- 0
- 1/5
Práctica
¿Cuál es el elemento identidad del grupo (ℤ,+)? (responde con un número)
Respuesta: 0
- la identidad e cumple a+e=a
- a+0=a, así que e=0
Idea clave: La identidad es 0 para un grupo aditivo, 1 para uno multiplicativo.
Las rotaciones de un cuadrado {0°, 90°, 180°, 270°} forman un grupo bajo composición. ¿Cuántos elementos tiene?
Respuesta: 4
- hay cuatro rotaciones distintas
- así que el orden (número de elementos) es 4
Idea clave: El orden de un grupo es su número de elementos.
En el grupo Z₅ (suma módulo 5), encuentra el inverso del elemento 2.
Respuesta: 3
- busca x tal que 2 + x ≡ 0 (mod 5)
- 2 + 3 = 5 ≡ 0, así que el inverso es 3
Idea clave: En la suma módulo n, el inverso de a es n−a.
Decide si los enteros impares forman un grupo bajo la suma, y escribe tu razonamiento.
Respuesta: undefined
- impar + impar = par → el resultado se escapa (falla la clausura)
- la identidad 0 (par) tampoco está en el conjunto
- por lo tanto no es un grupo
Idea clave: Rompe aunque sea un axioma y ya no es un grupo — revisa la clausura primero.