Normsets of almost Dedekind domains and atomicity (Q262662)

An integral domain \(D\) is almost Dedekind if \(D_M\) is a Noetherian valuation domain for all maximal ideals of \(D\). Thus, an almost Dedekind domain \(D\) is Dedekind if and only if it is Noetherian. In this paper, the author introduced a new norm map on almost Dedekind domains as follows: Let \(D\) be an almost Dedekind domain with maximal ideals \(\mathrm{Max}(D)\), for every \(M \in\mathrm{Max}(D)\). It is known that \( D = \bigcap_{M \in\mathrm{Max}(D)} D_{M} \). So one has a map \(V_M: D_M \rightarrow N_0\), where if \( b \in D,V_M (b)=0 \) if \(b\notin M\) and \(V_M (b)>0\) if \(b\in M\). For nonzero \(b\in D\), define the norm of \(b\) to be the net \(N(b) = (V_M (b))_{M \in\mathrm{Max}(D)} \subseteq \prod_{\mathrm{Max}(D)} N_0\). If \(u\) is a unit in \(D\), then \(N(u)\) is the zero net. The author compared and contrasted this new norm map to the traditional Dedekind-Hasse norm. He proved that factoring in an almost Dedekind domain is in one-to-one correspondence to factoring in the new normset, improving upon this results in [\textit{J. Coykendall}, Proc. Am. Math. Soc. 124, No. 6, 1727--1732 (1996; Zbl 0856.11049)]. In [\textit{A. Grams}, Proc. Camb. Philos. Soc. 75, 321--329 (1974; Zbl 0287.13002)], an atomic almost Dedekind domain was constructed with a trivial Jacobson radical. The author pursued atomicity in almost Dedekind domains with nonzero Jacobson radicals, showing the usefulness of the new norm he introduced. He also stated theorems with regard to specific classes of almost Dedekind domains and provided a necessary condition for an almost Dedekind domain with nonzero Jacobson radical to be atomic.