Separabilità e inseparabilità

m (Pywikibot v.2)
Riga 4: Riga 4:
 
L'immagine di <math>\phi</math>, indicata con <math>F^p</math>, è l'insieme <math>\{ a^p, \; a \in F\}</math> ed è un sottocampo di <math>F</math>.
 
L'immagine di <math>\phi</math>, indicata con <math>F^p</math>, è l'insieme <math>\{ a^p, \; a \in F\}</math> ed è un sottocampo di <math>F</math>.
  
{{InizioDefinizione|titolo=|number=6.1|anchor=Definizione6_1}}
+
{{InizioDefinizione|title=|number=6.1|anchor=Definizione6_1}}
 
<math>F</math> si dice ''perfetto'' se <math>F^p=F</math>, cioè se <math>\phi</math> è suriettivo: in altre parole, <math>F</math> è perfetto se comunque prendo <math>a \in F</math>, esiste <math>b \in F</math> tale che <math>a=b^p</math>.
 
<math>F</math> si dice ''perfetto'' se <math>F^p=F</math>, cioè se <math>\phi</math> è suriettivo: in altre parole, <math>F</math> è perfetto se comunque prendo <math>a \in F</math>, esiste <math>b \in F</math> tale che <math>a=b^p</math>.
 
{{FineDefinizione}}
 
{{FineDefinizione}}
Riga 10: Riga 10:
  
  
{{InizioEsempio|titolo=|number=6.1|anchor=Esempio6_1}}
+
{{InizioEsempio|title=|number=6.1|anchor=Esempio6_1}}
 
Ogni campo <math>F</math> finito di caratteristica prima è tale che <math>|F| = |F^p|</math>, e quindi è perfetto.
 
Ogni campo <math>F</math> finito di caratteristica prima è tale che <math>|F| = |F^p|</math>, e quindi è perfetto.
 
{{FineEsempio}}
 
{{FineEsempio}}
Riga 16: Riga 16:
  
  
{{InizioEsempio|titolo= esempio di campo non perfetto infinito|number=6.2|anchor=Esempio6_2}}
+
{{InizioEsempio|title=esempio di campo non perfetto infinito|number=6.2|anchor=Esempio6_2}}
 
Considero <math>F=F_p(t)</math> campo delle funzioni razionali a coefficienti in <math>F_p</math> nell'indeterminata <math>t</math>. Allora <math>t \notin F^p</math>. Infatti, se <math>t \in F^p</math>, esisterebbe <math>f(t)/g(t) \in F</math> con <math>f(t), g(t) \in F[t]</math>, tale che <math>t = (f(t)/g(t))^p = \frac{f(t)^p}{g(t)^p}</math>, cioè <math>t*(g(t))^p = (f(t))^p</math>, ma questo non può avvenire perché se
 
Considero <math>F=F_p(t)</math> campo delle funzioni razionali a coefficienti in <math>F_p</math> nell'indeterminata <math>t</math>. Allora <math>t \notin F^p</math>. Infatti, se <math>t \in F^p</math>, esisterebbe <math>f(t)/g(t) \in F</math> con <math>f(t), g(t) \in F[t]</math>, tale che <math>t = (f(t)/g(t))^p = \frac{f(t)^p}{g(t)^p}</math>, cioè <math>t*(g(t))^p = (f(t))^p</math>, ma questo non può avvenire perché se
 
così fosse si avrebbe <math>p\rm{gr}(f(t)) = 1+p*\rm{gr}(g(t))</math>.
 
così fosse si avrebbe <math>p\rm{gr}(f(t)) = 1+p*\rm{gr}(g(t))</math>.
Riga 23: Riga 23:
  
  
{{InizioTeorema|titolo=|number=6.3|anchor=Teorema6_3}}
+
{{InizioTeorema|title=|number=6.3|anchor=Teorema6_3}}
 
Sia <math>f(x) \in F(x)</math> un polinomio irriducibile e non separabile. Allora
 
