Minimal faithful upper-triangular matrix representations for solvable Lie algebras
The existence of matrix representations for any given finite-dimensional complex Lie algebra is a classic result on Lie Theory. In particular, such representations can be obtained by means of an isomorphic matrix Lie algebra consisting of upper-triangular square matrices. Unfortunately, there is no general information about the minimal order for the matrices involved in such representations. In this way, our main goal is to revisit, debug and implement an algorithm which provides the minimal order for matrix representations of any finite-dimensional solvable Lie algebra when inserting its law, as well as returning a matrix representative of such an algebra by using the minimal order previously computed. In order to show the applicability of this procedure, we have computed minimal representatives not only for each solvable Lie algebra with dimension less than 6 , but also for some solvable Lie algebras of arbitrary dimension.