Bounds and definability in polynomial rings

DOI10.1093/QMATH/HAH048MaRDI QIDQ3606485zbMATH OpenOpenAlexFDO

Authors Matthias Aschenbrenner

Publication date 26 February 2009

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

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

Mathematics Subject Classification ID

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

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$.

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

Cited in

(12)

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

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)