Finite generation clears localization kernels
ID: finite-generation-clears-localization-kernels
For a prime ideal , suppose the kernel of a ring homomorphism is a finitely generated ideal, say . Choose killing and let . Then and . If a fraction maps to zero in , then , so and the fraction was already zero in . Thus the canonical ring homomorphism is injective. The empty product handles . Every Noetherian ring satisfies the finite generation hypothesis.
New to topics? Read the docs here!