<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (HAP) - Chapter 6: Homology and cohomology groups</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
</head>
<body><a href="../www/index.html"><small>HAP home</small></a>
<div class="chlinkprevnexttop"> <a href="chap0.html">Top of Book</a> <a href="chap5.html">Previous Chapter</a> <a href="chap7.html">Next Chapter</a> </div>
<p><a id="X782177107A5D6D19" name="X782177107A5D6D19"></a></p>
<div class="ChapSects"><a href="chap6.html#X782177107A5D6D19">6. <span class="Heading"> Homology and cohomology groups</span></a>
</div>
<h3>6. <span class="Heading"> Homology and cohomology groups</span></h3>
<div class="pcenter"><table cellspacing="10" class="GAPDocTable">
<tr>
<td class="tdleft"><code class="code">Cohomology(X,n) </code></p>
<p>Inputs either a cochain complex X=C (or G-cocomplex C) or a cochain map X=(C --> D) over the integers Z together with a non-negative intereg n.</p>
<ul>
<li><p>If X=C then the torsion coefficients of H^n(C) are retuned.</p>
</li>
<li><p>If X=(C --> D) then the induced homomorphism H^n(C)--> H^n(D) is returned as a homomorphism of finitely presented groups.</p>
</li>
</ul>
</td>
</tr>
<tr>
<td class="tdleft"><code class="code">CohomologyModule(C,n) </code></p>
<p>Inputs a G-cocomplex C together with a non-negative integer n. It returns the cohomology H^n(C) as a G-outer group. If C was constructed from a resolution R by homing to an abelian G-outer group A then, for each x in H:=CohomologyModule(C,n), there is a function f:=H!.representativeCocycle(x) which is a standard n-cocycle corresponding to the cohomology class x. (At present this works only for n=1,2,3.)</td>
</tr>
<tr>
<td class="tdleft"><code class="code">CohomologyPrimePart(C,n,p)</code></p>
<p>Inputs a cochain complex C in characteristic 0, a positive integer n, and a prime p. It returns a list of those torsion coefficients of H^n(C) that are positive powers of p. The function uses the EDIM package by Frank Luebeck.</td>
</tr>
<tr>
<td class="tdleft"><code class="code">GroupCohomology(X,n) </code> <code class="code">GroupCohomology(X,n,p)</code></p>
<p>Inputs a positive integer n and either a finite group X=G or a Coxeter diagram X=D representing an infinite Artin group G. It returns the torsion coefficients of the integral cohomology H^n(G,Z).</p>
<p>There is an optional third argument which, when set equal to a prime p, causes the function to return the the mod p cohomology H^n(G,Z_p) as a list of length equal to its rank.</p>
<p>This function is a composite of more basic functions, and makes choices for a number of parameters. For a particular group you would almost certainly be better using the more basic functions and making the choices yourself!</td>
</tr>
<tr>
<td class="tdleft"><code class="code">GroupHomology(X,n)</code> <br /> <code class="code">GroupHomology(X,n,p)</code></p>
<p>Inputs a positive integer n and either a finite group X=G or a Coxeter diagram X=D representing an infinite Artin group G. It returns the torsion coefficients of the integral homology H_n(G,Z).</p>
<p>There is an optional third argument which, when set equal to a prime p, causes the function to return the mod p homology H_n(G,Z_p) as a list of lenth equal to its rank.</p>
<p>This function is a composite of more basic functions, and makes choices for a number of parameters. For a particular group you would almost certainly be better using the more basic functions and making the choices yourself!</td>
</tr>
<tr>
<td class="tdleft"><code class="code">Homology(X,n)</code></p>
<p>Inputs either a chain complex X=C or a chain map X=(C --> D).</p>
<ul>
<li><p>If X=C then the torsion coefficients of H_n(C) are retuned.</p>
</li>
<li><p>If X=(C --> D) then the induced homomorphism H_n(C) --> H_n(D) is returned as a homomorphism of finitely presented groups.</p>
</li>
</ul>
</td>
</tr>
<tr>
<td class="tdleft"><code class="code">HomologyPb(C,n)</code></p>
<p>This is a back-up function which might work in some instances where Homology(C,n) fails. It is most useful for chain complexes whose boundary homomorphisms are sparse.</p>
<p>It inputs a chain complex C in characteristic 0 and returns the torsion coefficients of H_n(C) . There is a small probability that an incorrect answer could be returned. The computation relies on probabilistic Smith Normal Form algorithms implemented in the Simplicial Homology GAP package. This package therefore needs to be loaded. The computation is stored as a component of C so, when called a second time for a given C and n, the calculation is recalled without rerunning the algorithm.</p>
<p>The choice of probabalistic algorithm can be changed using the command</p>
<p>SetHomologyAlgorithm(HomologyAlgorithm[i]);</p>
<p>where i = 1,2,3 or 4. The upper limit for the probability of an incorrect answer can be set to any rational number 0<e<= 1 using the following command.</p>
<p>SetUncertaintyTolerence(e);</p>
<p>See the Simplicial Homology package manual for further details.</td>
</tr>
<tr>
<td class="tdleft"><code class="code">HomologyPrimePart(C,n,p)</code></p>
<p>Inputs a chain complex C in characteristic 0, a positive integer n, and a prime p. It returns a list of those torsion coefficients of H_n(C) that are positive powers of p. The function uses the EDIM GAP package by Frank Luebeck.</td>
</tr>
<tr>
<td class="tdleft"><code class="code">LeibnizAlgebraHomology(A,n)</code></p>
<p>Inputs a Lie or Leibniz algebra X=A (over the ring of integers Z or over a field K), together with a positive integer n. It returns the n-dimensional Leibniz homology of A.</td>
</tr>
<tr>
<td class="tdleft"><code class="code">LieAlgebraHomology(A,n)</code></p>
<p>Inputs a Lie algebra A (over the integers or a field) and a positive integer n. It returns the homology H_n(A,k) where k denotes the ground ring.</td>
</tr>
<tr>
<td class="tdleft"><code class="code">PrimePartDerivedFunctor(G,R,F,n)</code></p>
<p>Inputs a finite group G, a positive integer n, at least n+1 terms of a ZP-resolution for a Sylow subgroup P<G and a "mathematically suitable" covariant additive functor F such as TensorWithIntegers . It returns the abelian invariants of the p-component of the homology H_n(F(R)) .</p>
<p>Warning: All calculations are assumed to be in characteristic 0. The function should not be used if the coefficient module is over the field of p elements.</p>
<p>"Mathematically suitable" means that the Cartan-Eilenberg double coset formula must hold.</td>
</tr>
<tr>
<td class="tdleft"><code class="code">RankHomologyPGroup(G,n)</code> <code class="code">RankHomologyPGroup(R,n)</code> <code class="code">RankHomologyPGroup(G,n,"empirical")</code></p>
<p>Inputs a (smallish) p-group G, or n terms of a minimal Z_pG-resolution R of Z_p , together with a positive integer n. It returns the minimal number of generators of the integral homology group H_n(G,Z).</p>
<p>If an option third string argument "empirical" is included then an empirical algorithm will be used. This is one which always seems to yield the right answer but which we can't prove yields the correct answer.</td>
</tr>
<tr>
<td class="tdleft"><code class="code">RankPrimeHomology(G,n)</code></p>
<p>Inputs a (smallish) p-group G together with a positive integer n. It returns a function dim(k) which gives the rank of the vector space H_k(G,Z_p) for all 0 <= k <= n.</td>
</tr>
</table><br /><p> </p><br />
</div>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap5.html">Previous Chapter</a> <a href="chap7.html">Next Chapter</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chap16.html">16</a> <a href="chap17.html">17</a> <a href="chap18.html">18</a> <a href="chap19.html">19</a> <a href="chap20.html">20</a> <a href="chap21.html">21</a> <a href="chap22.html">22</a> <a href="chap23.html">23</a> <a href="chap24.html">24</a> <a href="chap25.html">25</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
91213ddcfbe7f54821d42c2d9e091326
>
files
>
201
