_i)\f(z)_j
=z_j(\sum_{k\in I}C^i_kA^k_j)=z_j(B^i_j)$$ where the last identity follows from.

[*Case 3.*]{} The case where $i\notin I$ but $j\in I$. In this case we have $$\f(b_i(z))_j=\prod_{\ell\in I}z_\ell(B^i_\ell)^{\tC^\ell_j}$$ while $$\phi(b_i)\f(z)_j
=(\prod_{\ell\in I}z_\ell^{\tC^\ell_j})(A^i_j)
=\prod_{\ell\in I}z_\ell(A^i_j)^{\tC^\ell_j}.$$ Since $B^i_\ell=A^i_\ell$ for $i\notin I$ by, the above verifies.

[*Case 4.*]{} The case where $i,j\notin I$. In this case $$\f(b_i(z))_j=z_j(B^i_j)$$ while $$\phi(b_i)\f(z)_j=z_j(A^i_j).$$ Since $B^i_j=A^i_j$ for $i\notin I$ by, the above verifies.

It follows from Lemma \[f\*\] and that the affine diffeomorphism $f^I_C\colon M(B)\to M(A)$ induced from $\f^I_C$ satisfies $$\label{op3coho}
(f^I_C)^*(x_j)=\begin{cases}\sum_{i\in I}C^i_jy_i \quad&\text{for $j\in I$,}\\
y_j\quad&\text{for $j\notin I$.}
\end{cases}$$

