A direct summand of a group direct sum of additive Abelian
groups is either of the factors
or
. The map
defined by
is called the injection of the first summand, and the map
defined by
is called the projection onto the first summand. Similar maps
are defined for the second summand
.
The above definitions extend in a natural way to the group direct sums of more than two Abelian groups.