Add to ORKGSemirings are a generalisation of rings where additive inverses need not exist. In this dissertation, we focus on results of commutative semirings with non-zero identity. Many results that we study are analogous to results from commutative rings with non-zero identity. Properties which are unique to semirings are also investigated, such as semirings where all elements are additively idempotent. The notion of ideals is examined in the context of a semiring. Specifically, prime ideals, maximal ideals, k-ideals and partitioning ideals of semirings are considered. Additionally, the module over a ring is generalised to a semimodule over a semiring. The emphasis is on prime subsemimodules and multiplication semimodules. Lastly, invertible ideals ...