Lemma 70.11.5. Let $k$ be a field of characteristic $p > 0$. Let $X$ be an algebraic space over $k$. The following are equivalent

1. $X$ is geometrically reduced over $k$,

2. $X_{k'}$ is reduced for every field extension $k'/k$,

3. $X_{k'}$ is reduced for every finite purely inseparable field extension $k'/k$,

4. $X_{k^{1/p}}$ is reduced,

5. $X_{k^{perf}}$ is reduced, and

6. $X_{\bar k}$ is reduced.

Proof. Choose a surjective étale morphism $U \to X$ where $U$ is a scheme. Via Lemma 70.11.3 the lemma follows from the result for $U$ over $k$. See Varieties, Lemma 33.6.4. $\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).