[1] [[群]] [CODE(math)[[VAR[G]]]] の[[部分群]] [CODE(math)[[VAR[H]]]] による[[剰余類]]の個数 [CODE(math)[([VAR[G]]:[VAR[H]])]] を、 [CODE(math)[[VAR[G]]]] における [CODE(math)[[VAR[H]]]] の[DFN[[RUBYB[指数][index]]]]といいます。