Hidden constructions in abstract algebra. I: Integral dependance.

DOI10.1016/S0022-4049(01)00042-1MaRDI QIDQ5957771zbMATH OpenOpenAlexFDO

Authors 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

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

Review text

We give an elementary method, hidden in a theorem of abstract algebra, for constructing integral dependence relations. We apply this method in order to give a constructive proof of a theorem of Kronecker.

Recommendations

• scientific article; zbMATH DE number 2084947
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
• Constructive algebra
• A universal algorithm for Krull's theorem

Cites work

• Constructive rereading of Artin-Schreier theory
• Dynamical method in algebra: Effective Nullstellensätze
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 45839 (Why is no real title available?)
• scientific article; zbMATH DE number 5255345 (Why is no real title available?)
• Krull dimension, Nullstellensätze and dynamical evaluation
• Valuations and Dedekind's Prague theorem

Cited in

(15)

• Eliminating disjunctions by disjunction elimination
• Making the use of maximal ideals constructive
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• A universal algorithm for Krull's theorem
• A universal Krull-Lindenbaum theorem
• Integral closure
• scientific article; zbMATH DE number 2182805 (Why is no real title available?)
• scientific article; zbMATH DE number 2084947 (Why is no real title available?)
• Eliminating disjunctions by disjunction elimination
• On seminormality
• Seminormality and polynomial rings
• On syzygy modules over Laurent polynomial rings
• 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

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

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