Monoidring/Erzeuger und Relationen/Ideal/Fakt
Es sei ein endlich erzeugtes kommutatives Monoid mit einer Darstellung und es sei ein kommutativer Ring.
Dann ist
![{\displaystyle {}R[M]=R[X_{1},\ldots ,X_{n}]/{\left(X^{\mu }-X^{\nu }{|}\mu \sim \nu \right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7e1835dea3d7f7dcc32096e00e14658d91b72b9)
Ein Monoidring besitzt also eine Darstellung als Restklassenring zu einem von binomialen Polynomen erzeugten Ideal.