A constructive theory of minimal zero-dimensional extensions. (English) Zbl 1291.13016

The author proves a constructive version of M. Chiorescu’s theorem [J. Algebra 322, No. 1, 259–269 (2009; Zbl 1173.13007)] that gives a complete set of invariants for minimal zero-dimensional extensions of a commutative ring \(R\) which satisfies the three conditions:
1. \(\dim R \leq 1\),
2. The zero ideal of \(R\) is primary,
3. \(R\) has a Noetherian spectrum.
Her characterization was given in terms of families of ideals indexed by prime ideals. The present author avoids dependence on prime ideals in order to achieve maximum generality in developing constructively these extensions. To that end, a purely arithmetic theory is developed. Among numerous results that this paper offers, one can find a characterization of the condition that a ring with primary zero-ideal has dimension at most one, in terms of the lattice of radicals of finitely generated ideals. Titles of the paper’s sections show further the content and the development of the ideas as follows: 2. Krull dimension zero; 3. The invariant; 4. The lattice \(L(R)\); 5. Extending admissible families; 6. Algebraic extensions of factorial fields; 7. Arapović’s theorem; 8. The main theorem for suitable rings; 9. Noetherian spectrum; 10. A one-dimensional Bézout domain.


13B02 Extension theory of commutative rings
03F65 Other constructive mathematics
03D45 Theory of numerations, effectively presented structures


Zbl 1173.13007
Full Text: DOI


[1] Miroslav Arapović, The minimal \(0\)-dimensional overrings of commutative rings , Glas. Mat. 18 (1983), 47-52. · Zbl 0519.13012
[2] James W. Brewer and Fred Richman, Subrings of zero-dimensional rings , in Multiplicative ideal theory in commutative algebra , Springer, New York, 2006, 73-88. · Zbl 1123.13004
[3] Marcela Chiorescu, Minimal zero-dimensional extensions , J. Alg. 322 (2009), 259-269. · Zbl 1173.13007
[4] Thierry Coquand, Lionel Ducos, Henri Lombardi and Claude Quitté, Constructive Krull dimension I: Integral extensions , J. Alg. Appl. 8 (2009), 129-138. · Zbl 1172.13007
[5] Thierry Coquand, Henri Lombardi and Marie-Françoise Roy, An elementary characterization of Krull dimension , From sets and types to topology and analysis , Oxford Logic Guides 48 (2005), 239-244. · Zbl 1161.54303
[6] Lionel Ducos, Henri Lombardi, Claude Quitté and Maimouna Salou, Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind , J. Alg. 281 (2004), 604-650. · Zbl 1093.13015
[7] Ray Mines, Fred Richman and Wim Ruitenburg, A course in constructive algebra , Springer, New York, 1988. · Zbl 0725.03044
[8] Jack Ohm and Robert Pendleton, Rings with Noetherian spectrum , Duke Math. J. 35 (1968), 631-640. \noindentstyle · Zbl 0172.32201
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.