Cohomology relative to a \(G\)-set and finiteness conditions (Q1292742)

Let \(k\) be a commutative ring, \(G\) an arbitrary group and \(\Delta\) a \(G\)-set. A short exact sequence \(0\to A\rightarrow B \rightarrow C\to 0\) is called \(\Delta\)-split if \(0\to A\otimes k\Delta\rightarrow B\otimes k\Delta \rightarrow C\otimes k\Delta\to 0\) is split. A \(kG\)-module \(P\) is called \(\Delta\)-projective if \(A\) is a direct summand of a \(kG\)-module of the form \(M\otimes k\Delta\). The class \(\mathcal P\) of \(\Delta\)-split sequences is proper, and the author develops a completion of cohomology relative to \(\Delta\) analogous to \textit{G. Mislin} [Topology Appl. 56, No. 3, 293-300 (1994; Zbl 0810.20040)], using generalized satellites. Two alternative approaches to this theory are also given. Further, \(G\)-sets of the form \({\mathcal F}=\coprod_{H \text{\;finite}}H \setminus G\) are considered. A crucial fact proven by the author is that if \(k\) is noetherian, then every finitely generated \(\mathcal F\)-projective \(kG\)-module is of type \(FP_\infty\). This implies the following two main results. If the \(kG\)-module \(M\) admits a finite type \(\mathcal F\)-resolution, then the relative Ext-groups \({\mathcal F}\text{ Ext}^*_{kG}(M,-)\) commute with direct limits, and \(M\) is of type \(FP_\infty\). In the last part of the paper finiteness conditions are given in the case when \(G\) is a \({\mathbf H}{\mathfrak F}\)-group.