Kommutative Monoidringe/Funktorialität im Ring/Fakt
Es 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).
Es 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).