Perfect direct factor implies derivation-invariant

Statement
Any perfect direct factor of a Lie ring is a derivation-invariant Lie subring. In particular, it is a fact about::derivation-invariant direct factor of the whole ring.

Related facts

 * Self-centralizing direct factor implies derivation-invariant
 * Derivation-invariant not implies characteristic