Estensione algebrica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
tolgo ripetizioni da Estensione di campi |
|||
Riga 13:
Tra tutti i polinomi che si annullano in ''a'', ne esiste uno in particolare di grado minimo, detto '''polinomio minimo''' di ''a'' su ''K''. Si dimostra che esso è unico a meno di una costante moltiplicativa (ciò equivale a dire che esiste un unico polinomio minimo ''monico'', cioè con coefficiente del termine di grado massimo 1) e che l'[[ideale (matematica)|ideale]] generato da esso rappresenta il [[nucleo (matematica)|nucleo]] dell'[[omomorfismo di anelli|omomorfismo di valutazione]]
:<math>\varphi:K[X]\to L, g\mapsto g(a).</math>
Inoltre il grado di tale polinomio è proprio il grado dell'estensione [''K''[''a'']:''K''], dove ''K''[''a''] è il
== Esempi ==
| |||