Bi-Amalgamated algebras along ideals

Let $f: A\rightarrow B$ and $g: A\rightarrow C$ be two commutative ring homomorphisms and let $J$ and $J'$ be two ideals of $B$ and $C$, respectively, such that $f^{-1}(J)=g^{-1}(J')$. The \emph{bi-amalgamation} of $A$ with $(B, C)$ along $(J, J')$ with respect to $(f,g)$ is the subring of $B\times C$ given by $$A\bowtie^{f,g}(J,J'):=\big\{(f(a)+j,g(a)+j') \mid a\in A, (j,j')\in J\times J'\big\}.$$ This paper investigates ring-theoretic properties of \emph{bi-amalgamations} and capitalizes on previous works carried on various settings of pullbacks and amalgamations. In the second and third sections, we provide examples of bi-amalgamations and show how these constructions arise as pullbacks. The fourth section investigates the transfer of some basic ring theoretic properties to bi-amalgamations and the fifth section is devoted to the prime ideal structure of these constructions. All new results agree with recent studies in the literature on D'Anna-Finocchiaro-Fontana's amalgamations and duplications.