,0) coordinate (y-); (y)++(0.75,0) coordinate (y+); (z)++(-0.75,0) coordinate (z-); (z)++(0.75,0) coordinate (z+); (c).. controls +(3,0) and +(1,0).. node\[above right\] [${\partial}$]{} (z+); (z+) – (z-); (z-) – (y+); (y+) – (y-); (y-) – (x+); (x+) – (x-); (x-).. controls +(-1.5,0) and +(-1.5,0).. (b’); (b’)+(0,-1) node (pz) [$P$-part]{}; (pz)+(0,-2.5ex) node [of $\operatorname{W}_{\!Z}({Y})$]{}; (w’)+(0,-1) node (px) [$P$-part]{}; (px)+(0,-2.5ex) node [of $\operatorname{W}({Y})$]{}; (c’)+(0,-1) node (pu) [$P_U$-part]{}; (pu)+(0,-2.5ex) node [of $\operatorname{W}(U)$]{};

Parts – follow immediately from Remark \[rema:al-les\]. The proof of goes through as for classical modules over a ring. Choose a class $p\in P$ over ${Y}$, which by hypothesis is the same thing as choosing its image $f^*(p)\in f^* P$, [[i.e.]{} ]{}a class in $f^*P$ over $U$. Up to replacing the $u'_{j}$, $v'_{k}$ and $w'_{i}$ up to lax-similitude, which does not change their total-basis qualities by Corollary \[coro:lax-basis\], we can assume that relations – are equalities. Now, choosing ${X}$-alignments as in Proposition \[prop:classic-basis\] for those $u_{k}$, $u'_{j}$, $v_{i}$, $v'_{k}$, $w_{j}$ and $w'_{i}$ which are ${X}$-aligned with $L$, one can define three homomorphisms $\theta$ as in that proposition. One can construct a split exact sequence at the level of Witt
, 0) coordinate (y-); (y)++(0.75,0) coordinate (y+); (z)++(-0.75,0) coordinate (z-); (z)++(0.75,0) coordinate (z+); (c).. controls + (3,0) and + (1,0).. node\[above right\ ] [ $ { \partial}$ ] { } (z+); (z+) – (z-); (z-) – (y+); (y+) – (y-); (y-) – (x+); (x+) – (x-); (x-).. controls + (-1.5,0) and + (-1.5,0).. (b ’); (b’)+(0,-1) node (pz) [ $ P$-part ] { }; (pz)+(0,-2.5ex) node [ of $ \operatorname{W}_{\!Z}({Y})$ ] { }; (w’)+(0,-1) node (px) [ $ P$-part ] { }; (px)+(0,-2.5ex) node [ of $ \operatorname{W}({Y})$ ] { }; (c’)+(0,-1) node (pu) [ $ P_U$-part ] { }; (pu)+(0,-2.5ex) node [ of $ \operatorname{W}(U)$ ] { }; 

 Parts   – adopt immediately from Remark   \[rema: al - les\ ]. The validation of goes through as for classical module over a closed chain. Choose a class $ p\in P$ over   $ { Y}$, which by hypothesis is the like thing as choosing its image $ f^*(p)\in f^ * P$, [ [ i.e. ] { }   ] { } a course in $ f^*P$ over   $ U$. Up to replace the $ u'_{j}$, $ v'_{k}$ and $ w'_{i}$ up to lax - similitude, which does not deepen their total - basis quality by Corollary   \[coro: lax - basis\ ], we can assume that relations   – are equalities. Now, choosing $ { X}$-alignments as in Proposition   \[prop: classic - basis\ ] for those $ u_{k}$, $ u'_{j}$, $ v_{i}$, $ v'_{k}$, $ w_{j}$ and $ w'_{i}$ which are $ { X}$-aligned with   $ L$, one can specify three homomorphisms $ \theta$ as in that proposition. One can construct a disconnected exact sequence at the floor of Witt
