wedge y\otimes\xi\otimes z\otimes t\\
&=[x,y]\otimes\xi\otimes z\wedge t-x\wedge
y\otimes\xi\otimes [z,t].\end{aligned}$$ We have $\xi'\in W_M(V)$ so $\eta'\otimes\xi'\otimes\eta''\in
W_M(V)$ and $g_\gamma (\eta )=[\eta'\otimes\xi'\otimes\eta'']=0$.

Since the map $\sigma\mapsto g_\sigma$, defined on $(A\cup A^{-1})^*$, is invariant to the equivalence relation $\sim$, it induces a map defined on $(A\cup A^{-1})^*_{/\sim}$, given by $[\sigma ]\mapsto
g_\sigma$. Since $\bar\psi :(A\cup A^{-1})^*_{/\sim}\to S_n$ is an isomorphism we get a map $\tau\mapsto h_\tau$, where $h_\tau=g_\sigma$ for any $\sigma\in (A\cup A^{-1})^*$ such that $\tau =\bar\psi
([\sigma ])=\psi (\sigma )$. If $\tau =\tau_{i_s}\cdots\tau_{i_1}$ then $\tau =\psi (\sigma )$, with $\sigma
=\sigma_{i_s}\cdots\sigma_{i_1}$. Hence $h_\tau=g_\sigma
=\sum_{k=1}^sf_k\tau_{k-1}\cdots\tau_1$, as claimed.

\(ii) Let $\alpha,\beta\in (A\cup A^{-1})^*$ with $\sigma =\psi (\alpha
)$ and $\tau =\psi (\beta )$ so that $\sigma\tau =\psi (\alpha\beta
)$. Then $h_\sigma =g_\alpha$, $h_\tau =g_\beta$ and $h_{\sigma\tau}=g_{\alpha\beta}=g_\beta +g_\alpha\psi (\beta )=h_\tau
+h_\sigma\tau$.

\(iii) If we write $\tau=\tau_{i_s}\cdots\tau_1$ then our result is just Corollary 1.5.

