Semistar Dedekind domains (Q1877753)

Let \(D\) be an integral domain with quotient field \(K\) and let \(\star\) be a semistar operation on \(D\). Recall that \(\star \) is a semistar operation on \(D\) if \(\star\) is a closure operation on \(\overline{F }(D)\), the set of all nonzero \(D\)-submodules of \(K\), that satisfies \( (xE)^{\star }=xE^{\star }\) for all nonzero \(x\in K\) and \(E\in \overline{F}(D) \). A nonzero ideal \(I\) of \(D\) is called a quasi-\(\star\)-ideal if \(I=I^{\star }\cap D\) and \(I\) is a quasi-\(\star \)-maximal ideal if \(I\) is maximal in the set of proper quasi-\(\star \)-ideals. If \(\star\) is a semistar operation on \(D\), then define \(\star_f\: \overline{F}(D)\to \overline{F}(D)\) for \(E\in \overline{F}(D)\) by \[ E^{\star_f}=: \bigcup \{F^*\mid F\text{ is a nonzero finitely generated }D\text{-submodule of }K\text{ and }F\subseteq E\}. \] Associated with \(\star \) is the semistar operation \(\widetilde{ \star }\) given by \[ E^{\widetilde{\star} }=\bigcap \{ED_{Q}\mid Q\text{ is a quasi-}\star _{f}\text{-maximal ideal of }D\}. \] Then \(D\) is said to be \(\star \){-Noetherian} if \(D\) satisfies ACC on quasi-\(\star \)-ideals and \(D\) is a {P}\(\star \){MD}\ if \(D_{M}\) is a valuation domain for each quasi-\(\star _{s}\)-maximal ideal \(M\). Finally, \(D\) is a \(\star \)-Dedekind domain if \(D\) is a \(\star \)-Noetherian P\(\star \)MD. Taking the semistar operation to be the \(d\)-operation \(A\rightarrow A_{d}\) \(=A\), we have the usual notions of Noetherian, Prüfer, and Dedekind domains. It is shown that many of the classical characterizations of Dedekind domains carry over to \(\star \)-Dedekind domains. For example, \(D\) is \(\star \)-Dedekind if and only if every nonzero ideal (or just quasi-\(\star \)-ideal or prime quasi-\(\star \)-ideal) is quasi-\(\star \)-invertible if and only if \(D\) is \(\widetilde{\star }\)-Noetherian, \(\widetilde{\star }\)-\(\dim(D)=1\), and \(D\) is quasi-\(\widetilde{ \star }\)-integrally closed if and only if, for each nonzero ideal \(I\) of \(D\), \(I^{\widetilde{\star }}\) is a \(\widetilde{\star }\)-product of prime quasi-\( \star _{s}\)-ideals. The paper also considers \(\star \)-Noetherian domains and \(\star \)-almost Dedekind domains (with the obvious definition).