Results 1 to 4 of 4

Math Help - Show that Z[i] is a PID.

  1. #1
    Junior Member
    Joined
    Apr 2010
    Posts
    51

    Show that Z[i] is a PID.

    Show that \mathbb{Z}[i] is a principal ideal domain.

    I have already shown that \mathbb{Z}[i] is an integral domain. How do I show that all ideals are principal ( I=(r), r\in \mathbb{Z}[i])?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by JJMC89 View Post
    Show that \mathbb{Z}[i] is a principal ideal domain.

    I have already shown that \mathbb{Z}[i] is an integral domain. How do I show that all ideals are principal ( I=(r), r\in \mathbb{Z}[i])?

    If you know, or can show by means of the norm, that that ring is an Euclidean one then you're done, otherwise I

    can't see how to show directly that it is a PID...

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Apr 2010
    Posts
    51
    Quote Originally Posted by tonio View Post
    If you know, or can show by means of the norm, that that ring is an Euclidean one then you're done, otherwise I can't see how to show directly that it is a PID...
    I haven't covered Euclidean domains or norms.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by JJMC89 View Post
    I haven't covered Euclidean domains.

    Well, then you still can do something that is actually equivalent: show that the norm N(a+bi):=a^2+b^2

    in \mathbb{Z}[i] permits you to carry on "division with residue" just as the absolute value

    allows us to do the same in the integers.

    Once you have this proceed as with the integers to show the ring is a PID.

    Tonio
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Show that
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: March 8th 2011, 12:05 PM
  2. show the way
    Posted in the Calculus Forum
    Replies: 2
    Last Post: October 14th 2009, 04:47 AM
  3. how to show show this proof using MAX
    Posted in the Calculus Forum
    Replies: 2
    Last Post: January 14th 2009, 12:05 PM
  4. How to show...
    Posted in the Calculus Forum
    Replies: 1
    Last Post: December 9th 2008, 09:07 AM
  5. how to show -u = (-1) u ?
    Posted in the Geometry Forum
    Replies: 1
    Last Post: May 21st 2008, 05:46 AM

Search Tags


/mathhelpforum @mathhelpforum