"h" の左剰余類の個数を、 "g" における "h" の指数と言い、["g" : "h"]で表す。