Query[DirectSumDecomposition] - check if a list of subalgebras defines a direct sum decomposition of a Lie algebra
Calling Sequences
Query([S1, S2, ...], "DirectSumDecomposition")
Query(B, [d1, d2, ...], "DirectSumDecomposition")
Parameters
S1 - a list of independent vectors defining a subalgebra of a Lie algebra g
B - a list of vectors defining a basis for g
d1 - a sequence of positive integers whose sum equals the dimension of the Lie algebra g
|
Description
|
|
•
|
A collection of subalgebras S1, S2, ... of a Lie algebra g defines a direct sum decomposition of g if g = S1 + S2 + ... (vector space direct sum) and [Si, Sj] = 0 for i <> j.
|
•
|
Query([S1, S2, ... ], "DirectSumDecomposition") returns true if the subspaces S1, S2, ... define a direct sum decomposition of the Lie algebra g.
|
•
|
Query(B, [d1, d2, ... ], "DirectSumDecomposition") returns true if the first d1 vectors in B, the second d2 in B, ... define a direct sum decomposition of g.
|
•
|
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(...).
|
|
|
Examples
|
|
>
|
|
Example 1.
First initialize a Lie algebra and display the Lie bracket multiplication table. One can see from the multiplication table that this Lie algebra is a direct sum of the subalgebras S1 = [e1, e2, e3], S2 = [e4, e5] and S3 = [e6]. We verify this using Query.
>
|
|
>
|
|
Alg1 >
|
|
| (2.1) |
Alg1 >
|
|
| (2.2) |
Alg1 >
|
|
| (2.3) |
Define B to be a basis for the Lie algebra which is adapted to the direct sum decomposition.
Alg1 >
|
|
Alg1 >
|
|
| (2.4) |
Alg1 >
|
|
| (2.5) |
|
|