Hochschild cohomology and moduli spaces of strongly homotopy associative algebras.
We explore the connection between atomicity in Prüfer domains and their corresponding class groups. We observe that a class group of infinite order is necessary for non-Noetherian almost Dedekind and Prüfer domains of finite character to be atomic. We construct a non-Noetherian almost Dedekind domain and exhibit a generating set for the ideal class semigroup.
It is well known that an integral domain is a valuation domain if and only if it possesses only one finitary ideal system (Lorenzen -system of finite character). We prove an analogous result for root-closed (cancellative) monoids and apply it to give several new characterizations of Prüfer (multiplication) monoids and integral domains.