You searched for direct sum of groups