added cosets and normal subgroups