Prove that $\mathbb{C}[x]/(x^2+2x)$ is isomorphic to $\mathbb{C} \oplus \mathbb{C} $, where $\mathbb{C} \oplus \mathbb{C} = \{(z_1, \space z_2) | z_1, z_2 \in \mathbb{C} \}$ is the ring with componentwise operations of addition and multiplication.
Firstly, I would like to clarify what is $\mathbb{C} \oplus \mathbb{C} $ ? I don't quite understand that and therefore can't continue solving the problem.
But in general, I need to use the Isomorphism theorem for rings and thus find homomorphism $\phi$, such that $\operatorname{Ker} \phi = (x^2+2x)$ and $\operatorname{Im} \phi =
\mathbb{C} \oplus \mathbb{C}$.
If $\phi : \mathbb{C}[x] \to \mathbb{C}$ and $f \mapsto f(0)$, then $\operatorname{Ker} \phi = (x)$. If it is $f \mapsto f(2)$, then $\operatorname{Ker} \phi = (x-2)$ and $\operatorname{Im} \phi = \mathbb{C}$. But how homomorphism $\phi$ should look like for Ker and Im to be as mentioned before?
Best Answer
The ring $\mathbb{C}\oplus\mathbb{C}$ (also written $\mathbb{C}\times\mathbb{C}$) has addition and multiplication defined by $$ (z_1,z_2)+(z_3,z_4)=(z_1+z_3,z_2+z_4), \qquad (z_1,z_2)(z_3,z_4)=(z_1z_3,z_2z_4) $$ Now consider your maps “tied together” (but with $-2$ rather than $2$): $$ \varphi\colon\mathbb{C}[x]\to\mathbb{C}\oplus\mathbb{C} \qquad \varphi(f)=(f(0),f(-2)) $$ and prove it's a ring homomorphism. What's its kernel?