In algebra, a field k is perfect if any one of the following equivalent conditions holds:
Every irreducible polynomial over k has no multiple roots in any field extension F/k.
Every irreducible polynomial over k has non-zero formal derivative.
Every irreducible 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 ↦ xp is an automorphism of k.
The separable closure of k is algebraically closed.
Every reduced commutative k-algebra A is a separable algebra; i.e., is reduced for every field extension F/k. (see below)
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).
Another important property of perfect fields is that they admit Witt vectors.
More generally, a ring of characteristic p (p a prime) is called perfect if the Frobenius endomorphism is an automorphism.[1] (When restricted to integral domains, this is equivalent to the above condition "every element of k is a pth power".)
a field k is perfect if any one of the following equivalent conditions holds: Every irreducible polynomial over k has no multiple roots in any field extension...
neither K nor its field of constants is perfect, unless ∂ is trivial. A field K with derivation ∂ is called differentially perfect if it is either of...
a perfect conductor is an idealized model for real conducting materials. The defining property of a perfect conductor is that static electric field and...
(When K is a perfectfield, Ksep is the same as an algebraic closure Kalg of K. This holds e.g. for K of characteristic zero, or K a finite field.) The absolute...
A Perfect World is a 1993 American thriller crime drama film directed by Clint Eastwood. It stars Kevin Costner as an escaped convict who takes a young...
is the pressure of the fluid. Perfect fluids admit a Lagrangian formulation, which allows the techniques used in field theory, in particular, quantization...
linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfectfield is reductive if it has a representation...
basketball shot after shooting from the third deck of Kyle Field. In October 2010, Dude Perfect extended their record with a "cross-tower" shot from a height...
field be perfect of positive characteristic, not necessarily finite. This article uses the former definition. Given such an absolute value on a field...
WordPerfect (WP) is a word processing application, now owned by Alludo, with a long history on multiple personal computer platforms. At the height of...
there have been 24 official perfect games by the current definition. No pitcher has thrown more than one. The perfect game thrown by Don Larsen in Game...
polynomial. If K is a perfectfield then the two concepts coincide. In general, P(X) is separable if and only if it is square-free over any field that contains...
Christine Anne McVie (/məkˈviː/ mək-VEE; née Perfect; 12 July 1943 – 30 November 2022) was an English musician and singer. She was the keyboardist and...
extension field. It is unique (up to isomorphism). The separable closure is the full algebraic closure if and only if K is a perfectfield. For example...
X as an open subset. Smooth completions exist and are unique over a perfectfield. An affine form of a hyperelliptic curve may be presented as y 2 = P...
smooth scheme is regular, and every regular scheme of finite type over a perfectfield is smooth. For an example of a regular scheme that is not smooth, see...
{K}}} of an arbitrary field K {\displaystyle K} is Galois over K {\displaystyle K} if and only if K {\displaystyle K} is a perfectfield. See the article Galois...
In mathematics, in the field of group theory, the perfect core (or perfect radical) of a group is its largest perfect subgroup. Its existence is guaranteed...
variety. Let Y be an algebraic variety contained in affine n-space over a perfectfield, and suppose that Y is the vanishing locus of the polynomials f1,.....