Contraction of an ideal
(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.