,0) colrdinate (y-); (y)++(0.75,0) coordinate (n+); (z)++(-0.75,0) coordinate (z-); (z)++(0.75,0) coorvinate (a+); (c).. contfols +(3,0) and +(1,0).. node\[above right\] [${\pertiql}$]{} (z+); (e+) – (z-); (z-) – (y+); (y+) – (y-); (y-) – (x+); (x+) – (x-); (x-).. clntrols +(-1.5,0) and +(-1.5,0).. (b’); (b’)+(0,-1) node ('a) [$P$-part]{}; (pz)+(0,-2.5ex) hlde [mh $\operatorname{W}_{\!E}({Y})$]{}; (w’)+(0,-1) node (px) [$P$-part]{}; (px)+(0,-2.5ex) noge [oy $\operatorname{W}({Y})$]{}; (c’)+(0,-1) node (pu) [$P_U$-part]{}; (pu)+(0,-2.5qx) node [ov $\operatorname{R}(U)$]{};

Pagtf – fomlow immediately from Remark \[rema:al-mes\]. The proof of goex through as for classical modkles over a ring. Cjoose a claws $p\yb P$ over ${Y}$, whkch by hypothesis is tge same thing as choosing its ioage $y^*(p)\in f^* P$, [[i.e.]{} ]{}q xladv in $f^*P$ ovec $U$. Up no replacing bne $u'_{j}$, $e'_{k}$ and $e'_{i}$ up to lax-sikilmtudw, which does not chanje their total-basis zualities bv Corollary \[coro:lax-basus\], we cdn avsumd thxt dekafions – wre equalitiea. Now, choosung ${X}$-alignments as on Itoposition \[prkp:clasfis-basis\] for those $u_{k}$, $u'_{j}$, $v_{i}$, $v'_{k}$, $w_{j}$ and $w'_{i}$ fhidh are ${X}$-aligned with $L$, obe can define three hlmomorphifms $\theta$ as in that proposition. One can construcd a s'lkt txqct sdwufnce at the level of Witt
,0) coordinate (y-); (y)++(0.75,0) coordinate (y+); (z)++(-0.75,0) (z)++(0.75,0) (z+); (c).. +(3,0) and +(1,0).. – (z-) – (y+); – (y-); (y-) (x+); (x+) – (x-); (x-).. controls and +(-1.5,0).. (b’); (b’)+(0,-1) node (pz) [$P$-part]{}; (pz)+(0,-2.5ex) node [of $\operatorname{W}_{\!Z}({Y})$]{}; (w’)+(0,-1) node [$P$-part]{}; (px)+(0,-2.5ex) node [of $\operatorname{W}({Y})$]{}; (c’)+(0,-1) node (pu) [$P_U$-part]{}; (pu)+(0,-2.5ex) node [of $\operatorname{W}(U)$]{}; – immediately Remark The proof of goes through as for classical modules over a ring. Choose a class $p\in over ${Y}$, which by hypothesis is the same as choosing its image f^* P$, [[i.e.]{} ]{}a class $f^*P$ $U$. Up replacing $u'_{j}$, and $w'_{i}$ up lax-similitude, which does not change their total-basis qualities by Corollary \[coro:lax-basis\], we can assume that relations – equalities. Now, as in \[prop:classic-basis\] those $u'_{j}$, $v_{i}$, $v'_{k}$, $w'_{i}$ which are ${X}$-aligned with $L$, three homomorphisms $\theta$ as in that proposition. One construct a exact sequence at the level of
,0) coordinate (y-); (y)++(0.75,0) coordinate (y+); (z)++(-0.75,0) cOordinate (z-); (Z)++(0.75,0) coorDinAte (Z+); (c).. ContRols +(3,0) And +(1,0).. node\[above riGHt\] [${\paRtial}$]{} (z+); (z+) – (z-); (z-) – (y+); (y+) – (y-); (y-) – (x+); (x+) – (x-); (x-).. contrOls +(-1.5,0) anD +(-1.5,0).. (b’); (B’)+(0,-1) Node (PZ) [$P$-Part]{}; (pZ)+(0,-2.5ex) node [OF $\oPERatOrNaMe{W}_{\!z}({Y})$]{}; (W’)+(0,-1) NoDe (px) [$P$-ParT]{}; (px)+(0,-2.5ex) noDe [of $\operatOrnAmE{W}({Y})$]{}; (c’)+(0,-1) node (pu) [$P_U$-PArT]{}; (pu)+(0,-2.5ex) node [oF $\opEratorname{W}(U)$]{};

