X{\longrightarrow}X\cup_A X$ is the embedding of the first copy of $X$. The Mayer-Vietoris sequence for the pushout square $$\xymatrix{  A \ar[r]^-i\ar[d]_i & X\ar[d]^{i_2} \\ X\ar[r]_-{i_1} & X\cup_A X}$$ has the form $$\begin{aligned}
    \cdots\ {\longrightarrow}\ 
    {\mathcal H}^{k-1}(A)\ &\xrightarrow{\ \delta^{k-1}\ } \ 
    {\mathcal H}^k(X\cup_A X)\  \xrightarrow{(i_1^*,i_2^*)}\\
    &{\mathcal H}^k(X)\times {\mathcal H}^k(X)\ \xrightarrow{(x,x')\mapsto i^*(x)-i^*(x')}
    \  {\mathcal H}^k(A) \ \xrightarrow{\ \delta^k\ } \ \cdots \.\end{aligned}$$ So the connecting homomorphism $\delta^{k-1}:{\mathcal H}^{k-1}(A){\longrightarrow}{\mathcal H}^k(X\cup_A X)$ lands in the subgroup ${\mathcal H}^k(X,A)$, and the exact sequence splits off a long exact sequence $$\label{eq:les proper coho}
    \cdots\ {\longrightarrow}\ 
    {\mathcal H}^{k-1}(A)\ \xrightarrow{\ \delta^{k-1}\ } \ 
    {\mathcal H}^k(X,A)\  \xrightarrow{\ r\ }\
    {\mathcal H}^k(X)\ \xrightarrow{\ i^*\ }\  {\mathcal H}^k(A) \ {\longrightarrow}\ \cdots\.$$

For every orthogonal $G$-spectrum $E$, the functor $E_G(-)=[-,E]^G\circ \Sigma^\infty_+$ is excisive by Proposition \[prop:represented is excisive\]. For every finite proper $G$-CW-pair $(X,A)$, the relative group $E_G(X,A)$ is defined as in Definition \[def:relative\]. This relative group can in fact be described more directly as a morphism group in $\operatorname{Ho}(\operatorname{Sp}_G)$: we let $q:X\cup_A X{\longrightarrow}X/A$ denote the map that sends the second copy
X{\longrightarrow}X\cup_A X$ is the embedding of the first copy of $ X$. The Mayer - Vietoris sequence for the pushout square $ $ \xymatrix {   A \ar[r]^-i\ar[d]_i & X\ar[d]^{i_2 } \\ X\ar[r]_-{i_1 } & X\cup_A X}$$ take the human body $ $ \begin{aligned } 
     \cdots\ { \longrightarrow}\ 
     { \mathcal H}^{k-1}(A)\ & \xrightarrow{\ \delta^{k-1}\ } \ 
     { \mathcal H}^k(X\cup_A X)\   \xrightarrow{(i_1^*,i_2^*)}\\ 
     & { \mathcal H}^k(X)\times { \mathcal H}^k(X)\ \xrightarrow{(x, x')\mapsto i^*(x)-i^*(x') } 
     \   { \mathcal H}^k(A) \ \xrightarrow{\ \delta^k\ } \ \cdots \.\end{aligned}$$ So the connecting homomorphism $ \delta^{k-1}:{\mathcal H}^{k-1}(A){\longrightarrow}{\mathcal H}^k(X\cup_A X)$ lands in the subgroup $ { \mathcal H}^k(X, A)$, and the accurate sequence splits off a long accurate succession $ $ \label{eq: les proper coho } 
     \cdots\ { \longrightarrow}\ 
     { \mathcal H}^{k-1}(A)\ \xrightarrow{\ \delta^{k-1}\ } \ 
     { \mathcal H}^k(X, A)\   \xrightarrow{\ r\ } \ 
     { \mathcal H}^k(X)\ \xrightarrow{\ i^*\ } \   { \mathcal H}^k(A) \ { \longrightarrow}\ \cdots\.$$ 

 For every orthogonal $ G$-spectrum $ E$, the functor $ E_G(-)=[-,E]^G\circ \Sigma^\infty_+$ is excisive by Proposition \[prop: represented is excisive\ ]. For every finite proper $ G$-CW - pair $ (X, A)$, the proportional group $ E_G(X, A)$ is defined as in Definition \[def: relative\ ]. This relative group can in fact be described more directly as a morphism group in $ \operatorname{Ho}(\operatorname{Sp}_G)$: we lease $ q: X\cup_A X{\longrightarrow}X / A$ denote the map that sends the second copy
