Quasimodules over bounded lattices

Abstract

We define a quasimodule Q over a bounded lattice L in an analogous way as a module over a semiring is defined. The essential difference is that L need not be distributive. Also for quasimodules there can be introduced the concepts of inner product, orthogonal elements, orthogonal subsets, bases and closed subquasimodules. We show that the set of all closed subquasimodules forms a complete lattice having orthogonality as an antitone involution. We describe important properties of closed subquasimodules. We prove that every canonical quasimodule has a nontrivial subquasimodule having a basis and we show that orthogonality can be introduced via the inner product. We call a subquasimodule P of a quasimodule Q splitting if the sum of P and its orthogonal companion is the whole set Q and the intersection of P and its orthogonal companion is trivial. We show that every splitting subquasimodule is closed and that its orthogonal companion is splitting, too. Our results are illuminated by several examples.