On exact sequence of semimodules over semirings. (Q373468)

Summary: We introduce the notion of exact sequence of semimodules over semirings using maximal homomorphisms and generalize some results of module theory to semimodules over semirings. Indeed, we prove, ``If \(0\to L@>f>>M@>g>>N\to 0\) is a split exact sequence of \(R\)-semimodules and maximal \(R\)-semimodule homomorphisms with \(\text{Ker}(g)\) a strong subsemimodule of \(M\), then \(M\cong L\oplus N\)''. Also, some results of commutative diagram of \(R\)-semimodules and maximal \(R\)-homomorphisms having exact rows are obtained.