Wie in Beispiel (auf der Ebene der Nullstellenmengen) beschrieben gibt es einen K {\displaystyle {}K} -Algebraisomorphismus
![{\displaystyle K[X_{1},\ldots ,X_{n}]/{\left(X_{1}\cdots X_{n}-1\right)}\longrightarrow K[X_{1},\ldots ,X_{n-1},X_{1}^{-1},\ldots ,X_{n-1}^{-1}]\cong K[\mathbb {Z} ^{n-1}].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f977e6157d64f3fadde0ef558d5b10d9cd538a8)