# Ring of differential operators on a Lie ring

From Groupprops

## Definition

Suppose is a Lie ring, and is the Lie ring of derivations of . The **ring of differential operators** of is the collection of all maps from to that can be expressed as sums and differences of the identity map and composites of derivations. This is a unital ring where:

- Addition is pointwise.
- Multiplication is by composition.
- The zero element is the zero map.
- The multiplicative identity is the identity map.

Elements of this ring are termed **differential operators** on the Lie ring.

Note that the distributivity follows from the fact that all differential operators are endomorphisms of the underlying abelian group structure.