SYM Paclet SymbolTutorials »|More About »

IdealQ

IdealQ[L, V]
gives True if the subset V is an ideal 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]}.
EXAMPLESCLOSE ALL
Basic Examples   (1)
In[1]:=
Click for copyable input
Let the Lie algebra:
In[2]:=
Click for copyable input
Out[2]=
By looking at its commutator table one can easily see that the Lie subalgera spanned by the first two basis of the algebra is an ideal.
In[3]:=
Click for copyable input
Out[3]=
Indeed,
In[4]:=
Click for copyable input
Out[4]=