Extension and contraction of ideals (source code)

= Extension and contraction of ideals
{wiki=Extension_of_ideals}

A ring homomorphism transports ideals forward by extension and backward by inverse image, or contraction.