Kommutative Monoidringe/Funktorialität im Ring/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Dies folgt aus Fakt, angewandt auf die -Algebra und den Monoidhomorphismus .
Dies folgt aus
Fakt,
angewandt auf die 
![{\displaystyle {}S[M]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7f2080319c712b572773378b89fb07129474390)
![{\displaystyle {}M\rightarrow S[M]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31ebb20f523944752199a5b348b99112bdd3dcd9)