This is my (informal) understanding of a quotient ring. I understand that this is very flimsy, but I hope you can get the main idea.
You have some ring $R$ and you want to quotient out an ideal $I$. Draw out a 'number line' listing all the elements, starting from the zero element. Identify the smallest element of $I$. Take only the elements from the zero element up to that smallest element of the ideal (ideal generator), delete everything else. You now have a 'string' of elements. Connect the ends of the string so the ideal generator $I$ coincides with the zero element. This is your quotient 'ring'.
So going by this, the quotient ring should contain all the elements 'smaller than' the ideal generator. So for example, if the ideal generator is $x^2+1$, then the ring contains only linear factors, hence 'smaller'.
This is the part where I am confused. My understanding is that if we have $$R[x]/(x^2+1) \cong ax+b$$
for $a,b \in R$.
But this excellent answer here says that
$$\mathbb{Q}[x]/(x^2-2) \cong \mathbb{Q}[\sqrt{2}]$$
Why are we finding the roots of the quotient and plugging them into the quotient form (linear factor)?
Best Answer
When you quotient out by $x^2+1$ you send every multiple of $x^2+1$ to zero. This is the same as making $x^2=-1$ which is the same as making $x=i$ so $R[x]$ is now $R[i]$ It's probably the wrong way to think about it and I'm sure I will be scolded for it, but when you just want to know what the damn ring is that's the easiest way to think about it.