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!