Bounds and definability in polynomial rings
Bounds and definability in polynomial rings
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 flavour. In particular, we show that the module of syzygies of polynomials f1,… , fn∈R[X1,… ,XN] with coefficients in a Prüfer domain R can be generated …