Estensioni cicliche

[Martino]

Nel testo che ho in possesso io , non la trovo!

Che testo è?

[francicko]

Il titolo de testo è "Teoria di Galois"
autori:
Serena Cicalò/Willem A.de Graaf
Si può scaricare anche gratuitamente da internet formato Pdf.
Anche se molto coinciso, sembra scritto molto bene, probabilmente l'argomento trattato va al di là delle mie capacità di comprensione.

[francicko]

Nel caso in cui il campo di spezzamento sia proprio $QQ(x_1)$, esiste un unico automorfismo che manda $x_1$ in $x_i$, per ogni $i$. Questo si dimostra facilmente ed è una cosa che trovi facilmente sui libri. La dimostrazione non è per induzione.

Scusa se insisto ma se è una dimostrazione così semplice che non necessita dell'induzione , potresti riportarmela? Oppure darmi qualche dritta?
Grazie!

[hydro]

Nel caso in cui il campo di spezzamento sia proprio $QQ(x_1)$, esiste un unico automorfismo che manda $x_1$ in $x_i$, per ogni $i$. Questo si dimostra facilmente ed è una cosa che trovi facilmente sui libri. La dimostrazione non è per induzione.

Scusa se insisto ma se è una dimostrazione così semplice che non necessita dell'induzione , potresti riportarmela? Oppure darmi qualche dritta?
Grazie!

E’ una conseguenza immediata del fatto che l’azione di Galois è transitiva sulle radici del polinomio minimo, cosa che a sua volta è conseguenza immediata del teorema fondamentale della teoria di Galois.

[Martino]

Detto $f(x)$ il polinomio minimo di $x_1$ su $QQ$, che coincide col polinomio minimo di $x_i$ per qualsiasi $i$, l'omomorfismo di valutazione $QQ[x] to QQ(x_i)$, $P(x) mapsto P(x_i)$, è suriettivo con nucleo $(f(x))$ e quindi induce un isomorfismo $QQ[x]//(f(x)) to QQ(x_i)$. Per composizione ottieni quindi

$QQ(x_1) cong QQ[x]//(f(x)) cong QQ(x_i)$

Questo è un isomorfismo $QQ(x_1) to QQ(x_i)$ che manda $x_1$ in $x_i$. Se la tua domanda riguarda cosa significa $QQ[x]//(f(x))$ è perché devi aprire un libro e studiare.

Francicko guarda che la dimostrazione te l'ho già scritta, è questa qui sopra.

[francicko]

Considerando $Q[x]//p(x)$ $~~$ $Q[x]$ con $x$ indeterminata , sostituendo ad essa le soluzioni del su indicato polinomio , ${x_1,x_2,..x_n}$ ottengo tutte le uniche e possibili copie isomorfe $Q(x_1)~~Q(x_2)~~,...,Q(x_n)$ ed in definitiva comunque fissata una radice qualsiasi $x_i$ tutti i possibili distinti automorfismi, devono essere dati da $Q(x_i)->Q(x_j)$, che manda $x_i->x_j$ al variare di $j$ in $(1,2,3,...n)$ quindi in numero esattamente di $n$, che rappresenta anche la dimensione di $[Q(x_i):Q]=n$ in quanto $E=Q(x_i)=Q(x_1,x_2,..,x_n)$ campo di spezzamento del polinomio, quindi la dimensione del campo di spezzamento risulta uguale al numero degli automorfismi . Ho ben capito?

[Martino]

No, stai solo scrivendo parole in libertà. Il fatto è che per capire quello che ho scritto devi studiare sui libri cosa significa $QQ[x]//(P(x))$. È un anello quoziente. E ho anche usato il cosiddetto teorema di isomorfismo.

[megas_archon]

Di solito, quando si sbaglia una dimostrazione, almeno una cosa giusta la si riesce a dire, per puro caso. Qui c'è del talento, è quasi patafisica.

[francicko]

Scusa se $p(x)=x^n-c_0-c_1x+...+c_(n-1)x^(n-1)$ di grado $n$ è irriducibile e quindi primo in$Q(x)$ allora $Q(x)//p(x)$ oltre ad essere un anello quoziente in particolare, ogni elemento risulta essere invertibile e quindi non è un campo? Cioè
$Q[x]//f~~$ ${a_0+a_1x+a_2x^2+.....+a_(n-1)x^(n-1) | x^n=c_0+c_1x+...+c_(n-1)x^(n-1)}$
con $a_i$ $in$ $Q$ arbitrari ed ovviamente $c_i$ $in$ $Q$ fissati, cioè tutti gli elementi possono essere scritti nella forma su indicata? Se sostituisco all'indeterminata $x$ una qualsiasi radice del polinomio non ottengo $Q(x)//p(x)~~Q(alpha_i)$ con $alpha_i$ radice qualsiasi del polinomio?
Se indicato con ${alpha_1,alpha_2,...alpha_n}$ tutte le radici del polinomio non risulta $Q(alpha_1)~~Q(alpha_2)~~...Q(alpha_n)$, non è vero?

[Martino]

Niente, ho perso la speranza.