Differential graded algebra
A differential graded algebra (or simply DG-algebra) A is a graded algebra equipped with a map which is either degree 1 (cochain complex convention) or degree (chain complex convention) that satisfies two conditions:
A more succinct (but esoteric) way to state the same definition is to say that a DG-algebra is a monoid object in the monoidal category of chain complexes. A DG morphism between DG-algebras is a graded algebra homomorphism which respects the differential d.
A differential graded augmented algebra (also called a DGA-algebra, an augmented DG-algebra or simply a DGA) is a DG-algebra equipped with a DG morphism to the ground ring (the terminology is due to Henri Cartan).
Warning: some sources use the term DGA for a DG-algebra.
Examples of DG-algebras
- The Koszul complex is a DG-algebra.
- The tensor algebra is a DG-algebra with differential similar to that of the Koszul complex.
- The singular cohomology of a topological space with coefficients in is a DG-algebra: the differential is given by the Bockstein homomorphism associated to the short exact sequence , and the product is given by the cup product.
- Differential forms on a manifold, together with the exterior derivation and the wedge product form a DG-algebra. See also de Rham cohomology.
Other facts about DG-algebras
- Cartan, Henri (1954). "Sur les groupes d'Eilenberg-Mac Lane ". Proceedings of the National Academy of Sciences of the United States of America. 40: 467–471.