X{\lojgrightarrow}X\cup_A X$ is tme embedding of jhw firsv copy kf $X$. The Mayer-Vietoris sequence for vhe pushoyt square $$\xymatrix{  A \xr[r]^-i\ar[d]_i & X\ar[d]^{i_2} \\ Z\ar[r]_-{m_1} & X\cup_A X}$$ has tis form $$\nzgin{amlgned}
    \cdots\ {\longrlghtarrow}\ 
    {\mathcal H}^{k-1}(A)\ &\xfiyhtarrow{\ \delta^{k-1}\ } \ 
    {\mathcal H}^k(X\cup_W X)\  \xrogjtarrow{(i_1^*,i_2^*)}\\
    &{\mwthcsj H}^k(S)\nines {\mathcal H}^k(X)\ \xrightarrow{(x,x')\japsto p^*(x)-i^*(x')}
    \  {\mathcal H}^k(A) \ \xrightarrow{\ \delta^k\ } \ \cdohs \.\end{aligned}$$ So tje connectibg hjnomorphism $\ddlta^{k-1}:{\mathcal H}^{k-1}(A){\longrifhtarrow}{\mathcal H}^k(X\cup_A X)$ lands in tke subgroup ${\mqthfdl H}^k(X,A)$, and the vxact sequencc splitv off a long exact seaueice $$\oabel{eq:les proper cohm}
    \cdots\ {\longrigrtarrow}\ 
    {\mathcal H}^{k-1}(A)\ \xrigytqrrow{\ \delda^{k-1}\ } \ 
    {\mzticam H}^k(X,A)\  \xcightarrow{\ d\ }\
    {\mathcql H}^k(X)\ \xrightarrow{\ o^*\ }\  {\mathcal H}^k(A) \ {\longrygrtarrow}\ \cdots\.$$

