Chiusura spezzante e chiusura normale

m (Pywikibot v.2)
 
Riga 1: Riga 1:
{{InizioOsservazione|titolo=|number=2.14|anchor=Osservazione2_14}}
+
{{InizioOsservazione|title=|number=2.14|anchor=Osservazione2_14}}
 
Siano <math>M \supseteq L \supseteq K</math> estensioni di campi, e supponiamo che <math>M</math> sia campo di spezzamento su <math>L</math> di un polinomio <math>f(x)</math> a coefficienti in <math>K</math>. Supponiamo anche che <math>L</math> si ottenga da <math>K</math> estendendolo con alcune radici di <math>f</math>. Allora <math>M</math> è anche campo di spezzamento su <math>K</math> di <math>f</math>.
 
Siano <math>M \supseteq L \supseteq K</math> estensioni di campi, e supponiamo che <math>M</math> sia campo di spezzamento su <math>L</math> di un polinomio <math>f(x)</math> a coefficienti in <math>K</math>. Supponiamo anche che <math>L</math> si ottenga da <math>K</math> estendendolo con alcune radici di <math>f</math>. Allora <math>M</math> è anche campo di spezzamento su <math>K</math> di <math>f</math>.
 
{{FineOsservazione}}
 
{{FineOsservazione}}
Riga 12: Riga 12:
 
Vale la seguente proposizione:
 
Vale la seguente proposizione:
  
{{InizioProposizione|titolo=|number=2.6|anchor=Proposizione2_6}}
+
{{InizioProposizione|title=|number=2.6|anchor=Proposizione2_6}}
 
Sia <math>M \supseteq K</math> un'estensione di grado finito, allora sono equivalenti queste due affermazioni:
 
Sia <math>M \supseteq K</math> un'estensione di grado finito, allora sono equivalenti queste due affermazioni:
  
Riga 40: Riga 40:
  
  
{{InizioProposizione|titolo= esistenza della chiusura spezzante|number=2.7|anchor=Proposizione2_7}}
+
{{InizioProposizione|title=esistenza della chiusura spezzante|number=2.7|anchor=Proposizione2_7}}
 
Sia <math>L \supseteq K</math> è un'estensione di grado finito.  Allora esiste <math>M</math> campo tale che <math>M \supseteq L \supseteq K</math> che soddisfa queste due proprietà:
 
Sia <math>L \supseteq K</math> è un'estensione di grado finito.  Allora esiste <math>M</math> campo tale che <math>M \supseteq L \supseteq K</math> che soddisfa queste due proprietà:
  
Riga 60: Riga 60:
  
  
{{InizioDefinizione|titolo=|number=2.6|anchor=Definizione2_6}}
+
{{InizioDefinizione|title=|number=2.6|anchor=Definizione2_6}}
 
Data un'estensione <math>M \supseteq K</math> di grado finito, il campo <math>M</math> di cui la proposizione precedente afferma l'esistenza si dice ''chiusura spezzante'' di <math>L</math> su <math>K</math>. Se <math>L</math> come estensione di <math>K</math> è separabile, <math>M \supseteq K</math> è normale e in questo caso <math>M</math> si dice ''chiusura normale'' di <math>L</math> su <math>K</math>.
 
Data un'estensione <math>M \supseteq K</math> di grado finito, il campo <math>M</math> di cui la proposizione precedente afferma l'esistenza si dice ''chiusura spezzante'' di <math>L</math> su <math>K</math>. Se <math>L</math> come estensione di <math>K</math> è separabile, <math>M \supseteq K</math> è normale e in questo caso <math>M</math> si dice ''chiusura normale'' di <math>L</math> su <math>K</math>.
 
{{FineDefinizione}}
 
{{FineDefinizione}}
Riga 66: Riga 66:
  
  
{{InizioOsservazione|titolo=|number=2.15|anchor=Osservazione2_15}}
+
{{InizioOsservazione|title=|number=2.15|anchor=Osservazione2_15}}
 
Il fatto che se <math>L \supseteq K</math> è separabile allora <math>M \supseteq K</math>  è normale è vero perché <math>M</math> è campo di spezzamento su <math>K</math> di <math>f(x)=\prod_{i=1}^r f_i(x)</math>, dove <math>f_i(x)</math> è il polinomio minimo di <math>\alpha_i \in L</math>; se suppongo che <math>L</math> è separabile su <math>K</math>, allora <math>f_i(x)</math> dev'essere un polinomio separabile per ogni <math>i</math>, e quindi <math>M</math> è campo di spezzamento su <math>K</math> di un polinomio i cui fattori irriducibili sono separabili.
 
