Derivation-invariant Lie subring

ANALOGY: This is an analogue in Lie rings of the subgroup property:
View other analogues of characteristic | View other analogues in Lie rings of subgroup properties

Definition

A subring $A$ of a Lie ring $L$ is termed derivation-invariant if $d(A)\subset A$ for every derivation $d$ of $L$.

Relation with other properties

Weaker properties

• Ideal: This is a subring invariant under all inner derivations. The fact that any derivation-invariant subring is an ideal, is analogous to the fact that characteristic implies normal