Automorphism-faithful Lie subring

Definition
A subring of a Lie ring is termed an automorphism-faithful Lie subring if every non-identity automorphism of the whole Lie ring that restricts to an automorphism of the subring restricts to a non-identity automorphism of the subring.

Stronger properties

 * Weaker than::Centralizer-free ideal: