\(\mathrm{FI}_{\mathrm{G}}\)-modules over coherent rings (Q504320)

The category of FI-modules was introduced by Church, Ellenberg and Farb [\textit{T. Church} et al., Duke Math. J. 164, No. 9, 1833--1910 (2015; Zbl 1339.55004)] as the category of functors from the category \(FI\), finite sets as objects and injections as morphisms, to the category of modules over a commutative ring. This category was generalized by \textit{S. V. Sam} and \textit{A. Snowden} [``Representations of categories of G-maps'', \url{arXiv:1410.6054}] replacing \(FI\) by \(FI_G\), where \(G\) is a group, in this category the objects are the same but the morphism are pairs \((f,g):S\to T\) such that \(f:S\to T\) is an injection and \(g:S\to G\) is a map. In this paper, it is shown that for coherent commutative ring, every finitely generated submodule of a finitely generated presented \(FI_G\)-module is finitely presented. Moreover, let \(R\) be a coherent commutative ring with finite finitistic presented dimension and let \(V\) be a finitely presented \(FI_G\)-module with finite projective dimension over \(RFI_G\), the \(R\)-linearization of \(FI\), then this dimension is less or equal than the finitistic presented dimension of \(R\). This extend a similar result by \textit{L. Li} and \textit{N. Yu} [J. Algebra 472, 369--398 (2017; Zbl 1371.13015)] for noetherian rings.