Sweeping surface due to rotation minimizing Darboux frame in Euclidean 3-space $\mathbb{E}^{3}$

1.   Introduction

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, +, \cdot)$ is an algebra with two binary operations $+$ and $\cdot$ such that the additive reduct $(S, +)$ and the multiplicative reduct $(S, \cdot)$ are semigroup connected by ring-like distributive laws, that is,

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].

2.   Preliminaries

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 $\mathcal{D}$-equivalent idempotents of a semigroup $S$. Then each element a of $\mathcal{R}_e\cap \mathcal{L}_f$ has a unique inverse $a'$ in $\mathcal{R}_f\cap \mathcal{L}_e$, be such that $aa' = e$ and $a'a = f$.

(2) Let $a, b$ be elements of a semigroup $S$. Then $ab\in \mathcal{R}_a\cap \mathcal{L}_b$ if and only if $\mathcal{R}_b\cap \mathcal{L}_a$ 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 $\mathcal{D}$ will always denote the Green's relation on a band $B$.

Definition 2.1. (Definition 1.1 ^[12]) Let $B = \cup\{B_{\alpha}:\alpha\in Y\}$ be a band with structure semilattice $Y$ and $\mathcal {D}$-classes the rectangular bands $B_{\alpha}$. If $\natural:B\rightarrow B/\mathcal {D}$ is the natural morphism then we shall say that $B$ is split if there is a morphism $\pi:B/\mathcal {D}\rightarrow B$ such that $\pi\natural = id_{B/\mathcal {D}}$. Such a morphism $\pi$ will be called a splitting morphism.

Definition 2.2. (Definition 1.2 ^[12]) Let $B = \cup\{B_{\alpha}:\alpha\in Y\}$ be a band. Then by a skeleton of $B$ shall mean a subset $E = \{x_{\alpha}:\alpha\in Y\}$ such that $x_\alpha\in B_\alpha$ for every $\alpha\in Y$ and $x_\alpha x_\beta = x_{\alpha\beta} = x_\beta x_\alpha$ for all $\alpha, \; \beta\in Y$.

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

We recall that the relation

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$, $\gamma$ is the same to $\mathcal {D}$.

Definition 2.3. (Definition 1.4 ^[12]) Let $T$ be an orthodox semigroup and let $\natural:T\rightarrow T/\gamma$ be natural morphism. Then we shall say that $T$ is split if there is a morphism $\pi: T/\gamma\rightarrow T$ such that $\pi\natural = id_{T/\gamma}$.

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

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

We denote the unique inverse of $a\in$Sp($E$) in Sp($E$) by $a^\circ$. Moreover, note that $e = aa^\circ$ and $f = a^\circ a$. 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^\circ$ of $T$ that meets every $\gamma$-class of $T$ exactly once and has $E$ as semilattice of idempotents;

(2) $aEa^\circ\subseteq E$ for every $a\in$ $\rm{Sp}$ $(E)$;

(3) $\rm{Sp}$ $(E)$ is a subsemigroup of $T$.

Moreover, if (1) holds, then necessarily $S^\circ =$ $\rm{Sp}$ $(E)$.

$B$ is a band with a skeleton $E$. $e\in E$. Let $\theta$ be a band isomorphism between subbands of $B$ of the form $eBe$. We say $\theta$ is skeleton-preserving if it satisfies that

What is more, as shown in ^[12], if denote $Dom(\theta)$ and $Im(\theta)$ by $e_\theta Be_\theta$ and $f_\theta Bf_\theta$ respectively, then

Now, denote by $T_B$ the set of skeleton-preserving isomorphisms $\theta$ between subbands of $B$ of the form $eBe$, where $e\in E$.

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

Lemma 2.4. (Lemma 2.2 ^[12]) Let $B$ be a band with a skeleton $E$. For $\theta \in T_B$, define $\bar{\theta}:B\rightarrow B$ as following:

