# Thread:

1. ## irreducible polynomial

Hi guys,

I was wondering how I can prove that $x^4+x+2$ in the field $\mathbb{Z}_3[x]$ is irreducible?
I know how to do it if the degree is 3 or less, but here I have no idea..

Thanks in advance,
Orbis

2. Originally Posted by Orbis
Hi guys,

I was wondering how I can prove that $x^4+x+2$ in the field $\mathbb{Z}_3[x]$ is irreducible?
I know how to do it if the degree is 3 or less, but here I have no idea..

Thanks in advance,
Orbis
It's easy to see there are no linear factors.

As for quadratic terms, WLOG its ok to assume the two constant terms are $2$ and $1$, since $-2=1$ and $-1=2$.

So we have $x^4+x+2=(x^2+ax+2)(x^2+bx+1) = x^4+(a+b)x^3+abx^2+(a+b)x+2$

The $x^3$ term tells us that $a+b\equiv0\bmod{3}$.

But the $x$ term tells us that $a+b\equiv1\bmod{3}$.

This is impossible, hence $x^4+x+2$ is irreducible in $\mathbb{Z}/3\mathbb{Z}$.

3. Ah, so simple! I was thinking along the lines of proving that $<x^4+x+2>$ was a maximal ideal, but that wasn't getting me anywhere.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 16, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9736019968986511, "perplexity_flag": "head"}