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.

We study the G-dimension over local ring homomorphisms with respect to a semi-dualizing complex. Some results that track the behavior of Gorenstein properties over local ring homomorphisms under composition and decomposition are given. As an application, we characterize a dualizing complex for $R$ in terms of the finiteness of the G-dimension over local ring homomorphisms with respect to a semi-dualizing complex.

Let $\Gamma$ be a ring extension of $R$. We show the left $\Gamma$-module $U=\Gamma {\otimes }_{R}C$ with the endmorphism ring End${}_{\Gamma }U=\Delta$ is a generalized tilting module when ${}_{R}C$ is a generalized tilting module under some conditions.