My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

Thanks Tree1Thanks
  • 1 Post By mehoul
LinkBack Thread Tools Display Modes
June 5th, 2016, 03:21 AM   #1
Joined: Jun 2016
From: HCM

Posts: 2
Thanks: 0

An exercise of Rodney Y. Sharp-Steps in Commutative Algebra

I'm reading Rodney Y. Sharp - Steps in Commutative Algebra and I have a problem with this exercise
5.34. Let R be a non-trivial commutative ring, and assume
that, for each P € Spec(R), the localization Rp has no non-zero nilpotent
element. Show that R has no non-zero nilpotent element.
I was trying to prove that
But it looks like P is not a Group with +
Can anyone give tell me if I'm going wrong? Or any hint??
And sorry for my bad English.

Last edited by skipjack; June 5th, 2016 at 04:39 AM.
adnb46 is offline  
June 9th, 2016, 07:22 AM   #2
Senior Member
Joined: Feb 2012

Posts: 144
Thanks: 16

I would try this: assume R has a non-zero nilpotent element x. The ideal generated by x is included in a maximal (hence prime) ideal, say P, by Krull's theorem. Then the image of x by the cannonical ring morphism R->R_P is nilpotent in R_P.
Thanks from adnb46
mehoul is offline  
June 18th, 2016, 06:00 AM   #3
Joined: Jun 2016
From: HCM

Posts: 2
Thanks: 0

thank you very much. It's done.
adnb46 is offline  

  My Math Forum > College Math Forum > Abstract Algebra

algebra, commutative, exercise, rodney, sharpsteps

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Exercise of algebra Toncho1 Algebra 0 September 3rd, 2015 11:34 AM
Commutative Algebra raul21 Abstract Algebra 1 May 23rd, 2014 04:25 AM
List of algebra steps? mrwolf Algebra 2 March 6th, 2013 05:57 PM
Meaning of "pre-image" in commutative algebra normvcr Abstract Algebra 2 January 17th, 2013 12:06 AM
exercise in algebra kimmi23 Algebra 2 July 16th, 2012 07:27 AM

Copyright © 2018 My Math Forum. All rights reserved.