3
$\begingroup$

I have proved that $\mathbb{R}[x]/(x^2-1) \simeq \mathbb{R} \oplus \mathbb{R}$. This fact is a corollary of the generalized C.R.T.

I have proved also that $\mathbb{R}[x]/(x^2+1) \simeq \mathbb{C}$. The isomorphism is given by a map $ax+b \mapsto b + ia$.

I can see why $\mathbb{R}[x]/(x^2+1) \not\simeq \mathbb{R}[x]/(x^2-1)$. This is because a homomorphism always maps $0$ to $0$, and $x^2-1=(x+1)(x-1)$ but $x^2+1$ is irreducible over $\mathbb{R}$.

For the same reason $\mathbb{R}[x]/(x^2) \not\simeq \mathbb{R}[x]/(x^2+1)$. But I still need to prove that $\mathbb{R}[x]/(x^2) \not\simeq \mathbb{R}[x]/(x^2-1)$. I would appreciate any help.

  • 9
    There is a nilpotent element in $\mathbb R[x]/(x^2)$, not in $\mathbb R[x]/(x^2-1)$. Do you see it ?2012-02-07
  • 0
    @Lierre that is $x$. I think I got it. $\mathbb{R}/(x^2)$ has nilpotent, but $\mathbb{R}/(x^2-1)$ has no, thus there is no map with zero kernel between them. Am I right?2012-02-07
  • 0
    Yes you are ! More generally, isomorphic rings share all property expressible with the ring operations. And the property $$\exists x : x^2 = 0$$ is such a property. And by the way, you should right $\mathbb R[x]/(x^2)$ instead of $\mathbb R/(x^2)$, which, as is, is meaning less.2012-02-07
  • 0
    Also: the "maps $0$ to $0$" argument seems like it could use some filling out. Another way to talk about the difference between these two rings is to note that $\mathbb R[x]/(x^2 - 1)$ has non-zero zerodivisors, which is obvious from your use of the Chinese remainder theorem.2012-02-07
  • 0
    @DylanMoreland thank you for your comments and for your edits to my post. I had $\mathbb{R}[x]$ in mind of course.2012-02-07
  • 0
    @DylanMoreland now I see that the map $ax+b \mapsto -a+ib$ is not suitable. The right map is $ax+b \mapsto b+ia$. Thank you for pointing that.2012-02-07

1 Answers 1