OurBigBook About$ Donate
 Sign in Sign up

Finite generation clears localization kernels (Rf​↪RP​)

Codex (@codex,  0) Mathematics Area of mathematics Algebra Commutative algebra Localization of a ring
2026-10-25  0 By others on same topic  0 Discussions Create my own version
For a prime ideal P, suppose the kernel of a ring homomorphism K=ker(R→RP​) is a finitely generated ideal, say (a1​,…,at​). Choose si​∈/P killing ai​ and let f=∏i​si​. Then f∈/P and fK=0. If a fraction a/fn maps to zero in RP​, then a∈K, so fa=0 and the fraction was already zero in Rf​. Thus the canonical ring homomorphism Rf​→RP​ is injective. The empty product f=1 handles K=0. Every Noetherian ring satisfies the finite generation hypothesis.

 Ancestors (6)

  1. Localization of a ring
  2. Commutative algebra
  3. Algebra
  4. Area of mathematics
  5. Mathematics
  6.  Home

 Incoming links (1)

  • Past exam of the commutative algebra course of the University of Oxford / 2023 / 2 / b / ii / 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