Cayley digraphs from complete generalized cycles (Q1304430)

The complete generalized cycle \(G(d,n)\) is the digraph whose vertex set is \(Z_n \times Z_d\) and whose edges are all pairs \(((i,x),(i+1,y))\), where \(i \in Z_n\) and \(x,y \in Z_d\). For any integer \(k \geq 1\), we define \(G(d,n,k) = LG(d,n,k-1)\) (here, \(LG\) denotes the line graph of \(G\)), with \(G(d,n,1)=G(d,n)\). \(G(d,n,k)\) is an example of a graph which is \(n-k\)-arc transitive, but not \(n-k+1\)-arc transitive. The authors investigate the question of which \(G(d,n,k)\) are Cayley digraphs. They prove that this is the case if there exists a group \(\Gamma\) of order \(d\), and a subgroup \(N\) of \(\Gamma^n\) which is isomorphic to \(\Gamma^k\), and closed under the map \((\gamma_1,\gamma_2,\gamma_3,\ldots,\gamma_n) \to (\gamma_2,\gamma_3,\ldots,\gamma_n,\gamma_1)\). They also show that this condition is necessary in case \(d\) is prime. Finally, they investigate the case where \(\Gamma\) is a ring, and \(N\) is a submodule of \(\Gamma^n\).