Dimension in algebraic frames, II: Applications to frames of ideals in C ( X )

Jorge Martinez; Eric R. Zenk

Commentationes Mathematicae Universitatis Carolinae (2005)

  • Volume: 46, Issue: 4, page 607-636
  • ISSN: 0010-2628

Abstract

top
This paper continues the investigation into Krull-style dimensions in algebraic frames. Let L be an algebraic frame. dim ( L ) is the supremum of the lengths k of sequences p 0 < p 1 < < p k of (proper) prime elements of L . Recently, Th. Coquand, H. Lombardi and M.-F. Roy have formulated a characterization which describes the dimension of L in terms of the dimensions of certain boundary quotients of L . This paper gives a purely frame-theoretic proof of this result, at once generalizing it to frames which are not necessarily compact. This result applies to the frame 𝒞 z ( X ) of all z -ideals of C ( X ) , provided the underlying Tychonoff space X is Lindelöf. If the space X is compact, then it is shown that the dimension of 𝒞 z ( X ) is at most n if and only if X is scattered of Cantor-Bendixson index at most n + 1 . If X is the topological union of spaces X i , then the dimension of 𝒞 z ( X ) is the supremum of the dimensions of the 𝒞 z ( X i ) . This and other results apply to the frame of all d -ideals 𝒞 d ( X ) of C ( X ) , however, not the characterization in terms of boundaries. An explanation of this is given within, thus marking some of the differences between these two frames and their dimensions.

How to cite

top

Martinez, Jorge, and Zenk, Eric R.. "Dimension in algebraic frames, II: Applications to frames of ideals in $C(X)$." Commentationes Mathematicae Universitatis Carolinae 46.4 (2005): 607-636. <http://eudml.org/doc/249551>.

@article{Martinez2005,
abstract = {This paper continues the investigation into Krull-style dimensions in algebraic frames. Let $L$ be an algebraic frame. $\operatorname\{dim\}(L)$ is the supremum of the lengths $k$ of sequences $p_0< p_1< \cdots <p_k$ of (proper) prime elements of $L$. Recently, Th. Coquand, H. Lombardi and M.-F. Roy have formulated a characterization which describes the dimension of $L$ in terms of the dimensions of certain boundary quotients of $L$. This paper gives a purely frame-theoretic proof of this result, at once generalizing it to frames which are not necessarily compact. This result applies to the frame $\mathcal \{C\}_z(X)$ of all $z$-ideals of $C(X)$, provided the underlying Tychonoff space $X$ is Lindelöf. If the space $X$ is compact, then it is shown that the dimension of $\mathcal \{C\}_z(X)$ is at most $n$ if and only if $X$ is scattered of Cantor-Bendixson index at most $n+1$. If $X$ is the topological union of spaces $X_i$, then the dimension of $\mathcal \{C\}_z(X)$ is the supremum of the dimensions of the $\mathcal \{C\}_z(X_i)$. This and other results apply to the frame of all $d$-ideals $\mathcal \{C\}_d(X)$ of $C(X)$, however, not the characterization in terms of boundaries. An explanation of this is given within, thus marking some of the differences between these two frames and their dimensions.},
author = {Martinez, Jorge, Zenk, Eric R.},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {dimension of a frame; $z$-ideals; scattered space; natural typing of open sets; dimension of a frame; -ideals; scattered space},
language = {eng},
number = {4},
pages = {607-636},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Dimension in algebraic frames, II: Applications to frames of ideals in $C(X)$},
url = {http://eudml.org/doc/249551},
volume = {46},
year = {2005},
}

TY - JOUR
AU - Martinez, Jorge
AU - Zenk, Eric R.
TI - Dimension in algebraic frames, II: Applications to frames of ideals in $C(X)$
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 2005
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 46
IS - 4
SP - 607
EP - 636
AB - This paper continues the investigation into Krull-style dimensions in algebraic frames. Let $L$ be an algebraic frame. $\operatorname{dim}(L)$ is the supremum of the lengths $k$ of sequences $p_0< p_1< \cdots <p_k$ of (proper) prime elements of $L$. Recently, Th. Coquand, H. Lombardi and M.-F. Roy have formulated a characterization which describes the dimension of $L$ in terms of the dimensions of certain boundary quotients of $L$. This paper gives a purely frame-theoretic proof of this result, at once generalizing it to frames which are not necessarily compact. This result applies to the frame $\mathcal {C}_z(X)$ of all $z$-ideals of $C(X)$, provided the underlying Tychonoff space $X$ is Lindelöf. If the space $X$ is compact, then it is shown that the dimension of $\mathcal {C}_z(X)$ is at most $n$ if and only if $X$ is scattered of Cantor-Bendixson index at most $n+1$. If $X$ is the topological union of spaces $X_i$, then the dimension of $\mathcal {C}_z(X)$ is the supremum of the dimensions of the $\mathcal {C}_z(X_i)$. This and other results apply to the frame of all $d$-ideals $\mathcal {C}_d(X)$ of $C(X)$, however, not the characterization in terms of boundaries. An explanation of this is given within, thus marking some of the differences between these two frames and their dimensions.
LA - eng
KW - dimension of a frame; $z$-ideals; scattered space; natural typing of open sets; dimension of a frame; -ideals; scattered space
UR - http://eudml.org/doc/249551
ER -