Sia <math>f(x) \in F(x)</math> un polinomio irriducibile e non separabile. Allora
 
<math>\rm{car} F = p</math> primo, e <math>F</math> non è perfetto (e quindi in particolare non è finito).
 
<math>\rm{car} F = p</math> primo, e <math>F</math> non è perfetto (e quindi in particolare non è finito).
Riga 37: Riga 37:
  
  
{{InizioCorollario|titolo=|number=6.1|anchor=Corollario6_1}}
+
{{InizioCorollario|title=|number=6.1|anchor=Corollario6_1}}
 
Sia <math>F</math> un campo con <math>\rm{car} F=0</math> o <math>\rm{car} F = p</math> primo e <math>F</math> perfetto.
 
Sia <math>F</math> un campo con <math>\rm{car} F=0</math> o <math>\rm{car} F = p</math> primo e <math>F</math> perfetto.
 
Allora ogni estensione algebrica di <math>F</math> è separabile.
 
Allora ogni estensione algebrica di <math>F</math> è separabile.
Riga 50: Riga 50:
  
  
{{InizioCorollario|titolo=|number=6.2|anchor=Corollario6_2}}
+
{{InizioCorollario|title=|number=6.2|anchor=Corollario6_2}}
 
Sia <math>F</math> un campo con caratteristica prima, e <math>f(x) \in F[x]</math> un polinomio irriducibile allora <math>f(x) = g(x^{p^n})</math> per <math>n \ge 0</math>, e per un certo polinomio <math>g(x)</math> irriducibile e separabile.
 
Sia <math>F</math> un campo con caratteristica prima, e <math>f(x) \in F[x]</math> un polinomio irriducibile allora <math>f(x) = g(x^{p^n})</math> per <math>n \ge 0</math>, e per un certo polinomio <math>g(x)</math> irriducibile e separabile.
 
{{FineCorollario}}
 
{{FineCorollario}}
Riga 64: Riga 64:
  
 
==Estensione puramente inseparabile==
 
==Estensione puramente inseparabile==
{{InizioDefinizione|titolo=|number=6.2|anchor=Definizione6_2}}
+
{{InizioDefinizione|title=|number=6.2|anchor=Definizione6_2}}
 
Data <math>E \supseteq F</math> un'estensione algebrica, <math>E \supseteq F</math> si dice
 
Data <math>E \supseteq F</math> un'estensione algebrica, <math>E \supseteq F</math> si dice
 
''separabile'' (su <math>F</math>) se ogni elemento di <math>E</math> è separabile su <math>F</math>, ovvero
 
''separabile'' (su <math>F</math>) se ogni elemento di <math>E</math> è separabile su <math>F</math>, ovvero
Riga 72: Riga 72:
  
  
{{InizioDefinizione|titolo=|number=6.3|anchor=Definizione6_3}}
+
{{InizioDefinizione|title=|number=6.3|anchor=Definizione6_3}}
 
Data <math>E \supseteq F</math> un'estensione algebrica, dico che <math>E \supseteq F</math> è ''puramente inseparabile'' se gli unici elementi di <math>E</math> separabili su <math>F</math> sono gli elementi di <math>F</math> (un'estensione puramente inseparabile ha il minor numero possibile di elementi separabili).
 
Data <math>E \supseteq F</math> un'estensione algebrica, dico che <math>E \supseteq F</math> è ''puramente inseparabile'' se gli unici elementi di <math>E</math> separabili su <math>F</math> sono gli elementi di <math>F</math> (un'estensione puramente inseparabile ha il minor numero possibile di elementi separabili).
 
{{FineDefinizione}}
 
{{FineDefinizione}}
Riga 78: Riga 78:
  
  
{{InizioEsempio|titolo=|number=6.3|anchor=Esempio6_3}}
+
{{InizioEsempio|title=|number=6.3|anchor=Esempio6_3}}
 
<math>F</math> come estensione di se stesso è puramente inseparabile.
 
<math>F</math> come estensione di se stesso è puramente inseparabile.
 
