Also ich verstehe nicht wirklich warum da K[x] → Abb(K;K) steht und nicht einfach K[x] → K.
Zu jedem Polynom gibt es eine Abbildung von K nach K , die dadurch bestimmt
ist, dass man ein a∈K für das x im Polynom einsetzt und das Ergebnis (wieder in K)
bestimmt.
Wen du etwa in Z2[x] die Polynome x^4 + x^3 + x^2 + x und x^2 + x betrachtest,
dann sind das zwar verschiedene Polynome, beide induzieren aber die gleiche
Abbildung von Z2 nach Z2, nämlich die , die 1 und 0 beide auf 0 abbildet.
Und es ist zu zeigen, dass das bei einem Körper mit unendlich vielen Elementen
nicht passieren kann.