Il fatto che se <math>L \supseteq K</math> è separabile allora <math>M \supseteq K</math>  è normale è vero perché <math>M</math> è campo di spezzamento su <math>K</math> di <math>f(x)=\prod_{i=1}^r f_i(x)</math>, dove <math>f_i(x)</math> è il polinomio minimo di <math>\alpha_i \in L</math>; se suppongo che <math>L</math> è separabile su <math>K</math>, allora <math>f_i(x)</math> dev'essere un polinomio separabile per ogni <math>i</math>, e quindi <math>M</math> è campo di spezzamento su <math>K</math> di un polinomio i cui fattori irriducibili sono separabili.
 
{{FineOsservazione}}
 
{{FineOsservazione}}
Riga 72: Riga 72:
  
  
{{InizioOsservazione|titolo= come ottenere $M$ da $L$|number=2.16|anchor=Osservazione2_16}}
+
{{InizioOsservazione|title=come ottenere $M$ da $L$|number=2.16|anchor=Osservazione2_16}}
 
Considero una base <math>\{\alpha_1,\alpha_2,\dots,\alpha_r\}</math> di <math>L</math> su <math>K</math> e considero il polinomio minimo <math>f_i(x)</math> di <math>\alpha_i</math>, per <math>i=1,\dots,r</math>.  Pongo <math>f(x) = \prod_{i=1}^r f_i(x)</math>, e sia <math>M</math> il campo di spezzamento di <math>f(x)</math> su <math>L</math>, allora <math>M</math> contiene tutte le radici di ciascun <math>f_i(x)</math>.
 
Considero una base <math>\{\alpha_1,\alpha_2,\dots,\alpha_r\}</math> di <math>L</math> su <math>K</math> e considero il polinomio minimo <math>f_i(x)</math> di <math>\alpha_i</math>, per <math>i=1,\dots,r</math>.  Pongo <math>f(x) = \prod_{i=1}^r f_i(x)</math>, e sia <math>M</math> il campo di spezzamento di <math>f(x)</math> su <math>L</math>, allora <math>M</math> contiene tutte le radici di ciascun <math>f_i(x)</math>.
  
 
Siano <math>\alpha_i,\beta</math> radici di <math>f_i(x)</math>. Esiste un isomorfismo <math>\sigma:K(\alpha_i) \to K(\beta)</math> tale che <math>\alpha_i \mapsto \beta</math> e <math>\sigma_{|_K} = 1_K</math>. <math>M</math> è anche campo di spezzamento di <math>f(x)</math> su <math>K(\alpha_i)</math> e <math>K(\beta)</math>. Allora <math>\sigma</math> si solleva a un elemento <math>g \in \mathcal G(M/K)</math>, tale che <math>\alpha_i^g = \beta \in M</math>.  D'altra parte <math>\alpha_i^g \in L^g</math>, e <math>M</math> è generato da <math>(L^g)_{g \in \mathcal G(M/K)}</math>.
 
Siano <math>\alpha_i,\beta</math> radici di <math>f_i(x)</math>. Esiste un isomorfismo <math>\sigma:K(\alpha_i) \to K(\beta)</math> tale che <math>\alpha_i \mapsto \beta</math> e <math>\sigma_{|_K} = 1_K</math>. <math>M</math> è anche campo di spezzamento di <math>f(x)</math> su <math>K(\alpha_i)</math> e <math>K(\beta)</math>. Allora <math>\sigma</math> si solleva a un elemento <math>g \in \mathcal G(M/K)</math>, tale che <math>\alpha_i^g = \beta \in M</math>.  D'altra parte <math>\alpha_i^g \in L^g</math>, e <math>M</math> è generato da <math>(L^g)_{g \in \mathcal G(M/K)}</math>.
 
{{FineOsservazione}}
 
{{FineOsservazione}}

Versione attuale delle 14:34, 21 mag 2018

Osservazione 2.14

Siano estensioni di campi, e supponiamo che sia campo di spezzamento su di un polinomio a coefficienti in . Supponiamo anche che si ottenga da estendendolo con alcune radici di . Allora è anche campo di spezzamento su di .

 
Dimostrazione

