A constructive notion of codimension

DOI10.1016/j.jalgebra.2013.02.034zbMath1291.13015OpenAlexW2065306014MaRDI QIDQ2445023

Davide Rinaldi

Publication date: 11 April 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2013.02.034

zbMATH Keywords

codimensionidealKrull dimensioncommutative ringformal topologyconstructive algebraArtinian moduleNoetherian moduleequidimensional ringKrull's principal ideal theorem(ML)-Noetherian ringblocked idealFormal Hilbert's Nullstellensatz associated to a topologyLasker-Noether ringnilregular elementnilregular idealNoetherian coherent ringring with radicality testZariski formal topology, Kdim

Mathematics Subject Classification ID

Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) General commutative ring theory (13A99) Applications of logic to commutative algebra (13L99)

Related Items (2)

The basic Zariski topology ⋮ Cut elimination for entailment relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A formal proof of the projective Eisenbud-Evans-Storch theorem
• Derivations and radicals of polynomial ideals over fields of arbitrary characteristic
• On the Krull dimension of noetherian rings
• Finitary formal topologies and Stone's representation theorem
• The Zariski spectrum as a formal geometry
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• A course in constructive algebra
• Inductively generated formal topologies.
• Some points in formal topology.
• About Stone's notion of spectrum
• A nilregular element property
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• Formal Zariski topology: Positivity and points
• Strongly Noetherian rings and constructive ideal theory
• Induction in Algebra: A First Case Study
• Proofs and Computations
• A logical approach to abstract algebra
• Spatiality for formal topologies
• On the Lasker-Noether Decomposition Theorem
• Constructions in Algebra
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Convergence in formal topology: a unifying notion
• Constructive Aspects of Noetherian Rings
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: A constructive notion of codimension