 Theorem 6.4] in two ways. Firstly and primarily, it improves the $(n+1)$ in her result to what should be the optimal result $(n.5)$ (although only for $E$-links). Being an $E$-link ensures an extra rank condition that is hidden in Harvey’s proof since it is implied by $(n+1)$-solvability. Our Theorem then allows for a corresponding sharpening of Harvey’s main application of the above  [@Ha2 Theorem 6.8].

\[infgenerated\] In the category of m-component ordered oriented string links ($m>1$), each of the quotients $\mathcal{F}_{(n)}/\mathcal{F}^{\mathbb{Q}}_{(n.5)}$ contains a subgroup, consisting entirely of boundary links, whose abelianization has infinite $\mathbb{Q}$-rank.

We remark that Harvey’s additivity result for her $\rho_k$ for boundary string links should hold for any additively closed subset of $E$-links, such as the set of homology boundary links with a fixed “*pattern*” and so the word “boundary links” in the above theorem should be able to be replaced by any such set.

Secondly, our Theorem \[n.5solvable\] improves on Harvey’s version by proving the theorem for so-called “rational” solvability. The definition of the latter is reviewed below. This may seem like a technical advance. However it points the way to certain further improvements in other results in the literature that we will postpone to another paper. Namely, there is a well-studied geometric notion that approximates $n$-solvability of links that has to with generalizing the annuli in the definition of concordance to certain $2$-complexes called *symmetric gropes*. We shall not review these terms here, but in future paper we will show that the torsion-free derived series suggests beautiful generalizations of gropes, that we call *rational homology gropes* and these generalizations are the proper geometric approximation to the algebraic notion of rational n-solvability.

We briefly review the definitions of the Cheeger-Gromov von Neumann $\rho-$invariant (only in the cases that we need here) and $(n)-$solvability. More general definitions are to be found in  [@ChGr1] [@Ha2 Section 3] [@COT Section 5].

\[
Theorem 6.4 ] in two ways. Firstly and primarily, it improves the $ (n+1)$ in her resultant role to what should be the optimum result $ (n.5)$ (although only for $ E$-links). Being an $ E$-link guarantee an excess rank condition that is hidden in Harvey ’s validation since it is incriminate by $ (n+1)$-solvability. Our Theorem then allows for a comparable sharpening of Harvey ’s chief application of the above   [ @Ha2 Theorem 6.8 ]. 

 \[infgenerated\ ] In the class of m - component ordered oriented chain links ($ m>1 $), each of the quotients $ \mathcal{F}_{(n)}/\mathcal{F}^{\mathbb{Q}}_{(n.5)}$ contains a subgroup, consisting entirely of boundary link, whose abelianization has infinite $ \mathbb{Q}$-rank. 

 We remark that Harvey ’s additivity result for her $ \rho_k$ for boundary string connection should hold for any additively closed subset of $ E$-links, such as the set of homology boundary links with a repair “ * pattern * ” and so the word “ boundary links ” in the above theorem should be able to be replaced by any such hardening. 

 Secondly, our Theorem   \[n.5solvable\ ] improves on Harvey ’s version by proving the theorem for so - called “ rational ” solvability. The definition of the latter is reviewed below. This may seem like a technical advance. However it points the way to certain further improvements in other results in the literature that we will postpone to another composition. Namely, there is a well - studied geometric impression that approximate $ n$-solvability of radio link that has to with generalizing the ring in the definition of concordance to certain $ 2$-complexes called * symmetric grope *. We shall not review these terms here, but in future paper we will show that the torsion - free derived series suggests beautiful generalizations of gropes, that we call * rational homology grope * and these generalizations are the proper geometric estimate to the algebraic notion of rational n - solvability. 

 We briefly review the definitions of the Cheeger - Gromov von Neumann $ \rho-$invariant (only in the subject that we need here) and $ (n)-$solvability. More general definitions are to be find oneself in   [ @ChGr1 ]   [ @Ha2 department 3 ]   [ @COT Section 5 ]. 

 \ [
 Thforem 6.4] in two ways. Firstuy and primarili, ut impcoves tge $(n+1)$ in fer result to what should be tye opupmal result $(n.5)$ (althougf only fog $E$-links). Veinj an $E$-link ensurxa an exbxa rahn coudmtion that is hldden in Hasvey’s proof sitcd nt is implied by $(n+1)$-solvability. Our Thqorem tnej allows for a corgefponspnn sharpening of Harvey’s main appmicatioi of the above  [@Na2 Theorem 6.8].

