<p>The functions on this page were written by <strong class="button">Paul Smith</strong>. (They are included in HAP but they are also independently included in Paul Smiths HAPprime package.)</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Mod2CohomologyRingPresentation</code>( <var class="Arg">G</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Mod2CohomologyRingPresentation</code>( <var class="Arg">G</var>, <var class="Arg">n</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Mod2CohomologyRingPresentation</code>( <var class="Arg">A</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Mod2CohomologyRingPresentation</code>( <var class="Arg">R</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>When applied to a finite <span class="SimpleMath">\(2\)</span>-group <span class="SimpleMath">\(G\)</span> this function returns a presentation for the mod 2 cohomology ring <span class="SimpleMath">\(H^*(G,Z_2)\)</span>. The Lyndon-Hochschild-Serre spectral sequence is used to prove that the presentation is correct.</p>
<p>When the function is applied to a <span class="SimpleMath">\(2\)</span>-group <span class="SimpleMath">\(G\)</span> and positive integer <span class="SimpleMath">\(n\)</span> the function first constructs <span class="SimpleMath">\(n\)</span> terms of a free <span class="SimpleMath">\(Z_2G\)</span>-resolution <span class="SimpleMath">\(R\)</span>, then constructs the finite-dimensional graded algebra <span class="SimpleMath">\(A=H^(*\le n)(G,Z_2)\)</span>, and finally uses <span class="SimpleMath">\(A\)</span> to approximate a presentation for <span class="SimpleMath">\(H^*(G,Z_2)\)</span>. For "sufficiently large" the approximation will be a correct presentation for <span class="SimpleMath">\(H^*(G,Z_2)\)</span>.</p>
<p>Alternatively, the function can be applied directly to either the resolution <span class="SimpleMath">\(R\)</span> or graded algebra <span class="SimpleMath">\(A\)</span>.</p>
<p>This function was written by <strong class="button">Paul Smith</strong>. It uses the Singular commutative algebra package to handle the Lyndon-Hochschild-Serre spectral sequence.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PoincareSeriesLHS</code></td><td class="tdright">( global variable )</td></tr></table></div>
<p>Inputs a finite <span class="SimpleMath">\(2\)</span>-group <span class="SimpleMath">\(G\)</span> and returns a quotient of polynomials <span class="SimpleMath">\(f(x)=P(x)/Q(x)\)</span> whose coefficient of <span class="SimpleMath">\(x^k\)</span> equals the rank of the vector space <span class="SimpleMath">\(H_k(G,Z_2)\)</span> for all <span class="SimpleMath">\(k\)</span>.</p>
<p>This function was written by <strong class="button">Paul Smith</strong>. It use the Singular system for commutative algebra.</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.0.0Bemerkung:
(vorverarbeitet)
¤
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.
