This entry is about a section of the text
Let k be a field.
An affine k-scheme X is called finite if O(X) is a finite dimensional vector space.