Ripasso di teoria dei campi

Estensioni di campi[modifica | modifica wikitesto]

Definizione 1.1

Sia un campo, e un sottoanello di , che è a sua volta un campo. Diciamo che è un'estensione di campi (si scrive anche ). Il campo può essere visto come spazio vettoriale su . La dimensione di come spazio vettoriale su si dice grado dell'estensione, e si indica con .

 


Teorema 1.1 (teorema della torre)

Supponiamo di avere campi con , allora è finito se e solo se sono finiti e . In tal caso: .

 
Dimostrazione

: Supponiamo che sia finito, allora siccome , anche è finito (infatti e' un sottospazio di ). Sia inoltre una base per su . Allora ogni si può scrivere come

per certi , quindi è un insieme finito di generatori per su , e anche è finito.

: Viceversa, siano e , e siano e basi rispettivamente di su e di su . Affermo che è una base per su , infatti:

  1. genera . Prendo , allora siccome gli sono una base per su posso scrivere
    per certi . Inoltre i sono una base di su , quindi per posso scrivere
    e sostituendo nell'espressione di :
    cioè genera .
  2. Gli elementi di sono linearmente indipendenti, infatti supponiamo per assurdo che non lo siano, allora per certi si ha
    Posto la condizione si riscrive come
    e siccome gli sono una base per su , si deve avere , e considerando l'espressione degli , si ha
    Siccome i sono una base per su , l'unica possibilità per cui la condizione sia verificata è che , cioè segue l'indipendenza lineare degli elementi di .
 

Estensioni semplici[modifica | modifica wikitesto]

Sia un'estensione di campi, e sia un sottoinsieme di . Allora indichiamo con il minimo sottoanello di contenente e , cioè al variare di sottoanello di tale che ovvero

Indichiamo invece con il minimo sottocampo di contenente , cioè , al variare di sottocampo di tale che , ovvero
In particolare, quando , il minimo sottoanello e sottocampo si indicano rispettivamente con .

Più in generale, dato , posso scrivere per indicare e per indicare , eliminando le parentesi graffe che racchiudono il contenuto degli insiemi.

Elementi algebrici e trascendenti[modifica | modifica wikitesto]

Sia , e' facile convincersi che

Per caratterizzare ulteriormente l'anello e il campo devo distinguere due casi:

Definizione 1.2
  1. si dice algebrico su se esiste un polinomio non nullo in che ammette come radice.
  2. si dice trascendente su altrimenti, ovvero se l'unico polinomio di che si annulla in è il polinomio nullo.
 


Definizione 1.3

Indico con l'omomorfismo di valutazione tale che , così l'immagine di è ( una indeterminata su ).

 

CASO 1: se è trascendente su , , allora l'omomorfismo di valutazione è iniettivo e . Inoltre si solleva (in modo unico) a un omomorfismo iniettivo, , tale che , la cui immagine coincide con . Abbiamo quindi dove è il campo delle funzioni razionali su .

CASO 2: se è algebrico su , esiste in un polinomio monico, di grado minimo tra i polinomi non nulli in che ammettono come radice. Dalla definizione segue subito che è unico e irriducibile in , e viene chiamato il polinomio minimo di e indicato con . Osservo che coincide con l'ideale generato da , e quindi . Il polinomio è irriducibile e quindi è massimale in , allora è un campo, e quindi deduco che .

Successivo