直和項

給定加法阿貝爾群的直和 , 和 被稱為直和項。對映 由 定義，被稱為第一個直和項的注入，對映 由 定義，被稱為到第一個直和項的投影。類似的對映 為第二個直和項 定義。

上述定義自然地擴充套件到兩個以上阿貝爾群的直和。