Es sei H := kern δ {\displaystyle {}H:=\operatorname {kern} \delta } der Kern von δ {\displaystyle {}\delta } . Dann ist M := N r ∩ H {\displaystyle {}M:=\mathbb {N} ^{r}\cap H} ein Untermonoid von N r {\displaystyle {}\mathbb {N} ^{r}} und der Ring der neutralen Stufe bezüglich der D {\displaystyle {}D} -Graduierung ist K [ M ] {\displaystyle {}K[M]} .
![{\displaystyle {}K[M]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bc57c07a96c56e7daad5a7ac48422b09480914b)