On m-bi-interior ideals of an ordered semigroup

(1): Suppose L is an m-left ideal of S implies S^{m}L\subseteq L and (L]=L. Now (LS^{m}L]\cap (S^{m}LS^{m}]\subseteq (LSL^{m}]\subseteq(SS^{m}L]\subseteq (S^{m+1}L]\subseteq (S^{m}L]\subseteq L. Hence L is an m-bi-interior ideal of S.

Similarly it can be proved that every m-right ideal is an m-bi-interior ideal of S.

(2): Since every m-ideal is both m-left and m-right ideal of an ordered semigroup S then from previous property, it follows that every m-ideal of S is an m-bi-interior ideal of S.

(3): Let A and B be m_{1}-bi-interior ideal and m_{2}-bi-interior ideal respectively of an ordered semigroup S. Then (AS^{m_{1}}A]\cap (S^{m_{1}}AS^{m_{1}}]\subseteq A and (A]=A, (BS^{m_{2}}B]\cap (S^{m_{2}}BS^{m_{2}}]\subseteq B and (B]=B.Let m=max\{m_{1},m_{2}\} Now (S^{m}(A\cap B)S^{m}]\subseteq (S^{m}AS^{m}]\cap (S^{m}BS^{m}]\subseteq (S^{m_{1}}AS^{m_{1}}]\cap (S^{m_{2}}BS^{m_{2}}]. Also ((A\cap B)S^{m}(A\cap B)]\subseteq (AS^{m}A]\cap (BS^{m}B]\subseteq (AS^{m_{1}}A]\cap (BS^{m_{2}}B]. Hence (S^{m}(A\cap B)S^{m}]\cap ((A\cap B)S^{m}(A\cap B)]\subseteq (S^{m_{1}}AS^{m_{1}}]\cap (S^{m_{2}}BS^{m_{2}}]\cap (AS^{m_{1}}A]\cap (BS^{m_{2}}B]\subset A\cap B. Now (A\cap B]\subseteq (A]\cap (B]= A\cap B implies (A\cap B]=A\cap B. Hence A\cap B is an m-bi-interior ideal of S.

(4): It follows from above result.

(5): Suppose that Q is an m-quasi-ideal of an ordered semigroup S, that is (QS^{m}]\cap (S^{m}Q]\subseteq Q and (Q]=Q. Now (QS^{m}Q]\subseteq (QS^{m}] \cap (S^{m}Q]\subseteq Q implies (QS^{m}Q]\cap (S^{m}QS^{m}]\subseteq (QS^{m}Q]\subseteq Q. Hence Q is an m-bi-interior ideal of S.

