p,\ov\p_p\}=\{C_p\otimes_{R\G}R,\p_p\ox{\operatorname{id}}\}$. We claim that $r_p= {\operatorname{rank}}_{\mathbb{Q}}\ov C_p$. This is clear if $C_p$ is free. If $C_p$ is merely projective it requires a short argument that we leave to the reader. Now observe $$\begin{aligned}
{\operatorname{rank}}_{R\G}H_p(\SC_*)  &= {\operatorname{rank}}_{R\G}(\ker\p_p) - {\operatorname{rank}}_{R\G}({\operatorname{image}}\p_{p+1})\\
&= r_p - {\operatorname{rank}}_{R\G}({\operatorname{image}}\p_p) - {\operatorname{rank}}_{R\G}({\operatorname{image}}\p_{p+1})\\
&\le r_p - {\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_p) - {\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_{p+1})\\
&= {\operatorname{rank}}_\mathbb{Q}(\ker\ov\p_p) - {\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_{p+1})\\
&= {\operatorname{rank}}_\mathbb{Q} H_p(\ov\SC_*),\end{aligned}$$ where the inequality follows from two applications of Lemma \[strebel\] above.

\[prop:oldCH\] ( [@CH1 Proposition 4.3]) Suppose $\phi:A\to B$ induces a monomorphism $H_1(A,\bbq)\rightarrowtail H_1(B,\bbq)$ and an epimorphism $H_2(A,\bbq)\to H_2(B,\bbq)$. If $A$ is finitely-generated, $B$ is finitely-related and $\G=B/B_0$ is PTFA, the kernel of $H_1(A,\bbq\G)\lra H_1(B,\bbq\G)$ is a $\bbq\G$-torsion module. If, in addition, $H_1(A,\bbq)\rightarrowtail H_1(B,\bbq)$ is surjective, then the cokernel of $H_1
p,\ov\p_p\}=\{C_p\otimes_{R\G}R,\p_p\ox{\operatorname{id}}\}$. We claim that $ r_p= { \operatorname{rank}}_{\mathbb{Q}}\ov C_p$. This is clear if $ C_p$ is free. If $ C_p$ is merely projective it requires a short controversy that we bequeath to the reader. Now observe $ $ \begin{aligned } 
 { \operatorname{rank}}_{R\G}H_p(\SC _ *)   & = { \operatorname{rank}}_{R\G}(\ker\p_p) - { \operatorname{rank}}_{R\G}({\operatorname{image}}\p_{p+1})\\ 
 & = r_p - { \operatorname{rank}}_{R\G}({\operatorname{image}}\p_p) - { \operatorname{rank}}_{R\G}({\operatorname{image}}\p_{p+1})\\ 
 & \le r_p - { \operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_p) - { \operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_{p+1})\\ 
 & = { \operatorname{rank}}_\mathbb{Q}(\ker\ov\p_p) - { \operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_{p+1})\\ 
 & = { \operatorname{rank}}_\mathbb{Q } H_p(\ov\SC_*),\end{aligned}$$ where the inequality postdate from two applications of Lemma   \[strebel\ ] above. 

 \[prop: oldCH\ ] (  [ @CH1 Proposition 4.3 ]) presuppose $ \phi: A\to B$ induce a monomorphism $ H_1(A,\bbq)\rightarrowtail H_1(B,\bbq)$ and an epimorphism $ H_2(A,\bbq)\to H_2(B,\bbq)$. If $ A$ is finitely - generated, $ B$ is finitely - associate and $ \G = B / B_0 $ is PTFA, the kernel of $ H_1(A,\bbq\G)\lra H_1(B,\bbq\G)$ is a $ \bbq\G$-torsion module. If, in addition, $ H_1(A,\bbq)\rightarrowtail H_1(B,\bbq)$ is surjective, then the cokernel of $ H_1
