t-splitting multiplicative sets of ideals in integral domains (Q1772256)

Let \(D\) be an integral domain. In this paper the authors study the \(t\)-splitting multiplicative sets of ideals of \(D\), i.e. the multiplicative sets of ideals \(\mathcal S\) with the property that every nonzero principal ideal \(dD\) can be written as \(dD = (AB)_t\) with \(A, B\) ideals of \(D\), such that \(A\) contains some ideal of \(\mathcal S\) and \(B\) has the property that \((B+C)_t = D\), for all \(C \in \mathcal S\). The purpose of this work is to extend to the case of \(t\)-splitting multiplicative sets of ideals some of the results proven by \textit{D. D. Anderson, D. F. Anderson} and \textit{M. Zafrullah} [``The ring \(D+XD_S[X]\) and \(t\)-splitting sets'', Arab. J. Sci. Eng., Sect. C, Theme Issue 26, 3--16 (2001)] and by \textit{G. W. Chang, T. Dumitrescu} and \textit{M. Zafrullah} [``\(t\)-splitting sets in integral domains'', J. Pure Appl. Algebra 187, No.1--3, 71--86 (2004; Zbl 1092.13003)] for \(t\)-splitting multiplicative subsets of \(D\). One of the main results obtained here is a decomposition of the ordered monoid \(T(R)\) of fractional \(t\)-ideals of an integral domain \(D\) (with respect to the \(t\)-product) using a \(t\)-splitting set of ideals \(\mathcal S\) of \(D\) (and the \(t\)-complement \(\mathcal S^{\perp}\) of \(\mathcal S\)) and the property that \(D = D_{\mathcal S} \cap D_{\mathcal S^{\perp}}\).