Exercise 18, § 3
Algebra, X, p. 183
We suppose that the ring is commutative. A differential graded -algebra is an -algebra , graded of type , such that for , provided with an antiderivation of degree , satisfying . We shall still denote by the complex of -modules .
a) Let be a complex of -modules, zero in degrees . Prove that there exists on (resp. , resp. ) a differential graded -algebra structure, such that the canonical injection of into is a morphism of complexes.
b) Prove that the multiplication of induces a graded -algebra structure on .
c) Let be two differential graded -algebras. We put for . Prove that defines a differential graded -algebra structure on the left tensor product (III, p. 49).
Solution
No solution has been written yet.