- Homologie des groupes
-
Pour les articles homonymes, voir Homologie.
En algèbre homologique, l'homologie d'un groupe est un invariant attaché à ce groupe.
Pour un groupe G, on note l'algèbre du groupe G, c'est-à-dire l'anneau dont le groupe abélien sous-jacent est le groupe abélien libre sur G, et dont les produits sont donnés sur les éléments de base par les produits de G.
Plus précisément, un élément de est un objet de la forme :
où les ng sont presque tous nuls. Et le produit de deux tels éléments est donné par :
Soient alors M un -module (ce qui revient à se donner un groupe abélien M muni d'un homomorphisme de G dans le groupe des automorphismes de M), et une résolution projective de M.
Les groupes d'homologie de G à coefficients dans M sont définis par :
De façon duale les groupes de cohomologie de G à coefficients dans M sont définis par :
Un résultat standard d'algèbre homologique montre que ces constructions sont indépendantes de la résolution projective F * choisie.
Catégorie :- Théorie d'homologie
Wikimedia Foundation. 2010.