# Thread:

1. ## Irreducible Polynomial

Let f(x) be an irreducible polynomial of degree n in Zp[x]. Show that the field E =
Zp[x]/<f(x)> has exactly p^n elements.

f(x) is irreducible, so it cannot be factored into a product of polynomials of lower degree.

2. Think about what the elements of $\mathbb{Z}_p[x]/\langle f(x)\rangle$ look like and what it means for them to be different. Maybe that's too vague. I mean, for example, consider the coset $a=(x^n+1)+\langle f(x)\rangle$. If you can write $x^n+1=f(x)q(x)+r(x)$, then isn't $r(x)+\langle f(x)\rangle$ the same coset as $a$?

And how many different remainders can you get when you divide by $f(x)$?

3. Well, I started by letting f(x)=a_nx^n+.....+a1x+a0
I don't know if that helps me any

4. That helps to at least figure out what kind of remainders you can get when dividing by $f(x)$. That division is the key to the whole problem because when dividing by an nth degree polynomial, $f(x)$ in this case, the remainder must be of degree strictly less than n. So if you have some coset $g(x)+\langle f(x)\rangle$, you can divide $g(x)$ by $f(x)$ and represent the same coset by the remainder, which is guaranteed to be a polynomial of degree at most $n-1$.

The nice thing is that you don't have to actually do any division at all (although this is one way to find inverses if you want). You just have to show that each coset can be represented by a polynomial of degree less than $n$. Now since the coefficients come from a finite field, how many different polynomials can you form? That's your answer.

You do need to show that each of these different polynomials does actually represent a different coset, but you can do that by contradiction. Say that two different polynomials, each of degree at most $n-1$ represent the same coset. Write out what this means and use the fact that $f(x)$ is irreducible to get the contradiction.

edit: Actually the fact that f(x) is irreducible doesn't really come into play in that last paragraph. I must have been thinking of using that fact to prove the existence of inverses, but you already know it's a field.
{"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": 15, "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": 10, "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.9579214453697205, "perplexity_flag": "head"}