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)

I've assessed the pages regarding ring epis and moved the relevant ones mutatis mutandis. — Lord_Farin (talk) 09:37, 12 May 2018 (EDT)