The Stacks project

Proof. Parts (1) and (2) are equivalent because every $K$-algebra is flat over $K$. Part (3) implies (1) and (2) by Lemma 15.104.14

Assume (1) and (2) hold. We will prove (3) and the finite statement of the lemma. A field is absolutely flat ring, hence $B$ is a absolutely flat ring by Lemma 15.104.8. Hence $B$ is reduced and every local ring is a field, see Lemma 15.104.5.

Let $\mathfrak q \subset B$ be a prime. The ring map $B \to B_\mathfrak q$ is weakly étale, hence $B_\mathfrak q$ is weakly étale over $K$ (Lemma 15.104.9). Thus $B_\mathfrak q$ is a separable algebraic extension of $K$ by Lemma 15.104.15.

Let $K \subset A \subset B$ be a finitely generated $K$-sub algebra. We will show that $A$ is étale over $K$ which will finish the proof of the lemma. Then every minimal prime $\mathfrak p \subset A$ is the image of a prime $\mathfrak q$ of $B$, see Algebra, Lemma 10.30.5. Thus $\kappa (\mathfrak p)$ as a subfield of $B_\mathfrak q = \kappa (\mathfrak q)$ is separable algebraic over $K$. Hence every generic point of $\mathop{\mathrm{Spec}}(A)$ is closed (Algebra, Lemma 10.35.9). Thus $\dim (A) = 0$. Then $A$ is the product of its local rings, e.g., by Algebra, Proposition 10.60.7. Moreover, since $A$ is reduced, all local rings are equal to their residue fields wich are finite separable over $K$. This means that $A$ is étale over $K$ by Algebra, Lemma 10.143.4 and finishes the proof. $\square$