G-88-38
The Classification Problem for Moduloids of Finite Type
BibTeX reference
We study here the classification problem for a particular class of moduloïds over a dioïd, called simple pseudomodules. After introducing the concept of canonical basis, we show that the submoduloïd generated by such a basis over {0,1} completely characterizes the simple pseudomodule structure. it follows that every simple pseudomodule of dimension n is isomorphic to a pseudomodule generated by n relatively irreducible elements of the free semilattice generated by n elements, a result which parallels the standard classification theorem for modules over a ring.
We also show that, when D is discrete with no inverses, then there are infinitely many moduloïd structures of dimension n ≥ 2.
Finally we show how the moduloïd of monomials of degree n in one indeterminate can be represented as a submoduloïd of Dm, for some (minimal) m ≥ n.
Published December 1988 , 16 pages