Bounds and definability in polynomial rings

DOI10.1093/QMATH/HAH048zbMATH Open1158.13310arXivmath/0306240OpenAlexW2041422692MaRDI QIDQ3606485FDOQ3606485

Authors: Matthias Aschenbrenner 

Publication date: 26 February 2009

Published in: The Quarterly Journal of Mathematics (Search for Journal in Brave)

Abstract: We study questions around the existence of bounds and the dependence on parameters for linear-algebraic problems in polynomial rings over rings of an arithmetic flavor.In particular, we show that the module of syzygies of polynomials $f_1,\mathrm{...},f_{n}inR[X_1,\mathrm{...},X_N]$ with coefficients in a Pr"ufer domain $R$ can be generated by elements whose degrees are bounded by a number only depending on $N$, $n$ and the degree of the $f_j$. This implies that if $R$ is a B'ezout domain, then the generators can be parametrized in terms of the coefficients of $f_1,\mathrm{...},f_n$ using the ring operations and a certain division function, uniformly in $R$.

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

Recommendations

• Bounds in polynomial rings over Artinian local rings
• scientific article; zbMATH DE number 421656
• A note on upper bounds for ideal-theoretic problems
• Syzygies of ideals of polynomial rings over principal ideal domains
• On the number of generators of modules over polynomial affine rings

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20)

Cited In (12)

• Dimension and singularity theory for local rings of finite embedding dimension
• The power of primitive positive definitions with polynomially many variables
• Ideal membership in polynomial rings over the integers
• Polynomial bounds for rings of invariants
• Polynomial bounds in polynomial rings over fields
• Bounds in polynomial rings over Artinian local rings
• Effective definability of Kolchin polynomials
• Height bounds, nullstellensatz and primality
• Degree bounds for Gröbner bases in algebras of solvable type
• Bounded arithmetic and the polynomial hierarchy
• Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals
• Bounds and definablity over fields.

This page was built for publication: Bounds and definability in polynomial rings

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