Residual functions and divisorial ideals
arXiv:2409.11846
Abstract
We define a \emph{residual function} on a topological space as a function such that contains an open dense set, and we use this notion to study the freeness of the group of divisorial ideals on a Prüfer domain.