For the additive infinite cyclic group , the generating set of a group produces the infinite line: each integer is adjacent to and . Adding the moves gives and additional edges skipping one vertex. Each skip still costs one step in the word metric.
For integers , these word metrics are
The absolute value counts unit moves, and the ceiling function counts pairs plus a possible leftover unit. Every -move changes the integer by at most two, while moves of size two followed by at most one move of size one attain this bound. For example, the graph path has five steps for , while has three for . This calculation gives the concrete comparison
Figure 1.
Two Cayley graphs of the integers: unit moves need five steps from zero to five; adding moves of size two needs three
. Details.
The picture shows only a finite window of each infinite Cayley graph. By contrast, alone fails to be a generating set of a group for : it generates the subgroup . Its move graph has two connected components of a graph, the even integers and the odd integers. Within either component the graph distance is ; between different components no finite graph path exists. Adding a shortcut is different from deleting the moves needed for connectivity.

Articles by others on the same topic (NaN)

There are currently no matching articles.