Extension of an ideal (source code)

= Extension of an ideal
{title2=$I^e$}
{wiki=Extension_of_ideals}

For a ring homomorphism $f:R\to A$ and an ideal $I\subseteq R$, the extension $I^e=IA$ is the ideal of $A$ generated by $f(I)$.