On iteration semiring-semimodule pairs. (Q2460063)

A semiring-semimodule pair \((S,V)\) is given by a semiring \((S,+,\cdot)\) and a left \(S\)-semimodule \((_SV,+)\), and \((S,V)\) is called a starsemiring-omegasemimodule pair if unary operations \(*\colon S\to S\) and \(\omega\colon S\to V\) are defined. Moreover, \(S\) is a Conway semiring if the Conway equations \((a+b)^*=(a^*b)^*a^*\) and \((ab)^*=1+a(ba)^*b\) for all \(a,b\in S\) hold, and \((S,V)\) is a Conway semiring-semimodule pair if also \((a+b)^\omega=(a^*b)^\omega+(a^*b)^*a^\omega\) and \((ab)^\omega=a(ba)^\omega\) are satisfied. Finally, a Conway-semiring semimodule pair is called an iteration semiring-semimodule pair if the star and omega group equations for each finite group are satisfied. It is shown that complete semiring-semimodule pairs as well as so-called bi-inductive semiring-semimodule pairs are natural examples of iteration semiring semimodule pairs. It is well known, that semiring-semimodule pairs \((S,V)=(Q\P,Q0)\) can also be described in terms of quemirings \((Q,\cdot,+,\P,0,1)\). Now it is proved that, if \((V,+)\) is idempotent, the Conway equations hold if and only if the quemiring \(Q\) embeds in a Conway semiring. The corresponding result is true for iteration semirings.