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

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

Revised on September 25, 2009 18:24:09 by Zoran Škoda (