Direct sum of groups