We show that, for any square-free natural number n n and any global field K K with ( char ( K ) , n ) = 1 (\textrm {char}(K), n)=1 containing a primitive n n th root of unity, the pairs ( x , y ) ∈ K × × K × (x,y)\in K^{\times }\times K^{\times } such that x x is not a relative norm of K ( y n ) / K K(\sqrt [n]{y})/K form a diophantine set over K K . We use the Hasse norm theorem, Kummer theory, and class field theory to prove this result. We also prove that, for any n ∈ N n\in {\mathbb {N}} and any global field K K with char ( K ) ≠ n \textrm {char}(K)\neq n , K × ∖ K × n K^{\times }\setminus K^{\times n} is diophantine over K K . For a number field K K , this is a result of Colliot-Thélène and Van Geel, proved using results on the Brauer–Manin obstruction. Additionally, we prove a variation of our main theorem for global fields K K without the n n th roots of unity, where we parametrize varieties arising from norm forms of cyclic extensions of K K without any rational points by a diophantine set.