Estensione di campi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: fix sezioni standard |
Nessun oggetto della modifica |
||
Riga 17:
== Generatori di un'estensione ==
Data l'estensione ''L'' / ''K'' e un [[sottoinsieme]] ''A'' di ''L'', si indica con ''K'' (''A'') il più piccolo sottocampo di ''L'' che contiene ''K'' e ''A'' (e sarà dunque anch'esso un'estensione del campo ''K'') e si dice che ''K'' (''A'') è ottenuto da ''K'' per ''aggiunta'' degli elementi di ''A''. Questi elementi sono detti '''generatori''' dell'estensione ''
Si prova che l'estensione ''K'' (''A'') / ''K'' risulta essere composta da tutti gli elementi di ''L'' che si possono ottenere mediante ripetizione delle operazioni di campo di ''L'' (somma, prodotto e inverso) tra elementi di ''K'' ∪ ''A''.
|