A note on amalgamated rings along an ideal (Q2232080)

This paper presents elementary arguments which extend results on amalgamated algebras along an ideal [\textit{M. D'Anna} et al., in: Commutative algebra and its applications. Proceedings of the fifth international Fez conference on commutative algebra and applications, Fez, Morocco, 2009. Berlin: Walter de Gruyter. 155--172 (2009; Zbl 1177.13043)] and, semicommutativity of amalgamated rings [\textit{H. Kose} et al., J. Math. Res. Appl. 38, No. 4, 366--376 (2018; Zbl 1424.16071)] to non-commutative setting; and also gives new properties of amalgamated rings. A class \(\mathcal{R}\) of rings is: \begin{itemize} \item[a)] Closed under extensions, if the following implication holds: \(I\) ideal of \(A\), \(I\in \mathcal{R}\) and \(A/I\in \mathcal{R}\) implies that \(A\in \mathcal{R}\). \item[b)] Homomorphically closed, if every homomorphic image of a ring from \(\mathcal{R}\) is in \(\mathcal{R}\). \item[c)] Closed under subrings, if every subring of a ring belonging to \(\mathcal{R}\) is in \(\mathcal{R}\). \item[d)] Hereditary, if \(I\) ideal of \(A\in \mathcal{R}\) implies that \(I\in \mathcal{R}\). \end{itemize} The main results are: Theorem 2.4. Assume \(A\bowtie^{f} J\) is a proper amalgamated ring and \(\mathcal{R}\) is the class of rings closed under extensions and subrings. Then the following conditions are equivalent: \begin{itemize} \item[i)] \(A\bowtie^{f} J\in \mathcal{R}\), \item[ii)] \(\in \mathcal{R}\) and \(J\in \mathcal{R}\). \end{itemize} Theorem 2.5. Assume \(A\bowtie^{f}J\) is a proper amalgamated ring and \(\mathcal{R}\) is the class of rings closed under extensions, homomorphically closed and hereditary. Then the following conditions are equivalent: \begin{itemize} \item[i)] \(A\bowtie^{f}J\in \mathcal{R}\), \item[ii)] \(A\in \mathcal{R}\) and \(B\in \mathcal{R}\). \end{itemize}