Polynome/Differentialoperatoren/Jacobi-Taylor-Beschreibung/Fakt
Es seien Polynome mit dem Restklassenring
Dann entsprechen die Differentialoperator der Ordnung auf den Elementen des Kernes der -ten Jacobi-Taylor-Matrix.
Es seien ![{\displaystyle {}F_{1},\ldots ,F_{m}\in K[X_{1},\ldots ,X_{k}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1edc78c07e546c5522278b44addc7e8b141995c)
![{\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)
Dann entsprechen die
Differentialoperator
der Ordnung 
