部分群の指数のソースを表示

[[数学]]、とくに[[群論]]において、群 ''G'' における[[部分群]] ''H'' の'''指数''' (index) は ''G'' における ''H'' の「相対的な大きさ」である。同じことだが、''G'' を埋め尽くす ''H'' の「コピー」（剰余類) の個数である。例えば、''H'' が ''G'' において指数 2 をもてば、直感的には ''G'' の元の「半分」は ''H'' の元である。''H'' の ''G'' における指数は通常 |''G''&nbsp;:&nbsp;''H''| あるいは <nowiki>[</nowiki>''G''&nbsp;:&nbsp;''H''<nowiki>]</nowiki> あるいは (''G'':''H'') で表記される。

正式には、''H'' の ''G'' における指数は ''H'' の ''G'' における[[剰余類]]の個数として定義される。（''H'' の ''G'' における左剰余類の個数はつねに右剰余類の個数と等しい。）例えば、'''Z''' を整数のなす[[加法]]群とし、2'''Z''' を[[偶奇性|偶数]]全体からなる '''Z''' の部分群とする。すると 2'''Z''' は '''Z''' において2つの剰余類（すなわち偶数全体と奇数全体）をもち、したがって 2'''Z''' の '''Z''' における指数は 2 である。一般化すると、任意の正の整数 ''n'' に対して
:<math>|\mathbf{Z}:n\mathbf{Z}| = n</math>
である。

''N'' が ''G'' の[[正規部分群]]であれば、''G'' における ''N'' の指数はまた[[商群]] ''G''&nbsp;/&nbsp;''N'' の位数にも等しい、なぜならばこれは ''G'' における ''N'' の剰余類の集合における群構造の言葉で定義されるからである。

''G'' が無限であれば、部分群 ''H'' の指数は一般には 0 でない[[基数]]になる。上の例が示すように、それは有限 - つまり、正の整数 - かもしれない。

''G'' と ''H'' が[[有限群]]であれば、''H'' の ''G'' における指数は 2 つの群の[[位数 (群論)|位数]]の[[除法|商]]に等しい：
:<math>|G:H| = \frac{|G|}{|H|}.</math>
これは[[ラグランジュの定理 (群論)|ラグランジュの定理]]であり、この場合商は必ず正の[[整数]]である。

