$f=x^4-5x^2+6 in Q[x]$
allora
$f=(x^2-2)(x^2-3)$
Il campo di spezzamento di questo polinomio è $F=Q(sqrt2,sqrt3)$ ottenuto con l'aggiunta delle radici reali $sqrt2,sqrt3$, la cui Q-base è ${1,sqrt2,sqrt3,sqrt6}$
(*)
$Gal(F$ $/K)=(F:Q)=4$ ed $F={a_1+a_2sqrt2+a_3sqrt3+a_4sqrt6 : a_i in Q}$ quindi $Gal(F$ $/K)~=V_4$
Posso trovare una torre radicale?
$F_1= Q(sqrt3)$
$F_2= F_1(sqrt2)$
$Q=F_0<= F_1<=F_2$
$(sqrt3)^2=3 in Q$
$(sqrt2)^2=2 in F_1$
Se considero tutti i possibili automorfismi di $Gal(F$$/K)$
$alpha_1$ identità
$alpha_1(a)=a_1+a_2sqrt2+a_3sqrt3+a_4sqrt6$
$alpha_2$ : $alpha_2(sqrt2)=-sqrt2,alpha_2(sqrt3)=+sqrt3$
$alpha_2(a)=a_1-a_2sqrt2+a_3sqrt3-a_4sqrt6$
$alpha_3$ :$alpha_3(sqrt2)=+sqrt2,alpha_3(sqrt3)=-sqrt3$
$alpha_3(a)=a_1+a_2sqrt2-a_3sqrt3-a_4sqrt6$
$alpha_4$ : $alpha_4(sqrt2)=-sqrt2,alpha_(sqrt3)=-sqrt3$
$alpha_4(a)=a_1-a_2sqrt2-a_3sqrt3+a_4sqrt6$
$F^{alpha_3}={a_1+a_2sqrt2 : a_i in Q}$
E' giusto?
EDIT (*) posso dire che $Gal(F$ $/Q)=(F:Q)$ perchè $f$ è irriducibile per Eisenstein e $Df !=0$ per cui $f$ è un polinomio separabile, F estensione di Galois e $Gal(F$ $/Q)=(F:Q)$