Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I can see that clearly if you take $\mathbb{Z}[x]/7\mathbb{Z}[x]$ and then quotient it by $(x^2 + 1)$ all the remaining elements will be of form $ax + b$ where $a$ can be 7 things and $b$ can be 7 things, so this "object" has 49 elements. I'm not sure how to go about showing that $\mathbb{Z}[x]/(7, x^2 + 1)$ is isomorphic to this "object" and furthermore, that this object is necessarily a field. Any help you could give would be much appreciated. Thanks in advance.

share|cite|improve this question
up vote 6 down vote accepted

Hint 1: $X^2+1$ is irreducible in $\mathbb{Z}/7 \mathbb{Z} [X]$.

Hint 2: Find the Kernel and the image of the composition: $$\mathbb Z [X] \to \left(\mathbb{Z}/7 \mathbb{Z}\right) [X] \to \frac{\left(\mathbb{Z}/7 \mathbb{Z}\right) [X]}{\langle X^2+1 \rangle} \,.$$

share|cite|improve this answer

Fleshing out a little the already complete answer by N.S.: take any element $\,f(x)\in\Bbb Z[x]\,$ , reduce its coefficients modulo $\,7\,$ so that you get a map:

$$\Bbb Z[x]\to \Bbb F_7[x]\,\,,\,\,f(x)\to \overline f(x):=f(x)\pmod 7\,\,\,,\,\,\Bbb F_7:=\Bbb Z/7\Bbb Z$$

and now divide $\,\overline f(x)\,$ by $\,x^2+1\,$ in $\,\Bbb F_7[x]\,$ with residue:

$$\overline f(x)=g(x)(x^2+1)+r(x)\,\,,\,\,g(x),r(x)\in\Bbb F_7[x]\,\,\,,\,\,\deg r<2\,\,\,or\,\,\,r(x)=0$$

so that we can map $\,\overline f(x)\to r(x)+(x^2+1)\in K\,$ , from $\,\Bbb F_7[x]\to K:=\Bbb F_7[x]/(x^2+1)\,$

Finally, observe that $\,K\,$ is a field since $\,x^2+1\,$ is irreducible in $\,\Bbb F_7[x]\,$ since $\,-1\,$ is a square $\,\pmod p\Longleftrightarrow p=1\pmod 4\,$...

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.