Thursday, August 3, 2017

galois theory - Constructing an explicit isomorphism between finite extensions of finite fields

Suppose K is a finite field, K=Fps. If we take an irreducible polynomial f of degree d over K, then the splitting field L of f is K(α) where f is the minimal polynomial of α. But then L=Fpsd. Since Fpsd is unique, we see that this is the splitting field of every irreducible polynomial of degree d over K.



Take K=F2 and let P(X)=X3+X+1, Q(X)=X3+X2+1. Let L be the splitting field of P and L be the splitting field of Q. The above tells us that L and L are isomorphic. I would like to construct an explicit isomorphism between L and L.



I know that LF2[X]/(X3+X+1) and LF2[X]/(X3+X2+1). Intuitively, I want to find an isomorphism ϕ:F2[X]F2[X] such that ϕ((X3+X+1))=(X3+X2+1). A little playing around gives me ϕ(X)=X+1. It now feels like I'm falling at the last hurdle: how do I finish the construction of an isomorphism between L and L? I don't think ϕ makes sense as a map from L to L, yet it seems the map I want.

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