- Homologie Des Groupes
-
Homologie des groupes
Pour les articles homonymes, voir Homologie.En algèbre homologique, l'homologie d'un groupe G est un invariant attaché à un groupe G.
Pour un groupe G, on note
, l'anneau dont le groupe abélien sous-jacent est le groupe abélien libre engendré par 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 sont donnés par :

Soit G un groupe, M un
-module, c'est à dire un groupe abélien muni d'un homomorphisme de G dans le groupe des automorphismes de M. et
une résolution projective de M sur
.Les groupes d'homologie de G à coefficients dans M sont définis par :
![H_i(G;M)=H_i(F_*\otimes_{\mathbf{Z}[G]}\mathbf{Z})](/pictures/frwiki/51/3b2e74b14fa1cf0f7795fe43f054524b.png)
De façon duale les groupes de cohomologie de G à coefficients dans M sont définis par :![H^i(G;M)=H^i(\mathrm{Hom}_{\mathbf{Z}[G]}(F_*,\mathbf{Z}))](/pictures/frwiki/56/81c388c37bff67903dc10426d5517f15.png)
Un résultat standard d'algèbre homologique montre que ces constructions sont indépendantes de la résolution F * choisie.
- Portail des mathématiques
Catégorie : Théorie d'homologie
Wikimedia Foundation. 2010.