Monomiale Kurve/Lokalisiert/Kein diskreter Bewertungsring/Aufgabe
Es sei ein numerisches Monoid, das von teilerfremden Erzeugern erzeugt werde, es sei der Monoidring zu über einem Körper und es sei
![{\displaystyle {}K[M]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bc57c07a96c56e7daad5a7ac48422b09480914b)
![{\displaystyle {}R=K[M]_{\mathfrak {m}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02051f43c0309f22a7f57cd0de01025cbc7f181a)
die Lokalisierung am maximalen Ideale . Zeige, dass allein im Fall ein diskreter Bewertungsring
ist.![{\displaystyle {}{\mathfrak {m}}=K[M_{+}]=\langle T^{m},\,m\in M\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cde4777668ff2990e0aad21e560c93e07ea2f98)
