Given prime numbers p1,⋯,pn, Define E:=Q[√p1,⋯,√pn] a Galois extension over Q with the separable polynomial p(x)=∏(x2−pi).
I know in general, permuting roots does not always give us a Galois group element.
In this case, if I have the permutation √p1↦−√p1 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 √p1∉Q[√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 √p1∉Q[√p2,⋯√pn] is not easy.
No comments:
Post a Comment