Definition 1

Let K be a field and E an extension of K. A n element x of E is said to be p-radical over K if there exists an integer $m \geq 0$ such that $x^{p^m} \in K$; the least of these integers is called the height of x (over K).