Numerisches Monoid/Lokale kommutative noethersche Ringe/Numerische und algebraische Einbettungsdimension/Äquivalenz/Fakt

Aus Wikiversity

Es sei ein Körper und ein numerisches Monoid, das von teilerfremden natürlichen Zahlen erzeugt sei. Es sei der zugehörige Monoidring mit dem maximalen Ideal und der Lokalisierung .

Dann ist die numerische Einbettungsdimension von (bzw. ) gleich der Einbettungsdimension des lokalen Rings .