{{ Mathematischer Text/Fakt |Text= {{ Faktstruktur|typ= |Situation= Es sei ${\displaystyle {}M}$ ein endlich erzeugtes kommutatives Monoid mit einer Darstellung ${\displaystyle {}M=\mathbb {N} ^{n}/\sim }$ und es sei ${\displaystyle {}R}$ ein kommutativer Ring. |Voraussetzung= |Übergang= |Folgerung= Dann ist {{ Ma:Vergleichskette/disp |R[M] || R[X_1 , \ldots , X_n ] / {{makl| X^\mu -X^\nu {{|}} \mu \sim \nu |}} || || || |SZ=. }} Ein Monoidring besitzt also eine Darstellung als Restklassenring zu einem von binomialen Polynomen erzeugten Ideal. |Zusatz= }} |Textart=Fakt |Kategorie=Theorie der kommutativen Monoidringe |Kategorie2= |Kategorie3= |Objektkategorie= |Stichwort= |Faktname= |Abfrage=Idealbeschreibung eines Monoidringes |Variante= |Autor= |Bearbeitungsstand= }}