A nilregular element property
From MaRDI portal
Publication:2487024
DOI10.1007/s00013-005-1295-0zbMath1093.03035MaRDI QIDQ2487024
Thierry Coquand, Peter M. Schuster, Henri Lombardi
Publication date: 17 August 2005
Published in: Archiv der Mathematik (Search for Journal in Brave)
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2006/278/
14M10: Complete intersections
13A15: Ideals and multiplicative ideal theory in commutative rings
03F65: Other constructive mathematics
Related Items
A formal proof of the projective Eisenbud-Evans-Storch theorem, On the Krull dimension of noetherian rings, Spectral schemes as ringed lattices, A constructive notion of codimension, CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS