Monday, 22 April 2013

abstract algebra - Find an example about splitting field




Let f(x) be an irreducible polynomial in Q[x], and let K be the splitting field of f(x) over Q.



Now, suppose that E is a splitting field of some polynomial in Q[x] with QEK, and that α1,α2,,αn are roots of f(x) in K.



In this situation, prove or disprove : deg(α1,E)==deg(αn,E)





I think that the splitting field K=Q(82,i) of f(x)=x82Q[x] over Q is a counterexample for this question when E=Q(2).



Am i correct? or is there an example rather than this?



If it is, under what conditions, the relation deg(α1,E)==deg(αn,E) could be true.



Give some comment or advice. Thank you!


Answer



Since E is a splitting field, it is a Galois extension of Q. Thus N=Gal(K/E) is a normal subgroup of G=Gal(K/Q). Since f is irreducible, the group G acts transitively on its roots. Let α and β be roots of f, and choose gG with g(α)=β. Using normality of N in G, the stabilizers Nα and Nβ of α and β in N are related by
gNαg1=Nβ, and in particular they have the same cardinality. Hence by the orbit stabilizer theorem the degrees over E of α and β are equal.



No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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