Es sei M ⊆ N {\displaystyle {}M\subseteq \mathbb {N} } ein durch teilerfremde natürliche Zahlen e 1 , … , e n {\displaystyle {}e_{1},\ldots ,e_{n}} erzeugtes Untermonoid.
Dann ist die monomiale Abbildung
eine Bijektion.
![{\displaystyle {\mathbb {A} }_{K}^{1}\longrightarrow K\!\!-\!\operatorname {Spek} \,{\left(K[M]\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1e23b74ef8d879b8e551f3a39be2a828ade6494)