An iterative constructive Hilbert basis theorem

DOI10.1016/J.JALGEBRA.2025.03.027MaRDI QIDQ6983678zbMATH OpenFDO

Authors Peter Schuster, Ihsen Yengui

Publication date 14 May 2025

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2025.03.027

zbMATH Keywords

constructive algebraHilbert basis theoremNoetherian ring

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Commutative Noetherian rings and modules (13E05) Applications of logic to commutative algebra (13L05)

Review text

The authors give a proof of the iterative Hilbert basis theorem in Bishop's constructive algebra with standard equality and membership test still adopting a peculiar form of the ascending chain condition. \textit{F. Richman}'s simplification [Proc. Am. Math. Soc. 44, 436--441 (1974; Zbl 0265.13011)] of \textit{J. Tennenbaum}'s characterization [A constructive version of Hilbert's basis theorem. San Diego, CA: University of California (PhD thesis) (1973)] was used.

Cites work

• A constructive picture of Noetherian conditions and well quasi-orders
• A course in constructive algebra
• A logical approach to abstract algebra
• Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
• Constructing Gröbner bases for Noetherian rings
• Constructive Aspects of Noetherian Rings
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Do Noetherian modules have Noetherian basis functions?
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 1420784 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Lazy bases: a minimalist constructive theory of Noetherian rings
• Noetherian orders
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• Strongly Noetherian rings and constructive ideal theory
• The Ascending Tree Condition: Constructive Algebra Without Countable Choice
• The syzygy theorem for Bézout rings
• What is Noetherian?

Cited in

(1)

• Well quasi-orders, better quasi-orders, and monomial ideals

This page was built for publication: An iterative constructive Hilbert basis theorem

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