Is Q[x]/I ring-isomorphic to Q[\sqrt{2}]?

  • Thread starter Thread starter e(ho0n3
  • Start date Start date
  • Tags Tags
    Isomorphism Ring
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 3K views
e(ho0n3
Messages
1,349
Reaction score
0
Homework Statement
Prove that [tex]Q[x]/\langle x^2 - 2 \rangle[/tex] is ring-isomorphic to [tex]Q[\sqrt{2}] = \{a + b\sqrt{2} \mid a,b \in Q\}[/tex].


The attempt at a solution
Denote [tex]\langle x^2 - 2 \rangle[/tex] by I. [tex]a_0 + a_1x + \cdots + a_nx^n + I[/tex] belongs to Q[x]/I. It has n + 1 coefficients which somehow map to a and b. I don't think any injection can do this. I'm stumped. Any hints?
 
Physics news on Phys.org
I think I got it: Let f(x) be an element of Q[x]. f(x) may be rewritten as (xx - 2)q(x) + r(x) for some q(x), r(x) in Q[x] with r(x) = 0 or deg r(x) < deg (xx - 2) = 2. Thus, r(x) has the form a + bx, a and b both belonging to Q. Aha!