A **dg-ideal** $J \subset A$ is an alternative name for an ideal in a dg-algebra $A$, i.e. a $A$-$A$-dg-subbimodule of $A$. Of course, one can also talk about one-sided ideals.

This means that $J$ is a graded sub-vector space that is closed under product by element in $A$ from either side, and closed under acting with the differential.

Last revised on September 25, 2009 at 18:24:09. See the history of this page for a list of all contributions to it.