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)


 * Please don't, though, till we've had a chance to look at them. --prime mover (talk) 12:14, 9 March 2018 (EST)