Wednesday, September 13, 2017

abstract algebra - Extension of automorphism to finite algebraic extension





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 σ1AutK(L1) there is a σ2AutK(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



QQ(2)Q(42)



We have the automorphism




σ1AutQ(Q(2)),σ1(a+b2):=ab2,a,bQ



Now, the only elements in AutQ(Q(42)) are the ones defined by (i.e, the real ones)



Id.:{114242,τ:{114242



yet observe that in both cases (42)2=22


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...