The projective spectrum as a distributive lattice

MaRDI QIDQ5437178zbMATH OpenFDO

Authors Thierry Coquand, Henri Lombardi, Peter Schuster

Publication date 18 January 2008

Full work available at URL https://eudml.org/doc/91720

zbMATH Keywords

distributive latticeformal pointformal projective Hilbert Nullstellensatzglueing constructiongraded commutative ringhomogeneous prime idealpoint-free topologyprime filter

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Structure and representation theory of distributive lattices (06D05) Frames, locales (06D22) Graded rings (13A02) Ideals and multiplicative ideal theory in commutative rings (13A15)

Recommendations

• A formal proof of the projective Eisenbud-Evans-Storch theorem
• scientific article; zbMATH DE number 3871513
• scientific article; zbMATH DE number 1164962
• Spectral schemes as ringed lattices
• scientific article; zbMATH DE number 3963994

Cites work

• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3550698 (Why is no real title available?)
• scientific article; zbMATH DE number 3554470 (Why is no real title available?)
• The Geometry of Schemes

Cited in

(8)

• The Jónsson distributivity spectrum
• On the representation of measures over bounded lattices
• Cut elimination for entailment relations
• Spectral schemes as ringed lattices
• A formal proof of the projective Eisenbud-Evans-Storch theorem
• Spectra as universal objects in categories of supports
• The basic Zariski topology
• The Zariski spectrum as a formal geometry

This page was built for publication: The projective spectrum as a distributive lattice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5437178)