Query[LeviDecomposition] - check that a pair of subalgebras define a Levi decomposition of a Lie algebra
Query([R, S], "LeviDecomposition")
R - a list of independent vectors in a Lie algebra 𝔤
S - a list of independent vectors in a Lie algebra 𝔤
A pair of subalgebras R, S in a Lie algebra 𝔤 define a Levi decomposition if R is the radical of 𝔤, S is a semi-simple subalgebra, and g = R ⊕ S (vector space direct sum). Since the radical is an ideal we have R,.R ⊂R, R, S ⊂R, and S, S ⊂S. The radical R is unique, the semisimple subalgebra S in a Levi decomposition is not.
Query([R, S], "LeviDecomposition") returns true if the pair R, S is a Levi decomposition of 𝔤 and false otherwise.
The command Query is part of the DifferentialGeometry:-LieAlgebras package. It can be used in the form Query(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-Query(...).
We initialize three different Lie algebras and print their multiplication tables.
| x1x2x3----------------x1| 00x1x2| 00x1+x2x3| −x1−x1−x20,| y1y2y3----------------y1| 0y1−2⁢y2y2| −y10y3y3| 2⁢y2−y30,| z1z2z3z4z5------------------------z1| 00−z2−z10z2| 000z2−z1z3| z2002⁢z3−z4z4| z1−z2−2⁢z302⁢z5z5| 0z1z4−2⁢z50
Alg1 is solvable and therefore the radical is the entire algebra.
Alg2 is semisimple and therefore the radical is the zero subalgebra.
Alg3 has a non-trivial Levi decomposition.
It is easy to see that in this last example the Levi decomposition is not unique. First we find the general complement to the radical R3 using the ComplementaryBasis program.
Next we determine for which values of the parameters k1, k2, k3, k4, k5, k6 for which he subspace SS0 is a Lie subalgebra. We find that k1=0, k2= k3, k4 = −k5, k6 =0.
Download Help Document
What kind of issue would you like to report? (Optional)