请输入您要查询的字词:

 

单词 LieAlgebrasFromOtherAlgebras
释义

Lie algebras from other algebras


1 Lie algebras from associative algebras

Given an associative (unital) algebraMathworldPlanetmathPlanetmathPlanetmath A over a commutative ring R, we define A- as the R-module A together with a new multiplication [,]:A×AA derived from the associative multiplication as follows:

[a,b]=ab-ba.

This operationMathworldPlanetmath is commonly called the commutator bracket on A.

Proposition 1.

A- is a Lie algebraMathworldPlanetmath.

Proof.

We already know A- 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 identityMathworldPlanetmath.

Given a,b,cA, and lR then

[la+b,c]=(la+b)c-c(la+b)=l(ac-ca)+(bc-cb)=l[a,c]+[b,c].

The similarPlanetmathPlanetmath argumentPlanetmathPlanetmath in the second variable shows that the operation isbilinear.

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

[[a,b],c]+[[b,c],a]+[[c,a],b]=(ab-ba)c-c(ab-ba)+(bc-cb)a-a(bc-cb)+(ca-ac)b-b(ca-ac)=abc-bac-cab+cba+bca-cba-abc+acb+cab-acb-bca+bac=0.

We notice this produces a functorMathworldPlanetmath from the categoryMathworldPlanetmath of associative algebrasto the category of Lie algebras. However, to every commutative algebraA, A- is a trivial Lie algebra, and so this functor is not faithfulPlanetmathPlanetmathPlanetmath.More generally, the center of an arbitrary associative algebra A is lostto the Lie algebra structureMathworldPlanetmath A-.

We do observe some relationships between the algebraic structurePlanetmathPlanetmath of A andthat of A-.

Theorem 2.

If IA then IA-.

Proof.

We observe that a submoduleMathworldPlanetmath of A is a submodule of A- as the two areidentitcal as modules. It remains to show [I,A-]I. So givenaI and bA, then [a,b]=ab-ba and as ab,baI we conclude[a,b]I.∎

2 Associative envelopes

Given a Lie algebra 𝔤 it is often desirable to reverse the processdescribed above, that is, to provide an associative algebra A for which𝔤=A-. In general this is impossible as we will now explain.

Let V be a vector spaceMathworldPlanetmath and A the endomorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmath algebra on V. Then wegive the name 𝔤𝔩(V) to the Lie algebra A- (noting that A isassociative under the composition of functions operation.) Then we can alsodefine a subalgebraMathworldPlanetmathPlanetmath 𝔰𝔩(V) as the set of linear transformationswith trace 0.

Now we claim that 𝔰𝔩2() is not equal to B- for any associative (unital) algebra B. For it is easy to see 𝔰𝔩2() has a basis ofthree elements:

e=[0100],h=[100-1],f=[0010].

Therefore B would also be 3-dimensional. We also know that 𝔰𝔩2() is a simple Lie algebraMathworldPlanetmath, that is, it has noproper idealsMathworldPlanetmath. Therefore by Theorem 2, B can have noideals either, so B must be simple. However the finite dimensionalsimple ringsMathworldPlanetmath over are isomorphic to matrix rings (by the Wedderburn-Artin theorem)Mn() and thus cannot have dimensionPlanetmathPlanetmath 3.

This forces the weaker question as to whether a Lie algebra can be embeddedin A- for some associative algebra A. We call such embeddingsPlanetmathPlanetmath associative envelopes of the Lie aglebra. The existence of associativeenvelopes of arbitrary Lie algebras is answered by a corollaryto the Poincare-Birkhoff-Witt theoremMathworldPlanetmath.

Theorem 3.

Every Lie algebra g embeds in the universal enveloping algebra U(g)-, where U(g) 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 representationMathworldPlanetmath. 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 algebrasMathworldPlanetmathPlanetmath where there are isomorphismMathworldPlanetmathPlanetmathPlanetmath types (for example 3×3 matrices over the octonions) which cannot be embeddedin A+ for any associative algebra A. [A+ is the derived algebraof A under the productMathworldPlanetmathPlanetmath a.b=ab+ba.]

2.1 Lie algebra from non-associative algebras

If A 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 associatorMathworldPlanetmath bracket as [a,b,c]=(ab)c-a(bc) then we can write the computation for the Jacobiidentity as:

[[a,b],c]+[[b,c],a]+[[c,a],b]=(ab-ba)c-c(ab-ba)+(bc-cb)a-a(bc-cb)+(ca-ac)b-b(ca-ac)=(ab)c-(ba)c-c(ab)+c(ba)+(bc)a-(cb)a-a(bc)+a(cb)+(ca)b-(ac)b-b(ca)+b(ac)=((ab)c-a(bc))+((bc)a-b(ca))+((ca)b-c(ab))-((ba)c-b(ac))-((cb)a-c(ba))-((ac)b-a(cb))=[a,b,c]+[b,c,a]+[c,a,b]-[b,a,c]-[c,b,a]-[a,c,b].

We can write this right hand side using permutations on the set {a,b,c}as:

σAlt({a,b,c})[[aσ,bσ],cσ]=[a,b],c]+[[b,c],a]+[[c,a],b]=σSym({a,b,c})sign(σ)[aσ,bσ,cσ].

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 A is a commutativePlanetmathPlanetmathPlanetmath non-associative algebra (perhaps a Jordan algebra) then

    [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 commutativethen [a,b]=0 to begin with so the associated Lie algebra product istrivial.

  • If A is an alternative algebraMathworldPlanetmath, so [a,b,c]=-[b,a,c], then againthe 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 producingA-. To avoid confusing the bracket of A and that of A- we let themultiplication of A be denoted by juxtaposition, ab, a,bA. Recallthat in a Lie algebra of characteristicPlanetmathPlanetmath 0 or odd then ab=-ba so that[a,b]=ab-ba=2ab in A-. So we have simply scaled the original productof A by 2. To see the Jacobi identity still holds we note

    [a,b,c]=(ab)c-a(bc)=-(ba)c+(bc)a=c(ba)-(cb)a=[c,b,a].

    So once again the associators cancel.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 10:16:03