Superalgebra
From Wikipedia, the free encyclopedia
In mathematics and theoretical physics, a superalgebra over a field K is another name for a Z2-graded algebra over K. Specifically, a superalgebra is a super vector space A = A0 ⊕ A1 over K together with a bilinear multiplication
which is an even morphism of super vector spaces. This means that
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.
[edit] Further definitions
The even subalgebra of a superalgebra A is the homogeneous subalgebra A0 spanned by the even elements. It forms an ordinary algebra over K. By contrast, the odd subspace A1 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
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.
[edit] 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 Mp|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:
- 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.
