Characteristic Lie subring

Definition
A subring of a Lie ring is termed a characteristic Lie subring or characteristic subring if it is invariant under all automorphisms of the Lie ring.

Relation with properties in related groups

 * Lazard correspondence establishes a correspondence between characteristic Lazard Lie subgroups and characteristic Lazard Lie subrings
 * Lazard correspondence establishes a correspondence between powering-invariant characteristic subgroups and powering-invariant characteristic subrings