Wir betrachten die kommutativen Monoide M = N r {\displaystyle {}M=\mathbb {N} ^{r}} und N = N s {\displaystyle {}N={\mathbb {N} }^{s}} . Zeige, dass ein Monoidhomomorphismus von M {\displaystyle {}M} nach N {\displaystyle {}N} eindeutig durch eine Matrix (mit r {\displaystyle {}r} Spalten und s {\displaystyle {}s} Zeilen) mit Einträgen aus N {\displaystyle {}\mathbb {N} } bestimmt ist.
