< Kommutative Monoidringe < Funktorialität im Ring
Sei ein kommutativer Ring und eine -Algebra. Es sei ein kommutatives Monoid.
Dann gibt es einen natürlichen -Algebrahomomorphismus
![{\displaystyle R[M]\longrightarrow S[M],\,\sum _{m\in M}a_{m}X^{m}\longmapsto \sum _{m\in M}a_{m}X^{m},}](../../../I/1cca69d2fa9e53f620c7faa109dca817b6b35437.svg)
(die Koeffizienten aus werden also einfach in aufgefasst).
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.