Strongly Noetherian rings and constructive ideal theory

DOI10.1016/J.JSC.2003.02.001MaRDI QIDQ2643522zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3935170 (Why is no real title available?)
• scientific article; zbMATH DE number 108068 (Why is no real title available?)
• scientific article; zbMATH DE number 517393 (Why is no real title available?)
• scientific article; zbMATH DE number 1163435 (Why is no real title available?)
• scientific article; zbMATH DE number 1552763 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• A course in constructive algebra
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Constructive Aspects of Noetherian Rings
• Dynamical method in algebra: Effective Nullstellensätze
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Lifting standard bases in filtered structures
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• The question of finitely many steps in polynomial ideal theory
• What is Noetherian?

Cited in

(18)

• A constructive picture of Noetherian conditions and well quasi-orders
• A nilregular element property
• 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.)
• Lindenbaum's lemma via open induction
• Lazy bases: a minimalist constructive theory of Noetherian rings
• A constructive notion of codimension
• Spectral schemes as ringed lattices
• Constructing Gröbner bases for Noetherian rings
• On strongly J-Noetherian rings
• Noetherian orders
• Syntax for semantics: Krull's maximal ideal theorem
• A note on connected reduced rings
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• scientific article; zbMATH DE number 4008530 (Why is no real title available?)
• Some remarks about normal rings
• scientific article; zbMATH DE number 3927058 (Why is no real title available?)
• scientific article; zbMATH DE number 4083779 (Why is no real title available?)

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)