On Dedekind domains whose class groups are direct sums of cyclic groups

Abstract

For a given family (Gi)i∈N of finitely generated abelian groups, we construct a Dedekind domain D having the following properties.(1)Pic(D)≅⨁i∈NGi.(2)For each i∈N, there exists a submonoid Si⊆D• with Pic(DSi)≅Gi.(3)Each class of Pic(D) and of all Pic(DSi) contains infinitely many prime ideals. Furthermore, we study orders as well as sets of lengths in the Dedekind domain D and in all its localizations DSi.