Contraction of an ideal

From Commalg
(Redirected from Contraction)

Definition

Let be a homomorphism of commutative unital rings. Given an ideal in , the contraction of to is the full inverse image . When the map is understood, we denote the contraction simple as .

The contraction of an ideal is always an ideal.