Nagata theorem for divisor class groups

If $A$ is a Noetherian normal domain and $S$ is a multiplicative set, then $\mathrm{Cl}(S^{-1}A)$ is the quotient of $\mathrm{Cl}(A)$ by the classes of height-one primes meeting $S$. Tracking the units of $S^{-1}A$ determines the relations among those prime divisors.

Let $A=k[x,y,z,w]/(xy-zw)$ over a field $k$. Its divisor class group is infinite cyclic. Inverting $x$ givesa unique factorization domain. The Nagata theorem for divisor class groups therefore generates $\mathrm{Cl}(A)$ by the two prime Weil divisors $D_1=V(x,z)$ and $D_2=V(x,w)$ above $x=0$.

At either generic point, the defining equation makes $x$ a uniformizer times a unit, so $\mathrm{div}(x)=D_1+D_2$. To prove that this is the only relation, a rational function with divisor supported on $D_1\cup D_2$ restricts to a unit of $A_x$. Every such unit is $c{x}^r$ with $c\in k^{\ast }$ and $r\in \mathbb{Z}$. Its divisor is $r(D_1+D_2)$, givingThus either ruling plane generates, with the other representing its negative. Computing the localized unit group rules out an additional torsion relation.