Graded-commutative

☆ Save On Wikipedia ↗

In algebra, a graded-commutative ring (also called a skew-commutative ring) is a graded ring that is commutative in the graded sense; that is, homogeneous elements x, y satisfy

x y = ( − 1 ) | x | | y | y x , {\displaystyle xy=(-1)^{|x||y|}yx,} {\displaystyle xy=(-1)^{|x||y|}yx,}

where |x| and |y| denote the degrees of x and y.

A commutative (non-graded) ring, with trivial grading, is a basic example. For a nontrivial example, an exterior algebra is generally not a commutative ring but is a graded-commutative ring.

A cup product on cohomology satisfies the skew-commutative relation; hence, a cohomology ring is graded-commutative. In fact, many examples of graded-commutative rings come from algebraic topology and homological algebra.

References

See also