Properly semiprime self-pp-modules

Abstract

In an earlier paper [8] the authors introduced strongly and properly semiprime modules. Here properly semiprime modules M are investigated under the condition that every cyclic submodule is M-projective (self-pp-modules). We study the idempotent closure of M using the techniques of Pierce stalks related to the central idempotents of the self-injective hull of M. As an application of our theory we obtain several results on (not necessarily associative) biregular, properly semiprime, reduced and Firings. An example is given of an associative semiprime PSP ring with polynomial identity which coincides with its central closure and is not biregular (see 3.6). Another example shows that a semiprime left and right FP-injective Pl-ring need not be regular (see 4.8). Some of the results were already announced in [7].