対称群

提供: miniwiki
2018/8/19/ (日) 17:39時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索



テンプレート:Groups 対称群(たいしょうぐん、symmetric group)とは、「ものを並べ替える」という操作をとするである。この場合の「ものを並べ替える」操作のことを置換(ちかん、permutation)という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群(ちかんぐん、permutation group[1]と呼ばれる。置換群が空間 X の変換群として与えられているとき、X の元 x の置換は Stab(x) = {σ ∈ Sテンプレート:Msub | σx = x} で与えられる Sテンプレート:Msub の部分群の分だけ潰れているが、これは X のなかに x と「同じ」元が複数含まれている場合に対応しており、X の中でこれらを区別することができれば X の元の置換から対称群 Sテンプレート:Msub が回復される。

定義

集合 Iテンプレート:Msub = {1, 2, …, n} に対し、Iテンプレート:Msub から Iテンプレート:Msub への全単射全体の集合は写像の合成を積としてになることがわかる。これは n-次の対称群と呼ばれ、

[math]S_n,\quad \Sigma_n,\quad \mathfrak{S}_n,\quad \operatorname{Sym}(n)[/math]

などで表される。Sテンプレート:Msub の元は n 次の置換と呼ばれる。 n-次対称群の位数n階乗 n! である。

X有限集合とするとき、Iテンプレート:Msub の場合と同様にして X から X への全単射全体の集合を Sym(X) とおくと、写像の合成を積として Sym(X) は群になる。このとき、Sym(X)X対称群と呼ばれる。有限集合の間の単射 XY に対して対称群の間の単射 Sym(X) → Sym(Y) が自然に定まる。

特に、X の位数(含まれるの個数、濃度)が n のとき、X と集合 Iテンプレート:Msub とのあいだに全単射が存在するので両者を同一視することにより、Sym(X)Sテンプレート:Msub とは群として同型になる。この(全単射の取り方に依存する)群の同一視は次のように理解できる。Iテンプレート:Msub からXへの全単射は Iテンプレート:Msub による X の元の番号付けによって、または X の元を数え上げる列 (xテンプレート:Msub, xテンプレート:Msub, …, xテンプレート:Msub) によって表される。このとき n-次置換 σ は点 xテンプレート:Msub を点 xテンプレート:Msub に移すような写像、つまり点列 (xテンプレート:Msub, xテンプレート:Msub, …, xテンプレート:Msub) の順番を (xテンプレート:Msub, xテンプレート:Msub, ..., xテンプレート:Msub) へと入れ替える写像として具体的に理解することができる。この写像に対応するグラフは、組 (xテンプレート:Ind, σ(xテンプレート:Ind))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]

のように記される[注釈 1]。後者の記法は番号の入れ替えとしての σ の表示を与えており、この二つの記法の対応が集合X と集合 Iテンプレート:Msub との同一視の仕方(全単射の選び方)に応じた Sym(X)Sテンプレート:Msub = Sym(Iテンプレート:Msub) との間に定まる群の同型対応を具体的に与えている。

無限集合についての対称群にあたるものとして二つの異なった概念が挙げられる。ひとつめの概念は有限集合 X に対する Sym(X) の構成をそのまま拡張し、有限とは限らない集合 Y に対しても Y から Y への全単射全体のなす群を考えることによって得られる。もう一つのより繊細な概念は、有限とは限らない集合 Y に対して、その有限部分集合全体のなす族 F を考え、有限対称群たち Sym(X) (XF) の直極限

[math]\varinjlim_{X \in \mathbf{F}} \operatorname{Sym}(X)[/math]

として得られる群である。この二つの定式化は有限集合に対しては自然に同型な群を与えている。自然数の集合 N に対して二つ目の方法を適用して得られる群は Sテンプレート:Msub と書かれ、無限対称群と呼ばれる。これは Sテンプレート:Msub たちすべての合併と見なすことができる。

諸概念

群演算

対称群 Sテンプレート:Msub の群演算は写像の合成で与えられるが、置換 σ, τ が与えられたとき、σ, τ の積を共変的に στ で表すか反変的に τσ で表すかは(対称群の作用の方向が左からであるか右からであるかという)文脈による。

