Inductive semimodules and the vector modules over them.

From MaRDI portal
Publication:2391239





It is proved that an inductive semimodule over an ordered semiring \(K\) with one unary operation is a Kleene module if and only if \(K\) is a Kleene algebra. Moreover, the vector module of an inductive semimodule over an ordered Conway semiring is again an inductive semimodule over the matrix semiring. Consequently, in an inductive semimodule over an ordered Conway semiring, least solutions to linear inequation systems can be denoted by linear expressions, avoiding the least fixed point operator.



Cites work









This page was built for publication: Inductive semimodules and the vector modules over them.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391239)