Perfect Field

Perfect Field

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

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

Read more about Perfect Field:  Examples, Field Extension Over A Perfect Field, Perfect Closure and Perfection

Famous quotes containing the words perfect and/or field:

    This is not to say that becoming a father automatically makes you a good father. Fatherhood, like marriage, is a constant struggle against your limitations and self-interests. But the urge to be a perfect father is there, because your child is a perfect gift.
    Kent Nerburn (20th century)

    Love to chawnk green apples an’ go swimmin’ in the
    lake.—
    Hate to take the castor-ile they give for belly-ache!
    ‘Most all the time, the whole year round, there ain’t no flies on
    me,
    But jest ‘fore Christmas I’m as good as I kin be!
    —Eugene Field (1850–1895)