Contraction of an ideal (source code)

= Contraction of an ideal
{title2=$J^c$}

= Contractions of ideals
{synonym}

For a ring homomorphism $f:R\to A$ and an ideal $J\subseteq A$, its contraction is $J^c=f^{-1}(J)$.