Strongly Noetherian rings and constructive ideal theory

DOI10.1016/J.JSC.2003.02.001zbMATH Open1137.13308OpenAlexW1972937103MaRDI QIDQ2643522FDOQ2643522

Authors: 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

Recommendations

• Lazy bases: a minimalist constructive theory of Noetherian rings
• On the Lasker-Noether Decomposition Theorem
• Constructing Gröbner bases for Noetherian rings
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• scientific article; zbMATH DE number 1420784

zbMATH Keywords

Noetherian ring

Mathematics Subject Classification ID

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

Cites Work

• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A course in constructive algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lifting standard bases in filtered structures
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Constructive Aspects of Noetherian Rings
• Dynamical method in algebra: Effective Nullstellensätze
• The question of finitely many steps in polynomial ideal theory
• What is Noetherian?
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (17)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Lazy bases: a minimalist constructive theory of Noetherian rings
• A universal Krull-Lindenbaum theorem
• A constructive picture of Noetherian conditions and well quasi-orders
• Constructing Gröbner bases for Noetherian rings
• Some remarks about normal rings
• Noetherian orders
• 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.)
• Lindenbaum's lemma via open induction
• Spectral schemes as ringed lattices
• Syntax for Semantics: Krull’s Maximal Ideal Theorem
• On strongly J-Noetherian rings
• Title not available (Why is that?)
• A nilregular element property
• A constructive notion of codimension
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY

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

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