1. The problem statement, all variables and given/known data f:A->A/I is a ring homomorphism. Does f^-1 take maximal ideas of A/I to maximal ideals of A? 3. The attempt at a solution I think it does, since there is a bijection between A and A/I preserving subsets-ordering. But f might not be that bijection.