Álgebra Abstrata: Teoria e Aplicações

Subseção 13.6.1 Clasificación de Grupos Finitos

No se requieren herramientas sofisticadas para entender los grupos de orden \(2p\text{,}\) donde \(p\) es un primo impar. Hay dos posibilidades — un grupo cíclico de orden \(2p\) y el grupo dihedral de orden \(2p\) que es el conjunto de simetrías del polígono regular de \(p\) lados. La demostración requiere un razonamiento detallado y cuidadoso, pero los teoremas requeridos se refieren principalmente a los órdenes de los elementos, al Teoremas de Lagrange y a clases laterales. Vea el Ejercicio 9.3.55. Esto resuelve los órdenes \(n=6,\,10,\,14\text{.}\)

Para \(n=9\text{,}\) el Corolario 14.2.5 que viene, nos dirá que todo grupo de orden \(p^2\) (donde \(p\) es un primo) es abeliano. Así, por lo que sabemos de esta sección, las únicas dos posibilidades son \({\mathbb Z}_9\) y \({\mathbb Z}_3\times{\mathbb Z}_3\text{.}\) Similarmente, el Teorema 15.2.2 que viene, nos dirá que todo grupo de orden \(n=15\) es abeliano. Eso solo deja una posibilidad para este orden: \({\mathbb Z}_3\times{\mathbb Z}_5\cong{\mathbb Z}_{15}\text{.}\)

Solo nos quedan dos órdenes para analizar: \(n=8\) y \(n=12\text{.}\) Las posibilidades son grupos que ya conocemos, con una excepción. Pero el análisis de que estas son las únicas posibilidades es más complicado, y no lo completaremos ahora, ni en los próximos capítulos. Notemos que \(n=16\) es aún más complicado, con \(14\) posibilidades diferentes (lo que explica por qué nos detuvimos acá).

Para \(n=8\) existen \(3\) grupos abelianos, y los dos grupos no-abelianos son el grupo dihedral (simetrías de un cuadrado) y el grupo de los cuaterniones.

Para \(n=12\) existen \(2\) grupos abelianos, y \(3\) no-abelianos. Conocemos dos de los grupos no-abelianos, el grupo dihedral y en grupo alternante en \(4\) símbolos (que también es el grupo de simetrías de un tetraedro). El tercer grupo no-abeliano es un ejemplo de un grupo “dicíclico”, que es una familia infinita de grupos, cada uno de orden divisible por \(4\text{.}\) El grupo dicíclico de orden \(12\) también puede ser construido como un “producto semidirecto” de dos grupos cíclicos — esta es una construcción que vale la pena conocer a medida que prosiga sus estudios de teoría de grupos. El grupo dicíclico de orden \(8\) es el grupo de los cuaterniones y más en general, los grupos dicíclicos de orden \(2^k\text{,}\) \(k>2\) se conocen como “grupos de cuaterniones generalizados.”

Los siguientes ejemplos le mostrarán como construir algunos de estos grupos, mientras ejercita algunos de los comandos y nos permite a la vez estar más seguros que la siguiente tabla es correcta.

Subseção 13.6.2 Grupos de Orden Pequeño como grupos de Permutaciones

Acá listamos construcciones, como grupos de permutaciones en Sage, para todos los grupos de orden menor a \(16\text{.}\)