Kommutative Monoidringe/Zu Z^n ist Laurentring/Beweis mit universeller Eigenschaft/Aufgabe
Es sei ein kommutativer Ring. Beweise die -Algebraisomorphie
mit Hilfe der universellen Eigenschaften von Monoidringen und Nenneraufnahmen.
Es sei 
![{\displaystyle {}R[\mathbb {Z} ^{n}]\cong R[X_{1},\ldots ,X_{n}]_{X_{1}\cdots X_{n}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9ddefc94b7e2bad5cd0d118ea5eb4aef78a906f)
mit Hilfe der universellen Eigenschaften von Monoidringen und Nenneraufnahmen.