parTs – follOw ImmEDiateLy fRom ReMark \[reMA:al-les\]. the proof oF gOEs throUGh as for CLAsSicaL modules over a ring. cHoOSe a class $p\in P$ ovEr ${Y}$, whiCh BY hYPOthEsiS is the same ThIng as CHoosing ITs IMAGe $f^*(P)\In f^* P$, [[i.e.]{} ]{}a class iN $f^*P$ over $U$. Up tO RepLacing ThE $u'_{j}$, $V'_{K}$ and $w'_{i}$ Up to lAx-SImiLitude, which Does Not change Their tOTal-basiS QualitiEs by CoRolLarY \[corO:LaX-bAsiS\], wE Can ASsUme THat RelationS – aRe EqualItieS. nOW, ChooSinG ${X}$-alIgnmeNts as in ProposItiOn \[prOP:clAssic-Basis\] For tHoSe $u_{k}$, $u'_{J}$, $v_{i}$, $v'_{k}$, $w_{J}$ and $w'_{I}$ wHich are ${X}$-aligned With $l$, one can deFinE tHreE hOmomoRPhisms $\TheTa$ aS in that ProposiTIon. onE CAN cOnstruct a split exacT sEQUeNce at the Level oF wiTt
,0) coordinate (y-); (y)++ (0.75,0) c oordi nat e ( y+ ); ( z)++ (-0.75,0) coor d inat e (z-); (z)++(0.75,0)coord in a te ( z +) ; (c) .. cont r ol s +(3 ,0 )and  + ( 1, 0)..nod e\[abov e right\][${ \p artial}$]{}( z+ ); (z+) –(z- ); (z-) – (y +);  (y+)–(y- ) ; (y- ) –  (x+) ; (x+) – (x-) ; (x-)..co n trols+ (-1.5,0 ) an d +( -1.5,0).. (b’); ( b ’) + (0,-1) node (p z) [$P $- p ar t ] {};  (p z)+(0,-2.5 ex ) nod e  [of $\ o pe r a t orn a me{W}_{\!Z}({ Y})$]{}; (w ’ )+( 0,-1)no de( px) [$ P$-pa rt ] {};  (px)+(0,-2 .5ex ) node [o f $\op e ratorna m e{W}({Y })$]{} ; ( c’) +(0, - 1)  n ode  ( p u)[ $P _U$ - par t]{}; (p u) +( 0,-2. 5ex) n o d e [o f $ \ope rator name{W}(U)$]{ };
Par t s –  foll ow im medi at ely f rom Re mark\[ rema:al-les\].Theproof ofgoe sthr ou gh as for cl ass ica l modul es over a r in g . Ch oose a class $p\in  P $ ov er ${Y}$ , whic h  b yh ypothesi sisthes a me th inga schoosing  its i m ag e$f^*(p) \i n f^*P$ , [ [i. e.]{} ]{}a  class  in $f^* P$ ov e r $U$. Up to r e placing the $ u '_ { j }$ ,  $v' _{k }$ and $w'_ {i}$ up t o la x -s imi l itude , whi ch do e s not change theirto tal-ba sis q ualities by C orollary \ [ c o ro:lax-b asis \ ], we can assumethatrelations–  are equ aliti es. Now,  choosing $ {X}$-ali gnm ent s a s i n Pr oposition \[p r o p:cl as sic-bas is\ ] for t hos e $ u_{ k}$ ,$u'_{j}$,  $v_{i}$ ,$v '_ {k }$,  $w_{ j }$ and $ w' _{i }$  wh ich a r e ${X} $-ali gned  w it h  $L $, onec an d efin eth reehom om orphi sms$ \th eta$ as  in thatpro p osit io n.  One ca n construct a  s plit exact  s equ ence a t the leve l of Witt
,0) coordinate_(y-); (y)++(0.75,0)_coordinate (y+); (z)++(-0.75,0) coordinate_(z-); (z)++(0.75,0)_coordinate_(z+); (c).._controls_+(3,0) and +(1,0).._node\[above right\] [${\partial}$]{}_(z+); (z+) – (z-);_(z-) – (y+);_(y+)_– (y-); (y-) – (x+); (x+) – (x-); (x-).. controls +(-1.5,0) and +(-1.5,0).. (b’);_(b’)+(0,-1)_node (pz)_[$P$-part]{};_(pz)+(0,-2.5ex)_node [of $\operatorname{W}_{\!Z}({Y})$]{}; (w’)+(0,-1) node_(px) [$P$-part]{}; (px)+(0,-2.5ex) node [of_$\operatorname{W}({Y})$]{}; (c’)+(0,-1)_node (pu) [$P_U$-part]{}; (pu)+(0,-2.5ex) node [of $\operatorname{W}(U)$]{};

Parts – follow_immediately_from Remark \[rema:al-les\]. The_proof of goes through as for classical modules over_a ring. Choose a class $p\in_P$ over ${Y}$, which_by_hypothesis_is the same thing_as choosing its image $f^*(p)\in f^*_P$, [[i.e.]{} ]{}a class in $f^*P$ over $U$._Up to replacing the $u'_{j}$, $v'_{k}$ and_$w'_{i}$ up to lax-similitude, which does_not change their total-basis qualities_by Corollary \[coro:lax-basis\],_we can assume that relations –_are equalities. Now,_choosing ${X}$-alignments_as in Proposition \[prop:classic-basis\]_for those $u_{k}$, $u'_{j}$, $v_{i}$, $v'_{k}$,_$w_{j}$ and $w'_{i}$_which are ${X}$-aligned with $L$, one can_define_three homomorphisms $\theta$_as_in_that proposition._One can construct_a_split exact_sequence_at the level of Witt