Definition 22.4.1. Let $R$ be a ring. Let $(A, \text{d})$ be a differential graded algebra over $R$. A (right) differential graded module $M$ over $A$ is a right $A$-module $M$ which has a grading $M = \bigoplus M^ n$ and a differential $\text{d}$ such that $M^ n A^ m \subset M^{n + m}$, such that $\text{d}(M^ n) \subset M^{n + 1}$, and such that

$\text{d}(ma) = \text{d}(m)a + (-1)^ n m\text{d}(a)$

for $a \in A$ and $m \in M^ n$. A homomorphism of differential graded modules $f : M \to N$ is an $A$-module map compatible with gradings and differentials. The category of (right) differential graded $A$-modules is denoted $\text{Mod}_{(A, \text{d})}$.

Comment #284 by arp on

Typo: In the statement of the lemma, in the line the first term on the right should be $\text{d}(m)a$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).