2}},\ast)}$]{}]{}. We show that the remaining groups vanish over [$\mathbf{Q}$]{} using the induction hypothesis and the exact sequence $${\tilde{H}}_i({{\ensuremath{\exp_{k-1}\!{({\ensuremath{S^2}},\ast)}}}})\longrightarrow
{\tilde{H}}_i({{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})\longrightarrow
{\tilde{H}}_i({{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}}/{{\ensuremath{\exp_{k-1}\!{({\ensuremath{S^2}},\ast)}}}})$$ (rational co-efficients omitted). Since the outer groups are zero for $i\leq 2k-5$ the middle group is too.

We now prove the results for [[$\exp_{k}\!{{\ensuremath{S^2}}}$]{}]{}, using the results just proved, Lemma \[samehomology.lem\], and the long exact sequence of the pair $({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}},{{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})$. At the top end we have $$0\rightarrow  {\tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}}) \rightarrow 
       {\tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}}/{{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})  \rightarrow
0\rightarrow {\tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\rightarrow 0$$ giving ${\tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\cong{\ensuremath{\mathbf{Z}}}$ generated by $\tilde{\mathsf{1}}(k)$ and ${\tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\cong\{0\}$. The next segment is $$0\longrightarrow {\ensuremath{\mathbf{Z}}}\longrightarrow {\tilde{H}}_{2k-2}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})
 \longrightarrow {\ensuremath{\mathbf{Z}}}/(k-1){\ensuremath{\mathbf{Z}}}\longrightarrow 0$$ in which the subgroup [$\mathbf{Z}$]{} is generated by ${\mathsf{1}}(k-1)$ and the
2}},\ast)}$ ] { } ] { }. We show that the remaining groups vanish over [ $ \mathbf{Q}$ ] { }   use the evocation hypothesis and the exact sequence $ $ { \tilde{H}}_i({{\ensuremath{\exp_{k-1}\!{({\ensuremath{S^2}},\ast)}}}})\longrightarrow 
 { \tilde{H}}_i({{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})\longrightarrow 
 { \tilde{H}}_i({{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}}/{{\ensuremath{\exp_{k-1}\!{({\ensuremath{S^2}},\ast)}}}})$$ (intellectual co - efficients omitted). Since the outer group are zero for $ i\leq 2k-5 $ the middle group is too. 

 We nowadays prove the results for [ [ $ \exp_{k}\!{{\ensuremath{S^2}}}$ ] { } ] { }, use the results just testify, Lemma   \[samehomology.lem\ ], and the long exact sequence of the pair $ ({ { \ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}},{{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})$. At the top end we have $ $ 0\rightarrow   { \tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2 } } } } } }) \rightarrow 
        { \tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}}/{{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast) } } } })   \rightarrow 
 0\rightarrow { \tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\rightarrow 0$$ contribute $ { \tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\cong{\ensuremath{\mathbf{Z}}}$ generated by $ \tilde{\mathsf{1}}(k)$ and $ { \tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\cong\{0\}$. The next segment is $ $ 0\longrightarrow { \ensuremath{\mathbf{Z}}}\longrightarrow { \tilde{H}}_{2k-2}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2 } } } } } }) 
  \longrightarrow { \ensuremath{\mathbf{Z}}}/(k-1){\ensuremath{\mathbf{Z}}}\longrightarrow 0$$ in which the subgroup [ $ \mathbf{Z}$ ] { }   is beget by $ { \mathsf{1}}(k-1)$ and the
2}},\ast)}$]{}]{}. We show that the remainlng groups vanisk over [$\kathbf{S}$]{} using tfe induction hypothesis and vhe wxact sequence $${\tilde{H}}_i({{\ensurdmath{\exp_{k-1}\!{({\vnsurematy{S^2}},\asu)}}}})\longrightarrow
{\tilde{H}}_i({{\ensmxematg{\cxp_{k}\!{({\eusnremath{S^2}},\ast)}}}})\longtightarrow
{\tinde{H}}_i({{\ensurematv{\ebp_{n}\!{({\ensuremath{S^2}},\ast)}}}}/{{\ensuremath{\exp_{k-1}\!{({\ensureiath{S^2}},\asy)}}}})$$ (gational co-effyciemes ojptued). Since the outer groups are zedo for $p\leq 2k-5$ the middle group is too.

