No abstract

No abstract

Abstract. In 1984, Oshiro [11] has studied the decomposition of continuous lifting modules. He obtained the following: every continuous lifting module has an indecomposable decomposition. In this paper, we study extending lifting modules. We show that every extending lifting module has an indecomposable decomposition. This result is an expansion of Oshiro's result mentioned above. And we consider some application of this result.

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.

Keskin and Harmanci defined the family B(M, X) = {A ≤ M | ∃Y ≤ X, ∃f ∈ Hom R (M, X/Y), Ker f /A M/A}. And Orhan and Keskin generalized projective modules via the class B(M, X). In this note we introduce X-local summands and X-hollow modules via the class B(M, X). Let R be a right perfect ring and let M be an X-lifting module. We prove that if every co-closed submodule of any projective module P contains Rad(P), then M has an indecomposable decomposition. This result is a generalization of Kuratomi and Chang's result [9, Theorem 3.4]. Let X be an R-module. We also prove that for an X-hollow module H such that every non-zero direct summand K of H with K ∈ B(H, X), if H ⊕ H has the internal exchange property, then H has a local endomorphism ring.