Description: Define subgroup sum (inner direct product of subgroups). (Contributed by NM, 28-Jan-2014)