We now prove hhe gesults for [[$\exp_{k}\!{{\enduremath{S^2}}}$]{}]{}, uwing rhe results gust proved, Lemma \[samehkmology.lem\], and the long exact sdquenee of the pqie $({{\ejvuremath{\exp_{j}\!{{\ensugemath{S^2}}}}}},{{\ensuremath{\exp_{k}\!{({\ansuremsth{S^2}},\ast)}}}})$. At the to' ene we have $$0\rightarrow  {\tilde{H}}_{2k}({{\ensuremath{\gxp_{k}\!{{\ensurekach{S^2}}}}}}) \rightarrow 
       {\tulde{H}}_{2n}({{\ensgremxrh{\ebp_{k}\!{{\tnsnrejath{S^2}}}}}}/{{\ejsucemath{\exp_{k}\!{({\ehsuremath{S^2}},\awt)}}}})  \rightarrow
0\rightsrwiw {\tilde{H}}_{2k-1}({{\enshrematr{\evp_{k}\!{{\ensuremath{S^2}}}}}})\rightarrow 0$$ giving ${\tilde{H}}_{2n}({{\enauremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\xong{\ensuremath{\mathbf{Z}}}$ generateq by $\tilde{\mathsf{1}}(k)$ and ${\tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensurekath{S^2}}}}}})\rovg\{0\}$. Uhc vwxh segment is $$0\longrightarrow {\ensuremath{\mathbf{Z}}}\jknbrpghtarrow {\tilde{H}}_{2k-2}({{\cnsuremath{\exp_{k}\!{{\ensutelayr{S^2}}}}}})
 \longrightatrow {\ensursmath{\mathbf{Z}}}/(k-1){\ensurfmath{\majhbf{Z}}}\lingrightawrow 0$$ in which the subgroup [$\matybf{Z}$]{} is generctee by ${\mathsf{1}}(k-1)$ and tke
2}},\ast)}$]{}]{}. We show that the remaining groups [$\mathbf{Q}$]{} the induction and the exact co-efficients Since the outer are zero for 2k-5$ the middle group is too. now prove the results for [[$\exp_{k}\!{{\ensuremath{S^2}}}$]{}]{}, using the results just proved, Lemma \[samehomology.lem\], the long exact sequence of the pair $({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}},{{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})$. At the top end we $$0\rightarrow \rightarrow \rightarrow {\tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\rightarrow 0$$ giving ${\tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\cong{\ensuremath{\mathbf{Z}}}$ generated by $\tilde{\mathsf{1}}(k)$ and ${\tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\cong\{0\}$. The next segment is $$0\longrightarrow {\ensuremath{\mathbf{Z}}}\longrightarrow {\tilde{H}}_{2k-2}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}}) {\ensuremath{\mathbf{Z}}}/(k-1){\ensuremath{\mathbf{Z}}}\longrightarrow 0$$ in which the subgroup [$\mathbf{Z}$]{} is by ${\mathsf{1}}(k-1)$ and the
2}},\ast)}$]{}]{}. We show that the remaining Groups vaniSh oveR [$\maThbF{Q}$]{} UsinG the Induction hypotHEsis And the exact sequence $${\tilDe{H}}_i({{\eNsURemaTH{\eXp_{k-1}\!{({\enSurematH{s^2}},\aST)}}}})\LonGrIgHtaRrOW
{\tIlde{H}}_I({{\enSurematH{\exp_{k}\!{({\ensurEmaTh{s^2}},\ast)}}}})\longrighTArRow
{\tilde{H}}_i({{\EnsUremath{\exp_{k}\!{({\eNsuRemath{s^2}},\aSt)}}}}/{{\eNSuremAth{\Exp_{k-1}\!{({\eNsuremATh{S^2}},\ast)}}}})$$ (Rational cO-eFFicienTS omitteD). sInCe thE outer groups are zeRO fOR $i\leq 2k-5$ the middlE group Is TOo.

