Let L/K be a finite field extension with degree m. And let n∈N such that m and n are coprime. Show the following:
If there is a a∈K such that an n-th root of a lies in L then we have already a∈K.
My attempt:
The field extension K(n√a)/K has degree smaller n. The minimal polynomial of
n√a namely mn√a(X)∈K[X] divides Xn−a. I.e. let k be the degree of the minimal polynomial, then k|n.
But because of the formula [L:K]=[L:K(n√a]⋅[K(n√a):K] k|m, hence k=1 and hence our conclusion follows because [K(n√a):K]=1 yields n√a∈K .
Can someone go through it? Thanks.
No comments:
Post a Comment