{{FineEsempio}}
 
{{FineEsempio}}
Riga 84: Riga 84:
  
  
{{InizioOsservazione|titolo=|number=6.1|anchor=Osservazione6_1}}
+
{{InizioOsservazione|title=|number=6.1|anchor=Osservazione6_1}}
 
Se <math>E \supset F</math> è un'estensione algebrica e puramente inseparabile, allora <math>\rm{car} F=p</math> e <math>F</math> non può essere perfetto per il primo teorema dimostrato.
 
Se <math>E \supset F</math> è un'estensione algebrica e puramente inseparabile, allora <math>\rm{car} F=p</math> e <math>F</math> non può essere perfetto per il primo teorema dimostrato.
 
{{FineOsservazione}}
 
{{FineOsservazione}}
Riga 90: Riga 90:
  
  
{{InizioTeorema|titolo=|number=6.4|anchor=Teorema6_4}}
+
{{InizioTeorema|title=|number=6.4|anchor=Teorema6_4}}
 
Sia <math>E \supseteq F</math> un'estensione algebrica, con <math>F</math> campo di caratteristica <math>p</math> prima. Allora sono equivalenti queste tre affermazioni:
 
Sia <math>E \supseteq F</math> un'estensione algebrica, con <math>F</math> campo di caratteristica <math>p</math> prima. Allora sono equivalenti queste tre affermazioni:
  
Riga 100: Riga 100:
  
  
{{InizioCorollario|titolo=|number=6.3|anchor=Corollario6_3}}
+
{{InizioCorollario|title=|number=6.3|anchor=Corollario6_3}}
 
Sia <math>E = F(\alpha)</math> un'estensione semplice, con <math>F</math> di caratteristica <math>p</math> primo, e <math>\alpha^{p^n} \in F</math> per un certo <math>n \ge 0</math>.  Allora <math>E</math> è puramente inseparabile su <math>F</math>.
 
Sia <math>E = F(\alpha)</math> un'estensione semplice, con <math>F</math> di caratteristica <math>p</math> primo, e <math>\alpha^{p^n} \in F</math> per un certo <math>n \ge 0</math>.  Allora <math>E</math> è puramente inseparabile su <math>F</math>.
 
{{FineCorollario}}
 
{{FineCorollario}}
Riga 112: Riga 112:
  
  
{{InizioEsempio|titolo=|number=6.4|anchor=Esempio6_4}}
+
{{InizioEsempio|title=|number=6.4|anchor=Esempio6_4}}
 
Per avere un esempio non banale di estensione puramente inseparabile prendo <math>F</math> un campo di caratteristica <math>p</math> primo, non perfetto. Allora esiste un elemento <math>a \in F \smallsetminus F^p</math>. Pongo <math>f(x) = x^p-a \in F[x]</math>, sia <math>M</math> il campo di spezzamento per <math>f(x)</math> su <math>F</math>, e <math>\alpha</math> una radice di <math>f(x)</math>. Considero <math>E=F(\alpha)</math>. Siccome <math>f(\alpha)=0</math>, <math>\alpha^p = a \in F</math>, quindi <math>E</math> è un'estensione di <math>F</math> puramente inseparabile.
 
Per avere un esempio non banale di estensione puramente inseparabile prendo <math>F</math> un campo di caratteristica <math>p</math> primo, non perfetto. Allora esiste un elemento <math>a \in F \smallsetminus F^p</math>. Pongo <math>f(x) = x^p-a \in F[x]</math>, sia <math>M</math> il campo di spezzamento per <math>f(x)</math> su <math>F</math>, e <math>\alpha</math> una radice di <math>f(x)</math>. Considero <math>E=F(\alpha)</math>. Siccome <math>f(\alpha)=0</math>, <math>\alpha^p = a \in F</math>, quindi <math>E</math> è un'estensione di <math>F</math> puramente inseparabile.
  
Riga 121: Riga 121:
 
