Published online by Cambridge University Press: 09 April 2009
A semigroup is a nonvoid Hausdorff space together with a continuous associative operation. A semiring is a nonvoid Hausdorff space together with a couple of continuous associative operations, one of which (usually denoted as multiplication) distributes over the other (usually denoted as addition). If R is a semiring then an R-semimodule is a semigroup M under addition together with a continuous operation R × M → M which satisfies the associativity and distributivity conditions usually stipulated in the instance of an R-module. It is purpose of this paper to establish for semimodules certain propositions proved by Kaplansky [4], Pearson [8], Selden [9], Beidleman-Cox [1] and others.