Pemetaan \(\phi_{\alpha} : R[x] \rightarrow R\) disebut homomorfisma evaluasi di \(\alpha\text{.}\)