da carter72 » 05/12/2008, 17:46
Grazie per la disponibilità.
Il campo di spezzamento di $f(x)=x^{4}-2$ è $Q(i,\sqrt_[4]{2})$ e il gruppo di Galois $G$ di $f(x)$ è isomorfo a $D_{4}$ che ha $3$ sottogruppi di ordine $4$ e $5$ di ordine $2$. Penso alle radice di $f(x)$ come ai vertici di un quadrato nel piano complesso. Indico con $r$ la rotazione antioraria di $90$ gradi e $s$ la simmetria rispetto all'asse reale quindi $G=[id,r,r^{2},r^{3},s,rs,r^{2}s,r^{3}s]$. I campi fissati dai 3 sottogruppi di ordine 3 dovrebbero essere $Q(i),Q(i\sqrt{2})$ e $Q(\sqrt{2})$ , il campo fissato da $<r^{2}>$ mi viene $Q(i,\sqrt_{2})$, quello fissato da $<r^{2}s>$ dovrebbe essere $Q(i\sqrt_[4]{2})$ e quello fissato da $<s>$ mi risulta $Q(\sqrt_[4]{2})$ mentre quelli fissati da $<rs>$ e $<r^{3}s>$ mi vengono di nuovo di grado $2$ e tra l'altro coincidenti. Dove sbaglio?
Spero di esser stato abbastanza chiaro e che si leggano le formule visto che è la prima volte che le scrivo. Ciao