Exercice 18, § 3
Algèbre, X, p. 183
On suppose l’anneau commutatif. Une -algèbre différentielle graduée est une -algèbre , graduée de type , telle que pour , munie d’une antidérivation de degré , vérifiant . On notera encore le complexe de -modules .
a) Soit un complexe de -modules, nul en degrés . Montrer qu’il existe sur (resp. , resp. ) une structure de -algèbre différentielle graduée, telle que l’injection canonique de dans soit un morphisme de complexes.
b) Montrer que la multiplication de induit une structure de -algèbre graduée sur .
c) Soient deux -algèbres différentielles graduées. On pose pour . Montrer que définit une structure de -algèbre différentielle graduée sur le produit tensoriel gauche (III, p. 49).
Solution
Aucune solution n’a encore été écrite.