Associated prime ideals of the amalgamated algebra (Q2682777)

Let \(R\) and \(S\) be commutative rings with unity, \(J\) an ideal of \(S\), and \(f:R\longrightarrow S\) a ring homomorphism. In this paper, the author determines the set of associated prime ideals of amalgamated algebra \(R\bowtie^{f} J\), when \(f\) is surjective. Let \(\mathcal{A}_{1}:= \{p\bowtie^{f}J \mid p\in \mathrm{Ass}(R)\}\); \(\mathcal{A}_{2} := \{p\bowtie^{f}J \mid p\in \mathrm{Ass}_{R}(J ) \cap V( f^{-1}(J ))\}\) and \(\mathcal{A}_{3} := \{\bar{q}^{f}=\{(a, f(a)+j), f(a)+j\in q | q\in \mathrm{Ass}(S)\setminus V(J )\}\). The main results asserts that if \(f: R\longrightarrow S\) is a surjective ring homomorphism, then \(\mathrm{Ass}(R\bowtie^{f} J ) = \mathcal{A}_{1}\cup \mathcal{A}_{2}\cup \mathcal{A}_{3}\). As an application, he characterizes when the zero-divisor graph of amalgamations is a (complete) bipartite graph. It turns out that \(\Gamma(R\bowtie^{f} J)\) is bipartite if and only if \(0\bowtie^{f} J\) and \(\bar{q}^{f}\) are the only associated prime ideals of \(R\bowtie^{f} J\), where \(\mathrm{Ass}(S)\setminus V(J ) = \{q\}\) and \(q\cap J = 0\).