Divisorial ideals in the power series ring \(A + XB \llbracket X \rrbracket\) (Q6587097)

Let \(A\) be an integral domain with quotient field \(K\). Let \(\mathcal{F}(A)\) be the set of nonzero fractional ideals of \(A\). For an \(I\in \mathcal{F}(A)\), set \(I^{-1}=\{x\in K \mid xI\subseteq A\}\). The mapping on \(\mathcal{F}(A)\) defined by \(I\mapsto I_v=(I^{-1})^{-1}\) is called the \(v\)-operation on \(A\). A nonzero fractional ideal \(I\) is said to be a \textit{\(v\)-ideal} or \textit{divisorial} if \(I=I_v\), and \(I\) is said to be \textit{\(v\)-invertible} if \((II^{-1})_v=A\).\N\NLet \(A\subseteq B\) be an extension of integral domains, \(B[\![X]\!]\) be the power series ring over \(B\), and \(R=A + XB[\![X]\!]\) be a subring of \(B[\![X]\!]\). In the paper under review, the author gave a complete description of \(v\)-invertible \(v\)-ideals (with nonzero trace in \(A\)) of \(R\). He showed that if \(B\) is a completely integrally closed domain and \(I\) is a fractional divisorial \(v\)-invertible ideal of \(R\) with nonzero trace over \(A\), then \(I = u(J_1 + XJ_2[\![X]\!])\) for some \(u\in qf(R)\), \(J_2\) an integral divisorial \(v\)-invertible ideal of \(B\) and \(J_1\subseteq J_2\) a nonzero ideal of \(A\).