Perfect direct factor implies derivation-invariant
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.