Exercice 19, § 3
Algèbre, X, p. 183
On suppose l’anneau commutatif.
a) Soient une -algèbre différentielle graduée (exercice 18), un -module, un -homomorphisme. Montrer qu’il existe sur une structure de -algèbre différentielle graduée telle que pour et pour .
b) Soit B une A-algèbre. Montrer qu’il existe une A-algèbre différentielle graduée S et un homomorphisme de A-algèbres tels que soit une résolution libre du A-module B. (Construire par récurrence sur , à l’aide de a), une algèbre différentielle graduée , libre en chaque degré, telle que pour et .)
c) Si l’algèbre B est commutative, montrer qu’on peut trouver une A-algèbre S alternée (III, p. 53) vérifiant les conditions de b). Si de plus A est noethérien et si B est un quotient de A par un idéal, montrer qu’on peut trouver S de façon que et que soit un A-module de type fini pour tout .
Solution
Aucune solution n’a encore été écrite.