Decidable representations (Q1903681)

For a finite group \(G\), the decision problem for the theory of \(\mathbb{Z} G\)-lattices is considered. In the representation-finite case, decidability is shown under the assumption that each indecomposable is explicitly given as a matrix representation. By extension of an argument of Garavaglia, the authors show that \(\mathbb{Z} G\)-lattices in the same genus are elementary equivalent. In the wild case, the undecidability of the five-subspace problem is used to prove undecidability for the lattices over a number of group rings \(\mathbb{Z} G\), for example, if \(G\) is nilpotent with an epimorphic image \(C_{p^n}\), \(n\geq 4\), or \(C_p\times C_p\) for an odd prime \(p\), or \(C_2\times C_2\times C_2\) or \(C_4\times C_2\). Finally, for the Klein group \(V=C_2\times C_2\), the authors prove that the theory of lattices over \(\mathbb{Z}_2 V\) is decidable, and they give some evidence that this should still be true for \(\mathbb{Z} V\).