Then $\overline {\theta\phi} = \bar\theta\bar\phi$, $\forall \theta, \phi\in T_B$.

Given $\theta\in T_B$, let $\theta: e_\theta Be_\theta \rightarrow f_\theta Bf_\theta$. It is clear that $E\cap Dom \theta = e_\theta E$ and $E\cap Cod \theta = f_\theta E$. Moreover, $\theta$ induces an isomorphism $\hat{\theta}:e_\theta E\rightarrow f_\theta E$. For every $x\in e_\theta E$, we have $x\hat{\theta} = x\theta$. The assignment $\widehat{}:\theta\mapsto \hat{\theta}$ is then a morphism from $T_B$ to $T_E$ (the Munn semigroup of semilattice $E$).

Suppose now that $S$ is an inverse semigroup with semilattice of idempotents $E$, let $\mu:a\mapsto\mu_a$ be a morphism from $S$ to $T_E$.

If there exists a morphism $\theta:S\rightarrow T_B$ making the following diagram commutative,

we call it is a $triangulation$ of $\mu$. Denote $a\theta = \theta_a$, then $\hat{\theta}_a = \mu_a$, $\mu_a:aa^\circ E\rightarrow a^\circ aE, e\mapsto a^\circ ea, e\in aa^\circ E$.

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 $a\in S$, let the domain and codomain of $\mu_a$ be $e_aE$ (so that $e_a = aa^\circ$) and $f_aE$ (so that $f_a = a^\circ a$). Let $\theta$ be a triangulation of $\mu$. Then given $a, b\in S$ and $e, f, u, v\in B$ such that $e\mathcal {L}e_a$, $f\mathcal{R}f_a$, $u\mathcal{L}e_b$, $v\mathcal{R}f_b$, we have

Corollary 2.1. (Corollary 2.4 ^[12]) If

then the prescription

defines a binary operation on $W$.

Theorem 2.3. (Throrem 2.5 ^[12]) $W(B, S, \theta)$ 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, \theta)$ is split and $W/\gamma\cong S$.

Theorem 2.5. (Theorem 2.8 ^[12]) Let $T$ be a split orthodox semigroup with band $B$ of idempotents. If $\pi: T/\gamma\rightarrow T$ is a splitting morphism then the set $E = B\cap$ ${\rm{Im}} \pi$ of idempotents of ${\rm{Im}} \pi$ is a skeleton of $B$ and $\rm{Sp}$ $(E) =$ ${\rm{Im}} \pi$. Moreover, if $\theta:$ $\rm{Im}$ $\pi\rightarrow T_B$ is given by $a\theta = \theta_a$, where the domain of $\theta_a$ is $aa^\circ Baa^\circ$, the codomain of $\theta_a$ is $a^\circ aBa^\circ a$ and $b\theta_a = a^\circ ba$, then $\theta$ is a triangulation of $\mu:$ $\rm{Im}$ $\pi\rightarrow T_B$ and

3.   Split adtitively orthodox semirings

Let $(S, +, \cdot)$ be a semiring. Then the Green's relation on ($S$, +) denoted by $\mathcal {\overset{+}{R}}$, $\mathcal {\overset{+}{L}}$ and $\mathcal {\overset{+}{H}}$. The set of additive idempotents and the set of multiplicative idempotents of $S$ are denoted by $E^{+}(S)$ and $E^{\bullet}(S)$ respectively.

We also denote the additive inverse of $x\in S$ by $x'$, $(x')'$ by $x''$, and all the additive inverses of $x$ by $\overset{+}V(x)$ respectively.

