Given a Lie algebra L, return the centre of L.
Given a Lie algebra L and a subalgebra K of L, return the centralizer of K in L.
Given a Lie algebra L and a subalgebra K of L, return the normalizr of K in L.
Given a Lie algebra L, return the solvable radical of L.
Given a Lie algebra L, return the nilradical of L.
> L := SimpleLieAlgebra("D", 4, RationalField()); > L; Lie Algebra of dimension 28 with base ring Rational Field > Centre(L); Lie Algebra of dimension 0 with base ring Rational Field > K := sub< L | [L.1, L.2, L.3] >; > Centralizer(L, K); Lie Algebra of dimension 10 with base ring Rational Field > Normalizer(L, K); Lie Algebra of dimension 19 with base ring Rational Field > M := Centralizer(L, K); > S := SolvableRadical(M); > S; Lie Algebra of dimension 10 with base ring Rational Field > Morphism(S, L); [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 -1 0 0 -1 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0] > NilRadical(M); Lie Algebra of dimension 9 with base ring Rational Field