# Can we embed K(X_eta) canonically in K(X)

Let $f:X\longrightarrow S$ be a morphism of schemes. Assume $X$ and $S$ are integral.

Let $\eta$ be the generic point of $S$ and let $X_\eta\longrightarrow \textrm{Spec} \ K(S)$ be the induced morphism, where $K(S)$ denotes the function field of $S$.

Then, if $f$ is dominant, the function field $K(X_\eta)$ embeds canonically in $K(X)$. (Edit: Answered the question.)

-