# Cayley graph

Let $G=\langle X|R\rangle$ be a presentation of the finitely generated group $G$ with generators $X$ and relations $R$. We define the Cayley graph $\Gamma=\Gamma(G,X)$ of $G$ with generators $X$ as

 $\Gamma=\left(G,E\right),$

where

 $E=\left\{\left\{u,a\cdot u\right\}|u\in G,a\in X\right\}.$

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=\mathbb{Z}^{d}$, with generators $X=\{e_{1},\ldots,e_{d}\}$, the standard basis vectors. Then $\Gamma(G,X)$ is the $d$-dimensional grid; confusingly, it too is often termed “$\mathbb{Z}^{d}$”.

2. 2.

$G=F_{d}$, the free group with the $d$ generators $X=\{g_{1},...,g_{d}\}$. Then $\Gamma(G,X)$ is the $2d$-regular tree.

A Cayley graph can be considered as a metric space with $d(x,y)$ ($x,y\in G$) 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 identity 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 action. 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 CayleyGraph 2013-03-22 12:48:53 2013-03-22 12:48:53 Mathprof (13753) Mathprof (13753) 8 Mathprof (13753) Definition msc 05C25 Presentationgroup FinitelyGenerated