Derivation-faithful ideal

Definition
A subring of a Lie ring is termed a derivation-faithful ideal if it is both an ideal and a derivation-faithful subring, i.e., any nonzero derivation of the whole Lie ring that sends the subring to itself restricts to a nonzero derivation of the subring.

Stronger properties

 * Weaker than::Centralizer-free ideal: