Residual functions and divisorial ideals

Abstract

We define a \emph{residual function} on a topological space $X$ as a function $f:X\longrightarrow\mathbb{Z}$ such that $f^{-1}(0)$ contains an open dense set, and we use this notion to study the freeness of the group of divisorial ideals on a Pr\"ufer domain.