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 [b1, ..., bn], bi ∈B, indicating that the i-th basis element of L is mapped to b1 or of the form [<a1, b1>, ..., <an, bn>] indicating that ai maps to bi, where the ai (1 ≤i ≤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.

V2.28, 13 July 2023