wE Now ProVe the resulTs For [[$\exP_{K}\!{{\ensureMAtH{s^2}}}$]{}]{}, USinG The results jusT proved, LemmA \[SamEhomolOgY.leM\], And the Long eXaCT seQuence of the Pair $({{\EnsurematH{\exp_{k}\!{{\eNSurematH{s^2}}}}}},{{\ensureMath{\exP_{k}\!{({\eNsuRemaTH{S^2}},\AsT)}}}})$. At ThE Top ENd We hAVe $$0\rIghtarroW  {\tIlDe{H}}_{2k}({{\eNsurEMATH{\exp_{K}\!{{\enSureMath{S^2}}}}}}) \Rightarrow 
       {\tilDe{H}}_{2K}({{\ensURemAth{\exP_{k}\!{{\ensUremAtH{S^2}}}}}}/{{\ensUrematH{\exp_{k}\!{({\EnSuremath{S^2}},\ast)}}}})  \rigHtarRow
0\rightaRroW {\tIldE{H}}_{2K-1}({{\ensuREmath{\eXp_{k}\!{{\EnsUremath{s^2}}}}}})\rightaRRow 0$$ GiVING ${\tIlde{H}}_{2k}({{\ensuremath{\exP_{k}\!{{\ENSuRemath{S^2}}}}}})\cOng{\ensUReMaTH{\mathbf{Z}}}$ GeNerAted BY $\Tilde{\MathSF{1}}(k)$ And ${\tilde{h}}_{2k-1}({{\ensuREmAtH{\exp_{k}\!{{\enSuRemath{s^2}}}}}})\cOng\{0\}$. the Next sEGmenT is $$0\lonGrightarRow {\enSUremath{\mathbf{Z}}}\LOngrightarrow {\TIlDE{h}}_{2k-2}({{\ENsurEmaTh{\exp_{k}\!{{\ensurEmatH{s^2}}}}}})
 \lonGrigHTaRroW {\EnsurEmath{\MaTHbF{z}}}/(k-1){\ensuremath{\mathbf{Z}}}\LoNgrighTarroW 0$$ in which the suBgroup [$\mathBF{z}$]{} Is generaTed bY ${\MaTHsf{1}}(k-1)$ and the
2}},\ast)}$]{}]{}. We show  that theremai nin g g ro upsvani sh over [$\mat h bf{Q }$]{} using the induct ion h yp o thes i sand t he exac t  s e q uen ce  $ ${\ ti l de {H}}_ i({ {\ensur emath{\exp _{k -1 }\!{({\ensur e ma th{S^2}},\ ast )}}}})\longr igh tarrow 
{ \ti l de{H} }_i ({{\e nsurem a th{\ex p_{k}\!{( {\ e nsurem a th{S^2} } , \a st)} }}})\longrightarr o w{ \tilde{H}}_i({ {\ensu re m at h { \ex p_{ k}\!{({\en su remat h {S^2}}, \ as t ) } }}} / {{\ensuremath {\exp_{k-1} \ !{( {\ensu re mat h {S^2}} ,\ast )} } }}) $$ (rationa l co -efficien ts omi t ted). S i nce the  outer  gr oup s ar e  z er o f or $i\ l eq  2k - 5$the midd le  g roupis t o o . 
Wenow  pro ve th e results for  [[ $\ex p _{k }\!{{ \ensu rema th {S^2} }}$]{} ]{},us ing the results  jus t proved,  Le mm a \ [s ameho m ology. lem \],  and th e longe xac ts e q ue nce of the pair $( {{ \ e ns uremath{ \exp_{ k }\ !{ { \ensurem at h{S ^2}} } } }},{{ \ens u re math{\ex p_{k}\ ! {( {\ ensurem at h{S^2} }, \as t)} }}})$ .  Atthe to p end we  have $$0\rightarrow  {\tilde{H}}_ { 2k } ( {{ \ ensu rem ath{\exp_{k }\!{ { \ens urem a th {S^ 2 }}}}} }) \r ig h ta r row 
       {\tilde {H }}_{2k }({{\ ensuremath{\e xp_{k}\!{{ \ e n suremath {S^2 } }} } }}/{{\ensurema th{\e xp_{k}\!{( { \ensurem ath{S ^2}},\as t)}}}}) \ r ightarro w
