PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (230)
Orphanage
Unclass'd
Unproven (519)
Corrections (16)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] Lie algebras from other algebras (Example)

Lie algebras from associative algebras

Given an associative (unital) algebra $ A$ over a commutative ring $ R$, we define $ A^-$ as the $ R$-module $ A$ together with a new multiplication $ [,]:A\times A\rightarrow A$ derived from the associative multiplication as follows:

$\displaystyle [a,b]=ab-ba.$
This operation is commonly called the commutator bracket on $ A$.
Proposition 1   $ A^-$ is a Lie algebra.
Proof. We already know $ A^-$ is a module so we need simply to confirm that the commutator bracket is a bilinear mapping and then demonstrate that it is alternating and satisfies the Jacobi identity.

Given $ a,b,c\in A$, and $ l\in R$ then

$\displaystyle [la+b,c]=(la+b)c-c(la+b)=l(ac-ca)+(bc-cb)=l[a,c]+[b,c].$
The similar argument in the second variable shows that the operation is bilinear.

Next, $ [x,x]=xx-xx=0$ so $ [,]$ is alternating. Finally for the Jacobi identity we compute directly.

\begin{multline*}[[a,b],c]+[[b,c],a]+[[c,a],b] = (ab-ba)c-c(ab-ba)+(bc-cb)a-a(bc... ...b(ca-ac)\ = abc-bac-cab+cba+bca-cba-abc+acb+cab-acb-bca+bac=0. \end{multline*}

$ \qedsymbol$

We notice this produces a functor from the category of associative algebras to the category of Lie algebras. However, to every commutative algebra $ A$, $ A^-$ is a trivial Lie algebra, and so this functor is not faithful. More generally, the center of an arbitrary associative algebra $ A$ is lost to the Lie algebra structure $ A^-$.

We do observe some relationships between the algebraic structure of $ A$ and that of $ A^-$.

Theorem 2   If $ I\normaleq A$ then $ I\normal A^-$.
Proof. We observe that a submodule of $ A$ is a submodule of $ A^-$ as the two are identitcal as modules. It remains to show $ [I,A^-]\leq I$. So given $ a\in I$ and $ b\in A$, then $ [a,b]=ab-ba$ and as $ ab,ba\in I$ we conclude $ [a,b]\in I$. $ \qedsymbol$

Associative envelopes

Given a Lie algebra $ \mathfrak{g}$ it is often desirable to reverse the process described above, that is, to provide an associative algebra $ A$ for which $ \mathfrak{g}=A^-$. In general this is impossible as we will now explain.

Let $ V$ be a vector space and $ A$ the endomorphism algebra on $ V$. Then we give the name $ \mathfrak{gl}(V)$ to the Lie algebra $ A^-$ (noting that $ A$ is associative under the composition of functions operation.) Then we can also define a subalgebra $ \mathfrak{sl}(V)$ as the set of linear transformations with trace 0.

Now we claim that $ \mathfrak{sl}_2(\mathbb{C})$ is not equal to $ B^-$ for any associative (unital) algebra $ B$. For it is easy to see $ \mathfrak{sl}_2(\mathbb{C})$ has a basis of three elements:

$\displaystyle e=\begin{bmatrix}0 & 1\\ 0 & 0\end{bmatrix},\qquad h=\begin{bmatr... ...& 0 \\ 0 & -1\end{bmatrix},\qquad f=\begin{bmatrix}0 & 0 \\ 1 & 0\end{bmatrix}.$
Therefore $ B$ would also be 3-dimensional. We also know that $ \mathfrak{sl}_2(\mathbb{C})$ is a simple Lie algebra, that is, it has no proper ideals. Therefore by Theorem 2, $ B$ can have no ideals either, so $ B$ must be simple. However the finite dimensional simple rings over $ \mathbb{C}$ are isomorphic to matrix rings (by the Wedderburn-Artin theorem) $ M_n(\mathbb{C})$ and thus cannot have dimension 3.

This forces the weaker question as to whether a Lie algebra can be embedded in $ A^-$ for some associative algebra $ A$. We call such embeddings associative envelopes of the Lie aglebra. The existence of associative envelopes of arbitrary Lie algebras is answered by a corollary to the Poincare-Birkhoff-Witt theorem.

Theorem 3   Every Lie algebra $ \mathfrak{g}$ embeds in the universal enveloping algebra $ \mathfrak{U(g)}^-$, where $ \mathfrak{U(g)}$ is an associative algebra.

Finite dimensional analogues also exist, some of which are simpler to observe. For instance, a Lie aglebra $ \mathfrak{g}$ can be represented in $ \mathfrak{gl(g)}$ by the adjoint representation. The representation is not faithful unless the center of $ \mathfrak{g}$ is trivial. However, for semi-simple Lie algebras, the adjoint representation thus suffices as an associative envelope.

Remark 4   This result is in contrast to Jordan algebras where there are isomorphism types (for example $ 3\times 3$ matrices over the octonions) which cannot be embedded in $ A^+$ for any associative algebra $ A$. [$ A^+$ is the derived algebra of $ A$ under the product $ a.b=ab+ba$.]

Lie algebra from non-associative algebras

If $ A$ is not an associative algebra to begin with then we may still determine the commutator bracket is bilinear and alternating. However, the Jacobi identity is in question. If we define the associator bracket as $ [a,b,c]=(ab)c-a(bc)$ then we can write the computation for the Jacobi identity as:

\begin{multline*}[[a,b],c]+[[b,c],a]+[[c,a],b] = (ab-ba)c-c(ab-ba)+(bc-cb)a-a(bc... ...c)b-a(cb))\ = [a,b,c]+[b,c,a]+[c,a,b]-[b,a,c]-[c,b,a]-[a,c,b]. \end{multline*}

We can write this right hand side using permutations on the set $ \{a,b,c\}$ as:
$\displaystyle \sum_{\sigma\in{\mathrm{Alt}}(\{a,b,c\})} [[a\sigma,b\sigma],c\si... ...{\mathrm{Sym}}(\{a,b,c\})} {\mathrm{sign}}(\sigma)[a\sigma, b\sigma, c\sigma]. $
That is, in a non-associative algebra the corresponding Jacobi identity is the possibly non-trivial sum over all permutations of associators. We consider a few non-associative examples.
  • If $ A$ is a commutative non-associative algebra (perhaps a Jordan algebra) then
    $\displaystyle [a,b,c]=(ab)c-a(bc)=(ba)c-(bc)a=c(ba)-(cb)a=[c,b,a]$
    so the Jacobi identity holds. However, if $ A$ is commutative then $ [a,b]=0$ to begin with so the associated Lie algebra product is trivial.
  • If $ A$ is an alternative algebra, so $ [a,b,c]=-[b,a,c]$, then again the Jacobi identity holds. So $ A^-$ 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 $ A$ and producing $ A^-$. To avoid confusing the bracket of $ A$ and that of $ A^-$ we let the multiplication of $ A$ be denoted by juxtaposition, $ ab$, $ a,b\in A$. Recall that in a Lie algebra of characteristic 0 or odd then $ ab=-ba$ so that $ [a,b]=ab-ba=2ab$ in $ A^-$. So we have simply scaled the original product of $ A$ by $ 2$. To see the Jacobi identity still holds we note
    $\displaystyle [a,b,c]=(ab)c-a(bc)=-(ba)c+(bc)a=c(ba)-(cb)a=[c,b,a].$
    So once again the associators cancel.



"Lie algebras from other algebras" is owned by Algeboy.
(view preamble)

View style:

See Also: algebra classification

Also defines:  associative envelope
Keywords:  Lie algebra, associative envelope, universal enveloping algebra

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: odd, characteristic, juxtaposition, octonion algebras, alternative algebra, non-associative, sum, non-associative algebra, permutations, right hand side, CA, associator, product, octonions, matrices, types, Jordan algebras, semi-simple Lie algebras, representation, adjoint representation, universal enveloping algebra, Poincare-Birkhoff-Witt theorem, embeddings, forces, dimension, Wedderburn-Artin theorem, matrix rings, isomorphic, simple rings, finite dimensional, simple, ideals, proper ideals, simple Lie algebra, basis, easy to see, trace, linear transformations, subalgebra, functions, composition, endomorphism, vector space, submodule, algebraic structure, structure, center, faithful, commutative, category, functor, bilinear, variable, argument, similar, Jacobi identity, alternating, bilinear mapping, module, Lie algebra, commutator bracket, operation, multiplication, commutative ring, algebra, unital, associative
There are 2 references to this entry.

This is version 5 of Lie algebras from other algebras, born on 2007-01-26, modified 2007-02-20.
Object id is 8825, canonical name is LieAlgebrasFromAssociativeAlgebras.
Accessed 1145 times total.

Classification:
AMS MSC: 17B99 (Nonassociative rings and algebras :: Lie algebras and Lie superalgebras :: Miscellaneous)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)