Sym Paclet SymbolTutorials »|See Also »|More About »

QuotientAlgebra

QuotientAlgebra[L, I]
gives the structure constants of the quotient alebgra L/I.
  • The Lie algebra L and the subalgebra I 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]}.
  • The command checks if the supplied subalgebra I is indeed an ideal of the Lie algebra L.
  • If the null ideal is given ({}) then the structure constants of the initial Lie algebra will be returned.
EXAMPLESCLOSE ALL
Basic Examples   (2)
In[1]:=
Click for copyable input
Calculation of the quotient algebra using the infinitesimal representation of the Lie algebra
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
Out[4]=
the quotient algebra is isomorphic to (2):
In[5]:=
Click for copyable input
 
In[1]:=
Click for copyable input
The same quotient algebra using this time the structure constants of the Lie algebra.
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input