×

PASCAL programs for identification of Lie algebras. III: Levi decomposition and canonical basis. (English) Zbl 0668.17003

These are the last parts of a program package based on PASCAL for the identification of a Lie algebra L (given by its structure constants) by computer means. The program LEVI (5100 lines) calculates by a recursive algorithm the semisimple part S(L), of L, together with the radical R(L) (determined by RADICAL, a program presented earlier) there is then realized a Levi decomposition of L.
The program CANONIK (10300 lines) uses the parts RADICAL, SPLIT (also presented earlier) and LEVI to present a given Lie algebra with a standardized basis and gives possibilities for its comparison with other Lie algebras.
Examples of Lie algebras with canonical bases of \(\dim =10\) are given, for the theory of applied algorithms see also Zbl 0668.17004. With respect to the examples and informations the whole package presented by the authors seems to be very effective and useful.
Reviewer: G.Czichowski

MSC:

17-04 Software, source code, etc. for problems pertaining to nonassociative rings and algebras
17B05 Structure theory for Lie algebras and superalgebras

Citations:

Zbl 0668.17004

Software:

CANONIK; SPLIT; RADICAL; LEVI
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Rand, D. W., Comput. Phys. Commun., 41, 105 (1986)
[2] Rand, D. W.; Winternitz, P.; Zassenhaus, H., Comput. Phys. Commun., 46, 297 (1987)
[3] Rand, D. W.; Winternitz, P., (Proc. of the Symp. on Symbolic and Algebraic Computation. Proc. of the Symp. on Symbolic and Algebraic Computation, Waterloo, Ontario (1986))
[4] Rand, D. W.; Winternitz, P.; Zassenhaus, H., CRM-1394 (1986), Université de Montréal
[5] Knuth, D. E., The Art of Computer Programming, II, Seminumerical Algorithms (1981), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0477.65002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.