# Eisenstein's Irreducibility Criterion

 P: 913 I have a question about the application of Eisenstein’s Criterion. I want to show that g(x)=x4+4x3+7x+5 is irreducible over $$\mathbb{Q}$$. That means I need to find a prime number p such that $$p \nmid 1$$ , $$p | 4$$ , $$p | 7$$, $$p | 5$$ and $$p^2 \nmid 5$$. But unfortunately I can't see any prime number which would satisfies this! I think there is a theorem that says if g(x+1) is irreducible then g(x) is irreducible. So in this case g(x+1) = x4 + 8x3 + 18 x2 + 16 x + 17 But again I cannot find a p to satisfiy Eisenstein’s irreducibility criterion... So why does the method fail? Then what other method can one use to establish g(x)'s irreducibility?
 P: 540 You could use: $$(g\mod p) \text{ is irreducible in } (\mathbb{Z}/p\mathbb{Z})[X] \Rightarrow g \text{ is irreducible in } \mathbb{Z}[X] \Rightarrow g \text{ is irreducible in } \mathbb{Q}[X].$$ where p is prime
 P: 133 g(x+2) works for Eisenstein.
P: 913
Eisenstein's Irreducibility Criterion

 Quote by losiu99 g(x+2) works for Eisenstein.
Are you sure?

$$g(x+2)= x^4 + 12 x^3 + 48 x^2 + 87 x + 67$$

2 does not divide 87 and 3 does not divide 67. So there are no primes to use for Eisenstein...

 You could use: $$(g\mod p) \text{ is irreducible in } (\mathbb{Z}/p\mathbb{Z})[X] \Rightarrow g \text{ is irreducible in } \mathbb{Z}[X] \Rightarrowg \text{ is irreducible in } \mathbb{Q}[X].$$ where p is prime
I haven't seen this before but there s a similar test in my book called "Mod p irreducibility test", where p is a prime, here we must reduce the polynomial in Zp and see if the reduce polynomial is irreducible over Zp, if it is, it imples irreducibility over Q for the original polynomial. So here's what I've done:

Let g(x)=x4+4x3+7x+5. Then over $$\mathbb{Z}_2$$, we have $$\bar{g}(x)=x^4+x+1$$. If we show that $$\bar{g}(x)$$ is irreducible over $$\mathbb{Z}_2$$ that implies that g(x) is irreducible over $$\mathbb{Q}$$.

But how do we show this?? We surely can't use Eisenstein here...
P: 540
 Quote by roam Let g(x)=x4+4x3+7x+5. Then over $$\mathbb{Z}_2$$, we have $$\bar{g}(x)=x^4+x+1$$. If we show that $$\bar{g}(x)$$ is irreducible over $$\mathbb{Z}_2$$ that implies that g(x) is irreducible over $$\mathbb{Q}$$. But how do we show this?? We surely can't use Eisenstein here...
In $$\mathbb{Z}_2$$ all coefficients are either 1 or 0, so ...
P: 913
 Quote by gerben In $$\mathbb{Z}_2$$ all coefficients are either 1 or 0, so ...
What do you mean?? I know that $$\bar{g}(0)=1$$ and $$\bar{g}(1)=1$$ in $$\mathbb{Z}_2$$, so there are no zeros. But we can't use this to conclude that it is irreducible because this test is only for degrees 2 and 3, so I can't use it when the polynomial has degree 4...

And for the Eisenstein we need a prime that divides 1 and doesn not divide 1 at the same time which is impossible!
P: 540
 Quote by roam What do you mean?? I know that $$\bar{g}(0)=1$$ and $$\bar{g}(1)=1$$ in $$\mathbb{Z}_2$$, so there are no zeros. But we can't use this to conclude that it is irreducible because this test is only for degrees 2 and 3, so I can't use it when the polynomial has degree 4... And for the Eisenstein we need a prime that divides 1 and doesn not divide 1 at the same time which is impossible!
You have $$\bar{g}(x)=x^4+x+1$$. You cannot divide out a factor x, so if there were some factor it would have to be of the form (x^n+q) for some polynomial q and some integer n. Any coefficient in these polynomials is 1, use this to argue that you must have $$(x^n+q_1)(x^n+q_2) \neq x^4+x+1$$ for all $$q_1,q_2\in \mathbb{Z}_2[X]$$.
P: 913
 Quote by gerben You have $$\bar{g}(x)=x^4+x+1$$. You cannot divide out a factor x, so if there were some factor it would have to be of the form (x^n+q) for some polynomial q and some integer n. Any coefficient in these polynomials is 1, use this to argue that you must have $$(x^n+q_1)(x^n+q_2) \neq x^4+x+1$$ for all $$q_1,q_2\in \mathbb{Z}_2[X]$$.
