Exercice 5, § 15

Soit K un corps de caractéristique $p > 0$. Montrer que si E est une extension algébrique de K, ou une extension relativement parfaite de K, on a $E^{p^{-\infty}} = E(K^{p^{-\infty}})$.