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 .
Articles by others on the same topic
There are currently no matching articles.