Inductive semimodules and the vector modules over them. (Q2391239)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inductive semimodules and the vector modules over them. |
scientific article |
Statements
Inductive semimodules and the vector modules over them. (English)
0 references
24 July 2009
0 references
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.
0 references
Kleene algebras
0 references
Kleene modules
0 references
inductive semimodules
0 references
ordered semirings
0 references
vectors
0 references
ordered Conway semirings
0 references
matrix semirings
0 references
