<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ EquivariantChainMap</code>( <var class="Arg">R</var>, <var class="Arg">S</var>, <var class="Arg">f</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a <span class="SimpleMath">ZG</span>-resolution <span class="SimpleMath">R</span>, a <span class="SimpleMath">ZG'-resolution S, and a group homomorphism f : G ⟶ G'</span>. It outputs a component object <span class="SimpleMath">M</span> with the following components.</p>
<ul>
<li><p><span class="SimpleMath">M!.source</span> is the resolution <span class="SimpleMath">R</span>.</p>
</li>
<li><p><span class="SimpleMath">M!.target</span> is the resolution <span class="SimpleMath">S</span>.</p>
</li>
<li><p><span class="SimpleMath">M!.mapping(w,n)</span> is a function which gives the image in <spanclass="SimpleMath">S_n</span>, under a chain map induced by <span class="SimpleMath">f</span>, of a word <span class="SimpleMath">w</span> in <span class="SimpleMath">R_n</span>. (Here <span class="SimpleMath">R_n</span> and <span class="SimpleMath">S_n</span> are the <span class="SimpleMath">n</span>-th modules in the resolutions <span class="SimpleMath">R</span> and <span class="SimpleMath">S</span>.)</p>
</li>
<li><p><span class="SimpleMath">F!.properties</span> is a list of pairs such as ["type", "equivariantChainMap"].</p>
</li>
</ul>
<p>The resolution <span class="SimpleMath">S</span> must have a contracting homotopy.</p>
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
