-нан -ҡа бөтә төркөм гомоморфизмдарының гомоморфизмдары күмәклеге  үҙе Абель төркөмө булып тора. Ысынлап та, xa0— Абель төркөмдәре араһында ике төркөмдәр гомоморфизмы булһын, ул саҡта уларҙың  булараҡ бирелгән суммаһы , шулай уҡ гомоморфизм була (әгәр  коммутатив төркөм булмаһа, был дөрөҫ түгел).