Let L2/L1/K be a tower of field extensions where L2/K is finite algebraic [so L1/K is also finite]. Prove or disprove: For every σ1∈AutK(L1) there is a σ2∈AutK(L2) such that σ2|L1=σ1.
The claim is clearly true if L2/K is normal, since we can extend σ1 to a homomorphism into an algebraic closure and then use normality. Other than that, I'm completely lost. Do I need to induct on the degree of the extension? (Hints are appreciated.)
Answer
It is false. Take for example
Q⊂Q(√2)⊂Q(4√2)
We have the automorphism
σ1∈AutQ(Q(√2)),σ1(a+b√2):=a−b√2,a,b∈Q
Now, the only elements in AutQ(Q(4√2)) are the ones defined by (i.e, the real ones)
Id.:{1↦14√2↦4√2,τ:{1↦14√2↦−4√2
yet observe that in both cases (4√2)2=√2↦√2
No comments:
Post a Comment