Digraphical regular representations of infinite finitely generated groups (Q1266375): Difference between revisions

The main result is the following theorem. Let \(N\) be a finitely generated, torsion-free nilpotent group, and let \(S\) be a finite generating set of \(N\). Let \(X\) be the directed Cayley graph of \(N\) with respect to \(S\). Let \(G=\Aut(X)\), and identify \(N\) with a fixed subgroup of \(G\) that acts regularly on the vertex set \(V(X)\). Then \(N\triangleleft G\), and the stabilizer \(G_x\) of any \(x\in V(X)\) is finite and has a natural embedding, as a permutation group, into \(\Aut(N)\). The case where \(S\) is a finite generating set of the infinite cyclic group \({\mathbf Z}\) is of particular interest. In this case \(G\) acts regularly on \(V(X)\) if \(S=S^{-1}\), while \(G\cong D_\infty\) (the infinite dihedral group) otherwise. Furthermore, finite generating sets \(S\) and \(T\) of \({\mathbf Z}\) generate isomorphic directed Cayley graphs if and only if \(S=T\) or \(S=T^{-1}\).