Semistar-operations of finite character on integral domains (Q557057): Difference between revisions

Let \(D\) be an integral domain with quotient field \(K\) and let \( \overline{F}(D)\) be the set of nonzero \(D\)-submodules of \(K\). Recall that a semistar operation \(\ast \) on \(D\) is a closure operator on \(\overline{F }(D)\) that satisfies \((xE)^{\ast }=xE^{\ast }\) for all nonzero \(x\in K\) and \(E\in \overline{F}(D)\) and that \(\ast \) has finite character if \( E^{\ast }=\bigcup \{F^{\ast }\mid F\subseteq E,F\in \overline{F}(D)\) is finitely generated\(\}\). Let \(\overline{F}^{\ast }(D)=\{E^{\ast }\mid E\in \overline{F}(D)\}\). Given a family \(\mathcal R\) \(=\{(D_{\alpha },\ast _{\alpha })\}\) of overrings of \(D\) where \(\ast _{\alpha }\) is a semistar operation on \(D_{\alpha }\), the map \(\ast _{\mathcal R}\) given by \(E\mapsto \bigcap (ER_{\alpha })^{\ast _{\alpha }}\) is a semistar operation of \(D\). In the case where the family consists of a single overring \(T\) and the semistar operation on \(T\) is given by \(E\mapsto ET\) we write \(\ast _{[ T]}\) for \(\ast _{\mathcal R}\). Conditions are given for \(\ast _{\mathcal R}\) to be of finite character. It is shown that an integrally closed domain \(D\) is a Prüfer domain if and only if \(\overline{F}^{\ast }(D)=\overline{F}(D^{\ast })\) for each finite character semistar operation \(\ast \) on \(D\). It is further shown that for a domain \(D\) each semistar operation \(\ast \) is defined by an overring, that is, \(\ast =\ast _{D^{\ast }}\), if and only if \(D\) is conducive and each overring of \(D\) is divisorial. It is also shown that the number of semistar operations on a nonlocal domain \(D\) is at least \(3+\dim D\) and the domains where we have equality are characterized as are the domains (necessarily local) that have exactly \( 2+\dim D\) semistar operations.