Die Dimensionsformel in Halbordnungen.
In an algebraic frame the dimension, , is defined, as in classical ideal theory, to be the maximum of the lengths of chains of primes , if such a maximum exists, and otherwise. A notion of “dominance” is then defined among the compact elements of , which affords one a primefree way to compute dimension. Various subordinate dimensions are considered on a number of frame quotients of , including the frames and of -elements and -elements, respectively. The more concrete illustrations...
This paper continues the investigation into Krull-style dimensions in algebraic frames. Let be an algebraic frame. is the supremum of the lengths of sequences of (proper) prime elements of . Recently, Th. Coquand, H. Lombardi and M.-F. Roy have formulated a characterization which describes the dimension of in terms of the dimensions of certain boundary quotients of . This paper gives a purely frame-theoretic proof of this result, at once generalizing it to frames which are not necessarily...
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.
Subgroups of a directed distributive multilattice group are characterized which are direct factors of . The main result is formulated in Theorem 2.