Results 1 to 9 of 9

Math Help - Quasi-local domain is a PID if its localizations at maximal ideals are PIDS

  1. #1
    MHF Contributor Bruno J.'s Avatar
    Joined
    Jun 2009
    From
    Canada
    Posts
    1,266
    Thanks
    1
    Awards
    1

    Quasi-local domain is a PID if its localizations at maximal ideals are PIDS

    Let A be a quasi-local domain (i.e. a commutative domain with finitely many maximal ideals). Suppose that for every maximal ideal M of A, the localization A_M is a P.I.D. Show that A is a P.I.D.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    May 2010
    From
    Los Angeles, California
    Posts
    274
    Thanks
    1
    I think most texts define quasi-local to mean that there's only one maximal ideal. Do you mean semi-quasilocal? What's the reference for this problem?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor Bruno J.'s Avatar
    Joined
    Jun 2009
    From
    Canada
    Posts
    1,266
    Thanks
    1
    Awards
    1
    Thank you for your interest. A local ring is a ring having a single maximal ideal. A quasi-local ring is a ring having a finite number of maximal ideals.

    The reference is Lorenzini's "An introduction to arithmetic geometry", AMS.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    May 2010
    From
    Los Angeles, California
    Posts
    274
    Thanks
    1
    Specifically, where in Lorenzini's book is this problem?
    Last edited by ojones; June 2nd 2011 at 07:56 PM.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor Bruno J.'s Avatar
    Joined
    Jun 2009
    From
    Canada
    Posts
    1,266
    Thanks
    1
    Awards
    1
    Chapter III, problem 3 on page 126.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    May 2010
    From
    Los Angeles, California
    Posts
    274
    Thanks
    1
    I'm still thinking about this but here's my approach. First consider only local domains for which there's only one maximal ideal. Let I\subset A be an ideal. Then the expansion I^E of I to A_M is principal, by assumption. Let a/s be its generator, where a\in I and s\in S=A\setminus M. Now a is a candidate for the generator of I but now to prove it. Obviously the maximality of M is critical.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Senior Member
    Joined
    May 2010
    From
    Los Angeles, California
    Posts
    274
    Thanks
    1
    OK, I think I have a proof. It may not be the most direct, however. We know that any local domain who's maximal ideal is principal must be a discrete valuation ring. Now, let $X$ be the maximal spectrum of $A$. Then,

    A=\cap_{M\in X}A_M.

    Since each A_M is a DVR and the intersection is finite, we have that A is a PID.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Member
    Joined
    Nov 2010
    Posts
    193
    Quote Originally Posted by ojones View Post
    OK, I think I have a proof. It may not be the most direct, however. We know that any local domain who's maximal ideal is principal must be a discrete valuation ring. Now, let $X$ be the maximal spectrum of $A$. Then,

    A=\cap_{M\in X}A_M.

    Since each A_M is a DVR and the intersection is finite, we have that A is a PID.
    Why is the statement A=\cap_{M\in X}A_M. true?
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Senior Member
    Joined
    May 2010
    From
    Los Angeles, California
    Posts
    274
    Thanks
    1
    This is proposition 9.7 (page 74) in Lorenzini's book.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Maximal Ideals/Domination/Local Rings
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: June 22nd 2011, 10:43 PM
  2. The Maximal ideals of R[x]
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: April 24th 2011, 01:07 PM
  3. Prime Ideals, Maximal Ideals
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: March 7th 2011, 08:02 AM
  4. Maximal Ideals
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: January 28th 2011, 06:12 PM
  5. Maximal Ideals in Integral Domain
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: December 7th 2008, 02:48 PM

Search Tags


/mathhelpforum @mathhelpforum