Lemma 3.1. Let $(S, +, \cdot)$ be a semiring. $\forall x, y\in S$, if $x'\in\overset{+}V(x)\ne \emptyset$, then $(xy)' = x'y$ 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 $\mathcal {\overset{+}{D}}$ will always denote the Green's relation on $(\overset{+}E(S), +)$. Since $\mathcal {\overset{+}{D}}$ is congruence on $(\overset{+}E(S), +, \cdot)$ and every $\mathcal {\overset{+}{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

is the smallest additively inverse semiring congruence on $T$.

{Proof: }$\forall x, y, a\in T, x\gamma y,$ then $\overset{+}V(x) = \overset{+}V(y)$. $\forall (ax)'\in \overset{+}V(ax)$, $(ax)' = ax'$. Since $x'\in \overset{+}V(x) = \overset{+}V(y)$, then

and

So $\overset{+}V(ax)\subseteq \overset{+}V(ay)$. Similarly, we can show the other side. Hence, $\gamma$ is the semiring congruence on $T$.

Moreover, $\gamma$ is an additively inverse semiring congruence on $T$, since $T/\gamma$ is an additively inverse semiring.

Now, let $\rho$ to be a semiring congruence on $T$ such that $T/\rho$ is an additively inverse semiring. For $(x, y)\in\gamma$, let $a\in \overset{+}V(x)( = \overset{+}V(y))$. Then both $x\rho$ and $y\rho$ are inverses of $a\rho$ in the additively inverse semiring $T/\rho$. So $x\rho y$ which implies that $\gamma \subseteq\rho$.

Therefore, $\gamma$ is the smallest additively inverse semiring congruence on $T$.

Moveover, on an idempotent semiring $I$, $\gamma$ is the same to $\mathcal {\overset{+}D}$, i.e. $I/\gamma = I/\mathcal {\overset{+}D}$ which is b-lattice.

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

Then $(S_1, +, \cdot)$ forms an additively inverse semiring.

Let $I_{1} = \{p, q\}$ and $\Lambda_{1} = \{u, v\}$ whose additive and multiplicative Cayley tables as following:

It is easy to verify that $(I_{1}, +, \cdot)$ and $(\Lambda_{1}, +, \cdot)$ form idempotent semirings. The additive reduct of $(I_{1}, +, \cdot)$ is a left zero band, and its multiplicative reduct is a semilattice. The additive reduct of $(\Lambda_{1}, +, \cdot)$ is a right zero band, and its multiplicative reduct is a semilattice.

Then the direct product $T = I_{1}\times S_1\times \Lambda_{1}$ forms an additively regular semiring, and $E^{+}(T) = I_{1}\times E^{+}(S_1)\times \Lambda_{1}$ is an idempotent semiring, hence $T$ is an additively orthodox semiring.

$\forall (i, x, y)\in T$,

It implies that

So, $T/\gamma = \{I_{1}\times \{x\}\times \Lambda_{1}|x\in S_1\}\cong S_1$. Therefore, $\gamma$ 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 $\natural:T\rightarrow T/\gamma$ be natural morphism. Then we shall say that $T$ is split if there is a morphism $\pi: T/\gamma\rightarrow T$ such that $\pi\natural = id_{T/\gamma}$.

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

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

Let $I_{2} = \{p, q\}$ and $\Lambda_{2} = \{u, v\}$ whose additive and multiplicative Cayley tables as following:

We can verify that $(I_{2}, +, \cdot)$ and $(\Lambda_{2}, +, \cdot)$ form semirings. The additive reduct of $(I_{2}, +, \cdot)$ is a left zero band, and its multiplicative reduct is a group. The additive reduct of $(\Lambda_{2}, +, \cdot)$ is a right zero band, and its multiplicative reduct is a group.

Then the direct product $T = I_{2}\times S_1\times \Lambda_{2}$ forms an additively regular semiring, and $E^{+}(T) = I_{2}\times E^{+}(S_1)\times \Lambda_{2}$ forms its subsemiring, hence $T$ is an additively orthodox semiring. But $E^{\bullet}(T) = \{p\} \times E^{+}(S_1)\times\{u\}$, according to Lemma 2.5 in ^[21], thus $(T, +, \cdot)$ 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)|x\in S_1\}$ 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 $S_2 = \{0, i, a, e, f, x, y\}$ whose additive and multiplicative Cayley tables as following:

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

