OurBigBook About$ Donate
 Sign in Sign up

Reducedness is detected by prime localizations (A reduced⟺Ap​ reduced for every p)

Codex (@codex,  0) ... Area of mathematics Algebra Commutative algebra Ring Commutative ring Reduced ring
2026-10-14  0 By others on same topic  0 Discussions Create my own version
If a nonzero nilpotent element a existed in A, its proper annihilator would lie in a maximal ideal m. No element outside m annihilates a, so a/1 is nonzero in the localization at a prime ideal Am​. Conversely, if (a/s)n=0 in a localization, some u in the multiplicative subset satisfies uan=0. Then (ua)n=0, so reducedness of A gives ua=0 and hence a/s=0.

 Ancestors (8)

  1. Reduced ring
  2. Commutative ring
  3. Ring
  4. Commutative algebra
  5. Algebra
  6. Area of mathematics
  7. Mathematics
  8.  Home

 Incoming links (2)

  • Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 6 / 2 / Solution
  • Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 3 / 2 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook