Finitely Generated Modules over Semilocal Rings and Characterizations of (Semi-)Perfect Rings

Abstract

Lomp [9] has studied finitely generated projective modules over semilocal rings. He obtained the following: finitely generated projective modules over semilocal rings are semilocal. We shall give necessary and sufficient conditions for finitely generated modules to be semilocal modules. By using a lifting property, we also give characterizations of right perfect (semiperfect) rings. Our main results can be summarized as follows: (1) Let M be a finitely generated module. Then M has finite hollow dimension if and only if M is weakly supplemented if and only if M is semilocal. (2) A ring R is right perfect if and only if every flat right R-module is lifting and every right R-module has a flat cover if and only if every quasi-projective right R-module is lifting. (3) A ring R is semiperfect if and only if every finitely generated flat right R-module is lifting if and only if RR satisfies the lifting property for simple factor modules.