The Cayley graph of Neumann subgroups (Q2038643)

The distant graph \(\Gamma_{R}\) over a ring with identity \(R\), is a combinatoric object representing the projective line \(\mathbb{P}(R)\) over \(R\). In the case \(R=\mathbb{Z}\), the vertices as the elements of \(\mathbb{P}(\mathbb{Z}) \cong \mathbb{Q} \cup \{\infty\}=\overline{\mathbb{Q}}\) are all cyclic submodules of the \(\mathbb{Z}\)-module \(\mathbb{Z}^{2}\) generated by the vectors with co-prime coordinates. The edges of \(\Gamma_{\mathbb{Z}}\) connect vertices whose generators are the rows of an invertible \((2\times 2)\)-matrix over \(\mathbb{Z}\). The authors showed in [Result. Math. 73, No. 4, Paper No. 141, 14 p. (2018; Zbl 1398.05104)] that the distant graph \(\Gamma_{\mathbb{Z}}\) is a Cayley graph and they built in [Result. Math. 74, No. 2, Paper No. 82, 9 p. (2019; Zbl 1414.05103)] uncountably many of its Cayley representations. The paper under review constitutes another step in the authors' project to find all Cayley representations of \(\Gamma_{\mathbb{Z}}\) in \(\mathrm{PGL}(2, \mathbb{Z})\) and to describe Cayley's groups of \(\mathbb{P}(\mathbb{Z})\).