Supercommutative algebra
From Free net encyclopedia
In mathematics, a supercommutative algebra is a superalgebra (i.e. a Z2-graded algebra) such that for any two homogeneous elements x, y we have
- <math>yx = (-1)^{|x||y|}xy.\,</math>
Equivalently, it is a superalgebra where the supercommutator
- <math>[x,y] = xy - (-1)^{|x||y|}yx\,</math>
always vanishes. Algebraic structures which supercommute in the above sense are sometimes referred to as graded-commutative or, if the supercommutativity is understood, simply commutative.
Any commutative algebra is a supercommutative algebra if given the trivial gradation (i.e. all elements are even). Grassmann algebras (also known as exterior algebras) are the most common examples of nontrivial supercommutative algebras. The supercenter of any superalgebra is a supercommutative algebra.
The even subalgebra of a supercommutative algebra is always a commutative algebra. That is, even elements always commute. Odd elements, on the other hand, always anticommute. That is,
- <math>xy + yx = 0,\quad x^2=0</math>
for odd x and y. In particular, the square of any odd element always vanishes. Thus any nontrivial commutative superalgebra contains nilpotents.