Numerische Halbgruppe/Teilerfremde Erzeuger/Numerische Einbettungsdimension/Charakterisierung mit M+ ohne M+^2/Fakt

Sei ${}M\subseteq \mathbb {N}$ ein numerisches Monoid mit teilerfremden Erzeugern, und es sei ${}M_{+}={\left\{m\in M\mid m\geq 1\right\}}$ und ${}M_{+}+M_{+}={\left\{m+m'\mid m,m'\in M_{+}\right\}}$ . Dann ist die Einbettungsdimension von ${}M$ gleich der Anzahl von ${}M_{+}\setminus (M_{+}+M_{+})$ .