Por gráfico dejar que nos referimos a un conjunto $G$ junto con una relación de $\bot$ que es reflexiva y simétrica. Ahora, cada grupo da lugar a un conmutatividad gráfico definiendo $x \,\bot\, y \iff xy=yx.$
Cada gráfico surgir como la conmutatividad gráfico de algún grupo?