è campo di spezzamento di su , allora si spezza in fattori lineari su . Scriviamo poi dove per . Sia il campo di spezzamento di su , mostro che valgono le due inclusioni:

  1. perché contiene e contiene le radici di essendo campo di spezzamento di su .
  2. Viceversa, per definizione , e quindi ; siccome si spezza su , per la minimalità di come campo di spezzamento su .
 

Vale la seguente proposizione:

Proposizione 2.6

Sia un'estensione di grado finito, allora sono equivalenti queste due affermazioni:

  1. è campo di spezzamento su (di un certo polinomio a coefficienti in );
  2. per ogni polinomio monico e irriducibile , se ammette una radice in , allora ammette tutte le sue radici in (o equivalentemente, si spezza in fattori lineari su ).
 
Dimostrazione

: per ipotesi è campo di spezzamento di un polinomio su . Sia un polinomio monico e irriducibile che ammette una radice in . Per assurdo, supponiamo che esista un elemento con e . Considero il diagramma fatto in questo modo: DESCRIZIONE:

(in particolare non contiene )

RAPPRESENTAZIONE:

Esiste un isomorfismo tale che e . Considero la catena di estensioni . Osservo che è campo di spezzamento per su , e quindi lo è anche su .

Inoltre è campo di spezzamento per su : infatti sia il campo di spezzamento di su , allora valgono le due inclusioni:

  • e si spezza su , allora per la minimalità di , ;
  • Viceversa, si spezza su e , e quindi per la minimalità di come campo di spezzamento per su , .

Inoltre ( infatti contiene ) e quindi .

Allora si solleva a un isomorfismo , tale che , e che conserva le dimensioni su , cioè , ma per il teorema della torre vale anche la relazione , cioè e quindi e questo è assurdo perché abbiamo scelto .

: per ipotesi, è un'estensione di di grado finito. Considero una base di su , ogni è algebrico su , allora posso considerare il polinomio minimo di per ogni . Pongo . Ciascun ammette una radice ; allora per ipotesi si spezza in fattori lineari su , e lo stesso è vero per . Voglio mostrare che è campo di spezzamento per su . La minimalità segue dal fatto che (se è campo di spezzamento per su , sia che stanno in , e quindi ).

 


Proposizione 2.7 (esistenza della chiusura spezzante)

Sia è un'estensione di grado finito. Allora esiste campo tale che che soddisfa queste due proprietà:

  1. è campo di spezzamento su ;
  2. nessun campo compreso tra e e diverso da è campo di spezzamento su .

Inoltre se è un campo con e soddisfa le proprietà 1 e 2, allora esiste un isomorfismo tale che .

 
Dimostrazione

Per ipotesi, è un'estensione di di grado finito, e quindi posso considerare base di su . Sia il polinomio minimo di su , e sia . Sia il campo di spezzamento su di . Mostro che soddisfa le due richieste della proposizione:

  1. si ottiene estendendo con alcune radici di , cioè , e è campo di spezzamento per su . Segue quindi che è campo di spezzamento di su .
  2. sia un campo tale che , e suppongo che sia campo di spezzamento per su . Ora allora per perché . Il polinomio minimo di ammette una radice in , e è campo di spezzamento su , perciò si spezza su . Allora anche si spezza in fattori lineari su , e contiene , pertanto contiene che è campo di spezzameno di su . L'altra inclusione vale per ipotesi, allora .

Infine, sia un campo con , che soddisfa le condizioni 1 e 2. Con argomenti analoghi ai precedenti segue che esiste un isomorfismo che è l'identità su , perché sono campi di spezzamento dello stesso polinomio su .

 


Definizione 2.6

Data un'estensione di grado finito, il campo di cui la proposizione precedente afferma l'esistenza si dice chiusura spezzante di su . Se come estensione di è separabile, è normale e in questo caso si dice chiusura normale di su .

 


Osservazione 2.15

Il fatto che se è separabile allora è normale è vero perché è campo di spezzamento su di , dove è il polinomio minimo di ; se suppongo che è separabile su , allora dev'essere un polinomio separabile per ogni , e quindi è campo di spezzamento su di un polinomio i cui fattori irriducibili sono separabili.

 


Osservazione 2.16 (come ottenere $M$ da $L$)

Considero una base di su e considero il polinomio minimo di , per . Pongo , e sia il campo di spezzamento di su , allora contiene tutte le radici di ciascun .

Siano radici di . Esiste un isomorfismo tale che e . è anche campo di spezzamento di su e . Allora si solleva a un elemento , tale che . D'altra parte , e è generato da .

 
 Precedente