Ideal Membership in Polynomial Rings over the Integers

Details Ideal Membership in Polynomial Rings over the Integers Ideal Membership in Polynomial Rings over the Integers

2003-05-12

arxiv.org/abs/math/0305172v2

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.

Affiliated with

Also associated with

No associations

Rating

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.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-202637