Conclusione: se <math>F</math> è un campo con <math>\rm{car} F =p</math> primo e <math>F</math> non perfetto, allora <math>F</math> ammette un'estensione puramente inseparabile non banale.
 
Conclusione: se <math>F</math> è un campo con <math>\rm{car} F =p</math> primo e <math>F</math> non perfetto, allora <math>F</math> ammette un'estensione puramente inseparabile non banale.
 
==Condizioni equivalenti ad essere puramente inseparabile==
 
==Condizioni equivalenti ad essere puramente inseparabile==
{{InizioTeorema|titolo=|number=6.5|anchor=Teorema6_5}}
+
{{InizioTeorema|title=|number=6.5|anchor=Teorema6_5}}
 
Data un'estensione algebrica <math>E \supseteq F</math> con <math>\rm{car} F = p</math> primo, allora  sono equivalenti
 
Data un'estensione algebrica <math>E \supseteq F</math> con <math>\rm{car} F = p</math> primo, allora  sono equivalenti
  
Riga 143: Riga 143:
  
  
{{InizioCorollario|titolo=|number=6.4|anchor=Corollario6_4}}
+
{{InizioCorollario|title=|number=6.4|anchor=Corollario6_4}}
 
Sia <math>F</math> un campo di caratteristica <math>p</math>, con <math>p</math> primo, e <math>E</math> un'estensione di <math>F</math> puramente inseparabile. Allora
 
Sia <math>F</math> un campo di caratteristica <math>p</math>, con <math>p</math> primo, e <math>E</math> un'estensione di <math>F</math> puramente inseparabile. Allora
  
Riga 157: Riga 157:
  
  
{{InizioCorollario|titolo= transitività delle estensioni puramente inseparabili|number=6.5|anchor=Corollario6_5}}
+
{{InizioCorollario|title=transitività delle estensioni puramente inseparabili|number=6.5|anchor=Corollario6_5}}
 
Data la catena di estensioni <math>E \supseteq L \supseteq F</math>, con <math>E \supseteq L</math> e <math>L \supseteq F</math> estensioni puramente inseparabili, allora <math>E \supseteq F</math> è puramente inseparabile.
 
Data la catena di estensioni <math>E \supseteq L \supseteq F</math>, con <math>E \supseteq L</math> e <math>L \supseteq F</math> estensioni puramente inseparabili, allora <math>E \supseteq F</math> è puramente inseparabile.
 
{{FineCorollario}}
 
{{FineCorollario}}
Riga 183: Riga 183:
  
  
{{InizioTeorema|titolo=|number=6.6|anchor=Teorema6_6}}
+
{{InizioTeorema|title=|number=6.6|anchor=Teorema6_6}}
 
Sia <math>E \supseteq F</math> un'estensione algebrica, e sia<math display="block">S = \{ \alpha \in E \, t.c. \, \alpha \,separabile\, su\, F \}</math>Allora <math>S</math> è un campo, ed è l'unico campo intermedio <math>E \supseteq S \supseteq F</math> tale che <math>E \supseteq S</math> è puramente inseparabile e <math>S \supseteq F</math> è separabile.
 
Sia <math>E \supseteq F</math> un'estensione algebrica, e sia<math display="block">S = \{ \alpha \in E \, t.c. \, \alpha \,separabile\, su\, F \}</math>Allora <math>S</math> è un campo, ed è l'unico campo intermedio <math>E \supseteq S \supseteq F</math> tale che <math>E \supseteq S</math> è puramente inseparabile e <math>S \supseteq F</math> è separabile.
 
{{FineTeorema}}
 
{{FineTeorema}}
Riga 196: Riga 196:
  
  
{{InizioCorollario|titolo=|number=6.6|anchor=Corollario6_6}}
+
{{InizioCorollario|title=|number=6.6|anchor=Corollario6_6}}
 
Sia <math>E \supseteq F</math> un'estensione di grado finito e non separabile, allora <math>\rm{car} F \mid |E:F|</math>.
 
