Abstract:In this paper, we introduce and study the projectively coresolved Gorenstein flat dimension of a group $G$ over a commutative ring $R$ and we prove that this dimension enjoys all the properties of the cohomological and the Gorenstein cohomological dimension. We also provide good estimations for the Gorenstein global dimension of $RG$ in terms of this dimension and the Gorenstein global dimension of $R$. Moreover, we study special cases of groups, such as $\textsc{\textbf{lh}}\mathfrak{F}$-groups, and show that for such a group every Gorenstein projective $RG$-module is Gorenstein flat when the global dimension of $R$ is finite.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define and study the projectively coresolved Gorenstein flat dimension (PGF dimension) of a group \(G\) over a commutative ring \(R\), denoted as \(\tilde{Gcd}_R G\), and prove that this dimension has all the same properties as the cohomological dimension and the Gorenstein cohomological dimension. In addition, the paper also provides a good estimate of the Gorenstein global dimension \(G\) of \(R\) and studies the properties of specific types of groups (such as /D0/CWF groups) under these conditions, especially when the global dimension of \(R\) is finite, every Gorenstein projective \(RG\)-module is Gorenstein flat.
### Main contributions
1. **Definition and properties**:
- Defined the projectively coresolved Gorenstein flat dimension \(\tilde{Gcd}_R G\) of a group \(G\) over a commutative ring \(R\).
- Proved that \(\tilde{Gcd}_R G\) has all the same properties as the Gorenstein cohomological dimension.
2. **Main theorems**:
- **Theorem 0.1**: Let \(G\) be a group and \(R\) be a commutative ring with \(\text{spli}(R)<\infty\). The following conditions are equivalent:
- \(\tilde{Gcd}_R G <\infty\)
- \(\text{Gcd}_R G <\infty\)
- There exists a characteristic module \(\Lambda\) for \(G\) and \(R\)
- Every \(RG\)-module has a finite PGF dimension.
- Every \(RG\)-module has a finite Gorenstein projective dimension.
- \(\text{silp}(R G)=\text{spli}(R G)<\infty\)
- **Theorem 0.2**: Let \(R\) be a commutative ring and \(G\) be a group. Then:
- \(\max\{\text{PGF - gl.dim}(R),\tilde{Gcd}_R G\}\leq\text{PGF - gl.dim}(R G)\leq\tilde{Gcd}_R G+\text{PGF - gl.dim}(R)\)
- \(\max\{\text{Ggl.dim}(R),\text{Gcd}_R G\}\leq\text{Ggl.dim}(R G)\leq\text{Gcd}_R G+\text{Ggl.dim}(R)\)
3. **Study of special groups**:
- **Theorem 0.4**: For every commutative ring \(R\) with \(\text{spli}(R)<\infty\) and every /D0/CWF group \(G\), we have \(\tilde{Gcd}_R G=\text{Gcd}_R G=\text{pd}_{R G}(B(G, R))\).
- **Theorem 0.5**: Let \(G\) be a /D0/CWF group or a group of type \(\Phi_R\), and \(R\) be a commutative ring with a finite global dimension. Then, the class of Gorenstein projective \(RG\)-modules coincides with the class of PGF \(RG\)-modules. Therefore, every Gorenstein projective \(RG\)-module is Gorenstein flat.
### Methods and tools
- **Characteristic modules**: Characteristic modules play a central role in the study of the finiteness of \(\tilde{Gcd}_R G\).