extension in Catalan

(ring theory, of an ideal in the domain of a ring homomorphism) The ideal in the codomain generated by the image of the given ideal under the given homomorphism.