The \(A + X B [X]\) construction from Prüfer \(v\)-multiplication domains (Q2515619): Difference between revisions

The main results of this paper are clearly presented in its abstract: ``Let \(A\subseteq B\) be an extension of integral domains, \(X\) be an indeterminate over \(B\), and \(R = A + XB[X]\). We prove that if \(B\) is \(t\)-flat over \(A\), then \(R\) is a P\(v\)MD if and only if \(A\) is a P\(v\)MD and \(B = A_{\mathfrak S}\) for \({\mathfrak S}\) a \(t\)-splitting set of ideals of \(A\). We also prove that \(R\) is a GGCD domain if and only if \(A\) is a GGCD domain and \(B = A_{\mathfrak S}\) for \({\mathfrak S}\) a \(d\)-splitting set of ideals of \(A\). Finally, we use this result to recover that \(R\) is a GCD domain if and only if \(A\) is a GCD domain and \(B = A_S\) for some splitting set \(S\) of \(A\).'' Recall that an integral domain \(D\) is a P\(v\)MD (Prüfer \(v\)-multiplication domain) if \(R_P\) is a valuation domain for each maximal t-ideal \(P\) of \(D\), where \(v\) is the star operation on \(D\) defined by \(I_v=(I^{-1})^{-1}\) for each fractional ideal \(I\) of \(D\), and \(t\) the star operation of finite type induced by \(v\). Even if the definition of t-flat overring is only needed in this paper, it would have been interesting to define t-flat extension of integral domains. This article uses and improves some results published in the following paper [\textit{D. F. Anderson} and \textit{D. Nour El Abidine}, J. Pure Appl. Algebra 159, No. 1, 15--24 (2001; Zbl 1004.13004)].