SYM Paclet Symbol

SolvableAlgebraQ

SolvableAlgebraQ[L]
gives True if the Lie algebra L is solvable and False otherwise.

To use SolvableAlgebraQ, you first need to load the SYM Package using Needs["SYM`"].

The Lie algebra L can be provided either from their structure constants or their infinitesimal generator representation.

A Lie algebra L is solvable when the chain of ideals L[L, L][[L, L], [L, L]]... terminates to the null set.

Let the Lie algebra:

This is not a solvable algebra

Let the Lie algebra:

it is evident from its commutator table that it is solvable

Indeed,