Let $I_{1}$ and $\Lambda_{1}$ as shown in Example 3.1. Then the direct product $T = I_{1}\times S_2\times \Lambda_{1}$ forms a additively regular semiring, and $E^{+}(T) = I_{1}\times E^{+}(S_2)\times \Lambda_{1}$ is an idempotent semiring, hence $T$ is an additively orthodox semiring. Additionally, $T/\gamma = \{I_{1}\times \{x\}\times \Lambda_{1}|x\in S_2\}$. Let $\pi: T/\gamma\rightarrow \{p\}\times S_2\times\{u\}, I_{1}\times \{x\}\times \Lambda_{1}\mapsto (p, x, u)$. It is easy to verify that $\pi$ is a split morphism, so $T$ is a split additively orthodox semiring. Moreover, ${\rm{Im}} \pi$ is an additively inverse semiring transversal of $T$. But ${\rm{Im}} \pi \cong S_2$ which means that it is not a generalized Clifford semiring transversal of $T$. In addition, $\overset{+}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/\gamma = \{I_{1}\times \{x\}\times \Lambda_{1}|x\in S_1\} \cong S_1$. Let $\pi: T/\gamma\rightarrow \{p\}\times S_1\times\{u\}, I_{1}\times \{x\}\times \Lambda_{1}\mapsto (p, x, u)$. It is easy to verify that $\pi$ is a split morphism, so $T$ is a split additively orthodox semiring. What is more, ${\rm{Im}} \pi = \{(p, x, u)|x\in S_1\}$ is an additively inverse semiring transversal of $T$. But ${\rm{Im}} \pi\cong S_1$ 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)$\Rightarrow$(2): $T$ is an additively orthodox semiring which means that $E^{+}(T)$ forms a band. Moreover, $E^{+}(T)\subseteq E^{\bullet}(T)$, since $T$ is a completely regular semiring. Let $\pi: T/\gamma\rightarrow S, \gamma_{x}\mapsto x^\circ, x^\circ\in \overset{+}V(x)\cap S$. It is easy to verify that $\pi$ is a split morphism.

