A basic finiteness lemma in algebra: if A is a finitely generated algebra over a field k and A happens to be a field, then A is a finite (algebraic) extension of k. Equivalently, any element of A is algebraic over k, so finite generation as an algebra collapses to finite dimensionality as a k-vector space.

Principle

Algebraic dependence from finite generation: finitely many generators over k satisfy algebraic relations that force each generator to be algebraic when the algebra has no nontrivial ideals; finite generation plus the absence of nontrivial ideals implies algebraicity of generators over the base field.

Demonstration

Example: if k[x] were a field, x would be algebraic over k and the polynomial ring would reduce to k[x]/(f) with f irreducible, so k[x] cannot be a field unless x is algebraic; more generally if A = k[a1,…,an] is a field then each ai satisfies a polynomial over k, and A is a finite-dimensional k-vector space.

Misapplication

Applying the lemma to algebras that are not finitely generated, or to base rings that are not fields. For instance a field extension that is infinitely generated as an algebra need not be finite; misusing the lemma here falsely concludes algebraicity or finiteness without the finite generation hypothesis.

Consequence

Gives a simple criterion to detect algebraicity and finiteness: when a finitely generated k-algebra is a field, important structure theorems apply (e.g., reductions in algebraic geometry and proofs that coordinate rings of affine irreducible varieties that are fields must have dimension zero). It is widely used to show that maximal ideals in finitely generated algebras have finite residue fields over the base.

Reversal

The converse is immediate: any finite extension of k is a finitely generated k-algebra and is a field; the tension is not in logical equivalence but in applicability—finite-dimensionality as a k-vector space is both necessary and sufficient for the algebra to be a field in finite-generation contexts.

Boundary

Requires the base to be a field and the algebra to be finitely generated as an algebra over that field. It does not apply to algebras over rings, to infinitely generated algebras, or to modules that are merely finitely generated over nonfield bases.

Semantic Tension

Tension exists between the notions "finitely generated algebra" and "finite (module) extension": finite generation as an algebra is weaker than finite-dimensionality as a vector space, but in the presence of field-structure they coincide. This sits near other finiteness results such as the Nullstellensatz and Dedekind-type finiteness statements.

Synthesis

Zariski's Lemma states that a finitely generated algebra over a field which is itself a field must be a finite algebraic extension of the base field, turning algebra generators into algebraic elements and collapsing algebraic generation to finite-dimensional vector space structure.