\(V\)-semirings. (Q1760497)

A right \(V\)-semiring \(S\) is a semiring for which every simple right \(S\)-semimodule \(M\) is injective, i.e. any injective \(S\)-homomorphism from \(A\) to \(M\) may be extended to an \(S\)-homomorphism from \(B\) to \(M\), for every \(S\)-semimodule \(B\) and every subsemimodule \(A\) of \(B\). After studying some properties of the simple \(S\)-semimodules and of their essential extensions, the author proves his main result: For a semiring \(S\), the following are equivalent: (1) \(S\) is a right \(V\)-semiring; (2) Every essential extension of each simple right \(S\)-semimodule \(M\) coincides with \(M\); (3) \(S\) is the direct sum of a right \(V\)-ring and a zero right \(V\)-semiring; (4) Each quotient semiring of \(S\) is a right \(V\)-semiring.