PASCAL programs for identification of Lie algebras. II: SPLIT - a program to decompose parameter-free and parameter-dependent Lie algebras into direct sums (Q1118017)

The program SPLIT (based on PASCAL) contains 161 subprograms (8000 lines) and determines a decomposition of a given Lie algebra L into the direct sum of smaller Lie algebras, if such a decomposition exists. The decomposition algorithm is basing on the fact that the adjoint representation (as matrix representation) of L is decomposable if and only if there are non-trivial idempotents commuting with the representation. Therefore the algorithm at first calculates the centralizer of ad and then its Jacobson radical. After forming the quotient algebra there are good criteria for decomposability. For the theoretical explanation see also Zbl 0668.17004. Several examples of dimension up to nine are presented.