Sテンプレート:Msub の元 σ は全単射であるから逆写像 σテンプレート:Msup が存在して、これが写像の合成に関する逆元を与えるから、この σテンプレート:MsupSテンプレート:Msub における σ の逆元であり、σ の逆置換などと呼ばれる。Sテンプレート:Msub の単位元はどの元も動かさない恒等変換 id であり、これを 1 などで表して恒等置換などとも呼ぶ。

巡回置換

Sテンプレート:Msub に属する置換 σ は、{1, 2, …, n} 上の任意の全単射 f をとり、ある k ∈ {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]

の形(ここで jfテンプレート:Msup(k) の形で得られないような {1, 2, …, n} の元全てについてである)に書けるならば巡回置換 (cycle) と呼び、

[math]\sigma = \begin{pmatrix}k & f(k) & \ldots & f^m(k)\end{pmatrix}[/math]

で表す。このとき m + 1σ によって一意に定まり、巡回置換 σ長さ (length) と呼ばれる。

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

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

互換

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

互換のうち (i (i + 1)) の形で表される互換を基本互換 (fundamental transpositions) あるいは隣接互換 (adjacent transpositions) と呼ぶ。任意の置換は実は隣接互換の積に分解できる。つまり、対称群 Sテンプレート:Msub は隣接互換で生成される。Sテンプレート:Msub における隣接互換 σテンプレート:Msub = (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]

を満たし、組み紐群 Bテンプレート:Msub を生成元が対合となるという関係式で割って Sテンプレート:Msub 得られる。すなわち、Sテンプレート:MsubAテンプレート:Msub-型のコクセター群である。

置換の符号

n-次の置換 σ について、σ符号と呼ばれる ±1 の数 sgn(σ) を定めることができる。sgn(σ) の定義にはいくつかの方法がある。

sgnSテンプレート:Msub から位数 2 の群 {±1} への準同型を定めており、二つ目の定式化からも明らかなように交代群はこの符号写像のとして特徴づけられる。

共役類

群に関する基本的な問題としてその共役類の分類が挙げられるが、対称群 Sテンプレート:Msub における共役類は Sテンプレート:Msubn への自然な作用に関する軌道の形によって分類される。実際、στSテンプレート:Msub の元ならば στστテンプレート:Exp は同じ軌道の形を持っており、逆に συ が同じ軌道の形を持つならば適当な τSテンプレート:Msub について υ = τστテンプレート:Exp となっている。これはすなわち、任意の置換を互いに素な巡回置換の積として表したとき、現れる巡回置換の長さが重複度を込めて一致しているような置換は同じ共軛類に入り、またその逆も成り立つということである。たとえば、n = 3

σ: 1 → 2, 2 → 1, 3 → 3,
τ: 1 → 2, 2 → 3, 3 → 1

のとき、σ の軌道は {1, 2}, {3} (σ = (1 2)(3)) であり、一方 τστテンプレート:Exp の軌道は {1}, {2, 3} (τστテンプレート:Exp = (1)(2 3)) で、どちらも一つの元からなる軌道を一つと二つの元からなる軌道を一つ持っている。

このように、軌道の形(Sテンプレート:Msub の元の互いに素な巡回置換の積としての表示)は各自然数 k に対して k 個の元を持つような軌道(長さ k の巡回置換)の数 mテンプレート:Msub がいくつかを指定することで決定される。このとき、集合 n への作用を考えているので数列 (mテンプレート:Ind)テンプレート:Msubテンプレート:Sum kmテンプレート:Ind = n を満たさなければならない(n の分割)。このとき、

[math]1^{m_1}2^{m_2}\ldots n^{m_n}\quad(1m_1+2m_2+\cdots+nm_n=n)[/math]

を置換 σ巡回置換型 (cycle type)、あるいはたんにと呼ぶ。Sテンプレート:Msub の共軛類は巡回置換型によって決まる。また、 n の分割は、位数 nヤング図形と一対一に対応しており、したがって Sテンプレート:Msub の共役類は位数 n のヤング図形たちによって記述されることになる。

交代群との関係

n ≥ 5 のとき交代群 Aテンプレート:Msub単純で、それによって誘導される商は符号函数である。すなわち、短完全列

