Numerische Halbgruppen/Teilerfremde Erzeuger/Ab n alles/Fakt

Aus Wikiversity

Sei ein numerisches Monoid, das von teilerfremden natürlichen Zahlen erzeugt sei.

Dann gibt es zu jedem eine Darstellung

Für hinreichend groß kann man zusätzlich noch erreichen, so dass es dann eine Darstellung mit nichtnegativen Koeffizienten gibt.