  First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of
groups $G$ over coefficient rings $R$, under changes of groups and rings; a
characterization for finiteness of ${\rm Gcd}_RG$ is given; a Gorenstein
version of Serre's theorem is proved, i.e. ${\rm Gcd}_RH = {\rm Gcd}_RG$ for
any subgroup $H$ of $G$ with finite index; characterizations for finite groups
are given. These generalize the results in literatures, which were obtained
over $\mathbb{Z}$ or rings of finite global dimension, to more general rings.
Moreover, we establish a model structure on the weakly idempotent complete
exact category $\mathcal{F}ib$ consisting of fibrant $RG$-modules, and show
that the homotopy category $\mathrm{Ho}(\mathcal{F}ib)$ is triangle equivalent
to the stable category $\underline{\mathcal{C}of}(RG)$ of Benson's cofibrant
modules, as well as the stable module category ${\rm StMod}(RG)$. For any
commutative ring $R$ of finite global dimension, if either $G$ is of type
$\Phi_R$ or is in Kropholler's large class such that ${\rm Gcd}_RG$ is finite,
then ${\rm Ho}(\mathcal{F}ib)$ is equivalent to the stable category of
Gorenstein projective $RG$-modules, the singular category, and the homotopy
category of totally acyclic complexes of projective $RG$-modules.
