Dies folgt aus Fakt, angewandt auf die R {\displaystyle {}R} -Algebra S [ M ] {\displaystyle {}S[M]} und den Monoidhomorphismus M → S [ M ] {\displaystyle {}M\rightarrow S[M]} .
![{\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)