Polynomring/n Polynome/Ableitungen/Differentialmodul/Fakt

Es sei ein Körper und seien

Polynome.

Dann ist die Matrix

genau dann im Nullpunkt invertierbar, wenn die Idealgleichheit

in der Lokalisierung gilt.