On quasi-reflexive rings (semigroups) (Q1118661)

A right ideal I of a ring [semigroup with 0] R is called right quasi reflexive iff (*) AB\(\subseteq I\) implies BA\(\subseteq I\) for all right ideals A,B of R, and R itself is called right quasi-reflexive iff the above holds for \(I=(0)\). Using these and the dual concepts, the author generalizes several results given by \textit{O. Steinfeld} [Quasi-ideals in rings and semigroups (1978; Zbl 0403.16001)] and himself [Proc. Japan Acad., Ser. A 63, 268-271 (1987; Zbl 0641.16003)], for example: (1) Let R be a right quasi-reflexive ring and \(e=e^ 2\in R\). Then eR is right quasi-reflexive iff eR is an ideal iff e is central in R. (2) Let R be a left and right quasi-reflexive ring [semigroup with 0] and \(0\neq e=e^ 2\in R\). Then Re is a [0-]minimal left ideal of R iff eR is such a right ideal iff eRe is a [0-]minimal quasi-ideal of R. (3) For R as in (2), let Q be a [0-]minimal quasi-ideal of R satisfying \(Q^ 2\neq (0)\). Then Q is the intersection of a [0-]minimal left ideal and a [0-]minimal right ideal of R. Reviewer's remarks: Most of the results of the paper can be sharpened considerably, since I is a right quasi-reflexive right ideal of R iff I is an ideal of R satisfying (*) for ideals A,B of R, and hence also iff I is a left quasi-reflexive left ideal of R. In particular, R is right quasi-reflexive iff it is left quasi-reflexive, which in turn holds iff \(AB=(0)\) implies \(BA=(0)\) for all ideals A,B of R.