Verbal ideal of a Lie ring
Definition
A subset of a Lie ring is termed a verbal ideal if it satisfies both the following conditions:
- It is a verbal Lie subring, i.e., it is the image of a set of words.
- It is an ideal of the Lie ring, i.e., it is invariant under all the inner derivations of the whole Lie ring.