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.

Einen Beweis erstellen