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