部分群の指数

数学、とくに群論において、群 "G" における部分群 "H" の指数 (index) は "G" における "H" の「相対的な大きさ」である。同じことだが、"G" を埋め尽くす "H" の「コピー」（剰余類) の個数である。例えば、"H" が "G" において指数 2 をもてば、直感的には "G" の元の「半分」は "H" の元である。"H" の "G" における指数は通常 |"G" : "H"| あるいは ["G" : "H"] あるいは ("G":"H") で表記される。
正式には、"H" の "G" における指数は "H" の "G" における剰余類の個数として定義される。（"H" の "G" における左剰余類の個数はつねに右剰余類の個数と等しい。）例えば、Z を整数のなす加法群とし、2Z を偶数全体からなる Z の部分群とする。すると 2Z は Z において2つの剰余類（すなわち偶数全体と奇数全体）をもち、したがって 2Z の Z における指数は 2 である。一般化すると、任意の正の整数 "n" に対して
である。
"N" が "G" の正規部分群であれば、"G" における "N" の指数はまた商群 "G" / "N" の位数にも等しい、なぜならばこれは "G" における "N" の剰余類の集合における群構造の言葉で定義されるからである。
"G" が無限であれば、部分群 "H" の指数は一般には 0 でない基数になる。上の例が示すように、それは有限 - つまり、正の整数 - かもしれない。
"G" と "H" が有限群であれば、"H" の "G" における指数は 2 つの群の位数の商に等しい：
これはラグランジュの定理であり、この場合商は必ず正の整数である。
無限指数.
"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" の部分群は正規であるという結果の別証明や、素数指数の部分群の他の性質は において与えられる。
例.
上記の考察は有限群に対しても正しい。例えば、掌性 O は 24 個の元をもつ。位数 8 の二面体部分群 D4 をもち（実は 3 つのそのようなものをもち）したがって O における指数 3 の部分群をもち、これを "H" と呼ぶことにしよう。この二面体群は 4 元からなる D2 部分群をもち、これを "A" と呼ぼう。"H" の右剰余類の任意の元を右に "A" の元によって掛けることは "H" の同じ剰余類の元を与える ("Hca = Hc")。"A" は O において正規である。対称群 S3 の 6 個の元に対応して "A" の 6 個の剰余類が存在する。"A" の任意の特定の剰余類からのすべての元は "H" の剰余類の同じ置換を演じる。
一方、 Th もまた 24 個の元をもち指数 3 の部分群（今回は D2h の群、三次元における点群参照）をもつが、この場合部分群全体が正規部分群である。特定の剰余類のすべての元これらの剰余類の同じ置換を実行するが、この場合 6 元からなる S3 対称群において 3 元からなる交代群しか表現しない。
素数冪の指数の正規部分群.
素数冪の指数の正規部分群は"p"-群への全射写像の核であり（の項に述べたような、として精緻化される）面白い構造をもつ。
素数冪の指数の3つの重要な正規部分群が存在し、それぞれあるクラスで最小の正規部分群である：
これらは群 "K" についてのより弱い条件であるから、次の包含を得る
これらの群はシロー部分群 () と transfer homomorphism にそこで議論されているように重要な関係がある。
幾何学的構造.
初等的な観察は指数 2 のちょうど 2 つの部分群をもてないということである、なぜならばそれらの対称差の補集合は 3 番目を生むからである。これは上記の議論の単純な系である（すなわち基本アーベル群のベクトル空間構造の
そしてさらに、"G" はこの幾何学に作用しないし非アーベル構造のどんなことも反映しない（両方の場合においてなぜならば商はアーベルだから）。
しかしながら、それは初等的な結果であり、次のように具体的に確かめられる：与えられた指数 "p" の正規部分群の集合は射影空間をなす、すなわち射影空間
詳しく言えば、"G" から位数 "p" の（巡回）群への準同型の空間 formula_18 は有限体 formula_19 上のベクトル空間である。非自明なそのような写像は核として指数 "p" の正規部分群をもち、 formula_20 の元（mod "p" で 0 でない元）を写像に掛けることは核を変えない。したがって
から指数 "p" の正規部分群への写像を得る。逆に、指数 "p" の正規部分群は「どの剰余類が formula_22 に写るか」の選択を除いて formula_23 への非自明な写像を決定し、これはこの写像が全単射であることを示している。
その結果、指数 "p" の正規部分群の数はある "k" に対して
である。formula_25 は指数 "p" の正規部分群と対応しない。さらに、指数 "p" の 2 つの異なる正規部分群が与えられると、 formula_26 個のそのような部分群からなる射影直線を得る。
formula_27 に対して、（必ず正規である）指数 2 の 2 つの異なる部分群の対称差はこれらの部分群を含む射影直線上の第三の点を与え、群は formula_28 個の指数 2 の部分群を含まなければならない – 例えばちょうど 2 個や 4 個の指数 2 の部分群を含むことはできない。