conditions for this polynomial to be in Q[X]

hi,

I'd like to get conditions for when
F(X) = a1*(X-b1)^n+...+ak*(X-bk)^n is a rational polynomial.

Ideally, for n sufficiently large with respect to k, I'd like to show
that the ai's and bi's are algebraic, must lie in number fields whose
degree depends on k in some way,...

When k=2, I have been able to do this for n>2 by looking at the
coefficients of X^n, X^{n-1},
X^{n-2} and X^{n-3}. However, this proof was by brute force, explicitly
calculating a1, a2, b1 and b2 in terms of these coefficients.

This produces a nice result, but trying to do the same for larger
values of k would get increasingly complicated and not generalize.
There must be a way to do this more generally. Possibly using symmetric
functions?

Also "my" brute-force method only works if n>2k-2 (as I need at least
2k coefficients, one for each of the ai's and bi's). Is this condition
necessary to get a "nice" result?

For k=2, the condition n>2k-2=2 is needed, as I have an example where
F(X) has rational coefficients, but the ai's and bi's are expressions
involving pi.

Any suggestions would be greatly appreciated.

Ben

.

Relevant Pages

  • Re: Public Key, Symbolic Calculation
    ... > David Wagner wrote: ... >> lie in, ... >> in C, we're back to trouble again, because you can't specify ... What does "algebraic coefficients" mean anyways? ...
    (sci.crypt)
  • Re: conditions for this polynomial to be in Q[X]
    ... that the ai's and bi's are algebraic, must lie in number fields whose ... However, this proof was by brute force, explicitly ... 2k coefficients, one for each of the ai's and bi's). ... By the following technique you can reduce to the case where n>2k-2. ...
    (sci.math)
  • Re: Another algebra question
    ... Snis Pilbor wrote: ... R is integrally closed in its field of fractions. ... some monic polynomial with coefficients in R), ... lie in K as well) ...
    (sci.math)
  • conditions for this polynomial to be in Q[X]
    ... that the ai's and bi's are algebraic, must lie in number fields whose ... However, this proof was by brute force, explicitly ... 2k coefficients, one for each of the ai's and bi's). ... Fhas rational coefficients, but the ai's and bi's are expressions ...
    (sci.math)
  • Re: Analyitic functions that preserve the rationals
    ... >>of the polynomials with rational coefficients. ... The nth coefficient in the power series expansion of f about 0 is ...
    (sci.math)