Contoh 16.3.2.

Misalkan \(C[a, b]\) adalah gelanggang fungsi kontinu bernilai real pada interval \([a,b]\) seperti dalam Contoh 16.1.5. Untuk suatu \(\alpha \in [a, b]\) yang tetap, kita dapat mendefinisikan homomorfisma gelanggang \(\phi_{\alpha} : C[a, b] \rightarrow {\mathbb R}\) dengan \(\phi_{\alpha} (f ) = f( \alpha)\text{.}\) Pemetaan ini merupakan homomorfisma gelanggang karena
\begin{gather*} \phi_{\alpha}( f + g ) = (f + g)( \alpha) = f(\alpha) + g(\alpha) = \phi_{\alpha}( f ) + \phi_{\alpha}(g )\\ \phi_{\alpha}( f g ) = (f g)( \alpha) = f(\alpha) g(\alpha) = \phi_{\alpha}( f ) \phi_{\alpha}(g )\text{.} \end{gather*}
Homomorfisma gelanggang bertipe \(\phi_{\alpha}\) disebut homomorfisma evaluasi.
Dalam Konteks