# Thread:

1. ## Nomenclature

How exactly does this read:
(prove that) R[x]/<x^2+2> (is isomorphic to C)

And what exactly does the "/" imply algebraicly?

Thanks.

2. ...

3. Here, you are creating the complex numbers! This is very elegant. The $\mathbb{R}$ shows that you are in the reals, so $x^2$ can have any coefficient in the reals. BUT, $x^2=-2$ There is nothing when squared in the reals equal to 2, so you have to go imaginary. So, in the multiplication table, whenever you see an $x^2$ replace it with a -2. The $/$ means you are "modding out by"

4. sfspitfire23 give us such a elegant explanation.
So, follow his thread, and you will find the isomorphism.
Good luck!

5. Originally Posted by elninio
How exactly does this read:
(prove that) R[x]/<x^2+2> (is isomorphic to C)
It reads:

(prove that) the quotient ring of $\mathbb R[x]$ [the ring of polynomials with real coefficients] by the ideal generated by $x^2+2$ (is isomorphic to $\mathbb C)$

To prove this, given any $f(x)\in\mathbb R[x],$ use the division algorithm to write $f(x)=q(x)(x^2+2)+ax+b$ where $q(x)\in\mathbb R[x]$ and $a,b\in\mathbb R$ are uniquely determined by $f(x).$ Define a map $\varphi:\mathbb R[x]\to\mathbb C$ by $\varphi\left(f(x)\right)=b+i\sqrt2a.$ All that remains is to show that $\varphi$ is a ring epimomophism (surjective homomorphism) with kernel $\left\langle x^2+2\right\rangle.$

Originally Posted by elninio
And what exactly does the "/" imply algebraicly?
In general if $R$ is a ring and $I$ is an ideal of $R,$ $R/I$ denotes the quotient ring of $R$ by $I$:

$R/I\ =\ \{r+I:r\in R\}$

where given a fixed $r\in R,$ $r+I$ denotes the additive coset $\{r+j:j\in I\}.$
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 27, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.926994264125824, "perplexity_flag": "middle"}