FMR-rings in some distinguished constructions (Q6161916)

Let \(R\) be a commutative ring with unit. Then \(R\) is called an FMR-ring if for each maximal ideal \(M\) of \(R\), the field \(R/M\) is finite. This paper is devoted to the transfer of the FMR-ring property to the trivial ring extension and to the bi-amalgamated algebra. The main results can be summarized as follows; The case of the trivial ring extension: Let \(R\) be a commutative ring and \(E\) be an \(R\)-module. Then \(R\propto E\) is an FMR-ring if and only if so is \(R\). The case of the bi-amalgamated algebra: Let \(f:A\to B\) and \(g:A\to C\) be two ring homomorphisms, and let \(J\) and \(J'\) be two ideals of \(B\) and \(C\), respectively, such that \(f^{-1}(J)=g^{-1}(J')\). Then \(A\bowtie^{(f,g)}(J,J')\) is an FMR-ring if and only if so are \(f(A)+J\) and \(g(A)+J'\). If, in addition, \(f\) and \(g\) are surjective, then \(A\bowtie^{(f,g)}(J,J')\) is an FMR-ring if and only if so are \(B\) and \(C\).