対称群のソースを表示

{{参照方法|date=2012年9月}}
{{混同|対照群}}
{{簡易区別|{{仮リンク|対称変換群|en|Symmetry group}} (対称性の群) }}
[[File:Symmetric group 4; Cayley graph 4,9.svg|thumb|320px|対称群 S{{msub|4}} の[[ケイリーグラフ]]。]]
{{Groups}}
'''対称群'''（たいしょうぐん、{{en|symmetric group}}）とは、「ものを並べ替える」という操作を[[元 (数学)|元]]とする[[群 (数学)|群]]である。この場合の「ものを並べ替える」操作のことを'''置換'''（ちかん、{{en|permutation}}）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は'''置換群'''（ちかんぐん、{{en|permutation group}}）<ref>{{Cite book|和書|title=岩波数学事典|editor=日本数学会|edition=第4版|publisher=岩波書店|year=2007|id=ISBN 978-4000803090}}</ref>と呼ばれる。置換群が空間 {{mvar|X}} の変換群として与えられているとき、{{mvar|X}} の元 {{mvar|x}} の置換は {{math|1=Stab(''x'') = {{mset|&sigma; &isin; ''S{{msub|X}}'' | ''&sigma;x'' {{=}} ''x''}}}} で与えられる {{mvar|S{{msub|X}}}} の部分群の分だけ潰れているが、これは {{mvar|X}} のなかに {{mvar|x}} と「同じ」元が複数含まれている場合に対応しており、{{mvar|X}} の中でこれらを区別することができれば {{mvar|X}} の元の置換から対称群 {{mvar|S{{msub|X}}}} が回復される。

