CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS

DOI10.1142/S0219498809003199zbMath1172.13007MaRDI QIDQ3622765

Thierry Coquand, Henri Lombardi, Lionel Ducos, Claude Quitté

Publication date: 28 April 2009

Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219498809003199

zbMATH Keywords

constructive mathematics; Krull dimension; complementary sequences; integral extensions; Cohen-Seidenberg prime extension theorem; iterated boundary ideal; iterated boundary monoid; Richman boundary ideal

Mathematics Subject Classification ID

13E05: Commutative Noetherian rings and modules

13A15: Ideals and multiplicative ideal theory in commutative rings

03F65: Other constructive mathematics

13C15: Dimension theory, depth, related commutative rings (catenary, etc.)

Related Items

Syntax for Semantics: Krull’s Maximal Ideal Theorem, Polynômes à Valeurs Entières: Un Anneau de Prüfer de Dimension 2, Krull dimension and monomial orders, Curves and coherent Prüfer rings, On the dimensions of graded rings, On the Krull dimension of noetherian rings, Spectral schemes as ringed lattices, A constructive theory of minimal zero-dimensional extensions

Cites Work

• Generating non-Noetherian modules constructively
• Dimension of Boolean valued lattices and rings
• A course in constructive algebra
• On a theorem of Kronecker about algebraic varieties
• Krull dimension, Nullstellensätze and dynamical evaluation
• Lifting chains of prime ideals
• A nilregular element property
• Unimodular vectors and systems generators. (Vecteurs unimodulaires et systèmes générateurs)
• A Short Proof for the Krull Dimension of a Polynomial Ring