# Perfect direct factor implies derivation-invariant

From Groupprops

This article gives the statement and possibly, proof, of an implication relation between two Lie subring properties. That is, it states that every Lie subring satisfying the first Lie subring property (i.e., perfect direct factor of a Lie ring) must also satisfy the second Lie subring property (i.e., derivation-invariant Lie subring)

View all Lie subring property implications | View all Lie subring property non-implications

Get more facts about perfect direct factor of a Lie ring|Get more facts about derivation-invariant Lie subring

## Statement

Any perfect direct factor of a Lie ring is a derivation-invariant Lie subring. In particular, it is a Derivation-invariant direct factor (?) of the whole ring.