Suggerimento 20.
Sia
K
un
campo
, allora si ha che
K
[x]
/I
è un campo se e solo se l'
ideale
I
di
K
[x] è
massimale
, se e solo se
I
è generato da un polinomio
irriducibile
in
K
[x].
Vedi la
soluzione
.