References

top
  1. Adams M.E., Beazer R., Congruence properties of distributive double p -algebras, Czechoslovak Math. J. 41 (1991), 395-404. (1991) Zbl0758.06008MR1117792
  2. Ball R.N., Pultr A., Forbidden forests in Priestley spaces, Cah. Topol. Géom. Différ. Catég. 45 1 (2004), 2-22. (2004) Zbl1062.06020MR2040660
  3. Bigard A., Keimel K., Wolfenstein S., Groupes et anneaux réticulés, Lecture Notes in Mathematics 608, Springer, Berlin-Heidelberg-New York, 1977. Zbl0384.06022MR0552653
  4. Blair R.L., Spaces in which special sets are z -embedded, Canad. J. Math. 28 (1976), 673-690. (1976) Zbl0359.54009MR0420542
  5. Blair R.L., Hager A.W., Extensions of zerosets and of real valued functions, Math. Z. 136 (1974), 41-57. (1974) MR0385793
  6. Coquand Th., Lombardi H., Hidden constructions in abstract algebra: Krull dimension of distributive lattices and commutative rings, Commutative Ring Theory and Applications (M. Fontana, S.-E. Kabbaj, S. Wiegand, Eds.), pp.477-499; Lecture Notes in Pure and Appl. Math., 231, Marcel Dekker, New York, 2003. MR2029845
  7. Coquand Th., Lombardi H., Roy M.-F., Une caractérisation élémentaire de la dimension de Krull, preprint. 
  8. Darnel M., Theory of Lattice-Ordered Groups, Marcel Dekker, New York, 1995. Zbl0810.06016MR1304052
  9. Engelking R., General Topology, Sigma Series in Pure Math. 6, Heldermann, Berlin, 1989. Zbl0684.54001MR1039321
  10. Escardó M.H., Properly injective spaces and function spaces, Topology Appl. 89 (1998), 75-120. (1998) MR1641443
  11. Gillman L., Jerison M., Rings of Continuous Functions, Graduate Texts in Mathematics 43, Springer, Berlin-Heidelberg-New York, 1976. Zbl0327.46040MR0407579
  12. Henriksen M., Johnson D.G., On the structure of a class of archimedean lattice-ordered algebras, Fund. Math. 50 (1961), 73-94. (1961) Zbl0099.10101MR0133698
  13. Henriksen M., Larson S., Martínez J., Woods R.G., Lattice-ordered algebras that are subdirect products of valuation domains Trans. Amer. Math. Soc., 345 (1994), 1 195-221. (1994) MR1239640
  14. Henriksen M., Martínez J., Woods R.G., Spaces X in which all prime z -ideals of C ( X ) are either minimal or maximal, Comment. Math. Univ. Carolinae 44 2 (2003), 261-294. (2003) MR2026163
  15. Henriksen M., Woods R.G., Cozero complemented spaces: when the space of minimal prime ideals of a C ( X ) is compact, Topology Appl. 141 (2004), 147-170. (2004) Zbl1067.54015MR2058685
  16. Huijsmans C.B., de Pagter B., On z -ideals and d -ideals in Riesz spaces, I, Indag. Math. 42 2 (1980), 183-195. (1980) Zbl0442.46022MR0577573
  17. Huijsmans C.B., de Pagter B., On z -ideals and d -ideals in Riesz spaces, II, Indag. Math. 42 4 (1980), 391-408. (1980) Zbl0451.46003MR0597997
  18. Johnstone P.J., Stone Spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge Univ. Press, Cambridge, 1982. Zbl0586.54001MR0698074
  19. Joyal A., Tierney M., An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc. 51 309 (1984), 71 pp. (1984) Zbl0541.18002MR0756176
  20. Koppelberg S., Handbook of Boolean Algebras, I, J.D. Monk, Ed., with R. Bonnet; North Holland, Amsterdam-New York-Oxford-Tokyo, 1989. MR0991565
  21. Martínez J., Archimedean lattices, Algebra Universalis 3 (1973), 247-260. (1973) MR0349503
  22. Martínez J., Dimension in algebraic frames, Czechoslovak Math. J., to appear. MR2291748
  23. Martínez J., Unit and kernel systems in algebraic frames, Algebra Universalis, to appear. MR2217275
  24. Martínez J., Zenk E.R., When an algebraic frame is regular, Algebra Universalis 50 (2003), 231-257. (2003) Zbl1092.06011MR2037528
  25. Martínez J., Zenk E.R., Dimension in algebraic frames, III: dimension theories, in preparation. 
  26. Mrowka S., Some comments on the author’s example of a non- R -compact space, Bull. Acad. Polon. Sci., Ser. Math. Astronom. Phys. 18 (1970), 443-448. (1970) MR0268852
  27. Semadeni Z., Sur les ensembles clairsemés, Rozprawy Mat. 19 (1959), 39 pp. (1959) Zbl0137.16002MR0107849
  28. Semadeni Z., Banach Spaces of Continuous Functions, Polish Scientific Publishers, Warsaw, 1971. Zbl0478.46014MR0296671

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.