Hola, no entiendo bien como es esa función, porque a priori es un elemento de
no una función de
, y además
como entrada toma un polinomio
y un elemento
, pero esas dos cosas a la vez no están en
o si?
φ(p) te da un polinomio como función, que evaluado en a te tiene que dar lo mismo que aplicarle el morfismo de evaluación en a a p. Así lo entiendo yo.
Gracias Julian, tiene todo el sentido.