Dimension in algebraic frames, II: Applications to frames of ideals in
Commentationes Mathematicae Universitatis Carolinae (2005)
- Volume: 46, Issue: 4, page 607-636
- ISSN: 0010-2628
Access Full Article
topAbstract
topHow to cite
topMartinez, 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- Adams M.E., Beazer R., Congruence properties of distributive double -algebras, Czechoslovak Math. J. 41 (1991), 395-404. (1991) Zbl0758.06008MR1117792
- 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
- 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
- Blair R.L., Spaces in which special sets are -embedded, Canad. J. Math. 28 (1976), 673-690. (1976) Zbl0359.54009MR0420542
- Blair R.L., Hager A.W., Extensions of zerosets and of real valued functions, Math. Z. 136 (1974), 41-57. (1974) MR0385793
- 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
- Coquand Th., Lombardi H., Roy M.-F., Une caractérisation élémentaire de la dimension de Krull, preprint.
- Darnel M., Theory of Lattice-Ordered Groups, Marcel Dekker, New York, 1995. Zbl0810.06016MR1304052
- Engelking R., General Topology, Sigma Series in Pure Math. 6, Heldermann, Berlin, 1989. Zbl0684.54001MR1039321
- Escardó M.H., Properly injective spaces and function spaces, Topology Appl. 89 (1998), 75-120. (1998) MR1641443
- Gillman L., Jerison M., Rings of Continuous Functions, Graduate Texts in Mathematics 43, Springer, Berlin-Heidelberg-New York, 1976. Zbl0327.46040MR0407579
- 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
- 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
- Henriksen M., Martínez J., Woods R.G., Spaces in which all prime -ideals of are either minimal or maximal, Comment. Math. Univ. Carolinae 44 2 (2003), 261-294. (2003) MR2026163
- Henriksen M., Woods R.G., Cozero complemented spaces: when the space of minimal prime ideals of a is compact, Topology Appl. 141 (2004), 147-170. (2004) Zbl1067.54015MR2058685
- Huijsmans C.B., de Pagter B., On -ideals and -ideals in Riesz spaces, I, Indag. Math. 42 2 (1980), 183-195. (1980) Zbl0442.46022MR0577573
- Huijsmans C.B., de Pagter B., On -ideals and -ideals in Riesz spaces, II, Indag. Math. 42 4 (1980), 391-408. (1980) Zbl0451.46003MR0597997
- Johnstone P.J., Stone Spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge Univ. Press, Cambridge, 1982. Zbl0586.54001MR0698074
- Joyal A., Tierney M., An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc. 51 309 (1984), 71 pp. (1984) Zbl0541.18002MR0756176
- Koppelberg S., Handbook of Boolean Algebras, I, J.D. Monk, Ed., with R. Bonnet; North Holland, Amsterdam-New York-Oxford-Tokyo, 1989. MR0991565
- Martínez J., Archimedean lattices, Algebra Universalis 3 (1973), 247-260. (1973) MR0349503
- Martínez J., Dimension in algebraic frames, Czechoslovak Math. J., to appear. MR2291748
- Martínez J., Unit and kernel systems in algebraic frames, Algebra Universalis, to appear. MR2217275
- Martínez J., Zenk E.R., When an algebraic frame is regular, Algebra Universalis 50 (2003), 231-257. (2003) Zbl1092.06011MR2037528
- Martínez J., Zenk E.R., Dimension in algebraic frames, III: dimension theories, in preparation.
- Mrowka S., Some comments on the author’s example of a non--compact space, Bull. Acad. Polon. Sci., Ser. Math. Astronom. Phys. 18 (1970), 443-448. (1970) MR0268852
- Semadeni Z., Sur les ensembles clairsemés, Rozprawy Mat. 19 (1959), 39 pp. (1959) Zbl0137.16002MR0107849
- Semadeni Z., Banach Spaces of Continuous Functions, Polish Scientific Publishers, Warsaw, 1971. Zbl0478.46014MR0296671
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.