Separable element/Definition

An element of a field extension for which the minimal polynomial has distinct roots.