\[infgenerated\] In the category of m-complnent ordergs owuented strine links ($m>1$), taeh of the qootients $\mathcal{F}_{(n)}/\mathcal{F}^{\mathbb{D}}_{(n.5)}$ coutains a suvgeouo, consisting entigely of boundary linkv, whose abelianizatiok has indinite $\mathbb{Q}$-rank.

We cemark that Harvey’s wdditivitf xesult for her $\rho_k$ fir boungary strkbg uinis sgould jolv for any asditively coosed subset of $E$-limkf, such as the aet of hjmology boundary links with a fixed “*patuern*” znd so the word “boundart links” in the above jheorem shjuld be able to be replaced by any such set.

Secondny, ouc Gheircm \[n.5suovwble\] improves on Harvey’s version by proving trs uheprem for so-caljed “rationak” dokdability. The aefinicjoh of the latter is reviewgd beliw. This mwy srem like a technical advancw. However it points the way to eertain furtker imkrovemrnts in other results iu the miterature hhat we wjul postpone to avotmer paper. Namely, there is a wqll-studiev geoketric votipn thae approximwtes $k$-volvability of linns thct hav to with heneralizing the annuli in the vxfinition of votcogdance to certsin $2$-complexes called *symmettic gropef*. We rhall not geview thxse terms hewe, but in futgte paper we wmll show ehat the torsiov-wree derived srries sugytsts beautuful generalizatioks of fropes, that we eclo *rational homokogh gwoies* agg these genesalixatkpns afe the kxopcr eeomrtric approximation do tge algebraic notiom jf ratiobal n-soldability.

We broefly review the dtfinitmons oh the Vhegger-Gromov von Neumann $\rho-$invarjant (only in the cases trat qe need here) and $(n)-$solvability. More general definitiins are to be foune in  [@ChGr1] [@Ha2 Section 3] [@GOT Section 5].

\[
Theorem 6.4] in two ways. Firstly and improves $(n+1)$ in result to what $(n.5)$ only for $E$-links). an $E$-link ensures extra rank condition that is hidden Harvey’s proof since it is implied by $(n+1)$-solvability. Our Theorem then allows for corresponding sharpening of Harvey’s main application of the above [@Ha2 Theorem 6.8]. \[infgenerated\] the of ordered string links ($m>1$), each of the quotients $\mathcal{F}_{(n)}/\mathcal{F}^{\mathbb{Q}}_{(n.5)}$ contains a subgroup, consisting entirely of boundary links, abelianization has infinite $\mathbb{Q}$-rank. We remark that Harvey’s result for her $\rho_k$ boundary string links should hold any closed subset $E$-links, as set of homology links with a fixed “*pattern*” and so the word “boundary links” in the above theorem should be to be any such Secondly, Theorem improves on Harvey’s proving the theorem for so-called “rational” of the latter is reviewed below. This may like a advance. However it points the way certain further improvements in other results in the that we will postpone to another paper. Namely, there is a well-studied geometric notion that of links that has with generalizing the in definition concordance certain $2$-complexes *symmetric gropes*. We shall not review these terms here, but in paper we will show that the torsion-free derived series suggests of that we call homology gropes* and these are proper geometric approximation to notion rational review definitions the Cheeger-Gromov von Neumann (only in the cases that need here) and $(n)-$solvability. be found in [@ChGr1] [@Ha2 Section 3] [@COT 5]. \[
 Theorem 6.4] in two ways. Firstly anD primarily, It impRovEs tHe $(N+1)$ in hEr reSult to what shouLD be tHe optimal result $(n.5)$ (althouGh onlY fOR $E$-liNKs). being An $E$-link ENsUREs aN eXtRa rAnK CoNditiOn tHat is hiDden in HarvEy’s PrOof since it is IMpLied by $(n+1)$-solVabIlity. Our TheoRem Then alLoWs fOR a corResPondiNg sharPEning oF Harvey’s mAiN ApplicATion of tHE AbOve  [@HA2 Theorem 6.8].

