1.1 1

Yes. Since R'/\mathfrak m is a field, R/\varphi^{-1}(\mathfrak m) is a field, \varphi^{-1}(\mathfrak m) is a maximal ideal.

Leave a comment