Index of a subgroup