# algebraic geometry

"F) Finally, we may define $Pic(X)$ to be the group $Div(X)/$(pinc. divisors). Then $R_X$ itself is a UFD if and only if $Pic(X)=(0)$."