HOME

TheInfoList



OR:

In algebra, a differential graded module, or dg-module, is a \mathbb- graded module together with a differential; i.e., a square-zero graded endomorphism of the module of degree 1 or −1, depending on the convention. In other words, it is a chain complex having a structure of a module, while a
differential graded algebra In mathematics, in particular abstract algebra and topology, a differential graded algebra is a graded associative algebra with an added chain complex structure that respects the algebra structure. __TOC__ Definition A differential graded alg ...
is a chain complex with a structure of an algebra. In view of the module-variant of Dold–Kan correspondence, the notion of an \mathbb_0-graded dg-module is equivalent to that of a simplicial module; "equivalent" in the categorical sense; see below.


The Dold–Kan correspondence

Given a
commutative ring In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not sp ...
''R'', by definition, the category of
simplicial module In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
s are simplicial objects in the category of ''R''-modules; denoted by ''s''Mod''R''. Then ''s''Mod''R'' can be identified with the category of differential graded modules which vanish in negative degrees via the Dold-Kan correspondence.


See also

* Differential graded Lie algebra


References

* *
Henri Cartan Henri Paul Cartan (; 8 July 1904 – 13 August 2008) was a French mathematician who made substantial contributions to algebraic topology. He was the son of the mathematician Élie Cartan, nephew of mathematician Anna Cartan, oldest brother of co ...
, Samuel Eilenberg, ''Homological algebra'' *
Available online
{{algebra-stub Algebra