Homomorphisms

hom<L -> M | Q>: AlgLie, AlgLie, [ AlgLieElt ] -> Map

hom<L -> M | Q>: AlgLie, TupMod, [ TupModElt ] -> Map

Given a (structure constant) Lie algebra \(L\) of dimension \(n\) over \(R\) and either a Lie algebra \(M\) over \(R\) or a module \(M\) over \(R\), the homomorphism from \(L\) to \(M\) specified by \(Q\) is constructed. The sequence \(Q\) may be of the form \([b_1, \ldots, b_n]\), \(b_i \in B\), indicating that the \(i\)-th basis element of \(L\) is mapped to \(b_1\) or of the form \([<a_1,b_1>, \ldots, <a_n,b_n>]\) indicating that \(a_i\) maps to \(b_i\), where the \(a_i (1 \le i \le n)\) must form a basis of \(L\).

Note that this is in general only a module homomorphism, and no check is made for it being an algebra homomorphism.