(2)$\Rightarrow$(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_{\alpha}$, $S_{\alpha}$ is an additively completely simple semiring by Theorem 3.1 in ^[9]. Moreover, $E^{+}(T)\subseteq E^{\bullet}(T)$. Hence, $S_{\alpha}$ 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 $\pi$ on the idempotent semiring $I$, then $\pi$ is a split morphism on band $(I, +)$.

Definition 3.2. Let $I = \cup\{I_{\alpha}:\alpha\in Y\}$ be an idempotent semiring, where Y is a b-lattice. Then by a skeleton of $I$ shall mean a subset $E = \{x_{\alpha}:\alpha\in Y\}$ such that $x_\alpha\in I_\alpha$ for every $\alpha\in Y$, and $x_\alpha+x_\beta = x_{\alpha+\beta} = x_\beta +x_\alpha$ and $x_\alpha x_\beta = x_{\alpha\beta}$ for all $\alpha, \beta\in Y$.

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

It is easy to verify that $(Y, +, \cdot)$ forms a b-lattice. Let $I_{1}$ and $\Lambda_{1}$ as shown in Example 3.1. Then the direct product $I = I_{1}\times Y\times \Lambda_{1}$ forms an idempotent semiring.

Additionally, $I/\gamma = \{I_{1}\times \{x\}\times \Lambda_{1}|x\in Y\}\cong Y$. Denote $I_{1}\times \{x\}\times \Lambda_{1}$ by $\gamma_{x}$, then $I = \gamma_{0}\cup \gamma_{e}$.

Let $E = \{(p, 0, u), (p, e, u)\}$. Then $(p, 0, u)\in\gamma_{0}$ and $(p, e, u)\in\gamma_{e}$. Moreover,

and

where $(p, 0, u)\in \gamma_{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 $\pi:I/\mathcal {\overset{+}D}\rightarrow I$ is splitting morphism then ${\rm{Im}} \pi$ is a skeleton of I.

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

4.   The structure theorem

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\cap$ ${\rm{Im}} \pi$ is a skeleton of $I$.

Proof: Im$\pi$ is an additively inverse subsemiring of $T$, and meets every $\gamma$-class of $T$ exactly once. As a result, $E = I\cap$Im$\pi$ is the set of all the additive idempotents of Im$\pi$ forms b-lattice, and $E$ meets every $\mathcal {\overset{+}D}$-class of $I$ exactly once, hence it is a skeleton of $I$.

The span of $E$ is also the important set:

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 $\rm{Sp}$ $(E)$ meets every $\gamma$-class of T exactly once.

Noting that for every $a\in$Sp$(E)$, exist $e, f\in E$ satisfy that $e\mathcal {\overset{+}R}a\mathcal {\overset{+}L}f$, then $\mathcal {\overset{+}L}_e\cap \mathcal {\overset{+}R}_f$ contains an additive inverse $a'$ of $a$, and $a'\in$Sp$(E)$. By Lemma 4.2, we get that $a'$ is the unique inverse of $a$ in Sp($E$), which is denoted by $a^\circ$ hereafter. Moreover, $e = a+a^\circ$ and $f = a^\circ+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 $\gamma$-class of $T$ exactly once and has $E$ as b-lattice of additive idempotents;

(2) $a+E+a^\circ\subseteq E$ for every $a\in$\rm{Sp}$(E)$;

(3) $\rm{Sp}$ $(E)$ is a subsemiring of $T$.

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

(2)$\Rightarrow$(3): By Theorem 2.2, Sp($E$) is close under addition. Now we show that it is close under multiplication. Given $a, b\in {\rm Sp}(E)$, there exist $e_a, e_b, f_a, f_b\in E$ such that $e_a\mathcal {\overset{+}R}a\mathcal {\overset{+}L}f_a,$ and $e_b\mathcal {\overset{+}R}a\mathcal {\overset{+}L}f_b$. Since $\mathcal {\overset{+}R}$ and $\mathcal {\overset{+}L}$ are multiplicative congruence on $S$, then $e_ae_b\mathcal {\overset{+}R}ab\mathcal {\overset{+}L}f_af_b.$ Since $e_ae_b, f_af_b\in E$, it follows that Sp($E$) is a subsemiring of $T$.

(3)$\Rightarrow$(1): If Sp($E$) is a subsemiring, by the remarks following Lemma 9, Sp($E$) is an additively orthodox subsemiring which meets every $\gamma$-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 $\rm{Sp}$ $(E) =$ $\rm{Im}$ $\pi$.

For every $a\in$Im$\pi$, let $e_a = a+a^\circ$, $f_a = a^\circ+a$. Define $\theta_a:e_a+I+e_a\rightarrow f_a+I+f_a$ by $x\theta_a = a^\circ+x+a$. According to the proof of Theorem 2.5 (i.e. Theorem 2.8 in ^[12]), $\theta_a$ is a skeleton-preserving isomorphism from $(e_a+I+e_a, +)$ to $(f_a+I+f_a, +)$ satisfies that

Denote all the skeleton-preserving isomorphisms $\varphi$ between the subbands such as $e+I+e$ of ($I$, +) by $\overset{+}T_I$, where $e\in I$. Then define the addition on $\overset{+}T_I$ as composition of maps, i.e. $e(\varphi+\phi)\triangleq(e\varphi)\phi$. By Lemma 2.3, we get that $(\overset{+}T_I, +)$ 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\cap$ ${\rm{Im}} \pi$. $T_E$ is the Munn semigroup of $(E, +)$. For $\mu_a\in T_E$, define $\theta:$ ${\rm{Im}} \pi\rightarrow \overset{+}T_I$ by $a\theta = \theta_a$, where the domain of $\theta_a$ is $a+a^\circ+I+a+a^\circ$, and the codomain is $a^\circ+a+I+a^\circ+a$. Moreover, $b\theta_a = a^\circ+b+a$, then $\theta$ is a $triangulation$ of $\mu:$ $\rm{Im} \pi\rightarrow T_E$.

Proof: According to the proof of Theorem 2.3 (i.e. Theorem 2.5 in ^[12]), the mapping $\theta:\;$Im$\pi\rightarrow \overset{+}T_I$ defined by $a\theta = \theta_a$ is a morphism from $($Im$\pi, +)$ to $(\overset{+}T_I, +)$. By the definition of $\theta_a$, we obtain that $\hat{\theta}_a = \mu_a$, where $\mu_a\in T_E$. $T_E$ is the Munn semigroup of $(E, +)$, and define $e\mu_a = a^\circ+e+a$ which is an isomorphism from $(a+a^\circ+E, +)$ to $(a^\circ+a+E, +)$. As a result, $\theta$ is a $triangulation$ of $\mu:\;$Im$\pi\rightarrow T_E$.

Moreover, we can extend each $\theta\in \overset{+}T_I$ to a mapping $\bar\theta:I\rightarrow I$ by defining

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

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 $a\in S$, let the domain and codomain of $\mu_a \in T_E$ be $e_a+E$ (so that $e_a = a+a^\circ$) and $f_a+E$ (so that $f_a = a^\circ+a$). Let $\theta$ be a triangulation of $\mu$. Then given $a, b\in S$ and $e, f, u, v\in I$ such that $e\mathcal {\overset{+}L}e_a$, $f\mathcal {\overset{+}R}f_a$, $u\mathcal {\overset{+}L}e_b$, $v\mathcal {\overset{+}R}f_b$, we have

(1) $(e+(f+u)\bar{\theta}_{a^\circ})\mathcal {\overset{+}L}e_{a+b}$ and $((f+u) \bar{\theta}_b+v)\mathcal {\overset{+}R}f_{a+b}$;

(2) $ab\mathcal {\overset{+}H}(ab)^\circ$ and $e_{ab} = f_{ab} = e_af_b = f_ae_b = e_ae_b = f_af_b$;

(3) $eu\mathcal {\overset{+}L}e_{ab}$ and $fv\mathcal {\overset{+}R}f_{ab}$.

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

(2) Since $e_a\mathcal {\overset{+}L}a_\circ\mathcal {\overset{+}R}f_a$ and $f_b\mathcal {\overset{+}L}b\mathcal {\overset{+}R}e_b$, then $e_af_b\mathcal {\overset{+}L}a^\circ b\mathcal {\overset{+}R}f_ae_b$. Similarly, we can get that $e_af_b\mathcal {\overset{+}R}ab^\circ\mathcal {\overset{+}L}f_ae_b$. By Lemma 6, $a^\circ b = (ab)^\circ = ab^\circ$. So $e_af_b\mathcal {\overset{+}L}(ab)^\circ\mathcal {\overset{+}L}f_ae_b$ and $e_af_b\mathcal {\overset{+}R}(ab)^\circ\mathcal {\overset{+}R}f_ae_b$, that is $e_af_b\mathcal {\overset{+}H}(ab)^\circ\mathcal {\overset{+}H}f_ae_b$. Similarly, we get that $e_ae_b\mathcal {\overset{+}H}ab\mathcal {\overset{+}H}f_af_b$. Consequently, $ab\mathcal {\overset{+}H}(ab)^\circ$ and $e_{ab} = f_{ab} = e_af_b = f_ae_b = e_ae_b = f_af_b$.

(3) Since $e\mathcal {\overset{+}L}e_a$ and $u\mathcal {\overset{+}L}e_b$, then $eu\mathcal {\overset{+}L}e_ae_b = e_{ab}$. Similarly, $fv\mathcal {\overset{+}R}f_{ab}$.

Theorem 4.3. Let $T$ be a split additively orthodox semiring whose additive idempotents forms an idempotent semiring $I$. For any $a, b\in$ ${\rm{Im}} \pi$ and $e, f, u, v\in I$ such that $e\mathcal {\overset{+}L}e_a$, $f\mathcal {\overset{+}R}f_a$, $u\mathcal {\overset{+}L}e_b$, $v\mathcal {\overset{+}R}f_b$, then

Proof: Firstly, on the one hand, since $f\mathcal{\overset{+}L}(e+a+f)\mathcal {\overset{+}R}e$ and $v\mathcal {\overset{+}L}(u+b+v)\mathcal {\overset{+}R}u$, then $fv\mathcal {\overset{+}L}(e+a+f)(u+b+v)\mathcal {\overset{+}R}eu$. On the other hand, since $e\mathcal {\overset{+}L}e_a$, $f\mathcal {\overset{+}R}f_a$, $u\mathcal {\overset{+}L}e_b$ and $v\mathcal {\overset{+}R}f_b$, then $eu\mathcal {\overset{+}L}e_{ab}$ and $fv\mathcal {\overset{+}R}f_{ab}$, so $fv\mathcal {\overset{+}L}(eu+ab+fv)\mathcal {\overset{+}R}eu$. Hence, $(e+a+f)(u+b+v)\mathcal {\overset{+}H}(eu+ab+fv)$.

Secondly, since $e\mathcal {\overset{+}L}e_{a}\mathcal {\overset{+}L}a^\circ$ and $f\mathcal {\overset{+}R}f_{a}\mathcal {\overset{+}R}a^\circ$, then

and

so $a^\circ\in \overset{+}V(e+a+f)$, i.e. $a^\circ$ is the unique additive inverse of $e+a+f$ in Im$\pi$. Similarly, $(u+b+v)^\circ = b^\circ$ and $(eu+ab+fv)^\circ = (ab)^\circ$. Thus,

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\in$ ${\rm{Im}} \pi$ and $e, f, u, v, g, h\in I$ such that $e\mathcal {\overset{+}L}e_a$, $f\mathcal {\overset{+}R}f_a$, $u\mathcal {\overset{+}L}e_b$, $v\mathcal {\overset{+}R}f_b$, $g\mathcal {\overset{+}L}e_c$, $h\mathcal {\overset{+}R}f_c$, then satisfies the following four equations:

and

Proof: For any $a, b, c\in {\rm Im}\pi$ and $e, f, u, v, g, h\in I$ such that $e\mathcal {\overset{+}L}e_a$, $f\mathcal {\overset{+}R}f_a$, $u\mathcal {\overset{+}L}e_b$, $v\mathcal {\overset{+}R}f_b$, $g\mathcal {\overset{+}L}e_c$, $h\mathcal {\overset{+}R}f_c$. On the one hand, by Theorem 4.2, we get that

then

that is

where

and

So,

On the other hand, since $\mathcal {\overset{+}L}$ and $\mathcal {\overset{+}R}$ are multiplicative congruence on $T$, then

By Theorem 4.2, we get that

that is

where

and

So,

Therefore,

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

and

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 $a\in S$, let the domain and codomain of $\mu_a\in T_E$ be $e_a+E$ (so that $e_a = a+a^\circ$) and $f_a+E$ (so that $f_a = a^\circ+a$). Let $\theta$ be a triangulation of $\mu$. Then given $a, b\in S$ and $e, f, u, v\in I$ such that $e\mathcal {\overset{+}L}e_a$, $f\mathcal {\overset{+}R}f_a$, $u\mathcal {\overset{+}L}e_b$, $v\mathcal {\overset{+}R}f_b$, $g\mathcal {\overset{+}L}e_c$, $h\mathcal {\overset{+}R}f_c$, and satisfies the following four equations:

and

Define two binary operations

and

on

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

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

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)\in W$, by the four equations,

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 $\overset{+}E(W) = \{(e, a, f)\in W:a\in \overset{+}E(S)\}$, moreover, the map $\phi$ defined from $\overset{+}E(W)$ to $I$ by $(e, a, f)\phi = 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)\in \overset{+}E(W),$ since $a, b\in \overset{+}E(S)$ then $a^\circ = a$ and $b^\circ = b$, we find that $e_a = a+a^\circ = a+a = a = a^\circ+a = f_a$ and $e_b = b+b^\circ = b+b = b = b^\circ+b = f_b$, so $e\mathcal {\overset{+}L}a\mathcal {\overset{+}R}f$ and $u\mathcal {\overset{+}L}b\mathcal {\overset{+}R}v$. On the one hand, by Theorem 2.1, we get that $e\mathcal {\overset{+}R}(e+f)\mathcal {\overset{+}L}f$ and $u\mathcal {\overset{+}R}(u+v)\mathcal {\overset{+}L}v$, so $eu\mathcal {\overset{+}R}(e+f)(u+v)\mathcal {\overset{+}L}fv$ since $\mathcal {\overset{+}R}$ and $\mathcal {\overset{+}L}$ are both multiplicative congruence on $I$. On the other hand, we get that $eu\mathcal {\overset{+}L}ab\mathcal {\overset{+}R}fv$, then $eu\mathcal {\overset{+}R}(eu+fv)\mathcal {\overset{+}L}fv$ by Theorem 2.1. Therefore, $(e+f)(u+v)\mathcal {\overset{+}H}(eu+fv)$ which means that $(e+f)(u+v) = eu+fv$. Hence,

