Mathematics – Commutative Algebra
Scientific paper
2003-05-12
Mathematics
Commutative Algebra
34 pages
Scientific paper
We present a new approach to the ideal membership problem for polynomial rings over the integers: given polynomials $f_0,f_1,...,f_n\in\Z[X]$, where $X=(X_1,...,X_N)$ is an $N$-tuple of indeterminates, are there $g_1,...,g_n\in\Z[X]$ such that $f_0=g_1f_1+...+g_nf_n$? We show that the degree of the polynomials $g_1,...,g_n$ can be bounded by $(2d)^{2^{O(N^2)}}(h+1)$ where $d$ is the maximum total degree and $h$ the maximum height of the coefficients of $f_0,...,f_n$. Some related questions, primarily concerning linear equations in $R[X]$, where $R$ is the ring of integers of a number field, are also treated.
No associations
LandOfFree
Ideal Membership in Polynomial Rings over the Integers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Ideal Membership in Polynomial Rings over the Integers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Ideal Membership in Polynomial Rings over the Integers will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-202637