Polynomring/Charakteristik 0/Differentialoperator/Definition
Es sei ein Körper der Charakteristik . Unter einem (formalen) Differentialoperator auf versteht man eine endliche Summe
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96607693c80a38f197b1443eb366df0a6bbef1c3)
mit polynomialen Koeffizientenfunktionen , wobei die Indizes Tupel aus sind.
![{\displaystyle {}g_{\alpha }\in K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51a7b7dd2971b8649085586d41f095e60cdf79da)