p,\ov\o_p\}=\{C_p\otimes_{R\G}R,\p_p\ox{\operatovname{id}}\}$. We claim that $r_'= {\operaforname{rxnk}}_{\mathbb{Q}}\ov C_p$. This is cleac if $C_p$ iw free. If $C_p$ is merely projectine it reqyirew a short acfument bkat ws leare to the reader. Now obseree $$\begin{aligneg}
{\ooexatorname{rank}}_{R\G}H_p(\SC_*)  &= {\operatorname{ragk}}_{R\G}(\ker\l_p) - {\operatorname{tank}}_{R\B}({\jperznovname{image}}\p_{p+1})\\
&= r_p - {\operatorname{rani}}_{R\G}({\operetorname{image}}\p_p) - {\operatorname{rank}}_{R\G}({\operatlrnale{image}}\p_{p+1})\\
&\le r_p - {\opfratorname{rqnk}}_\mwrhbb{Q}({\operatofname{image}}\ov\p_p) - {\operatkrname{rank}}_\mathbb{Q}({\operatorname{imxge}}\ov\'_{p+1})\\
&= {\operatorbane{rwtk}}_\mathbb{Q}(\kec\ov\p_p) - {\operatornamc{gank}}_\matvbb{Q}({\opetatorname{image}}\pv\p_{'+1})\\
&= {\opwratorname{rank}}_\mathbb{Q} H_p(\ov\SC_*),\end{aligned}$$ rhere the iuequality follows fron rwo akplicdtiovw ow Ltmme \[stdebel\] wbote.

\[prop:oldCH\] ( [@CH1 Proposirion 4.3]) Suppose $\phi:A\tp F$ induces a mohomorprifm $H_1(A,\bbq)\rightarrowtail H_1(B,\bbq)$ and an epikorlhism $H_2(A,\bbq)\to H_2(B,\bbq)$. If $Q$ is finitely-generatef, $B$ is figitely-related and $\G=B/B_0$ is PTFA, the kernel of $H_1(A,\bbq\C)\lra I_1(B,\cbq\Y)$ is a $\vbe\G$-torsion module. If, in addition, $H_1(A,\bbq)\rightarrjstsik H_1(B,\bbq)$ is surmective, then the cpkfrmgl of $H_1
p,\ov\p_p\}=\{C_p\otimes_{R\G}R,\p_p\ox{\operatorname{id}}\}$. We claim that $r_p= {\operatorname{rank}}_{\mathbb{Q}}\ov C_p$. clear $C_p$ is If $C_p$ is short that we leave the reader. Now $$\begin{aligned} {\operatorname{rank}}_{R\G}H_p(\SC_*) &= {\operatorname{rank}}_{R\G}(\ker\p_p) - {\operatorname{rank}}_{R\G}({\operatorname{image}}\p_{p+1})\\ r_p - {\operatorname{rank}}_{R\G}({\operatorname{image}}\p_p) - {\operatorname{rank}}_{R\G}({\operatorname{image}}\p_{p+1})\\ &\le r_p - {\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_p) - {\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_{p+1})\\ &= {\operatorname{rank}}_\mathbb{Q}(\ker\ov\p_p) {\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_{p+1})\\ &= {\operatorname{rank}}_\mathbb{Q} H_p(\ov\SC_*),\end{aligned}$$ where the inequality follows from two applications of Lemma above. ( Proposition Suppose $\phi:A\to B$ induces a monomorphism $H_1(A,\bbq)\rightarrowtail H_1(B,\bbq)$ and an epimorphism $H_2(A,\bbq)\to H_2(B,\bbq)$. If $A$ is $B$ is finitely-related and $\G=B/B_0$ is PTFA, the of $H_1(A,\bbq\G)\lra H_1(B,\bbq\G)$ is $\bbq\G$-torsion module. If, in addition, H_1(B,\bbq)$ surjective, then cokernel $H_1
p,\ov\p_p\}=\{C_p\otimes_{R\G}R,\p_p\ox{\operaTorname{id}}\}$. WE claiM thAt $r_P= {\oPeraTornAme{rank}}_{\mathbb{Q}}\OV C_p$. THis is clear if $C_p$ is free. If $c_p$ is mErELy prOJeCtive It requiREs A SHorT aRgUmeNt THaT we leAve To the reAder. Now obsErvE $$\bEgin{aligned}
{\oPErAtorname{raNk}}_{R\g}H_p(\SC_*)  &= {\operatoRnaMe{rank}}_{r\G}(\Ker\P_P) - {\operAtoRname{Rank}}_{R\G}({\OPeratoRname{imagE}}\p_{P+1})\\
&= R_p - {\operATorname{RANk}}_{r\G}({\opEratorname{image}}\p_p) - {\OPeRAtorname{rank}}_{R\G}({\OperatOrNAmE{IMagE}}\p_{p+1})\\
&\Le r_p - {\operatOrName{rANk}}_\mathbB{q}({\oPERAtoRName{image}}\ov\p_p) - {\OperatornamE{RanK}}_\mathbB{Q}({\OpeRAtornaMe{imaGe}}\OV\p_{p+1})\\
&= {\OperatornamE{ranK}}_\mathbb{Q}(\kEr\ov\p_p) - {\OPeratorNAme{rank}}_\Mathbb{q}({\opEraTornAMe{ImAge}}\Ov\P_{P+1})\\
&= {\opERaTorNAme{Rank}}_\mathBb{q} H_P(\ov\SC_*),\End{aLIGNEd}$$ whEre The iNequaLity follows frOm tWo apPLicAtionS of LeMma \[sTrEbel\] aBove.

\[prOp:oldcH\] ( [@cH1 Proposition 4.3]) SuPposE $\phi:A\to B$ iNduCeS a mOnOmorpHIsm $H_1(A,\bBq)\rIghTarrowtAil H_1(B,\bbQ)$ And An EPIMoRphism $H_2(A,\bbq)\to H_2(B,\bbq)$. if $a$ IS fInitely-gEneratED, $B$ Is FInitely-rElAteD and $\g=b/b_0$ is PTfA, thE KeRnel of $H_1(A,\Bbq\G)\lrA h_1(B,\BbQ\G)$ is a $\bbQ\G$-TorsioN mOduLe. IF, in adDItioN, $H_1(A,\bbq)\RightarrOwtaiL h_1(B,\bbq)$ is surjectIVe, then the cokeRNeL OF $H_1
p,\ov\p_p\}=\{C_p\otimes_{ R\G}R,\p_p \ox{\ ope rat or name {id} }\}$. We claim that  $r_p= {\operatorname{ rank} }_ { \mat h bb {Q}}\ ov C_p$ .  T h i s i scl ear  i f  $ C_p$isfree. I f $C_p$ is  me re ly projectiv e  i t requires  ashort argume ntthat w elea v e tothe  read er. No w  obser ve $$\beg in { aligne d }
{\ope r a to rnam e{rank}}_{R\G}H_p ( \S C _*)  &= {\oper atorna me { ra n k }}_ {R\ G}(\ker\p_ p)  - {\ o perator n am e { r ank } }_{R\G}({\ope ratorname{i m age }}\p_{ p+ 1}) \ \
&= r _p -{\ o per atorname{ra nk}} _{R\G}({\ operat o rname{i m age}}\p _p) -{\o per ator n am e{ ran k} } _{R \ G} ({\ o per atorname {i ma ge}}\ p_{p + 1 } ) \\
& \le  r_p  - {\ operatorname{ ran k}}_ \ mat hbb{Q }({\o pera to rname {image }}\ov \p _p) - {\operato rnam e{rank}}_ \ma th bb{ Q} ({\op e ratorn ame {im age}}\o v\p_{p+ 1 })\ \& = {\ operatorname{rank} }_ \ m at hbb{Q}(\ ker\ov \ p_ p) - {\oper at orn ame{ r a nk}}_ \mat h bb {Q}({\op erator n am e{ image}} \o v\p_{p +1 })\ \
& = {\o p erat orname {rank}}_ \math b b{Q} H_p(\ov\S C _*),\end{alig n ed } $ $w here  th e inequalit y fo l lows  fro m  t woa pplic ation so fL emma \[strebel\] ab ov e.

\[ prop: oldCH\] ( [@C H1 Proposi t i o n 4.3])Supp o se $\phi:A\to B$induc es a monom o rphism $ H_1(A ,\bbq)\r ightarrow t a il H_1(B ,\b bq) $ a nda n  e pimorphism $H _ 2 (A,\ bb q)\to H _2( B,\bbq) $.If$A$  is  f initely-g enerated ,$B $is  fi nitel y -related  a nd$\ G=B /B_0$ is PTF A, th e ke rn el of$H_1(A, \ bb q \ G)\l ra  H _1(B ,\b bq \G)$is a $\b bq\G$-t orsion mo dul e . If ,in  additi on, $H_1(A,\b bq )\rightarr ow tai l H_1( B , \bbq)$ i s surjective, then thec okernel  of  $H_1 
p,\ov\p_p\}=\{C_p\otimes_{R\G}R,\p_p\ox{\operatorname{id}}\}$. We_claim that_$r_p= {\operatorname{rank}}_{\mathbb{Q}}\ov C_p$. This_is clear_if_$C_p$ is_free._If $C_p$ is_merely projective it_requires a short argument_that we leave_to_the reader. Now observe $$\begin{aligned}
{\operatorname{rank}}_{R\G}H_p(\SC_*)  &= {\operatorname{rank}}_{R\G}(\ker\p_p) - {\operatorname{rank}}_{R\G}({\operatorname{image}}\p_{p+1})\\
&= r_p - {\operatorname{rank}}_{R\G}({\operatorname{image}}\p_p) -_{\operatorname{rank}}_{R\G}({\operatorname{image}}\p_{p+1})\\
&\le_r_p -_{\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_p)_-_{\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_{p+1})\\
&= {\operatorname{rank}}_\mathbb{Q}(\ker\ov\p_p) - {\operatorname{rank}}_\mathbb{Q}({\operatorname{image}}\ov\p_{p+1})\\
&= {\operatorname{rank}}_\mathbb{Q}_H_p(\ov\SC_*),\end{aligned}$$ where the inequality follows_from two_applications of Lemma \[strebel\] above.

\[prop:oldCH\] ( [@CH1 Proposition 4.3]) Suppose_$\phi:A\to_B$ induces a_monomorphism $H_1(A,\bbq)\rightarrowtail H_1(B,\bbq)$ and an epimorphism $H_2(A,\bbq)\to H_2(B,\bbq)$. If_$A$ is finitely-generated, $B$ is finitely-related_and $\G=B/B_0$ is_PTFA,_the_kernel of $H_1(A,\bbq\G)\lra H_1(B,\bbq\G)$_is a $\bbq\G$-torsion module. If, in_addition, $H_1(A,\bbq)\rightarrowtail H_1(B,\bbq)$ is surjective, then_the cokernel of $H_1