ein spezieller Algebrenhomomorphismus.

Sei A eine assoziative Algebra über einem Körper 𝕂. Durch Wahl eines Elements a ∈ A und Einsetzen dieses festen a an die Stelle der Variablen X in jedes Polynom mit Koeffizienten aus 𝕂 wird ein 𝕂-Algebrenhomomorphismus \begin{eqnarray}{\mathbb{K}}[X]\to A,\,f(X)\mapsto f(a)\end{eqnarray}

von der Polynomalgebra nach der Algebra A definiert. Dieser Homomorphismus heißt Substitutionshomomorphismus (definiert durch a). Der Substitutionshomomorphismus existiert allgemeiner für potenzassoziative Algebren, bzw. auch dann, wenn man den Körper 𝕂 durch einen kommutativen Ring ersetzt.