Characteristic direct factor of a Lie ring

Definition
A subring of a Lie ring is termed a characteristic direct factor if it is both a characteristic subring (i.e., it is invariant under all automorphisms of the Lie ring) and a direct factor.

Weaker properties

 * Stronger than::Characteristic ideal of a Lie ring
 * Stronger than::Characteristic subring of a Lie ring
 * Stronger than::Direct factor of a Lie ring
 * Stronger than::Ideal of a Lie ring