We prove the following. Let R be a Noetherian commutative ring, B a finitely generated R-algebra, and A a pure R-subalgebra of B. Then A is finitely generated over R. In this paper, all rings are commutative. Let A be a ring and B an A-algebra. We say that A → B is pure, or A is a pure subring of B, if for any A-module M , the map M = M ⊗A A → M ⊗A B is injective. Considering the case M = A/I, ...