Trazar gráficos de Cayley para grupos de elementos genéricos

Question

Soy un principiante en Álgebra Abstracta, actualmente estoy tratando de resolver todos los ejercicios de "A Book of Abstract Algebra" de Pinter. Me preguntaba si hay una manera de dibujar gráficos de Cayley para grupos de elementos genéricos como por ejemplo para el grupo

$G=\{e,a,b,b^2,b^3,ab,ab^2,ab^3\}$ con los generadores que satisfacen $a^2=e,b^4=e,ba=ab^2$ . He trazado el diagrama yo mismo pero me gustaría volver a comprobarlo con la ayuda de un programa, además de seguir experimentando antes de llegar a temas más avanzados como las simetrías, etc. Hasta ahora he visto que GAP y Sage grafican Cayley pero para grupos predefinidos. ¿Alguna idea?

Gracias por adelantado

Answer 1

Este repositorio contiene algunas herramientas que escribí para dibujar una versión generalizada de los grafos de Cayley, que llamo "digrafos de operaciones", para operaciones binarias arbitrarias.