A Cayley graph Cay(G, S) has vertices = group elements, edges = left-multiplication by generators S. The graph encodes the algebraic structure geometrically.