Star Operations on Overrings and Semistar Operations

From MaRDI portal





Throughout \(D\)\ is an integral domain with identity having quotient field \(K\). Recall that a closure operation \(\star \) on the set of nonzero \(D\)-submodules (fractional ideals of \(D\)) of \(K\) is a semistar (star) operation on \(D\) if \((xE)^{\star }=xE^{\star }\) for all nonzero \(x\in K\) and submodules (fractional ideals) \(E\) (and \(D^{\star }=D\)). Semistar operations were introduced by \textit{A. Okabe} and \textit{R. Matsuda} [Math. J. Toyama Univ. 17, 1--21 (1994; Zbl 0839.13003)] and have since been studied by many authors. Let \(\star _{1}\)and \(\star _{2}\) be two semistar operations on \(D\). Then their function composition \(\star _{1}\star _{2}\) is an operation on the \(D\)-submodules of \(K\)\ which satisfies the properties of being a semistar operation except that we need not have \((E^{\star _{1}\star _{2}})^{\star _{1}\star _{2}}=E^{\star _{1}\star _{2}}\). The author considers conditions guaranteeing that the composition \(\star =\star _{1}\star _{2}\) is a semistar operation and determines certain properties of \(\star \) in the case that it is a semistar operation. For example, if \ \( \star _{1}\) and \(\star _{2}\) are of finite character or stable so is \(\star \). Suppose that \(T\) \ is an overring of \(D\). Already Okabe and Matsuda had observed that we get a semistar operation \(\star _{\iota }\) on \(T\) \ by taking \(E^{\star _{\iota }}=E^{\star }\) and a semistar operation \(\star ^{\iota }\) on \(D\) \ by taking \(E^{\star ^{\iota }}=(ET)^{\star }\). These two semistar operations are studied in some detail and it is shown that a (semi)star operation \(\star \) on \(D\)\ has the form \(\star =\ast ^{\iota }\) for some (semi)star operation \(\ast \) on \(D^{\star }\). The paper ends with some applications of these results. For example, it is shown that every semistar operation on a Prüfer domain \(D\) is of finite type if and only if \(D\)\ is a strongly discrete valuation domain.




Cited in
(45)








This page was built for publication: Star Operations on Overrings and Semistar Operations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5466674)