No label defined (Q4501285)

Let \(S\) be an ordered semigroup, \(a,b\in S\). \(b\in J(a)\) is denoted by \(a|b\), \(a\rightarrow b\) iff \(a|b^i\) for some \(i\in Z^+\), \(a\rightarrow^{n+1} b\) iff \(a\rightarrow^n x\rightarrow b\) for some \(x\in S,\) \(a\rightarrow^{\infty} b\) iff \(a\rightarrow^n b\) for some \(n\in Z^+\), \(a\rightharpoonup b\) iff \((a,b)\in \mid \circ\geq.\) Similiar to the definition of \(\rightarrow^{\infty}\), relations on \(S\), \(\rightharpoonup^n\) and \(\rightharpoonup^{\infty}\), can be defined. In this paper the authors give our two characterizations of the least regular semilattice congruence \(\mathcal{N}\) [\textit{Xie Xiangyun} and \textit{Wu Mingfen}, Math. Jap. 45, No. 1, 81-84 (1997; Zbl 0863.06012)], that is, \(\mathcal{N} = \rightharpoonup^{\infty}\cap (\rightharpoonup^{\infty})^{-1}\), and \((a,b)\in\mathcal{N}\) iff \(\Sigma(b) = \Sigma(a),\) where \(\Sigma(a) = \bigcup_{n=1}^{\infty}\Sigma_n(a),\) \(\Sigma_1(a) =\sqrt{(SaS]}, \Sigma_{n+1}(a) = \sqrt{(S\Sigma_n(a)S]}.\) The authors also prove that \(\Sigma(a)\) is the least completely semiprime ideal of \(S\) containing \(a\). All results of this paper are generalizations of the one of \textit{M. Ćirić} and \textit{S. Bogdanović} [Semigroup Forum 52, No. 2, 119-132 (1996; Zbl 0848.20055)] to ordered semigroups. Some results in this paper are similar to those of \textit{Cao Yonglin} [Pure Appl. Math. 14, No. 3, 81-84 (1998; Zbl 0919.06007)].