Projective model of a finitely generated field (source code)

= Projective model of a finitely generated field

If $K/k$ is a finitely generated field extension, write $K=\operatorname{Frac}(A)$ for a finitely generated integral $k$-algebra $A$. The projective closure of the affine variety $\operatorname{Spec}A$ is an irreducible projective variety with function field $K$.