Factoring in Z [ x ] \mathbb{Z}[x] vs in Q [ x ] \mathbb{Q}[x]

Algebra Level 4

Let Q [ x ] \mathbb{Q}[x] be the ring of polynomials in the variable x x with rational coefficients and Z [ x ] \mathbb{Z}[x] the ring of polynomials in the variable x x with integer coefficients.

Let f ( x ) = 2 + x + k = 2 2026 ( x + 1 ) k f(x) = 2 + x + \displaystyle \sum_{k = 2}^{2026} (x+1)^k .

In which ring(s) of polynomials is f ( x ) f(x) irreducible? (irreducible basically means, you can't factor it into a product of lower degree polynomials. More details below.)

NB: Some terminology which may be helpful:

A set R R equipped with the abstract operations + , × +, \times is a ring if the following criteria are satisfied:

a. R R is an additive abelian group.

b. a , b , c R , a ( b + c ) = a b + a c ; ( a + b ) c = a c + b c \forall a, b, c \in R, a(b+c) = ab + ac; (a+b)c = ac + bc

c. 1 R \exists 1 \in R such that r R , 1 r = r 1 = r \forall r \in R, 1r = r1 = r

Example. Z \mathbb{Z} under + , × +, \times is a ring.

Let R R be a ring. r r is a unit of R R if there exists s R s \in R such that r s = s r = 1 rs = sr = 1 .

Example. 3 3 is a unit in Z / 5 Z \mathbb{Z}/5 \mathbb{Z} , also in Q \mathbb{Q} , but not in Z \mathbb{Z} .

Let R R be a ring. r R r \in R is a zero divisor if there exists nonzero s R s \in R such that r s = 0 rs = 0 .

Example. In Z / 6 Z \mathbb{Z}/6\mathbb{Z} , 2 2 and 3 3 are nonzero zero divisors. In any ring, 0 0 is always a zero divisor. In Z / 5 Z \mathbb{Z}/5 \mathbb{Z} , there are no nonzero zero divisors.

Let R R be an integral domain (that is, there are no nonzero zero divisors in R R ). We say that a nonzero, non-unit polynomial f f in the polynomial ring R [ x ] R[x] over the ring R R is irreducible if g , h R [ x ] \forall g, h \in R[x] such that f = g h f = gh , either g g is a unit in R [ x ] R[x] or h h is a unit in R [ x ] R[x] .

Example. Any linear polynomial (degree 1) is irreducible.

Only in Q [ x ] \mathbb{Q}[x] Neither Q [ x ] \mathbb{Q}[x] nor Z [ x ] \mathbb{Z}[x] Only in Z [ x ] \mathbb{Z}[x] Q [ x ] \mathbb{Q}[x] and Z [ x ] \mathbb{Z}[x]

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Hobart Pao
Oct 20, 2018

First, we note that x f ( x ) = ( x + 1 ) 2027 1 = k = 1 2027 ( 2027 2027 k ) x k xf(x) = (x+1)^{2027} - 1 = \displaystyle \sum_{k = 1}^{2027} \begin{pmatrix}2027 \\ 2027-k \end{pmatrix} x^k . 2027 2027 is prime, divides all coefficients except that of x 2026 x^{2026} , but 202 7 2 2027^2 does not divide 2027 2027 ; hence, f ( x ) f(x) is 2027 2027 -Eisenstein. By the Eisenstein criterion, f ( x ) f(x) is is irreducible in Q [ x ] \mathbb{Q}[x] . Since the greatest common divisor of all the coefficients is 1 1 , a unit in Z [ x ] \mathbb{Z}[x] , f ( x ) f(x) is primitive. By Gauss's Lemma, combined with irreducibility of f ( x ) f(x) in Q [ x ] \mathbb{Q}[x] , f ( x ) f(x) is also irreducible in Z [ x ] \mathbb{Z}[x] . \square

Nice explanation! Do you want f ( x ) x f(x)x in the equation instead of f ( x ) x \frac{f(x)}{x} ? Also, do you mean to say " 202 7 2 2027^2 does not divide 2027"?

Otto Bretscher - 2 years, 7 months ago

Log in to reply

Yes. Thank you!

Hobart Pao - 2 years, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...