3
$\begingroup$

Gauss's lemma says If the primitive polynomial $f(x)$ can be factored as product of two polynomials having rational coefficients, it can be factored as the product of two polynomials having integer coefficient.

My doubt is why is the condition that $f(x)$ is primitive necessary? Isn't true for all integer polynomials?

  • 0
    Amazingly, this meaning confirms to my naive concept of this word!! Although I am certainly not an Indian...2011-11-13

2 Answers 2

3

Your statement is somewhat imprecise. Your expression "can be factored as the product of two polynomials" should be replaced by "is reducible" (over $\mathbb Z$ or $\mathbb Q$), which excludes the possibility of the factors being invertible elements in their respective rings. Otherwise the statement would be trivially true, since any polynomial can be written as $1$ times itself.

The primitivity condition in the statement thus corrected is indeed superfluous. In fact, a polynomial is reducible over $\mathbb Z$ if and only if it is reducible over $\mathbb Q$ or it is not primitive. (This is the contrapositive of the statement of Gauss's lemma in the Wikipedia article others have linked to.) Thus, in a sense, the polynomial being primitive is not a condition for applying the lemma, but for needing the lemma, since for a non-primitive polynomial you know that it's reducible over $\mathbb Z$ without knowing whether it's reducible over $\mathbb Q$.

  • 0
    @Phira: You're right; I'll edit accordingly.2011-11-13
0

Yes, it is true for all integer polynomial, because the additional global integer factor can just be multiplied to one of the factors.

If the polynomial is primitive, one can actually choose the two polynomials to be primitive integer polynomials as well.