← Blog

Grupos finitos e infinitos: cuaternios, grafo de ciclos y estructuras clásicas

2026-06-28

Los grupos finitos pequeños forman un catálogo sorprendentemente rico. Además de los cíclicos $C_n$, diédricos $D_n$ y simétricos $S_n$, están los alternados $A_n$, el grupo de cuaternios $Q_8$, el de Klein $V$ y los productos directos como $C_2\times C_3$ o $C_2^3$. De orden 8, por ejemplo, existen exactamente cinco grupos no isomorfos: $C_8$, $C_4\times C_2$, $C_2^3$, $D_4$ y $Q_8$.

Una visualización especialmente clara de su estructura es el grafo de ciclos: cada elemento es un nodo (el neutro en el centro) y cada bucle es un subgrupo cíclico —los elementos que son potencias de uno dado—. En los grupos cíclicos aparece un único bucle: el polígono regular de las raíces $n$-ésimas de la unidad, $e^{2\pi i k/n}$. El grafo distingue de un vistazo grupos del mismo orden que la tabla de Cayley hace parecer similares.

Las estructuras infinitas clásicas completan el panorama: los enteros $\mathbb{Z}$ (anillo: no todo elemento tiene inverso multiplicativo), los racionales $\mathbb{Q}$, reales $\mathbb{R}$ y complejos $\mathbb{C}$ (cuerpos), los cuaternios $\mathbb{H}$ (anillo de división no conmutativo: $i\cdot j = k$ pero $j\cdot i = -k$), los enteros de Gauss $\mathbb{Z}[i]$ y los cuerpos cuadráticos $\mathbb{Q}(\sqrt{2})$, donde $(1+\sqrt{2})(1-\sqrt{2}) = -1$.

La calculadora de grupos de MathOperator admite todos los tipos anteriores —Q8, A4, C2xC3, D4xC2, o Z, H, Q(sqrt(2)) en la variante infinita—, incluye un selector por orden inspirado en la List of small groups y calcula los ejemplos de verdad en lugar de citarlos.