<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 \longrightarrow 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 <span class="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.