0 \ri ght arr o w  { \tilde{H}}_{2 k - 1}({ {\ ensurem ath {\exp_{ k}\ !{{ \en sur em ath{S^2}} }}}})\ri gh ta rr ow  0$ $ giv i ng ${\ti ld e{H }} _{2 k}({{ \ ensure math{ \exp _{ k} \ !{{ \ensure m at h { S^2} }} }} })\c ong {\ ensur emat h {\m athbf{Z }}}$ gene rat e d by  $ \t ilde{\m athsf{1}}(k)$  a nd ${\tild e{ H}} _{2k-1 } ( {{\ensur emath{\exp_{k}\!{{\ensu r emath{S ^2} }}}}} )\co ng\{0\}$.  Th e next  se g ment i s $$0\ longr ig hta r r ow {\ e n su rem at h{\mathbf{ Z } }}\ longr ig htar row {\t ilde{H}}_{2k-2}({{ \ ens uremath{\exp_ {k} \!{{ \ e ns ure m at h {S^ 2} } }}} } ) 
 \longrightarr ow {\ensur em a th {\mathbf{Z } }}/ (k -1){\en suremat h{\ma t hbf{Z}} }\longrig htarrow 0 $$  inw h ich  the subgr oup [$\m athbf{Z}$ ] {} is ge nerat edby ${\ ma ths f{1}} (k-1)$ and  the
2}},\ast)}$]{}]{}. We_show that_the remaining groups vanish_over [$\mathbf{Q}$]{} using_the_induction hypothesis_and_the exact sequence_$${\tilde{H}}_i({{\ensuremath{\exp_{k-1}\!{({\ensuremath{S^2}},\ast)}}}})\longrightarrow
{\tilde{H}}_i({{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})\longrightarrow
{\tilde{H}}_i({{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}}/{{\ensuremath{\exp_{k-1}\!{({\ensuremath{S^2}},\ast)}}}})$$ (rational co-efficients_omitted). Since the outer_groups are zero_for_$i\leq 2k-5$ the middle group is too.

We now prove the results for [[$\exp_{k}\!{{\ensuremath{S^2}}}$]{}]{}, using_the_results just_proved,_Lemma \[samehomology.lem\],_and the long exact sequence_of the pair $({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}},{{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})$. At_the top_end we have $$0\rightarrow  {\tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}}) \rightarrow 
__  _  {\tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}}/{{\ensuremath{\exp_{k}\!{({\ensuremath{S^2}},\ast)}}}})  \rightarrow
0\rightarrow {\tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\rightarrow 0$$ giving ${\tilde{H}}_{2k}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\cong{\ensuremath{\mathbf{Z}}}$_generated by $\tilde{\mathsf{1}}(k)$ and ${\tilde{H}}_{2k-1}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})\cong\{0\}$. The_next segment is_$$0\longrightarrow_{\ensuremath{\mathbf{Z}}}\longrightarrow_{\tilde{H}}_{2k-2}({{\ensuremath{\exp_{k}\!{{\ensuremath{S^2}}}}}})
 \longrightarrow {\ensuremath{\mathbf{Z}}}/(k-1){\ensuremath{\mathbf{Z}}}\longrightarrow 0$$_in which the subgroup [$\mathbf{Z}$]{} is generated_by ${\mathsf{1}}(k-1)$ and the