Это понятие было оправдано в § 9 ири помощи колец эндоморфизмов абелевых групп, которые возникли ввиду того, что гомоморфизмы любой группы ( на самом деле даже любой алгебры, однотипной с группой) в абелеву группу составляют по сложению гомоморфизмов абелеву группу.