Characterizing almost Prüfer v-multiplication domains in pullbacks (Q657351): Difference between revisions

Let \(I\) be an ideal of an integral domain \(T\), let \(\varphi :T\rightarrow T/I\) be the natural map, let \(D\) be an integral domain contained in \(T/I\), and let \(k\) be the quotient field of \(D\). Then \( R=\varphi ^{-1}(D)\) is a pullback of type (\(\Delta \)). If actually \( k\subseteq T/I\) we say type (\(\Delta ^{\prime }\)) and if \(I\) is prime and \(D\) and \(T/I\) have the same quotient field we say type (\(\Delta ^{\ast }\)). If \(I \) is a maximal ideal we refer to a pullback of type (\(\Delta \)) as type (\( \Delta _{M}\)) and a pullback of type (\(\Delta ^{\prime }\)) and type (\(\Delta _{M}\)) as type (\(\Delta _{M}^{\prime }\)). Recall that an integral domain \(D\) is an almost Prüfer (AP-) domain (resp., almost PVMD\ (APVMD), almost valuation (AV-) domain) if for nonzero \(a,b\in D\) there is a natural number \( n=n(a,b)\) with \((a^{n},b^{n})\) invertible (resp., \((a^{n},b^{n})\) \(t\) -invertible, \(a^{n}|b^{n}\) or \(b^{n}|a^{n}\)). It is shown that for a pullback of type (\(\Delta _{M}\)), \(R\) is an\ APVMD\ if and only if \(D\) and \(T \) are APVMDs, \(T_{M}\)\ is an AV-domain and the extension \(k\subseteq T/M\) is a root extension. For a pullback of type (\(\Delta ^{\prime }\)) assume that \(T \) is an AV-domain. Then \(R\) is an APVMD (resp., AP-domain) if and only if \(D\) is an APVMD (resp., AP) domain and the extension \(k\subseteq T/I\) is a root extension. Finally for a pullback of type (\(\Delta ^{\ast }\)), assume that \( T=(I_{v}:I_{v})\). Then \(R\) is an APVMD if and only if \(T\) is an APVMD and \( T_{I}\) is an AV-domain and for each nonzero prime ideal \(Q\) of \(D\), either (1) \(D_{Q}\) and \(T_{\varphi ^{-1}(D\backslash Q)}\) are AV-domains, or (2) there is a finitely generated ideal \(A\)\ of \(D\) such that \(A\subseteq Q\), \( A^{-1}\cap (T/I)=D\), and (\(\varphi ^{-1}(Q)T)_{t}=T\).