The classification of simple Lie algebras over the complex numbers is well known. There are four infinite families (types A, B, C, D) corresponding to the Lie algebras sl(n+1,C), so(2n+1,C), sp(2n,C), so(2n,C) respectively, and five exceptional types, E6, E7, E8, F4, G2.
i1 : simpleLieAlgebra("A",1)
o1 = LieAlgebra{isSimple => true }
LieAlgebraRank => 1
RootSystemType => A
o1 : LieAlgebra
|
i2 : simpleLieAlgebra("E",6)
o2 = LieAlgebra{isSimple => true }
LieAlgebraRank => 6
RootSystemType => E
o2 : LieAlgebra
|