Results 1 to 4 of 4

Math Help - Determine if this Ring is a field

  1. #1
    Junior Member
    Joined
    Feb 2010
    Posts
    42

    Determine if this Ring is a field

    Can you help me prove that this ring is a field?

    R = Q[ \sqrt(d)] = { a+b \sqrt(d) ; a,b are rational}

    So I tried:

    We must show that every element of R is a unit. So for some element (a+b* \sqrt(d)) there must be some (e+c* \sqrt(d)) such that

    (a+b* \sqrt(d))*(e+c* \sqrt(d)) = 1

    so (ae+bed) + (be + ac)* \sqrt(d) = 1

    so ae-bed = 1 and be+ac =0

    but then I get stuck after that
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2010
    From
    Staten Island, NY
    Posts
    451
    Thanks
    2
    I believe that the first equation should be ae+bcd=1. This is just a system of equations in the unknowns e and c which you can solve. Just be careful of the special cases a=0 and possibly b=0.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor FernandoRevilla's Avatar
    Joined
    Nov 2010
    From
    Madrid, Spain
    Posts
    2,162
    Thanks
    45
    If d\geq 0 is a perfect square then \mathbb{Q}[\sqrt{d}]=\mathbb{Q} and so \mathbb{Q}[\sqrt{d}] is a field.

    If d\geq 0 is not a perfect square, then, \sqrt{d} is irrational.

    In this case choose a+b\sqrt{d}\neq 0. Then

    (a+b\sqrt{d})(x+y\sqrt{d})=1\Leftrightarrow \begin{Bmatrix} ax+bdy=1\\bx+ay=0\end{matrix}

    Now, using that \sqrt{d} is irrational, prove that

    \det \begin{bmatrix}{a}&{bd}\\{b}&{a}\end{bmatrix}=a^2-b^2d\neq 0

    which implies that the system has a solution (x,y)=\ldots ( besides, unique ).


    Fernando Revilla
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Feb 2010
    Posts
    42
    Thanks guys I have it figured out
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Ring, field, Galois-Field, Vector Space
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: November 15th 2012, 03:25 PM
  2. ring and field
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 5th 2011, 06:00 AM
  3. Ring/Field help.
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: November 3rd 2009, 07:44 AM
  4. ring+conditon=field
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: January 3rd 2009, 06:58 PM
  5. ring -> field
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 3rd 2009, 06:38 PM

Search Tags


/mathhelpforum @mathhelpforum