3
$\begingroup$

today I have a problem which I see in book Abstract Algebra of David. This is problem:

Let $F$ be a finite field of order q and let $f(x)$ be a polynomial in $F(x)$ of degree $n\geq 1$. Prove that $F[x]/\langle f(x) \rangle$ has $q^n$ elements.

  • 0
    I am having second thoughts about whether this is a close enough duplicate of [this one](http://math.stackexchange.com/q/239078/11619). All potential "close"-voters, please form your opinion without trusting mine. Sorry about being a tad trigger happy today.2012-11-20

2 Answers 2

1

Hint: It is a vector space of dimension $n$ over the field $F$.

1

Hint: When you mod out a polynomial ring by a polynomial $f(x)$, it is as if you are saying that "$f(x)=0$, and using that in your computations.

Now suppose you solve that equation for the highest degree term in $f(x)$, which we will call $\alpha x^n$. You get something that looks like this: $\alpha x^n=f(x)-\alpha x^n$. The thing on the right hand side has degree strictly less than $n$. You can further solve it by dividing by $\alpha$, so: $x^n=(f(x)-\alpha x^n)/\alpha$.

This means that in all your computations, if you see $x^n$, or any higher power, you can replace it with a polynomial of degree less than $n$ (whatever the degree of $(f(x)-\alpha x^n)/\alpha$ happens to be.) After doing this repeatedly, you will have no powers of $x$ greater than the $n$th power. That means everything in the quotient can be represented as a polynomial of degree less than $n$, and conversely all polynomials like that will appear in the quotient.

So, how many such polynomials are there?