Proving Gauss's Lemma Extension in Polynomial Factoring

  • Context: Graduate 
  • Thread starter Thread starter math_grl
  • Start date Start date
  • Tags Tags
    Extension Gauss
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 3K views
math_grl
Messages
46
Reaction score
0
Ok, the book I'm reading states Gauss's lemma as such:
If f(x) is a monic polynomial with integral coefficients that factors into two monic polynomials with coefficients that are rational, f(x) = g(x)h(x), then [tex]g(x), h(x) \in \mathbb{Z}[x][/tex].

Now one of the exercises says to prove that:
If f(x) is a polynomial with integral coefficients that factors into two polynomials with coefficients that are rational, f(x) = g(x)h(x), then there is a factoring [tex]p(x), q(x) \in \mathbb{Z}[x][/tex] such that f(x) = p(x)q(x).

Which seem like almost the same problem except the exercise is more general in the case that they do not have to be monic. Yet, with g(x) and h(x) having rational coefficients, can't they factored into polynomials from [tex]\mathbb{Z}[x][/tex] and, moreover, monic by pulling out a rational factor?
I guess what I'm asking is thru what means can you go from Gauss's lemma to the exercise in the simplest way...
 
Physics news on Phys.org
Well first if f(x) is a monic polynomial, then if g(x)=bx^n+...+b_0 and h(x)=ax^m+...+a_0, then if we factor out ab=1, so we get two monic polynomials with rational parameters and you can use the lemma.

If it's not a monic polynomial, just divide both sides of the equation by this parameter (of x^(n+m)) to get a polynomial for which the conditions of the lemma are met, then multiply the equation by this factor to get the conclusion in your exercise.