SimpleAlgebraQ

SimpleAlgebraQ[L]
gives True if the Lie algebra L is 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 simple if it contains no non trivial ideals.