Computing faithful representations for nilpotent Lie algebras (Q731235)

Let \(L\) be a nilpotent Lie algebra of dimension \(n\) and class \(c\) over a field. The authors construct faithful representations of \(L\) searching for the smallest possible dimension, \(\mu(L)\). They use and compare three algorithms for this construction of the representations. The input in these algorithms is the structure constants and the output is the matrices representing a basis for \(L\). They find an upper bound for \(\mu(L)\). The second part of the paper considers to what extent \(\mu(L) \leq n+1\). It is known that this inequality does not always hold. A special class of filiform Lie algebras are introduced and some of their properties are derived. It is conjectured that for Lie algebras of dimension greater than 12 in this class, the above inequality fails.