Kommutative Monoidringe/Funktorialität im Ring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein kommutativer Ring und eine -Algebra. Es sei ein kommutatives Monoid.

Dann gibt es einen natürlichen -Algebrahomomorphismus

(die Koeffizienten aus werden also einfach in aufgefasst).

Zum Beweis, Alternativen Beweis erstellen