Graduate School of Mathematics, Nagoya University, Chikusa-ku, Nagoya 464--8602, Japan
Abstract:
We prove the following. Let be a Noetherian commutative ring, a finitely generated -algebra, and a pure -subalgebra of . Then is finitely generated over .