Thus $\phi$ is an isomorphism as require.

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

and the mapping $\pi:W/\gamma\rightarrow W$ given by $\gamma_{(e, a, f)}\pi = (e_a, a, f_a)$ preserves addition and satisfies that $\pi\natural = id_{W/\gamma}$. Now we will show that it also preserves multiplication:

Finally, it is clear that

the second isomorphism being that given by $(e_a, a, f_a)\leftrightarrow a$.

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

Moreover, define $\theta:$ Im$\pi\rightarrow T_I$ by $a\theta = \theta_a$, where the domain of $\theta_a$ is $a+a^\circ+I+a+a^\circ$, the codomain of $\theta_a$ is $a^\circ+a+I+a^\circ+a$ and $b\theta_a = a^\circ+b+a$. By Lemma 4.3, $\theta$ is a triangulation of $\mu: {\rm Im} \pi\rightarrow T_E$. By Theorem 4.4, $W(I, {\rm Im}\pi, \theta)$ satisfies the four equations. We can therefore construct the split additively orthodox semiring $W = W(I, {\rm Im}\pi, \theta)$.

Define the map $\psi:W\rightarrow T$ by

By the proof shown in ^[12]. $\psi$ is bijection and preserves addition.

Since for any $a, b\in {\rm Im}\pi$ and $e, f, u, v\in I$ such that $e\mathcal {\overset{+}L}e_a$, $f\mathcal {\overset{+}R}f_a$, $u\mathcal {\overset{+}L}e_b$, $v\mathcal {\overset{+}R}f_b$, then

So it also preserves multiplication clearly.

Therefore, $\psi$ 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_{\alpha}(\alpha \in T)$, i.e. $S = < T, R_{\alpha}, \phi_{\alpha, \beta} >$. Hence, $S/\gamma = T$. Let $\pi: T/\gamma\rightarrow S, \alpha \mapsto x\in R_{\alpha}$. It is easy to verify that $\pi$ 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].

5.   Conclusions

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.

Acknowledgments

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).

Conflict of interest

All authors declare no conflicts of interest in this paper.