<?xml version="1.0" encoding="UTF-8"?>
<?latexml class="article"?>
<?latexml package="amsmath"?>
<?latexml package="amscd"?>
<?latexml RelaxNGSchema="LaTeXML"?>
<document xmlns="http://dlmf.nist.gov/LaTeXML">
<resource src="LaTeXML.css" type="text/css"/>
<resource src="ltx-article.css" type="text/css"/>
<para xml:id="p1">
<equation xml:id="S0.E1">
<tags>
<tag>(1)</tag>
<tag role="refnum">1</tag>
</tags>
<Math mode="display" tex="\begin{CD}S^{{\mathcal{W}}_{\Lambda}}\otimes T@>{j}>{}>T\\ @V{}V{}V@V{}V{\operatorname{End}P}V\\ (S\otimes T)/I@=(Z\otimes T)/J\end{CD}" text="commutative-diagram@(Array[[S ^ (W _ Lambda) tensor-product T, rightarrowfill@ ^ j, T], [downarrow, , absent downarrow End@(P), , ], [(S tensor-product T) / I, @cd@equals@, (Z tensor-product T) / J]])" xml:id="S0.E1.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="commutative-diagram"/>
<XMRef idref="S0.E1.m1.1"/>
</XMApp>
<XMArray xml:id="S0.E1.m1.1">
<XMRow>
<XMCell align="center">
<XMApp>
<XMTok meaning="tensor-product" name="otimes" role="MULOP">⊗</XMTok>
<XMApp>
<XMTok role="SUPERSCRIPTOP" scriptpos="post5"/>
<XMTok font="italic" role="UNKNOWN">S</XMTok>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post6"/>
<XMTok font="caligraphic" fontsize="70%" role="UNKNOWN">W</XMTok>
<XMTok fontsize="50%" name="Lambda" role="UNKNOWN">Λ</XMTok>
</XMApp>
</XMApp>
<XMTok font="italic" role="UNKNOWN">T</XMTok>
</XMApp>
</XMCell>
<XMCell align="center">
<XMApp>
<XMTok role="SUPERSCRIPTOP" scriptpos="mid5"/>
<XMTok name="rightarrowfill@" role="ARROW" stretchy="true">→</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMCell>
<XMCell align="center">
<XMTok font="italic" role="UNKNOWN">T</XMTok>
</XMCell>
</XMRow>
<XMRow>
<XMCell align="center">
<XMTok fontsize="160%" name="downarrow" role="ARROW">↓</XMTok>
</XMCell>
<XMCell/>
<XMCell align="center">
<XMApp role="ARROW">
<XMTok fontsize="160%" name="downarrow" role="ARROW">↓</XMTok>
<XMTok meaning="absent"/>
<XMApp>
<XMTok fontsize="70%" role="OPFUNCTION" scriptpos="post">End</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">P</XMTok>
</XMApp>
</XMApp>
</XMCell>
<XMCell/>
<XMCell/>
</XMRow>
<XMRow>
<XMCell align="center">
<XMApp>
<XMTok meaning="divide" role="MULOP">/</XMTok>
<XMDual>
<XMRef idref="S0.E1.m1.1.1"/>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMApp xml:id="S0.E1.m1.1.1">
<XMTok meaning="tensor-product" name="otimes" role="MULOP">⊗</XMTok>
<XMTok font="italic" role="UNKNOWN">S</XMTok>
<XMTok font="italic" role="UNKNOWN">T</XMTok>
</XMApp>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMDual>
<XMTok font="italic" role="UNKNOWN">I</XMTok>
</XMApp>
</XMCell>
<XMCell align="center">
<XMTok name="@cd@equals@" role="ARROW" stretchy="true">=</XMTok>
</XMCell>
<XMCell align="center">
<XMApp>
<XMTok meaning="divide" role="MULOP">/</XMTok>
<XMDual>
<XMRef idref="S0.E1.m1.1.2"/>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMApp xml:id="S0.E1.m1.1.2">
<XMTok meaning="tensor-product" name="otimes" role="MULOP">⊗</XMTok>
<XMTok font="italic" role="UNKNOWN">Z</XMTok>
<XMTok font="italic" role="UNKNOWN">T</XMTok>
</XMApp>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMDual>
<XMTok font="italic" role="UNKNOWN">J</XMTok>
</XMApp>
</XMCell>
</XMRow>
</XMArray>
</XMDual>
</XMath>
</Math>
</equation>
<equation xml:id="S0.E2">
<tags>
<tag>(2)</tag>
<tag role="refnum">2</tag>
</tags>
<Math mode="display" tex="\begin{CD}\operatorname{cov}(\mathcal{L})@>{}>{}>\operatorname{non}(\mathcal{K% })@>{}>{}>\operatorname{cf}(\mathcal{K})@>{}>{}>\operatorname{cf}(\mathcal{L})% \\ @V{}V{}V@A{}A{}A@A{}A{}A@V{}V{}V\\ \operatorname{add}(\mathcal{L})@>{}>{}>\operatorname{add}(\mathcal{K})@>{}>{}>% \operatorname{cov}(\mathcal{K})@>{}>{}>\operatorname{non}(\mathcal{L})\end{CD}" text="commutative-diagram@(Array[[cov@(L), rightarrowfill@, non@(K), rightarrowfill@, cf@(K), rightarrowfill@, cf@(L)], [downarrow, , uparrow, , uparrow, , downarrow, , ], [add@(L), rightarrowfill@, add@(K), rightarrowfill@, cov@(K), rightarrowfill@, non@(L)]])" xml:id="S0.E2.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="commutative-diagram"/>
<XMRef idref="S0.E2.m1.1"/>
</XMApp>
<XMArray xml:id="S0.E2.m1.1">
<XMRow>
<XMCell align="center">
<XMDual>
<XMApp>
<XMRef idref="S0.E2.m1.1.1"/>
<XMRef idref="S0.E2.m1.1.2"/>
</XMApp>
<XMApp>
<XMTok role="OPFUNCTION" scriptpos="post" xml:id="S0.E2.m1.1.1">cov</XMTok>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMTok font="caligraphic" role="UNKNOWN" xml:id="S0.E2.m1.1.2">L</XMTok>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMApp>
</XMDual>
</XMCell>
<XMCell align="center">
<XMTok name="rightarrowfill@" role="ARROW" stretchy="true">→</XMTok>
</XMCell>
<XMCell align="center">
<XMDual>
<XMApp>
<XMRef idref="S0.E2.m1.1.3"/>
<XMRef idref="S0.E2.m1.1.4"/>
</XMApp>
<XMApp>
<XMTok role="OPFUNCTION" scriptpos="post" xml:id="S0.E2.m1.1.3">non</XMTok>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMTok font="caligraphic" role="UNKNOWN" xml:id="S0.E2.m1.1.4">K</XMTok>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMApp>
</XMDual>
</XMCell>
<XMCell align="center">
<XMTok name="rightarrowfill@" role="ARROW" stretchy="true">→</XMTok>
</XMCell>
<XMCell align="center">
<XMDual>
<XMApp>
<XMRef idref="S0.E2.m1.1.5"/>
<XMRef idref="S0.E2.m1.1.6"/>
</XMApp>
<XMApp>
<XMTok role="OPFUNCTION" scriptpos="post" xml:id="S0.E2.m1.1.5">cf</XMTok>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMTok font="caligraphic" role="UNKNOWN" xml:id="S0.E2.m1.1.6">K</XMTok>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMApp>
</XMDual>
</XMCell>
<XMCell align="center">
<XMTok name="rightarrowfill@" role="ARROW" stretchy="true">→</XMTok>
</XMCell>
<XMCell align="center">
<XMDual>
<XMApp>
<XMRef idref="S0.E2.m1.1.7"/>
<XMRef idref="S0.E2.m1.1.8"/>
</XMApp>
<XMApp>
<XMTok role="OPFUNCTION" scriptpos="post" xml:id="S0.E2.m1.1.7">cf</XMTok>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMTok font="caligraphic" role="UNKNOWN" xml:id="S0.E2.m1.1.8">L</XMTok>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMApp>
</XMDual>
</XMCell>
</XMRow>
<XMRow>
<XMCell align="center">
<XMTok fontsize="160%" name="downarrow" role="ARROW">↓</XMTok>
</XMCell>
<XMCell/>
<XMCell align="center">
<XMTok fontsize="160%" name="uparrow" role="ARROW">↑</XMTok>
</XMCell>
<XMCell/>
<XMCell align="center">
<XMTok fontsize="160%" name="uparrow" role="ARROW">↑</XMTok>
</XMCell>
<XMCell/>
<XMCell align="center">
<XMTok fontsize="160%" name="downarrow" role="ARROW">↓</XMTok>
</XMCell>
<XMCell/>
<XMCell/>
</XMRow>
<XMRow>
<XMCell align="center">
<XMDual>
<XMApp>
<XMRef idref="S0.E2.m1.1.9"/>
<XMRef idref="S0.E2.m1.1.10"/>
</XMApp>
<XMApp>
<XMTok role="OPFUNCTION" scriptpos="post" xml:id="S0.E2.m1.1.9">add</XMTok>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMTok font="caligraphic" role="UNKNOWN" xml:id="S0.E2.m1.1.10">L</XMTok>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMApp>
</XMDual>
</XMCell>
<XMCell align="center">
<XMTok name="rightarrowfill@" role="ARROW" stretchy="true">→</XMTok>
</XMCell>
<XMCell align="center">
<XMDual>
<XMApp>
<XMRef idref="S0.E2.m1.1.11"/>
<XMRef idref="S0.E2.m1.1.12"/>
</XMApp>
<XMApp>
<XMTok role="OPFUNCTION" scriptpos="post" xml:id="S0.E2.m1.1.11">add</XMTok>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMTok font="caligraphic" role="UNKNOWN" xml:id="S0.E2.m1.1.12">K</XMTok>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMApp>
</XMDual>
</XMCell>
<XMCell align="center">
<XMTok name="rightarrowfill@" role="ARROW" stretchy="true">→</XMTok>
</XMCell>
<XMCell align="center">
<XMDual>
<XMApp>
<XMRef idref="S0.E2.m1.1.13"/>
<XMRef idref="S0.E2.m1.1.14"/>
</XMApp>
<XMApp>
<XMTok role="OPFUNCTION" scriptpos="post" xml:id="S0.E2.m1.1.13">cov</XMTok>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMTok font="caligraphic" role="UNKNOWN" xml:id="S0.E2.m1.1.14">K</XMTok>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMApp>
</XMDual>
</XMCell>
<XMCell align="center">
<XMTok name="rightarrowfill@" role="ARROW" stretchy="true">→</XMTok>
</XMCell>
<XMCell align="center">
<XMDual>
<XMApp>
<XMRef idref="S0.E2.m1.1.15"/>
<XMRef idref="S0.E2.m1.1.16"/>
</XMApp>
<XMApp>
<XMTok role="OPFUNCTION" scriptpos="post" xml:id="S0.E2.m1.1.15">non</XMTok>
<XMWrap>
<XMTok role="OPEN" stretchy="false">(</XMTok>
<XMTok font="caligraphic" role="UNKNOWN" xml:id="S0.E2.m1.1.16">L</XMTok>
<XMTok role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMApp>
</XMDual>
</XMCell>
</XMRow>
</XMArray>
</XMDual>
</XMath>
</Math>
</equation>
</para>
</document>