I've read there is a way to transform polynomials in Q[x] to monic polynomials in Z[x]. How? Consider the following one i Q[x]:
f(x) = Sum{k} a_k/b_k x^k = (Prod b_k)^(-1) Sum{k} [Prod{l =/= k} a_k b_l] x^k. If we are to solve f(x) = 0 we can get rid of the factor so that we are left with Sum{k} [Prod{l =/= k} a_k b_l] x^k = 0. How does one transform this to a monic?
I hope the notation is legible.