In algebra, a field k is said to be perfect if any one of the following equivalent conditions holds:

• Every irreducible polynomial over k has distinct roots.
• Every polynomial over k is separable.
• Every finite extension of k is separable.
• Every algebraic extension of k is separable.
• Either k has characteristic 0, or, when k has characteristic p > 0, every element of k is a pth power.
• Either k has characteristic 0, or, when k has characteristic p > 0, the Frobenius endomorphism x→x^p is an automorphism of k
• The separable closure of k is algebraically closed.
• Every k-algebra A is a separable algebra; i.e., is reduced for every field extension F/k.

Otherwise, k is called imperfect.

In particular, all fields of characteristic zero and all finite fields are perfect.

Perfect fields are significant because Galois theory over these fields becomes simpler, since the general Galois assumption of field extensions being separable is automatically satisfied over these fields (see third condition above).

More generally, a ring of characteristic p (p a prime) is called perfect if the Frobenius endomorphism is an automorphism.^[1] (This is equivalent to the above condition "every element of k is a pth power" for integral domains.)

  Examples

Examples of perfect fields are:

• every field of characteristic zero, e.g. the field of rational numbers or the field of complex numbers;
• every finite field, e.g. the field F_p = Z/pZ where p is a prime number;
• every algebraically closed field;
• the union of perfect fields;
• fields algebraic over a perfect field.

In fact, most fields that appear in practice are perfect. The imperfect case arises mainly in algebraic geometry in characteristic p>0. Every imperfect field is necessarily transcendental over its prime subfield (the minimal subfield), because the latter is perfect. An example of an imperfect field is

• the field of all rational functions in an indeterminate , where k has characteristic p>0 (because X has no p-th root in k(X)).

  Field extension over a perfect field

Any finitely generated field extension over a perfect field is separably generated.^[2]

  Perfect closure and perfection

The first condition says that, in characteristic p, a field adjoined with all p^r-th roots (r≥1) is perfect; it is called the perfect closure of k and usually denoted by .

In terms of universal properties, the perfect closure of a ring A of characteristic p is a perfect ring A_p of characteristic p together with a ring homomorphism u : A → A_p such that for any other perfect ring B of characteristic p with a homomorphism v : A → B there is a unique homomorphism f : A_p → B such that v factors through u (i.e. v = fu). The perfect closure always exists; the proof involves "adjoining p-th roots of elements of A", similar to the case of fields.^[3]

The perfection of a ring A of characteristic p is the dual notion (though this term is sometimes used for the perfect closure). In other words, the perfection R(A) of A is a perfect ring of characteristic p together with a map θ : R(A) → A such that for any perfect ring B of characteristic p equipped with a map φ : B → A, there is a unique map f : B → R(A) such that φ factors through θ (i.e. φ = θf). The perfection of A may be constructed as follows. Consider the projective system

where the transition maps are the Frobenius endomorphism. The inverse limit of this system is R(A) and consists of sequences (x₀, x₁, ... ) of elements of A such that for all i. The map θ : R(A) → A sends (x_i) to x₀.^[4]

  See also

• p-ring

  Notes

  References

• Bourbaki, Nicholas (2003), Algebra II, Springer, ISBN 978-3-540-00706-7 
• Brinon, Olivier; Conrad, Brian (2009), CMI Summer School notes on p-adic Hodge theory, http://math.stanford.edu/~conrad/papers/notes.pdf, retrieved 2010-02-05 
• Serre, Jean-Pierre (1979), Local fields, Graduate Texts in Mathematics, 67 (2 ed.), Springer-Verlag, ISBN 978-0-387-90424-5, MR 554237 
• Cohn, P.M. (2003), Basic Algebra: Groups, Rings and Fields 
• Matsumura, H (2003), Commutative ring theory, Translated from the Japanese by M. Reid. Cambridge Studies in Advanced Mathematics, 8 (2nd ed.)