==性質==
* ''H'' が ''G'' の部分群で ''K'' が ''H'' の部分群であれば、
::<math>|G:K| = |G:H|\,|H:K|.</math>
* ''H'' と ''K'' が ''G'' の部分群であれば、
::<math>|G:H\cap K| \le |G : H|\,|G : K|,</math>
: ''HK''&nbsp;=&nbsp;''G'' ならば等号成立。（ |''G''&nbsp;:&nbsp;''H''&nbsp;&cap;&nbsp;''K''| が有限であれば、等号成立 ⇔ ''HK''&nbsp;=&nbsp;''G''。）
* 同じことだが、''H'' と ''K'' が ''G'' の部分群であれば、
::<math>|H:H\cap K| \le |G:K|,</math>
: ''HK''&nbsp;=&nbsp;''G'' ならば等号成立。（ |''H''&nbsp;:&nbsp;''H''&nbsp;&cap;&nbsp;''K''| が有限であれば、等号成立 ⇔ ''HK''&nbsp;=&nbsp;''G''。）
* ''G'' と ''H'' が群で ''φ'':&nbsp;''G''&nbsp;→&nbsp;''H'' が[[準同型]]であれば、''φ'' の[[核 (代数学)|核]]の ''G'' における指数は像の位数に等しい：
::<math>|G:\operatorname{ker}\;\varphi|=|\operatorname{im}\;\varphi|.</math>
* ''G'' を[[集合]] ''X'' に[[群の作用|作用している]]群とし、''x''&nbsp;∈&nbsp;''X'' とする。このとき ''G'' のもとでの ''x'' の[[群作用#軌道と等方部分群|軌道]]の[[濃度 (数学)|濃度]]は ''x'' の[[固定部分群]] ([[:en:stabilizer subgroup|stabilizer]]) の指数に等しい：
::<math>|Gx| = |G:G_x|.\!</math>
:これは [[:en:orbit-stabilizer theorem|orbit-stabilizer theorem]] として知られている。
* orbit-stabilizer theorem の特別な場合として、元 ''x''&nbsp;∈&nbsp;''G'' [[共役類|共役]] ''gxg''<sup>&minus;1</sup> の個数は ''G'' における ''x'' の[[中心化群]]の指数に等しい。
* 同様に、''G'' において部分群 ''H'' の共役 ''gHg''<sup>&minus;1</sup> の個数は ''G'' における ''H'' の[[正規化群]]の指数に等しい。
* ''H'' が ''G'' の部分群であれば、''H'' の[[核 (群論)|正規核]]の指数は以下の不等式を満たす：
::<math>|G:\operatorname{Core}(H)| \le |G:H|!</math>
:ただし ! は[[階乗]]関数を表す。これは[[#有限指数|以下で]]さらに議論される。
:* 系として、''G'' における ''H'' の指数が 2 であれば、あるいは有限群に対して ''G'' の位数を割り切る最小の素数 ''p'' であれば、''H'' は正規である、なぜならばその核の指数もまた ''p'' でなければならず、したがって ''H'' はその核に等しい、すなわち正規である。
:* 最小素数の部分群は存在しないかもしれないことに注意しよう。例えば非素数位数の任意の[[単純群]]やより一般に任意の [[:en:perfect group]]。

==例==
* [[交代群]] <math>A_n</math> は[[対称群]] <math>S_n</math> において指数 2 をもちしたがって正規である。
* [[特殊直交群]] ''SO''(''n'') は[[直交群]] ([[:en:orthogonal group|orthogonal group]]) ''O''(''n'') において指数 2 をもちしたがって正規である。
* [[自由アーベル群]] '''Z'''&nbsp;⊕&nbsp;'''Z''' は指数 2 の 3 つの部分群をもつ、すなわち
::<math>\{(x,y) \mid x\text{ is even}\},\quad \{(x,y) \mid y\text{ is even}\},\quad\text{and}\quad
\{(x,y) \mid x+y\text{ is even}\}</math>.
* より一般に、''p'' が[[素数]]であれば、'''Z'''<sup>''n''</sup> は (''p''<sup>''n''</sup>&nbsp;&minus;&nbsp;1) / (''p''&nbsp;&minus;&nbsp;1) 個の指数 ''p'' の部分群を ''p''<sup>''n''</sup>&nbsp;&minus;&nbsp;1 個の非自明な[[準同型]] '''Z'''<sup>''n''</sup>&nbsp;→&nbsp;'''Z'''/''p'''''Z''' に対応してもつ{{Citation needed|date=January 2010}}。
* 同様に、[[自由群]] ''F''<sub>''n''</sub> は ''p''<sup>''n''</sup>&nbsp;&minus;&nbsp;1 個の指数 ''p'' の部分群をもつ。
* {{仮リンク|無限二面体群|en|infinite dihedral group}}は指数 2 の[[巡回群|巡回部分群]]をもち、これは必ず正規である。

==無限指数==
''H'' が ''G'' において無限個の剰余類をもてば、''H'' の ''G'' における指数は無限であるという。この場合、指数 |''G''&nbsp;:&nbsp;''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'' の部分群は正規であるという結果の別証明や、素数指数の部分群の他の性質は {{Harv|Lam|2004}} において与えられる。

=== 例 ===
上記の考察は有限群に対しても正しい。例えば、掌性{{仮リンク|八面体群|en|octahedral symmetry}} '''O''' は 24 個の元をもつ。位数 8 の[[二面体群|二面体部分群]] D<sub>4</sub> をもち（実は 3 つのそのようなものをもち）したがって '''O''' における指数 3 の部分群をもち、これを ''H'' と呼ぶことにしよう。この二面体群は 4 元からなる D<sub>2</sub> 部分群をもち、これを ''A'' と呼ぼう。''H'' の右剰余類の任意の元を右に ''A'' の元によって掛けることは ''H'' の同じ剰余類の元を与える (''Hca = Hc'')。''A'' は '''O''' において正規である。[[対称群]] S<sub>3</sub> の 6 個の元に対応して ''A'' の 6 個の剰余類が存在する。''A'' の任意の特定の剰余類からのすべての元は ''H'' の剰余類の同じ置換を演じる。

一方、{{仮リンク|十二面体群|en|pyritohedral symmetry}} T<sub>h</sub> もまた 24 個の元をもち指数 3 の部分群（今回は D<sub>2h</sub> {{仮リンク|角柱対称性|en|prismatic symmetry}}の群、[[三次元における点群]]参照）をもつが、この場合部分群全体が正規部分群である。特定の剰余類のすべての元これらの剰余類の同じ置換を実行するが、この場合 6 元からなる  S<sub>3</sub> 対称群において 3 元からなる[[交代群]]しか表現しない。

==素数冪の指数の正規部分群==
[[素数冪]]の指数の正規部分群は[[p-群| ''p''-群]]への全射写像の核であり（[[:en:Focal subgroup theorem#Subgroups|Focal subgroup theorem: Subgroups]]の項に述べたような、{{仮リンク|焦点部分群定理|en|focal subgroup theorem}}として精緻化される）面白い構造をもつ。

素数冪の指数の3つの重要な正規部分群が存在し、それぞれあるクラスで最小の正規部分群である：
* '''E'''<sup>''p''</sup>(''G'') はすべての指数 ''p'' の正規部分群の共通部分である。''G''/'''E'''<sup>''p''</sup>(''G'') は[[基本アーベル群]]であり ''G'' が全射する最大の基本アーベル ''p''-群である。
* '''A'''<sup>''p''</sup>(''G'') は ''G''/''K'' がアーベル ''p''-群であるようなすべての正規部分群 ''K''（すなわち ''K'' は導来群 <math>[G,G]</math> を含む指数 <math>p^k</math> の正規部分群である）の共通部分である：''G''/'''A'''<sup>''p''</sup>(''G'') は ''G'' が全射する最大のアーベル ''p''-群（基本とは限らない）である。
* '''O'''<sup>''p''</sup>(''G'') は ''G''/''K'' が（非アーベルでもよい）''p''-群である（すなわち ''K'' は指数 <math>p^k</math> の正規部分群である）ような ''G'' のすべての正規部分群 ''K'' の共通部分である：''G''/'''O'''<sup>''p''</sup>(''G'') は ''G'' が全射する最大の ''p''-群（アーベルとは限らない）である。'''O'''<sup>''p''</sup>(''G'') は {{anchors|p-residual subgroup}}'''{{mvar|p}}-残余部分群''' ('''{{mvar|p}}-residual subgroup''') とも呼ばれる。
これらは群 ''K'' についてのより弱い条件であるから、次の包含を得る
:<math>\mathbf{E}^p(G) \supseteq \mathbf{A}^p(G) \supseteq \mathbf{O}^p(G).</math>

これらの群は[[シロー部分群]] ([[:en:Sylow subgroup|Sylow subgroup]]) と transfer homomorphism にそこで議論されているように重要な関係がある。

=== 幾何学的構造 ===
初等的な観察は指数 2 のちょうど 2 つの部分群をもてないということである、なぜならばそれらの[[対称差]]の[[補集合]]は 3 番目を生むからである。これは上記の議論の単純な系である（すなわち基本アーベル群のベクトル空間構造の{{仮リンク|射影化|en|Projectivization}}
:<math>G/\mathbf{E}^p(G) \cong (\mathbf{Z}/p)^k</math>),

そしてさらに、''G'' はこの幾何学に作用しないし非アーベル構造のどんなことも反映しない（両方の場合においてなぜならば商はアーベルだから）。

しかしながら、それは初等的な結果であり、次のように具体的に確かめられる：与えられた指数 ''p'' の正規部分群の集合は[[射影空間]]をなす、すなわち射影空間
:<math>\mathbf{P}(\operatorname{Hom}(G,\mathbf{Z}/p)).</math>

詳しく言えば、''G'' から位数 ''p'' の（巡回）群への準同型の空間 <math>\operatorname{Hom}(G,\mathbf{Z}/p)</math> は[[有限体]] <math>\mathbf{F}_p = \mathbf{Z}/p</math> 上のベクトル空間である。非自明なそのような写像は核として指数 ''p'' の正規部分群をもち、 <math>(\mathbf{Z}/p)^\times</math> の元（mod ''p'' で 0 でない元）を写像に掛けることは核を変えない。したがって
:<math>\mathbf{P}(\operatorname{Hom}(G,\mathbf{Z}/p)) :=  (\operatorname{Hom}(G,\mathbf{Z}/p))\setminus\{0\})/(\mathbf{Z}/p)^\times</math>

から指数 ''p'' の正規部分群への写像を得る。逆に、指数 ''p'' の正規部分群は「どの剰余類が <math>1 \in \mathbf{Z}/p</math> に写るか」の選択を除いて <math>\mathbf{Z}/p</math> への非自明な写像を決定し、これはこの写像が全単射であることを示している。

その結果、指数 ''p'' の正規部分群の数はある ''k'' に対して
:<math>(p^{k+1}-1)/(p-1)=1+p+\cdots+p^k</math>

である。<math>k=-1</math> は指数 ''p'' の正規部分群と対応しない。さらに、指数 ''p'' の 2 つの異なる正規部分群が与えられると、 <math>p+1</math> 個のそのような部分群からなる[[射影直線]]を得る。

<math>p=2</math> に対して、（必ず正規である）指数 2 の 2 つの異なる部分群の[[対称差]]はこれらの部分群を含む射影直線上の第三の点を与え、群は <math>0,1,3,7,15,\ldots</math> 個の指数 2 の部分群を含まなければならない – 例えばちょうど 2 個や 4 個の指数 2 の部分群を含むことはできない。

==関連項目==
* [[:en:Virtually]]（実質的）
* {{仮リンク|余次元|en|Codimension}}

==参考文献==
<!--{{Refimprove|date=January 2010}}-->
{{reflist}}
{{Refbegin}}
* {{ Citation | title = On Subgroups of Prime Index | first = T. Y. | last = Lam | journal = [[The American Mathematical Monthly]] | volume = 111 | number = 3 |date=March 2004 | pages = 256–258 | jstor = 4145135 | postscript =, [http://math.berkeley.edu/~lam/html/index-p.ps alternative download] }}
{{Refend}}

== 外部リンク ==
* {{PlanetMath | urlname = NormalityOfSubgroupsOfPrimeIndex | title = Normality of subgroups of prime index }}
* "[http://groupprops.subwiki.org/wiki/Subgroup_of_least_prime_index_is_normal Subgroup of least prime index is normal]" at [http://groupprops.subwiki.org/wiki/Main_Page Groupprops, The Group Properties Wiki]

{{DEFAULTSORT:ふふんくんのしすう}}
[[Category:群論]]
[[Category:数学に関する記事]]