On amply strong semistar domains
Let \(D\) be an integral domain with quotient field \(K\). An integral domain which lies between \(D\) and \(K\) is called an overring of \(D\). Let \(\mathbf{K}(D)\) and \(\mathbf{f}(D)\) denote the set of all non-zero \(D\)-submodules of \(K\) and the set of all finitely generated elements of \(\mathbf{K}(D)\), respectively. A map \(E\mapsto E^*\) of \(\mathbf{K}(D)\) into \(\mathbf{K}(D)\) is called a semistar operation if the following conditions hold for all \(a\in K-\{0\}\) and \(E\), \(F\in \mathbf{K}(D)\): \((S_1)\) \((aE)^*=aE^*\); \((S_2)\) If \(E\subseteq F\), then \(E^*\subseteq F^*\); \((S_3)\) \(E\subseteq E^*\) and \((E^*)^*=E^*\). For an overring \(T\) of \(D\), if one sets \(E^{*_{(T)}}=ET\) for each \(E\in \mathbf{K}(D)\), then the semistar operation \(*_{(T)}\) on \(D\) is said to be of overring type. An integral domain \(D\) is called an amply strong semistar domain (for short, ASSD) if every semistar operation on \(D\) is of overring type. The author reviews basic properties of ASSD and establishes new ones. He introduces the following notion: An integral domain \(D\) is called a fully stable semistar domain (for short, FSSD) if every semistar operation on \(D\) is stable. It is shown that every integrally closed ASSD (or equivalently, Prüfer ASSD) is an FSSD. Also, every localizing system \(\mathcal{F}\) of an ASSD is of overring type, that is, \(\mathcal{F}\) is the set of all non-zero integral ideals \(I\) of \(D\) such that \(IT=T\) for some overring \(T\) of \(D\). A semistar operation on \(D\) is said to be arithmetisch brauchbar (for short, a.b.) if for all \(E\in \mathbf{f}(D)\) and all \(F,G\in \mathbf{K}(D)\), \((EF)^*\subseteq (EG)^*\) implies \(F^*\subseteq G^*\). The author calls an integral domain \(D\) ABSD if every semistar operation on \(D\) is a.b. and shows that every Prüfer ASSD is ABSD.
This page was built for publication: On amply strong semistar domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5694348)
