CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS-Reference-Cited by-同舟云学术

CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS

Published:2009-02 Issue:01 Volume:08 Page:129-138
ISSN:0219-4988
Container-title:Journal of Algebra and Its Applications
language:en
Short-container-title:J. Algebra Appl.

Author:

COQUAND THIERRY¹,DUCOS LIONEL²,LOMBARDI HENRI³,QUITTÉ CLAUDE²

Affiliation:

1. Chalmers, University of Göteborg, Sweden

2. Laboratoire de Mathématiques, SP2MI, Boulevard 3, Teleport 2, BP 179, 86960 FUTUROSCOPE Cedex, France

3. Equipe de Mathématiques, CNRS UMR 6623, UFR des Sciences et Techniques, Université de Franche-Comté, 25 030 BESANCON cedex, France

Abstract

We give a constructive approach to the well known classical theorem saying that an integral extension doesn't change the Krull dimension.

Publisher

World Scientific Pub Co Pte Lt

Subject

Applied Mathematics,Algebra and Number Theory

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0219498809003199

Reference14 articles.

1. Lifting chains of prime ideals

2. Sur un théorème de Kronecker concernant les variétés algébriques

3. T. Coquand and H. Lombardi, Commutative Ring Theory and Applications, Lecture Notes in Pure and Applied Mathematics 231, eds. M. Fontana, S.E. Kabbaj and S. Wiegand (M. Dekker, 2002) pp. 477–499.

4. A Short Proof for the Krull Dimension of a Polynomial Ring

5. Generating non-Noetherian modules constructively

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Syntax for Semantics: Krull’s Maximal Ideal Theorem;Paul Lorenzen -- Mathematician and Logician;2021

2. Polynômes à Valeurs Entières: Un Anneau de Prüfer de Dimension 2;Communications in Algebra;2015-01-07

3. Krull dimension and monomial orders;Journal of Algebra;2014-02

4. A constructive theory of minimal zero-dimensional extensions;Journal of Commutative Algebra;2013-12-01

5. Curves and coherent Prüfer rings;Journal of Symbolic Computation;2010-12