Talk:Preimage of Ideal under Ring Homomorphism is Ideal

True for any homomorphisms
There is a whole group of pages here, based on Warner, that unnecessarily restricts to surjective ring morphisms (as Warner does). The proofs in the general case are exactly the same, literally. It is perfectly possible to simply rename them, replacing "epi" by "homo". --barto (talk) (contribs) 08:56, 9 March 2018 (EST)