Extension of an ideal

From Commalg
Jump to: navigation, search

Definition

Let f:R \to S is a homomorphism of commutative unital rings. Let I be an ideal inside R. The extension of I to S is defined as the ideal of S generated by the set-theoretic image f(I). When the map is understood, we denote the extension by I^e.