Cayley graph


Let G=X|R be a presentationMathworldPlanetmathPlanetmathPlanetmath of the finitely generated group G with generators X and relations R. We define the Cayley graphMathworldPlanetmath Γ=Γ(G,X) of G with generators X as

Γ=(G,E),

where

E={{u,au}|uG,aX}.

That is, the vertices of the Cayley graph are precisely the elements of G, and two elements of G are connected by an edge iff some generator in X transfers the one to the other.

Examples

  1. 1.

    G=d, with generators X={e1,,ed}, the standard basis vectors. Then Γ(G,X) is the d-dimensional grid; confusingly, it too is often termed “d”.

  2. 2.

    G=Fd, the free groupMathworldPlanetmath with the d generators X={g1,,gd}. Then Γ(G,X) is the 2d-regularPlanetmathPlanetmathPlanetmath tree.

A Cayley graph can be considered as a metric space with d(x,y) (x,yG) being the minimum number of edges one must traverse to get from x to y. Thus, each edge has length 1.

1) the graph is also edge labeled by the generator and directed. If you are in a group then given directed edges is sufficient to reconstruct the label. Though in practice the vertices themselves are just dots (save the identityPlanetmathPlanetmathPlanetmath at times) in the graph and instead it is the edges that get labeled to tell you what to call the vertex.

2) The definition works for more than groups. In fact, it is sometimes used for the graph of a (semi)group acting on a set S as a Cayley graph with vertices S and edges given by the group actionMathworldPlanetmath. As the definition of the graph is nearly identical authors do not generally strive to distinguish these two notions of a Cayley graph.

3) In a group, the graph is regular and connected.

4) The metric we mentioned above is usually called ”word length” . The bounding of word lengths – that is bounding the girth of a the graph, is a hard and active research problem involving the theory of expanders.

Title Cayley graph
Canonical name CayleyGraph
Date of creation 2013-03-22 12:48:53
Last modified on 2013-03-22 12:48:53
Owner Mathprof (13753)
Last modified by Mathprof (13753)
Numerical id 8
Author Mathprof (13753)
Entry type Definition
Classification msc 05C25
Related topic Presentationgroup
Related topic FinitelyGenerated