Products of subgroups of abstract finite groups Abstract finite groups mathematics