algebra Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary ...

, a graded-commutative ring (also called a skew-commutative ring) is a graded ring that is commutative in the graded sense; that is,

homogeneous element In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups R_i such that R_i R_j \subseteq R_. The index set is usually the set of nonnegative integers or the ...

s ''x'', ''y'' satisfy :

xy = (-1)^ yx,

where , ''x'' , and , ''y'' , denote the degrees of ''x'' and ''y''. A commutative (non-graded) ring, with trivial grading, is a basic example. An

exterior algebra In mathematics, the exterior algebra, or Grassmann algebra, named after Hermann Grassmann, is an algebra that uses the exterior product or wedge product as its multiplication. In mathematics, the exterior product or wedge product of vectors is a ...

is an example of a graded-commutative ring that is not

commutative In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name of ...

in the non-graded sense. A

cup product In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree ''p'' and ''q'' to form a composite cocycle of degree ''p'' + ''q''. This defines an associative (and distributive) graded commutati ...

cohomology In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be view ...

satisfies the skew-commutative relation; hence, a

cohomology ring In mathematics, specifically algebraic topology, the cohomology ring of a topological space ''X'' is a ring formed from the cohomology groups of ''X'' together with the cup product serving as the ring multiplication. Here 'cohomology' is usually un ...

is graded-commutative. In fact, many examples of graded-commutative rings come from

algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify ...

and

homological algebra Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topolo ...

References

David Eisenbud David Eisenbud (born 8 April 1947 in New York City) is an American mathematician. He is a professor of mathematics at the University of California, Berkeley and Director of the Mathematical Sciences Research Institute (MSRI); he previously serve ...

, ''Commutative Algebra. With a view toward algebraic geometry'',

Graduate Texts in Mathematics Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard ...

, vol 150,

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...

, New York, 1995. *

References

See also