Computations in finite-dimensional Lie algebras

• Main Authors: A. M. Cohen, W. A. de Graaf, L. Rónyai
• Format: Article
• Language: English
• Published: Discrete Mathematics & Theoretical Computer Science 1997-12-01
• Series: Discrete Mathematics & Theoretical Computer Science
• Online Access: http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/82

This paper describes progress made in context with the construction of a general library of Lie algebra algorithms, called ELIAS (Eindhoven Lie Algebra System), within the computer algebra package GAP. A first sketch of the package can be found in Cohen and de Graaf[1]. Since then, in a collaborative effort with G. Ivanyos, the authors have continued to develop algorithms which were implemented in ELIAS by the second author. These activities are part of a bigger project, called ACELA and financed by STW, the Dutch Technology Foundation, which aims at an interactive book on Lie algebras (cf. Cohen and Meertens [2]). This paper gives a global description of the main ways in which to present Lie algebras on a computer. We focus on the transition from a Lie algebra abstractly given by an array of structure constants to a Lie algebra presented as a subalgebra of the Lie algebra of n×n matrices. We describe an algorithm typical of the structure analysis of a finite-dimensional Lie algebra: finding a Levi subalgebra of a Lie algebra.