Kommutativer Ring/Positive Charakteristik/Regularität und Freiheit/Kunz/Fakt

Es sei ${}R$ ein lokaler ${}F$ -endlicher Ring in positver Charakteristik.

Dann ist ${}R$ genau dann regulär, wenn der ${}R$ -Modul ${}\,^{1}R$ frei ist.