1
$\begingroup$

Let $\mathbb{Q},\mathbb{R}$ denote the fields of rational numbers and real numbers respectively. Which of the following fields are not isomorphic.
(a) $\mathbb{Q}[x]/( x^2 + 1 )$ and $\mathbb{Q}[x]/( x^2 + x + 1 )$.
(b) $\mathbb{R}[x]/( x^2 + 1 )$ and $\mathbb{R}[x]/( x^2 + x + 1 )$.

Justify your answer.


My thoughts:

(a) $\mathbb{Q}[x]/( x^2 + 1 )$ is isomorphic to $\mathbb{Q}(i)$ and $\mathbb{Q}[x]/( x^2 + x + 1 )$ is isomorphic to $\mathbb{Q}(\sqrt{3},i)$. So they are not isomorphic.

(b) $\mathbb{R}[x]/( x^2 + 1 )$ is isomorphic to $\mathbb{R}(i)$ that is $\mathbb{C}$ and $\mathbb{R}[x]/ ( x^2 + x + 1 )$ is isomorphic to $\mathbb{R}(\sqrt{3} , i)$ that is $\mathbb{C}$.
So they are isomorphic.

Are my arguments correct?

$\endgroup$
  • 1
    $\begingroup$ I don't think you can generate either $i$ or $\sqrt3$ with the roots of $x^2+x+1$ and rationals. Hint: what was that third primitive root of unity again? $\endgroup$ – Jyrki Lahtonen Mar 15 '13 at 5:23
  • 2
    $\begingroup$ By "equals" do you mean "quotient"? Or maybe this is notation I'm not familiar with. $\endgroup$ – Alex Zorn Mar 15 '13 at 5:24
  • $\begingroup$ sorry for my mistakes. now I have made the corrections $\endgroup$ – poton Mar 15 '13 at 5:29
0
$\begingroup$

One idea: In $\mathbb{Q}[x]/<x^2 + 1>$, all elements are of the form $a + bx$, where $a$ and $b$ are rational numbers, and $x^2 = -1$.

Show that the polynomial $p(t) = t^2 + t + 1$ does not have any solutions in this field. Of course, $p(t)$ does have solutions in the field $\mathbb{Q}[x]/<x^2 + x + 1>$, so if it didn't have any solutions in the first field, you would show the fields are not isomorphic.

To show that $p(t)$ doesn't have solutions in the first field, suppose $t = a + bx$ were a solution. Expand $t^2 + t + 1$, and show that this places impossible restrictions on the rational numbers $a$ and $b$.

$\endgroup$
0
$\begingroup$

The notation I learned is $\mathbb{F}/(f)$, so I will use this here.

$\mathbb{Q}/(x^2+x+1)$ is not isomorphic to $\mathbb{Q}(\sqrt3,i)$ because neither of them can be generated. It should be $\mathbb{Q}(\sqrt{-3})$ that is isomorphic to $\mathbb{Q}/(x^2+x+1)$.

And there is a little problem with the other one. $\mathbb{R}/(x^2+x+1)$ is isomorphic to $\mathbb{R}(\sqrt3,i)$, which is of course true, is not so clear. The reason is the same as the $\mathbb{Q}$ case.

$\endgroup$
-1
$\begingroup$

The isomorphism between R[x]/(x^2+1) and R[x]/(x^2+x+1) Both are isomorphic to C. First isomorphism is f(i) and for the other one it is f((i*sqrt(3)-1)/2)

$\endgroup$
  • $\begingroup$ Isomorphic as vector spaces but not as fields $\endgroup$ – Bruno Joyal Dec 28 '13 at 19:12
  • $\begingroup$ sorry, i was going to correct it somehow, but I was late :( anyway, won't anybody mind if I change my answer for another =0 $\endgroup$ – Jerry Lie Dec 29 '13 at 15:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.