Product of subgroups