<Chapter><Heading>Cohomology of groups</Heading>
<Section><Heading>Finite groups </Heading>

<P/> The following example computes the fourth integral cohomomogy of the Mathieu group <M>M_{24}</M>.
<P/><M>H^4(M_{24},\mathbb Z) = \mathbb Z_{12}</M>

<Example>
<#Include SYSTEM "tutex/6.1.txt">
</Example>

<P/>The following example computes the third integral homology of the Weyl group <M>W=Weyl(E_8)</M>, a group of order <M>696729600</M>.
<P/><M>H_3(Weyl(E_8),\mathbb Z) = \mathbb Z_2 \oplus \mathbb Z_2 \oplus \mathbb Z_{12}</M>
<Example>
<#Include SYSTEM "tutex/6.2.txt">
</Example>

<P/>The preceding calculation could be achieved more quickly by noting that 
<M>W=Weyl(E_8)</M> is a Coxeter group, and by using the associated Coxeter polytope. The following example uses this approach to compute the fourth integral homology of <M>W</M>. It begins by displaying the Coxeter diagram of <M>W</M>,
and then computes
<P/><M>H_4(Weyl(E_8),\mathbb Z) = \mathbb Z_2 \oplus \mathbb Z_2 \oplus 
Z_2 \oplus \mathbb Z_2</M>.
<Example>
<#Include SYSTEM "tutex/6.4.txt">
</Example>
<Alt Only="HTML">&lt;img src="images/e8diagram.gif" align="center" height="200" alt="Coxeter diagram for E8"/>
</Alt>
<Example>
<#Include SYSTEM "tutex/6.5.txt">
</Example>



<P/>The following example computes the sixth mod-<M>2</M> homology of the Sylow
<M>2</M>-subgroup <M>Syl_2(M_{24})</M> of the Mathieu group <M>M_{24}</M>.
<P/><M>H_6(Syl_2(M_{24}),\mathbb Z_2) = \mathbb Z_2^{143}</M>

<Example>
<#Include SYSTEM "tutex/6.3.txt">
</Example>

<P/>The following example constructs the Poincare polynomial
<P/><M>p(x)=\frac{1}{-x^3+3*x^2-3*x+1}</M>
<P/>for the cohomology <M>H^\ast(Syl_2(M_{12},\mathbb F_2)</M>. The coefficient
 of <M>x^n</M> in the expansion of <M>p(x)</M> is equal to the dimension of the vector space <M>H^n(Syl_2(M_{12},\mathbb F_2)</M>. The computation involves <B>Singular</B>'s Groebner basis algorithms and the Lyndon-Hochschild-Serre spectral sequence.

<Example>
<#Include SYSTEM "tutex/6.6.txt">
</Example>

<P/>The following example constructs the  polynomial
<P/><M>p(x)=\frac{x^4-x^3+x^2-x+1}{x^6-x^5+x^4-2*x^3+x^2-x+1}</M>
<P/>whose coefficient of <M>x^n</M> is equal to the dimension of the vector space <M>H^n(M_{11},\mathbb F_2)</M> for all <M>n</M> in the range
<M>0\le n\le 14</M>. The coefficient is not guaranteed correct for 
<M>n\ge 15</M>. 


<Example>
<#Include SYSTEM "tutex/6.7.txt">
</Example>
</Section>


<Section><Heading>Nilpotent groups</Heading>

The following example computes 
<P/><M>H_4(N,\mathbb Z) = \mathbb (Z_3)^4 \oplus \mathbb Z^{84}</M>
<P/>for the free nilpotent group <M>N</M> of class <M>2</M> on four generators.
<Example>
<#Include SYSTEM "tutex/6.8.txt">
</Example>

</Section>

<Section><Heading>Crystallographic groups</Heading>
<P/>The following example computes
<P/><M>H_5(G,\mathbb Z) = \mathbb Z_2 \oplus \mathbb Z_2</M>
<P/>for the <M>3</M>-dimensional crystallographic space group <M>G</M>
 with Hermann-Mauguin symbol "P62" 

<Example>
<#Include SYSTEM "tutex/6.9.txt">
</Example>


</Section>

<Section><Heading>Arithmetic groups</Heading>

<P/>The following example computes
<P/><M>H_6(SL_2({\cal O},\mathbb Z) = \mathbb Z_2</M>
<P/>for  <M>{\cal O}</M> the ring of integers of the
number field  <M>\mathbb Q(\sqrt{-2})</M>.


<Example>
<#Include SYSTEM "tutex/6.10.txt">
</Example>

</Section>


<Section><Heading>Artin groups</Heading>

<P/>The following example computes
<P/><M>H_5(G,\mathbb Z) = \mathbb Z_3</M>
<P/>for  <M>G</M> the  classical braid group  on eight strings. 


<Example>
<#Include SYSTEM "tutex/6.11.txt">
</Example>
<Alt Only="HTML">&lt;img src="images/a7diagram.gif" align="center" height="200" alt="Coxeter diagram for A7"/>
</Alt>

<Example>
<#Include SYSTEM "tutex/6.12.txt">
</Example>

</Section>

<Section><Heading>Graphs of groups</Heading>

<P/>The following example computes
<P/><M>H_5(G,\mathbb Z) = \mathbb Z_2\oplus Z_2\oplus Z_2 \oplus Z_2 \oplus Z_2</M>
<P/>for  <M>G</M> the graph of groups corresponding to
the amalgamated product <M>G=S_5*_{S_3}S_4</M>
 of the symmetric groups <M>S_5</M> and <M>S_4</M> over the canonical subgroup 
<M>S_3</M>.

<Example>
<#Include SYSTEM "tutex/6.13.txt">
</Example>
<Alt Only="HTML">&lt;img src="images/graphgroups.png" align="center" height="100" alt="graph of groups"/>
</Alt>

<Example>
<#Include SYSTEM "tutex/6.14.txt">
</Example>


</Section>



</Chapter>
