On \(*\)-\(\lambda\)-semirings. (Q2456471): Difference between revisions

A \(*\)-\(\lambda\)-semiring is an ordered semiring \(S\) with a star operation in which, for any \(a,b\in S\), \(a^*b\) is the least fixed point of the linear mapping \(x\mapsto ax+b\). The special cases of this notion include continuous semirings and Kleene algebras. The authors prove several facts about such algebras and show how they are related to some other algebras defined by similar fixed point conditions or induction rules. They also consider formal power series over \(*\)-\(\lambda\)-semirings.