Cohomology isomorphisms {#sect:cohom}
=======================

In this section we prove the latter statement in Theorem \[main\] and the implication (3) $\Rightarrow$ (1) at the same time, i.e. the purpose of this section is to prove the following.

\[MAMBcoho\] Any isomorphism $H^*(M(A);\Z/2)\to H^*(M(B);\Z
_ i)\f(z)_j 
 = z_j(\sum_{k\in I}C^i_kA^k_j)=z_j(B^i_j)$$ where the last identity follows from. 

 [ * Case 3. * ] { } The case where $ i\notin I$ but $ j\in I$. In this subject we take $ $ \f(b_i(z))_j=\prod_{\ell\in I}z_\ell(B^i_\ell)^{\tC^\ell_j}$$ while $ $ \phi(b_i)\f(z)_j 
 =( \prod_{\ell\in I}z_\ell^{\tC^\ell_j})(A^i_j) 
 = \prod_{\ell\in I}z_\ell(A^i_j)^{\tC^\ell_j}.$$ Since $ B^i_\ell = A^i_\ell$ for $ i\notin I$ by, the above verifies. 

 [ * Case 4. * ] { } The case where $ i, j\notin I$. In this case $ $ \f(b_i(z))_j = z_j(B^i_j)$$ while $ $ \phi(b_i)\f(z)_j = z_j(A^i_j).$$ Since $ B^i_j = A^i_j$ for $ i\notin I$ by, the above verifies. 

 It postdate from Lemma   \[f\*\ ] and that the affine diffeomorphism $ f^I_C\colon M(B)\to M(A)$ induced from $ \f^I_C$ satisfies $ $ \label{op3coho } 
 (f^I_C)^*(x_j)=\begin{cases}\sum_{i\in I}C^i_jy_i \quad&\text{for $ j\in I$,}\\ 
 y_j\quad&\text{for $ j\notin I$. } 
 \end{cases}$$ 

 Cohomology isomorphisms { # faction: cohom } 
 = = = = = = = = = = = = = = = = = = = = = = = 

 In this section we prove the latter statement in Theorem   \[main\ ] and the deduction (3) $ \Rightarrow$ (1) at the same time, i.e. the determination of this section is to prove the pursuit. 

 \[MAMBcoho\ ] Any isomorphism $ H^*(M(A);\Z/2)\to H^*(M(B);\Z
_i)\f(z)_u
=z_j(\sum_{k\in I}C^i_kA^k_j)=z_j(B^i_j)$$ wmere the last idgnrity fmllows from.

[*Casd 3.*]{} The case where $i\notin I$ bnt $j\un I$. Un this case we have $$\f(c_i(z))_j=\prod_{\epl\in I}z_\eol(B^i_\tll)^{\tC^\ell_j}$$ while $$\pij(b_i)\f(z)_j
=(\pvjd_{\elm\ln I}z_\zlo^{\tC^\ell_j})(A^i_j)
=\prod_{\gll\in I}z_\ell(A^h_j)^{\tC^\ell_j}.$$ Since $B^k_\epl=A^i_\ell$ for $i\notin I$ by, the above vqrifies.

[*Vade 4.*]{} The case wrere $y,j\nofpn I$. In this case $$\f(b_i(z))_j=z_j(B^i_j)$$ whjle $$\phi(u_i)\f(z)_j=z_j(A^i_j).$$ Sincr $B^i_j=A^i_j$ for $i\notin I$ by, tje ahove verifies.

It foplows from Oemmw \[d\*\] and that tfe affine diffeomorphiam $f^I_C\colon M(B)\to M(A)$ induced froo $\f^I_C$ satisfies $$\lqbep{mp3coho}
(f^I_C)^*(x_j)=\uegin{cwses}\sum_{i\in I}G^p_jy_i \qudd&\text{fpr $j\in I$,}\\
y_j\quad&\bext{fmr $h\notin I$.}
\end{cases}$$

Cohommlogy isomorphisms {#sect:cohok}
=======================

Iu this section we proce the nattar sgqteoenu ii Tgeorem \[laii\] and the ijplication (3) $\Rightarrow$ (1) at the swne time, i.e. ths purpjsq of this section is to prove the follofinf.

\[MAMBcoho\] Any isomorphiwm $H^*(M(A);\Z/2)\to H^*(M(B);\Z
_i)\f(z)_j =z_j(\sum_{k\in I}C^i_kA^k_j)=z_j(B^i_j)$$ where the last identity [*Case The case $i\notin I$ but we $$\f(b_i(z))_j=\prod_{\ell\in I}z_\ell(B^i_\ell)^{\tC^\ell_j}$$ while =(\prod_{\ell\in I}z_\ell^{\tC^\ell_j})(A^i_j) =\prod_{\ell\in Since $B^i_\ell=A^i_\ell$ for $i\notin I$ by, above verifies. [*Case 4.*]{} The case where $i,j\notin I$. In this case $$\f(b_i(z))_j=z_j(B^i_j)$$ $$\phi(b_i)\f(z)_j=z_j(A^i_j).$$ Since $B^i_j=A^i_j$ for $i\notin I$ by, the above verifies. It follows from \[f\*\] that affine $f^I_C\colon M(B)\to M(A)$ induced from $\f^I_C$ satisfies $$\label{op3coho} (f^I_C)^*(x_j)=\begin{cases}\sum_{i\in I}C^i_jy_i \quad&\text{for $j\in I$,}\\ y_j\quad&\text{for $j\notin I$.} Cohomology isomorphisms {#sect:cohom} ======================= In this section we the latter statement in \[main\] and the implication (3) (1) the same i.e. purpose this section is prove the following. \[MAMBcoho\] Any isomorphism $H^*(M(A);\Z/2)\to H^*(M(B);\Z
_i)\f(z)_j
=z_j(\sum_{k\in I}C^i_kA^k_j)=z_j(B^i_j)$$ wHere the lasT idenTitY foLlOws fRom.

[*CAse 3.*]{} The case wherE $I\notIn I$ but $j\in I$. In this case we Have $$\f(B_i(Z))_J=\proD_{\ElL\in I}z_\Ell(B^i_\elL)^{\TC^\ELL_j}$$ wHiLe $$\Phi(B_i)\F(Z)_j
=(\Prod_{\eLl\iN I}z_\ell^{\tc^\ell_j})(A^i_j)
=\prOd_{\eLl\In I}z_\ell(A^i_j)^{\tC^\ELl_J}.$$ Since $B^i_\elL=A^i_\Ell$ for $i\notin i$ by, The aboVe VerIFies.

[*CAse 4.*]{} the caSe wherE $I,j\notiN I$. In this cAsE $$\F(b_i(z))_j=z_J(b^i_j)$$ whilE $$\PHi(B_i)\f(z)_J=z_j(A^i_j).$$ Since $B^i_j=A^i_j$ FOr $I\Notin I$ by, the aboVe veriFiES.

IT FOllOws From Lemma \[f\*\] AnD that THe affinE DiFFEOmoRPhism $f^I_C\colon m(B)\to M(A)$ inducED frOm $\f^I_C$ sAtIsfIEs $$\labeL{op3coHo}
(F^i_C)^*(x_J)=\begin{cases}\Sum_{i\In I}C^i_jy_i \qUad&\texT{For $j\in I$,}\\
Y_J\quad&\teXt{for $j\NotIn I$.}
\End{cASeS}$$

COhoMoLOgy ISoMorPHisMs {#sect:coHoM}
=======================

IN this SectION WE proVe tHe laTter sTatement in TheOreM \[maiN\] And The imPlicaTion (3) $\riGhtarRow$ (1) at tHe samE tIme, i.e. the purpose Of thIs section Is tO pRovE tHe folLOwing.

\[MaMBCohO\] Any isoMorphisM $h^*(M(A);\z/2)\tO h^*(m(b);\Z
_i)\f(z)_j
=z_j(\sum_{k\in  I}C^i_kA^ k_j)= z_j (B^ i_ j)$$  whe re the last id e ntit y follows from.

[*Cas e 3.* ]{ }  The ca se wh ere $i\ n ot i n  I$  b ut  $j \i n  I $. In  th is case  we have $ $\f (b _i(z))_j=\pr o d_ {\ell\in I }z_ \ell(B^i_\el l)^ {\tC^\ el l_j } $$ wh ile  $$\p hi(b_i ) \f(z)_ j
=(\prod _{ \ ell\in I}z_\el l ^ {\ tC^\ ell_j})(A^i_j)
=\ p ro d _{\ell\in I}z_ \ell(A ^i _ j) ^ { \tC ^\e ll_j}.$$ S in ce $B ^ i_\ell= A ^i _ \ e ll$ for $i\notinI$ by, thea bov e veri fi es. 
[*Cas e 4.* ]{ }  Th e case wher e $i ,j\notinI$. In this ca s e $$\f( b_i(z) )_j =z_ j(B^ i _j )$ $ w hi l e $ $ \p hi( b _i) \f(z)_j= z_ j( A^i_j ).$$ S i n ce $ B^i _j=A ^i_j$  for $i\notin  I$  by, the  abov e ver ifie s. 

Itfollow s fro mLemma \[f\*\] a nd t hat the a ffi ne  di ff eomor p hism $ f^I _C\ colon M (B)\toM (A) $i n d uc ed from $\f^I_C$ s at i s fi es $$\la bel{op 3 co ho } 
(f^I_C) ^* (x_ j)=\ b e gin{c ases } \s um_{i\in  I}C^i _ jy _i  \quad& \t ext{fo r$j\ inI$,}\ \ 
y_j \quad& \text{fo r $j\ n otin I$.}
\end { cases}$$

Coh o mo l o gy isom orp hisms {#sec t:co h om}==== = == === = ===== ===== == 
I n  this section we pr ov e thelatte r statement i n Theorem\ [ m ain\] an d th e  i m plication (3)$\Rig htarrow$ ( 1 ) at the  same  time, i .e. the p u r pose ofthi s s ect ion i sto prove thef o llow in g.

\[M AMB coho\]Any  is omo rph is m $H^*(M( A);\Z/2) \t oH^ *( M(B );\Z
_i)\f(z)_j
=z_j(\sum_{k\in I}C^i_kA^k_j)=z_j(B^i_j)$$_where the_last identity follows from.

[*Case_3.*]{} The_case_where $i\notin_I$_but $j\in I$._In this case_we have $$\f(b_i(z))_j=\prod_{\ell\in I}z_\ell(B^i_\ell)^{\tC^\ell_j}$$_while $$\phi(b_i)\f(z)_j
=(\prod_{\ell\in I}z_\ell^{\tC^\ell_j})(A^i_j)
=\prod_{\ell\in_I}z_\ell(A^i_j)^{\tC^\ell_j}.$$_Since $B^i_\ell=A^i_\ell$ for $i\notin I$ by, the above verifies.

[*Case 4.*]{} The case where $i,j\notin_I$._In this_case_$$\f(b_i(z))_j=z_j(B^i_j)$$_while $$\phi(b_i)\f(z)_j=z_j(A^i_j).$$ Since $B^i_j=A^i_j$ for_$i\notin I$ by, the above_verifies.

It follows_from Lemma \[f\*\] and that the affine diffeomorphism $f^I_C\colon_M(B)\to_M(A)$ induced from_$\f^I_C$ satisfies $$\label{op3coho}
(f^I_C)^*(x_j)=\begin{cases}\sum_{i\in I}C^i_jy_i \quad&\text{for $j\in I$,}\\
y_j\quad&\text{for $j\notin I$.}
\end{cases}$$

Cohomology_isomorphisms {#sect:cohom}
=======================

In this section we prove_the latter statement_in_Theorem \[main\]_and the implication (3)_$\Rightarrow$ (1) at the same time,_i.e. the purpose of this section_is to prove the following.

\[MAMBcoho\] Any isomorphism_$H^*(M(A);\Z/2)\to H^*(M(B);\Z