當 
是環同態 且 
是 
中的一個理想時，則 
是 
中的一個理想，稱為 
的收縮，有時記為 
。
素理想的收縮總是素理想。例如，考慮 ![f:Z->Z[sqrt(2)]](/images/equations/IdealContraction/Inline8.svg)
。那麼 
的收縮是偶整數的理想。
理想收縮
另請參閱
代數數論, 理想, 理想擴張, 素理想, 環此條目由 Todd Rowland 貢獻
使用 探索
參考文獻
Bonsall, F. F. and Duncan, J. Complete Normed Algebras. 紐約: Springer-Verlag, 1973年。在 中引用
理想收縮引用為
Rowland, Todd. "Ideal Contraction." 來自 --一個 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/IdealContraction.html