I think it's better to use xn and xm because they can be different as long as n+m=4.

$$(x^n+q_1)(x^m+q_2) = x^{n+m} + q_2 x^n + q_1 x^m +q_1q_2$$

In order for all coefficients to be 1 or 0, q1=q2=1 OR 0. Then we have:

$$(x^n+1)(x^m+1) = x^{n+m} + x^n + x^m + 1$$ .....(1)

or

$$(x^n+0)(x^m+0) = x^{n+m}$$ .....(2)

The polynomial (2) is not equal to $$\bar{g}(x)=x^4+x+1$$, and in polynomial (2) regardless of our choice for m and n, we will never end up with $$\bar{g}(x)$$:

n,m = 4,0 $$\implies x^4+x^4+1$$
n,m = 3,1 $$\implies x^4 + x^3 + x^2 +1$$
n,m = 2,2 $$\implies x^4 + x^2 + x^2 +1$$

Is this correct now?
P: 133
 Quote by losiu99 g(x+2) works for Eisenstein.
Sorry, I must have made some terrible mistake
P: 540
 Quote by roam I think it's better to use xn and xm because they can be different as long as n+m=4.
Yes, I should have done that

 Quote by roam In order for all coefficients to be 1 or 0, q1=q2=1 OR 0. Then we have: $$(x^n+1)(x^m+1) = x^{n+m} + x^n + x^m + 1$$ .....(1) or $$(x^n+0)(x^m+0) = x^{n+m}$$ .....(2)
No, q1 and q2 could be any polynomial just all the coefficients in those polynomials are either 0 or 1, i.e. all the ai in $$q_1 = \sum a_i X^i$$ are either 0 or 1 and all the bi in $$q_2 = \sum b_i X^i$$ are either 0 or 1.

 Quote by roam The polynomial (2) is not equal to $$\bar{g}(x)=x^4+x+1$$, and in polynomial (1) regardless of our choice for m and n, we will never end up with $$\bar{g}(x)$$: n,m = 4,0 $$\implies x^4+x^4+1$$ n,m = 3,1 $$\implies x^4 + x^3 + x^2 +1$$ n,m = 2,2 $$\implies x^4 + x^2 + x^2 +1$$ Is this correct now?
You can use your idea like this:

if n,m = 4,0 then we have $$(x^4 + q_1) (1+q_2) =...$$ which cannot be equal to $$\bar{g}$$ because...
if n,m = 3,1 then we have $$(x^3 + q_1) (x+q_2) =...$$ which cannot be equal to $$\bar{g}$$ because...
if n,m = 2,2 then we have $$(x^2 + q_1) (x^2+q_2) =...$$ which cannot be equal to $$\bar{g}$$ because...

(better not use "\implies" here, whenever you use "\implies" you need to make really sure that whenever the thing on the left of the arrow is true that then also the thing on the right is true, and it is really easy to forget something on the left)
 P: 913 Thank you so much; We have $$(x^n+q_1)(x^m+q_2) = x^{n+m} + q_2x^n + q_1x^m + q_1q_2$$ if n,m = 4,0 then we have $$(x^4 + q_1) (1+q_2) = x^4+q_2x^4+q_1+q_1q_2$$ which cannot be equal to $$\bar{g}$$ because regardless of what value (1 or 0) we choose for the coefficients we will never get $$\bar{g}$$. if n,m = 3,1 then we have $$(x^3 + q_1) (x+q_2) =x^4+q_2x^3+q_1x+q_1q_2$$ which cannot be equal to $$\bar{g}$$ because no possible choice of coefficients can make it equal to $$\bar{g}$$. if n,m = 2,2 then we have $$(x^2 + q_1) (x^2+q_2) =x^4+q_2x^2+q_1x^2+q_1q_2$$ which cannot be equal to $$\bar{g}$$ because whatver value we pick for $$q_1$$ and $$q_2$$ we will never end up with $$\bar{g}$$. This is okay now I guess?

 Related Discussions Linear & Abstract Algebra 5 Calculus & Beyond Homework 2 Calculus & Beyond Homework 1 Linear & Abstract Algebra 2 Calculus & Beyond Homework 4