perfect field

English Wikipedia has an article on:

perfect field

Wikipedia

perfect field (plural perfect fields)

1. (algebra, field theory) A field K such that every irreducible polynomial over K has distinct roots.
   • 1984, Julio R. Bastida, Field Extensions and Galois Theory, Cambridge University Press, Addison-Wesley, page 10,

     If ${\displaystyle K}$ is a perfect field of prime characteristic ${\displaystyle p}$, and if ${\displaystyle n}$ is a nonnegative integer, then the mapping ${\displaystyle \alpha \to \alpha ^{p^{n}}}$ from ${\displaystyle K}$ to ${\displaystyle K}$ is an automorphism.

   • 2001, Tsit-Yuen Lam, A First Course in Noncommutative Rings, 2nd edition, Springer, page 116:

     So far this stronger conjecture has been proved by Nazarova and Roiter over algebraically closed fields, and subsequently by Ringel over perfect fields.

   • 2005, Antoine Chambert-Loir, A Field Guide to Algebra, Springer, page 57,

     Definition 3.1.7. One says a field ${\displaystyle K}$ is perfect if any irreducible polynomial in ${\displaystyle K}$ has as many distinct roots in an algebraic closure as its degree.

     By the very definition of a perfect field, Theorem 3.1.6 implies that the following properties are equivalent:

     a) ${\displaystyle K}$ is a perfect field;

     b) any irreducible polynomial of ${\displaystyle K}$ is separable;

     c) any element of an algebraic closure of ${\displaystyle K}$ is separable over ${\displaystyle K}$;

     d) any algebraic extension of ${\displaystyle K}$ is separable;

     e) for any finite extension ${\displaystyle K\to L}$, the number of ${\displaystyle K}$-homomrphisms from ${\displaystyle K}$ to an algebraically closed extension of ${\displaystyle K}$ is equal to ${\displaystyle [L:K}$

     Usage notes