A nilregular element property
From MaRDI portal
Publication:2487024
DOI10.1007/s00013-005-1295-0zbMath1093.03035OpenAlexW2090879903MaRDI 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/
Complete intersections (14M10) Ideals and multiplicative ideal theory in commutative rings (13A15) Other constructive mathematics (03F65)
Related Items (5)
Spectral schemes as ringed lattices ⋮ A formal proof of the projective Eisenbud-Evans-Storch theorem ⋮ A constructive notion of codimension ⋮ On the Krull dimension of noetherian rings ⋮ CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
This page was built for publication: A nilregular element property