- 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 :
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 F * choisie.
- Portail des mathématiques
Catégorie : Théorie d'homologie
Wikimedia Foundation. 2010.