SubalgebraQ[L, V]
gives True if the subset V is a subalgebra of the Lie algebra L 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]}.