Centralizer-free ideal

Definition
A subring of a Lie ring is termed a centralizer-free ideal if it is both centralizer-free as a subring (in other words, its centralizer in the whole Lie ring is the zero Lie ring) and is an ideal of the Lie ring.

Weaker properties

 * Stronger than::Derivation-faithful Lie subring:
 * Stronger than::Derivation-faithful ideal
 * Stronger than::Centralizer-free Lie subring
 * Stronger than::Ideal of a Lie ring