Homologie des groupes

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Homologie.
image illustrant l’algèbre
Cet article est une ébauche concernant l’algèbre.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En algèbre homologique, l'homologie d'un groupe est un invariant attaché à ce groupe.

Pour un groupe G, on note ℤ[G] l'algèbre du groupe G sur l'anneau des entiers relatifs ℤ.

Soient alors M un ℤ[G]-module (ce qui revient à se donner un groupe abélien M et un morphisme 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 choisie.

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Lien externe[modifier | modifier le code]

Nicolas Babois, La naissance de la cohomologie des groupes (thèse), Université de Nice, 2009