direct sum of groups