Remarks on Noetherian local domains of dim 2.
Let 𝓐(ℝ) and 𝓔(ℝ) denote respectively the ring of analytic and real entire functions in one variable. It is shown that if 𝔪 is a maximal ideal of 𝓐(ℝ), then 𝓐(ℝ)/𝔪 is isomorphic either to the reals or a real closed field that is an η₁-set, while if 𝔪 is a maximal ideal of 𝓔(ℝ), then 𝓔(ℝ)/𝔪 is isomorphic to one of the latter two fields or to the field of complex numbers. Moreover, we study the residue class rings of prime ideals of these rings and their Krull dimensions. Use is made of...
A ring extension is said to be FO if it has only finitely many intermediate rings. is said to be FC if each chain of distinct intermediate rings in this extension is finite. We establish several necessary and sufficient conditions for the ring extension to be FO or FC together with several other finiteness conditions on the set of intermediate rings. As a corollary we show that each integrally closed ring extension with finite length chains of intermediate rings is necessarily a normal pair...