Sia <math>E \supseteq F</math> un'estensione di grado finito e non separabile, allora <math>\rm{car} F \mid |E:F|</math>.
 
{{FineCorollario}}
 
{{FineCorollario}}
Riga 208: Riga 208:
  
  
{{InizioProposizione|titolo=|number=6.2|anchor=Proposizione6_2}}
+
{{InizioProposizione|title=|number=6.2|anchor=Proposizione6_2}}
 
Sia <math>E \supseteq L \supseteq F</math> una catena di estensioni con <math>E \supseteq L</math> separabile e <math>L \supseteq F</math> separabile, allora <math>E \supseteq F</math>  è separabile.
 
Sia <math>E \supseteq L \supseteq F</math> una catena di estensioni con <math>E \supseteq L</math> separabile e <math>L \supseteq F</math> separabile, allora <math>E \supseteq F</math>  è separabile.
 
{{FineProposizione}}
 
{{FineProposizione}}
Riga 219: Riga 219:
  
 
==Grado di separabilità==
 
==Grado di separabilità==
{{InizioDefinizione|titolo=|number=6.4|anchor=Definizione6_4}}
+
{{InizioDefinizione|title=|number=6.4|anchor=Definizione6_4}}
 
Sia <math>E \supseteq F</math> un'estensione di grado finito, e sia <math>S</math> l'insieme degli elementi di <math>E</math> separabili su <math>F</math>. Si dice ''grado di separabilità'' di <math>E</math> su <math>F</math> il grado di <math>S</math> su <math>F</math>, cioè <math>|E:F|_s = |S:F|</math>.
 
Sia <math>E \supseteq F</math> un'estensione di grado finito, e sia <math>S</math> l'insieme degli elementi di <math>E</math> separabili su <math>F</math>. Si dice ''grado di separabilità'' di <math>E</math> su <math>F</math> il grado di <math>S</math> su <math>F</math>, cioè <math>|E:F|_s = |S:F|</math>.
 
{{FineDefinizione}}
 
{{FineDefinizione}}
Riga 242: Riga 242:
  
  
{{InizioTeorema|titolo=|number=6.7|anchor=Teorema6_7}}
+
{{InizioTeorema|title=|number=6.7|anchor=Teorema6_7}}
 
Sia <math>E \supseteq F</math> un'estensione di grado finito, e siano <math>K,L</math> campi intermedi tra <math>E</math> ed <math>F</math> con <math>E \supseteq L</math> puramente inseparabile, <math>L \supseteq F</math> separabile, <math>E \supseteq K</math> separabile, <math>K \supseteq F</math> puramente inseparabile, come mostra lo schema seguente:<math display="block">\begin{array}{ccccc}  &  & E &  &  \\  & \diagup^{p.ins.} & & \diagdown^{sep.} &  \\  L & & & & K \\  & \diagdown^{sep.} &  & \diagup^{p.ins.} &  \\  &  & F & &\end{array}</math>Allora <math>|L:F| = |E:K|</math>.
 
Sia <math>E \supseteq F</math> un'estensione di grado finito, e siano <math>K,L</math> campi intermedi tra <math>E</math> ed <math>F</math> con <math>E \supseteq L</math> puramente inseparabile, <math>L \supseteq F</math> separabile, <math>E \supseteq K</math> separabile, <math>K \supseteq F</math> puramente inseparabile, come mostra lo schema seguente:<math display="block">\begin{array}{ccccc}  &  & E &  &  \\  & \diagup^{p.ins.} & & \diagdown^{sep.} &  \\  L & & & & K \\  & \diagdown^{sep.} &  & \diagup^{p.ins.} &  \\  &  & F & &\end{array}</math>Allora <math>|L:F| = |E:K|</math>.
 
{{FineTeorema}}
 
{{FineTeorema}}

Versione delle 14:08, 21 mag 2018

Campi perfetti

Sia un campo di caratteristica , con primo. Allora esiste l'omomorfismo di Frobenius tale che . Vale che

Inoltre e in particolare è iniettivo.

