Let be a field and be algebraic over . Then is a radical over if there exists a positive integer with .
Note that, if is a field extension and is a radical over , then is automatically a radical over .
Following are some examples of radicals: