In algebra, a graded-commutative ring is a graded ring that is commutative in the graded sense; that is, homogeneous elements x, y satisfy x y = | x | | y | y x, {\displaystyle xy=^{|x||y|}yx,} where |x | and |y | denote the degrees of x and y. Wikipedia