ケイリーの定理のソースを表示

{{For|グラフ理論におけるラベル付き頂点を持つ木の数|ケイリーの公式}}
[[群論]]における'''ケイリーの定理'''（ケイリーのていり、''Cayley's theorem''）とは、すべての[[群 (数学)|群]] {{mvar|G}} は[[対称群]]の[[部分群]]に[[群同型|同型]]であるとする定理である<ref>{{harvtxt|Jacobson|2009|p=38}}</ref>。[[アーサー・ケイリー]]にちなんで名付けられた。より具体的には、{{mvar|G}} は対称群 {{math|Sym(''G'')}} （その元が {{mvar|G}} の集合の[[置換]]である群）の部分群と同型である。明示的に表すと
* 各 {{math|''g'' &in; ''G''}} について定義される、{{math|''x'' &in; ''G''}} をその左から {{mvar|g}} を掛けた {{math|''gx''}} に移す写像 {{math|''&ell;<sub>g</sub>'' : ''G'' &rarr; ''G''}} は {{mvar|G}} の置換である。
* {{math|''g'' &in; ''G''}} を {{mvar|&ell;<sub>g</sub>}} に移す写像 {{math|''G'' &rarr; Sym(''G'')}} は[[単射]][[準同型]]なので、{{mvar|G}} から {{math|Sym(''G'')}} の部分群への同型写像を定義する。
準同型写像 {{math|''G'' &rarr; Sym(''G'')}} は集合 {{mvar|G}} に対する {{mvar|G}} の左並進[[群作用|作用]]から生じるものとしても理解できる<ref>{{harvtxt|Jacobson|2009|p=72, ex. 1}}</ref>。

