Polynomring/Veronesering/Monoidring/Fakt/Beweis

Beweis

Dies folgt aus Fakt zur ${}D:=\mathbb {Z} /(s)$-Graduierung

$\mathbb {Z} ^{n}\longrightarrow \mathbb {Z} \longrightarrow \mathbb {Z} /(s).$

Der Kern dieser Abbildung geschnitten mit ${}\mathbb {N} ^{n}$ bildet gerade die angegebene Menge. Der Zusatz folgt aus Fakt.

Zur bewiesenen Aussage