Si "G" es finito, este índice es igual a |"G"|/|"N"|; es posible, sin embargo, "G"/"N" puede ser finito, aunque "G" y "N" sean ambos infinitos (ejemplo: Z/2Z).