SYM Paclet Symbol

AbelianQ

AbelianQ[L]
gives True if the Lie algebra L is abelian and False otherwise.

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

Let the Lie algebra

obviously this is an abelian one. Indeed,

Let the Lie algebra

it is evident from its commutator table that it is abelian:

Indeed,