加载中…
Let be a one-dimensional -subgroup of the group of integer-valued functions on a set . We show that is free under some hypothesis on the spectrum of and on its quotient groups at the prime ideals. We translate this result in the context of the study of freeness of the group of invertible ideals of a Prüfer domain : in particular, we introduce the class of \emph{dd-domains} as the class of Prüfer domains having a set that is dense in (with respect to the inverse topology) and whose localizations are DVRs. This class is exactly the class of Prüfer domains for which is isomorphic (as an -group) to a subgroup of .

生成讲解博客的中文版本

生成AI智能校验的中文版本