L'immagine di , indicata con , è l'insieme ed è un sottocampo di .

Definizione 6.1

si dice perfetto se , cioè se è suriettivo: in altre parole, è perfetto se comunque prendo , esiste tale che .

 


Esempio 6.1

Ogni campo finito di caratteristica prima è tale che , e quindi è perfetto.

 


Esempio 6.2 (esempio di campo non perfetto infinito)

Considero campo delle funzioni razionali a coefficienti in nell'indeterminata . Allora . Infatti, se , esisterebbe con , tale che , cioè , ma questo non può avvenire perché se così fosse si avrebbe .

 


Teorema 6.3

Sia un polinomio irriducibile e non separabile. Allora primo, e non è perfetto (e quindi in particolare non è finito).

 
Dimostrazione

Dire irriducibile e non separabile significa che , e quindi necessariamente primo, e per un certo . Ora è un polinomio della forma . Se fosse perfetto, si avrebbe che per un certo , e quindi

dove ho posto . Quindi ma è irriducibile quindi questo non può avvenire.

 


Corollario 6.1

Sia un campo con o primo e perfetto. Allora ogni estensione algebrica di è separabile.

 
Dimostrazione

Sia un'estensione algebrica di , allora ogni è algebrico su . Il polinomio minimo di che è irriducibile in dev'essere separabile, altrimenti per il lemma precedente non sarebbe perfetto.

 


Corollario 6.2

Sia un campo con caratteristica prima, e un polinomio irriducibile allora per , e per un certo polinomio irriducibile e separabile.

 
Dimostrazione

CASO 1: Se , è separabile, allora il risultato è vero se prendo , e .

CASO 2: Se invece , per un certo . Ora dev'essere irriducibile, perché se ammettesse una fattorizzazione propria, si avrebbe , e , ma è irriducibile e quindi questo non può avvenire. In particolare .

Per induzione sul grado, il risultato è vero per , cioè posso scrivere , con e separabile e irriducibile. Allora e quindi vale l'asserto anche per .

 

Estensione puramente inseparabile

Definizione 6.2

Data un'estensione algebrica, si dice separabile (su ) se ogni elemento di è separabile su , ovvero se per ogni , il polinomio minimo di in è un polinomio separabile (su ).

 


Definizione 6.3

Data un'estensione algebrica, dico che è puramente inseparabile se gli unici elementi di separabili su sono gli elementi di (un'estensione puramente inseparabile ha il minor numero possibile di elementi separabili).

 


Esempio 6.3

come estensione di se stesso è puramente inseparabile.

 


Osservazione 6.1

Se è un'estensione algebrica e puramente inseparabile, allora e non può essere perfetto per il primo teorema dimostrato.

 


Teorema 6.4

Sia un'estensione algebrica, con campo di caratteristica prima. Allora sono equivalenti queste tre affermazioni:

  1. è puramente inseparabile su ;
  2. comunque prendo , per ;
  3. ogni elemento di ha polinomio minimo su della forma , con e .
 


Corollario 6.3

Sia un'estensione semplice, con di caratteristica primo, e per un certo . Allora è puramente inseparabile su .

 
Dimostrazione

Sia , devo mostrare che . Infatti, se questo avviene, è puramente inseparabile su per il teorema appena enunciato.

, allora con . Quindi, siccome siamo in caratteristica

perché per ipotesi .

 


Esempio 6.4

Per avere un esempio non banale di estensione puramente inseparabile prendo un campo di caratteristica primo, non perfetto. Allora esiste un elemento . Pongo , sia il campo di spezzamento per su , e una radice di . Considero . Siccome , , quindi è un'estensione di puramente inseparabile.

Osservo che , perché . Inoltre è campo di spezzamento per su , perché con , cioè .

 

Conclusione: se è un campo con primo e non perfetto, allora ammette un'estensione puramente inseparabile non banale.

Condizioni equivalenti ad essere puramente inseparabile

Teorema 6.5

