In algebra, Zariski's lemma, proved by , states that, if a field is finitely generated as an associative algebra over another field , then is a finite field extension of (that is, it is also finitely generated as a vector space).
