PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
perfect field (Definition)

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).




Anyone with an account can edit this entry. Please help improve it!

"perfect field" is owned by sleske. [ full author list (5) ]
(view preamble | get metadata)

View style:

See Also: separable, extension field

Also defines:  perfect, perfect ring

Attachments:
example of nonperfect field (Example) by CWoo
proof of characterization of perfect fields (Proof) by mclase
Log in to rate this entry.
(view current ratings)

Cross-references: ring, transcendental, prime subfield, endomorphism, finite fields, surjective, sufficient, injective, Frobenius map, automorphism, Frobenius endomorphism, prime number, characteristic, separable, algebraic extension, field
There are 12 references to this entry.

This is version 8 of perfect field, born on 2002-11-08, modified 2008-03-12.
Object id is 3577, canonical name is PerfectField.
Accessed 9846 times total.

Classification:
AMS MSC12F10 (Field theory and polynomials :: Field extensions :: Separable extensions, Galois theory)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)