Numerische Halbgruppe/Teilerfremde Erzeuger/Minimales Standard-Erzeugendensystem/Fakt
Sei ein numerisches Monoid mit teilerfremden Erzeugern, und es sei und .
Dann ist
ein Erzeugendensystem für , und jedes andere Erzeugendensystem enthält dieses.
Sei ein numerisches Monoid mit teilerfremden Erzeugern, und es sei und .
Dann ist
ein Erzeugendensystem für , und jedes andere Erzeugendensystem enthält dieses.