Numerische Halbgruppe/Teilerfremde Erzeuger/Führungszahl/Definition

Führungszahl

Es sei ${}M\subseteq \mathbb {N}$ ein durch teilerfremde Erzeuger definiertes numerisches Monoid. Dann nennt man die minimale Zahl ${}f$ mit ${}\mathbb {N} _{\geq f}\subseteq M$ die Führungszahl von ${}M$.