Inductive semimodules and the vector modules over them. (Q2391239)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Inductive semimodules and the vector modules over them. |
scientific article; zbMATH DE number 5586585
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Inductive semimodules and the vector modules over them. |
scientific article; zbMATH DE number 5586585 |
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
0.9145785
0 references
0.9106326
0 references
0.90189844
0 references
0 references
0 references
0.8966387
0 references
0 references
0 references
0 references
