[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Decomposition

Decomposition

DirectSumDecomposition(L) : AlgLie -> [ AlgLie ]
Given a Lie algebra L, return the direct sum decomposition of L as a sequence of ideals of L whose sum is L and each of which cannot be further decomposed into a direct sum of ideals.

Example AlgLie_DirectSumDecomposition (H49E6)

We compute the direct sum decomposition of the simple Lie algebra of type D_2 over the rational field.

> L := SimpleLieAlgebra("D", 2, RationalField());
> L;
Lie Algebra of dimension 6 with base ring Rational Field
> D := DirectSumDecomposition(L);
> D;
[
    Lie Algebra of dimension 3 with base ring Rational Field,
    Lie Algebra of dimension 3 with base ring Rational Field
]
> Morphism(D[1], L); 
[ 0  1  0  0  0  0]
[ 0  0  1 -1  0  0]
[ 0  0  0  0  1  0]
> Morphism(D[2], L);
[1 0 0 0 0 0]
[0 0 1 1 0 0]
[0 0 0 0 0 1]

[Next] [Prev] [Right] [Left] [Up] [Index] [Root]