Strongly Noetherian rings and constructive ideal theory

DOI10.1016/J.JSC.2003.02.001zbMath1137.13308OpenAlexW1972937103MaRDI QIDQ2643522

Hervé Perdry

Publication date: 24 August 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2003.02.001

zbMATH Keywords

Noetherian ring

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Commutative Noetherian rings and modules (13E05) Ideals and multiplicative ideal theory in commutative rings (13A15)

Related Items (9)

A universal Krull-Lindenbaum theorem ⋮ Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.) ⋮ Spectral schemes as ringed lattices ⋮ A constructive picture of Noetherian conditions and well quasi-orders ⋮ A constructive notion of codimension ⋮ Lindenbaum’s Lemma via Open Induction ⋮ Constructing Gröbner bases for Noetherian rings ⋮ Noetherian orders ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• A course in constructive algebra
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• What is Noetherian?
• Lifting standard bases in filtered structures
• The question of finitely many steps in polynomial ideal theory
• Constructive Aspects of Noetherian Rings
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: Strongly Noetherian rings and constructive ideal theory