Differential graded algebra

Differential graded algebra

In mathematics, in particular abstract algebra and topology, a differential graded algebra is a graded algebra with an added chain complex structure that respects the algebra structure.

Contents


Definition

A differential graded algebra (or simply DGA) A is a graded algebra equipped with a map d\colon A \to A which is either degree 1 (cochain complex convention) or degree − 1 (chain complex convention) that satisfies two conditions:

(i) d \circ d=0
This says that d gives A the structure of a chain complex or cochain complex (accordingly as the differential reduces or raises degree).
(ii) d(a \cdot b)=(da) \cdot b + (-1)^{|a|}a \cdot (db).
This says that the differential d respects the graded Leibniz rule.

Examples of DGAs

  • The Koszul complex is a DGA.
  • The Tensor algebra is a DGA with differential similar to that of the Koszul complex.
  • The Singular cohomology with coefficients in a ring is a DGA; the differential is given by the Bockstein homomorphism, and the product given by the cup product.
  • Differential forms on a manifold, together with the exterior derivation and the wedge-product form a DGA.

Other facts about DGAs

  • The homology H * (A) = ker(d) / im(d) of a DGA (A,d) is a graded ring.

See also

References

  • Manin, Yuri Ivanovich; Gelfand, Sergei I. (2003), Methods of Homological Algebra, Berlin, New York: Springer-Verlag, ISBN 978-3-540-43583-9 , see chapter V.3

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Graded algebra — In mathematics, in particular abstract algebra, a graded algebra is an algebra over a field (or commutative ring) with an extra piece of structure, known as a gradation (or grading ). Graded rings A graded ring A is a ring that has a direct sum… …   Wikipedia

  • Differential graded category — In mathematics, especially homological algebra, a differential graded category or DG category for short, is a category whose morphism sets are endowed with the additional structure of a differential graded Z module. In detail, this means that… …   Wikipedia

  • Differential algebra — In mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with a derivation, which is a unary function that is linear and satisfies the Leibniz product law. A natural example of a… …   Wikipedia

  • Graded Lie algebra — In mathematics, a graded Lie algebra is a Lie algebra endowed with a gradation which is compatible with the Lie bracket. In other words, a graded Lie algebra is a Lie algebra which is also a nonassociative graded algebra under the bracket… …   Wikipedia

  • Differential calculus over commutative algebras — In mathematics the differential calculus over commutative algebras is a part of commutative algebra based on the observation that most concepts known from classical differential calculus can be formulated in purely algebraic terms. Instances of… …   Wikipedia

  • Differential form — In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a better[further explanation needed] definition… …   Wikipedia

  • Differential ideal — In the theory of differential forms, a differential ideal I is an algebraic ideal in the ring of smooth differential forms on a smooth manifold, in other words a graded ideal in the sense of ring theory, that is further closed under exterior… …   Wikipedia

  • Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… …   Wikipedia

  • Derivation (abstract algebra) — In abstract algebra, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra A over a ring or a field K, a K derivation is a K linear map D: A → A that… …   Wikipedia

  • Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”