Kommutative Monoidringe/Funktorialität im Ring/Fakt/Beweis

Beweis

Dies folgt aus Fakt, angewandt auf die $R$-Algebra $S[M]$ und den Monoidhomorphismus $M\to S[M]$.

Zur bewiesenen Aussage