Homologie des algebres commutatives

(egalite 3. 4). Ce complexe T*(A,B) per met de definir les modules d''homo­ logie de l''algebre (definition 3. 11) Hn(A,B, W) = Yt,,[T*(A,B)@B W] et les modules de cohomologie de l''algebre (definition 3. 12) Hn(A,B, W) = Yfn[HomB(T*(A,B), W)]. En particulier l''homologie et la cohomologie d''une algebre libre sont triviales (corollaire 3. 36). Quant au module Ho(A,B,B) il est toujours isomorphe a...