Kommutative Monoidringe/Funktorialität im Monoid/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Dies folgt aus Fakt angewandt auf die -Algebra und den zusammengesetzten Monoidhomomorphismus .
![{\displaystyle {}B=R[N]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0950c7825dceabfd21dcebf078c8bcafcf609ecd)
![{\displaystyle {}M{\stackrel {\varphi }{\rightarrow }}N\rightarrow R[N]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/251322fb27ff413df2d448508c203cf9c4400baa)