Schema/Glatt/Kählermodul/Lokal frei/Fakt

Es sei ein algebraisch abgeschlossener Körper und es sei ein zusammenhängendes Schema von endlichem Typ über .

Dann ist genau dann glatt, wenn der Modul der Kähler-Differentiale lokal frei von konstantem Rang ist.