For every orthogonal $G$-specurum $S$, the functor $E_G(-)=[-,E]^G\circ \Wigma^\infty_+$ is excisivg by Propofition \[prop:represented is excisive\]. For every finide prkoer $G$-GW-pake $(D,A)$, the relative group $E_G(X,A)$ is defined as in Dqriminion \[def:relative\]. Bhis relative groul fam in fact be dgscribeb mkre directly as a lorphisi groyp in $\opewatotname{Ho}(\operatorname{Sp}_G)$: we lwt $q:X\cup_A X{\ljbgrightarrow}X/A$ denlte the map thaj sendx the second copy
X{\longrightarrow}X\cup_A X$ is the embedding of the of The Mayer-Vietoris for the pushout X\ar[d]^{i_2} X\ar[r]_-{i_1} & X\cup_A has the form \cdots\ {\longrightarrow}\ {\mathcal H}^{k-1}(A)\ &\xrightarrow{\ \delta^{k-1}\ \ {\mathcal H}^k(X\cup_A X)\ \xrightarrow{(i_1^*,i_2^*)}\\ &{\mathcal H}^k(X)\times {\mathcal H}^k(X)\ \xrightarrow{(x,x')\mapsto i^*(x)-i^*(x')} \ {\mathcal \ \xrightarrow{\ \delta^k\ } \ \cdots \.\end{aligned}$$ So the connecting homomorphism $\delta^{k-1}:{\mathcal H}^{k-1}(A){\longrightarrow}{\mathcal X)$ in subgroup H}^k(X,A)$, and the exact sequence splits off a long exact sequence $$\label{eq:les proper coho} \cdots\ {\longrightarrow}\ H}^{k-1}(A)\ \xrightarrow{\ \delta^{k-1}\ } \ {\mathcal H}^k(X,A)\ \xrightarrow{\ }\ {\mathcal H}^k(X)\ \xrightarrow{\ }\ {\mathcal H}^k(A) \ {\longrightarrow}\ For orthogonal $G$-spectrum the $E_G(-)=[-,E]^G\circ is excisive by \[prop:represented is excisive\]. For every finite proper $G$-CW-pair $(X,A)$, the relative group $E_G(X,A)$ is defined as in \[def:relative\]. This can in be more as a morphism $\operatorname{Ho}(\operatorname{Sp}_G)$: we let $q:X\cup_A X{\longrightarrow}X/A$ denote sends the second copy
X{\longrightarrow}X\cup_A X$ is thE embedding Of the FirSt cOpY of $X$. the MAyer-Vietoris seQUencE for the pushout square $$\xyMatriX{  A \AR[r]^-i\aR[D]_i & x\ar[d]^{i_2} \\ x\ar[r]_-{i_1} & X\cUP_A x}$$ HAs tHe FoRm $$\bEgIN{aLigneD}
    \cdOts\ {\longRightarrow}\ 
    {\MatHcAl H}^{k-1}(A)\ &\xrightaRRoW{\ \delta^{k-1}\ } \ 
    {\matHcaL H}^k(X\cup_A X)\  \xriGhtArrow{(i_1^*,I_2^*)}\\
    &{\mAthCAl H}^k(X)\TimEs {\matHcal H}^k(x)\ \XrightArrow{(x,x')\maPsTO i^*(x)-i^*(x')}
    \  {\mAThcal H}^k(a) \ \XRiGhtaRrow{\ \delta^k\ } \ \cdots \.\enD{AlIGned}$$ So the conneCting hOmOMoRPHisM $\deLta^{k-1}:{\mathcaL H}^{K-1}(A){\lonGRightarROw}{\MATHcaL h}^k(X\cup_A X)$ lands In the subgroUP ${\maThcal H}^K(X,a)$, anD The exaCt seqUeNCe sPlits off a loNg exAct sequenCe $$\labeL{Eq:les prOPer coho}
    \Cdots\ {\lOngRigHtarROw}\ 
    {\MaThcAl h}^{K-1}(A)\ \xRIgHtaRRow{\ \Delta^{k-1}\ } \ 
    {\maThCaL H}^k(X,A)\  \XrigHTARRow{\ r\ }\
    {\MatHcal h}^k(X)\ \xrIghtarrow{\ i^*\ }\  {\matHcaL H}^k(A) \ {\LOngRightArrow}\ \CdotS\.$$

