Prefer a chat interface with context about you and your work?
A pure subalgebra of a finitely generated algebra is finitely generated
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$.