Kommutative Monoidringe/Funktorialität im Monoid/Fakt

Es sei ein kommutativer Ring. Es seien und kommutative Monoide und sei

ein Monoidhomomorphismus.

Dann induziert dies einen -Algebrahomomorphismus zwischen den zugehörigen Monoidringen