Zu einem kommutativen Ring ${\displaystyle {}R}$ und einem Ringhomomorphismus

${\displaystyle \varphi \colon R\longrightarrow A}$

und Elementen ${\displaystyle {}a_{1},\ldots ,a_{n}\in A}$ heißt der durch ${\displaystyle {}X_{i}\mapsto a_{i}}$ definierte Ringhomomorphismus

${\displaystyle R[X_{1},\ldots ,X_{n}]\longrightarrow A}$

der Einsetzungshomomorphismus.