Results 1 to 2 of 2

Thread: Prove Z[sqrt(d)] is not a UFD when d=1 mod 4

  1. #1
    Junior Member
    Joined
    Oct 2009
    Posts
    40

    Prove Z[sqrt(d)] is not a UFD when d=1 mod 4

    Let $\displaystyle d \equiv 1 \pmod{4}$ be a square-free integer with $\displaystyle d \neq 1$. By considering the factorisation of $\displaystyle d-1$, show that the ring $\displaystyle \mathbb{Z}[\sqrt{d}]$ is never a Unique Factorisation Domain.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by Boysilver View Post
    Let $\displaystyle d \equiv 1 \pmod{4}$ be a square-free integer with $\displaystyle d \neq 1$. By considering the factorisation of $\displaystyle d-1$, show that the ring $\displaystyle \mathbb{Z}[\sqrt{d}]$ is never a Unique Factorisation Domain.
    first show that 2 is irreducible: if $\displaystyle 2=(m+n\sqrt{d})(r+s \sqrt{d}),$ then $\displaystyle 4=(m^2-n^2d)(r^2-s^2d).$ but the equation $\displaystyle x^2-y^2d= \pm 2$ has no integer solution since $\displaystyle y^2d \pm 2 \equiv y^2 \pm 2 \equiv 2 \ \text{or} \ 3 \mod 4.$

    now, if $\displaystyle \mathbb{Z}[\sqrt{d}]$ was a UFD, then, because 2 is irreducible, it'd have to be prime. therefore, since $\displaystyle 2 \mid d-1 = (1 + \sqrt{d})(-1 + \sqrt{d})$, we'd have either $\displaystyle 2 \mid 1 + \sqrt{d}$ or $\displaystyle 2 \mid -1 + \sqrt{d},$ which is impossible.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Prove that sqrt(5) is irrational?
    Posted in the Number Theory Forum
    Replies: 5
    Last Post: Nov 18th 2010, 10:13 PM
  2. Prove Q(\sqrt{2}+\sqrt{3})=Q(\sqrt{2},\sqrt{3})
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Apr 11th 2010, 04:52 PM
  3. Prove sqrt(50) irrational
    Posted in the Number Theory Forum
    Replies: 3
    Last Post: Aug 12th 2009, 12:46 PM
  4. Prove sqrt(q) is irrational
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: Jun 15th 2009, 05:32 PM
  5. prove sqrt(3) + sqrt (5) is an irrational number
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: Oct 6th 2006, 06:48 PM

Search tags for this page

Search Tags


/mathhelpforum @mathhelpforum