Projective semimodules over semirings with valuations in nonnegative integers. (Q2655453)

A valuation on positive integers is introduced on a commutative semiring and its properties are carefully studied. For example, the conditions for a morphism of semirings from \(R'\) to \(R\) to carry the \(N\)-valuation from \(R\) to \(R'\); these are the property of elements in the kernel to be carried in elements with the valuation 0 and the preimage of \(U(R')\) is \(U(R)\). The \(N\)-valuation is carried from the semiring \(R\) to \(R[M]\), where \(M\) is a semimodule over \(R\). A projective semimodule \(M\) over an \(N\)-valued semiring \(R\) has any projective subsemimodule free. Then also \(M\) is free.