== 定義 ==
集合 {{math|1=''I''{{msub|''n''}} = {{mset|1, 2, …, ''n''}}}} に対し、{{mvar|I{{msub|n}}}} から {{mvar|I{{msub|n}}}} への[[全単射]]全体の集合は[[写像の合成]]を積として[[群 (数学)|群]]になることがわかる。これは {{mvar|n}}-次の'''対称群'''と呼ばれ、
: <math>S_n,\quad \Sigma_n,\quad \mathfrak{S}_n,\quad \operatorname{Sym}(n)</math>
などで表される。{{mvar|S{{msub|n}}}} の元は {{mvar|n}} 次の'''置換'''と呼ばれる。
{{mvar|n}}-次対称群の[[群 (数学)#位数|位数]]は {{mvar|n}} の[[階乗]] {{math|''n''!}} である。

{{mvar|X}} を[[有限集合]]とするとき、{{mvar|I{{msub|n}}}} の場合と同様にして {{mvar|X}} から {{mvar|X}} への全単射全体の集合を {{math|Sym(''X'')}} とおくと、写像の合成を積として {{math|Sym(''X'')}} は群になる。このとき、{{math|Sym(''X'')}} は {{mvar|X}} の'''対称群'''と呼ばれる。有限集合の間の[[単射]] {{math|''X'' &rarr; ''Y''}} に対して対称群の間の単射 {{math|Sym(''X'') &rarr; Sym(''Y'')}} が自然に定まる。

特に、{{mvar|X}} の位数（含まれる[[元 (数学)|元]]の個数、[[濃度 (数学)|濃度]]）が {{mvar|n}} のとき、{{mvar|X}} と集合 {{mvar|I{{msub|n}}}} とのあいだに[[全単射]]が存在するので両者を同一視することにより、{{math|Sym(''X'')}} と {{mvar|S{{msub|n}}}} とは群として[[同型]]になる。この（全単射の取り方に依存する）群の同一視は次のように理解できる。{{mvar|I{{msub|n}}}} から{{mvar|X}}への全単射は {{mvar|I{{msub|n}}}} による {{mvar|X}} の元の番号付けによって、または {{mvar|X}} の元を数え上げる列 {{math|(''x''{{msub|1}}, ''x''{{msub|2}}, …, ''x''{{msub|''n''}})}} によって表される。このとき {{mvar|n}}-次置換 {{mvar|&sigma;}} は点 {{mvar|x{{msub|i}}}} を点 {{mvar|x{{msub|&sigma;i}}}} に移すような写像、つまり点列 {{math|(''x''{{msub|1}}, ''x''{{msub|2}}, …, ''x''{{msub|''n''}})}} の順番を {{math|(''x''{{msub|''&sigma;''1}}, ''x''{{msub|''&sigma;''2}}, ..., ''x''{{msub|''&sigma;n''}})}} へと入れ替える[[写像]]として具体的に理解することができる。この写像に対応する[[函数のグラフ|グラフ]]は、組 {{math|(''x{{ind|k}}'', ''&sigma;''(''x{{ind|k}}''))}} を {{math|1=''k'' = 1, 2, …, ''n''}} に対して集めた有限集合であり、これはしばしば
:<math>\begin{pmatrix}x_k\\ \sigma(x_k)\end{pmatrix},\quad
 \begin{pmatrix}x_1 & x_2 & \cdots & x_n\\ 
 \sigma(x_1) & \sigma(x_2) & \cdots & \sigma(x_n)\end{pmatrix}
</math>
あるいは
:<math>
 \begin{pmatrix}x_k\\ x_{\sigma(k)}\end{pmatrix},\quad
 \begin{pmatrix}x_1 & x_2 & \cdots & x_n\\ 
 x_{\sigma(1)} & x_{\sigma(2)} & \cdots & x_{\sigma(n)}\end{pmatrix},\quad
 \begin{pmatrix}k\\ \sigma(k)\end{pmatrix}
</math>
のように記される{{efn|これはグラフであって、表示が似ているからと言ってベクトルや行列ではない。また、実際には前者（点の入れ替え）と後者（番号の入れ替え）は双対の関係にあり、ちょうど {{math|''&sigma;''{{exp|&minus;1}}(''x{{ind|k}}'')}} と {{math|''x''{{ind|''&sigma;''(''k'')}}}} が、あるいは {{mvar|&sigma;}} の右作用と左作用との入れ替えが対応する。}}。後者の記法は番号の入れ替えとしての {{mvar|&sigma;}} の表示を与えており、この二つの記法の対応が集合{{mvar|X}} と集合 {{mvar|I{{msub|n}}}} との同一視の仕方（全単射の選び方）に応じた {{math|Sym(''X'')}} と {{math|1=''S{{msub|n}}'' = Sym(''I{{msub|n}}'')}} との間に定まる群の[[同型]]対応を具体的に与えている。

無限集合についての対称群にあたるものとして二つの異なった概念が挙げられる。ひとつめの概念は有限集合 {{mvar|X}} に対する {{math|Sym(''X'')}} の構成をそのまま拡張し、有限とは限らない集合 {{mvar|Y}} に対しても {{mvar|Y}} から {{mvar|Y}} への全単射全体のなす群を考えることによって得られる。もう一つのより繊細な概念は、有限とは限らない集合 {{mvar|Y}} に対して、その有限部分集合全体のなす族 {{math|'''F'''}} を考え、有限対称群たち {{math|Sym(''X'')}} ({{math|''X'' &isin; '''F'''}}) の[[直極限]]
:<math>\varinjlim_{X \in \mathbf{F}} \operatorname{Sym}(X)</math>
として得られる群である。この二つの定式化は有限集合に対しては自然に同型な群を与えている。自然数の集合 {{math|'''N'''}} に対して二つ目の方法を適用して得られる群は {{math|''S''{{msub|&infin;}}}} と書かれ、無限対称群と呼ばれる。これは {{mvar|S{{msub|n}}}} たちすべての合併と見なすことができる。

== 諸概念 ==
=== 群演算 ===
対称群 {{mvar|S{{msub|n}}}} の群演算は写像の合成で与えられるが、置換 {{mvar|&sigma;, &tau;}} が与えられたとき、{{mvar|&sigma;, &tau;}} の積を共変的に {{mvar|&sigma;&tau;}} で表すか反変的に {{mvar|&tau;&sigma;}} で表すかは（対称群の[[群作用|作用]]の方向が左からであるか右からであるかという）文脈による。

{{mvar|S{{msub|n}}}} の元 {{mvar|&sigma;}} は全単射であるから逆写像 {{math|''&sigma;''{{msup|&minus;1}}}} が存在して、これが写像の合成に関する逆元を与えるから、この {{math|''&sigma;''{{msup|&minus;1}}}} が {{mvar|S{{msub|n}}}} における {{mvar|&sigma;}} の逆元であり、{{mvar|&sigma;}} の逆置換などと呼ばれる。{{mvar|S{{msub|n}}}} の単位元はどの元も動かさない恒等変換 {{math|id}} であり、これを {{math|1}} などで表して恒等置換などとも呼ぶ。

=== 巡回置換 ===
{{main|{{ill2|巡回置換|en|Cyclic permutation|preserve=1}}}}
{{mvar|S{{msub|n}}}} に属する置換 {{mvar|&sigma;}} は、{{math|{{mset|1, 2, …, ''n''}}}} 上のある全単射 {{mvar|f}} と、ある {{math|''k'' &isin; {{mset|1, 2, …, ''n''}}}} に対し
: <math>\begin{pmatrix}
 k   & f(k)  & f^2(k) & \ldots & f^{m-1}(k) & f^m(k)& j \\
 f(k)& f^2(k)& f^3(k) & \ldots & f^m(k)     & k     & j
\end{pmatrix}</math>
の形（ここで {{mvar|j}} は {{math|''f{{msup|i}}''(''k'')}} の形で得られないような {{math|{{mset|1, 2, …, ''n''}}}} の元全てについてである）に書けるならば'''巡回置換''' {{lang|en|(cycle)}} と呼び、
: <math>\sigma = \begin{pmatrix}k & f(k) & \ldots & f^m(k)\end{pmatrix}</math>
で表す。このとき {{math|''m'' + 1}} は {{mvar|&sigma;}} によって一意に定まり、巡回置換 {{mvar|&sigma;}} の'''長さ''' {{lang|en|(length)}} と呼ばれる。

ふたつの巡回置換が互いに素であるとは、それらが共通の文字を含まないことを言う。互いに素な巡回置換は互いに[[交換法則|可換]]である。

任意の置換は互いに素な巡回置換の積に順序を除いて一意的に分解することができる（ただし、「[[空積|{{math|0}} 個の積]]」は恒等置換、「{{math|1}} 個の積」は自分自身という意味でいう）。

=== 互換 ===
'''置換'''のうち、特に二つの元のみを入れ替えて他の元は変えないものを'''互換''' {{lang|en|(transposition)}} という。すなわち、互換とは長さが {{math|2}} の巡回置換のことである。任意の置換は互換の積として表される。そのような表し方は一通りとはかぎらないが、表示にあらわれる互換の数が偶数であるか奇数であるかは表し方に依らずに決まる。これを置換の[[偶奇性]] (parity) という（[[置換の符号|置換の偶奇性]]を参照）。偶数個の互換の積として表される置換のことを'''偶置換''' {{lang|en|(even permutation)}} といい、奇数個の互換の積として表される置換のことを'''奇置換''' {{lang|en|(odd permutation)}} という。''n'' 次対称群の元のうち特に偶置換のみを集めると、その全体は {{mvar|n}} 次対称群の[[正規部分群]]となる。この群を {{mvar|n}} 次'''[[交代群]]''' {{mvar|A{{msub|n}}}} という。{{mvar|n}} が {{math|5}} 以上のとき、 {{mvar|n}} 次交代群はより小さな群の合成としては表せなくなっており、このことから五次以上の方程式に代数的な解の公式が存在しないことが説明される（[[ガロア理論]]）。

互換のうち {{math|(''i'' (''i'' + 1))}} の形で表される互換を'''基本互換''' {{lang|en|(fundamental transpositions)}} あるいは'''隣接互換''' {{lang|en|(adjacent transpositions)}} と呼ぶ。任意の置換は実は隣接互換の積に分解できる。つまり、対称群 {{mvar|S{{msub|n}}}} は隣接互換で生成される。{{mvar|S{{msub|n}}}} における隣接互換 {{math|1=''&sigma;{{msub|i}}'' = (''i'' (''i'' + 1))}} は組紐関係式
:<math>\begin{cases}\sigma_i^2 = 1 \\\sigma_i\sigma_j = \sigma_j\sigma_i \\\sigma_i\sigma_{i + 1}\sigma_i = \sigma_{i + 1}\sigma_i\sigma_{i + 1}\end{cases}\quad (\vert j - i \vert \neq 1)</math>
を満たし、[[組み紐群]] {{mvar|B{{msub|n}}}} を生成元が[[対合]]となるという関係式で割って {{mvar|S{{msub|n}}}} 得られる。すなわち、{{mvar|S{{msub|n}}}} は {{mvar|A{{msub|n}}}}-型の[[コクセター群]]である。

=== 置換の符号 ===
{{main|置換の符号}}
{{mvar|n}}-次の置換 {{mvar|&sigma;}} について、{{mvar|&sigma;}} の'''符号'''と呼ばれる {{math|&plusmn;1}} の数 {{math|sgn(''&sigma;'')}} を定めることができる。{{math|sgn(''&sigma;'')}} の定義にはいくつかの方法がある。
* {{math|1=sgn(''&sigma;'') = (&minus;1){{exp|''d''(''&sigma;'')}}}}. ただし {{math|''d''(''&sigma;'')}} は {{math|1 &le; ''i'' &lt; ''j'' &le; ''n''}} かつ {{math|''&sigma;''(''i'') &gt; ''&sigma;''(''j'')}} となっている {{math|(''i'', ''j'')}} の組の数で、{{mvar|&sigma;}} の[[転倒数]]と呼ばれる。
* {{mvar|&sigma;}} が偶置換のとき {{math|1=sgn(''&sigma;'') = 1}}, {{mvar|&sigma;}} が奇置換のとき {{math|1=sgn(''&sigma;'') = &minus;1}}。つまり {{mvar|&sigma;}} が {{mvar|k}} 個の互換の積で表せるとき {{math|1=sgn(''&sigma;'') = (&minus;1){{exp|''k''}}}} と定める。
* {{mvar|&sigma;}} が表す[[#置換行列|置換行列]]を {{mvar|X{{msub|&sigma;}}}} とするとき、{{mvar|X{{msub|&sigma;}}}} の[[行列式]]によって {{math|1=sgn(&sigma;) = det(''X{{msub|&sigma;}}'')}} と定める。
* {{mvar|n}} 変数の[[差積]] {{math|1=&Delta; = {{underset|2={{big|&prod;}}|1&le;''i''&lt;''j''&le;''n''}} ''X{{ind|i}}'' &minus; ''X{{ind|j}}''}} に対して、{{math|1={{underset|2={{big|&prod;}}|1&le;''i''&lt;''j''&le;''n''}} ''X''{{ind|''&sigma;''(''i'')}} &minus; ''X''{{ind|''&sigma;''(''j'')}} = sgn(''&sigma;'')&Delta;}} で定める。
{{math|sgn}} は {{mvar|S{{msub|n}}}} から位数 {{math|2}} の群 {{math|{{mset|&plusmn;1}}}} への準同型を定めており、二つ目の定式化からも明らかなように交代群はこの符号写像の[[核 (代数学)|核]]として特徴づけられる。

== 共役類 ==
群に関する基本的な問題としてその[[群 (数学)|共役類]]の分類が挙げられるが、対称群 {{mvar|S{{msub|n}}}} における共役類は {{mvar|S{{msub|n}}}} の {{mvar|n}} への自然な[[群の作用|作用]]に関する[[群の作用|軌道]]の形によって分類される。実際、{{mvar|&sigma;}} と {{mvar|&tau;}} が {{mvar|S{{msub|n}}}} の元ならば {{mvar|&sigma;}} と {{math|''&tau;&sigma;&tau;''{{exp|&minus;1}}}} は同じ軌道の形を持っており、逆に {{mvar|&sigma;}} と {{mvar|&upsilon;}} が同じ軌道の形を持つならば適当な {{math|''&tau;'' &isin; ''S''{{msub|''n''}}}} について {{math|1=''&upsilon;'' = ''&tau;&sigma;&tau;''{{exp|&minus;1}}}} となっている。これはすなわち、任意の置換を互いに素な巡回置換の積として表したとき、現れる巡回置換の長さが重複度を込めて一致しているような置換は同じ共軛類に入り、またその逆も成り立つということである。たとえば、{{math|1=''n'' = 3}} で
: {{math|''&sigma;'': 1 &rarr; 2, 2 &rarr; 1, 3 &rarr; 3}},
: {{math|''&tau;'': 1 &rarr; 2, 2 &rarr; 3, 3 &rarr; 1}}
のとき、{{mvar|&sigma;}} の軌道は {{math|{{mset|1, 2}}, {{mset|3}}}} ({{math|1=''&sigma;'' = (1 2)(3)}}) であり、一方 {{math|''&tau;&sigma;&tau;''{{exp|&minus;1}}}} の軌道は {{math|{{mset|1}}, {{mset|2, 3}}}} ({{math|1=''&tau;&sigma;&tau;''{{exp|&minus;1}} = (1)(2 3)}}) で、どちらも一つの元からなる軌道を一つと二つの元からなる軌道を一つ持っている。

このように、軌道の形（{{mvar|S{{msub|n}}}} の元の互いに素な巡回置換の積としての表示）は各自然数 {{mvar|k}} に対して {{mvar|k}} 個の元を持つような軌道（長さ {{mvar|k}} の巡回置換）の数 {{mvar|m{{msub|k}}}} がいくつかを指定することで決定される。このとき、集合 {{mvar|n}} への作用を考えているので数列 {{math|(''m{{ind|k}}'')}}{{msub|''k''}} は {{math|1={{sum|b=''k''&isin;'''N'''}} ''km{{ind|k}}'' = ''n''}} を満たさなければならない（{{mvar|n}} の分割）。このとき、
: <math>1^{m_1}2^{m_2}\ldots n^{m_n}\quad(1m_1+2m_2+\cdots+nm_n=n)</math>
を置換 {{mvar|&sigma;}} の'''巡回置換型''' {{lang|en|(cycle type)}}、あるいはたんに'''型'''と呼ぶ。{{mvar|S{{msub|n}}}} の共軛類は巡回置換型によって決まる。また、[[自然数の分割| {{mvar|n}} の分割]]は、位数 {{mvar|n}} の[[ヤング図形]]と一対一に対応しており、したがって {{mvar|S{{msub|n}}}} の共役類は位数 {{mvar|n}} のヤング図形たちによって記述されることになる。

== 交代群との関係 ==
{{math|''n'' &ge; 5}} のとき交代群 {{mvar|A{{msub|n}}}} は[[単純群|単純]]で、それによって誘導される商は符号函数である。すなわち、[[短完全列]]
: <math>1 \to A_n \to S_n \to C_2 \to 1</math>
は二つの元の互換を取ることによって分裂する。ゆえに、{{mvar|S{{msub|n}}}} は[[半直積]]
:<math>A_n \rtimes C_2</math>
に分解され、かつそれ以外の真の正規部分群を持たないことがわかる。実際、部分群があれば {{mvar|A{{msub|n}}}} との交わりは単位群（したがってそれ自身単位群か二元群だが後者は正規ではない）または {{mvar|A{{msub|n}}}}（したがってそれ自身 {{mvar|A{{msub|n}}}} または {{mvar|S{{msub|n}}}}）だからである。

{{mvar|S{{msub|n}}}} は部分群である {{mvar|A{{msub|n}}}} に共軛によって作用し、{{math|''n'' ≠ 6}} のとき {{mvar|S{{msub|n}}}} は {{mvar|A{{msub|n}}}} の全自己同型群となる。
: <math>\operatorname{Aut}(A_n) \cong S_n.</math>
偶置換による共軛は {{mvar|A{{msub|n}}}} の[[内部自己同型]]であり、対して {{mvar|A{{msub|n}}}} の位数 {{math|2}} の{{仮リンク|外部自己同型|en|Outer automorphism}}は奇置換による共軛に対応する。{{math|1=''n'' = 6}} のときは、{{math|''A''{{msub|6}}}} に{{仮リンク|S6の例外型外部自己同型|label=例外型の外部自己同型|en|Automorphisms of the symmetric and alternating groups#The exceptional outer automorphism of S6}}が存在するので、{{math|''S''{{msub|6}}}} は {{math|''A''{{msub|6}}}} の全自己同型群とはなっていない。

したがって、{{math|''n'' ≠ 6}} のとき {{mvar|S{{msub|n}}}} は外部自己同型を持たず、さらに {{math|''n'' ≠ 2}} のとき中心を持たない。ゆえに {{math|''n'' ≠ 2, 6}} のとき {{mvar|S{{msub|n}}}} は{{仮リンク|完全群 (表現論)|en|complete group|label=完全}}である（[[#対称群の自己同型群|後述]]）。

{{math|''n'' &ge; 5}} のとき {{mvar|S{{msub|n}}}} は{{仮リンク|概単純群|en|almost simple group}}であり、それは単純群 {{mvar|A{{msub|n}}}} とその自己同型群の間に位置するものとみなされる。

== 群の置換表現 ==
{{seealso|[[群作用|置換表現]]}}
群 {{mvar|G}} が与えられたとき、{{mvar|G}} の元 {{mvar|g}} の左・右・両側からの積
: <math>\begin{align}
 \gamma_g &\colon G\to G;\ x\mapsto gx\\
 \delta_g &\colon G\to G;\ x\mapsto xg^{-1}\\
 \sigma_g &\colon G\to G;\ x\mapsto gxg^{-1}
\end{align}</math>
は {{mvar|G}} 上の全単射を与える。群 {{mvar|G}} から対称群 {{math|Sym(''G'')}} への写像
: <math>\begin{align}
 \gamma &\colon G\to \operatorname{Sym}(G);\ g\mapsto \gamma_g\\
 \delta &\colon G\to \operatorname{Sym}(G);\ g\mapsto \delta_g\\
 \sigma &\colon G\to \operatorname{Sym}(G);\ g\mapsto \sigma_g
\end{align}</math>
は群の準同型であり、これにより群 {{mvar|G}} の元は {{mvar|G}} 自身の上の置換群の元として表される。これが群の置換表現である。

置換表現を[[一元体]]上の線型表現と看做して[[表現論]]の一般論に組み込む試みが見られる。

== 対称群の作用 ==
=== 一般多項式のガロア群 ===
[[多項式]]の[[ガロア群]]とは、多項式の根の全体からなる集合上の置換群のことをいう。{{mvar|n}}-次対称群 {{mvar|S{{msub|n}}}} は有理数体 {{math|'''Q'''}} 上の {{mvar|n}}-次の一般多項式（係数の間に何らの代数的な関係式も成立しないような多項式）
: <math>a_0 + a_1 X + a_2 X^2 + \cdots + a_n X^n \in \mathbb{Q}(a_0,a_1,...,a_n)[X]</math>
のガロア群であることが示される。{{mvar|S{{msub|n}}}} の可解性（これはもちろん交体群 {{mvar|A{{msub|n}}}} の[[可解群|可解性]]と等価であるが）が、{{mvar|n}}-次一般多項式に対する代数的な根の公式の存在性に言及できるのはこのためである。

=== 対称式 ===
{{main|対称式|{{仮リンク|対称函数|en|Symmetric function}}}}
{{see also|基本対称式|{{仮リンク|冪和対称式|en|Power sum symmetric polynomial}}|{{仮リンク|完全斉次対称式|en|Complete homogeneous symmetric polynomial}}|シューア函数|{{仮リンク|ニュートンの公式|en|Newton's identities}}}}
[[可換体|体]]上の多変数多項式環 {{math|''k''{{bracket|''X''}}}} は対称群 {{math|''S''{{msub|{{abs|''X''}}}}}} の {{mvar|X}} への作用を移すことで {{math|''S''{{msub|{{abs|''X''}}}}}} が作用する。この作用の下で不変な元の全体を
: <math>k[X]^{\mathfrak{S}_{|X|}} := \{f(X)\in k[X]\mid f^{\sigma}=f \text{ for all }\sigma\in \mathfrak{S}_{|X|}\}</math>
などであらわし、その元を[[対称式]]と呼ぶ（{{math|1={{abs|''X''}} = &infin;}} のときは、無限変数の多項式環と無限対称群とを考えるならば同様の概念を構成できて、不変元は[[対称函数]]と呼ばれる）。

=== 置換行列 ===
{{main|置換行列}}
{{mvar|n}}-次の対称群を[[ベクトル空間]]の[[基底 (線型代数学)|基底]]の変換として作用させることで置換を行列表示することができる。具体的に {{mvar|n}}-次元のベクトル空間 {{mvar|V}} とその基底 {{math|{{mset|''e''{{ind|1}}, ''e''{{ind|2}}, …, ''e{{ind|n}}''}}}} をひとつ固定して、置換 {{mvar|&sigma;}} の {{mvar|V}} への作用を
: {{math|size=larger|1=''&sigma;''(''e{{ind|i}}'') = ''e''{{ind|&sigma;(''i'')}}}} ({{math|1 &le; ''i'' &le; ''n''}})
によって定める。このとき {{mvar|&sigma;}} の表現行列を {{mvar|P{{msub|&sigma;}}}} とすると
: {{math|1=''&sigma;''(''e''{{ind|1}}, ''e''{{ind|2}}, …, ''e''{{ind|''n''}}) = (''e''{{ind|''&sigma;''(1)}}, ''e''{{ind|''&sigma;''(2)}}, …, ''e''{{ind|''&sigma;''(''n'')}}) = (''e''{{ind|1}}, ''e''{{ind|2}}, …, ''e{{ind|n}}'')''P{{msub|&sigma;}}''}}
から、[[クロネッカーのデルタ]] {{mvar|&delta;}} を用いて {{math|1=''P{{msub|&sigma;}}'' = (''&delta;''{{msub|''i'',&sigma;(''j'')}})}} となる。この行列 {{mvar|P{{msub|&sigma;}}}} を、置換 {{mvar|&sigma;}} に対応する'''置換行列'''という。偶置換に対応する置換行列の定める[[線型変換]]は空間の向きを保ち、一方で奇置換に対応する線型変換は空間の向きを反転させている。

== 対称群の部分群構造 ==
対称群の[[部分群]]は一般に[[置換群]]と呼ばれる。

=== 正規部分群 ===
対称群の[[正規部分群]]は有限の場合にはよく知られている。{{math|1=''n'' = 1, 2, 4}} の場合を除き、{{mvar|n}}-次交代群は {{mvar|n}}-次対称群の単位群でない真の正規部分群である。{{math|''n'' &le; 2}} の場合は交代群は単位群であるが、{{math|1=''n'' = 4}} の場合にはもうひとつの単位群でない真の正規部分群として[[クラインの四元群]]がある。

無限集合上の対称群の正規部分群には、交代群に対応するもの以外にも、その集合の適当な濃度の部分集合の元を除いて全ての元を固定するような無限濃度で添字付けられた部分群なども存在する。例えば、[[可算無限]]集合上の対称群は、有限個を除く全ての元を固定するような置換の全体からなる正規部分群 {{mvar|S}} を含む。この {{mvar|S}} の元というものは、どれも無限対称群に含まれ、偶または奇置換である。{{mvar|S}} の偶置換の全体は {{mvar|S}} の[[特性部分群]]を成し、{{mvar|S}} の交代群と呼ばれる。また、可算無限集合上の対称群の単位群でない真の正規部分群はほかには存在しない。詳細は {{harv|Scott|1987|loc=Ch. 11.3}} あるいは {{harv|Dixon|Mortimer|1996|loc=Ch. 8.1}} を参照されたい。

=== 極大部分群 ===
有限対称群の{{仮リンク|極大部分群|en|maximal subgroup}}は、非推移的 (intransitive)・非原始的 (imprimitive)・原始的 (primitive) の三種類のクラスに分けられる。非推移的極大部分群はちょうど {{math|Sym(''k'') × Sym(''n'' &minus; ''k'')}} ({{math|1 &le; ''k'' < ''n''/2}}) の形をした部分群である。非原始的極大部分群はちょうど {{math|Sym(''k'') ≀ Sym(''n''/''k'')}} の形をしている（ただし、{{math|2 &le; ''k'' &le; ''n''/2}} は {{mvar|n}} の真の約数で、"{{math|size=120%|{{unicode|≀}}}}" は非原始的に作用する[[輪積]]を表す）。原始的極大部分群は同じように表すのは難しいが、{{仮リンク|オナン&ndash;スコットの定理|en|O'Nan&ndash;Scott theorem}}と[[有限単純群の分類|有限単純群の分類定理]]の助けを借りるならば、{{harv|Liebeck|Praeger|Saxl|1987}} にこの型の極大部分群の十分わかりやすい記述がある<ref>{{harv|Dixon|Mortimer|1996|p=268}}</ref>。

=== シロー部分群 ===
対称群の[[シロー部分群]]は [[p群|{{mvar|p}}-群]]の重要な例をあたえる。特別な場合には、以下のようにより容易に記述することができる。

{{mvar|p}}-次対称群のシロー {{mvar|p}}-部分群は、単に {{mvar|p}}-次巡回置換で生成される巡回部分群であり、そのような部分群は {{math|1={{sfrac|(''p'' &minus; 1)!|''p'' &minus;1}} = (''p'' &minus; 2)!}} 個存在することが、単に生成元を数えることによってわかる。したがってその[[中心化群と正規化群|正規化部分群]]は位数 {{math|''p''(''p'' &minus; 1)}} であり、（特に {{math|1=''p'' = 5}} のとき）{{仮リンク|フロベニウス群|en|Frobenius group}} {{math|''F''{{msub|''p''(''p''&minus;1)}}}} や、[[アフィン群|アフィン一般線型群]] {{math|AGL(1, ''p'')}} としても知られる。

また、{{math|''p''{{exp|2}}}}-次対称群のシロー {{mvar|p}}-部分群は、位数 {{mvar|p}} のふたつの巡回群の[[輪積]]である。例えば {{math|1=''p'' = 3}} のとき、{{math|''S''{{msub|9}}}} のシロー {{math|3}}-部分群は {{math|1=''a'' = (1, 4, 7)(2, 5, 8)(3, 6, 9)}} および {{math|1=''x'' = (1, 2, 3), ''y'' = (4, 5, 6), ''z'' = (7, 8, 9)}} で生成され、シロー {{math|3}}-部分群の任意の元は
: <math>a^i x^j y^k z^l \quad (0\le i,j,k,l\le 2)</math>
の形で与えられる。

同様に、{{mvar|p{{exp|n}}}}-次対称群のシロー {{mvar|p}}-部分群はしばしば {{math|''W''{{msub|''p''}}(''n'')}} と書かれる。この記号法に従えば、{{math|''W''{{msub|''p''}}(''n'' + 1)}} は {{math|''W''{{msub|''p''}}(''n'')}} と {{math|''W''{{msub|''p''}}(1)}} との輪積となる。

一般に {{mvar|n}}-次対称群のシロー {{mvar|p}}-部分群は、{{math|''W''{{msub|''p''}}(''i'')}} の {{mvar|a{{ind|i}}}} 個のコピーの直積である。ただし、{{math|0 &le; ''a''{{msub|''i''}} &le; ''p'' &minus; 1}} かつ {{math|1=n = ''a''{{msub|0}} + ''p''&sdot;''a''{{msub|1}} + &hellip; + ''p''{{msup|k}}&sdot;''a''{{msub|''k''}}}} とする。

例えば、{{math|1=''W''{{msub|2}}(1) = ''C''{{msub|2}}}} および {{math|1=''W''{{msub|2}}(2) = ''D''{{msub|8}}}} （位数 {{math|8}} の[[二面体群]]）である。また、{{math|7}}-次対称群のシロー {{math|2}}-部分群は {{math|{{mset|(1,3)(2,4), (1,2), (3,4), (5,6)}}}} で生成され、{{math|''D''{{msub|8}} × ''C''{{msub|2}}}} に同型である。

これらの計算は {{harv|Kaloujnine|1948}} による。またさらに詳細な記述については {{harv|Rotman|1995|p=176}} を参照。{{harv|Kerber|1971|p=26}} は[[オーギュスタン＝ルイ・コーシー|コーシー]]の1844年の結果に基づくもので、その内容のほとんどは教科書として {{harv|Netto|1882|loc=§39&ndash;40}} がカバーしていることに注意。

== 対称群の自己同型群 ==
{| class="wikitable" style="text-align:center; float:right;"
|- 
! {{mvar|n}} !! 自己同型群 !! 外部自己同型群 !! 中心
|-
! {{math|''n'' &ne; 2, 6}}
| {{mvar|S{{msub|n}}}} || 1 || 1
|-
! {{math|1=''n'' = 2}}
| 1 || 1 || {{math|S{{msub|2}}}}
|-
! {{math|1=''n'' = 6}}
| <math>S_6 \rtimes C_2</math> || {{math|''C''{{msub|2}}}} || 1
|}
{{math|''n'' &ne; 2, 6}} のとき {{mvar|S{{msub|n}}}} は{{仮リンク|完全群 (表現論)|label=完全群|en|complete group}}（[[群の中心|中心]]と{{仮リンク|外部自己同型群|en|outer automorphism}}が両方とも自明）である。

{{math|1=''n'' = 2}} のとき、自己同型群は自明だが {{math|''S''{{msub|2}}}} 自身は自明でない（巡回群 {{math|''C''{{msub|2}}}} に同型で、これはアーベル群だから、中心は {{math|''S''{{msub|2}}}} 全体）。

{{math|1=''n'' = 6}} のときは位数 {{math|2}} の外部自己同型をもち、自己同型群は {{math|''S''{{msub|6}}}} の {{math|''C''{{msub|2}}}} による半直積となる。
: <math>\operatorname{Out}(S_6)=C_2, \quad \operatorname{Aut}(S_6)=S_6 \rtimes C_2.</math>

実は、{{math|6}} 以外の濃度の任意の集合 {{mvar|X}} に対して、{{mvar|X}} 上の対称群の任意の自己同型は内部自己同型である。{{harv|Dixon|Mortimer|1996|p=259}} によれば、この結果をはじめて得たのは {{harv|Schreier|Ulam|1937}} である。

== 対称群のホモロジー ==
対称群 {{mvar|S{{msub|n}}}} の{{仮リンク|群ホモロジー|en|group homology}}は極めて正則かつ安定である。一次のホモロジー（つまり[[アーベル化]]）は

:<math>H_1(S_n,\mathbb{Z}) = \begin{cases} 0 & n < 2\\
\mathbb{Z}/2 & n \geq 2\end{cases}</math>

である。{{math|''n'' &lt; 2}} のときは自明、{{math|''n'' &ge; 2}} のときは符号写像 {{math|sgn: ''S''{{msub|''n''}} &rarr; ''C''{{msub|2}}}} に対応している。これは以下のように簡単に計算できる。{{mvar|S{{msub|n}}}} は[[対合]]（位数 {{math|2}} の元、{{math|2}}-サイクル）で生成されるから、写像 {{math|''S''{{msub|''n''}} &rarr; ''C''{{msub|''p''}}}} が非自明なのは {{math|1=''p'' = 2}} のときであり、またすべての対合は、共軛であるから（アーベル群上の共軛変換は自明なので）そのアーベル化の同じ元へうつる。したがって、唯一可能な写像
: <math>S_n \to C_2 \cong \{\pm 1\}</math>
は対合を {{math|1}} へ移す（自明写像）か {{math|&minus;1}} へ移す（符号写像）。符号写像が矛盾なく定まっていることは確認すべきことだが、それを認めれば、これで {{mvar|S{{msub|n}}}} の一次ホモロジーが得られる。

二次のホモロジー（具体的には{{仮リンク|シューア因子|en|Schur multiplier}}）は
:<math>H_2(S_n,\mathbb{Z}) = \begin{cases} 0 & n < 4\\
\mathbb{Z}/2 & n \geq 4\end{cases}</math>
である。これは {{Harv|Schur|1911}} で計算されており、{{仮リンク|対称群の二重被覆|en|Covering groups of the alternating and symmetric groups}} {{math|2&sdot;''S''{{msub|''n''}}}} に対応する。

交代群の低次ホモロジーに関する{{仮リンク|例外対象|en|Exceptional object|label=例外的}}な同型（非自明なアーベル化の存在に対応して
: <math>H_1(A_3)\cong H_1(A_4) \cong C_3</math> 
が成り立ったり、例外的三重被覆の存在によって
: <math>H_2(A_6)\cong H_2(A_7) \cong C_6</math>
が成立するなど）に対して、交代群を対称群に取り替えることはできないことに注意すべきである。これは、交代群に関する現象から対称群に関する現象が導ける（例えば自然な全射 {{math|''A''{{msub|4}} &#x21a0; ''C''{{msub|3}}}} は自然な全射 {{math|''S''{{msub|4}} &#x21a0; ''S''{{msub|3}}}} に延びるし、{{math|''A''{{msub|6}}}} および {{math|''A''{{msub|7}}}} の三重被覆は {{math|''S''{{msub|6}}}} および {{math|''S''{{msub|7}}}} の三重被覆に延びる）けれども、しかしそれは「'''ホモロジー的'''」（ホモロジーを取る操作と可換）ではないという意味である。つまり、全射 {{math|''S''{{msub|4}} &#x21a0; ''S''{{msub|3}}}} で {{math|''S''{{msub|4}}}} や {{math|''S''{{msub|3}}}} をそのアーベル化に取り替えることはできないし、後者の例では三重被覆をホモロジーに対応させることができないということになる。

このホモロジーは{{仮リンク|安定ホモトピー|en|stable homotopy}}論でいう意味で「安定」である。すなわち、包含写像 {{math|''S''{{msub|''n''}} &rarr; ''S''{{msub|''n''+1}}}} と適当な整数 {{mvar|k}} が存在して、ホモロジーの間の包含写像
: <math>H_k(S_n) \to H_k(S_{n+1})</math>
が十分大きな {{mvar|n}} に対して同型となる。これは[[リー群]]のホモロジーの安定性の類似である。

無限対称群のホモロジーはそのコホモロジー代数を[[ホップ代数]]化することによって {{Harv|Nakaoka|1961}} で計算されている。

== 対称群の表現論 ==
{{main|{{仮リンク|対称群の表現論|en|Representation theory of the symmetric group}}}}

対称群の[[表現論]]は[[群の表現|有限群の表現論]]の特別な場合であり、具体的かつ詳細な理論が展開される。その応用は広く、[[対称函数]]の理論から、[[同種粒子]]に対する[[量子力学]]まで利用される。

対称群 {{mvar|S{{msub|n}}}} の位数は {{math|''n''!}} である。[[共軛類]]は {{mvar|n}} の分割でラベル付けられるから、有限群の表現論に従えば、[[複素数]]体上の互いに同値でない[[既約表現]]の総数は {{mvar|n}} の分割の総数に等しい。有限群の一般的な状況とは異なり、実は共軛類をパラメータ付けするのと同じ集合（つまり {{mvar|n}} の分割やサイズが {{mvar|n}} の[[ヤング図形]]）で既約表現をパラメータ付けする自然な方法が対称群の場合には存在する。

そのような既約表現はどれも整数全体の集合上で実現することができる（任意の置換が成分が整数の行列として作用する）。これはヤング図形によって形の与えられる[[ヤング盤]]の全体で生成される空間への{{仮リンク|ヤング対称化子|en|Young symmetrizer}}を計算することによって明示的に構成できる。

複素数体をもっとほかの[[可換体|体]]に変更すれば、状況はもっと複雑になる。体 {{mvar|K}} の[[標数]]が {{math|0}} か {{mvar|n}} よりも大ならば、[[マシュケの定理]]により[[群環]] ''KS''{{msub|''n''}} は[[半単純]]であり、この場合整数環上定義された既約表現は（必要ならばその標数を法とする還元を行って）既約表現の完全集合を与える。

しかしそれ以外の任意の標数における対称群の既約表現については知られていない。この文脈では表現の言葉よりも[[環上の加群|加群]]の言葉を用いるほうが普通であるが、整数環上定義された既約表現に標数を法とした還元を行って得られる表現は一般には既約でない。こうして得られる加群は{{仮リンク|シュペヒト加群|en|Specht module}}と呼ばれ、任意の既約表現はそれらの加群の中から得られる。いまのところそのような既約加群はあまり知られておらず、それらの分類についてもたいした理解は得られていない。例えば、その次元なども一般にはわかっていない。 

任意の体上で対称群の既約加群を決定することは、表現論における重要な未解決問題のひとつであると広くみなされている。

== 関連項目 ==
* [[群論]]
* [[ヤング図形]]
* [[自然数の分割]]
* {{仮リンク|対称逆半群|en|Symmetric inverse semigroup}}

== 注 ==
=== 注釈 ===
{{reflist|group="注釈"}}
=== 出典 ===
{{reflist}}
== 参考文献 ==
{{refbegin}}
* {{Citation | last1=Cameron | first1=Peter J. | title=Permutation Groups | publisher=[[Cambridge University Press]] | series=London Mathematical Society Student Texts | isbn=978-0-521-65378-7 | year=1999 | volume=45}}
* {{Citation | last1=Dixon | first1=John D. | last2=Mortimer | first2=Brian | title=Permutation groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94599-6 | id={{MathSciNet | id = 1409812}} | year=1996 | volume=163}}
* {{Citation | last=Jacobson| first=Nathan| author-link=Nathan Jacobson| year=2009| title=Basic algebra| edition=2nd| volume = 1 | series= | publisher=Dover| isbn = 978-0-486-47189-1}}.
* {{Citation | last1=Kaloujnine | first1=Léo | title=La structure des p-groupes de Sylow des groupes symétriques finis | url=http://www.numdam.org/item?id=ASENS_1948_3_65__239_0 | id={{MathSciNet | id = 0028834}} | year=1948 | journal=Annales Scientifiques de l'École Normale Supérieure. Troisième Série | issn=0012-9593 | volume=65 | pages=239–276}}
* {{Citation | last1=Kerber | first1=Adalbert | title=Representations of permutation groups. I | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics, Vol. 240 | doi=10.1007/BFb0067943 | id={{MathSciNet | id = 0325752}} | year=1971 | volume=240}}
* {{Citation | first1=M.W. | last1=Liebeck | first2=C.E. | last2=Praeger | first3=J. | last3=Saxl | title=On the O'Nan-Scott theorem for finite primitive permutation groups | journal=J. Austral. Math. Soc. | volume=44 | year=1988 | pages=389–396 }}
* {{Citation | title=Homology of the Infinite Symmetric Group | first=Minoru | last=Nakaoka | journal=[[The Annals of Mathematics]] | series=2 | volume=73 | number=2 | month=March | year=1961 | pages=229–257 | url=http://www.jstor.org/stable/1970333 | doi=10.2307/1970333 | issue=2 | publisher=Annals of Mathematics }}
* {{Citation | last1=Netto | first1=E. | author1-link=Eugen Netto | title=Substitutionentheorie und ihre Anwendungen auf die Algebra. | publisher=Leipzig. Teubner | language=German | id={{JFM|14.0090.01}} | year=1882}}
* {{Citation | last1=Scott | first1=W.R. | title=Group Theory | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-65377-8 | year=1987 | pages=45–46}}
* {{citation | first=Issai | last=Schur | authorlink=Issai Schur | title=Über die Darstellung der symmetrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen | journal=[[Journal für die reine und angewandte Mathematik]] | volume=139 | year=1911 | pages=155–250 }}
* {{Citation | author2-link=Stanislaw Ulam | last1=Schreier | first1=J. | last2=Ulam | first2=Stanislaw | title=Über die Automorphismen der Permutationsgruppe der natürlichen Zahlenfolge. | url=http://matwbn.icm.edu.pl/ksiazki/fm/fm28/fm28128.pdf | language=German | id={{Zbl|0016.20301}} | year=1936 | journal=Fundam. Math. | volume=28 | pages=258–260}}
{{refend}}

== 外部リンク ==
* {{mathworld | urlname = SymmetricGroup  | title = Symmetric group }}
* {{mathworld | urlname = SymmetricGroupGraph  | title = Symmetric group graph }}

{{DEFAULTSORT:たいしようくん}}
[[Category:群論]]
[[Category:対称性]]
[[Category:順列]]
[[Category:置換]]
[[Category:数学に関する記事]]