No label defined (Q4465210)

A non-empty subset \(A\) of an ordered semigroup \(S\) is called an \(m\)-system if for each \(a, b\in A\) there exist \(c\in A\) and \(x\in S\) such that \(c\leq axb\). The set \(A\) is called \(n\)-system if for each \(a\in A\) there exist \(c\in A\) and \(x\in S\) such that \(c\leq axa\). The main result of the paper is that a proper ideal \(A\) of an ordered semigroup \(S\) is weakly prime (resp. weakly semiprime) if and only if \(S\backslash A\) is an \(m\)-system (resp. an \(n\)-system). In fact, if for an ideal \(A\) of an ordered semigroup \(S\) the set \(S\backslash A\) is an \(m\) (resp. \(n\))-system, then the ideal \(A\) is weakly prime (resp. weakly semiprime). It is also proved that for each ideal \(A\) of an ordered semigroup, the \(m\)-radical of \(A\) is the intersection of all weakly prime ideals containing \(A\), and some properties of \(m\)-radicals are given. Finally, it is proved that the intersection of totally ordered (by set inclusion) weakly prime ideals of an ordered semigroup is weakly prime, as well. For the characterization of weakly prime (resp. weakly semiprime) ideals of ordered semigroups by means of \(m\) (resp. \(n\))-systems cf. also [\textit{N. Kehayopulu}, ``\(m\)-systems and \(n\)-systems in ordered semigroups'', Quasigroups Relat. Syst. 11, 55--58 (2004)].