Data un'estensione algebrica con primo, allora sono equivalenti

  1. è puramente inseparabile.
  2. per ogni , esiste con ;
  3. il polinomio minimo su di ogni elemento di è della forma
 
Dimostrazione

: sia e il polinomio minimo di su . Allora per il corollario precedente posso scrivere con polinomio irriducibile e separabile. Allora è polinomio minimo di essendo irriducibile e monico, e quindi è separabile su . Ma per l'ipotesi l'estensione è puramente inseparabile quindi tutti gli elementi separabili su stanno in , allora .

: per ipotesi, , cioè è radice del polinomio . Ma essendo in caratteristica , , quindi un fattore irriducibile di in sarà della forma . Siccome , segue che è il polinomio minimo di su e quindi è univocamente determinato. Dunque e' l'unico fattore irriducibile di in e pertanto è una potenza di , quindi e . Segue che con .

: sia e supponiamo che sia separabile su . Vogliamo mostrare che . Per ipotesi il polinomio minimo di su è della forma .

implica che . Allora . Se (e quindi ), ma dev'essere separabile, allora non può avere radici multiple, rimane provato che e .

 


Corollario 6.4

Sia un campo di caratteristica , con primo, e un'estensione di puramente inseparabile. Allora

  1. Se , allora e sono puramente inseparabili.
  2. se è finito, allora .
 
Dimostrazione
  1. è puramente inseparabile, quindi per il teorema appena dimostrato,dato , si ha che per . Allora , quindi è puramente inseparabile.Inoltre se , si ha , e siccome è puramente inseparabile, per un certo , quindi è puramente inseparabile.
  2. Procediamo per induzione su . Se , allora e quindi il passo base vale. Altrimenti, prendo , allora per la condizione 3 del teorema precedente, il polinomio minimo di su è della forma . Quindi . Considero la catena di estensioni . Per la prima parte di questo corollario, è puramente inseparabile, e ha grado perché hoscelto , allora per induzione e il resto segue dal teorema della torre, cioè .
 


Corollario 6.5 (transitività delle estensioni puramente inseparabili)

Data la catena di estensioni , con e estensioni puramente inseparabili, allora è puramente inseparabile.

 
Dimostrazione

Sia , e , allora oppure , da cui segue che (voglio escludere il caso di caratteristica 0). Data , , ma è puramente inseparabile quindi posso applicare questa proprietà ad , cioè , e quindi è puramente inseparabile.

 

Proprietà del campo degli elementi separabili su F

Sia un'estensione algebrica, e considero l'insieme

Allora è un campo, ed è l'unico campo con , puramente inseparabile e separabile.

Per dimostrare questo fatto è necessario il seguente lemma:
Lemma 6.1

Sia con separabili su , allora è separabile.

 
Dimostrazione

Siano i polinomi minimi di e rispettivamente su , e sia .

Sia campo di spezzamento per su . Ora è un polinomio i cui fattori irriducibili, , sono separabili su , allora è normale di grado finito.

Se considero la catena di estensioni , con separabile, segue che anche è separabile.

 


Teorema 6.6

Sia un'estensione algebrica, e sia

Allora è un campo, ed è l'unico campo intermedio tale che è puramente inseparabile e è separabile.

 
Dimostrazione
  1. Per dimostrare che è un campo, basta mostrare che, dati , e per . Considero , che è un'estensione separabile di per il lemma precedente. contiene e , e quindi sono separabili su . In particolare stanno in .
  2. ovviamente è separabile per come è definito.
  3. Rimane da provare che è puramente inseparabile. Possiamo assumere che , perché in caratteristica , esaurisce tutti gli elementi di . Sia , e considero polinomio minimo di su .Si avrà con monico, irriducibile e separabile. Inoltre , allora è il polinomio minimo di ed è separabile, quindi è separabile su , cioè per definizione , quindi è puramente inseparabile perché vale la condizione 3 del teorema.
  4. Mostriamo l'unicità di . Sia un campo con , con separabile e puramente inseparabile. Mostriamo che .Dal fatto che è separabile, segue che tutti gli elementi di sono separabili su , quindi . Allora considero la catena di estensioni : siccome è puramente inseparabile, anche lo è. Considero ora la catena di estensioni , siccome è separabile, anche è separabile. Allora perché è contemporaneamente separabile e puramente inseparabile su .
 


