Estensione

francicko
Sia $x^3 +px+q$ il polinomio monico generico di terzo grado irriducibile in $Q$, sia $E$ il suo campo di spezzamento, supponiamo che sia $|E:F|$ $=6$, grado dell'estensione, come faccio a dimostrare che il suo gruppo di Galois è $S_3$?

Risposte
hydro1
La parola "generico" in questa domanda è fuori posto, perchè a rigor di definizione vorrebbe dire che qua $p,q$ sono variabili indipendenti su $\mathbb Q$. Tu invece intendi che $p,q\in \mathbb Q$ e $f=x^3+px+q$, immagino. Se il campo di spezzamento di $f$ ha grado 6, allora il suo gruppo di Galois è $C_6$ o $S_3$, perchè non esistono altri gruppi di ordine 6. Se fosse $C_6$ allora ogni sottoestensione di \(E/\mathbb{Q}\) sarebbe di Galois, perchè in un gruppo abeliano ogni sottogruppo è normale. Ma questo è impossibile, perchè per ipotesi l'estensione \(\mathbb Q(\alpha)/\mathbb Q\) non è di Galois (qua $\alpha$ è una radice di $f$). Quindi necessariamente il gruppo di Galois è $S_3$.

francicko
Grazie per la risposta!
Si hai ragione "generico" è fuori posto;
Perché se l`estensione ha grado $6$ allora l'ordine del gruppo di Galois è $|G|=6$?
Se l'estensione aveva grado $3 $ il gruppo di galois era di ordine $3 $?
Vale anche più in generale se ll grado dell'estensione è $n$ allora il gruppo di Galois è di ordine $n$?

hydro1
"francicko":

Perché se l`estensione ha grado $6$ allora l'ordine del gruppo di Galois è $|G|=6$?

Perchè i campi di spezzamento in caratteristica 0 sono estensioni normali.

francicko
Esiste per caso un teorema che afferma:
Se $F$ è un campo ed $f(x) $ un polinomio in $F(x)$, se $E$ é il campo di spezzamento, allora si ha:
$|Gal(E//F)|=|E:F|$?
Ad esempio in un polinomio di grado $3 $ che ha come gruppo di Galois $A_3~~C_3$, se $alpha$ è una soluzione una base di$E//Q$ sarà $1,alpha, alpha^2 $ in quanto il campo di spezzamento ha grado $3$ giusto?
Un polinomio di terzo grado in cui
il suo gruppo di Galois è somorfo ad $S_3$ allora $E//Q$ dovrà avere una base la cui cardinalita è $6$, un polinomio di quarto grado che ha come gruppo di Galois il sottogruppo alterno $A_4$(è unico?) di ordine $12$ allora $E//Q$ dovra avere una base di cardinalita $12$ giusto?

hydro1
"francicko":
Esiste per caso un teorema che afferma:
Se $F$ è un campo ed $f(x) $ un polinomio in $F(x)$, se $E$ é il campo di spezzamento, allora si ha:
$|Gal(E//F)|=|E:F|$?


Se $f$ è separabile sì perchè i campi di spezzamento sono estensioni normali, come ti ho già detto nel post precedente.

Toglimi una curiosità: ma dove stai studiando queste cose? Perchè qualsiasi testo che parla di teoria di Galois prima di tutto introduce i concetti di estensioni separabili e normali e di campo di spezzamento...

francicko
Purtroppo al momento non ho testi disponibili da consultare, mi arrangio su internet, se avessi delle dispense ben fatte,dove tutti questi concetti vengano presentati in maniera ordinata e sopratutto conseguenziale, con magari qualche esempio a seguito, mi agevolerebbe la comprensione, affidandomi al fai da me,sto verificando ahimè, che procedo lentamente, con molta difficoltà e creo a volte confusione. Se hai delle dispense a riguardo,magari consultabili in rete che ritieni ben fatte,o qualche testo specifico da propormi,sarei grato.
Grazie sempre e comunque per le risposte precise ed esaudienti!

hydro1

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.