SUPERALGEBRA

In mathematics and theoretical physics, a 'superalgebra' over a field ''K'' is another name for a 'Z'₂-graded algebra over ''K''. Specifically, a superalgebra is a super vector space ''A'' = ''A''₀ ⊕ ''A''₁ over ''K'' together with a bilinear multiplication
:$Aotimes\; A$
ightarrow A
which is an even morphism of super vector spaces. This means that
:$A\_iA\_j\; sube\; A\_\{i+j\}$
where the subscripts are read modulo 2.
Most classes of algebras have a "superanalog". Examples include associative superalgebras and Lie superalgebras.
As is true of their ungraded counterparts, associative superalgebras are often assumed to be unital, and in that case, the identity element is necessarily even.

Contents

Further definitions

Examples

Further definitions

The ''even subalgebra'' of a superalgebra ''A'' is the homogeneous subalgebra ''A''₀ spanned by the even elements. It forms an ordinary algebra over ''K''. By contrast, the odd subspace ''A''₁ does not form a subalgebra since the product of any two odd elements is even.
A commutative superalgebra is one which satisfies a graded version of commutativity. Specifically, ''A'' is commutative if
:$yx\; =\; (-1)^$xy.,
for all homogeneous elements ''x'' and ''y'' of ''A''. The ''supercenter'' of ''A'' is the span of all homogeneous elements ''x'' which supercommute with all elements of ''A'' in the above sense. A commutative superalgebra is one whose supercenter is all of ''A''. The supercenter of ''A'' is, in general, different than the center of ''A'' as an ungraded algebra.

Examples

★ Any 'Z' or 'N'-graded algebra may be regarded as superalgebra by reading the grading modulo 2. This includes examples such as tensor algebras and polynomial rings over ''K''.

★ In particular, any exterior algebras over ''K'' is a superalgebra. The exterior algebra is the standard example of a supercommutative algebra.

★ Clifford algebras are (noncommutative) superalgebras.

★ The set of all endomorphisms (both even and odd) of a super vector space forms a superalgebra under composition.

★ The set of all square supermatrices with entries in ''K'' forms a superalgebra denoted by ''M''_''p''|''q''(''K''). This algebra may be identified with the algebra of endomorphisms of a super vector space of dimension ''p''|''q''.

★ The graded tensor product of two superalgebras may be regarded as a superalgebra with a multiplication rule determined by:

★ :$(a\_1otimes\; b\_1)(a\_2otimes\; b\_2)\; =\; (-1)^$(a_1a_2otimes b_1b_2).

★ Lie superalgebras are a graded analog of Lie algebras. Lie superalgebras are nonunital and nonassociative; however, one may construct the analog of a universal enveloping algebra of a Lie superalgebra which is a unital, associative superalgebra.