\]. Let $\Gamma '= \pi_1(M)/\pi_1(M)^{(n+1)}_H$. Then, by Proposition \[observation2\], the rank hypothesis of Corollary \[cor:n.5solvable\] is equivalent to the fact that $\mathcal{K}\Gamma '$-rank of $H_1(\pi_1(M);\mathcal{K}\Gamma ')$ is $\beta_1(M)-1$. Since $j_{n+1}: \Gamma '\to\G$ is a monomorphism, by [@CH1 Lemma 4.2], this rank is the same as the $\mathcal{K}\Gamma$-rank of $H_1(\pi_1(M);\mathcal{K}\Gamma)$ associated to the coefficient system $\phi$. But this is precisely the rank hypothesis of Theorem \[thm:rho=0\] in the case that $\Gamma=B/B_{{\scriptscriptstyle}H}^{{\scriptscriptstyle}(n+1)}$.

Note that the final claim of the theorem was already established by the last part of Proposition \[prop:nsolvable\] applied to the $(n+1)$-solution $W$.

Suppose $M$ is rationally $(n.5)$-solvable via $W$ such that the coefficient system extends to $\psi:\pi_1(W)\to \Gamma$. Then $\rho(M, \phi)$ is given by $\sigma^{(2)}_{\Gamma}(W)-\sigma(W)$, where $\sigma^{(2)}_{\Gamma}(W)$ by Definition \[def:rhoinvariant\]. Let $\tilde{I}$ denote the image of the map $$H_2(\partial W;\mathcal{K}\G)\overset{j_*}{\lra}H_2(W;\mathcal{K}\G).$$ Since the sequence $$0\lra \tilde {I} \lra H_2(W;\mathcal{K}\G)\lra H_2(W;\mathcal{K}\G)/\tilde {I}\lra 0$$ is split exact (since all $\mathcal{K}\Gamma$-modules are free) it follows that $$H_2(W;\mathcal{K}\G)\cong \tilde{I}\oplus (H_2(W;\mathcal{K}\G)/\tilde {I}).$$ Since the intersection form $$\lambda: H_2(W;\mathcal{K}\G)\to Hom(H_2(W;\mathcal{K}\G
\ ]. Let $ \Gamma' = \pi_1(M)/\pi_1(M)^{(n+1)}_H$. Then, by Proposition   \[observation2\ ], the rank hypothesis of Corollary   \[cor: n.5solvable\ ] is equivalent to the fact that $ \mathcal{K}\Gamma' $ -rank of $ H_1(\pi_1(M);\mathcal{K}\Gamma') $ is $ \beta_1(M)-1$. Since $ j_{n+1 }: \Gamma' \to\G$ is a monomorphism, by [ @CH1 Lemma 4.2 ], this rank is the like as the $ \mathcal{K}\Gamma$-rank of $ H_1(\pi_1(M);\mathcal{K}\Gamma)$ consociate to the coefficient system $ \phi$. But this is precisely the rank guess of Theorem   \[thm: rho=0\ ] in the case that $ \Gamma = B / B_{{\scriptscriptstyle}H}^{{\scriptscriptstyle}(n+1)}$. 

 notice that the final claim of the theorem was already lay down by the final part of Proposition   \[prop: nsolvable\ ] applied to the $ (n+1)$-solution $ W$. 

 Suppose $ M$ is rationally $ (n.5)$-solvable via $ W$ such that the coefficient system carry to $ \psi:\pi_1(W)\to \Gamma$. Then $ \rho(M, \phi)$ is given by $ \sigma^{(2)}_{\Gamma}(W)-\sigma(W)$, where $ \sigma^{(2)}_{\Gamma}(W)$ by Definition   \[def: rhoinvariant\ ]. get $ \tilde{I}$ announce the image of the map $ $ H_2(\partial W;\mathcal{K}\G)\overset{j_*}{\lra}H_2(W;\mathcal{K}\G).$$ Since the succession $ $ 0\lra \tilde { I } \lra H_2(W;\mathcal{K}\G)\lra H_2(W;\mathcal{K}\G)/\tilde { I}\lra 0$$ is cleave exact (since all $ \mathcal{K}\Gamma$-modules are free) it follows that $ $ H_2(W;\mathcal{K}\G)\cong \tilde{I}\oplus (H_2(W;\mathcal{K}\G)/\tilde { I}).$$ Since the intersection imprint $ $ \lambda: H_2(W;\mathcal{K}\G)\to Hom(H_2(W;\mathcal{K}\G
\]. Leh $\Gamma '= \pi_1(M)/\pi_1(M)^{(n+1)}_H$. Then, bn Proposition \[obsgrcation2\], the rznk hypoghesis of Corollary \[cor:n.5solvaule\] us eqyivalent to the fact tfat $\mathcwl{K}\Gamma '$-ranj of $H_1(\pi_1(M);\mavgcal{K}\Gamma ')$ ia $\betc_1(M)-1$. Since $j_{n+1}: \Gamms '\to\G$ is a monomorphism, ty [@CK1 Lemma 4.2], this rank is the same as thq $\mathcsl{N}\Gamma$-rank of $R_1(\pi_1(M);\kwthczl{K}\Gamma)$ associated to the coefficjent syvtem $\phi$. But yhis is precisely the rank hyplthesis of Theorem \[hhm:rho=0\] in tye cwwe that $\Gammx=B/B_{{\scriptsbxiptstyle}H}^{{\sdriptscriptstyle}(n+1)}$.

Note that the winal claim of jkw tjgorem was alceady vstablished bn the ldst pary of Propositipn \[pcop:nwolvable\] applied to tie $(n+1)$-solution $W$.

Supposg $M$ is rathoually $(n.5)$-solvable via $W$ sych tvat dhe ziefwicjeit aystem exvends to $\psj:\pi_1(W)\to \Gammq$. Then $\rho(M, \phi)$ is bidvm by $\sigma^{(2)}_{\Gajma}(W)-\sidmw(W)$, where $\sigma^{(2)}_{\Gamma}(W)$ by Definition \[def:rhminbariant\]. Let $\tilde{I}$ denore the image of the mwp $$H_2(\partiwl W;\mathcal{K}\G)\overset{j_*}{\lra}H_2(W;\mathcal{K}\G).$$ Since the seqgence $$0\ura \tllde {U} \pra H_2(W;\mathcal{K}\G)\lra H_2(W;\mathcal{K}\G)/\tilde {I}\lra 0$$ is fllot exact (since ajl $\mathcal{K}\Balms$-iodules are ftee) it yklmows that $$H_2(W;\mathcap{K}\G)\cong \tildw{I}\oplus (H_2(R;\matncal{K}\G)/\tilde {I}).$$ Since the intwrsection fogm $$\lqmbda: H_2(W;\mathcal{K}\G)\tl Hom(H_2(W;\matheal{K}\G
\]. Let $\Gamma '= \pi_1(M)/\pi_1(M)^{(n+1)}_H$. Then, by the hypothesis of \[cor:n.5solvable\] is equivalent '$-rank $H_1(\pi_1(M);\mathcal{K}\Gamma ')$ is Since $j_{n+1}: \Gamma is a monomorphism, by [@CH1 Lemma this rank is the same as the $\mathcal{K}\Gamma$-rank of $H_1(\pi_1(M);\mathcal{K}\Gamma)$ associated to the system $\phi$. But this is precisely the rank hypothesis of Theorem \[thm:rho=0\] in case $\Gamma=B/B_{{\scriptscriptstyle}H}^{{\scriptscriptstyle}(n+1)}$. that final claim of the theorem was already established by the last part of Proposition \[prop:nsolvable\] applied the $(n+1)$-solution $W$. Suppose $M$ is rationally $(n.5)$-solvable $W$ such that the system extends to $\psi:\pi_1(W)\to \Gamma$. $\rho(M, is given $\sigma^{(2)}_{\Gamma}(W)-\sigma(W)$, $\sigma^{(2)}_{\Gamma}(W)$ Definition \[def:rhoinvariant\]. Let denote the image of the map $$H_2(\partial W;\mathcal{K}\G)\overset{j_*}{\lra}H_2(W;\mathcal{K}\G).$$ Since the sequence $$0\lra \tilde {I} \lra H_2(W;\mathcal{K}\G)\lra H_2(W;\mathcal{K}\G)/\tilde 0$$ is (since all are it that $$H_2(W;\mathcal{K}\G)\cong \tilde{I}\oplus Since the intersection form $$\lambda: H_2(W;\mathcal{K}\G)\to
\]. Let $\Gamma '= \pi_1(M)/\pi_1(M)^{(n+1)}_H$. Then, by ProPosition \[obServaTioN2\], thE rAnk hYpotHesis of CorollaRY \[cor:N.5solvable\] is equivalent tO the fAcT That $\MAtHcal{K}\gamma '$-raNK oF $h_1(\Pi_1(M);\MaThCal{k}\GAMmA ')$ is $\beTa_1(M)-1$. since $j_{n+1}: \gamma '\to\G$ is A moNoMorphism, by [@CH1 lEmMa 4.2], this rank Is tHe same as the $\mAthCal{K}\GaMmA$-raNK of $H_1(\pI_1(M);\mAthcaL{K}\GammA)$ AssociAted to the CoEFficieNT system $\PHI$. BUt thIs is precisely the rANk HYpothesis of TheOrem \[thM:rHO=0\] iN THe cAse That $\Gamma=B/b_{{\sCriptSCriptstYLe}h}^{{\SCRipTScriptstyle}(n+1)}$.

NOte that the fINal Claim oF tHe tHEorem wAs alrEaDY esTablished by The lAst part of proposITion \[proP:NsolvabLe\] applIed To tHe $(n+1)$-sOLuTiOn $W$.

suPPosE $m$ iS raTIonAlly $(n.5)$-solVaBlE via $W$ Such THAT The cOefFiciEnt syStem extends to $\Psi:\Pi_1(W)\tO \gamMa$. TheN $\rho(M, \Phi)$ iS gIven bY $\sigma^{(2)}_{\gamma}(w)-\sIgma(W)$, where $\sigma^{(2)}_{\gammA}(W)$ by DefinItiOn \[Def:RhOinvaRIant\]. LeT $\tiLde{i}$ denote The imagE Of tHe MAP $$h_2(\pArtial W;\mathcal{K}\G)\ovErSET{j_*}{\Lra}H_2(W;\matHcal{K}\G).$$ sInCe THe sequenCe $$0\Lra \TildE {i} \Lra H_2(W;\MathCAl{k}\G)\lra H_2(W;\mAthcal{k}\g)/\tIlDe {I}\lra 0$$ iS sPlit exAcT (siNce All $\maTHcal{k}\Gamma$-Modules aRe freE) It follows that $$H_2(w;\Mathcal{K}\G)\cong \TIlDE{i}\oPLus (H_2(w;\maThcal{K}\G)/\tildE {I}).$$ SiNCe thE intERsEctIOn forM $$\lambDa: h_2(w;\mAThcal{K}\G)\to Hom(H_2(W;\mathcAl{k}\G
\]. Let $\Gamma '= \pi_1(M )/\pi_1(M) ^{(n+ 1)} _H$ .Then , by  Proposition \ [ obse rvation2\], the rank h ypoth es i s of Co rolla ry \[co r :n . 5 sol va bl e\]  i s  e quiva len t to th e fact tha t $ \m athcal{K}\Ga m ma  '$-rank o f $ H_1(\pi_1(M) ;\m athcal {K }\G a mma ' )$is $\ beta_1 ( M)-1$.  Since $j _{ n +1}: \ G amma '\ t o \G $ is  a monomorphism,b y[ @CH1 Lemma 4.2 ], thi sr an k isthe  same as t he  $\ma t hcal{K} \ Ga m m a $-r a nk of $H_1(\p i_1(M);\mat h cal {K}\Ga mm a)$ associ atedto the  coefficien t sy stem $\ph i$. Bu t  this i s  precis ely th e r ank  hyp o th es isof The o re m \ [ thm :rho=0\]  i nthe c aset h a t  $\G amm a=B/ B_{{\ scriptscripts tyl e}H} ^ {{\ scrip tscri ptst yl e}(n+ 1)}$.
Note  t hat the final c laim  of the t heo re m w as  alre a dy est abl ish ed by t he last par to f Pr oposition \[prop:n so l v ab le\] app lied t o  t he $(n+1)$- so lut ion$ W $.

S uppo s e$M$ is r ationa l ly  $ (n.5)$- so lvable  v ia$W$  such that  the c oefficie nt sy s tem extends to $\psi:\pi_1(W ) \t o \G a mma$ . T hen $\rho(M , \p h i)$is g i ve n b y  $\si gma^{ (2 ) }_ { \Gamma}(W)-\sigma(W )$ , wher e $\s igma^{(2)}_{\ Gamma}(W)$ b y  Definit ion\ [d e f:rhoinvariant \]. L et $\tilde { I}$ deno te th e imageof the ma p $$H_2(\p art ial  W; \ma t h ca l{K}\G)\overs e t {j_* }{ \lra}H_ 2(W ;\mathc al{ K}\ G). $$Si nce the s equence$$ 0\ lr a\ti lde { I } \lra H _2 (W; \m ath cal{K } \G)\lr a H_2 (W;\ ma th c al{ K}\G)/\ t il d e  {I} \l ra  0$$  is  s plitexac t  (s ince al l $\mathc al{ K }\Ga mm a$ -module s are free) i tfollows th at  $$ H_2(W; \ m athcal{K }\G)\cong \tilde{I}\opl u s (H_2( W;\ mathc al{K }\G)/\til de{I}).$ $ S i nce th e inte rsect io n f o r m $$\ l a mb da:  H _2(W;\math c a l{K }\G)\ to  Hom (H_2(W; \mathcal{K}\G
\]. Let_$\Gamma '=_\pi_1(M)/\pi_1(M)^{(n+1)}_H$. Then, by Proposition \[observation2\],_the rank_hypothesis_of Corollary \[cor:n.5solvable\]_is_equivalent to the_fact that $\mathcal{K}\Gamma_'$-rank of $H_1(\pi_1(M);\mathcal{K}\Gamma ')$_is $\beta_1(M)-1$. Since_$j_{n+1}:_\Gamma '\to\G$ is a monomorphism, by [@CH1 Lemma 4.2], this rank is the same_as_the $\mathcal{K}\Gamma$-rank_of_$H_1(\pi_1(M);\mathcal{K}\Gamma)$_associated to the coefficient system_$\phi$. But this is precisely_the rank_hypothesis of Theorem \[thm:rho=0\] in the case that $\Gamma=B/B_{{\scriptscriptstyle}H}^{{\scriptscriptstyle}(n+1)}$.

Note_that_the final claim_of the theorem was already established by the last_part of Proposition \[prop:nsolvable\] applied to the_$(n+1)$-solution $W$.

Suppose $M$_is_rationally_$(n.5)$-solvable via $W$ such_that the coefficient system extends to_$\psi:\pi_1(W)\to \Gamma$. Then $\rho(M, \phi)$ is_given by $\sigma^{(2)}_{\Gamma}(W)-\sigma(W)$, where $\sigma^{(2)}_{\Gamma}(W)$ by Definition \[def:rhoinvariant\]._Let $\tilde{I}$ denote the image of_the map $$H_2(\partial W;\mathcal{K}\G)\overset{j_*}{\lra}H_2(W;\mathcal{K}\G).$$ Since_the sequence_$$0\lra \tilde {I} \lra H_2(W;\mathcal{K}\G)\lra_H_2(W;\mathcal{K}\G)/\tilde {I}\lra 0$$_is split_exact (since all_$\mathcal{K}\Gamma$-modules are free) it follows that_$$H_2(W;\mathcal{K}\G)\cong \tilde{I}\oplus (H_2(W;\mathcal{K}\G)/\tilde_{I}).$$ Since the intersection form $$\lambda:_H_2(W;\mathcal{K}\G)\to_Hom(H_2(W;\mathcal{K}\G