Tychonoff spaces and a ring theoretic order on C(X)

DOI10.1016/J.TOPOL.2020.107250MaRDI QIDQ2187155zbMATH OpenOpenAlexFDO

Authors W. D. Burgess, R. Raphael

Publication date 2 June 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.09395

zbMATH Keywords

basically disconnectedlocally connectedreduced ring ordersemi-lattice

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Arithmetic rings and other special commutative rings (13F99) Algebraic properties of function spaces in general topology (54C40) Topological characterizations of particular spaces (54F65)

Abstract: The reduced ring order (rr-order) is a natural partial order on a reduced ring $R$ given by $rl{e}_{extrr}s$ if $r^2=rs$. It can be studied algebraically or topologically in rings of the form $extC(X)$. The focus here is on those reduced rings in which each pair of elements has an infimum in the rr-order, and what this implies for $X$. A space $X$ is called rr-good if $extC(X)$ has this property. Surprisingly both locally connected and basically disconnected spaces share this property. The rr-good property is studied under various topological conditions including its behaviour under Cartesian products. The product of two rr-good spaces can fail to be rr-good (e.g., $$), however, the product of a $P$-space and an rr-good weakly Lindel"of space is always rr-good. $P$-spaces, $F$-spaces and $U$-spaces play a role, as do Glicksberg's theorem and work by Comfort, Hindman and Negrepontis.

Review text

In a reduced ring \(R\), i.e a ring without non-zero nilpotent member, a relation of partial order viz. reduced ring order, in brief \(rr\)-order, is introduced by declaring for \(r,s\) in \(R\), \(r\leq s\) if \(r^2 =rs\). \(R\) is called an \(rr\)-good ring if it becomes a lower semi-lattice in this order. A Tychonoff topological space \(X\) is called \(rr\)-good if the ring \(C(X)\) is an \(rr\)-good ring. In the present paper the authors have investigated \(rr\)-good spaces and also constructed varieties of examples of spaces that fail to be \(rr\)-good. In a previous article [Contemp. Math. 715, 89--106 (2018; Zbl 1441.16048)], the authors have already proved \(rr\)-goodness of two important classes of spaces viz. locally connected spaces and basically disconnected spaces. In the present article, the authors use these two facts to prove some results related to \(rr\)-good spaces. It is realized that a continuous image of a locally connected pseudocompact space is \(rr\)-good. It is shown that the product of two \(rr\)-good spaces need not be \(rr\)-good, however under certain restrictions such things could be averted. Indeed it is established that if \(X\) is a \(P\)-space and therefore basically disconnected and hence \(rr\)-good and \(Y\) is an \(rr\)-good weakly Lindelöf space then \(X\times Y\) is necessarily \(rr\)-good. It is shown that whenever \(\mathbb{R}\) has a partition into two dense subsets \(A\) and \(B\), none of these two sets is \(rr\)-good. In contrast the authors construct a pair of mutually disjoint dense subsets \(A\) and \(B\) of \(\mathbb{R}^2\) such that \(\mathbb{R} = A\cup B\), but one of these two sets is \(rr\)-good.

Recommendations

• Connectedness of ordered rings of fractions of C(X) with the m-topology
• The reduced ring order and lower semi-lattices
• Topological rings of continuous real functions
• Connectedness of some rings of quotients of \(C(X)\) with the \(m\)-topology.
• Some properties of the ring of continuous functions

Cites work

• A generalization of Boolean rings
• A note concerning certain product spaces
• Direct Product of Division Rings and a Paper of Abian
• Exchange PF-rings and almost PP-rings
• F'-spaces and their product with P-spaces
• scientific article; zbMATH DE number 3457750 (Why is no real title available?)
• scientific article; zbMATH DE number 3481473 (Why is no real title available?)
• scientific article; zbMATH DE number 3512777 (Why is no real title available?)
• Normal P-spaces and the G_δ -topology
• On the Product of F-Spaces
• Rings of Continuous Functions in Which Every Finitely Generated Ideal is Principal
• Sheaves of integral domains on Stone spaces
• The reduced ring order and lower semi-lattices

Cited in

(5)

• The reduced ring order and lower semi-lattices
• The reduced ring order and lower semi-lattices II
• A closer look at primal and pseudo-irreducible ideals with applications to rings of functions
• Characterizations of U-frames and frames that are finitely a U-frame
• Atom of the lattice of all N-radicals

This page was built for publication: Tychonoff spaces and a ring theoretic order on \(C(X)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2187155)