Models of a K-rational identity system

摘要

We give an algebraic framework for a theory of rational expressions with multiplicities in a given semiring K We study specially the K-rational identities. Using a model notion, we prove that every complete system of K-rational identitities over a positive semiring must be infinite.