Hyperfläche/Jacobiideal/Einheitsideal/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zum Beweis, Alternativen Beweis erstellen