Hidden constructions in abstract algebra. I: Integral dependance.

DOI10.1016/S0022-4049(01)00042-1zbMath1099.13503OpenAlexW2060455079MaRDI QIDQ5957771

Henri Lombardi

Publication date: 8 July 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(01)00042-1

Mathematics Subject Classification ID

Valuation rings (13F30) Integral dependence in commutative rings; going up, going down (13B21) Other constructive mathematics (03F65)

Related Items (13)

A universal Krull-Lindenbaum theorem ⋮ A universal algorithm for Krull's theorem ⋮ Integral Closure ⋮ Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem ⋮ An algorithm for the Traverso-Swan theorem on seminormal rings ⋮ On seminormality ⋮ Making the use of maximal ideals constructive ⋮ Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa ⋮ Seminormality and polynomial rings ⋮ On syzygy modules over Laurent polynomial rings ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive rereading of Artin-Schreier theory
• Krull dimension, Nullstellensätze and dynamical evaluation
• Valuations and Dedekind's Prague theorem
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: Hidden constructions in abstract algebra. I: Integral dependance.