Si est un élément d'une -algèbre , l'évaluation en , c'est-à-dire l'application est un morphisme d'algèbre de à valeurs dans . D'ailleurs, ça caractérise l'évaluation en : c'est l'unique morphisme d'algèbre de à valeur dans tel que l'image du polynôme soit égal à .
Donc, pour répondre à ta question, tu as le droit. (ici, il faut prendre l'algèbre des fractions rationnelles)