Hyperfläche/Jacobiideal/Einheitsideal/Fakt
Es sei ein Polynom und die zugehörige Hyperfläche und .
Dann ist das Jacobiideal im lokalen Ring genau dann das Einheitsideal, wenn ein glatter Punkt der Hyperfläche ist.
Es sei ![{\displaystyle {}F\in K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb9907eef7712dd23f5765db372457691aa7d626)
Dann ist das
Jacobiideal
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]_{{\mathfrak {m}}_{P}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf588d067c9745f20849bff87ceb6addd3355b27)
