Derivation-invariance is transitive
From Groupprops
This article gives the statement, and possibly proof, of a Lie subring property (i.e., derivation-invariant Lie subring) satisfying a Lie subring metaproperty (i.e., transitive Lie subring property)
View all Lie subring metaproperty satisfactions | View all Lie subring metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for Lie subring properties
Get more facts about derivation-invariant Lie subring |Get facts that use property satisfaction of derivation-invariant Lie subring | Get facts that use property satisfaction of derivation-invariant Lie subring|Get more facts about transitive Lie subring property
ANALOGY: This is an analogue in Lie rings of a fact encountered in group. The old fact is: characteristicity is transitive.
Another analogue to the same fact, in the same new context, is: characteristicity is transitive for Lie rings
View other analogues of characteristicity is transitive|View other analogues from group to Lie ring (OR, View as a tabulated list)
Statement
A derivation-invariant Lie subring of a derivation-invariant Lie subring is a derivation-invariant Lie subring.
Related facts
Proof
Given: A Lie ring with Lie subrings
.
is a derivation-invariant Lie subring of
and
is a derivation-invariant subring of
.
To prove: is a derivation-invariant subring of
.
Proof: Suppose is a derivation of
.
Since is a derivation-invariant subring of
,
restricts to a map from
to itself. Let
be the restriction of
to
. Clearly,
is a derivation of
.
Since is derivation-invariant in
,
restricts to a map from
to itself. Thus,
restricts to a map from
to
.