Cyclically presented groups as labelled oriented graph groups (Q2142472)

A labeled oriented graph (LOG) \(\Gamma = (E, V, s, t, \lambda)\) consists of two sets \(E\), \(V\) of edges and vertices, and three maps \(s, t, \lambda\colon E\to V\) called, respectively source, target and label. The associated LOG presentation is defined as \[ P(\Gamma)=\langle V\ |\ s(e)\lambda(e)=\lambda(e)t(e),\ e\in E \rangle. \] A group with a LOG presentation is called a LOG group. A cyclic presentation is a group presentation of the form \[ P_n(w) = \langle x_0,\ldots , x_{n-1} \mid w(x_i, x_{i+1},\ldots , x_{i+n-1}), (0 \le i < n)\rangle \] where \(n \ge 1\) and the defining word \(w = w(x_0, x_1,\ldots , x_{n-1})\) is some element of the free group \(F(x_0,\ldots , x_{n-1})\) where subscripts are taken mod \(n\) and the group \(G_n(w)\) it defines is called a cyclically presented group. The authors investigate in this article when certain classes of cyclically presented groups are LOG groups. They use results concerning the Smith form of circulant matrices to identify when cyclically presented groups have free abelianization and so can be LOG groups.