On the set of \(t\)-linked overrings of an integral domain (Q1003157): Difference between revisions

Let \(R\) be an integral domain with quotient field \(K\). An overring \(T\) of \(R\) is said to be \(t\)-linked over \(R\) if \(I^{-1} = R\) implies \((T:IT) = T\) for each finitely generated ideal \(I\) of \(R\). Let \(O(R)\) (resp., \(O_t(R)\)) be the set of all overrings (resp., \(t\)-linked overrings) of \(R\). In this paper, the author studies several finiteness conditions on \(O_t(R)\). The author first shows that \(O_t(R) = O(R)\) when \(O_t(R)\) is finite and determines the finite-dimensional integral domains \(R\) with \(|O(R)| = n + \dim(R)\) for \(n = 1\) and \(2\), and for \(n = 3\) when \(R\) is not quasilocal. He then investigates some properties related to \(t\)-linked domains in several ``noetherian-like'' classes of integral domains. An ideal \(I\) of \(R\) is said to strongly divisorial if \(I = I_v = II^{-1}\); let \(SD(R)\) be the set of nonzero strongly divisorial ideals of \(R\). The author studies when the injective map \(\phi_R : SD(R) \longrightarrow O_t(R) \setminus \{ K \}\) given by\(\phi_R(I) = I^{-1} (= (I:I))\) is surjective. The paper ends with an investigation of integral domains that are \(t\)-linked under certain overrings, where an integral domain \(R\) is said to be \(t\)-linked under an overring \(T\) if \((T:IT) = T\) implies \(I^{-1} = R\) for each finitely generated ideal \(I\) of \(R\).