Numerische Halbgruppe/Teilerfremde Erzeuger/Minimales Standard-Erzeugendensystem/Fakt

Aus Wikiversity

Sei ein numerisches Monoid mit teilerfremden Erzeugern, und es sei und .

Dann ist

ein Erzeugendensystem für , und jedes andere Erzeugendensystem enthält dieses.