## You are here

Homeperfect field

## Primary tabs

# perfect field

A *perfect field* is a field $K$ such that every algebraic extension field $L/K$ is separable over $K$.

All fields of characteristic 0 are perfect, so in particular the fields $\mathbb{R}$, $\mathbb{C}$ and $\mathbb{Q}$ are perfect. If $K$ is a field of characteristic $p$ (with $p$ a prime number), then $K$ is perfect if and only if the Frobenius endomorphism $F$ on $K$, defined by

$F(x)=x^{p}\quad(x\in K),$ |

is an automorphism of $K$. Since the Frobenius map is always injective, it is sufficient to check whether $F$ is surjective. In particular, all finite fields are perfect (any injective endomorphism is also surjective). Moreover, any field whose characteristic is nonzero that is algebraic over its prime subfield is perfect. Thus, the only fields that are not perfect are those whose characteristic is nonzero and are transcendental over their prime subfield.

Similarly, a ring $R$ of characteristic $p$ is perfect if the endomorphism $x\mapsto x^{p}$ of $R$ is an automorphism (i.e., is surjective).

## Mathematics Subject Classification

12F10*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prime numbers out of sequence by Rubens373

Oct 7

new question: Lorenz system by David Bankom

Oct 19

new correction: examples and OEIS sequences by fizzie

Oct 13

new correction: Define Galois correspondence by porton

Oct 7

new correction: Closure properties on languages: DCFL not closed under reversal by babou

new correction: DCFLs are not closed under reversal by petey

Oct 2

new correction: Many corrections by Smarandache

Sep 28

new question: how to contest an entry? by zorba

new question: simple question by parag