English

The Cozero part of the pointfree version of $C_c (X)$

General Topology 2024-12-30 v1 Rings and Algebras

Abstract

Let Cc(L):={αR(L)Rα is a countable subset of R}\mathcal C_{c}(L):= \{\alpha\in \mathcal{R}(L) \mid R_{\alpha} \, \text{ is a countable subset of } \, \mathbb R \}, where Rα:={rRcoz(αr)}R_\alpha:=\{r\in\mathbb R \mid {\mathrm{coz}}(\alpha-r)\neq\top\} for every αR(L).\alpha\in\mathcal R (L). By using idempotent elements, it is going to prove that Cozc[L]:={coz(α)αCc(L)}{{\mathrm{Coz}}}_c[L]:= \{{\mathrm{coz}}(\alpha) \mid \alpha\in\mathcal{C}_c (L) \} is a σ\sigma-frame for every completely regular frame L,L, and from this, we conclude that it is regular, paracompact, perfectly normal and an Alexandroff algebra frame such that each cover of it is shrinkable. Also, we show that LL is a zero-dimensional frame if and only if L L is a cc-completely regular frame.

Keywords

Cite

@article{arxiv.2412.19448,
  title  = {The Cozero part of the pointfree version of $C_c (X)$},
  author = {Ali Akbar Estaji and Maryam Taha},
  journal= {arXiv preprint arXiv:2412.19448},
  year   = {2024}
}