当 
是环同态 且 
是 
中的一个理想时，则 
是 
中的一个理想，称为 
的收缩，有时记为 
。
素理想的收缩总是素理想。例如，考虑 ![f:Z->Z[sqrt(2)]](/images/equations/IdealContraction/Inline8.svg)
。那么 
的收缩是偶整数的理想。
理想收缩
另请参阅
代数数论, 理想, 理想扩张, 素理想, 环此条目由 Todd Rowland 贡献
使用 Wolfram|Alpha 探索
参考文献
Bonsall, F. F. and Duncan, J. Complete Normed Algebras. 纽约: Springer-Verlag, 1973年。在 Wolfram|Alpha 中引用
理想收缩引用为
Rowland, Todd. "Ideal Contraction." 来自 MathWorld--一个 Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/IdealContraction.html