¿Es posible dibujar gráficos de álgebra de Cayley con dos operaciones?

Si y no.

Supongamos que nuestro álgebra es [math] \ mathbf {A} = \ langle A; f_1, f_2 \ rangle [/ math], donde las dos operaciones son binarias. Supongamos además que hemos elegido un conjunto generador [math] X \ subset A [/ math]. Entonces siempre es posible definir una estructura multigráfica dirigida en [matemática] A [/ matemática] donde hay un borde dirigido etiquetado por [matemática] f_i [/ ​​matemática] y [matemática] x [/ matemática] de [matemática] a [ / math] a [math] f_i (x, a) [/ math]. (Esto supone que se piensa que los generadores actúan a la izquierda).

La pregunta es si esta estructura proporciona nueva información matemática o es visualmente útil para alguien que intenta comprender la estructura de [math] \ mathbf {A} [/ math]. En general, la respuesta será no, incluso para álgebras con una sola operación binaria: las propiedades de simetría de los grupos son las que fuerzan muchas de las agradables propiedades de regularidad geométrica de los gráficos de grupo de Cayley.