The Stacks project

Proof. Let $K/k'/k$ be the subextension found in Lemma 10.47.13. Note that as $k \subset \overline{k}$ is integral all the prime ideals of $\overline{k} \otimes _ k K$ and $\overline{k} \otimes _ k k'$ are maximal, see Lemma 10.36.20. By Lemma 10.47.7 the map

is bijective because (1) all primes are minimal primes, (2) $\overline{k} \otimes _ k K = (\overline{k} \otimes _ k k') \otimes _{k'} K$, and (3) $K$ is geometrically irreducible over $k'$. Hence it suffices to prove the lemma for the action of $\text{Gal}(\overline{k}/k)$ on the primes of $\overline{k} \otimes _ k k'$.

As every prime of $\overline{k} \otimes _ k k'$ is maximal, the residue fields are isomorphic to $\overline{k}$. Hence the prime ideals of $\overline{k} \otimes _ k k'$ correspond one to one to elements of $\mathop{\mathrm{Hom}}\nolimits _ k(k', \overline{k})$ with $\sigma \in \mathop{\mathrm{Hom}}\nolimits _ k(k', \overline{k})$ corresponding to the kernel $\mathfrak p_\sigma $ of $1 \otimes \sigma : \overline{k} \otimes _ k k' \to \overline{k}$. In particular $\text{Gal}(\overline{k}/k)$ acts transitively on this set as desired. $\square$