Let R be a ring. Recall that a right R-module M (RR, resp.) is said to be a PS-module (PS-ring, resp.) if it has projective socle. M is called a CESS-module if every complement summand in M with essential socle is a direct summand of M. We show that the formal triangular matrix ring T = A 0M B is a PS-ring if and only if A is a PS-ring, MA and lB(M) = {b ∈ B | bm = 0,m∈ M} are PS-modules and Soc(lB(M)) M = 0. Using the alternative of right T-module as triple (X,Y )f with X ∈ Mod-A, Y ∈ Mod-B and f : YM→ X in Mod-A, we show that if TT is a CESS-module, then AA and MA are CESS-modules.
This paper is motivated by S. Park [10] in which the injective cover of left R[x]- module M[x? ] of inverse polynomials over a left R-module M was discussed. The 1 author considers the ?-covers of modules and shows that if η : P ?→ M is an ?- cover of M, then [ηS, ] : [PS, ] ?→ [MS, ] is an [?S, ]-cover of left [[RS, ]]-module ≤ ≤ ≤ ≤ ≤ [MS, ], where ? is a class of left R-modules and [MS, ] is the left [[RS, ]]-module of ≤ ≤ ≤ generalized inverse polynomials over a left R-module M. Also some properties of the injective cover of left [[RS, ]]-module [MS, ] are discussed. ≤
