Prove that Q[√d] = {a + b√d | a, b ϵ Q} is a field where d is a positive integer.
Help
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)
it seems that I am so lost in ring isomorphisms.
how is Q(p,q) isomorphic to Q[root(d)] ? 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.
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.