I asked this question on math.stackexchange but maybe it fits here better. If not, I apologize in advance and will remove the question.


Let $K$ be a global field and $\upsilon$ a prime of $K$. Then in a paper, which I read, it is used that $K\_{\upsilon}|K$ is separable, where $K\_{\upsilon}|K$ is the completion. This is obviously true if $charK=0$.


Why is $K\_{\upsilon}|K$ separable if $charK=p>0$?


Things I tried but could not get to work (maybe I missed something and they would work):


* Use that $\hat A \cap Frac(A)^{alg} \subset A^h$ for an excellent ring $A$ (this is mentioned here [henselization and completion](https://mathoverflow.net/questions/105381/henselization-and-completion))
* Use Exercise 1 of section II.4 of Serre's Local Fields: If $A$ is a DVR for which every finite purely inseparable extension $Frac(A)$ has integral closure finite over $A$ then the completion of $Frac(A)$ is separable over $Frac(A)$
* Try to use that $K\_{\upsilon}=\mathbb F\_{p^n}((T))$


The statement seems to me like it should be in a book somewhere but I just can't find it.


Thanks in advance.



Why is $K_{\upsilon}|K$ separable for a global field $K$?
By definition an extension of fields $K'/K$ is separable when $K' \otimes\_K F$ is reduced for all field extensions $F/K$, and by limit considerations it is the same to say that all finitely generated subextensions are separable. But for finitely generated extensions, separability can be tested via scalar extension against all algebraic extensions (see Theorem 26.2 in Matsumura's *Commutative Ring Theory*), so again by limit considerations it is the same to test using just finite extensions $F/K$. Taking direct limits again in $K'/K$, we see that $K'/K$ is separable if and only if $K' \otimes\_K F$ is reduced for all *finite* extensions $F/K$. (See EGA IV$\_2$, 4.3.5 and especially 4.6.1 for further discussion on this issue.)


So now consider a normal connected scheme $X$ of finite type over a field $k$ and a non-generic point $x$ of $X$. Let $K$ be the function field of $X$, and $R$ the local ring $O\_{X,x}$. The local noetherian completion $\widehat{R}$ is a normal domain by excellence, though for $X$ of dimension 1 (so $R$ is a discrete valuation ring) it is elementary. Let's see that the fraction field $K\_x$ of $\widehat{R}$ is separable over $K$ (so applying this to Dedekind $X$ with finite $k$ would settle the question posed).


Letting $F/K$ be a finite extension, we want to show that $K\_x \otimes\_K F$ is reduced. Let $Y \to X$ be the normalization of $X$ in $F$; if $X = {\rm{Spec}}(A)$ were affine then $Y$ would be ${\rm{Spec}}(B)$ for the integral closure $B$ of $A$ in $F$. Note that $Y \to X$ is finite; indeed, by denominator-chasing we can write $F$ as the fraction field of some $A$-finite subalgebra $B\_0$, so $B$ is the integral closure of $B\_0$ in its own fraction field, and the $B\_0$-finiteness of $B$ is then a special case of the assertion that the normalization of a domain finitely generated over a field is always module finite: see section 33 of Matsumura's *Commutative Ring Theory* for a proof. 


Now letting ${\rm{Spec}}(A)$ be an open affine neighborhood of $x$ in $X$, and ${\rm{Spec}}(B)$ its preimage in $Y$, we have $F = K \otimes\_A B$, so $$K\_x \otimes\_K F = K\_x \otimes\_A B = K\_x \otimes\_R R'$$
where $R = O\_{X,x}$ and $R'$ is the localization of $B$ at the prime ideal of $A$ corresponding to $x$. Since localization preserves reducedness, it suffices to show that $\widehat{R} \otimes\_R R'$ is reduced. 


By $R$-finiteness of $R'$, the maximal ideals of $R'$ are precisely the primes of $R'$ over the maximal ideal of the local $R$. Thus, $\widehat{R} \otimes\_R R'$ is the product of the completions of the semi-local $R'$ at each of its maximal ideals (use Theorem 8.15 in Matsumura's *Commutative Ring Theory* applied to $R'$, whose $\mathfrak{m}\_R$-adic topology is the same as its topology for its Jacobson radical). Hence, we just need to show that those completions of $R'$ are reduced. But these are completions of local rings on $Y$, so they're even normal domains (by the same argument used for $X$: excellence in general, or easy considerations with Dedekind domains in the 1-dimensional case).


