Algebraische Hyperfläche/Isolierte Singularität/Hesse-Matrix/Nichtausgeartet/Milnorzahl 1/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Körper, ein Polynom und ein kritischer Punkt von .

Dann ist genau dann ein nichtausgearteter kritischer Punkt, wenn die partiellen Ableitungen in der Lokalisierung das maximale Ideal erzeugen, wenn also das Jacobiideal im Punkt mit dem maximalen Ideal übereinstimmt, und dies ist genau dann der Fall, wenn die Milnorzahl von in gleich ist.

Zum Beweis, Alternativen Beweis erstellen