We know that all finite fields are perfect (fields with char $p$). Also fields with char 0 (infinite fields) are perfect. Then what are the fields that are not perfect?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Example of non-perfect field: $\,\mathbb F_p(T)=\,$ the field of rational functions in an unknown (transcendental element) $\,T\,$ .
Why? The polynomial $\,f(x)=x^p-T\in\mathbb F_p(T)[x]\,$ is
$\,(1)\,\,$ irreducible: Apply Eisenstein's Criterion in the UFD $\,\mathbb F_p[T]\subset \mathbb F_p(T)\,$ and the prime $\,T\,$ in it
$\,(2)\,\,$ Let $\,\alpha\,$ be some root of $\,f(x)\,$ in some field extension, then $$\alpha^p=T\Longrightarrow x^p-\alpha^p=(x-\alpha)^p\in\mathbb F_p[T]$$and thus $\,\alpha\,$ is the unique root of $\,f(x)\,$, what makes this irreducible polynomial as inseparable as one could ever hope and, thus, the field $\,\mathbb F_p(T)\,$ is non-perfect.