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?