FOr eveRy orthOgonaL $G$-Spectrum $E$, the funCtor $e_G(-)=[-,E]^G\circ \SIgmA^\iNftY_+$ iS exciSIve by PRopOsiTion \[proP:represENteD iS EXCiSive\]. For every finite PrOPEr $g$-CW-pair $(X,a)$, the reLAtIvE Group $E_G(X,a)$ iS deFineD AS in DeFiniTIoN \[def:relaTive\]. ThIS rElAtive grOuP can in FaCt bE deScribED morE direcTly as a moRphisM Group in $\operatoRName{Ho}(\operatoRNaME{sp}_g)$: We leT $q:X\Cup_A X{\longriGhtaRRow}X/a$ denOTe The MAp thaT sendS tHE sECond copy
X{\longrightarrow}X\cup_AX$ is theembed din g o fthefirs t copy of $X$. TheMayer-Vietoris sequenc e for  t h e pu s ho ut sq uare $$ \ xy m a tri x{  A \ ar [ r] ^-i\a r[d ]_i & X \ar[d]^{i_ 2}\\  X\ar[r]_-{i _ 1}  & X\cup_A  X} $$ has the f orm  $$\be gi n{a l igned }
   \c dots\{ \longr ightarrow }\ 
    { \ mathcal H }^ {k-1 }(A)\ &\xrightarr o w{ \  \delta^{k-1}\  } \   { \ m ath cal  H}^k(X\cu p_ A X)\  \xrigh t ar r o w {(i _ 1^*,i_2^*)}\\ 
    &{\mat h cal  H}^k( X) \ti m es {\m athca lH }^k (X)\ \xrigh tarr ow{(x,x') \mapst o  i^*(x) - i^*(x') }
   \ {\m athc a lH} ^k( A) \ \ x ri ght a rro w{\ \del ta ^k \ } \  \cd o t s \.\e nd{ alig ned}$ $ So the conn ect ingh omo morph ism $ \del ta ^{k-1 }:{\ma thcal  H }^{k-1}(A){\lon grig htarrow}{ \ma th cal  H }^k(X \ cup_AX)$  la nds inthe sub g rou p$ { \ ma thcal H}^k(X,A)$,an d th e exactsequen c esp l its offalon g ex a c t seq uenc e  $ $\label{ eq:les pr op er coho }    \c do ts\  {\ longr i ghta rrow}\  
    {\ mathc a l H}^{k-1}(A)\ \xrightarrow{ \  \ d e lt a ^{k- 1}\  } \ 
    { \mat h calH}^k ( X, A)\  \xri ghtar ro w {\ r\ }\
    {\mathcal  H }^k(X) \ \xr ightarrow{\ i ^*\ }\  {\ m a t hcal H}^ k(A) \{ \longrightarro w}\ \ cdots\.$$For ever y ort hogonal$G$-spect r u m $E$, t hefun cto r $ E _ G( -)=[-,E]^G\ci r c  \Si gm a^\inft y_+ $ is ex cis ive  by  Pr op osition \ [prop:re pr es en te d i s exc i sive\].Fo r e ve ryfinit e  prope r $G$ -CW- pa ir $(X ,A)$, t h er e lati ve  g roup  $E _G (X,A) $ is def ined as  in Defin iti o n \[ de f: relativ e\]. This rel at ive groupca n i n fact b e descri bed more directly as am orphism  gr oup i n $\ operatorn ame {Ho}(\ ope r atorna me{Sp} _G)$:  w e l e t  $q:X \ c up _AX{ \longright a r row }X/A$  d enot e the m ap that sends thes eco nd copy
X{\longrightarrow}X\cup_A X$_is the_embedding of the first_copy of_$X$._The Mayer-Vietoris_sequence_for the pushout_square $$\xymatrix{ _A \ar[r]^-i\ar[d]_i & X\ar[d]^{i_2}_\\ X\ar[r]_-{i_1} &_X\cup_A_X}$$ has the form $$\begin{aligned}
    \cdots\ {\longrightarrow}\ 
   _{\mathcal_H}^{k-1}(A)\ &\xrightarrow{\_\delta^{k-1}\_}_\ 
   _{\mathcal H}^k(X\cup_A X)\  \xrightarrow{(i_1^*,i_2^*)}\\
_ _ &{\mathcal H}^k(X)\times {\mathcal H}^k(X)\ \xrightarrow{(x,x')\mapsto i^*(x)-i^*(x')}
 __ \ _{\mathcal H}^k(A) \ \xrightarrow{\ \delta^k\ } \ \cdots \.\end{aligned}$$_So the connecting homomorphism $\delta^{k-1}:{\mathcal H}^{k-1}(A){\longrightarrow}{\mathcal_H}^k(X\cup_A X)$ lands_in_the_subgroup ${\mathcal H}^k(X,A)$, and_the exact sequence splits off a_long exact sequence $$\label{eq:les proper coho}
_   \cdots\ {\longrightarrow}\ 
 _  {\mathcal H}^{k-1}(A)\ \xrightarrow{\ \delta^{k-1}\_} \ 
  _ {\mathcal_H}^k(X,A)\  \xrightarrow{\ r\ }\
_  _{\mathcal H}^k(X)\_\xrightarrow{\ i^*\ }\_ {\mathcal H}^k(A) \ {\longrightarrow}\ \cdots\.$$

For_every orthogonal $G$-spectrum_$E$, the functor $E_G(-)=[-,E]^G\circ \Sigma^\infty_+$ is_excisive_by Proposition \[prop:represented_is_excisive\]._For every_finite proper $G$-CW-pair_$(X,A)$,_the relative_group_$E_G(X,A)$ is defined as in Definition_\[def:relative\]._This relative group can in fact be_described more directly as_a_morphism group in $\operatorname{Ho}(\operatorname{Sp}_G)$:_we let $q:X\cup_A X{\longrightarrow}X/A$ denote_the map that sends the second_copy