B4.3
Part II, 2002
Suppose are fields and are distinct embeddings of into . Prove that there do not exist elements of (not all zero) such that for all . Deduce that if is a finite extension of fields, and are distinct -automorphisms of , then .
Suppose now that is a Galois extension of with Galois group cyclic of order , where is not divisible by the characteristic. If contains a primitive th root of unity, prove that is a radical extension of . Explain briefly the relevance of this result to the problem of solubility of cubics by radicals.