On \({\mathfrak P}\)-injective hulls of S-sets (Q1080531)

A general concept of P-injective hull for arbitrary S-sets and \(Q_ r\)- filters P of S independent on a torsion theory is investigated. In {\S}2, the basic definitions and some results on P-injective hulls of S-sets are given. The authors prove (Thm. 3.1) the existence of a P-injective hull \(I_ S\) for each S-set \(M_ S\) and for a special \(Q_ r\)-filter P of S; and the characterization of this hull as a maximal essential P- extension of \(M_ S\) is obtained (Thm. 3.4). Moreover, the authors investigate natural homomorphisms and isomorphisms of the semigroups of right quotients \(Q_ r(M,P[M_ S])\) and \(Q_ r(I,P[I_ S])\) and of the semigroups \(\Lambda_ S(I,I)\) and \(\Lambda_ S(M,M)\) of S- endomorphisms of \(I_ S\) resp. \(M_ S\) (Thm. 3.6, Cor. 4.6). In {\S}4, the authors give several characterizations of the P-injective hull \(I_ S\) of a P-torsion free S-set \(M_ S\) (Thm. 4.5). By generalizing a construction given by \textit{J. K. Luedeman} [Lect. Notes Math. 998, 350- 373 (1983; Zbl 0516.20040)], a P-injective hull \(I_ S\) for each P- torsion free S-set \(M_ S\) is constructed (Thms. 4.7, 4.9). Using the latter, the authors present a description (Thm. 4.10) of each endomorphism of \(I_ S\) by a unique element of the \(Q_ r\)-semigroup \(Q_ r(M,P[M_ S])\).