6. Algèbre homologique
• Homologie d'un module différentiel
Considérons une famille (Mn), avec n ∈ Z, de A modules et, pour tout n, une application dn de Mn dans Mn+ε, où ε est un entier en général égal à + 1 ou à − 1. Si, pour tout n, on a :
on dit que
M = ((M
n), (
dn)), pour
n ∈
Z, est un A-
module différentiel gradué ; les
dn sont appelés les
opérateurs bord de
M. Toute suite exacte infinie :
de A-modules est un A-module différentiel gradué ; mais, en général, un A-module différentiel gradué n'est pas une suite exacte ; on introduit son homologie pour mesurer en quoi ce n'en est pas une. On appelle
cycle de dimension
n les éléments du noyau Z
n de
dn ; on appelle
bords de dimension
n les éléments de l'image B
n de
dn−ε. Pour tout
n, le module B
n est un sous-module de Z
n ; le module quotient de Z
n par B
n est appelé le module d'homologie en dimension
n de
M. On le notera H
n (
M ).
Soit M =((Mn), (dn)) et L =((Ln), (δn)) deux A-modules différentiels gradués ; si, pour tout n, on s'est donné un homomorphisme αn : Mn → Ln, de telle façon que l'on ait :
… pour nos abonnés, l'article se prolonge sur 12 pages…