Inner derivation of a Lie ring: Difference between revisions
No edit summary |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{analogue | {{analogue of property| | ||
new generic context = Lie ring| | |||
new specific context = derivation| | |||
old property = inner automorphism| | |||
old generic context = group| | |||
old specific context = automorphism}} | |||
==Definition== | ==Definition== | ||
Let <math>L</math> be a [[Lie ring]]. Given <math>x \in L</math>, the '''inner derivation''' of <math>L</math> induced by <math>x</math>, denoted by <math>ad \ x</math>, is the map <math>y \mapsto [x,y]</math>. | Let <math>L</math> be a [[Lie ring]]. Given <math>x \in L</math>, the '''inner derivation''' of <math>L</math> induced by <math>x</math>, denoted by <math>ad \ x</math>, is the map <math>y \mapsto [x,y]</math>. | ||
The inner derivation induced by <math>x</math> is also called the '''adjoint action''' of <math>x</math> or the '''adjoint map''' induced by <math>x</math>. | |||
==Facts== | ==Facts== | ||
Latest revision as of 00:03, 7 January 2012
ANALOGY: This is an analogue in Lie ring of a property encountered in group. Specifically, it is a derivation property analogous to the automorphism property: inner automorphism
View other analogues of inner automorphism | View other analogues in Lie rings of automorphism properties (OR, View as a tabulated list)
Definition
Let be a Lie ring. Given , the inner derivation of induced by , denoted by , is the map .
The inner derivation induced by is also called the adjoint action of or the adjoint map induced by .
Facts
- The inner derivation induced by any element is a derivation
- The set of inner derivations forms an ideal inside the ring of all derivations
- The map from a Lie ring to its Lie ring of derivations, which sends to , is a homomorphism of Lie rings. Its kernel is the center of the Lie ring, and its image is the set of inner derivations
These facts are very similar to those for the map from a group to its automorphism group, sending each element to the corresponding conjugation operation. In fact, for those Lie algebras which arise from Lie groups, there is a mapping from derivations to automorphisms, by the exponential, under which inner derivations go to inner automorphisms of the corresponding Lie group (and also yield automorphisms of the Lie algebra).