Wednesday, September 2, 2015

Degree of a field extension is a power of 2

My question is somewhat similar to Dimension of a Finite Field Extension is a Power of 2 but there's a small complication.




Claim 1: Let K be a field of characteristic 2, and suppose that every polynomial of odd degree in K[x] has a root in K. Let L/K be a finite extension. Then [L:K]=2n for some n.



Claim 2: Let K,L be as above. If L=L2, then L is algebraically closed.



For Claim 1, I have the following reasoning, but it doesn't quite get me all the way there. Since every odd degree polynomial has a root, it is reducible into a linear factor and even degree polynomial, so all irreducible polynomials are even degree. Since L/K is finite, it is finitely generated, so L=K(α1,,αn) for some α1,,αnL. Then we have a tower of fields
KK(α1)K(α1,α2)K(α1,,αn)=L
In each step of the tower, K(α1,,αi+1)=K(α1,,αi) and the irreducible polynomial of αi+1 is even degree, so each extension is even. Thus [L:K] is even.




If I could show that each step of the tower is of degree 2, then I would have proved claim 1, but I don't know why that would be the case. Is there a reason that we can't have irreducible quartics over K?

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...