Algebra/Multiplikationsabbildung/Endomorphismenring/Ringhomomorphismus/Fakt

Es sei $R$ ein kommutativer Ring und $A$ eine $R$-Algebra.

Dann ist die Abbildung

$A⟶{\mathrm{End}}_R(A),f⟼{\mu }_f,$

ein injektiver Ringhomomorphismus.

Zum Beweis, Alternativen Beweis erstellen