Let $f:A\to B$ and $g:A\to C$ be two ring homomorphisms and let $J$ and $J^{\text{'}}$ be ideals of $B$ and $C$, respectively, such that $f^{-1}\left(J\right)=g^{-1}\left(J^{\text{'}}\right)$. In this paper, we investigate the transfer of the notions of Gaussian and Prüfer rings to the bi-amalgamation of $A$ with $(B,C)$ along $(J,J^{\text{'}})$ with respect to $(f,g)$ (denoted by $A{\bowtie }^{f,g}(J,J^{\text{'}})),$ introduced and studied by S. Kabbaj, K. Louartiti and M. Tamekkante in 2013. Our results recover well known results on amalgamations in C. A. Finocchiaro (2014) and generate new original examples of rings possessing these properties.

Let $A$ be a commutative ring and $𝒮$ a multiplicative system of ideals. We say that $A$ is $𝒮$-Noetherian, if for each ideal $Q$ of $A$, there exist $I\in 𝒮$ and a finitely generated ideal $F\subseteq Q$ such that $IQ\subseteq F$. In this paper, we study the transfer of this property to the polynomial ring and Nagata’s idealization.