Preimage of a maximal ideal.

Solution 1:

To remove this from the unanswered queue, I am copying the comment of Tobias Kildetoft above.

You need the map to be surjective to use the isomorphism theorem like that. You only get that the quotient is isomorphic to the image of h in general.