Es seien F 1 , … , F m ∈ K [ X 1 , … , X k ] {\displaystyle {}F_{1},\ldots ,F_{m}\in K[X_{1},\ldots ,X_{k}]} Polynome mit dem Restklassenring
Dann wird ein durch ein λ {\displaystyle {}\lambda } -Tupel ( a λ ) {\displaystyle {}{\left(a_{\lambda }\right)}} im Sinne von Fakt gegebener Differentialoperator auf R {\displaystyle {}R} auf dem Polynomring K [ X 1 , … , X k ] {\displaystyle {}K[X_{1},\ldots ,X_{k}]} durch
repräsentiert.
![{\displaystyle {}F_{1},\ldots ,F_{m}\in K[X_{1},\ldots ,X_{k}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1edc78c07e546c5522278b44addc7e8b141995c)
Polynome mit dem Restklassenring
![{\displaystyle {}R=K[X_{1},\ldots ,X_{k}]/{\left(F_{1},\ldots ,F_{m}\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48bbaffbafeae7b8ae10c4aa5fc32ea7306f6e75)
-Tupel 
im Sinne von
Fakt
gegebener
Differentialoperator
auf 
auf dem Polynomring ![{\displaystyle {}K[X_{1},\ldots ,X_{k}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32ac83a770728f98e89bb329cf6fab8307899de3)
durch
