Research article Special Issues

Structure of split additively orthodox semirings

  • The ideas of transversals are important to study algebraic structures which are useful for investigating semirings structure. In this paper, we introduce and explore split additively orthodox semirings which are special semirings with transversals. After obtaining some property theorems of split additively orthodox semirings, the structure theorem for them is obtained by using idempotent semirings, additively inverse semirings, and Munn semigroup. It not only extends and strengthens the corresponding results of Clifford semirings and split orthodox semigroups but also develops a new way to study semirings.

    Citation: Kaiqing Huang, Yizhi Chen, Aiping Gan. Structure of split additively orthodox semirings[J]. AIMS Mathematics, 2022, 7(6): 11345-11361. doi: 10.3934/math.2022633

    Related Papers:

    [1] Kaiqing Huang, Yizhi Chen, Miaomiao Ren . Additively orthodox semirings with special transversals. AIMS Mathematics, 2022, 7(3): 4153-4167. doi: 10.3934/math.2022230
    [2] Rukhshanda Anjum, Saad Ullah, Yu-Ming Chu, Mohammad Munir, Nasreen Kausar, Seifedine Kadry . Characterizations of ordered h-regular semirings by ordered h-ideals. AIMS Mathematics, 2020, 5(6): 5768-5790. doi: 10.3934/math.2020370
    [3] Huawei Huang, Xin Jiang, Changwen Peng, Geyang Pan . A new semiring and its cryptographic applications. AIMS Mathematics, 2024, 9(8): 20677-20691. doi: 10.3934/math.20241005
    [4] Waheed Ahmad Khan, Abdul Rehman, Abdelghani Taouti . Soft near-semirings. AIMS Mathematics, 2020, 5(6): 6464-6478. doi: 10.3934/math.2020417
    [5] Pakorn Palakawong na Ayutthaya, Bundit Pibaljommee . On n-ary ring congruences of n-ary semirings. AIMS Mathematics, 2022, 7(10): 18553-18564. doi: 10.3934/math.20221019
    [6] Saba Al-Kaseasbeh, Madeline Al Tahan, Bijan Davvaz, Mariam Hariri . Single valued neutrosophic (m,n)-ideals of ordered semirings. AIMS Mathematics, 2022, 7(1): 1211-1223. doi: 10.3934/math.2022071
    [7] Abdelghani Taouti, Waheed Ahmad Khan . Fuzzy subnear-semirings and fuzzy soft subnear-semirings. AIMS Mathematics, 2021, 6(3): 2268-2286. doi: 10.3934/math.2021137
    [8] Liaqat Ali, Yaqoub Ahmed Khan, A. A. Mousa, S. Abdel-Khalek, Ghulam Farid . Some differential identities of MA-semirings with involution. AIMS Mathematics, 2021, 6(3): 2304-2314. doi: 10.3934/math.2021139
    [9] B. Amutha, R. Perumal . Public key exchange protocols based on tropical lower circulant and anti circulant matrices. AIMS Mathematics, 2023, 8(7): 17307-17334. doi: 10.3934/math.2023885
    [10] Tariq Mahmood, Liaqat Ali, Muhammad Aslam, Ghulam Farid . On commutativity of quotient semirings through generalized derivations. AIMS Mathematics, 2023, 8(11): 25729-25739. doi: 10.3934/math.20231312
  • The ideas of transversals are important to study algebraic structures which are useful for investigating semirings structure. In this paper, we introduce and explore split additively orthodox semirings which are special semirings with transversals. After obtaining some property theorems of split additively orthodox semirings, the structure theorem for them is obtained by using idempotent semirings, additively inverse semirings, and Munn semigroup. It not only extends and strengthens the corresponding results of Clifford semirings and split orthodox semigroups but also develops a new way to study semirings.



    The concept of semiring was firstly introduced by Dedekind in 1894, it had been studied by various researchers using techniques coming from semigroup theory or ring theory. The algebraic theories of semirings were widely applied in automata theory, optimization theory, parallel computation systems and the mathematical modeling of quantum physics, etc. [7]

    A semiring (S,+,) is an algebra with two binary operations + and such that the additive reduct (S,+) and the multiplicative reduct (S,) are semigroup connected by ring-like distributive laws, that is,

    a(b+c)=ab+acand(b+c)a=ba+ca, a,b,cS.

    In recent several decades, many authors extended the concepts and results of semigroups to semirings which is one of the development power of semiring theory. For instance, many researchers investigate idempotent semirings in which both additive reduct and multiplicative reduct are bands, which play a role in semirings just as the role of bands in semigroups in many aspects [2,4,17,18,19], etc. Semirings whose additive reduct is a band are also studied by many authors [3,11,25], etc. Karvellas introduced additively inverse semirings whose additive reduct is an inverse semigroup [10]. Zeleznikow studied regular semirings in which both additive and multiplicative semigroups are regular [27]. He also introduced the orthodox semirings firstly [28]. Grillet gave the structure theorem of semirings with a completely simple additive semigroup [6].

    Meanwhile, semirings are generalizations of distributive lattices, b-lattices, rings, skew-rings. Sen, Maity, and Shum extended the concept of Clifford semigroup to semiring by defining a class of semiring which is called Clifford semiring and showed that a semiring S is a Clifford semiring if and only if it is a strong distributive lattice of skew-rings [20]. What's more, as a further generalization, they proved that a semiring S is a generalized Clifford semiring if and only if it is a strong b-lattice of skew-rings. Sen and Maity had also extended completely regular semigroups to completely regular semirings by giving a gross structure theorem: A semiring S is completely regular semiring if and only if it is a b-lattice of completely simple semirings [21]. Pastijn and Guo used inspiration for the study of semirings which are disjoint unions of rings in theory developed for completely regular semiring [26]. Maity and Ghosh also extended completely regular semiring to quasi completely regular semirings, and show that S is quasi completely regular semirings if and only if S is an idempotent semiring of quasi skew-rings [13,14]. Since the ideas of transversals are important to study algebraic structures which is useful in the study of semigroups structure [15,16,23,24]. In 2022, Huang et al. introduced some special semiring transversals into semirings and extended the results of completely regular semirings [9].

    On the other hand, in the regular semigroups with inverse transversals, split orthodox semigroups are not only special regular semigroups with inverse transversals but also one of the origins of inverse transversals. In [12], D. B. McAlister and T. S. Blyth introduced a kind of semigroups which are called split orthodox semigroups and used a band, an inverse semigroup, and Munn morphism to give a structure theorem for them. El-Qallali studied the split quasi-adequate semigroups whose idempotents are commutative and extended the result of split orthodox semigroups [5]. Li extended split orthodox semigroups to split P-regular semigroups [22].

    To develop new ways to study semirings, we will study a kind of semirings called split additively orthodox semirings which have the property like split orthodox semigroups. It is also a class of special semirings with transversals. In this paper, after obtaining some properties theorems of such semirings, we obtain a structure theorem for them by idempotent semirings, additively inverse semirings, and Munn semigroup. Consequently, the corresponding results of Clifford semirings and generalized Clifford semirings in [20], and split orthodox semigroups in [12] are also extended and strengthened.

    For the terminology and notions not given in this paper, the reader is referred to [1,8].

    Firstly, we claim that the following theorem will be frequently used without further mention.

    Theorem 2.1. (Miller-Clifford theorem) [8]

    (1) Let e and f be D-equivalent idempotents of a semigroup S. Then each element a of ReLf has a unique inverse a in RfLe, be such that aa=e and aa=f.

    (2) Let a,b be elements of a semigroup S. Then abRaLb if and only if RbLa contains an idempotent.

    In this section, we will list some elementary results of split bands and split orthodox semigroups. The following results are all due to D. B. McAlister and T. S. Blyth. For convenience, throughout this section the letter D will always denote the Green's relation on a band B.

    Definition 2.1. (Definition 1.1 [12]) Let B={Bα:αY} be a band with structure semilattice Y and D-classes the rectangular bands Bα. If :BB/D is the natural morphism then we shall say that B is split if there is a morphism π:B/DB such that π=idB/D. Such a morphism π will be called a splitting morphism.

    Definition 2.2. (Definition 1.2 [12]) Let B={Bα:αY} be a band. Then by a skeleton of B shall mean a subset E={xα:αY} such that xαBα for every αY and xαxβ=xαβ=xβxα for all α,βY.

    Lemma 2.1. (Lemma 1.3 [12]) A band B is split if and only if it has a skeleton. If π:B/DB is splitting morphism then \rm{Im} π is a skeleton of B.

    We recall that the relation

    γ={(x,y)T×T:V(x)=V(y)}

    on an orthodox semigroup T turns out to be the smallest inverse semigroup congruence on T. Moveover, on B the band of idempotents of T, γ is the same to D.

    Definition 2.3. (Definition 1.4 [12]) Let T be an orthodox semigroup and let :TT/γ be natural morphism. Then we shall say that T is split if there is a morphism π:T/γT such that π=idT/γ.

    Definition 2.4. (Definition 1.5 [12]) Let T be an orthodox semigroup with band of idempotents B. Suppose that E is a D-transversal of B in that E meets every D-class only once. Then we define the span of E by

    Sp(E)={aT:(e,fE)eRaLf}.

    Lemma 2.2. (Lemma 1.6 [12]) Let T be an orthodox semigroup with band of idempotents B. Suppose that E is a D-transversal of B in that E meets every D-class only once. Then Sp (E) meets every γ-class of T exactly once.

    We denote the unique inverse of aSp(E) in Sp(E) by a. Moreover, note that e=aa and f=aa. Then

    Theorem 2.2. (Theorem 1.7 [12]) Let T be an orthodox semigroup with band of idempotents B and suppose that B has a skeleton E. Then the following statements are equivalent:

    (1) There is an inverse subsemigroup S of T that meets every γ-class of T exactly once and has E as semilattice of idempotents;

    (2) aEaE for every a Sp (E);

    (3) Sp (E) is a subsemigroup of T.

    Moreover, if (1) holds, then necessarily S= Sp (E).

    B is a band with a skeleton E. eE. Let θ be a band isomorphism between subbands of B of the form eBe. We say θ is skeleton-preserving if it satisfies that

    fθEfE,fDomθ.

    What is more, as shown in [12], if denote Dom(θ) and Im(θ) by eθBeθ and fθBfθ respectively, then

    eθϕ=(fθeϕ)θ1 and fθϕ=(fθeϕ)ϕ.

    Now, denote by TB the set of skeleton-preserving isomorphisms θ between subbands of B of the form eBe, where eE.

    Lemma 2.3. (Lemma 2.1 [12]) Let B be a band with a skeleton E. Then TB is an inverse semigroup.

    Lemma 2.4. (Lemma 2.2 [12]) Let B be a band with a skeleton E. For θTB, define ˉθ:BB as following:

    bB,bˉθ=(eθbeθ)θ.

    Then ¯θϕ=ˉθˉϕ, θ,ϕTB.

    Given θTB, let θ:eθBeθfθBfθ. It is clear that EDomθ=eθE and ECodθ=fθE. Moreover, θ induces an isomorphism ˆθ:eθEfθE. For every xeθE, we have xˆθ=xθ. The assignment ^:θˆθ is then a morphism from TB to TE (the Munn semigroup of semilattice E).

    Suppose now that S is an inverse semigroup with semilattice of idempotents E, let μ:aμa be a morphism from S to TE.

    If there exists a morphism θ:STB making the following diagram commutative,

    we call it is a triangulation of μ. Denote aθ=θa, then ˆθa=μa, μa:aaEaaE,eaea,eaaE.

    Lemma 2.5. (Lemma 2.3 [12]) Let S be an inverse semigroup with semilattice of idempotents E and let B be a band with skeleton E. For every aS, let the domain and codomain of μa be eaE (so that ea=aa) and faE (so that fa=aa). Let θ be a triangulation of μ. Then given a,bS and e,f,u,vB such that eLea, fRfa, uLeb, vRfb, we have

    e(fu)ˉθaLeab and (fu)ˉθbvRfab.

    Corollary 2.1. (Corollary 2.4 [12]) If

    W=W(B,S,θ)={(e,a,f)B×S×B:eLea,fRfa}

    then the prescription

    (e,a,f)(u,b,v)=(e(fu)ˉθa,ab,(fu)ˉθbv)

    defines a binary operation on W.

    Theorem 2.3. (Throrem 2.5 [12]) W(B,S,θ) is an orthodox semigroup whose band of idempotents is isomorphic to B.

    Theorem 2.4. (Theorem 2.7 [12]) The orthodox semigroup W=W(B,S,θ) is split and W/γS.

    Theorem 2.5. (Theorem 2.8 [12]) Let T be a split orthodox semigroup with band B of idempotents. If π:T/γT is a splitting morphism then the set E=B Imπ of idempotents of Imπ is a skeleton of B and Sp (E)= Imπ. Moreover, if θ: Im πTB is given by aθ=θa, where the domain of θa is aaBaa, the codomain of θa is aaBaa and bθa=aba, then θ is a triangulation of μ: Im πTB and

    TW(B,Imπ,θ).

    Let (S,+,) be a semiring. Then the Green's relation on (S, +) denoted by +R, +L and +H. The set of additive idempotents and the set of multiplicative idempotents of S are denoted by E+(S) and E(S) respectively.

    We also denote the additive inverse of xS by x, (x) by x, and all the additive inverses of x by +V(x) respectively.

    Lemma 3.1. Let (S,+,) be a semiring. x,yS, if x+V(x), then (xy)=xy and (yx)=yx.

    Proof: Clearly.

    In this section, we introduce the concept of split additively orthodox semirings. For convenience, T is denoted the additively orthodox semiring whose additive idempotents forms an idempotent semiring always. The letter +D will always denote the Green's relation on (+E(S),+). Since +D is congruence on (+E(S),+,) and every +D-class is an idempotent semiring for which the additive reduct is a rectangular band. Such idempotent semiring will be called additive rectangular idempotent semiring in this paper.

    T is an additively orthodox semiring, so (T, +) is an orthodox semigroup. Then we have the following corollary.

    Corollary 3.1. The relation

    γ={(x,y)T×T:+V(x)=+V(y)}

    is the smallest additively inverse semiring congruence on T.

    {Proof: }x,y,aT,xγy, then +V(x)=+V(y). (ax)+V(ax), (ax)=ax. Since x+V(x)=+V(y), then

    ax+ay+ax=a(x+y+x)=ax

    and

    ay+ax+ay=a(y+x+y)=ay.

    So +V(ax)+V(ay). Similarly, we can show the other side. Hence, γ is the semiring congruence on T.

    Moreover, γ is an additively inverse semiring congruence on T, since T/γ is an additively inverse semiring.

    Now, let ρ to be a semiring congruence on T such that T/ρ is an additively inverse semiring. For (x,y)γ, let a+V(x)(=+V(y)). Then both xρ and yρ are inverses of aρ in the additively inverse semiring T/ρ. So xρy which implies that γρ.

    Therefore, γ is the smallest additively inverse semiring congruence on T.

    Moveover, on an idempotent semiring I, γ is the same to +D, i.e. I/γ=I/+D which is b-lattice.

    Example 3.1. Let S1={0,a,b} whose additive and multiplicative Cayley tables as following:

    Then (S1,+,) forms an additively inverse semiring.

    Let I1={p,q} and Λ1={u,v} whose additive and multiplicative Cayley tables as following:

    It is easy to verify that (I1,+,) and (Λ1,+,) form idempotent semirings. The additive reduct of (I1,+,) is a left zero band, and its multiplicative reduct is a semilattice. The additive reduct of (Λ1,+,) is a right zero band, and its multiplicative reduct is a semilattice.

    Then the direct product T=I1×S1×Λ1 forms an additively regular semiring, and E+(T)=I1×E+(S1)×Λ1 is an idempotent semiring, hence T is an additively orthodox semiring.

    (i,x,y)T,

    (k,y,l)+V((i,x,j))y+V(x)y=x.

    It implies that

    (i,x,y)γ(k,y,l)y=x,(i,x,y),(k,y,l)T.

    So, T/γ={I1×{x}×Λ1|xS1}S1. Therefore, γ is the smallest additively inverse semiring congruence on T.

    Definition 3.1. Let T be an additively orthodox semiring whose additive idempotents forms an idempotent semiring and :TT/γ be natural morphism. Then we shall say that T is split if there is a morphism π:T/γT such that π=idT/γ.

    Some additively orthodox semirings are neither completely regular semirings nor split additively orthodox semirings, see the following example.

    Example 3.2. Let S1 as shown in Example 1. Then it is also a completely regular semiring. Although the set E+(S1)={0,b} is an ideal of S1, (S1,+,) is not a generalized Clifford semiring [20].

    Let I2={p,q} and Λ2={u,v} whose additive and multiplicative Cayley tables as following:

    We can verify that (I2,+,) and (Λ2,+,) form semirings. The additive reduct of (I2,+,) is a left zero band, and its multiplicative reduct is a group. The additive reduct of (Λ2,+,) is a right zero band, and its multiplicative reduct is a group.

    Then the direct product T=I2×S1×Λ2 forms an additively regular semiring, and E+(T)=I2×E+(S1)×Λ2 forms its subsemiring, hence T is an additively orthodox semiring. But E(T)={p}×E+(S1)×{u}, according to Lemma 2.5 in [21], thus (T,+,) is not a completely regular semiring. Since E+(T) is not an idempotent semiring, T is not a split additively orthodox semiring. Moreover, {(p,x,u)|xS1} is an additively inverse semiring transversal of T [9].

    A split additively orthodox semiring may not be a completely regular semiring, see the following example.

    Example 3.3. Let S2={0,i,a,e,f,x,y} whose additive and multiplicative Cayley tables as following:

    It is easy to verify that (S2,+,) forms an additively inverse semiring, but +Hx={x} is not a skew-ring, so S2 is not a completely regular semiring or a generalized Clifford semiring.

    Let I1 and Λ1 as shown in Example 3.1. Then the direct product T=I1×S2×Λ1 forms a additively regular semiring, and E+(T)=I1×E+(S2)×Λ1 is an idempotent semiring, hence T is an additively orthodox semiring. Additionally, T/γ={I1×{x}×Λ1|xS2}. Let π:T/γ{p}×S2×{u},I1×{x}×Λ1(p,x,u). It is easy to verify that π is a split morphism, so T is a split additively orthodox semiring. Moreover, Imπ is an additively inverse semiring transversal of T. But ImπS2 which means that it is not a generalized Clifford semiring transversal of T. In addition, +H(p,x,u)={(p,x,u)} is not a skew-ring, so T is not a completely regular semiring.

    A split additively orthodox semiring may be also a completely regular semiring, see the following example.

    Example 3.4. Let T as shown in Example 3.1. So T is an additively orthodox semiring, and T/γ={I1×{x}×Λ1|xS1}S1. Let π:T/γ{p}×S1×{u},I1×{x}×Λ1(p,x,u). It is easy to verify that π is a split morphism, so T is a split additively orthodox semiring. What is more, Imπ={(p,x,u)|xS1} is an additively inverse semiring transversal of T. But ImπS1 which means that it is not a generalized Clifford semiring transversal of T. Meanwhile, T is a completely regular semiring.

    Theorem 3.1. Let T be an additively orthodox semiring with a generalized Clifford semiring transversal S. Then the following statements are equivalent:

    (1) T is a completely regular semiring;

    (2) T is a split additively orthodox semiring.

    Proof: (1)(2): T is an additively orthodox semiring which means that E+(T) forms a band. Moreover, E+(T)E(T), since T is a completely regular semiring. Let π:T/γS,γxx,x+V(x)S. It is easy to verify that π is a split morphism.

    (2)(1): By Theorem 4.1 in [9], T is a b-lattice of additively orthodox semirings with skew-ring transversals. For each additively orthodox semiring with skew-ring transversals Sα, Sα is an additively completely simple semiring by Theorem 3.1 in [9]. Moreover, E+(T)E(T). Hence, Sα is a completely simple semiring. Therefore, T is a b-lattice of completely simple semiring which means that T is a completely regular semiring.

    By Definition 2.1 and Definition 3.1, if there is a split morphism π on the idempotent semiring I, then π is a split morphism on band (I,+).

    Definition 3.2. Let I={Iα:αY} be an idempotent semiring, where Y is a b-lattice. Then by a skeleton of I shall mean a subset E={xα:αY} such that xαIα for every αY, and xα+xβ=xα+β=xβ+xα and xαxβ=xαβ for all α,βY.

    Example 3.5. Let Y={0,e} whose additive and multiplicative Cayley tables as following:

    It is easy to verify that (Y,+,) forms a b-lattice. Let I1 and Λ1 as shown in Example 3.1. Then the direct product I=I1×Y×Λ1 forms an idempotent semiring.

    Additionally, I/γ={I1×{x}×Λ1|xY}Y. Denote I1×{x}×Λ1 by γx, then I=γ0γe.

    Let E={(p,0,u),(p,e,u)}. Then (p,0,u)γ0 and (p,e,u)γe. Moreover,

    (p,0,u)+(p,e,u)=(p,e,u)=(p,e,u)+(p,0,u),

    and

    (p,0,u)(p,e,u)=(p,0e,u)=(p,0,u),

    where (p,0,u)γ0e

    Therefore, E is a skeleton of I.

    By Definition 2.2 and Definition 3.2, we easily get that if E is a skeleton of I then (E, +) is a skeleton of (I, +).

    Lemma 3.2. An idempotent semiring I is split if and only if it has a skeleton. If π:I/+DI is splitting morphism then Imπ is a skeleton of I.

    Proof: By Lemma 2.1, Definition 3.1, and Definition 3.2, it is clear.

    From now on, we explore the structure of split additively orthodox semirings.

    Lemma 4.1. Let T be a split additively orthodox semiring whose additive idempotents forms an idempotent semiring I. Then E=I Imπ is a skeleton of I.

    Proof: Imπ is an additively inverse subsemiring of T, and meets every γ-class of T exactly once. As a result, E=IImπ is the set of all the additive idempotents of Imπ forms b-lattice, and E meets every +D-class of I exactly once, hence it is a skeleton of I.

    The span of E is also the important set:

    Sp(E)={aT:(e,fE)e+Ra+Lf}.

    By Lemma 2.2, the following lemma is obtained directly.

    Lemma 4.2. Let T be a split additively orthodox semiring whose additive idempotents forms an idempotent semiring I. Then Sp (E) meets every γ-class of T exactly once.

    Noting that for every aSp(E), exist e,fE satisfy that e+Ra+Lf, then +Le+Rf contains an additive inverse a of a, and aSp(E). By Lemma 4.2, we get that a is the unique inverse of a in Sp(E), which is denoted by a hereafter. Moreover, e=a+a and f=a+a. Actually, we can get more from the following theorem.

    Theorem 4.1. Let T be an additively orthodox semiring with an idempotent semiring of additive idempotent I and suppose that I has a skeleton E. Then the following statements are equivalent:

    (1) There is an additively inverse subsemiring S of T that meets every γ-class of T exactly once and has E as b-lattice of additive idempotents;

    (2) a+E+aE for every a\rm{Sp}(E);

    (3) Sp (E) is a subsemiring of T.

    Proof: (1)(2): By Theorem 2.2, it is clear.

    (2)(3): By Theorem 2.2, Sp(E) is close under addition. Now we show that it is close under multiplication. Given a,bSp(E), there exist ea,eb,fa,fbE such that ea+Ra+Lfa, and eb+Ra+Lfb. Since +R and +L are multiplicative congruence on S, then eaeb+Rab+Lfafb. Since eaeb,fafbE, it follows that Sp(E) is a subsemiring of T.

    (3)(1): If Sp(E) is a subsemiring, by the remarks following Lemma 9, Sp(E) is an additively orthodox subsemiring which meets every γ-class exactly once and has E as its set of additive idempotents.

    By Lemma 2.2, the following corollary is obtained directly.

    Corollary 4.1. Let T be a split additively orthodox semiring whose additive idempotents forms an idempotent semiring I. Then Sp (E)= Im π.

    For every aImπ, let ea=a+a, fa=a+a. Define θa:ea+I+eafa+I+fa by xθa=a+x+a. According to the proof of Theorem 2.5 (i.e. Theorem 2.8 in [12]), θa is a skeleton-preserving isomorphism from (ea+I+ea,+) to (fa+I+fa,+) satisfies that

    (fI)fθEfE.

    Denote all the skeleton-preserving isomorphisms φ between the subbands such as e+I+e of (I, +) by +TI, where eI. Then define the addition on +TI as composition of maps, i.e. e(φ+ϕ)(eφ)ϕ. By Lemma 2.3, we get that (+TI,+) is an inverse semigroup.

    Lemma 4.3. Let T be a split additively orthodox semiring whose additive idempotents forms an idempotent semiring I. E=I Imπ. TE is the Munn semigroup of (E,+). For μaTE, define θ: Imπ+TI by aθ=θa, where the domain of θa is a+a+I+a+a, and the codomain is a+a+I+a+a. Moreover, bθa=a+b+a, then θ is a triangulation of μ: ImπTE.

    Proof: According to the proof of Theorem 2.3 (i.e. Theorem 2.5 in [12]), the mapping θ:Imπ+TI defined by aθ=θa is a morphism from (Imπ,+) to (+TI,+). By the definition of θa, we obtain that ˆθa=μa, where μaTE. TE is the Munn semigroup of (E,+), and define eμa=a+e+a which is an isomorphism from (a+a+E,+) to (a+a+E,+). As a result, θ is a triangulation of μ:ImπTE.

    Moreover, we can extend each θ+TI to a mapping ˉθ:II by defining

    (bB)bˉθ=(eθ+b+eθ)θ.

    And define the addition between two maps as composition of maps. By Lemma 4, we get that

    (θ,ϕTB)¯θ+ϕ=ˉθ+ˉϕ.

    Theorem 4.2. Let S be an additively inverse semiring with b-lattice of additive idempotents E and I be an idempotent semiring with skeleton E. For every aS, let the domain and codomain of μaTE be ea+E (so that ea=a+a) and fa+E (so that fa=a+a). Let θ be a triangulation of μ. Then given a,bS and e,f,u,vI such that e+Lea, f+Rfa, u+Leb, v+Rfb, we have

    (1) (e+(f+u)ˉθa)+Lea+b and ((f+u)ˉθb+v)+Rfa+b;

    (2) ab+H(ab) and eab=fab=eafb=faeb=eaeb=fafb;

    (3) eu+Leab and fv+Rfab.

    Proof: (1) By Lemma 2.5, it is clear.

    (2) Since ea+La+Rfa and fb+Lb+Reb, then eafb+Lab+Rfaeb. Similarly, we can get that eafb+Rab+Lfaeb. By Lemma 6, ab=(ab)=ab. So eafb+L(ab)+Lfaeb and eafb+R(ab)+Rfaeb, that is eafb+H(ab)+Hfaeb. Similarly, we get that eaeb+Hab+Hfafb. Consequently, ab+H(ab) and eab=fab=eafb=faeb=eaeb=fafb.

    (3) Since e+Lea and u+Leb, then eu+Leaeb=eab. Similarly, fv+Rfab.

    Theorem 4.3. Let T be a split additively orthodox semiring whose additive idempotents forms an idempotent semiring I. For any a,b Imπ and e,f,u,vI such that e+Lea, f+Rfa, u+Leb, v+Rfb, then

    (e+a+f)(u+b+v)=eu+ab+fv.

    Proof: Firstly, on the one hand, since f+L(e+a+f)+Re and v+L(u+b+v)+Ru, then fv+L(e+a+f)(u+b+v)+Reu. On the other hand, since e+Lea, f+Rfa, u+Leb and v+Rfb, then eu+Leab and fv+Rfab, so fv+L(eu+ab+fv)+Reu. Hence, (e+a+f)(u+b+v)+H(eu+ab+fv).

    Secondly, since e+Lea+La and f+Rfa+Ra, then

    e+a+f+a+e+a+f=e+a+a+a+f=e+a+f

    and

    a+e+a+f+a=a+a+a=a,

    so a+V(e+a+f), i.e. a is the unique additive inverse of e+a+f in Imπ. Similarly, (u+b+v)=b and (eu+ab+fv)=(ab). Thus,

    ((e+a+f)(u+b+v))=(e+a+f)(u+b+v)=(e+a+f)b=(e+a+f)b=ab=(ab).

    Consequently, (e+a+f)(u+b+v)=eu+ab+fv as required.

    Theorem 4.4. Let T be a split additively orthodox semiring whose additive idempotents forms an idempotent semiring I. For any a,b,c Imπ and e,f,u,v,g,hI such that e+Lea, f+Rfa, u+Leb, v+Rfb, g+Lec, h+Rfc, then satisfies the following four equations:

    ge+g(f+u)ˉθa=ge+(hf+gu)ˉθca,
    h(f+u)ˉθb+hv=(hf+gu)ˉθcb+hv,
    eg+(f+u)ˉθag=eg+(fh+ug)ˉθaoc,

    and

    (f+u)ˉθbh+vh=(fh+ug)ˉθbc+vh.

    Proof: For any a,b,cImπ and e,f,u,v,g,hI such that e+Lea, f+Rfa, u+Leb, v+Rfb, g+Lec, h+Rfc. On the one hand, by Theorem 4.2, we get that

    (e+(f+u)ˉθa)+Lea+b and ((f+u)ˉθb+v)+Rfa+b,

    then

    g(e+(f+u)ˉθa)+Lecea+b and h((f+u)ˉθb+v)+Rfcfa+b,

    that is

    (ge+g(f+u)ˉθa)+Lec(a+b) and (h(f+u)ˉθb+hv)+Rfc(a+b),

    where

    ec(a+b)=c(a+b)+(c(a+b))=c(a+b)+c(a+b)

    and

    fc(a+b)=(c(a+b))+c(a+b)=c(a+b)+c(a+b).

    So,

    ge+g(f+u)ˉθa=ge+g(f+u)ˉθa+ec(a+b)=ge+g(f+u)ˉθa+c(a+b)+c(a+b)=ge+g(f+u)ˉθa+c(a+b)+fc(a+b)+c(a+b)=ge+g(f+u)ˉθa+c(a+b)+h(f+u)ˉθb+hv+fc(a+b)+c(a+b)=ge+g(f+u)ˉθa+c(a+b)+h(f+u)ˉθb+hv+c(a+b)=(g+c+h)(e+(f+u)ˉθa+a+b+(f+u)ˉθb+v)+c(a+b)=(g+c+h)(e+(fa+f+u+fa)θa+a+b+(eb+f+u+eb)θb+v)+c(a+b)=(g+c+h)(e+(a+fa+f+u+fa+a)+a+b+(b+eb+f+u+eb+b)+v)+c(a+b)=(g+c+h)(e+(a+f+u+a)+a+b+(b+f+u+b)+v)+c(a+b)=(g+c+h)(e+a+f+u+(a+a)+(b+b)+f+u+b+v)+c(a+b)=(g+c+h)(e+a+f+u+(b+b)+(a+a)+f+u+b+v)+c(a+b)=(g+c+h)(e+a+f+u+f+u+b+v)+c(a+b)=(g+c+h)(e+a+f+u+b+v)+c(a+b).

    On the other hand, since +L and +R are multiplicative congruence on T, then

    ge+Lecea=eca,
    hf+Rfcfa=fca,
    gu+Leceb=ecb,
    hv+Rfcfb=fcb.

    By Theorem 4.2, we get that

    (ge+(hf+gu)ˉθ(ca))+Leca+cb and ((hf+gu)ˉθcb+hv)+Rfca+cb,

    that is

    (ge+(hf+gu)ˉθca)+Leca+cb and ((hf+gu)ˉθcb+hv)+Rfca+cb,

    where

    eca+cb=ca+cb+(ca+cb)=ca+cb+(c(a+b))=c(a+b)+c(a+b)

    and

    fca+cb=(ca+cb)+c(a+b)=(c(a+b))+c(a+b)=c(a+b)+c(a+b).

    So,

    ge+(hf+gu)ˉθ(ca)=ge+(hf+gu)ˉθ(ca)+eca+cb=ge+(hf+gu)ˉθ(ca)+ca+cb+(ca+cb)=ge+(hf+gu)ˉθ(ca)+ca+cb+fca+cb+(ca+cb)=ge+(hf+gu)ˉθ(ca)+ca+cb+(hf+gu)ˉθcb+hv+fca+cb+(ca+cb)=ge+(fca+hf+gu+fca)θ(ca)+ca+cb+(ecb+hf+gu+ecb)θcb+hv+(ca+cb)=ge+(ca+hf+gu+(ca))+ca+cb+(cb+hf+gu+cb)+hv+(ca+cb)=ge+ca+hf+gu+((ca)+ca)+(cb+(cb))+hf+gu+cb+hv+(ca+cb)=ge+ca+hf+gu+(cb+(cb))+((ca)+ca)+hf+gu+cb+hv+(ca+cb)=ge+ca+hf+gu+ecb+fca+hf+gu+cb+hv+(ca+cb)=ge+ca+hf+gu+hf+gu+cb+hv+(ca+cb)=ge+ca+hf+gu+cb+hv+(ca+cb)=(g+c+h)(e+a+f)+(g+c+h)(u+b+v)+(ca+cb)=(g+c+h)[(e+a+f)+(u+b+v)]+(ca+cb)=(g+c+h)(e+a+f+u+b+v)+(ca+cb).

    Therefore,

    ge+g(f+u)ˉθa=ge+(hf+gu)ˉθca

    as required. Similarly, we can show the following three equations:

    h(f+u)ˉθb+hv=(hf+gu)ˉθcb+hv,
    eg+(f+u)ˉθag=eg+(fh+ug)ˉθaoc,

    and

    (f+u)ˉθbh+vh=(fh+ug)ˉθbc+vh.

    Theorem 4.5. Let S be an additively inverse semiring with b-lattice of additive idempotents E and I be an idempotent semiring with skeleton E. For every aS, let the domain and codomain of μaTE be ea+E (so that ea=a+a) and fa+E (so that fa=a+a). Let θ be a triangulation of μ. Then given a,bS and e,f,u,vI such that e+Lea, f+Rfa, u+Leb, v+Rfb, g+Lec, h+Rfc, and satisfies the following four equations:

    ge+g(f+u)ˉθa=ge+(hf+gu)ˉθca,
    h(f+u)ˉθb+hv=(hf+gu)ˉθcb+hv,
    eg+(f+u)ˉθag=eg+(fh+ug)ˉθaoc,

    and

    (f+u)ˉθbh+vh=(fh+ug)ˉθbc+vh.

    Define two binary operations

    (e,a,f)+(u,b,v)=(e+(f+u)ˉθa,a+b,(f+u)ˉθb+v)

    and

    (e,a,f)(u,b,v)=(eu,ab,fv)

    on

    W=W(I,S,θ)={(e,a,f)I×S×I:e+Lea,f+Rfa}.

    Then W is a split additively orthodox semiring whose additive idempotents form an idempotent semiring which is isomorphic to I, and W/γS.

    Conversely, every split additively orthodox semiring is of the form W(I,S,θ).

    Proof: By Theorem 2.3, (W,+) is an orthodox semigroup. And the associativity of multiplication is clear. We only need to prove the distributivity of the semiring W. Give (e,a,f),(u,b,v),(g,c,h)W, by the four equations,

    (g,c,h)[(e,a,f)+(u,b,v)]=(g,c,h)(e+(f+u)ˉθa,a+b,(f+u)ˉθb+v)=(g(e+(f+u)ˉθa),c(a+b),h((f+u)ˉθb+v))=(ge+g(f+u)ˉθa,ca+cb,h(f+u)ˉθb+hv)=(ge+(hf+gu)ˉθca,ca+cb,(hf+gu)ˉθcb+hv)=(ge,ca,hf)+(gu,cb,hv).

    Thus the distributivity on left is hold. And the distributivity on right can be proved similarly. Hence W is additively orthodox semiring as required.

    By the proof of Theorem 2.3 (i.e. Theorem 2.5 in [12]), we get that +E(W)={(e,a,f)W:a+E(S)}, moreover, the map ϕ defined from +E(W) to I by (e,a,f)ϕ=e+f is bijective and preserves addition. So we need to show it also preserves multiplication well. For any (e,a,f),(u,b,v)+E(W), since a,b+E(S) then a=a and b=b, we find that ea=a+a=a+a=a=a+a=fa and eb=b+b=b+b=b=b+b=fb, so e+La+Rf and u+Lb+Rv. On the one hand, by Theorem 2.1, we get that e+R(e+f)+Lf and u+R(u+v)+Lv, so eu+R(e+f)(u+v)+Lfv since +R and +L are both multiplicative congruence on I. On the other hand, we get that eu+Lab+Rfv, then eu+R(eu+fv)+Lfv by Theorem 2.1. Therefore, (e+f)(u+v)+H(eu+fv) which means that (e+f)(u+v)=eu+fv. Hence,

    [(e,a,f)(u,b,v)]ϕ=(eu,ab,fv)ϕ=eu+fv=(e+f)(u+v)=(e,a,f)ϕ(u,b,v)ϕ.

    Thus ϕ is an isomorphism as require.

    By the proof of Theorem 2.3 (i.e. Theorem 2.5 in [12]), we get that

    (e,a,f)γ(u,b,v)a=ba=b,

    and the mapping π:W/γW given by γ(e,a,f)π=(ea,a,fa) preserves addition and satisfies that π=idW/γ. Now we will show that it also preserves multiplication:

    γ(e,a,f)πγ(u,b,v)π=(ea,a,fa)(eb,b,fb)=(eaeb,ab,fafb)=(eab,ab,fab)=γ(e,a,f)(u,b,v)π.

    Finally, it is clear that

    W/γImπS,

    the second isomorphism being that given by (ea,a,fa)a.

    Conversely, let T be a split additively orthodox semiring with the idempotent semiring I of additive idempotents, and mapping π:T/γT be a splitting morphism. By Lemma 4.1 and Corollary 4.1, the set E=IImπ of additive idempotents of Imπ is a skeleton of I and Sp(E) = Imπ.

    Moreover, define θ: ImπTI by aθ=θa, where the domain of θa is a+a+I+a+a, the codomain of θa is a+a+I+a+a and bθa=a+b+a. By Lemma 4.3, θ is a triangulation of μ:ImπTE. By Theorem 4.4, W(I,Imπ,θ) satisfies the four equations. We can therefore construct the split additively orthodox semiring W=W(I,Imπ,θ).

    Define the map ψ:WT by

    (e,a,f)ψ=e+a+f.

    By the proof shown in [12]. ψ is bijection and preserves addition.

    Since for any a,bImπ and e,f,u,vI such that e+Lea, f+Rfa, u+Leb, v+Rfb, then

    (e+a+f)(u+b+v)=eu+ab+fv.

    So it also preserves multiplication clearly.

    Therefore, ψ is a semiring isomorphism.

    As shown in [20], a generalized Clifford semiring S is not only an additively orthodox semiring, but also a strong b-lattice T of skew-rings Rα(αT), i.e. S=<T,Rα,ϕα,β>. Hence, S/γ=T. Let π:T/γS,αxRα. It is easy to verify that π is a split morphism, so S is a split additively orthodox semiring.

    Remark 1. From Theorem 4.5, we can see that the class of split additively orthodox semiringsis actually not only a general extension of the class of Clifford semirings and generalized Clifford semirings studied in [20], but also a general extension of the class of split orthodox semigroups in [12].

    In this paper, we introduce and explore split additively orthodox semirings. Some property theorems are obtained, and a structure theorem is established by using idempotent semirings, additively inverse semirings, and Munn semigroup. It not only extends and strengthens the corresponding results of Clifford semirings and split orthodox semigroups but also develops a new way to study semirings.

    This work was supported in part by the Dongguan Science and Technology of Social Development Program (2022), in part by the NNSF of China (11801239, 12171022).

    All authors declare no conflicts of interest in this paper.



    [1] T. S. Blyth, Lattices and ordered algebraic structures, 1 Ed., London: Springer, 2005. https://doi.org/10.1007/b139095
    [2] A. K. Bhuniya, R. Debnath, Varieties of idempotent distributive semirings with regular multiplicative reduct, Semigroup Forum, 90 (2015), 843–847. https://doi.org/10.1007/s00233-014-9680-2 doi: 10.1007/s00233-014-9680-2
    [3] A. K. Bhuniya, T. K. Mondal, Distributive lattice decompositions of semirings with a semilattice additive reduct, Semigroup Forum, 80 (2010), 293–301. https://doi.org/10.1007/s00233-009-9205-6 doi: 10.1007/s00233-009-9205-6
    [4] I. Chajda, H. Länger, The variety of commutative additively and multiplicatively idempotent semirings, Semigroup Forum, 96 (2018), 409–415. https://doi.org/10.1007/s00233-017-9905-2 doi: 10.1007/s00233-017-9905-2
    [5] A. El-Qallali, Split quasi-adequate semigroups, Libyan J. Sci., 14 (1985), 55–66.
    [6] M. P. Grillet, Semirings with a completely simple additive semigroup, J. Aust. Math. Soc., 20 (1975), 257–267. https://doi.org/10.1017/S1446788700020607 doi: 10.1017/S1446788700020607
    [7] J. S. Golan, Semirings and their applications, 1 Ed., Netherlands: Springer, 1999.
    [8] J. M. Howie, Fundamentals of semigroup theory, 1 Ed., Oxford: Oxford University Press, 1995.
    [9] K. Q. Huang, Y. Z. Chen, M. M. Ren. Additively orthodox semirings with special transversals, AIMS Math., 7 (2022), 4153–4167. https://doi.org/10.3934/math.2022230 doi: 10.3934/math.2022230
    [10] P. H. Karvellas, Inversive semirings, J. Aust. Math. Soc., 18 (1974), 277–288. https://doi.org/10.1017/S1446788700022850 doi: 10.1017/S1446788700022850
    [11] A. Kendziorra, J. Zumbrägel, Finite simple additively idempotent semirings, J. Algebra, 388 (2013), 43–64. https://doi.org/10.1016/j.jalgebra.2013.04.023 doi: 10.1016/j.jalgebra.2013.04.023
    [12] D. B. McAlister, T. S. Blyth, Split orthodox semigroups, J. Algebra, 51 (1978), 491–525.
    [13] S. K. Maity, R. Ghosh, On quasi completely regular semirings, Semigroup Forum, 89 (2014), 422–430. https://doi.org/10.1007/s00233-014-9579-y doi: 10.1007/s00233-014-9579-y
    [14] S. K. Maity, R. Ghosh, Congruences on quasi completely regular semirings, Semigroup Forum, 102 (2021), 725–736. https://doi.org/10.1007/s00233-021-10186-x doi: 10.1007/s00233-021-10186-x
    [15] D. B. McAlister, R. B. McFadden, Regular semigroups with inverse transversals, Q. J. Math., 34 (1983), 459–474. https://doi.org/10.1093/qmath/34.4.459 doi: 10.1093/qmath/34.4.459
    [16] D. B. McAlister, R. B. McFadden, Semigroups with inverse transversal as matrix semigroups, Q. J. Math., 35 (1984), 455–474. https://doi.org/10.1093/qmath/35.4.455 doi: 10.1093/qmath/35.4.455
    [17] F. Pastijn, A. Ramanowska, Idempotent distributive semiring I, Acta. Sci. Math., 44 (1982), 239–253.
    [18] F. Pastijn, Idempotent distributive semiring Ⅱ, Semigroup Forum, 26 (1983), 151–166. https://doi.org/10.1007/BF02572828 doi: 10.1007/BF02572828
    [19] M. K. Sen, Y. Q. Guo, K. P. Shum, A class of idempotent semirings, Semigroup Forum, 60 (2000), 351–367. https://doi.org/10.1007/s002339910029 doi: 10.1007/s002339910029
    [20] M. K. Sen, S. K. Maity, K. P. Shum, Clifford semirings and generalized Clifford semirings, Taiwan. J. Math., 9 (2005), 433–444. http://www.jstor.org/stable/43833616
    [21] S. K. Maity, M. K. Sen, K. P. Shum, On completely regular semirings, Bull. Cal. Math. Soc., 98 (2006), 319–328.
    [22] Y. H. Li, Split P-regular semigroup, J. South China Normal Univ. (Nat. Sci.), 1 (2005), 1–5.
    [23] T. Saito, Structure of regular semigroup with a quasi-ideal inverse transversal, Semigroup Forum, 31 (1985), 305–309. https://doi.org/10.1007/BF02572659 doi: 10.1007/BF02572659
    [24] T. Saito, Construction of regular semigroups with inverse transversals, P. Edinburgh. Math. Soc., 32 (1989), 41–51. https://doi.org/10.1017/S0013091500006891 doi: 10.1017/S0013091500006891
    [25] M. K. Sen, A. K. Bhuniya, On semirings whose additive reduct is a semilattice, Semigroup forum, 82 (2011), 131–140. https://doi.org/10.1007/s00233-010-9271-9 doi: 10.1007/s00233-010-9271-9
    [26] F. Pastijn, Y. Q. Guo, Semirings which are unions of rings, Sci. China Ser. A-Math., 45 (2002), 172–195.
    [27] J. Zeleznekow, Regular semirings, Semigroup Forum, 23 (1981), 119–136. https://doi.org/10.1007/BF02676640 doi: 10.1007/BF02676640
    [28] J. Zeleznekow, Orthodox semirings and rings, J. Aust. Math. Soc., 30 (1980), 50–54. https://doi.org/10.1017/S144678870002190X doi: 10.1017/S144678870002190X
  • Reader Comments
  • © 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1955) PDF downloads(48) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog