Prove the following: Suppose is a finite separable extension of a field . Then there exists such that .
Proof. Divide in two cases: (i) is finite and (ii) is infinite. If is finite then is finite. The group of units of is cyclic. Let be the generator. Then .
How would you do the infinite case?