A note on non-commutative semigroups
We show in an additive inverse regular semiring with as the set of all multiplicative idempotents and as the set of all additive idempotents, the following conditions are equivalent: (i) For all , implies . (ii) is orthodox. (iii) is a semilattice of groups. This result generalizes the corresponding result of regular ring.