On quasi-ideals and bi-ideals in ternary semirings. (Q2368419)

A ternary semiring is an algebra \((S,+,t)\) such that \((S,+)\) is a commutative semigroup and \(t\colon S^3\to S\) a ternary operation according to \(t(a,b,c)=abc\) for all \(a,b,c\in S\) satisfying \((abc)de=a(bcd)e\), \((a+b)cd=acd+bcd\), \(a(b+c)d=abd+acd\) and \(ab(c+d)=abc+abd\). A ternary semiring is called regular if for every \(a\in S\) there is some \(x\in S\) such that \(axa=a\). A subsemigroup \((B,+)\) of \((S,+)\) is called a ternary subsemiring of \(S\), if \(B^3=\{abc\mid a,b,c\in B\}\subseteq B\) holds, and a bi-ideal, if in addition \(BSBSB\subseteq B\) is satisfied. Finally, a subsemigroup \((Q,+)\) of \((S,+)\) such that \(SSQ\cap QSS\cap(SQS+SSQSS)\subseteq Q\) holds is a quasi-ideal of \(S\). Assume now that \(S\) has a zero \(0\) according to \(0+a=a\) and \(0ab=a0b=ab0=0\). Then it is shown that the following conditions on a ternary semiring \(S\) are equivalent: (i) \(S\) is regular, (ii) \(BSBSB=B\) for every bi-ideal \(B\) of \(S\), (iii) \(QSQSQ=Q\) for every quasi-ideal \(Q\) of \(S\). Moreover, a ternary subsemiring \(B\) of a regular ternary semiring \(S\) is a bi-ideal if and only if \(B\) is a quasi-ideal.