differential graded algebra
Let be a commutative ring. A differential graded algebra (or DG algebra) over is a complex of -modules with an element (the unit) and a degree zero chain map
that is unitary: , and is associative: . We also will stipulate that a DG algebra is graded commutative; that is for each , we have
where means the degree of . Also, we assume that for . Without these final assumptions, we will say that is an associative DG algebra.
The fact that the product is a chain map of degree zero is best described by the Leibniz Rule; that is, for each , we have