A Cayley graph is both a description of a group and of the generators used to describe that group. The generators are those returned by the function GroupGenerators.
Group elements are represented as vertices, and generators are represented as directed edges. An edge from a group element to an element means that the product of with the generator of the edge gives .
This is the Cayley graph connecting the 24 elements of a permutation group defined by two generators, the first represented in red and the second in blue:
This is the Cayley graph connecting the 24 elements of a permutation group defined by two generators, the first represented in red and the second in blue: