Prove that Q[√d] = {a + b√d | a, b ϵ Q} is a field where d is a positive integer.

Help

- April 6th 2010, 10:34 PMpila0688Prove that Q[√d] = {a + b√d | a, b ϵ Q} is a field where d is a positive integer.
Prove that Q[√d] = {a + b√d | a, b ϵ Q} is a field where d is a positive integer.

Help - April 6th 2010, 10:50 PMhamidr
I hope this helps: in order to prove a ring is field we have to prove that the ring has multiplicative inverse, that is it is a unit.

q(rood (d)) is the elements that contains Q and rood (d)

ie: all the elements of the form a + b*sqrt(d) .now you have to see if there exist another element in this form such that (a+ b*root(d))* (c+ d*root(d))=1

I recomend that you divide 1/(c+d*root(d)) and see if you can find an element in Q(root(d))

Hint: use the fact (a-b)*(a+b)=(a^2)-(b^2) (Clapping) - April 6th 2010, 11:02 PMDrexel28
Well, he first has to show it's a ring. But, a field is a commutative division ring and so he must not only show that every non-zero element of has a multiplicative inverse but that the multiplication is commutative (albeit this is trivial)

- April 6th 2010, 11:13 PMhamidr
- April 6th 2010, 11:18 PMDrexel28
- April 6th 2010, 11:28 PMBruno J.
- April 6th 2010, 11:33 PMDrexel28
- April 6th 2010, 11:39 PMhamidr
it seems that I am so lost in ring isomorphisms.

how is Q(p,q) isomorphic to Q[root(d)] ? (Headbang) we dont know what root(d) is, what if it could be expressed as complex? ie d= -1 then we would have a+bi

though I believe you are right since I am so lost in showing isomorphism relations. - April 6th 2010, 11:42 PMDrexel28
My point was more elementary than that. I didn't even show that they aren't ring isomorphic I showed that they can't be equipotent (have the same cardinal numbers). So, they can't be isomorphic (for they'd have to be equipotent).

Also, think about what you're saying. If then . Stand back and take a look that statement. - April 7th 2010, 12:12 AMhamidr