Lokaler Ring/Restkörperbedingung/Regulär und Freier Kählermodul/Fakt
Es sei ein vollkommener Körper und die Lokalisierung einer endlich erzeugten -Algebra. Der Restklassenkörper sei isomorph zu .
Dann ist genau dann regulär, wenn der Modul der Kähler-Differentiale frei ist und sein Rang mit der Dimension des Ringes übereinstimmt.