Numerischer Monoidring/Führungsideal und Führungszahl/Aufgabe

Es sei ${}M\subseteq \mathbb {N}$ ein numerisches Monoid, das von teilerfremden natürlichen Zahlen erzeugt werde. Zeige, dass für das Führungsideal des zugehörigen Monoidrings ${}K[M]$ die Beziehung

${}{\mathfrak {f}}=(M_{\geq f})\,$

besteht, wobei ${}f$ die Führungszahl des Monoids bezeichnet.

Eine Lösung erstellen