A pure subalgebra of a finitely generated algebra is finitely generated
Authors:
Mitsuyasu Hashimoto
Affiliation:
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 .