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.
Es sei 
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96607693c80a38f197b1443eb366df0a6bbef1c3)
mit polynomialen Koeffizientenfunktionen ![{\displaystyle {}g_{\alpha }\in K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51a7b7dd2971b8649085586d41f095e60cdf79da)
