Perfect direct factor of a Lie ring

Definition

A subring of a Lie ring is termed a perfect direct factor if it is perfect as a Lie ring and is a direct factor of the whole ring.

Relation with other properties

Weaker properties

• Derivation-invariant direct factor
• Perfect ideal of a Lie ring
• Direct factor of a Lie ring