Seção 14.7 Sage
Los grupos se pueden presentar de diversas formas, tales como conjuntos de permutaciones, como conjuntos de matrices o como conjuntos de símbolos abstractos relacionados por ciertas reglas (“presentaciones”) y en muchas otras formas más. Nos hemos concentrado en grupos de permutaciones por su tangibilidad, con elementos escritos como funciones, y por lo bien implementados que están en Sage. Las acciones de grupo son de gran interés cuando el conjunto en el que se actúa es el grupo mismo, y la acción de grupos figura de forma prominente en las demostraciones de los principales teoremas del próximo capítulo. Pero, cada vez que tenemos una acción de un grupo en un conjunto, podemos pensar el grupo como un grupo de permutaciones en los elementos del conjunto. Por esto los grupos de permutaciones forman un área de teoría de grupos de interés independiente, con sus propias definiciones y teoremas.
Describiremos los comandos de Sage aplicables cuando un acción de grupo aparece naturalmente vía conjugación, y luego pasaremos a la situación más general.
Subseção 14.7.1 Conjugación como Acción de Grupo
Podemos creer que debemos ser cuidadosos con la forma en que Sage define la conjugación (\(gxg^{-1}\) versus \(g^{-1}xg\)) y la diferencia entre Sage y el texto sobre el orden de los productos. Pero, si nos fijamos en la definición de centro y de subgrupo centralizador podemos notar que cualquier diferencia de orden es irrelevante. (Por algo no tenemos conjugación izquierda y derecha como conceptos) A continuación los comandos de acción de grupos para la acción particular de conjugar elementos del grupo.
Sage tiene un método .center() que entrega el subgrupo de los puntos fijos. El método .centralizer(g), entrega un subgrupo que es el estabilizador del elemento g. Finalmente, las órbitas están dadas por clases de conjugación, pero Sage no nos inundará con las clases de conjugación completas y en su lugar nos entrega una lista que contiene un elemento por clase de conjugación, es decir una lista de representantes, por medio del método .conjugacy_classes_representatives(). Podemos reconstruir manualmente una clase de conjugación a partir de un elemento, como haremos en el ejemplo de abajo.
Acá los comandos de arriba en acción. Notemos que un grupo abeliano sería una mala elección para este ejemplo.
Note que en la clase de conjugación construida todos los elementos tienen la misma estructura de ciclos, lo que no es accidental. Note además que rep y a son el mismo elemento, y que el producto del orden del centralizador (\(4\)) por el tamaño de la clase (\(4\)) es igual al orden del grupo (\(16\)), lo que es una variante de la conclusión del Teorema 14.1.11.
Compruebe que la siguiente es una ejemplificación de la ecuación de clase en el caso especial de acción por conjugación, pero sería válida para cualquier grupo, en lugar de D.
Subseção 14.7.2 Automorfismos de un Grafo
Como ya mencionamos, la acción de grupo puede ser aún más interesante cuando el conjunto en el que se actúa es diferente al grupo mismo. Una clase de ejemplos es el grupo de simetrías de un sólido geométrico, donde los objetos en el conjunto son los vértices del sólido, o quizás otro aspecto de éste como aristas, caras o diagonales. En este caso, el grupo está formado por el conjunto de aquellas permutaciones que mueven el sólido pero lo dejan ocupando el mismo espacio que antes del movimiento (“movimientos rígidos”).
En esta sección examinaremos algo muy similar. Un grafo es un objeto matemático, que consiste de vértices y aristas, pero la única estructura es si un par de vértices dado está o no conectado por una arista. El grupo consiste de aquellas permutaciones de los vértices que preservan la estructura, es decir, permutaciones de vértices que lleva aristas en aristas y no-aristas en no-aristas. Es muy similar a un grupo de simetría, pero no hay noción alguna de relación geométrica que se preserve.
Acá hay un ejemplo. Deberá ejecutar la primera celda para definir el grafo y obtener una representación gráfica.
Se debiera ver como los vértices y aristas de un cubo, pero puede que no se vea del todo regular, lo que está bien, pues la geometría no es relevante. Los vértices están etiquetados con cadenas de tres dígitos binarios, \(0\) o \(1\text{,}\) y dos vétrices están conectados por una arista si sus etiquetas diferen en exactamente una posición. Podríamos esperar que el grupo de simetría tuviera orden \(24\text{,}\) en lugar de orden \(48\text{,}\) dado su parecido a un cubo (tanto en apariencia como en nombre). Sin embargo, al no estar restringidos a movimientos rígidos, tenemos nuevas permutaciones que preservan las aristas. Una en particular es el intercambio de dos “caras opuestas.” Localice los dos \(4\)-ciclos opuestos entre sí, listados en el mismo orden: \(000, 010, 110, 100\) y \(001, 011, 111, 101\text{.}\) Notemos que cada ciclo se ve muy similar, pero los vértices de uno terminan en 0 y los del otro en 1.
Podemos crear explícitamente la permutación que intercambia estas dos caras opuestas, usando una versión textual de la permutación en notación de ciclos.
Podemos usar este grupo para ilustrar los comandos de Sage relevantes para la acción de grupos.
Esta acción tiene solo una (gran) órbita. Esto quiere decir que cualquier vértices es “como” cualquier otro. Cuando un grupo de permutaciones se comporta de esta manera, decimos que el grupo es transitivo.
Si cada vértice es “igual” podemos calcular el estabilizador de cualquier vértice, pues todos serán isomorfos. Como el vértice \(000\) es el más simple en algún sentido, calcularemos su estabilizador.
Que S tenga \(6\) elementos no es una sorpresa, pues el grupo tiene orden \(48\) y el tamaño de la única órbita es \(8\text{.}\) Pero podemos dar un paso más. Los tres vértices del grafo adyacentes directamente con \(000\) son \(100\text{,}\) \(010\text{,}\) \(001\text{.}\) Cualquier automorfismo del grafo que fije \(000\) debe entonces permutar los tres vértices adyacentes. Hay \(3!=6\) posibles maneras de hacer esto, y podemos verificar que cada una aparece en una de los seis elementos del estabilizador. Así podemos entender un grupo transitivo considerando el estabilizador que es más pequeño, y en este caso vemos que cada elemento del estabilizador está determinado por como permuta a los vecinos del vértice estabilizado.
Los grupos transitivos son tan inusuales como importantes. En contraste, acá hay un grupo de automorfismos de un grafo que está lejos de ser transitivo (sin ser trivial). Un camino es un grafo que tiene todos sus vértices en una línea. Ejecute la primera celda para ver un camino en \(11\) vértices.
El grupo de automorfismos es la identidad (siempre) y una permutación de orden \(2\) que “da vuelta” el camino de un lado para el otro. El grupo está lejos de ser transitivo y hay muchas órbitas.
La mayoría de los estabilizadores es trivial, con una excepción. Como subgrupos de un grupo de orden \(2\text{,}\) realmente no hay muchas opciones.
¿Cómo habría sido diferente este ejemplo final de haber usado un camino en \(10\) vértices?