Sei M ⊆ N {\displaystyle {}M\subseteq \mathbb {N} } ein durch teilerfremde e 1 , … , e n {\displaystyle {}e_{1},\ldots ,e_{n}} erzeugtes Untermonoid, und K [ M ] ⊆ K [ T ] {\displaystyle {}K[M]\subseteq K[T]} die zugehörige Ringerweiterung von Monoidringen.
Dann ist K [ T ] {\displaystyle {}K[T]} die Normalisierung von K [ M ] {\displaystyle {}K[M]} .
Mit anderen Worten: Die monomiale Abbildung
ist eine Normalisierung.
ein durch teilerfremde 
erzeugtes Untermonoid, und
![{\displaystyle {}K[M]\subseteq K[T]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e41f9781b8561fcc0fc6dc9d4b5c326798e3462e)
die zugehörige Ringerweiterung von
Monoidringen.
![{\displaystyle {}K[T]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b084d1150a69ad38af1550a9de0dc3225016ee46)
die
Normalisierung
von ![{\displaystyle {}K[M]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bc57c07a96c56e7daad5a7ac48422b09480914b)
.
![{\displaystyle {\mathbb {A} }_{K}^{1}\longrightarrow K\!\!-\!\operatorname {Spek} \,{\left(K[M]\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1e23b74ef8d879b8e551f3a39be2a828ade6494)
