Die Abgeschlossenheit der lexikographischen Summe in der Klasse distributiver Verbände
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...