Perfect field
In algebra, a field K {\displaystyle K} is perfect if any one of the following equivalent conditions holds: Every irreducible polynomial over K {\displaystyle K} has no multiple roots in any field extension L / K {\displaystyle L/K} . Every irreducible polynomial over K {\displaystyle K} has non-zero formal derivative.