Corollario 6.6

Sia un'estensione di grado finito e non separabile, allora .

 


Dimostrazione

Siccome per ipotesi l'estensione è non separabile, si ha che primo. Sia l'insieme degli elementi di separabili su , allora , è puramente inseparabile e . Dal teorema della torre segue che .

 


Proposizione 6.2

Sia una catena di estensioni con separabile e separabile, allora è separabile.

 


Dimostrazione

Sia l'insieme degli elementi di separabili su . Siccome è separabile, segue che , allora posso considerare la catena di estensioni . Siccome è separabile segue che è separabile per un argomento già visto. Inoltre è puramente inseparabile e unendo le due condizioni si ha , e quindi è separabile.

 

Grado di separabilità

Definizione 6.4

Sia un'estensione di grado finito, e sia l'insieme degli elementi di separabili su . Si dice grado di separabilità di su il grado di su , cioè .

 
L'estensione è separabile se e solo se . In generale , e il quoziente è una potenza di .
Lemma 6.2

Sia un'estensione puramente inseparabile, e sia monico, irriducibile e separabile. Allora è irriducibile in .

 
Dimostrazione

Sia un fattore monico e irriducibile di in , e mostriamo che , provando così che rimane irriducibile in . Sia il campo di spezzamento per su , quindi . Allora in , posso scrivere dove gli sono radici di e quindi anche di .

Sia

e voglio mostrare che . Gli , radici di , sono anche radici di . Ora è polinomio minimo di ciascuna sua radice in particolare di ciascun . Per ipotesi è separabile su , allora gli stanno in , allora . Inoltre quindi i coefficienti di stanno in .

Concludo che infatti valgono questi fatti:

  1. e è puramente inseparabile, allora è puramente inseparabile.
  2. per costruzione è separabile, e quindi anche è separabile.

Allora , cioè , allora .

 


Teorema 6.7

Sia un'estensione di grado finito, e siano campi intermedi tra ed con puramente inseparabile, separabile, separabile, puramente inseparabile, come mostra lo schema seguente:

Allora .

 
Dimostrazione

Mostro le due disuguaglianze:

DISUGUAGLIANZA 1: : Sia , e sia il suo polinomio minimo. Siccome è puramente inseparabile, rimane irriducibile come polinomio in . Allora . Per il teorema dell'elemento primitivo, siccome è separabile, posso scrivere (con abuso di notazione). Allora . DISUGUAGLIANZA 2: : e per il teorema dell'elemento primitivo posso scrivere per un certo . è puramente inseparabile, allora per un certo , (se , e ). Considero . Da un lato, siccome , è puramente inseparabile; d'altra parte , e siccome è separabile, lo è anche . Deduco che .

Quindi

perché . Noto anche che la seconda uguglianza segue dallo stesso argomento usato all'inizio di questa dimostrazione.

 


Teorema 6.8 (moltiplicatività del grado di separabilità)

Siano campi con finito. Allora .

 


Dimostrazione

Considero lo schema seguente:

Considero , e chiamo
allora segue che è puramente inseparabile, è separabile. Considero poi , e pongo
allora segue che è puramente inseparabile e è separabile.
Considero la catena di estensioni
e pongo
allora è puramente inseparabile, mentre è separabile.

Ogni pezzo della catena di estensioni è separabile. Allora è separabile per transitività.

Se considero , è puramente inseparabile e è puramente inseparabile, allora è puramente inseparabile. Per l'unicità del campo intermedio che soddisfa queste due condizioni segue che

Segue che , inoltre per il teorema della torre
ma per il teorema precedente, e cioè, unendo queste formule, .

 
 PrecedenteSuccessivo