(6): Suppose that B is an m-bi-ideal of an ordered semigroup S that is BS^{m}B\subseteq B and (B]=B. Now (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq (BS^{m}B]\subseteq (B]=B. Hence B is an m-bi-interior ideal of S.

7:

Let I is an m-interior ideal of S. Now (IS^{m}I]\cap (S^{m}IS^{m}]\subseteq (S^{m}IS^{m}]\subseteq (I]=I. Hence I is an m-bi-interior ideal of S.

(8): Let B be an m-bi-interior ideal of an ordered semigroup S. Now ((BS]S^{m}(BS]]\cap (S^{m}(BS]S^{m}]\subseteq (BSS^{m}SS]\cap (S^{m}BS^{m+1}]\subseteq (BS^{m+3}]\subseteq (BS]. Hence (BS] is an m-bi-interior ideal of S.

Similarly it can be shown that (SB] is an m-bi-interior ideal of S.

(9): Consider B is an m-bi-interior ideal of an ordered semigroup S and T is an m-right ideal of S. Now ((B\cap T)S^{m}(B\cap T)]\cap (S^{m}(B\cap T)S^{m}]\subseteq (BS^{m}B]\cap (TS^{m}T]\cap (S^{m}BS^{m}]\cap (S^{m}TS^{m}]\subseteq (BS^{m}B]\cap (S^{m}BS^{m}]\cap (TT]\subseteq B\cap (T]\subseteq B\cap T. Again (B\cap T]\subseteq (B]\cap (T]=B\cap T. Hence B\cap T is an m-bi-interior ideal of S.

Let S be an m-simple ordered semigroup and B be an m-bi-interior ideal of S then (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq B and (B]=B. Now it can be easily check that (S^{m}BS^{m}] is an m-ideal of S. Now m-simplicity of S gives (S^{m}BS^{m}]=S. Hence (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq (BS^{m}B]\cap S\subseteq B which implies (BS^{m}B]\subseteq B that is BS^{m}B\subseteq (BS^{m}B]\subseteq B and (B]=B. Hence B is an m-bi-ideal of S.

(1): Let A and C be subsemigroups of ordered semigroup S and B=(AC]. Suppose A is an m-left ideal of S then (BS^{m}B]=((AC]S^{m}(AC]]\subseteq (ACS^{m}AC]\subseteq (AC]=B implies (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq (BS^{m}B]\subseteq B. Hence B is an m-bi-interior ideal of S.

(2): Let A and C be subsemigroups of ordered semigroup S and B=(CA]. Suppose C is an m-right ideal of S then (BS^{m}B]=((CA]S^{m}(CA]]\subseteq (CAS^{m}CA]\subseteq (CA]=B implies (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq (BS^{m}B]\subseteq B. Hence B is an m-bi-interior ideal of S.

Consider S is an m-bi-interior simple ordered semigroup and a\in S. Now (S^{m}((S^{m}aS^{m}]\cap (aS^{m}a])S^{m}]\cap (((S^{m}aS^{m}]\cap (aS^{m}a])S^{m}((S^{m}aS^{m}]\cap (aS^{m}a])]\subseteq (S^{m}(S^{m}aS^{m}]S^{m}]\cap ((aS^{m}a]S^{m}(aS^{m}a]]\subseteq (S^{2m}aS^{2m}]\cap (aS^{m}SS^{m}SS^{m}a]\subseteq (S^{m}aS^{m}]\cap (aS^{m}a]. Hence (S^{m}aS^{m}]\cap (aS^{m}a] is an m-bi-interior ideal of S which contradict the fact that S is m-bi-interior simple. Hence (S^{m}aS^{m}]\cap(aS^{m}a]=S.

Conversely, suppose that (S^{m}aS^{m}]\cap(aS^{m}a]=S, for all a\in S. Let B be an m-bi-interior ideal of S and a\in B. Then S=(S^{m}aS^{m}]\cap(aS^{m}a]\subseteq (S^{m}BS^{m}]\cap(BS^{m}B]\subseteq B which implies S=B. Thus S is m-bi-interior simple ordered semigroup.

Suppose S is an m-regular ordered semigroup and B, I, L are m-bi-interior ideal, m-ideal and m-left ideal of S respectively. Let a\in B\cap I\cap L. . Since S is m-regular a\in (aS^{m}a]\subseteq (aS^{m}aS^{m}aS^{m}aS^{m}aS^{m}a]\subseteq ((aS^{m}aS^{m}a](S^{m}aS^{m}a](S^{m}a]].

Now (aS^{m}aS^{m}a]\subseteq (BS^{m}BS^{m}B]\subseteq (BS^{m}SS^{m}B]\subseteq (BS^{2m+1}B]\subseteq (BS^{m}B]. Again (aS^{m}aS^{m}a]\subseteq (S^{m}BS^{m}]. Thus (aS^{m}aS^{m}a]\subseteq (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq B. Again (S^{m}aS^{m}a]\subseteq (S^{m}IS^{m}I]\subseteq (I]=I and (S^{m}a]\subseteq (S^{m}L]\subseteq L. Hence a\in ((aS^{m}aS^{m}a](S^{m}aS^{m}a](S^{m}a]]\subseteq (BIL] that is B\cap I\cap L\subseteq (BIL].

Conversely, consider B\cap I\cap L\subseteq (BIL], for any m-bi-interior ideal B, m-ideal I and m-left ideal L of S. Let R, L be an m-right and m-left ideal of S. Now, by assumption R\cap L= R\cap S^{m}\cap L\subseteq (RS^{m}L]\subseteq (RL] and (RL]\subseteq (R\cdot1\cdot1\cdot\cdot S]\subseteq (RS^{m}]\subseteq (R]=R. Dually (RL]\subseteq L. Hence R\cap L=(RL]. Thus Lemma1.9 yields that S is an m-regular.

Its very obvious that every m-ideal is an m-interior ideal.

Now for the converse part, consider an ordered semigroup S such that S is m-regular. Let I be an interior ideal of S. Now m-regularity of S infers that I\subseteq (IS^{m}I]. Now IS^{m}\subseteq (IS^{m}I]S^{m}\subseteq (IS^{m}I](S^{m}]\subseteq ((IS^{m}I]S^{m}I](S^{m}]\subseteq (S^{m+1}IS^{2m+1}\subseteq (S^{m}IS^{m}]\subseteq (I]=I. Similarly S^{m}I\subseteq I. Hence I is an m-ideal of S.

First suppose that S is an m-regular ordered semigroup and B is an m-bi-interior ideal of S. Then (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq B and (B]=B. Let x\in B then x\in (xS^{m}x]\subseteq (xS^{m}xS^{m}x]. Hence (xS^{m}xS^{m}x]\in (BS^{m}B]\cap (S^{m}BS^{m}] which implies B\subseteq (BS^{m}B]\cap (S^{m}BS^{m}]. Hence (BS^{m}B]\cap (S^{m}BS^{m}]=B.

Conversely, assume that(BS^{m}B]\cap (S^{m}BS^{m}]=B, for all m-bi-interior ideal B of S. Let B=R\cap L, where R is an m-right and L is an m-left ideal of S. Then by Proposition 2.3, B is an m-bi-interior ideal of S. Now (BS^{m}B]\cap (S^{m}BS^{m}]= ((R\cap L)S^{m}(R\cap L)]\cap (S^{m}(R\cap L)S^{m}]\subseteq (RS^{m}L]\subseteq (RL] and (RL]\subseteq R\cap L. Hence following Lemma 1.9, S is an m-regular ordered semigroup.

Let S be an m-regular ordered semigroup and L be an m-left and R be an m-right ideal of S. Now (BS^{m}B]\subseteq (RLS^{m}RL]\subseteq (RL]=B. Hence (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq (BS^{m}B]\subseteq B. Evidently (B]=(RL]=B. Thus B is an m-bi-interior ideal of S.

Conversely suppose that B is an m-bi-interior ideal of S. Now by Theorem 2.9, m-regularity of S yields (BS^{m}B]\cap (S^{m}BS^{m}]=B. Let R=(BS^{m}] and L=(S^{m}B]. It can be easily check that R and L are m-right and m-left ideal of S respectively. Consider x\in B. Now m-regularity of S gives x\in (xS^{m}x]\subseteq (BS^{m}B] that is B\subseteq (BS^{m}B]. Now (RL]\subseteq ((BS^{m}](S^{m}B]]\subseteq (BS^{m}B]. Again (RL]\subseteq ((BS^{m}](S^{m}B]]\subseteq (BS^{2m}B]=((BS^{m}B]S^{2m}(BS^{m}B]]\subseteq (S^{m}BS^{m}]. Hence (RL]\subseteq (BS^{m}B]\cap (S^{m}BS^{m}]\subseteq B. Again B\subseteq (BS^{m}B]\subseteq (BS^{m}BS^{m}BS^{m}B]\subseteq \\ ((BS^{m}]BS^{m}B(S^{m}B]]\subseteq (RSS^{m}SL]\subseteq (RS^{m}L]\subseteq (RL]. Hence B=(RL].