Compatible pair of actions of Lie rings
From Groupprops
Contents
Definition
Suppose and are Lie rings. Suppose and are homomorphisms of Lie rings, where and denote the Lie ring of derivations of and of respectively. We say that form a compatible pair of actions if the following two conditions hold:
- for all and for all (possibly equal).
- for all (possibly equal) and for all .
The above expressions are easier to write down if we use to denote the actions. In this case, the above become:
- for all and for all (possibly equal).
- for all (possibly equal) and for all .
With additional Lie algebra structure
If and both have the structure of Lie algebras over a common base ring , and the maps are actions compatible with the -module structure, then the above definition defines the notion of compatible pair of actions of Lie algebras.
Particular cases
- Trivial pair of Lie ring actions is compatible: If both the actions are trivial, i.e., both the homomorphisms are trivial maps, then they form a compatible pair.
- If are both subrings of some Lie ring that normalize each other (i.e., each is contained in the normalizer of the other), and are the adjoint actions of the Lie rings on each other (i.e., the restrictions of the inner derivations induced by the element), then they form a compatible pair. Note that in this case, all the actions are just restrictions of inner derivations and checking the conditions simply amounts to checking the equality of two iterated Lie bracket expressions.
References
Jouranl references
- A non-abelian tensor product of Lie algebras by Graham J. Ellis, Glasgow Journal of Math, Volume 33, Page 101 - 120(Year 1991): ^{Official copy (PDF)}^{More info}