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 :

Property Value
dbo:abstract
  • 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. (fr)
  • 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. (fr)
dbo:isPartOf
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 906476 (xsd:integer)
dbo:wikiPageLength
  • 1866 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 180702996 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 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 : (fr)
  • 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 : (fr)
rdfs:label
  • Group cohomology (en)
  • Gruppenkohomologie (de)
  • Homologie des groupes (fr)
  • 群のコホモロジー (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of