\[infgeneraTEd\] iN the category of M-compoNeNT oRDEreD orIented striNg Links ($M>1$), Each of tHE qUOTIenTS $\mathcal{F}_{(n)}/\matHcal{F}^{\mathbb{q}}_{(N.5)}$ coNtains A sUbgROup, conSistiNg ENtiRely of boundAry lInks, whose AbeliaNIzation HAs infinIte $\matHbb{q}$-raNk.

We REmArK thAt hArvEY’s AddITivIty resulT fOr Her $\rhO_k$ foR BOUNdarY stRing Links Should hold for Any AddiTIveLy cloSed suBset Of $e$-linkS, such aS the sEt Of homology boundAry lInks with a FixEd “*PatTeRn*” and SO the woRd “bOunDary linKs” in the ABovE tHEOReM should be able to be rEpLACeD by any suCh set.

SECoNdLY, our TheoReM \[n.5sOlvaBLE\] imprOves ON HArvey’s veRsion bY PrOvIng the tHeOrem foR sO-caLleD “ratiONal” sOlvabiLity. The dEfiniTIon of the latter IS reviewed beloW. thIS MaY Seem LikE a technical AdvaNCe. HoWeveR It PoiNTs the Way to CeRTaIN further improvementS iN other ResulTs in the literaTure that we WILL postponE to aNOtHEr paper. Namely, tHere iS a well-studIEd geometRic noTion that ApproximaTES $n$-solvabIliTy oF liNks THAt Has to with geneRALiziNg The annuLi iN the defIniTioN of ConCoRdance to cErtain $2$-coMpLeXeS cAllEd *symMEtric groPeS*. We ShAll Not reVIew theSe terMs heRe, BuT In fUture paPEr WE Will ShOw That The ToRsion-Free DEriVed seriEs suggestS beAUtifUl GeNeralizAtions of gropeS, tHat we call *rAtIonAl homoLOGy gropes* And these generalizations ARe the prOpeR geomEtriC approximAtiOn to thE alGEbraic Notion Of ratIoNal N-SOlvabILItY.

We BrIefly revieW THe dEfiniTiOns oF the CheEger-Gromov von NeumaNN $\rhO-$invariant (onlY in The cASEs ThaT We NEed HeRE) anD $(N)-$Solvability. More General defInITiOns are to be FOunD iN  [@ChGr1] [@Ha2 section 3] [@cOT SeCTion 5].

\[
 Theorem 6.4] in two ways.  Firstly a nd pr ima ril y,  itimpr oves the $(n+1 ) $ in  her result to what sh ouldbe theo pt imalresult$ (n . 5 )$(a lt hou gh on ly fo r $ E$-link s). Beingan$E $-link ensur e san extra r ank  condition t hat  is hi dd eni n Har vey ’s pr oof si n ce itis implie db y $(n+ 1 )$-solv a b il ity.  Our Theorem then al l ows for a corr espond in g  s h a rpe nin g of Harve y’ s mai n  applic a ti o n oft he above  [@H a2 Theorem6 .8] .

\[i nf gen e rated\ ] Inth e  ca tegory of m -com ponent or deredo riented stringlinks($m >1$ ), e a ch  o f t he quo t ie nts $\m athcal{F }_ {( n)}/\ math c a l { F}^{ \ma thbb {Q}}_ {(n.5)}$ cont ain s as ubg roup,  cons isti ng  enti rely o f bou nd ary links, whos e ab elianizat ion  h asin finit e  $\mat hbb {Q} $-rank. 

