Gauss's Lemma for Irreducibility of Polynomials

Gauss's Lemma
Theorem: Let  
\[f \in \mathbb{Z}[x]\]
 . Then  
  is irreducible over  
  if and only if  
  is irreducible over  
(In other words, Let  
  be a polynomial with integer coefficients. If  
  has no factors with integer coefficients, then 
  has no factors with rational coefficients.)
Proof: Let 
\[f(x) = g(x)h(x)\]
  be a factorization of 
  into polynomials with rational coefficients. Then for some rational 
  the polynomial 
\[a g(x)\]
  has integer coefficients with no common factor. Similary we can find a rational 
  so that 
\[b h(x)\]
  has the same properties. (Take the lcm of the denominators of the coefficients in each case, and then divide by any common factors.)
Suppose a prime 
\[a b\]
 . Since  
\[ a b f(x) = (a g(x))(b h(x)) \]
\[ 0 = (a g(x)) (b h(x))\]
 , we see 
\[a g(x)\]
\[b h(x)\]
  is the zero polynomial modulo 
 . (If not, then let the term of highest degree in 
\[a g(x)\]
\[m x^r\]
 , and the term of highest degree in 
\[b h(x)\]
\[n x^s\]
 . Then the product contains the term 
\[m n x^{r+s} \ne 0 \pmod {p}\]
 , a contradiction.)
In other words, 
  divides each coefficient of 
\[a g(x)\]
\[b h(x)\]
 , a contradiction. Hence 
\[a b = 1\]
  and we have a factorization over the integers.
Example: Let 
  be a prime. Consider the polynomial  
\[ f(x) = 1 + x + ... + x^{p-1} . \]

We cannot yet apply the criterion, so make the variable subsitution 
\[x = y + 1\]
 . Then we have  
\[ g(y) = 1 + (y+1) + ... + (y+1)^{p-1} . \]

  is irreducible if and only if 
  is irreducible.
The coefficient of 
\[ \sum_{m=k}^{p-1} {\binom{p-1}{k}} = {\binom{p}{k+1}} . \]

The last equality can be shown via repeated applications of Pascal’s identity:  
\[ {\binom{n+1}{k}} = {\binom{n}{k}} + {\binom{n}{k-1}} . \]
Alternatively, use the fact  
\[ g(y) = \frac{(y+1)^p - 1}{(y+1) - 1} \]
  divides each coefficient except the leading coefficient, and 
  does not divide the constant term 
 , hence 
  is irreducible over the rationals.

Add comment

Security code