<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DesuspensionMtxModule</code>( <var class="Arg">M</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a meataxe module <span class="SimpleMath">M</span> over the field of <span class="SimpleMath">p</span> elements and returns an FpG-module DM. The two modules are related mathematically by the existence of a short exact sequence <span class="SimpleMath">DM ⟶ FM ⟶ M</span> with <span class="SimpleMath">FM</span> a free module. Thus the homological properties of <span class="SimpleMath">DM</span> are equal to those of <span class="SimpleMath">M</span> with a dimension shift.</p>
<p>(If <span class="SimpleMath">G:=Group(M.generators)</span> is a <span class="SimpleMath">p</span>-group then <span class="SimpleMath">FM</span> is a projective cover of <span class="SimpleMath">M</span> in the sense that the homomorphism <span class="SimpleMath">FM ⟶ M</span> does not factor as <span class="SimpleMath">FM ⟶ P ⟶ M</span> for any projective module <span class="SimpleMath">P</span>.)</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ GeneratorsOfMtxModule</code>( <var class="Arg">M</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs a meataxe module <span class="SimpleMath">M</span> acting on, say, the vector space <spanclass="SimpleMath">V</span>. The function returns a minimal list of row vectors in <span class="SimpleMath">V</span> which generate <span class="SimpleMath">V</span> as a <span class="SimpleMath">G</span>-module (where G=Group(M.generators) ).</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.
