LieAlgebras[Complexify] find the complexification of a Lie algebra - Maple Help

Online Help

All Products    Maple    MapleSim

Home : Support : Online Help : Mathematics : DifferentialGeometry : LieAlgebras : DifferentialGeometry/LieAlgebras/Complexify

LieAlgebras[Complexify] find the complexification of a Lie algebra

Calling Sequences

     Complexify(AlgName1, AlgName2)


     AlgName1  - name or string, the name of a Lie algebra g

     AlgName2  - name or string, the name for the complexification of g



The complexification of a real Lie algebra 𝔤 of dimension n is a real Lie algebra of dimension 2n.  If e1, e2, ..., en is a basis for 𝔤, then e1, e2, ... , en, Ie1, Ie2, ... , Ien, where I2 = 1, is a basis for the complexification of 𝔤,


Complexify(AlgName1, AlgName2) calculates the complexification of the Lie algebra g defined by AlgName1.


A Lie algebra data structure is returned for the complexified Lie algebra with name AlgName2. The structure equations for the complexification are displayed. (A Lie algebra data structure contains the structure constants of a Lie algebra in a standard format used by the LieAlgebras package).


The command Complexify is part of the DifferentialGeometry:-LieAlgebras package. It can be used in the form Complexify(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-Complexify(...).




Example 1.

First we initialize a Lie algebra and then display its multiplication table.




We complexify Alg1 and call the result Alg2.

Alg1 > 



Alg1 > 



We note that the original Lie algebra [e1, e2, e3], as a subalgebra of its complexification, admits a symmetric complement.

Alg2 > 




See Also

DifferentialGeometry, LieAlgebras, Query[SymmetricPair]

Download Help Document

Was this information helpful?

Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam