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.
- Finite generation
- Pure subalgebra
ASJC Scopus subject areas
- Applied Mathematics
Hashimoto, M. (2005). A pure subalgebra of a finitely generated algebra is finitely generated. Proceedings of the American Mathematical Society, 133(8), 2233-2235. https://doi.org/10.1090/S0002-9939-05-07967-0