[math]1 \to A_n \to S_n \to C_2 \to 1[/math]

は二つの元の互換を取ることによって分裂する。ゆえに、Sテンプレート:Msub半直積

[math]A_n \rtimes C_2[/math]

に分解され、かつそれ以外の真の正規部分群を持たないことがわかる。実際、部分群があれば Aテンプレート:Msub との交わりは単位群(したがってそれ自身単位群か二元群だが後者は正規ではない)または Aテンプレート:Msub(したがってそれ自身 Aテンプレート:Msub または Sテンプレート:Msub)だからである。

Sテンプレート:Msub は部分群である Aテンプレート:Msub に共軛によって作用し、n ≠ 6 のとき Sテンプレート:MsubAテンプレート:Msub の全自己同型群となる。

[math]\operatorname{Aut}(A_n) \cong S_n.[/math]

偶置換による共軛は Aテンプレート:Msub内部自己同型であり、対して Aテンプレート:Msub の位数 2外部自己同型English版は奇置換による共軛に対応する。n = 6 のときは、Aテンプレート:Msub例外型の外部自己同型English版が存在するので、Sテンプレート:MsubAテンプレート:Msub の全自己同型群とはなっていない。

したがって、n ≠ 6 のとき Sテンプレート:Msub は外部自己同型を持たず、さらに n ≠ 2 のとき中心を持たない。ゆえに n ≠ 2, 6 のとき Sテンプレート:Msub完全English版である(後述)。

n ≥ 5 のとき Sテンプレート:Msub概単純群English版であり、それは単純群 Aテンプレート:Msub とその自己同型群の間に位置するものとみなされる。

群の置換表現

G が与えられたとき、G の元 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]

G 上の全単射を与える。群 G から対称群 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]

は群の準同型であり、これにより群 G の元は G 自身の上の置換群の元として表される。これが群の置換表現である。

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

対称群の作用

一般多項式のガロア群

多項式ガロア群とは、多項式の根の全体からなる集合上の置換群のことをいう。n-次対称群 Sテンプレート:Msub は有理数体 Q 上の 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]

のガロア群であることが示される。Sテンプレート:Msub の可解性(これはもちろん交体群 Aテンプレート:Msub可解性と等価であるが)が、n-次一般多項式に対する代数的な根の公式の存在性に言及できるのはこのためである。

対称式

上の多変数多項式環 kテンプレート:Bracket は対称群 Sテンプレート:MsubX への作用を移すことで Sテンプレート:Msub が作用する。この作用の下で不変な元の全体を

[math]k[X]^{\mathfrak{S}_{|X|}} := \{f(X)\in k[X]\mid f^{\sigma}=f \text{ for all }\sigma\in \mathfrak{S}_{|X|}\}[/math]

などであらわし、その元を対称式と呼ぶ(テンプレート:Abs = ∞ のときは、無限変数の多項式環と無限対称群とを考えるならば同様の概念を構成できて、不変元は対称函数と呼ばれる)。

置換行列

n-次の対称群をベクトル空間基底の変換として作用させることで置換を行列表示することができる。具体的に n-次元のベクトル空間 V とその基底 {eテンプレート:Ind, eテンプレート:Ind, …, eテンプレート:Ind} をひとつ固定して、置換 σV への作用を

σ(eテンプレート:Ind) = eテンプレート:Ind (1 ≤ in)

によって定める。このとき σ の表現行列を Pテンプレート:Msub とすると

σ(eテンプレート:Ind, eテンプレート:Ind, …, eテンプレート:Ind) = (eテンプレート:Ind, eテンプレート:Ind, …, eテンプレート:Ind) = (eテンプレート:Ind, eテンプレート:Ind, …, eテンプレート:Ind)Pテンプレート:Msub

から、クロネッカーのデルタ δ を用いて Pテンプレート:Msub = (δテンプレート:Msub) となる。この行列 Pテンプレート:Msub を、置換 σ に対応する置換行列という。偶置換に対応する置換行列の定める線型変換は空間の向きを保ち、一方で奇置換に対応する線型変換は空間の向きを反転させている。

対称群の部分群構造

対称群の部分群は一般に置換群と呼ばれる。

正規部分群

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

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