{{mvar|G}} が有限のとき {{math|Sym(''G'')}} も有限である。この場合のケイリーの定理の証明は、{{mvar|G}} が {{mvar|n}} 次の有限群であれば {{mvar|G}} は標準的な対称群 {{mvar|S<sub>n</sub>}} の部分群と同型であることから示される。しかし、{{mvar|G}} はより小さな対称群 {{math|''S<sub>m</sub>'' (''m'' < ''n'')}} の部分群と同型である可能性もある。例えば、位数 6 の群 {{math|''G'' {{=}} ''S''<sub>3</sub>}} は {{math|''S''<sub>6</sub>}} の部分群と同型であるだけでなく、（自明に）{{math|''S''<sub>3</sub>}} の部分群とも同型である<ref name="Cameron2008">{{cite book|author=Peter J. Cameron|title=Introduction to Algebra, Second Edition|url=https://archive.org/details/introductiontoal00came_088|url-access=limited|year=2008|publisher=Oxford University Press|isbn=978-0-19-852793-0|page=[https://archive.org/details/introductiontoal00came_088/page/n144 134]}}</ref>。与えられた群 {{mvar|G}} が埋め込まれる最小次数対称群を見つける問題はかなり難しい<ref>{{Cite journal | doi = 10.2307/2373739| jstor = 2373739| title = Minimal Permutation Representations of Finite Groups| journal = American Journal of Mathematics| volume = 93| issue = 4| pages = 857–866| year = 1971| last1 = Johnson | first1 = D. L.}}</ref><ref>{{Cite journal | doi = 10.1023/A:1023860730624| year = 2003| last1 = Grechkoseeva | first1 = M. A.| journal = Siberian Mathematical Journal|title=On Minimal Permutation Representations of Classical Simple Groups| volume = 44| issue = 3| pages = 443–462| s2cid = 126892470}}</ref>。

[[:en:Jonathan Lazare Alperin|アルペリン]]とベル<ref name="AlperinBell1995">{{cite book|author1=J. L. Alperin|author2=Rowen B. Bell|title=Groups and representations|url=https://archive.org/details/groupsrepresenta00alpe_213|url-access=limited|year=1995|publisher=Springer|isbn=978-0-387-94525-5|page=[https://archive.org/details/groupsrepresenta00alpe_213/page/n39 29]}}</ref>は、「一般に有限群が対称群に埋め込まれているという事実は、有限群を研究するために使用される方法に影響を与えていない」と指摘している。

{{mvar|G}} が無限大のときは {{math|Sym(''G'')}} も無限大であるが、ケイリーの定理は依然として適用可能である。

== 歴史 ==
十分に初歩的なように思えるが、当時は現代的な定義は存在せず、ケイリーが現在「群」と呼ばれているものを導入したとき、これが既に「置換群」と呼ばれている既知の群と同等であることがすぐには分からなかった。ケイリーの定理はこの 2 つを統合する。

[[ウィリアム・バーンサイド|バーンサイド]]<ref>{{Citation | last = Burnside | first = William | author-link = William Burnside | title = Theory of Groups of Finite Order | page = 22  | location = Cambridge | year = 1911 | edition = 2 | url = https://babel.hathitrust.org/cgi/pt?id=uc1.b4062919;view=1up;seq=52;size=125 | isbn = 0-486-49575-2}}</ref>はこの定理を[[カミーユ・ジョルダン|ジョルダン]]<ref>{{Citation | last = Jordan | first = Camille | author-link = Camille Jordan | title = Traite des substitutions et des equations algebriques | publisher = Gauther-Villars | location = Paris | year = 1870}}</ref>に帰属させているが、エリック・ヌメラ<ref>{{Citation | last = Nummela | first = Eric | title = Cayley's Theorem for Topological Groups | journal = American Mathematical Monthly | volume = 87 | issue = 3 | year = 1980 | pages = 202–203 | doi = 10.2307/2321608 | jstor = 2321608 | publisher = Mathematical Association of America}}</ref>はそれでもなお標準的な「ケイリーの定理」という名称が実際は適切であると主張している。ケイリーは1854年のオリジナルの論文<ref>{{Citation  | last = Cayley | first = Arthur | author-link = Arthur Cayley | title = On the theory of groups as depending on the symbolic equation {{math|&theta;<sup>''n''</sup> {{=}} 1}} | journal = Philosophical Magazine | volume = 7 | issue = 42 | pages = 40–47 | year = 1854 | url = https://books.google.com/books?id=_LYConosISUC&pg=PA40 }}</ref>で定理中の対応が1対1であることを示したが、それが準同型（つまり埋め込み）であることを明示的に示すことはできなかった。しかしヌメラは、ケイリーがこの結果を当時の数学界に報告していたため、ジョルダンより16年ほど先行していたと指摘している。

この定理は後に1882年に[[:en:Walther Dyck|ヴァルター・ダイク]]によって出版され<ref>{{Citation | last=von Dyck | year=1882 | first=Walther | author-link=Walther Dyck | title=Gruppentheoretische Studien |trans-title=Group-theoretical Studies | url=https://archive.org/stream/mathematischean54behngoog#page/n38/mode/1up | doi=10.1007/BF01443322 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=20 | issue=1 | page=30| hdl=2027/njp.32101075301422 | s2cid=179178038 | hdl-access=free }}. {{in lang|de}}</ref>、バーンサイドの本の初版ではダイクの著作とされている<ref>{{Citation | last = Burnside | first = William | author-link = William Burnside | title = Theory of Groups of Finite Order | page = 22  | location = Cambridge | year = 1897 | edition = 1 | url = https://archive.org/stream/cu31924086163726#page/n43/mode/2up}}</ref>。

== 背景 ==
集合 {{mvar|A}} の'''置換'''とは {{mvar|A}} から {{mvar|A}} への[[全単射]]関数である。{{mvar|A}} のすべての置換の集合は[[写像の合成]]のもとで群をなし、{{mvar|A}} 上の'''対称群'''と呼ばれ、{{math|Sym(''A'')}} と書かれる<ref>{{harvtxt|Jacobson|2009|p=31}}</ref>。 特に {{mvar|A}} を群 {{mvar|G}} の台集合とすると、{{math|Sym(''G'')}} と表記される対称群が生成される。

== 証明 ==
{{mvar|g}} を演算 {{math|*}} を持つ群 {{mvar|G}} の元であるとし、 {{math|''f''<sub>''g''</sub>(''x'') {{=}} ''g'' * ''x''}} で定義される関数 {{math|''f''<sub>''g''</sub> : ''G'' → ''G''}} を考える。逆元の存在からこの関数は逆関数 {{math|''f''<sub>''g''<sup>-1</sup></sub>}} をもつ。よって {{mvar|g}} による乗算は全単射関数とみなせる。したがって {{mvar|f<sub>g</sub>}} は {{mvar|G}} の置換であり、{{math|Sym(''G'')}} の元でもある。

集合 {{math|''K'' {{=}} {''f''<sub>''g''</sub> {{!}} ''g'' &in; ''G''}}} は {{mvar|G}} と同型な {{math|Sym(''G'')}} の部分群である。これを証明する最も早い方法は任意の {{math|''g'' &in; ''G''}} に対して {{math|''T''(''g'') {{=}} ''f''<sub>''g''</sub>}} となる関数 {{math|''T'' : ''G'' &rarr; Sym(''G'')}} を考えることである。{{mvar|T}} は[[群準同型]]である。なぜなら任意の {{math|''x'' &in; ''G''}} について
:<math> (f_g \cdot f_h)(x) = f_g(f_h(x)) = f_g(h*x) = g*(h*x) = (g*h)*x = f_{g*h}(x) </math>
（ここで {{math|&middot;}} は {{math|Sym(''G'')}} の合成を表す）、したがって
:<math> T(g) \cdot T(h) = f_g \cdot f_h = f_{g*h} = T(g*h) .</math>

準同型写像 {{mvar|T}} は単射である。なぜなら {{math|''T''(''g'') {{=}} id<sub>''G''</sub>}}（{{math|Sym(''G'')}} の単位元）よりのすべての {{math|''x'' &in; ''G''}} に対して {{math|''g'' * ''x'' {{=}} ''x''}} が成り立ち、{{mvar|x}} を {{mvar|G}} の単位元 {{mvar|e}} とすると {{math|''g'' {{=}} ''g'' * ''e'' {{=}} ''e''}} となり、つまり核は自明であるため。あるいは {{math|''g'' * ''x'' {{=}} ''g' '' * ''x''}} から {{math|''g'' {{=}} ''g' ''}} となるため {{mvar|T}} は単射である（すべての群は[[簡約律|簡約的]]であるため）。

したがって {{mvar|G}} は {{mvar|T}} の像、つまり部分群 {{mvar|K}} と同型である。

{{mvar|T}} は {{mvar|G}} の'''[[正則表現 (数学)|正則表現]]'''と呼ばれることもある。

=== 別証 ===
[[群作用]]の言語を使用して別の証明を与えることもできる。群 {{mvar|G}} が左乗法によって自身に作用するものと考える。つまり {{math|''g'' &middot; ''x'' {{=}} ''gx''}}。これは置換表現 {{math|''&phi;'' : ''G'' &rarr; Sym(''G'')}} を持つ。

表現が忠実とは、{{mvar|&phi;}} が単射、つまり {{mvar|&phi;}} の核が自明であることである。{{math|''g'' &in; ker ''&phi;''}}とすると、{{math|''g'' {{=}} ''ge'' {{=}} ''g'' &middot; ''e'' {{=}} ''e''}}。よって {{math|ker ''&phi;''}} は自明である。この結果は第一[[同型定理]]を用いることで得られ、ここから {{math|Im ''&phi;'' &#x2243; ''G''}} が得られる。

==通常の群表現に関する注記==
群の単位元は恒等置換に対応する。群の他の元はすべて[[完全順列]]（どの元ももとの位置に留まらない置換）に対応する。これは群の各元のべき乗にも当てはまるため、その元の位数より小さい場合、各元はすべて同じ長さのサイクルからなる順列に対応する。その長さはその元の位数である。各サイクル内の元は、元によって生成される部分群の右[[剰余類]]を成す。

==通常の群表現の例==
2 を法とする加算のもとでの <math> \mathbb Z_2 = \{0,1\} </math>; 元 0 は恒等置換 {{mvar|e}} に対応し、元 1 は置換 (12) に対応する（[[:en:Permutation#Cycle_notation|サイクル表記]]を参照）。たとえば 0 + 1 = 1 また 1 + 1 = 0 より、置換の場合と同様に <math display=inline>1\mapsto0</math> また <math display=inline>0\mapsto1</math> となる。

3 を法とする加算のもとでの <math> \mathbb Z_3 = \{0,1,2\} </math>; 元 0 は恒等置換 {{mvar|e}} に対応し、元 1 は置換 (123) に対応し、そして元 2 は置換 (132) に対応する。たとえば 1&nbsp;+&nbsp;1&nbsp;=&nbsp;2 は (123)(123)&nbsp;=&nbsp;(132) に対応する。

4 を法とする加算のもとでの <math> \mathbb Z_4 = \{0,1,2,3\} </math>; 各元は {{mvar|e}}、(1234)、(13)(24)、(1432)に対応する。

[[クラインの四元群]]の元 {{math|{''e'', ''a'', ''b'', ''c''}}} は {{mvar|e}}、 (12)(34)、(13)(24)、(14)(23)に対応する。

{{math|''S''<sub>3</sub>}}（位数 6 の[[二面体群]]）は3 つのオブジェクトの置換すべての群であるが、6 つの元の置換群でもある。後者は通常の表現によって実現される方法である。
{| class="wikitable" style="text-align: center;"
! style="width: 1.5em; height: 1.5em;" | *
! style="width: 1.5em;" | ''e''
! style="width: 1.5em;" | ''a''
! style="width: 1.5em;" | ''b''
! style="width: 1.5em;" | ''c''
! style="width: 1.5em;" | ''d''
! style="width: 1.5em;" | ''f''
! 置換
|-
! style="height: 1.5em;" | ''e''
| ''e'' || ''a'' || ''b'' || ''c'' || ''d'' || ''f'' || ''e''
|-
! style="height: 1.5em;" | ''a''
| ''a'' || ''e'' || ''d'' || ''f'' || ''b'' || ''c'' || (12)(35)(46)
|-
! style="height: 1.5em;" | ''b''
| ''b'' || ''f'' || ''e'' || ''d'' || ''c'' || ''a'' || (13)(26)(45)
|-
! style="height: 1.5em;" | ''c''
| ''c'' || ''d'' || ''f'' || ''e'' || ''a'' || ''b'' || (14)(25)(36)
|-
! style="height: 1.5em;" | ''d''
| ''d'' || ''c'' || ''a'' || ''b'' || ''f'' || ''e'' || (156)(243)
|-
! style="height: 1.5em;" | ''f''
| ''f'' || ''b'' || ''c'' || ''a'' || ''e'' || ''d'' || (165)(234)
|}

==一般化==
'''定理''': {{mvar|G}} を群、{{mvar|H}} を部分群とする。{{math|''G''/''H''}} を {{mvar|G}} における {{mvar|H}} の左剰余類の集合とする。{{mvar|N}} を {{mvar|G}} における {{mvar|H}} の[[正規核]]とし、これは {{mvar|G}} における {{mvar|H}} の共役の共通部分として定義される。すると商群 {{math|''G''/''N''}} は {{math|Sym(''G''/''H'')}} の部分群と同型である。

{{math|''H'' {{=}} 1}} のケースがオリジナルのケイリーの定理である。

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* {{Citation| last=Jacobson| first=Nathan| author-link=Nathan Jacobson| year=2009| title=Basic algebra| edition=2nd| publisher=Dover| isbn = 978-0-486-47189-1}}.

== 関連項目 ==
* [[:en:Wagner–Preston theorem]] - 逆半群の類似物である
* [[:en:Birkhoff's representation theorem]] - [[:en:order theory]]における同様の結果
* [[:en:Frucht's theorem]] - すべての有限群はグラフの自己同型群である
* [[米田の補題]]  - 圏論におけるケーリーの定理の一般化
* [[:en:Representation theorem]]

{{DEFAULTSORT:けいりいのていり}}
[[Category:置換]]
[[Category:群論の定理]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]