Polynomring/Differentialoperator/Definition

Es sei ein Körper. Unter einem (formalen) Differentialoperator auf versteht man eine endliche Summe

mit polynomialen Koeffizientenfunktionen , wobei die Indizes Tupel aus sind.