Take the 2-minute tour ×
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.

How to prove that $\,\,\mathbb{C}\cong \mathbb{R}[x]/(x^2+1)$ with $(x^2+1)=\{(x^2+1)f : f\in\mathbb{R}[x]\}$

share|improve this question
After you ask a question here, if you get an acceptable answer, you should "accept" the answer by clicking the check mark ✓ next to it. This scores points for you and for the person who answered your question. If you don't do this, people are less likely to answer your later questions. You can find out more about accepting answers here: How do I accept an answer?, Why should we accept answers?, How does accept rate work?. –  Julian Kuelshammer Oct 30 '12 at 23:27
Can you find a surjective homomorphism $\mathbb{R}[x] \to \mathbb{C}$ whose kernel is $(x^2 + 1)$ ? –  Joel Cohen Oct 30 '12 at 23:27
Joel I have not found the function :( –  Roiner Segura Cubero Oct 30 '12 at 23:29
Ok Jujian did not know about the points, my official language is Spanish. Thanks. –  Roiner Segura Cubero Oct 30 '12 at 23:30
@Andres : You know such a function must map the polynomial $x^2+1$ to $0$ (because $x^2 + 1$ should be in the kernel), so what could the image of $x$ be ? –  Joel Cohen Oct 30 '12 at 23:38

1 Answer 1

up vote 1 down vote accepted

Let $\psi\colon \mathbb{R}[x] \rightarrow \mathbb{C}$ be the map defined by $\psi(f(x)) = f(i)$. Clearly $\psi$ is a $\mathbb{R}$-homomorphism of $\mathbb{R}$-algebras. Suppose $\psi(f(x)) = 0$. By the division formula, there exists $g(x), h(x) \in \mathbb{R}[x]$ such that

$f(x) = (x^2 + 1)g(x) + h(x)$, where deg $h(x) < 2$.

Since $f(i) = 0$ and $i^2 + 1 = 0$, $h(i) = 0$. Suppose $h(x) = ax + b$. Then $ai + b = 0$. Hence $a = b = 0$. Hence $f(x) = (x^2 + 1)g(x)$. Hence Ker $\psi = (x^2 + 1)$. Therefore $\mathbb{R}[x]/(x^2 + 1) \cong \mathbb{C}$.

share|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.