For each
$p$
-cell
$\sigma $
of
$X$
there exists a
${G}_{\sigma}$
-module
${R}_{\sigma}$
. This module is isomorphic to
$R$
additively, and
${G}_{\sigma}$
acts on it through the orientation character. Let
${M}^{\sigma}=Ho{m}_{R}({R}_{\sigma},M)$
. Let
${X}_{p}$
denote the collection of all the
$p$
-cells and let
${\Sigma}_{p}$
be a set of representatives of all the
$G$
-orbits in
${X}_{p}$
. We have the following decomposition:
${C}_{R}^{p}(X,M)=Ho{m}_{R}\left({C}_{p}^{R}\right(X),M)={\oplus}_{\sigma \in {X}_{p}}Ho{m}_{R}({R}_{\sigma},M)=$
${\oplus}_{\sigma \in {\Sigma}_{p}}Ho{m}_{R}($
Ind
${}_{{G}_{\sigma}}^{G}{R}_{\sigma},M)={\oplus}_{\sigma \in {\Sigma}_{p}}$
Coind
${}_{{G}_{\sigma}}^{G}{M}^{\sigma}$
Now, by Shapiro's lemma,
Ext
${}_{RG}^{q}(R,{C}_{R}^{p}(X,M\left)\right)\sim ={\oplus}_{\sigma \in {\Sigma}_{p}}$
Ext
${}_{R\left[{G}_{\sigma}\right]}^{q}(R,{M}^{\sigma})$
.
Since
$X$
is contractible the two cochain complexes
${C}_{R}^{*}(X,M)$
and
${C}_{R}^{*}(pt.,M)$
are homotopy equivalent. Hence,
Ext
${}_{RG}^{*}(R,{C}_{R}^{*}(X,M)\sim =$
Ext
${}_{RG}^{*}(R,{C}_{R}^{*}(pt.,M\left)\right)=$
Ext
${}_{RG}^{*}(R,M)$
.
The spectral sequence then becomes:
${E}_{1}^{p,q}={\oplus}_{\sigma \in {\Sigma}_{p}}$
Ext
${}_{R\left[{G}_{\sigma}\right]}^{q}(R,{M}^{\sigma})\u27f9$
Ext
${}_{RG}^{p+q}(R,M)$
It follows that
${E}_{1}^{p,q}=0$
if
$p>n$
or
$q>k$
. We can infer inductively for
$i=0,1,2,...$
that the differentials
${d}_{i}^{p,q}=0$
and the terms of the spectral sequence
${E}_{i}^{p,q}=0$
if
$p>n$
or
$q>k$
. Therefore,
${E}_{\infty}^{p,q}\sim ={E}_{1}^{p,q}=0$
if
$p>n$
or
$q>k$
and Ext
${}_{RG}^{p+q}(R,M)=0$
if
$p>n$
and
$q>k$
. Thus
$c{d}_{R}\left(G\right)\le n+k$
.
□