Injective semimodules-revisited

Injective modules play an important role in characterizing different classes of rings (e.g. Noetherian rings, semisimple rings). Some semirings have no nonzero injective semimodules (e.g. the semiring of non-negative integers). In this paper, we study some of the basic properties of the so-called e-injective semimodules introduced by the first author using a new notion of exact sequences of semimodules. We clarify the relationships between the injective semimodules, the e-injective semimodule, and the i-injective semimodules through several implications, examples and counter examples. Moreover, we show that every semimodule over an arbitrary semiring can be embedded in a c-i-injective semimodule.