# Prove that $\F_3[x]/(x^2+1)$ is a Field and Find the Inverse Elements ## Problem 529

Let $\F_3=\Zmod{3}$ be the finite field of order $3$.
Consider the ring $\F_3[x]$ of polynomial over $\F_3$ and its ideal $I=(x^2+1)$ generated by $x^2+1\in \F_3[x]$.

(a) Prove that the quotient ring $\F_3[x]/(x^2+1)$ is a field. How many elements does the field have?

(b) Let $ax+b+I$ be a nonzero element of the field $\F_3[x]/(x^2+1)$, where $a, b \in \F_3$. Find the inverse of $ax+b+I$.

(c) Recall that the multiplicative group of nonzero elements of a field is a cyclic group.

Confirm that the element $x$ is not a generator of $E^{\times}$, where $E=\F_3[x]/(x^2+1)$ but $x+1$ is a generator. Add to solve later

## Proof.

### (a) Prove that the quotient ring $\F_3[x]/(x^2+1)$ is a field

Let $f(x)=x^2+1$. We claim that the polynomial $f(x)$ is irreducible over $\F_3$.
To see this, note that $f(x)$ is a quadratic polynomial.
So $f(x)$ is irreducible over $\F_3$ if it does not have a root in $\F_3$.
We have
\begin{align*}
\end{align*}
Hence $f(x)$ does not have a root in $\F_3$ and it is irreducible over $\F_3$.

It follows that the quotient $\F_3[x]/(x^2+1)$ is a field.
Since $x^2+1$ is quadratic, the extension degree of $\F_3[x]/(x^2+1)$ over $\F_3$ is $2$.
Hence the number of elements in the field is $3^2=9$.

### (b) Find the inverse of $ax+b+I$

Let $ax+b$ be a representative of a nonzero element of the field $\F_3[x]/(x^2+1)$.
Let $cx+d$ be its inverse. Then we have
\begin{align*}
\end{align*}
since $x^2=-1$ in $\F_3[x]/(x^2+1)$.

Hence we obtain two equations
\begin{align*}
\end{align*}

Since $ax+b$ is a nonzero element, at least one of $a, b$ is not zero.
If $a\neq 0$, then the first equation gives
$d=-\frac{bc}{a}. \tag{*}$ Substituting this to the second equation, we obtain
\begin{align*}
\left(\, \frac{-b^2-a^2}{a} \,\right)c=1.
\end{align*}
Observe that $a^2+b^2$ is not zero in $\F_3$.
(Since $a \neq 0$, we have $a^2=1$. Also $b^2=0, 1$.)
Hence we have
\begin{align*}
c=-\frac{a}{a^2+b^2}.
\end{align*}

It follows from (*) that
$d=\frac{b}{a^2+b^2}$

Thus, if $a \neq 0$, then the inverse element is
$(ax+b)^{-1}=\frac{1}{a^2+b^2}(-ax+b). \tag{**}$

If $a=0$, then $b\neq 0$ and it is clear that the inverse element of $ax+b=b$ is $1/b$.
Note that the formula (**) is still true in this case.

In summary, we have

$(ax+b)^{-1}=\frac{1}{a^2+b^2}(-ax+b)$

for any nonzero element $ax+b$ in the field $\F_3[x]/(x^2+1)$.

### (c) $x$ is not a generator but $x+1$ is a generator

Note that the order of $E^{\times}$ is $8$ since $E$ is a finite field of order $9$ by part (a).
We compute the powers of $x$ and obtain
\begin{align*}
\end{align*}
Thus, the order of the element $x$ is $4$, hence $x$ is not a generator of the cyclic group $E^{\times}$.

Next, let us check that $x+1$ is a generator.
We compute the powers of $x+1$ as follows.
\begin{align*}
&(x+1)^3=2x(x+1)=2x^2+2x=2x-2=2x+1\\
&(x+1)^4=(2x+1)(x+1)=2x^2+3x+1=2.
\end{align*}

Observe that at this post the order of $x+1$ must be larger than $4$.
Since the order of $E^{\times}$ is $8$, the order of $x+1$ must be $8$ by Lagrange’s theorem.

Just for a reference we give the complete list of powers of $x+1$.
$\begin{array}{ |c|c|} \hline n & (x+1)^n \\ \hline 1 & x+1 \\ 2 & 2x \\ 3 & 2x+1 \\ 4 & 2 \\ 5 & 2x+2\\ 6 & x\\ 7 &x+2\\ 8 & 1\\ \hline \end{array}$ Add to solve later

### More from my site

#### You may also like...

This site uses Akismet to reduce spam. Learn how your comment data is processed.

###### More in Field Theory ##### Each Element in a Finite Field is the Sum of Two Squares

Let $F$ be a finite field. Prove that each element in the field $F$ is the sum of two squares...

Close