Es seien M {\displaystyle {}M} und N {\displaystyle {}N} kommutative Monoide und R {\displaystyle {}R} ein kommutativer Ring. Zeige die R {\displaystyle {}R} -Algebraisomorphie
![{\displaystyle {}R[M\times N]\cong R[M]\otimes _{R}R[N]\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ee561128174f4bd8f35ebee7312e105b2707151)