Affine Varietät/Punkt/Jacobi-Matrix und regulär/Fakt

Es sei ein algebraisch abgeschlossener Körper

ein Punkt der affin-algebraischen Menge zum Ideal mit dem lokalen Ring

Dann ist der Punkt genau dann glatt, wenn regulär ist.