External semidirect product of Lie rings
Definition with the left action convention
- As an abelian group, it is the external direct product of and , denoted or .
- The Lie bracket is as follows:
where denotes the image of under the derivation .
Why the action convention does not matter
This is basically because every Lie ring is naturally isomorphic to its opposite Lie ring via the negative map.