A universal survival ring of continuous functions which is not a universal lying-over ring (Q2393430): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:59, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A universal survival ring of continuous functions which is not a universal lying-over ring |
scientific article |
Statements
A universal survival ring of continuous functions which is not a universal lying-over ring (English)
0 references
8 August 2013
0 references
All rings in the paper under review are commutative with \(1 \neq 0\). A ring \(R\) is a universal lying-over ring (ULO-ring) if \(R \subseteq T\) satisfies the lying-over property (LO) for every ring extension \(T\) of \(R\), and \(R\) is a universal survival ring (US-ring) if \(PT \neq T\) for every prime ideal \(P\) of \(R\) and ring extension \(T\) of \(R\). Clearly a ULO-ring is a US-ring. The authors first use the \(A + B\) construction to show that if \(2 \leq n \leq \infty\), then there is an \(n\)-dimensional US-ring which is not a ULO-ring. Most of the paper studies the ring \(R = C(Y)\) of real-valued continuous functions on \(Y\), where \(Y\) is the one-point compactification of the discrete space of cardinality \(\aleph_1\). They show that \(R\) is an infinite-dimensional US-ring which is not a ULO-ring and that \(R\) cannot be obtained using an \(A + B\) construction. They study the prime ideals (using ultra filters) and corresponding factor domains of \(R\). For example, they show that \(R/P\) is a divided domain for every prime ideal \(P\) of \(R\), and if the Continuum Hypothesis holds, then there is a minimal prime ideal \(P\) of \(R\) such that \(R/P\) is an infinite-dimensional valuation domain. However, it is consistent with ZFC that no such minimal prime ideals exist.
0 references
universal survival ring
0 references
lying-over
0 references
ring of continuous functions
0 references
prime ideal
0 references
ring extensions
0 references
ultrafilter
0 references
Krull dimension
0 references
divided domain
0 references
continuum hypothesis
0 references
one-point compactification
0 references