Explicit polynomial bounds on prime ideals in polynomial rings over fields

DOI10.2140/pjm.2020.306.721zbMath1446.12002arXiv1808.04805OpenAlexW2885075397MaRDI QIDQ785750

William Simmons, Henry Towsner

Publication date: 10 August 2020

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.04805

zbMATH Keywords

Gröbner basesmaximal idealsprime idealsuniform boundsproof mining

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Computational methods for problems pertaining to field theory (12-08) Ultraproducts and field theory (12L10)

Cites Work

• Unnamed Item
• Polynomial bounds in polynomial rings over fields
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• The use of ultraproducts in commutative algebra
• Gröbner bases and primary decomposition of polynomial ideals
• Direct methods for primary decomposition
• Proof mining and effective bounds in differential polynomial rings
• Nonstandard methods for bounds in differential polynomial rings
• The complexity of the word problems for commutative semigroups and polynomial ideals
• The Structure of Polynomial Ideals and Gröbner Bases
• Constructions in Algebra
• Ideal membership in polynomial rings over the integers
• The question of finitely many steps in polynomial ideal theory
• Height bounds, nullstellensatz and primality
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

This page was built for publication: Explicit polynomial bounds on prime ideals in polynomial rings over fields