Prüfer property in amalgamated algebras along an ideal (Q2184185)

Let \(A\) and \(B\) be commutative rings and let \(J\) be an ideal of \(B\). Let \(f:A\to B\) be a ring homomorphism. In the paper under review, the authors study further the amalgamation of \(A\) with \(B\) along \(J\) with respect to \(f\) (denoted by \(A\bowtie^{f} J\) ). They give a characterization of zero divisors of the amalgamation. As the main result they prove the following: Theorem. Let \((A, \mathfrak{m})\) be a local ring, \(B\) be a ring, \(f : A\to B\) be a ring homomorphism and \(J\) be a nonzero proper ideal of \(B\) such that \(J\) is a subset of the Jacobson radical of \(B\). Assume that \(J \subseteq f (A)\) and \(f(\mathrm{Reg}(A)) =\mathrm{Reg}(B)\). Then \(A\bowtie^{f} J\) is Prüfer if and only if so is \(A\) and \(J = f (a)J\) for all \(a\in \mathfrak{m}\setminus Z(A)\).