Lie algebras from other algebras
1 Lie algebras from associative algebras
Given an associative (unital) algebra over a commutative ring , we define as the -module together with a new multiplication derived from the associative multiplication as follows:
This operation is commonly called the commutator bracket on .
Proposition 1.
is a Lie algebra.
Proof.
We already know is a module so we need simply to confirm that the commutatorbracket is a bilinear mapping and then demonstrate that it is alternating and satisfies the Jacobi identity.
Given , and then
The similar argument
in the second variable shows that the operation isbilinear.
Next, so is alternating. Finally for the Jacobiidentity we compute directly.
∎
We notice this produces a functor from the category
of associative algebrasto the category of Lie algebras. However, to every commutative algebra, is a trivial Lie algebra, and so this functor is not faithful
.More generally, the center of an arbitrary associative algebra is lostto the Lie algebra structure
.
We do observe some relationships between the algebraic structure of andthat of .
Theorem 2.
If then .
Proof.
We observe that a submodule of is a submodule of as the two areidentitcal as modules. It remains to show . So given and , then and as we conclude.∎
2 Associative envelopes
Given a Lie algebra it is often desirable to reverse the processdescribed above, that is, to provide an associative algebra for which. In general this is impossible as we will now explain.
Let be a vector space and the endomorphism
algebra on . Then wegive the name to the Lie algebra (noting that isassociative under the composition of functions operation.) Then we can alsodefine a subalgebra
as the set of linear transformationswith trace 0.
Now we claim that is not equal to for any associative (unital) algebra . For it is easy to see has a basis ofthree elements:
Therefore would also be 3-dimensional. We also know that is a simple Lie algebra, that is, it has noproper ideals
. Therefore by Theorem 2, can have noideals either, so must be simple. However the finite dimensionalsimple rings
over are isomorphic to matrix rings (by the Wedderburn-Artin theorem) and thus cannot have dimension
3.
This forces the weaker question as to whether a Lie algebra can be embeddedin for some associative algebra . We call such embeddings associative envelopes of the Lie aglebra. The existence of associativeenvelopes of arbitrary Lie algebras is answered by a corollaryto the Poincare-Birkhoff-Witt theorem
.
Theorem 3.
Every Lie algebra embeds in the universal enveloping algebra , where is an associative algebra.
Finite dimensional analogues also exist, some of which are simpler toobserve. For instance, a Lie aglebra can be represented in by the adjoint representation. The representation isnot faithful unless the center of is trivial. However,for semi-simple Lie algebras, the adjoint representation thus sufficesas an associative envelope.
Remark 4.
This result is in contrast to Jordan algebras where there are isomorphism
types (for example matrices over the octonions) which cannot be embeddedin for any associative algebra . [ is the derived algebraof under the product
.]
2.1 Lie algebra from non-associative algebras
If is not an associative algebra to begin with then we may still determinethe commutator bracket is bilinear and alternating. However, the Jacobiidentity is in question. If we define the associator bracket as then we can write the computation for the Jacobiidentity as:
We can write this right hand side using permutations on the set as:
That is, in a non-associative algebra the corresponding Jacobi identityis the possibly non-trivial sum over all permutations of associators.We consider a few non-associative examples.
- •
If is a commutative
non-associative algebra (perhaps a Jordan algebra) then
so the Jacobi identity holds. However, if is commutativethen to begin with so the associated Lie algebra product istrivial.
- •
If is an alternative algebra
, so , then againthe Jacobi identity holds. So is a Lie algebra. The typicall non-associative examples of an alternative algebra are the octonion algebras.These produce a non-trivial Lie algebra.
- •
We can also consider beginning with a Lie algebra and producing. To avoid confusing the bracket of and that of we let themultiplication of be denoted by juxtaposition, , . Recallthat in a Lie algebra of characteristic
0 or odd then so that in . So we have simply scaled the original productof by . To see the Jacobi identity still holds we note
So once again the associators cancel.