SemiSimpleAlgebraQ

SemiSimpleAlgebraQ[L]
gives True if the Lie algebra L is semi-simple and False otherwise.
  • The Lie algebra L and its subalgebras can be provided either from their structure constants or their infinitesimal generator representation. When providing the Lie algebra L with its structure constants denote the elements of the subspaces by using the symbol X, e.g. {X[1], X[4]}.
  • A Lie algebra is semi-simple if it contains no non-zero abelian ideals.