Lie ring acts as derivations by adjoint action

From Groupprops
Jump to: navigation, search

Statement

Let L be a Lie ring. For any x \in L, define the map:

\operatorname{ad}_x:L \to L

given by:

\operatorname{ad}_x(y) := [x,y]

(this is termed the left adjoint action by x).

Then, the following are true: