Saturday, January 9, 2016

abstract algebra - when can I get a Galois element from the permutation of the roots?

Given prime numbers p1,,pn, Define E:=Q[p1,,pn] a Galois extension over Q with the separable polynomial p(x)=(x2pi).


I know in general, permuting roots does not always give us a Galois group element.


In this case, if I have the permutation p1p1 and fixes other pi's, we want to define an element in Gal(E/Q) from this, what do we need to check?


I guess we have to check that p1Q[p2,,pn], and is there anything else that I need to check?


Edit: This is the exercise 18.13 from M. Isaacs. The first part is to show Gal(E/Q)=(Z2)n. This is the second part, and the next part is to show p1,,pn are linearly independent. So maybe showing p1Q[p2,pn] is not easy.

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