# Canonical Ring Homomorphism

by Dragonfall
Tags: canonical, homomorphism, ring
 P: 244 Well if you're allowed to use the fact that f induces a bijection between the ideals of A containing I and the ideals of A/I that preserves inclusion, then that should be easy. Think about a maximal ideal $$M_{A}$$ containing $$f^{-1}(N_{A/I})$$ where $$N_{A/I}$$ is maximal in A/I.