Estensione di campi: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
+proprietà grado, + troppi spazi inutili
FrescoBot (discussione | contributi)
m Bot: apostrofo dopo l'articolo indeterminativo
Riga 16:
 
==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 ''L'' / ''K''.
 
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''.