部分群の指数
無限指数
H が G において無限個の剰余類をもてば、H の G における指数は無限であるという。この場合、指数 |G : H| は実は基数である。例えば、H の G における指数は H が G において可算個の剰余類をもつかどうかに応じて可算あるいは非可算かもしれない。H の指数は高々 G の位数でありこれは自明な部分群に対して、実は G の濃度よりも小さい無限濃度の任意の部分群 H に対して実現されることに注意しよう。
有限指数
無限群 G は有限指数の部分群 H をもつかもしれない（例えば整数全体の群において偶数全体の部分群）。そのような部分群はつねにまた有限指数の（G の）正規部分群 N を含む。実は、H が指数 n をもてば、N の指数は n! のある因子としてとることができる。実際、N はG から H の左（または右）剰余類の置換群への自然な準同型の核にとることができる。
特別な場合 n = 2 は指数 2 の部分群は正規部分群であるという一般的な結果を与える、なぜならば正規群（上の N）は指数 2 をもたなければならずそれゆえもとの部分群と同一でなければならない。より一般に、（G が有限であれば）p を G の位数の最小素因子として指数 p の部分群は必ず正規である、なぜならば N の指数は p! を割り切るので他の素因数をもたないから p に等しくなければならない。
指数が最小素数 p の部分群は正規であるという結果の別証明や、素数指数の部分群の他の性質は (Lam 2004) において与えられる。
例
上記の考察は有限群に対しても正しい。例えば、掌性八面体群 O は 24 個の元をもつ。位数 8 の二面体部分群 D₄ をもち（実は 3 つのそのようなものをもち）したがって O における指数 3 の部分群をもち、これを H と呼ぶことにしよう。この二面体群は 4 元からなる D₂ 部分群をもち、これを A と呼ぼう。H の右剰余類の任意の元を右に A の元によって掛けることは H の同じ剰余類の元を与える (Hca = Hc)。A は O において正規である。対称群 S₃ の 6 個の元に対応して A の 6 個の剰余類が存在する。A の任意の特定の剰余類からのすべての元は H の剰余類の同じ置換を演じる。
一方、十二面体群 Tₕ もまた 24 個の元をもち指数 3 の部分群（今回は D₂ₕ 角柱対称性の群、三次元における点群参照）をもつが、この場合部分群全体が正規部分群である。特定の剰余類のすべての元これらの剰余類の同じ置換を実行するが、この場合 6 元からなる S₃ 対称群において 3 元からなる交代群しか表現しない。