A constructive notion of codimension

DOI10.1016/j.jalgebra.2013.02.034zbMath1291.13015MaRDI 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

codimension; ideal; Krull dimension; commutative ring; formal topology; constructive algebra; Artinian module; Noetherian module; equidimensional ring; Krull's principal ideal theorem; (ML)-Noetherian ring; blocked ideal; Formal Hilbert's Nullstellensatz associated to a topology; Lasker-Noether ring; nilregular element; nilregular ideal; Noetherian coherent ring; ring with radicality test; Zariski formal topology, Kdim

Mathematics Subject Classification ID

13C15: Dimension theory, depth, related commutative rings (catenary, etc.)

13A99: General commutative ring theory

13L99: Applications of logic to commutative algebra

Related Items

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