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.
Articles by others on the same topic
There are currently no matching articles.