Corrispondenza di Galois

Messaggioda carter72 » 04/12/2008, 19:40

Dato il polinomio x^4-2 devo determinare i campi intermedi fra il suo campo di spezzamento e Q.
La teoria mi dice che ci dovrebbero essere 5 campi intermedi di grado 4 (uno per ogni sottogruppo di ordine 2 del gruppo di Galois che è isomorfo al gruppo diedrale del quadrato).
Io ne ho trovati soltano 3, mentre i restanti due sottogruppi mi determinano dei campi di grado 2, tra l'altro coincidenti.
Qualcuno mi saprebbe aiutare? Grazie
carter72
Starting Member
Starting Member
 
Messaggio: 2 di 9
Iscritto il: 14/10/2008, 14:29
Località: Torino

Messaggioda miuemia » 05/12/2008, 08:51

magari posta il tuo risultato e vediamo cosa c'è che non va.
ciao
miuemia
Senior Member
Senior Member
 
Messaggio: 1060 di 1706
Iscritto il: 23/05/2005, 16:23
Località: Italy

Messaggioda 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
carter72
Starting Member
Starting Member
 
Messaggio: 3 di 9
Iscritto il: 14/10/2008, 14:29
Località: Torino

Messaggioda carter72 » 05/12/2008, 17:53

Ho visto che son venuti fuori dei pasticci nel mio messaggio. Dove compare il 4 tra parentesi quadre si intende radice quarta di 2 e dove compare $Q(i,{2})$ intendevo $Q(i,\sqrt{2})$. Scusate ho visto solo ora che è possibile vedere l'anteprima di ciò che si scrive
carter72
Starting Member
Starting Member
 
Messaggio: 4 di 9
Iscritto il: 14/10/2008, 14:29
Località: Torino

Messaggioda vict85 » 05/12/2008, 23:51

carter72 ha scritto:Ho visto che son venuti fuori dei pasticci nel mio messaggio. Dove compare il 4 tra parentesi quadre si intende radice quarta di 2 e dove compare $Q(i,{2})$ intendevo $Q(i,\sqrt{2})$. Scusate ho visto solo ora che è possibile vedere l'anteprima di ciò che si scrive


Puoi anche modificare un messaggio... C'é un piccolo pulsante con scritto modifica in alto a destra del messaggio che hai mandato, dove nei messaggi non tuoi c'é riporta.
vict85
Moderatore
Moderatore
 
Messaggio: 604 di 19253
Iscritto il: 16/01/2008, 00:13
Località: Berlin

Messaggioda carter72 » 06/12/2008, 00:29

grazie per la dritta
carter72
Starting Member
Starting Member
 
Messaggio: 5 di 9
Iscritto il: 14/10/2008, 14:29
Località: Torino

Messaggioda miuemia » 06/12/2008, 14:21

vedi che non sono di ordine 3 i campi in quanto 3 non divide 8... attento!
guarda questo link sotto a pag 105 c'è questo esempio spiegato bene.

http://www.mat.uniroma1.it/people/campa ... itolo5.pdf
miuemia
Senior Member
Senior Member
 
Messaggio: 1061 di 1706
Iscritto il: 23/05/2005, 16:23
Località: Italy

Messaggioda carter72 » 06/12/2008, 14:52

Ti ringrazio molto.Ciao
carter72
Starting Member
Starting Member
 
Messaggio: 9 di 9
Iscritto il: 14/10/2008, 14:29
Località: Torino

Messaggioda miuemia » 06/12/2008, 15:25

prego figurati..smanettando su internet si può trovare un pò di tutto.
ciao ciao
miuemia
Senior Member
Senior Member
 
Messaggio: 1062 di 1706
Iscritto il: 23/05/2005, 16:23
Località: Italy


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite