Center is invariant under any derivation with partial divided Leibniz condition powers

From Groupprops

Statement

Suppose is a Le ring and is the center of . Then, is a Lie subring invariant under any derivation with partial divided Leibniz condition powers in .

Related facts