We re m ark  t h a t  H arvey’s additivity  r e s ul t for he r $\rh o _k $f or bound ar y s trin g links  sho u ld  hold fo r anya dd it ively c lo sed su bs etof$E$-l i nks,  suchas the s et of homology bound a ry links with af i xe d  “*p att ern*” and s o th e  wor d “b o un dar y  link s” in  t h ea bove theorem should  b e able  to b e replaced by  any suchs e t .

Secon dly, ou r  Theorem \[n.5 solva ble\] impr o ves on H arvey ’s versi on by pro v i ng the t heo rem  fo r s o - ca lled “rationa l ”  sol va bility.  Th e defin iti onofthe  l atter isreviewed  b el ow .Thi s may seem lik ea t ec hni cal a d vance.  Howe verit  p o int s the w a yt o  cer ta in  fur the rimpro veme n tsin othe r results  in theli te raturethat we willpo stpone toan oth er pap e r . Namely , there is a well-studi e d geome tri c not ionthat appr oxi mates$n$ - solvab ilityof li nk s t h a t has t owit hgeneralizi n g  th e ann ul i in  the de finition of concor d anc e to certain$2$ -com p l ex esc al l ed*s y mme t r ic gropes*. Weshall notre v ie w these te r mshe re, but  in fut ure p a per wewill show  that the  t orsi o n -fr ee derived  seriessuggestsb eauti f ul  gene ral izatio ns  of  grop es, th a t w e cal l *rat io nal ho molog ygropes*and these generalizatio ns are  thepro per geome tri c  ap proximati on t o the alge bra icnotio n o f  rati onal n- sol v abili ty.We briefl y  r evi e w  t he definiti o n s  of  theChe e ger-Gr omov  von Neumann $\rh o -$invariant (o nlyi n  th e c a sesth at we need her e)an d $(n)-$so lv ability. Mo re gener al defin itions  are t o be fo u n di n  [@C hGr1 ] [ @Ha2 Sect ion  3 ]  [@COTSe ct i on 5]. 

\[ 
 Theorem_6.4] in_two ways. Firstly and_primarily, it_improves_the $(n+1)$_in_her result to_what should be_the optimal result $(n.5)$_(although only for_$E$-links)._Being an $E$-link ensures an extra rank condition that is hidden in Harvey’s proof_since_it is_implied_by_$(n+1)$-solvability. Our Theorem then allows_for a corresponding sharpening of_Harvey’s main_application of the above  [@Ha2 Theorem 6.8].

\[infgenerated\] In_the_category of m-component_ordered oriented string links ($m>1$), each of the quotients_$\mathcal{F}_{(n)}/\mathcal{F}^{\mathbb{Q}}_{(n.5)}$ contains a subgroup, consisting entirely_of boundary links,_whose_abelianization_has infinite $\mathbb{Q}$-rank.

We remark_that Harvey’s additivity result for her_$\rho_k$ for boundary string links should_hold for any additively closed subset of_$E$-links, such as the set of_homology boundary links with a_fixed “*pattern*”_and so the word “boundary_links” in the_above theorem_should be able_to be replaced by any such_set.

Secondly, our Theorem \[n.5solvable\]_improves on Harvey’s version by proving_the_theorem for so-called_“rational”_solvability._The definition_of the latter_is_reviewed below._This_may seem like a technical advance._However_it points the way to certain further_improvements in other results_in_the literature that we_will postpone to another paper._Namely, there is a well-studied geometric_notion that_approximates $n$-solvability_of links that has to with generalizing the annuli in the_definition of concordance to certain $2$-complexes_called *symmetric gropes*. We_shall not_review_these terms here,_but_in future_paper we will show that the torsion-free_derived series_suggests beautiful generalizations of gropes, that_we call *rational homology_gropes*_and these generalizations are the proper_geometric approximation to the algebraic notion_of rational n-solvability.

We briefly review_the_definitions_of the Cheeger-Gromov von Neumann_$\rho-$invariant (only in the cases that_we need here)_and $(n)-$solvability. More general definitions are to_be_found in  [@ChGr1] [@Ha2 Section 3] [@COT Section_5].

\[