Kommutative Monoidringe/Funktorialität im Monoid/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein kommutativer Ring. Seien und kommutative Monoide und sei

ein Monoidhomomorphismus.

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

Beweis 1, 2, Alternativen Beweis erstellen