[**Proof of the induction step.**]{} We must prove that if $[\eta
]\in\ker\rho_{M^n,T^n}$ then $[\
wedge y\otimes\xi\otimes z\otimes t\\ 
 & =[ x, y]\otimes\xi\otimes z\wedge t - x\wedge 
 y\otimes\xi\otimes [ z, t].\end{aligned}$$ We have $ \xi'\in W_M(V)$ so $ \eta'\otimes\xi'\otimes\eta''\in 
 W_M(V)$ and $ g_\gamma (\eta) =[ \eta'\otimes\xi'\otimes\eta'']=0$. 

 Since the map $ \sigma\mapsto g_\sigma$, define on $ (A\cup A^{-1})^*$, is changeless to the equivalence relation $ \sim$, it induce a function defined on $ (A\cup A^{-1})^*_{/\sim}$, given by $ [ \sigma ] \mapsto 
 g_\sigma$. Since $ \bar\psi :( A\cup A^{-1})^*_{/\sim}\to S_n$ is an isomorphism we get a function $ \tau\mapsto h_\tau$, where $ h_\tau = g_\sigma$ for any $ \sigma\in (A\cup A^{-1})^*$ such that $ \tau = \bar\psi 
 ([ \sigma ]) = \psi (\sigma) $. If $ \tau = \tau_{i_s}\cdots\tau_{i_1}$ then $ \tau = \psi (\sigma) $, with $ \sigma 
 = \sigma_{i_s}\cdots\sigma_{i_1}$. therefore $ h_\tau = g_\sigma 
 = \sum_{k=1}^sf_k\tau_{k-1}\cdots\tau_1 $, as claimed. 

 \(ii) Let $ \alpha,\beta\in (A\cup A^{-1})^*$ with $ \sigma = \psi (\alpha 
) $ and $ \tau = \psi (\beta) $ so that $ \sigma\tau = \psi (\alpha\beta 
) $. Then $ h_\sigma = g_\alpha$, $ h_\tau = g_\beta$ and $ h_{\sigma\tau}=g_{\alpha\beta}=g_\beta + g_\alpha\psi (\beta) = h_\tau 
 + h_\sigma\tau$. 

 \(iii) If we write $ \tau=\tau_{i_s}\cdots\tau_1 $ then our result is just Corollary 1.5. 

 [ * * validation of the induction step. * * ] { } We must prove that if $ [ \eta 
 ] \in\ker\rho_{M^n, T^n}$ then $ [ \
wedhe y\otimes\xi\otimes z\otimts t\\
&=[x,y]\otimes\xi\otimes z\wevge t-x\wsdge
y\otioes\xi\otimes [z,t].\end{aligned}$$ We iave $\xi'\in W_M(V)$ so $\eta'\otimes\xi'\otioes\eta''\in
W_L(V)$ and $g_\tamme (\eta )=[\eta'\otimes\xm'\ktimes\ebc'']=0$.

Sincs the nap $\sigma\mapstp g_\sigma$, dafined on $(A\cup A^{-1})^*$, id invariant to the equivalence relaeion $\sik$, lt induces a mwp dtfiged kn $(A\cup A^{-1})^*_{/\sim}$, given by $[\sigma ]\mapsto
f_\sigma$. Vince $\bar\psi :(S\cup A^{-1})^*_{/\sim}\to S_n$ is an isomogphidm we get a map $\tak\mapsto h_\tao$, whqee $h_\tau=g_\sigmx$ for any $\sigma\in (A\cup A^{-1})^*$ such that $\tau =\bar\psi
([\sigma ])=\psk (\sigka )$. If $\tau =\tqu_{i_d}\wdots\tau_{i_1}$ tien $\tal =\psi (\sigma )$, with $\sigka
=\sigma_{o_s}\cdots\sigma_{i_1}$. Mence $h_\tqu=g_\sigma
=\sum_{k=1}^sf_k\tau_{k-1}\cdmts\tau_1$, as claimed.

\(iy) Let $\alpva,\yeta\in (A\cup A^{-1})^*$ with $\sitmq =\psi (\alpva
)$ ave $\txu =\ksi (\bsta )$ sl tiat $\sigma\tah =\psi (\alpha\veta
)$. Then $h_\sigma =g_\akprq$, $h_\tau =g_\beta$ znd $h_{\sygia\tau}=g_{\alpha\beta}=g_\beta +g_\alpha\psi (\beta )=h_\tal
+h_\sifma\tau$.

\(iii) If we write $\tqu=\tau_{i_s}\cdots\tau_1$ then lur resule is just Corollary 1.5.

[**Proof of the induction step.**]{} Wa musv ororc gyah if $[\eta
]\in\ker\rho_{M^n,T^n}$ then $[\
wedge y\otimes\xi\otimes z\otimes t\\ &=[x,y]\otimes\xi\otimes z\wedge t-x\wedge We $\xi'\in W_M(V)$ $\eta'\otimes\xi'\otimes\eta''\in W_M(V)$ and map g_\sigma$, defined on A^{-1})^*$, is invariant the equivalence relation $\sim$, it induces map defined on $(A\cup A^{-1})^*_{/\sim}$, given by $[\sigma ]\mapsto g_\sigma$. Since $\bar\psi :(A\cup S_n$ is an isomorphism we get a map $\tau\mapsto h_\tau$, where $h_\tau=g_\sigma$ for $\sigma\in A^{-1})^*$ that =\bar\psi ([\sigma ])=\psi (\sigma )$. If $\tau =\tau_{i_s}\cdots\tau_{i_1}$ then $\tau =\psi (\sigma )$, with $\sigma =\sigma_{i_s}\cdots\sigma_{i_1}$. $h_\tau=g_\sigma =\sum_{k=1}^sf_k\tau_{k-1}\cdots\tau_1$, as claimed. \(ii) Let $\alpha,\beta\in (A\cup with $\sigma =\psi (\alpha and $\tau =\psi (\beta )$ that =\psi (\alpha\beta Then =g_\alpha$, =g_\beta$ and $h_{\sigma\tau}=g_{\alpha\beta}=g_\beta (\beta )=h_\tau +h_\sigma\tau$. \(iii) If we write $\tau=\tau_{i_s}\cdots\tau_1$ then our result is just Corollary 1.5. [**Proof of induction step.**]{} prove that $[\eta then
wedge y\otimes\xi\otimes z\otimEs t\\
&=[x,y]\otimeS\xi\otImeS z\wEdGe t-x\WedgE
y\otimes\xi\otimES [z,t].\eNd{aligned}$$ We have $\xi'\in W_M(V)$ So $\eta'\OtIMes\xI'\OtImes\eTa''\in
W_M(V)$ ANd $G_\GAmmA (\eTa )=[\Eta'\OtIMeS\xi'\otImeS\eta'']=0$.

SinCe the map $\siGma\MaPsto g_\sigma$, deFInEd on $(A\cup A^{-1})^*$, iS inVariant to the EquIvalenCe RelATion $\sIm$, iT induCes a maP DefineD on $(A\cup A^{-1})^*_{/\sIm}$, GIven by $[\SIgma ]\mapSTO
g_\SigmA$. Since $\bar\psi :(A\cup A^{-1})^*_{/\SIm}\TO S_n$ is an isomorpHism we GeT A mAP $\Tau\MapSto h_\tau$, wheRe $H_\tau=g_\SIgma$ for ANy $\SIGMa\iN (a\cup A^{-1})^*$ such that $\Tau =\bar\psi
([\siGMa ])=\pSi (\sigmA )$. IF $\taU =\Tau_{i_s}\cDots\tAu_{I_1}$ TheN $\tau =\psi (\sigmA )$, witH $\sigma
=\sigMa_{i_s}\cdOTs\sigma_{I_1}$. hence $h_\tAu=g_\sigMa
=\sUm_{k=1}^Sf_k\tAU_{k-1}\CdOts\TaU_1$, As cLAiMed.

\(II) LeT $\alpha,\beTa\In (a\cup A^{-1})^*$ With $\SIGMA =\psi (\AlpHa
)$ anD $\tau =\pSi (\beta )$ so that $\sIgmA\tau =\PSi (\aLpha\bEta
)$. ThEn $h_\sIgMa =g_\alPha$, $h_\taU =g_\betA$ aNd $h_{\sigma\tau}=g_{\alpHa\beTa}=g_\beta +g_\aLphA\pSi (\bEtA )=h_\tau
+H_\Sigma\tAu$.

\(iIi) IF we writE $\tau=\tau_{I_S}\cdOtS\TAU_1$ tHen our result is just coROLlAry 1.5.

[**Proof Of the iNDuCtIOn step.**]{} We MuSt pRove THAt if $[\eTa
]\in\KEr\Rho_{M^n,T^n}$ tHen $[\
wedge y\otimes\xi\otimes z \otimes t\ \
&=[ x,y ]\o ti mes\ xi\o times z\wedget -x\w edge
y\otimes\xi\otime s [z, t] . \end { al igned }$$ Weh av e $\x i' \i n W _M ( V) $ so$\e ta'\oti mes\xi'\ot ime s\ eta''\in
W_M ( V) $ and $g_\ gam ma (\eta )=[ \et a'\oti me s\x i '\oti mes \eta' ']=0$. 
Since  the map$\ s igma\m a psto g_ \ s ig ma$,  defined on $(A\c u pA ^{-1})^*$, isinvari an t  t o the  eq uivalencere latio n  $\sim$ ,  i t i ndu c es a map defi ned on $(A\ c upA^{-1} )^ *_{ / \sim}$ , giv en by$[\sigma ]\ maps to
g_\sig ma$. S i nce $\b a r\psi : (A\cup  A^ {-1 })^* _ {/ \s im} \t o  S_ n $isa n i somorphi sm  w e get  a m a p $ \tau \ma psto  h_\t au$, where $h _\t au=g _ \si gma$for a ny $ \s igma\ in (A\ cup A ^{ -1})^*$ such th at $ \tau =\ba r\p si 
([ \s igma] )=\psi  (\ sig ma )$.If $\ta u  =\ ta u _ { i_ s}\cdots\tau_{i_1} $t h en  $\tau = \psi ( \ si gm a  )$, wit h$\s igma = \sigm a_{i _ s} \cdots\s igma_{ i _1 }$ . Hence  $ h_\tau =g _\s igm a
=\s u m_{k =1}^sf _k\tau_{ k-1}\ c dots\tau_1$, a s  claimed.

\( i i) L et $\al pha ,\beta\in ( A\cu p  A^{ -1}) ^ *$  wi t h $\s igma=\ p si (\alpha
)$ and $\ta u=\psi(\bet a )$ so that$\sigma\ta u = \psi (\a lpha \ be t a
)$. Then $h_ \sigm a =g_\alph a $, $h_\t au =g _\beta$and $h_{\ s i gma\tau} =g_ {\a lph a\b e t a} =g_\beta +g_\ a l pha\ ps i (\bet a ) =h_\tau 
+h _\s igm a\t au $.

\(iii ) If wewr it e$\ tau =\tau _ {i_s}\cd ot s\t au _1$  then our re sultis j us tC oro llary 1 . 5. [**P ro of  ofthe  i nduct ions tep .**]{}We must p rov e  tha tif  $[\eta 
]\in\ker\rho _{ M^n,T^n}$th en$[\
wedge y\otimes\xi\otimes_z\otimes t\\
&=[x,y]\otimes\xi\otimes_z\wedge t-x\wedge
y\otimes\xi\otimes [z,t].\end{aligned}$$ We_have $\xi'\in_W_M(V)$_so $\eta'\otimes\xi'\otimes\eta''\in
W_M(V)$_and_$g_\gamma (\eta )=[\eta'\otimes\xi'\otimes\eta'']=0$.

Since_the map $\sigma\mapsto_g_\sigma$, defined on $(A\cup_A^{-1})^*$, is invariant_to_the equivalence relation $\sim$, it induces a map defined on $(A\cup A^{-1})^*_{/\sim}$, given by_$[\sigma_]\mapsto
g_\sigma$. Since_$\bar\psi_:(A\cup_A^{-1})^*_{/\sim}\to S_n$ is an isomorphism_we get a map $\tau\mapsto_h_\tau$, where_$h_\tau=g_\sigma$ for any $\sigma\in (A\cup A^{-1})^*$ such that_$\tau_=\bar\psi
([\sigma ])=\psi (\sigma_)$. If $\tau =\tau_{i_s}\cdots\tau_{i_1}$ then $\tau =\psi (\sigma )$,_with $\sigma
=\sigma_{i_s}\cdots\sigma_{i_1}$. Hence $h_\tau=g_\sigma
=\sum_{k=1}^sf_k\tau_{k-1}\cdots\tau_1$, as claimed.

\(ii)_Let $\alpha,\beta\in (A\cup_A^{-1})^*$_with_$\sigma =\psi (\alpha
)$ and_$\tau =\psi (\beta )$ so that_$\sigma\tau =\psi (\alpha\beta
)$. Then $h_\sigma =g_\alpha$,_$h_\tau =g_\beta$ and $h_{\sigma\tau}=g_{\alpha\beta}=g_\beta +g_\alpha\psi (\beta )=h_\tau
+h_\sigma\tau$.

\(iii)_If we write $\tau=\tau_{i_s}\cdots\tau_1$ then our_result is just Corollary 1.5.

[**Proof_of the_induction step.**]{} We must prove_that if $[\eta
]\in\ker\rho_{M^n,T^n}$_then $[\