כל מה שרצית לדעת על צמצום (תורת החוגים):
בתורת החוגים, צמצום הוא התכונה המאפשרת לצמצם מודול, כלומר להסיק מאיזומורפיזם   A ⊕ B ≅ A ⊕ B ′ {\displaystyle \ A\oplus B\cong A\oplus B'} את האיזומורפיזם   B ≅ B ′ {\displaystyle \ B\cong B'} .
צמצום עשוי להתקיים או שלא להתקיים בקטגוריה נתונה של מודולים.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לצמצום (תורת החוגים):
•תורת המודולים
•תורת החוגים
•סכום ישר