In the paper lattice-ordered monoids and specially normal lattice-ordered monoids which are a generalization of dually residuated lattice-ordered semigroups are investigated. Normal lattice-ordered monoids are metricless normal lattice-ordered autometrized algebras. It is proved that in any lattice-ordered monoid A, a ∈ A and na ≥ 0 for some positive integer n imply a ≥ 0. A necessary and sufficient condition is found for a lattice-ordered monoid A, such that the set I of all invertible elements of A is a convex subset of A and A¯ ⊆ I, to be the direct product of the lattice-ordered group I and a lattice-ordered semigroup P with the least element 0.
The class of dually residuated lattice ordered monoids (DRl-monoids) contains, in an appropriate signature, all l-groups, Brouwerian algebras, MV- and GMV-algebras, BL- and pseudo BL-algebras, etc. In the paper we study direct products and decompositions of DRl-monoids in general and we characterize ideals of DRl-monoids which are direct factors. The results are then applicable to all above mentioned special classes of DRl-monoids.
Dually residuated lattice-ordered monoids (DRl-monoids) generalize lattice-ordered groups and include also some algebras related to fuzzy logic (e.g. GMV-algebras and pseudo BL-algebras). In the paper, we give some necessary and sufficient conditions for a DRl-monoid to be representable (i.e. a subdirect product of totally ordered DRl-monoids) and we prove that the class of representable DRl-monoids is a variety.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.