Monoidring/Erzeuger und Relationen/Ideal/Fakt

Aus Wikiversity

Es sei ein endlich erzeugtes kommutatives Monoid mit einer Darstellung und es sei ein kommutativer Ring.

Dann ist

Ein Monoidring besitzt also eine Darstellung als Restklassenring zu einem von binomialen Polynomen erzeugten Ideal.