極大部分群

有限対称群の極大部分群English版は、非推移的 (intransitive)・非原始的 (imprimitive)・原始的 (primitive) の三種類のクラスに分けられる。非推移的極大部分群はちょうど Sym(k) × Sym(nk) (1 ≤ k < n/2) の形をした部分群である。非原始的極大部分群はちょうど Sym(k) ≀ Sym(n/k) の形をしている(ただし、2 ≤ kn/2n の真の約数で、"" は非原始的に作用する輪積を表す)。原始的極大部分群は同じように表すのは難しいが、オナン–スコットの定理English版有限単純群の分類定理の助けを借りるならば、{{#invoke:Footnotes | harvard_citation }} にこの型の極大部分群の十分わかりやすい記述がある[2]

シロー部分群

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

p-次対称群のシロー p-部分群は、単に p-次巡回置換で生成される巡回部分群であり、そのような部分群は (p − 1)!/p −1 = (p − 2)! 個存在することが、単に生成元を数えることによってわかる。したがってその正規化部分群は位数 p(p − 1) であり、(特に p = 5 のとき)フロベニウス群English版 Fテンプレート:Msub や、アフィン一般線型群 AGL(1, p) としても知られる。

また、pテンプレート:Exp-次対称群のシロー p-部分群は、位数 p のふたつの巡回群の輪積である。例えば p = 3 のとき、Sテンプレート:Msub のシロー 3-部分群は a = (1, 4, 7)(2, 5, 8)(3, 6, 9) および x = (1, 2, 3), y = (4, 5, 6), z = (7, 8, 9) で生成され、シロー 3-部分群の任意の元は

[math]a^i x^j y^k z^l \quad (0\le i,j,k,l\le 2)[/math]

の形で与えられる。

同様に、pテンプレート:Exp-次対称群のシロー p-部分群はしばしば Wテンプレート:Msub(n) と書かれる。この記号法に従えば、Wテンプレート:Msub(n + 1)Wテンプレート:Msub(n)Wテンプレート:Msub(1) との輪積となる。

一般に n-次対称群のシロー p-部分群は、Wテンプレート:Msub(i)aテンプレート:Ind 個のコピーの直積である。ただし、0 ≤ aテンプレート:Msubp − 1 かつ n = aテンプレート:Msub + paテンプレート:Msub + … + pテンプレート:Msupaテンプレート:Msub とする。

例えば、Wテンプレート:Msub(1) = Cテンプレート:Msub および Wテンプレート:Msub(2) = Dテンプレート:Msub (位数 8二面体群)である。また、7-次対称群のシロー 2-部分群は {(1,3)(2,4), (1,2), (3,4), (5,6)} で生成され、Dテンプレート:Msub × Cテンプレート:Msub に同型である。

これらの計算は {{#invoke:Footnotes | harvard_citation }} による。またさらに詳細な記述については {{#invoke:Footnotes | harvard_citation }} を参照。{{#invoke:Footnotes | harvard_citation }} はコーシーの1844年の結果に基づくもので、その内容のほとんどは教科書として {{#invoke:Footnotes | harvard_citation }} がカバーしていることに注意。

対称群の自己同型群

n 自己同型群 外部自己同型群 中心
n ≠ 2, 6 Sテンプレート:Msub 1 1
n = 2 1 1 Sテンプレート:Msub
n = 6 [math]S_6 \rtimes C_2[/math] Cテンプレート:Msub 1

n ≠ 2, 6 のとき Sテンプレート:Msub完全群English版中心外部自己同型群English版が両方とも自明)である。

n = 2 のとき、自己同型群は自明だが Sテンプレート:Msub 自身は自明でない(巡回群 Cテンプレート:Msub に同型で、これはアーベル群だから、中心は Sテンプレート:Msub 全体)。

n = 6 のときは位数 2 の外部自己同型をもち、自己同型群は Sテンプレート:MsubCテンプレート:Msub による半直積となる。

[math]\operatorname{Out}(S_6)=C_2, \quad \operatorname{Aut}(S_6)=S_6 \rtimes C_2.[/math]

実は、6 以外の濃度の任意の集合 X に対して、X 上の対称群の任意の自己同型は内部自己同型である。{{#invoke:Footnotes | harvard_citation }} によれば、この結果をはじめて得たのは {{#invoke:Footnotes | harvard_citation }} である。

対称群のホモロジー

対称群 Sテンプレート:Msub群ホモロジーEnglish版は極めて正則かつ安定である。一次のホモロジー(つまりアーベル化)は

[math]H_1(S_n,\mathbb{Z}) = \begin{cases} 0 & n \lt 2\\ \mathbb{Z}/2 & n \geq 2\end{cases}[/math]

である。n < 2 のときは自明、n ≥ 2 のときは符号写像 sgn: Sテンプレート:MsubCテンプレート:Msub に対応している。これは以下のように簡単に計算できる。Sテンプレート:Msub対合(位数 2 の元、2-サイクル)で生成されるから、写像 Sテンプレート:MsubCテンプレート:Msub が非自明なのは p = 2 のときであり、またすべての対合は、共軛であるから(アーベル群上の共軛変換は自明なので)そのアーベル化の同じ元へうつる。したがって、唯一可能な写像

[math]S_n \to C_2 \cong \{\pm 1\}[/math]

は対合を 1 へ移す(自明写像)か −1 へ移す(符号写像)。符号写像が矛盾なく定まっていることは確認すべきことだが、それを認めれば、これで Sテンプレート:Msub の一次ホモロジーが得られる。

二次のホモロジー(具体的にはシューア因子English版)は

[math]H_2(S_n,\mathbb{Z}) = \begin{cases} 0 & n \lt 4\\ \mathbb{Z}/2 & n \geq 4\end{cases}[/math]

である。これは {{#invoke:Footnotes | harvard_citation }} で計算されており、対称群の二重被覆English版 2⋅Sテンプレート:Msub に対応する。

交代群の低次ホモロジーに関する例外的English版な同型(非自明なアーベル化の存在に対応して

[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]

が成立するなど)に対して、交代群を対称群に取り替えることはできないことに注意すべきである。これは、交代群に関する現象から対称群に関する現象が導ける(例えば自然な全射 Aテンプレート:MsubCテンプレート:Msub は自然な全射 Sテンプレート:MsubSテンプレート:Msub に延びるし、Aテンプレート:Msub および Aテンプレート:Msub の三重被覆は Sテンプレート:Msub および Sテンプレート:Msub の三重被覆に延びる)けれども、しかしそれは「ホモロジー的」(ホモロジーを取る操作と可換)ではないという意味である。つまり、全射 Sテンプレート:MsubSテンプレート:MsubSテンプレート:MsubSテンプレート:Msub をそのアーベル化に取り替えることはできないし、後者の例では三重被覆をホモロジーに対応させることができないということになる。

このホモロジーは安定ホモトピーEnglish版論でいう意味で「安定」である。すなわち、包含写像 Sテンプレート:MsubSテンプレート:Msub と適当な整数 k が存在して、ホモロジーの間の包含写像

[math]H_k(S_n) \to H_k(S_{n+1})[/math]

が十分大きな n に対して同型となる。これはリー群のホモロジーの安定性の類似である。

無限対称群のホモロジーはそのコホモロジー代数をホップ代数化することによって {{#invoke:Footnotes | harvard_citation }} で計算されている。

対称群の表現論

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

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

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

複素数体をもっとほかのに変更すれば、状況はもっと複雑になる。体 K標数0n よりも大ならば、マシュケの定理により群環 KSテンプレート:Msub半単純であり、この場合整数環上定義された既約表現は(必要ならばその標数を法とする還元を行って)既約表現の完全集合を与える。

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

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

関連項目

注釈

  1. これはグラフであって、表示が似ているからと言ってベクトルや行列ではない。また、実際には前者(点の入れ替え)と後者(番号の入れ替え)は双対の関係にあり、ちょうど σテンプレート:Exp(xテンプレート:Ind)xテンプレート:Ind が、あるいは σ の右作用と左作用との入れ替えが対応する。

出典

  1. 『岩波数学事典』 日本数学会、岩波書店、2007年、第4版。ISBN 978-4000803090。
  2. {{#invoke:Footnotes | harvard_citation }}

参考文献

外部リンク