1
$\begingroup$

The problem is to find the generator of the kernel of the homomorphism map $\phi :\mathbb{R}[x]\to\mathbb{C}$ defined by $f(x)\mapsto f(2+i)$

I think the ideal generated by $(x-2-i)$ is the kernel of $\phi$.
Suppose $g\in((x-2-i))$, then $g=q(x)(x-2-i)$ for some $q(x)\in\mathbb{R}[x]$. Thus, $\phi(g(x))=g(2+i)=q(2+i)(2+i-2-i)=0$. Therefore, $((x-2-i))\subseteq ker(\phi)$.
Now suppose $g\in ker(\phi)$. By division algorithm, we can write: $$g(x)=q(x)(x-2-i)+r(x)$$ where $deg(r(x))<deg(x-2-i)=1$. Thus, $deg(r(x))=0$. Hence, $r(x)=c$ for some constant $c\in\mathbb{R}$. Now, $$\phi(g(x))=\phi(q(x))\phi(x-2-i)+\phi(c)$$ $$\Rightarrow 0=q(2+i)(2+i-2-i)+c$$ Therefore, $c=0$. Hence, $ker(\phi)\subseteq ((x-2-i))$ and thus $ker(\phi)=((x-2-i))$.

But in the solutions it is given that $ker(\phi)=((x^2−4x+5))$. Where did I go wrong?

Note: $(x^2−4x+5)=(x-(2+i))(x-(2-i))$

Edit: The proof I gave is very silly as $(x-2-i)\notin\mathbb{R}[x]$.

$\endgroup$
3
  • 4
    $\begingroup$ $\mathbb{R}[x]$ are polynomials with real coefficients. This implies that if $2+i$ is a zero of a polynomial $p\in\mathbb{R}[x]$, then $2-i$ is also a zero of $p$. Hence $(x^2-4x+5)$ divides $p$. $\endgroup$ Commented Sep 15, 2017 at 17:09
  • $\begingroup$ Thanks. I just realized where I went wrong. The ideal I gave is not even in $\mathbb{R}[x]$. $\endgroup$ Commented Sep 15, 2017 at 17:21
  • $\begingroup$ On thing important : for $f(x)\in \mathbb R[X]$, you have that $f(x)=0\iff f(\bar x)=0$. $\endgroup$
    – Surb
    Commented Sep 15, 2017 at 17:37

1 Answer 1

3
$\begingroup$

$(x-2-i)\notin\mathbb{R}[x]$ because $i$ is a complex number. So, the answer is wrong.

Since $(x^2-4x+5)=(x-(2+i))(x-(2-i))$, hence $((x^2-4x+5))\subseteq ker(\phi)$. Conversely, let $f\in ker(\phi))$. By division algorithm we can write $f(x)=g(x)+r(x)$ where $g(x)\in((x^2-4x+5))$ and $r(x)=r_0+r_1 x$ and $r_0,r_1\in\mathbb{R}$. Now, $\phi(f(x))=\phi(g(x))+\phi(r(x))=r_0+r_1(2+i)$ which is zero only if $r_0=r_1=0$. So, $f=g\in((x^2-4x+5))$. Thus $ker(\phi)\subseteq((x^2-4x+5))$.

So, $ker(\phi)=((x^2-4x+5))$.

$\endgroup$
1
  • 1
    $\begingroup$ Good job (+1). But, in a first course on abstract algebra I would insist that you state that the division algorithm produces $r_0,r_1\in\Bbb{R}$. After all, that is the key for the step $r_0+r_1(2+i)=0\implies r_0=r_1=0$. This was probably clear to you now that you figured out what went wrong initially :-) $\endgroup$ Commented Sep 15, 2017 at 19:20

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .