Es sei R {\displaystyle {}R} ein lokaler F {\displaystyle {}F} -endlicher Ring in positver Charakteristik.
Dann ist R {\displaystyle {}R} genau dann regulär, wenn der R {\displaystyle {}R} -Modul 1 R {\displaystyle {}\,^{1}R} frei ist.