Monday, 27 October 2014

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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...