Lemma 15.46.5. Let $k$ be a field of characteristic $p > 0$. Let $n, m \geq 0$. Let $K$ be the fraction field of $k[[x_1, \ldots , x_ n]][y_1, \ldots , y_ m]$. As $k'$ ranges through all subfields $k/k'/k^ p$ with $[k : k'] < \infty$ the subfields

$\text{fraction field of } k'[[x_1^ p, \ldots , x_ n^ p]][y_1^ p, \ldots , y_ m^ p] \subset K$

form a family of subfields as in Lemma 15.46.4. Moreover, each of the ring extensions $k'[[x_1^ p, \ldots , x_ n^ p]][y_1^ p, \ldots , y_ m^ p] \subset k[[x_1, \ldots , x_ n]][y_1, \ldots , y_ m]$ is finite.

Proof. Write $A = k[[x_1, \ldots , x_ n]][y_1, \ldots , y_ m]$ and $A' = k'[[x_1^ p, \ldots , x_ n^ p]][y_1^ p, \ldots , y_ m^ p]$. We also denote $K'$ the fraction field of $A'$. The ring extension $k'[[x_1^ p, \ldots , x_ d^ p]] \subset k[[x_1, \ldots , x_ d]]$ is finite by Algebra, Lemma 10.97.7 which implies that $A \to A'$ is finite. For $f \in A$ we see that $f^ p \in A'$. Hence $K^ p \subset K'$. Any element of $K'$ can be written as $a/b^ p$ with $a \in A'$ and $b \in A$ nonzero. Suppose that $f/g^ p \in K$, $f, g \in A$, $g \not= 0$ is contained in $K'$ for every choice of $k'$. Fix a choice of $k'$ for the moment. By the above we see $f/g^ p = a/b^ p$ for some $a \in A'$ and some nonzero $b \in A$. Hence $b^ p f \in A'$. For any $A'$-derivation $D : A \to A$ we see that $0 = D(b^ pf) = b^ p D(f)$ hence $D(f) = 0$ as $A$ is a domain. Taking $D = \partial _{x_ i}$ and $D = \partial _{y_ j}$ we conclude that $f \in k[[x_1^ p, \ldots , x_ n^ p]][y_1^ p, \ldots , y_ d^ p]$. Applying a $k'$-derivation $\theta : k \to k$ we similarly conclude that all coefficients of $f$ are in $k'$, i.e., $f \in A'$. Since it is clear that $A^ p = \bigcap \nolimits _{k'} A'$ where $k'$ ranges over all subfields as in the lemma we win. $\square$

Comment #3536 by Dario Weißmann on

Missing punctuation in the third sentence of the statement.

Comment #4292 by Bogdan on

Let K be the fraction field of $k[[x_1,…,x_d]][y_1,…,y_m]$ should read $k[[x_1,…,x_n]][y_1,…,y_m]$.

I guess $A=\cap_{k'} A′$ (the last line) should read $A^p=\cap_{k'} A′$.

There are also:

• 2 comment(s) on Section 15.46: Field extensions, revisited

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).