Seção 3.7 Sage
Muchos de los grupos discutidos en este capítulo están disponibles para ser estudiados en Sage. Es importante entender que los conjuntos que forman objetos algebraicos (grupos en este capítulo) se llaman “parents” en Sage, y elementos de estos objetos se llaman “elements.” Así cada element pertenece a un parent (en otras palabras, está contenido en algún conjunto). Podemos preguntar por propiedades de los conjuntos (¿finito? ¿orden? ¿abeliano?), y podemos preguntar sobre propiedades de los elementos individuales (¿identidad? inverso?). En lo que sigue mostraremos como crear algunos de estos grupos comunes y empezaremos a explorar sus propiedades con Sage.
Subseção 3.7.1 Enteros mód n
Queremos trabajar con elementos de Z8. Si escribimos 6 en una celda Sage, ¿qué significará? ¿El entero \(6\text{,}\) el número racional \(\frac{6}{1}\text{,}\) el número real \(6.00000\text{,}\) o el número complejo \(6.00000+0.00000i\text{?}\) ¿O quizás lo que realmente queremos es el entero \(6\) mód \(8\text{?}\) Sage no tiene idea sobre lo que queremos. Para aclarárselo a Sage, lo que podemos hacer es “coercionar” 6 a Z8 con la sintaxis Z8(6). Sin esto, Sage tratará una entrada como 6 como un entero, que en algún sentido es la interpretación más sencilla. Analice lo siguiente cuidadosamente, primero trabajamos con enteros “normales” y luego con enteros mód 8.
Z8 es un poco extraño como un primer ejemplo, ya que tiene dos operaciones definidas, tanto suma como producto, con la suma forma un grupo, pero no así con el producto. Aún así, podemos trabajar con la parte aditiva, formando acá la tabla de las sumas.
Cuando \(n\) es un número primo, la estructura multiplicativa (sin el cero), también forma un grupo.
Los enteros mód \(n\) son muy importantes, y Sage implementa tanto la multiplicación como la adición en ellos. Grupos de simetrías son un mejor ejemplo de como Sage implementa grupos, pues hay solo una operación presente.
Subseção 3.7.2 Grupos de simetrías
Los grupos de simetrías de algunos objetos geométricos ya están definidos en Sage, aunque con nombres diferentes. Están implementados como “grupos de permutaciones (permutation groups)” los que empezaremos a estudiar cuidadosamente en el Capítulo 5.
Sage usa enteros para etiquetar los vértices, empezando a contar desde 1, en lugar de letras. Los elementos normalmente se muestran en “notación cíclica (cycle notation)” que veremos descrita en detalle en el Capítulo 5. Acá hay un ejemplo, que incluye tanto matemáticas como Sage. Para la parte de Sage, construimos el grupo de simetrías y luego creamos la simetría \(\rho_2\) por coerción, desplegando a continuación el elemento en notación cíclica. Después creamos la fila inferior de la notación que hemos usado para las permutaciones.
La última lista merece un comentario. El método .domain() entrega una lista de los símbolos usados para el grupo de permutaciones triangle y luego rho2 se usa como si fuera una función (lo es) para crear las imágenes que ocuparían la fila inferior.
Con una lista doble podemos listar los seis elementos del grupo en el formato de “fila inferior”. Un buen ejercicio es identificar cada elemento con el nombre que le dimos en la Figura 3.1.6.
Diferentes libros, diferentes autores, diferentes programas de computadora todos tienen ideas diferentes sobre el orden en que se deben escribir las permutaciones para componerlas. Este libro se basa en la idea tradicional de composición de funciones, de manera que \(fg\) es la composición \((fg)(x)=f(g(x))\) y es natural aplicar \(g\) primero. Sage toma el punto de vista opuesto y por \(fg\text{,}\) Sage entenderá que queremos hacer \(f\) primero. Ninguna de las dos postura es incorrecta y ninguna es necesariamente superior, son simplemente diferentes y hay buenas razones para preferir una o la otra. Cuando lea otros libros que trabajan con grupos de permutaciones, deberá determinar primero cuál es la elección utilizada. (Note que esta discusión sobre la composición de funciones en Sage, se limita a la composición de permutaciones, pues las funciones —“regulares”, Sage las compone de la forma en que estamos acostumbrados.)
La traducción hecha acá entre el texto y Sage es una práctica valiosa. Reanudaremos la discusión al final de la Sección 3.1, pero revierta el orden de cada producto para calcular como lo haría Sage imitando lo que hace el texto.
Ahora que entendemos que Sage calcula los productos al revés, podemos obtener la tabla de multiplicación para este grupo. El comportamiento por defecto es usar letras para referirse a los elementos de un grupo, \(a, b, c, \dots{}\) en el mismo orden que les daría el comando .list() al listar los elementos del grupo. Pero también es posible mostrar explícitamente los elementos en la tabla (con notación cíclica en este caso), puede darle los nombres que desee a los elementos. Usaremos u como abreviación de \(\mu\) y r para \(\rho\text{.}\)
Usted debiera verificar que esta tabla está correcta, así como la tabla en el Cuadro 3.1.7 está correcta. Recuerde que la convención es multiplicar la etiqueta de la columna por la de la fila, en ese orden. Pero, para hacer una verificación entre las tablas, deberá recordar la diferencia de orden entre el texto y Sage.
Subseção 3.7.3 Cuaterniones
Sage implementa los cuaterniones, pero los elementos no son matrices, sino permutaciones. A pesar de las apariencias, la estructura es idéntica. No debería importar que versión tiene en mente (matrices o permutaciones) si construye la tabla de Cayley usando letras para etiquetar los elementos. Como permutaciones, o como letras, ¿puede identificar \(-1\text{,}\) \(I\text{,}\) \(J\) y \(K\text{?}\)
Debiera ser bastante obvio que a es el elemento identidad del grupo (\(1\)), ya sea por su comportamiento en la tabla, o por su representación de “fila inferior” como el primer elemento de la lista anterior. Y si lo prefiere, puede pedirle a Sage una lista de sus imágenes cuando es considerado como una función.
Ahora \(-1\) debería tener la propiedad de que \(-1\cdot -1= 1\text{.}\) Vemos que el elemento identidad a está en la diagonal de la tabla de Cayley solo cuando calculamos d*d. Esto lo podemos verificar fácilmente, tomado la cuarta “fila inferior” de la lista anterior. Con esta información, una vez que hemos localizado \(I\text{,}\) podemos fácilmente calcular \(-I\text{,}\) y así sucesivamente.
Vea si es capaz de identificar las letras con los ocho elementos de los cuaterniones. Tenga un poco de cuidado con los nombres que use, pues el símbolo I is es usado por Sage para el número imaginario \(i=\sqrt{-1}\) (que utilizaremos más adelante), pero Sage le permitirá redefinirlo como cualquier cosa que quiera, sin una advertencia. Lo mismo vale para el uso de la i minúscula en Sage. De manera que mejor llame algo como QI, QJ, QK a los elementos de los cuaterniones para evitar confusión.
En la medida en que empezamos a trabajar con grupos, es instructivo trabajar con sus elementos. Pero muchas propiedades de los grupos son independientes del orden usado para la multiplicación, y de los nombres o representaciones que usemos para los elementos. Aquí mencionaremos algunos hechos sobre los cuaterniones que podemos calcular directamente sin tener información alguna sobre cómo se escriben los elementos o cómo se multiplican.
Subseção 3.7.4 Subgrupos
Las mejores técnicas para la creación de subgrupos vendrán en capítulos posteriores, pero ya ahora podemos crear algunos grupos que son naturalmente subgrupos de otros.
Los elementos de los cuaterniones fueron representados por ciertas permutaciones de los enteros del 1 al 8. Podemos también crear el grupo de todas las permutaciones de estos ocho enteros. Esto se hace bastante grande, así es que no los liste a menos que desee obtener una respuesta muy larga! (Lo desafío a hacerlo.)
El grupo de los cuaterniones, Q, es un subgrupo del grupo de todas las permutaciones, el grupo simétrico \(S_8\) o S8, y Sage considera esto como una propiedad de Q.
En Sage los números complejos se conocen por el nombre CC. Podemos crear una lista de los elementos en el subgrupodescrito en el Ejemplo 3.2.9. Podemos luego verificar que este conjunto es un subgrupo examinando la tabla de Cayley, usando la multiplicación como operación.