Left transiter of ideal is derivation-invariant Lie subring
ANALOGY: This is an analogue in Lie rings of a fact encountered in group. The old fact is: left transiter of normal is characteristic.
View other analogues of left transiter of normal is characteristic|View other analogues from group to Lie ring (OR, View as a tabulated list)
Statement
Suppose is a Lie ring and is a subring of such that, for any Lie ring such that is an ideal of , is an ideal of .