Polynomring/n/Einsetzungshomomorphismus/Definition

Einsetzungshomomorphismus

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

$\varphi \colon R\longrightarrow A$

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

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

der Einsetzungshomomorphismus.