Loading AI tools
De Wikipédia, l'encyclopédie libre
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 :
où est une résolution injective de M. Un résultat standard d'algèbre homologique montre que ces constructions sont indépendantes des résolutions et choisies.
Nicolas Babois, La naissance de la cohomologie des groupes (thèse), Université de Nice, 2009
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.