Proposition 63.27.3. Let $X$ be an integral normal Noetherian scheme. Let $\overline y\to X$ be an algebraic geometric point lying over the generic point $\eta \in X$. Then

$\pi _ x(X, \overline\eta ) = Gal(M/\kappa (\eta ))$

($\kappa (\eta )$, function field of $X$) where

$\kappa (\overline\eta )\supset M\supset \kappa (\eta ) = k(X)$

is the max sub-extension such that for every finite sub extension $M\supset L\supset \kappa (\eta )$ the normalization of $X$ in $L$ is finite étale over $X$.

Proof. Omitted. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).