Query[Indecomposable] - check if a Lie algebra is decomposable as a direct sum of Lie algebras over the real numbers
Query[AbsolutelyIndecomposable] - check if a Lie algebra is decomposable as a direct sum of Lie algebras over the complex numbers
Alg - (optional) the name of an initialized Lie algebra or a Lie algebra data structure
A collection of subalgebras S1 ,S2, ... of a Lie algebra 𝔤 defines a direct sum decomposition of 𝔤 if 𝔤 = S1⊕S2 ⊕ ⋅⋅⋅ (vector space direct sum) and Si, Sj = 0 for i≠ j.
Query(Alg, "Indecomposable") returns false if the Lie algebra Alg is decomposable as a direct sum of Lie algebras over the real numbers, otherwise true is returned.
Query(Alg, "AbsolutelyIndecomposable") returns false if the Lie algebra Alg is decomposable as a direct sum of Lie algebras over the complex numbers, otherwise true is returned.
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(...).
In this example we illustrate the fact that the result of Inquiry("Indecomposable") does not depend upon the choice of basis for the Lie algebra. First we initialize a Lie algebra.
Now we make a change of basis in the Lie algebra. In this basis it is not possible to see that the Lie algebra is decomposable by examining the multiplication table.
Both Alg1 and Alg2 are seen to be decomposable.
Here is the simplest example of a solvable Lie algebra which is absolutely decomposable but not decomposable. First we initialize the Lie algebra and display the multiplication table.
The algebra is indecomposable over the real numbers.
The algebra is decomposable over the complex numbers.
The explicit decomposition of this Lie algebra is given in the help page for the command Decompose.
Download Help Document
What kind of issue would you like to report? (Optional)