Finite generation descends along a field extension
ID: finite-generation-descends-along-a-field-extension
Let be a field extension. If is a finitely generated algebra over , then is finitely generated over . Choose finitely many generators of and collect the finitely many coefficients from occurring in them. The -subalgebra generated by those coefficients satisfies , and faithful flatness of gives .
New to topics? Read the docs here!