対称群の表現論 (組合せ論講義ノート)

対称群の表現論 (組合せ論講義ノート)
橋本隆司
3
目次
第1章
対称群，線形代数
7
1
n 次対称群 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7
2
線形代数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
Sn の表現論
19
3
有限群の表現論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
4
指標 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
5
Specht 加群 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
第2章
参考文献
37
5
はじめに
この講義ノートは鳥取大学大学院工学研究科情報エレクトロニクス専攻の博士前期課程
1 年生を対象に行われた講義「組合せ論」の講義ノートを加筆・修正して作成された．
講義では対称群の表現論への入門的な解説を行うことを目標とし，第 1 章では対称群の
構造について簡単におさらいした後，線形代数の復習を行い，多重線形代数，すなわち，
ベクトル空間のテンソル積，外積代数，対称代数について説明した．ついで第 2 章におい
ては有限群の表現論および指標について解説した後，対称群の表現を組合せ論的に構成す
る Specht 加群についての解説を行った．線形代数が縦横に駆使される様子を目の当たり
にすることができるかと思う．
7
第1章
対称群，線形代数
1 n 次対称群
1.1 n 次対称群
定義 1.1.1. X, Y を 2 つの集合， f : X → Y を X から Y への写像とする．
def.
1. f が全射（上への写像） ⇐⇒ f (X) = Y
def.
2. f が単射（1 対 1 写像） ⇐⇒ f (x1 ) = f (x2 ) ⇒ x1 = x2
∼
def.
3. f が全単射 ⇐⇒ f は全射かつ単射．このとき f : X → Y とかく．
部分集合 A ⊂ X に対し， f (A) = { f (x) ∈ Y; x ∈ A} を， f による A の像という．部分集
合 B ⊂ Y に対し， f −1 (B) = {x ∈ X; f (x) ∈ B} を， f による B の逆像という．1 点のみから
なる集合の逆像 f −1 ({y}) を単に f −1 (y) とかく．また写像 f : X → Y を，部分集合 A ⊂ X
に制限して得られる写像を， f |A : A → Y とかく．
2 つの写像 f : X → Y, g : Y → Z が与えられたとき，その合成写像 g ◦ f : X → Z とは，
各 x ∈ X に対し，Z の元 g( f (x)) を対応させる写像である．
X からそれ自身への恒等写像を 1X : X → X, x → x と定める．
写像 f : X → Y が全単射であるとき，∀y ∈ Y に対し，y = f (x) となる X の元 x がただ
1 つ存在するので，Y から X への写像が定まる．この写像
Y → X,
y → x （ただし y = f (x)）
を f の逆写像といい， f −1 とかく．このとき
f −1 ◦ f = 1X , f ◦ f −1 = 1Y
がなりたつ．
自然数 n に対し，集合 [n] := {1, 2, . . . , n} からそれ自身への全単射な写像全体のなす集
合に，写像の合成により積を定義したものを n 次対称群といい，Sn とかく．単位元は
恒等写像 1[n] ，σ の逆元は逆写像 σ−1 である．Sn の各元を置換という．σ ∈ Sn により，
第 1 章対称群，線形代数
8
i → σ(i) (i = 1, 2, . . . , n) となるとき，σ を
(
1
2
σ=
σ(1) σ(2)
···
···
とかく．σ が全単射であるとは，i
σ( j) を意味する．この記法で，στ = ρ，
j ⇒ σ(i)
)
n
σ(n)
すなわち
(
1
σ(1)
2
σ(2)
)(
n
1
σ(n) τ(1)
···
···
2
τ(2)
···
···
) (
n
1
=
τ(n)
ρ(1)
2
ρ(2)
···
···
n
ρ(n)
)
とすると，ρ(i) = σ(τ(i)) となる*1 ．例えば，n = 3 のとき，
)(
3 1 2
3 1 3
(
)(
1 2 3 1 2
1 3 2 2 1
(
1 2
2 1
となることからわかるように，n
) (
)
3
1 2 3
=
,
2
2 3 1
) (
)
3
1 2 3
=
3
3 1 2
3 のとき，Sn は非可換な有限群で，その位数は n! に
等しい．
def.
定義 1.1.2. 集合 G が群である ⇐⇒ G は次の 3 条件を満たす：
1. ∀x, y, z ∈ G に対し，結合法則 (xy)z = x(yz) がなりたつ．
2. 単位元とよばれる G の元 e が存在して，∀x ∈ G に対し， xe = ex = x がなりたつ．
3. ∀x ∈ G に対し，G の元 x′ が存在して，xx′ = x′ x = e がなりたつ．この元 x′ を x の逆元とよ
び， x−1 とかく．
群 G の集合としての濃度 #G が有限であるとき，G を有限群といい，#G を G の位数という．
1.2 巡回置換，互換
いま
i1 → i2 → i3 → · · · → il−1 → il → i1
となる Sn の元 σ を l 次の巡回置換といい σ = (i1 , i2 , . . . , il ) とかく．
例 1.2.1. σ =
(1 2 3)
231
は巡回置換で，σ = (1, 2, 3) とかける．同様に，
(1 2 3)
312
= (1, 3, 2).
命題 1.2.2. 任意の σ ∈ Sn はいくつかの巡回置換の積でかける．
例 1.2.3.
1. σ =
(1 2 3 4 5)
35412
1 → 3 → 4 → 1,
2. σ =
(1 2 3 4 5 6 7)
4251376
2→5→2
∴ σ = (1, 3, 4)(2, 5) = (2, 5)(1, 3, 4).
について
1 → 4 → 1,
*1
について
3 → 5 → 3,
6→7→6
本によっては，ρ(i) = τ(σ(i)) とする逆の流儀もあるので注意．
∴ σ = (1, 4)(3, 5)(6, 7).
1 n 次対称群
9
2 次の巡回置換を互換という．
命題 1.2.4. 任意の巡回置換は互換の積でかける．実際，
(i1 , i2 , . . . , il ) = (i1 , il )(i1 , il−1 ) . . . (i1 , i2 ).
証明 . 右辺の置換の積を図式化すると次のようになる:
i1
···
i3
i2
il
これが左辺の置換に等しいことは明らか．
命題 1.2.5. 任意の互換 (i. j) (i < j) に対し，
(i, j) = (i, i + 1)(i + 1, i + 2) . . . ( j − 2, j − 1)( j − 1, j)( j − 2, j − 1) . . . (i, i + 1)
が成り立つ．
証明 . 上の命題と同様，右辺の置換の積を図式化すると以下の如し:
i
i+1
i+2
これが左辺の置換に等しいことも明らか．
···
j−1
j
第 1 章対称群，線形代数
10
互換 (i, i + 1) を隣接互換という．
定理 1.2.6. 任意の置換はいくつかの隣接互換の積でかける．ただし，その表し方は一通り
とは限らない．
例 1.2.7. σ =
(1 2 3)
321
= (1, 2)(2, 3)(1, 2) = (2, 3)(1, 2)(2, 3).
隣接互換 (i, i + 1) を si とかく．与えられた σ ∈ Sn に対し，
σ = s i1 s i2 . . . s ik
(1.2.1)
とかいたときの k の最小値を σ の長さといい，ℓ(σ) とかく．特に ℓ(e) = 0 とする. また，
(1.2.1) において，k = ℓ(σ) となるとき，右辺を σ の最短表示という．
問 1.2.8. S3 のすべての元に対し，その長さを求めよ．
問 1.2.9. S4 の元で長さが最大になる元 wo を求めよ．また，ℓ(wo ) および wo の最短表示
を求めよ．
1.3 共役・型
def.
定義 1.3.1. σ, τ ∈ Sn が共役 ⇐⇒ ∃g ∈ Sn s.t. τ = gσg−1 .
注意 1.3.2. σ, τ ∈ Sn に対し，σ ∼ τ を “σ と τ が共役” と定めると，2 項関係 ∼ は同値関
係，すなわち, 次の 3 つの条件をみたす：
1. σ ∼ σ (∀σ ∈ Sn )
2. σ ∼ τ ⇒ τ ∼ σ
3. σ ∼ τ かつ τ ∼ ρ ⇒ σ ∼ ρ
今，任意の σ ∈ Sn を
σ = (i1 , i2 , . . . , il1 )( ji , j2 , . . . , jl2 ) · · · (k1 , k2 , . . . , kls )
と互いに共通部分のない巡回置換の積にかくとき，各因子は互いに可換なので
l1
l2
...
l s > 0,
(l1 + l2 + · · · + l2 = n)
としてよい．数列 (l1 , l2 , . . . , l s ) は σ により一意に決まる．この数列を σ の定める分割と
いう．また， p = 1, 2, . . . , n に対し，li = p となる li の個数を α p = α p (σ) とかき
1α1 2α2 · · · nαn
(α1 + 2α2 + . . . nαn = n, α1
0, . . . , αn
0)
を σ の型という．
例 1.3.3. σ = 354162879*2 は σ = (1, 3, 4)(2, 5, 6)(7, 8)(9) とかけるので，σ の分割は
(3, 3, 2, 1)，型は 1232 .
*2
(
)
置換 13 25 34 41 56 62 78 87 99 を行き先 (2 行目) だけを抜き出して，単にこうかく (one-line notation)．
2 線形代数
11
定理 1.3.4. σ と τ が共役であるための必要十分条件は，σ と τ の型が一致することで
ある．
証明 . ⇒: σ′ = gσg−1 , σ = σ1 σ2 · · · σ s (σi は li 次の巡回置換) とすると，gτg−1 =
gσ1 g−1 · gσ2 g−1 · · · gσ s g−1 で，gσi g−1 は互いに共通部分のない li 次の巡回置換．
⇐:(略))
2 線形代数
2.1 線形代数 (復習)
以下，体 k は R，または C とする．
def.
定義 2.1.1 (vector space). V が k-vector space ⇐⇒
1. V は加法群，
2. スカラー倍とよばれる写像 k × V → V, (λ, v) → λv が定義されていて，
（a）λ(µv) = (λµ)v
（b）λ(u + v) = λu + λv, (λ + µ)v = λv + µv
（c）1v = v
がすべての λ, µ ∈ k と u, v ∈ V についてなりたつ．
k-vector space V の部分集合 U ⊂ V が，上の 3 条件を満たすとき，U を V の k-vector
subspace，あるいは単に部分空間という．
定義 2.1.2.
1. V を k-vector space とする．{vi , v2 , . . . , vr } ⊂ V が k 上一次独立または
def.
線形独立 ⇐⇒ λ1 , . . . , λr ∈ k に対し
λ1 v1 + · · · + λr vr = 0 ⇒ λ1 = · · · = λr = 0
が成り立つ．
def.
2. Σ = {vi , v2 , . . . , vn } が V の k-基底 ⇐⇒ Σ は k 上一次独立であって，∀v ∈ V は
v = λ1 v1 + · · · + λn vn
(2.1.1)
とかける．このとき，n を V の k 上の次元とよび，n = dimk V とかく．体 k が明らか
なときは添え字を省略する．また，(2.1.1) の形を v1 , , . . . , vn の一次結合または線形結合と
いう．
例 2.1.3. Cn = {(x1 , . . . , xn )t ; xi ∈ C} (n 次列ベクトルの全体)
定義 2.1.4 (線形写像). V, W を k-vector space とするとき，写像 ϕ : V → W が k-線形写
def.
像 ⇐⇒
第 1 章対称群，線形代数
12
1. u, v ∈ V ⇒ ϕ(u + v) = ϕ(u) + ϕ(v)
2. λ ∈ k, v ∈ V ⇒ ϕ(λv) = λϕ(v)
(ϕ は加法群の準同型)
(ϕ はスカラー倍の作用と可換)
V から W への k-線形写像の全体を Homk (V, W)，また Homk (V, V) を Endk (V) とかく．
Homk (V, W) に和 f + g およびスカラー倍 λ f ( f, g ∈ Homk (V, W), λ ∈ k) を
( f + g)(v) := f (v) + g(v),
(λ f )(v) := λ f (v)
(v ∈ V)
(2.1.2)
により定めると，Homk (V, W) はまた k-vector space になる．
Σ1 = {v1 , . . . , vn }, Σ2 = {w1 , . . . , wm } をそれぞれ V, W の基底とすると，ϕ ∈ Hom(V, W) に
対して，m × n 行列 A = (ai j ) が
m
∑
ϕ(v j ) =
ai j wi
( j = 1, . . . , n)
(2.1.3)
i=1
により定まる．行列 A を基底 Σ1 , Σ2 に関する ϕ の表現行列という．(2.1.3) を行列の形で
表せば
(ϕ(v1 ), . . . , ϕ(vn )) = (w1 , . . . , wm )A.
Σ′1 = {v′1 , . . . , v′n }, Σ′2 = {w′1 , . . . , w′m } をそれぞれ V, W のもう一つの基底とするとき，Σ′1 , Σ′2
に関する ϕ の表現行列 B と，A との関係はどうなるかを見よう．Σ1 と Σ′1 の間の基底の変
換行列を P = (αi j )i, j=1,...,n , i.e. v′j =
∑
i
αi j vi とする．これを行列の形で書くと
(v′1 , . . . , v′n ) = (v1 , . . . , vn )P.
(⋆)
同様に，Σ2 と Σ′2 の間の基底の変換行列を Q とする:
(w′1 , . . . , w′m ) = (w1 , . . . , wm )Q.
このとき AP = QB となることが容易にわかる．すぐあとに示すように，基底の変換行列
は可逆であるので，従って B = Q−1 AP となる．
命題 2.1.5. V の基底を，Σ, Σ′ , Σ′′ とし，Σ から Σ′ , Σ′ から Σ′′ ，また Σ から Σ′′ への変換行
列をそれぞれ P1 , P2 , P3 とすると，P3 = P1 P2 である．特に，Σ = Σ′′ とすれば P3 = I で
あるから，基底の変換行列は可逆である．
′′
証明 . Σ := {v1 , . . . , vn }, Σ′ := {v′1 , . . . , v′n }, Σ′′ := {v′′
1 , . . . , vn } とすると，
(v′1 , . . . , v′n ) = (v1 , . . . , vn )P1
(v′′1 , . . . , v′′n ) = (v′1 , . . . , v′n )P2
(v′′1 , . . . , v′′n ) = (v1 , . . . , vn )P3 .
′′
一番目の式を二番目の右辺に代入して (v′′
1 , . . . , vn ) = (v1 , . . . , vn )P1 P2 , これと三番目と比
較して，P3 = P1 P2 (∵ v1 , . . . , vn は一次独立)．
2 線形代数
13
商ベクトル空間
k-vector spaceV とその部分空間 U に対し，V ∋ v, w の間の 2 項関係 ∼ を
def.
v ∼ w ⇐⇒ v − w ∈ U
で定めると，これは同値関係で，商集合 V/ ∼ に和およびスカラー倍を
[u] + [v] := [u + v],
λ[v] := [λv]
(u, v ∈ V, λ ∈ k)
により定める*3 と，V/ ∼ は k-vector space になる．これを V を U で割った商ベクトル空
間といい，V/U とかく．このとき，自然な射影 V → V/U, v → [v] は全射な線形写像に
なる．
定理 2.1.6 (準同型定理). ϕ : V → W を k-vector space の線形写像とすると，
ϕ¯ : V/ Ker ϕ → Im ϕ,
[v] → ϕ(v)
(2.1.4)
は同型写像になる．
系 2.1.7. ϕ ∈ Homk (V, W) について，dim V = dim Ker ϕ + dim Im ϕ
系 2.1.8. dim V = dim W とすると，ϕ ∈ Homk (V, W) について，ϕ が単射 ⇔ ϕ が全射．
直和
k-vector space の族 {Vi }i=1,2,...,r に対し，直積集合 V1 × V2 × · · · × Vr に和およびスカラー
倍を
(x1 , x2 , . . . , xr ) + (y1 , y2 , . . . , yr ) := (x1 + y1 , x2 + y2 , . . . , xr + yr ),
λ(x1 , x2 , . . . , xr ) := (λx1 , λx2 , . . . , λxr )
により定義すれば，k-vector space になる．これを {Vi } の直和空間といい，V1 ⊕V2 ⊕· · ·⊕Vr ，
⊕r
k=1
Vk で表す．写像 ιi : Vi →
⊕r
Vk , xi → (0, . . . , xi , . . . , 0) (i 番目以外はゼロ
⊕
ベクトル) は単射線形写像で，これにより各 Vi を直和空間
Vk の部分空間とみなすこと
または
k=1
ができる．このとき (x1 , x2 , . . . , xr ) = x1 + x2 + · · · + xr に注意．
双対空間
(2.1.2) において，W = k としたものを V ∗ とかき，V の双対空間という．{e1 , . . . , en } を
V の基底とすると，任意の v ∈ V は v = c1 e1 + · · · + cn en (c1 , . . . , cn ∈ k) と一意的にかける
ので
fi (v) = ci
*3
ただし [v] は v の同値類をあらわす
第 1 章対称群，線形代数
14
とおくと， fi ∈ V ∗ (i = 1, . . . , n)，さらに { f1 , . . . , fn } が V ∗ の基底となることがわかる．こ
れらは fi (e j ) = δi j をみたす．基底 fi , . . . , fn を {e1 , . . . , en } の双対基底という．
例 2.1.9. Cn = {x = (x1 , . . . , xn )t ; xi ∈ C} の双対空間 (Cn )∗ は {u = (u1 , . . . , un ); ui ∈ C} (行
ベクトル) ただし
 
 x1  ∑
 
ui xi
⟨u, x⟩ = (u1 , . . . , un )  ...  =
 
i
xn
ei = (0, . . . , 1, . . . , 0)t (第 i 成分以外は 0) とおくとき，{e1 , . . . , en } は Cn の基底で，その双
対基底は {et1 , . . . , etn }．
注意 2.1.10. 一般に，任意の (有限次元) ベクトル空間 V に対し，自然な同型 (V ∗ )∗ ≃ V が
成り立つ．
2.2 テンソル積
次にべクトル空間のテンソル積に導入したいのだが，その前に，例を一つ挙げよう．
例 2.2.1. V := Cn = {x := (x1 , . . . , xn )t ; xi ∈ C} に対して，V のベクトル空間として
の構造は，なにも各成分が C の元である必要はなく，和とスカラー倍が定義されて
いる空間，すなわちベクトル空間の元であれば，全く同じようにして定義できるこ
とは明白であろう．そこで例えば，W := Cm ∋ y := (y1 , . . . , ym )t として，ベクトル
x ⊗ y := (x1 y, . . . , xn y)t ∈ Cnm の全体を V ⊗ W とかく (係数拡大)．このとき，次が成り立
つことに注意: 任意の x, x′ ∈ V; y, y′ ∈ W; λ, µ ∈ k に対して
(λx + µx′ ) ⊗ y = λx ⊗ y + µx′ ⊗ y
x ⊗ (λy + µy′ ) = λx ⊗ y + µx ⊗ y′
(2.2.1)
また V = Cn , W = Cm の基底として，それぞれ {ei }i=1,...,n , { f j } j=1,...,m ，ただし
i
ei = (0, . . . , 1, . . . , 0)t
j
f j = (0, . . . , 1, . . . , 0)t
をとれば，ei ⊗ f j (i = 1, . . . , n; j = 1, . . . , m) が V ⊗ W の基底となることは明らかであろ
う．特に dim(V ⊗ W) = nm.
上の例を一般化して，ベクトル空間のテンソル積を次のように定義する．V, W, T を
k-vector space，dim V = n, dim W = m とする．写像 Φ : V × W → T が双線形，i.e. 任意
の x, x′ ∈ V; y, y′ ∈ W; λ, µ ∈ k について
Φ(λx + µx′ , y) = λΦ(x, y) + µΦ(x′ , y)
Φ(x, λy + µy) = λΦ(x, y) + µΦ(x, y′ )
を満たすとする．さらに次の条件を考える:
2 線形代数
15
(T1) x1 , . . . , xr ∈ V が一次独立ならば y1 , . . . , yr ∈ W に対して
r
∑
Φ(xi , yi ) = 0 ⇒ yi = 0 (i = 1, . . . , r)
i=1
(T1’) y1 , . . . , yr ∈ W が一次独立ならば， x1 , . . . , xr ∈ V に対して
r
∑
Φ(xi , yi ) = 0 ⇒ xi = 0 (i = 1, . . . , r)
i=1
(T2) T は Φ(x, y) (x ∈ V, y ∈ W) により生成される．
補題 2.2.2. 上の記号の下，Φ が (T1)，(T2) （または (T1’)，(T2)）を満たす ⇔V, W の基
底をそれぞれ {ei }, { f j } とするとき，Φ(ei , f j ) が T の基底である．
このとき，次の定理が成り立つことが知られている:
定理 2.2.3. k-vector space V, W が任意に与えられたとき，k-vector space T ，
および双線形写像 Φ : V × W
→ T で，(T1)，(T1’) および (T2) を満たす
ものが存在する．さらに，このような組 (T, Φ) は次の意味で普遍的である:
(T ′ , Φ′ ) を k-vector space と双線形写像 V × W → T ′ の勝手な
組とするとき，線形写像 ρ : T → T ′ で
V ×W
●●
●● Φ′
●●
Φ
●●
●#
/ T′
T
ρ
Φ′ (x, y) = ρ(Φ(x, y)) (x ∈ V, y ∈ W)
を満たすものが一意に定まる．
このとき，
V ⊗ W := T,
x ⊗ y := Φ(x, y)
とかき，V ⊗ W を V と W のテンソル積という．V ⊗ W は k-vector space であるばかりで
なく，双線形写像
V × W → V ⊗ W,
(x, y) → x ⊗ y
が与えられていて，(T1),(T1’),(T2) を満たすことに注意．また補題より，dim(V ⊗ W) =
(dim V)(dim W)．
命題 2.2.4. U, V, W を k-vector space とするとき，
1. V ⊗ W ≃ W ⊗ V
x⊗y↔y⊗x
2. (U ⊗ V) ⊗ W ≃ U ⊗ (V ⊗ W)
3. V ⊗ k ≃ k ⊗ V ≃ V
(x ⊗ y) ⊗ z ↔ x ⊗ (y ⊗ z)
x ⊗ λ ↔ λ ⊗ x ↔ λx
命題 2.2.4 の 2.(テンソル積の結合則) より，(U⊗V)⊗W = U⊗(V⊗W) を，単に U⊗V⊗W と
かく．また，テンソル積は括弧のつけ方に無関係に定まるので
で表す．特に，V1 = V2 = · · · = V s = V のとき，
⊗s
i=1
Vi = V
⊗s
⊗s
i=1
Vi = V1 ⊗ V2 ⊗ · · · ⊗ V s
とかく．
第 1 章対称群，線形代数
16
命題 2.2.5. Ψ : (V ∗ )⊗s ≃ (V ⊗s )∗ ，ϕ1 ⊗ · · · ⊗ ϕ s → (v1 ⊗ · · · ⊗ v s → ϕ1 (v1 ) · · · ϕ s (v s ))
証明 . V の基底を {ei }，V ∗ の双対基底を { fi } とすると，ϕ =
∑
ξi1 ...is fi1 ⊗ · · · ⊗ fis とかける．
仮定より，任意の (V ⊗s )∗ の元での ϕ の値がゼロであるから，特に
0 = ϕ(ei1 ⊗ · · · ⊗ eis ) =
∑ ⟨
⟩ ⟨
⟩
f j1 , ei1 · · · f js , eis = ξi1 ···is
(∀i1 , . . . , i s )
ji ,..., j s
∴ ϕ = 0.
すなわち Ψ は単射．dim(V ∗ )⊗s = dim(V ⊗s )∗ = (dim V) s であるから，Ψ は同型．
問 2.2.6. Hom(V, W) ≃ V ∗ ⊗ W であることを示せ．
2.3 テンソル代数，外積代数，対称代数
直和空間 T (V) :=
t=
∑
tr , t ′ =
∑
⊕∞
r=0 V
⊗r
⊗r
(ただし V ⊗0 = k) に和とスカラー倍を以下で定義する:
tr′ (tr , tr′ ∈ V ; 有限和) に対して，
∑
t + t′ :=
(tr + tr′ ),
λt :=
∑
λtr
これにより，T (V) は k-vector space となるが，さらに，積 tt′ を
tt′ :=
∑( ∑
n
tr ⊗ t′s
)
r+s=n
で定義すれば，これは双線形，かつ，結合則および分配側を満たす．これを V のテンソル
代数という．
外積代数
次に，線形写像 An : V ⊗n → V ⊗n を
An (v1 ⊗ · · · ⊗ vn ) :=
∑
(−1)σ vσ(1) ⊗ · · · ⊗ vσ(n)
σ∈Sn
∧n
で定義し*4 ，
V := A (V ⊗n ) とおく (ただし，
∧0
V := k).
∧•
V :=
⊕∞ ∧n
n=0
積代数という．
例 2.3.1. n = 2 のとき，A2 (v1 ⊗ v2 ) = v1 ⊗ v2 − v2 ⊗ v1
n = 3 のとき
A3 (v1 ⊗ v2 ⊗ v3 ) = v1 ⊗ v2 ⊗ v3 − v2 ⊗ v1 ⊗ v3 − v1 ⊗ v3 ⊗ v2
+ v2 ⊗ v3 ⊗ v1 + v3 ⊗ v1 ⊗ v2 − v3 ⊗ v2 ⊗ v1
v1 ∧ · · · ∧ vn := An (v1 ⊗ · · · ⊗ vn ) とかく.
*4
(−1)σ := (−1)ℓ(σ)
V を V の外
2 線形代数
17
1. v1 ∧· · ·∧(λvi +µv′i )∧· · ·∧vn = λ v1 ∧· · ·∧vi ∧· · ·∧vn +µ v1 ∧· · ·∧v′i ∧· · ·∧vn
命題 2.3.2.
2. vσ(1) ∧ · · · ∧ vσ(n) = (−1)σ v1 ∧ · · · ∧ vn
( )
∧
dim V = N とすると，dim n V = Nn で {e1 , . . . , eN } が V の基底ならば，{ei1 ∧· · ·∧ein ; 1
∧
i1 < · · · < in N} が n V の基底．
∧k
V⊗
∧n−k
W→
∧n
(V ⊕ W) を (v1 ∧ · · · ∧ vk ) ⊗ (w1 ∧ · · · ∧ wn−k ) →
⊕n ∧
∧
∧
v1 ∧ · · · ∧ vk ∧ w1 ∧ · · · ∧ wn−k により定義するとき，同型 k=0 ( k V ⊗ n−k W) ≃ n (V ⊕ W)
命題 2.3.3. 線形写像
を得る．
(
命題 2.3.4. 線形写像 ϕ1 ∧ · · · ∧ ϕk → v1 ∧ · · · ∧ vk →
り，同型
∧k
V∗ ≃ (
∧k
∑
σ (−1)
σ
)
ϕσ(1) (v1 ) · · · ϕσ(k) (vk ) によ
V)∗ を得る．
問 2.3.5. V の基底を {ei }，V ∗ の双対基底を {e∗i } とするとき，{e∗i1 ∧ · · · ∧ e∗ik ; i1 < · · · < ik }
が {ei1 ∧ · · · ∧ eik } の双対基底となることを示せ．
対称代数
線形写像 Sn : V ⊗n → V ⊗n を
Sn (v1 ⊗ · · · ⊗ vn ) :=
∑
vσ(1) ⊗ · · · ⊗ vσ(n)
σ∈Sn
で定義し，Symn V := Sn (V ⊗n ) とかき，Sym• V :=
⊕∞
n=0
Symn V を V の対称代数という．
例 2.3.6. n = 2 S2 (v1 ⊗ v2 ) = v1 ⊗ v2 + v2 ⊗ v1
Sn (v1 ⊗ · · · ⊗ vn ) を単に v1 · · · vn とかく (cf. 下の命題 2.3.7 の 2.)．
1. v1 · · · (λvi + µv′i ) . . . vn = λ v1 . . . vi . . . vn + µ v1 . . . v′i . . . vn
命題 2.3.7.
2. vσ(1) . . . vσ(n) = v1 . . . vn
V の基底を {e1 , . . . , eN } とすると，{ei11 · · · eiNN ; i1 , . . . , iN
0, i1 + · · · + iN = n} が Symn V
の基底．
問 2.3.8. dim Symn V =
(N+n−1)
N−1
=
(N+n−1)
命題 2.3.9. Symk V ⊗ Symn−k W
v1 . . . vk w1 . . . wn−k
n
を示せ．
→
Symn (V ⊕ W) を v1 . . . va ⊗ w1 . . . wn−k →
⊕n
k
n−k
により定義すれば，同型
W ≃ Symn (V ⊕ W) を
k=0 Sym V ⊗ Sym
得る．
証明 . p := dim V, q := dim W とおくと dim(V ⊕ W) = p + q．ゆえに dim Symn (V ⊕
W) =
( p+q+n−1)
p+q−1
dim(RHS)．
．一方，次の補題 2.3.10 より dim(LHS) =
∑n ( p+k−1)(q+n−k−1)
k=0
a
n−k
=
( p+q−1)
n
=
第 1 章対称群，線形代数
18
補題 2.3.10. 等式
)(
) (
)
n (
∑
p+k−1 q+n−k−1
p+q−1
=
a
n−k
n
k=0
が成り立つ．
証明 . α ∈ C に対し，展開式 (1 − x)−α =
∑∞ (α+k−1)
k=0
k
xk が成り立つ．そこで (1 − x)−p (1 −
x)−q = (1 − x)−p−q の両辺で xn の係数を比較することにより，望む等式を得る．
(
命題 2.3.11. 写像 ϕi . . . ϕn → v1 . . . vk →
∑
σ
)
ϕσ(1) (v1 ) · · · ϕσ(k) (vk ) により，同型 Symn V ∗ ≃
(Symn V)∗ を得る．
証明 . 外積代数の場合と同様，i.e. Symn V ∗ → (V ∗ )⊗n ≃ (V ⊗n )∗
V の基底を {e1 , . . . , eN }，V ∗ の双対基底を {e∗1 , . . . , e∗N } とすると，
{
1
∏
(e∗1 )i1 . . . (e∗N )iN
(i
!)
α
α
}
が，Symn V の基底 {ei11 . . . eNN } の (Symn V ∗ の) 双対基底となる．
i
以上で，線形代数，多重線形代数からの準備を終える．
19
第2章
Sn の表現論
3 有限群の表現論
以下，特に断らない限り，ベクトル空間といえば複素数体 C(代数的閉体) 上のものと
する．
3.1 定義
G を (有限) 群，V を有限次元ベクトル空間とし，GL(V) := { f : V → V; 線形同型 } と
する．
定義 3.1.1. 写像 ρ : G → GL(V) が群準同型であるとき，組 (ρ, V) を G の表現という．表
現 (ρ, V) に対して，V を G 加群，dim V を ρ の次数という．また，ρ(g)v を単に gv とかく．
(σ, W) をもう一つの G の表現とする．
def.
定義 3.1.2. ϕ ∈ Hom(V, W) が G-linear map ⇐⇒ 図式
ϕ
V
ρ(g)
/W
がすべての g ∈ G
σ(g)
V
ϕ
/W
について可換．G-linear map の全体を HomG (V, W) とかく．
G の表現 (ρ, V) に対し，
def.
1. W ⊂ V が部分表現または部分 G 加群 ⇐⇒ ρ(G)W ⊂ W, i.e. g ∈ G, v ∈ W ⇒ gv ∈
W.
def.
2. V が可約表現 ⇐⇒ V の部分 G 加群 W で，V
def.
3. V が既約表現 ⇐⇒ V
W
{0} を満たすものが存在する．
{0}，かつ，V は可約でない．
4. W が V の部分 G 加群ならば，V/W も自然な G の作用で G-module となる．これ
を V の W による商表現という．
ϕ ∈ HomG (V, W) に対し，Ker ϕ, Im ϕ はそれぞれ V, W の部分 G 加群で，Cokerϕ :=
第 2 章 Sn の表現論
20
W/ Im ϕ は，商表現となる．
V, W を二つの G-module とするとき，直和 V ⊕ W ，テンソル積 V ⊗ W は
g(v + w) := gv + gw
g(v ⊗ w) := gv ⊗ gw
(g ∈ G, v ∈ V, w ∈ W)
と定義することにより，G-module となる．
∧n
注意 3.1.3. G-module V に対し，V ⊗n は G-module で，
V, Symn V はその部分 G 加群で
ある．
G 加群 V に対し，V ∗ = Hom(V, C) は
⟨
⟩
⟨ρ∗ (g)v∗ , v⟩ = g, ρ(g−1 )v
(g ∈ G, v ∈ V, v∗ ∈ V ∗ )
により G 加群になる．これを V の双対表現または双対 G 加群という．
さらに，G 加群 V, W に対し，Hom(V, W) も次により G 加群となる: ϕ ∈ Hom(V, W) に
対し
(gϕ)(v) := gϕ(g−1 v) (v ∈ V)
W = C を自明な表現，i.e. ∀w ∈ W に対し，gw := w としたものが双対表現に他ならない．
問 3.1.4. V, W を G 加群とするとき，G 加群としての同型 Hom(V, W) ≃ V ∗ ⊗ W がなりた
つことを示せ．
問 3.1.5. G 加群 V に対し，V G := {v ∈ V; gv = v (∀g ∈ G)} とおくとき，V G は V の部分 G
加群であることを示せ．
問 3.1.6. HomG (V, W) = Hom(V, W)G を示せ．
3.2 完全可約性，Schur の補題
命題 3.2.1. G を有限群，V を G 加群，W ⊂ V を部分 G 加群とするとき，部分 G 加群
W ′ ⊂ V で W ⊕ W ′ = V を満たすものが存在する．
証明 . H を任意の G 不変なエルミート内積とする (cf. 問 3.2.3)．
W ⊥ := {v ∈ V; H(v, w) = 0 (∀w ∈ W)}
とおくと，W ⊥ は V の部分 G 加群で，かつ，V = W ⊕ W ⊥ をみたす*1 ．
系 3.2.2. 有限群の任意の表現は既約表現の直和で表せる (この性質を完全可約性という)．
すなわち，有限群の任意の表現は完全可約である．
*1
V の H に関する正規直交基底で，始めの r 個が W の基底になっているもの {e1 , e2 , . . . , en } をとって証明
する．
3 有限群の表現論
21
問 3.2.3. G を有限群，V を G 加群，H を勝手な V 上のエルミート内積とするとき，
HG (v, w) :=
1 ∑
H(xv, xw)
|G| x∈G
は G 不変なエルミート内積であることを示せ．
ただし，H(v, w) が V 上のエルミート内積であるとは，
1. H(λu + µv, w) = λH(u, w) + µH(v, w) (u, v, w ∈ V; λ, µ ∈ k)
2. H(w, v) = H(v, w) (v, w ∈ V)
3. H(v, v)
0 (v ∈ V)，かつ，H(v, v) = 0 ⇔ v = 0
を満たすものをいう．
問 3.2.4. 複素数を成分とする n 次正方行列 A が
A∗ A = AA∗ = I
(A∗ := A¯ t )
をみたすとき，n 次ユニタリ行列という．Cn = {z = (z1 , . . . , zn )t ; zi ∈ C} 上のエルミート内
積 (·, ·) を
(z, w) :=
∑
zi w¯ i
i=1
で定義するとき，A がユニタリ行列であることと，すべての z, w ∈ Cn について (Az, Aw) =
(z, w) であることとは同値であることを示せ．
補題 3.2.5 (Schur の補題). V, W を既約な G 加群，ϕ ∈ HomG (V, W) とすると，
1. ϕ は同型，または ϕ = 0．
2. V = W ならば ϕ = λI (∃λ ∈ C)．
証明 . 1. V の既約性から，V の部分 G 加群 Ker ϕ は，= {0} または = V ．Ker ϕ = V ⇔ ϕ = 0
に注意．また前者 (i.e. ϕ：単射) の場合，準同型定理により，V ≃ Im ϕ．W の既約性より，
W の部分 G 加群 Im ϕ は = {0} または = W ．前者の場合，V = {0} となり，V
{0} に反す
る．Im ϕ = W のとき，ϕ は全射となり，ϕ は同型．
2. λ ∈ C を ϕ の固有値とすると，ϕ − λI ∈ HomG (V, W), かつ，Ker (ϕ − λI)
{0}．ゆえ
に 1. より Ker (ϕ − λI) = V ，すなわち，ϕ = λI ．
3.3 例
Abel 群
(ρ, V) を Abel 群 G の既約表現とする．g ∈ G を任意に固定する．このとき，G の
可換性から ρ(g)ρ(x) = ρ(x)ρ(g) (∀x ∈ G). Schur の補題により，ρ(g) = λg I (∃λg ∈ C)．
V∋v
0 を任意に一つとり固定する．ρ(g)v = λg v ∈ Cv と V の既約性により V = Cv．特
に dim V = 1 で，ρ : G → C× ．
第 2 章 Sn の表現論
22
3 次対称群 S3
S3 の表現として次のものを考える:
• 自明表現 (trivial rep.) U = C，i.e. σv = v (σ ∈ S3 , v ∈ U)
• 符号表現 (alternating rep.) U ′ = C，i.e. σv = (−1)σ v (σ ∈ S3 , v ∈ U ′ )
{
}
• 標準表現 (standard rep.) V := (z1 , z2 , z3 )t ∈ C3 ; z1 + z2 + z3 = 0 とおき，
σ(z1 , z2 .z3 )t := (zσ−1 (1) , zσ−1 (2) , zσ−1 (3) )t
(3.3.1)
と定義する．
いま，standard rep. V において，α = (ω, 1, ω2 )t , β = (1, ω, ω2 )t ∈ V とおけば
(1, 2, 3)α = (ω2 , ω, 1)t = ω(ω, 1, ω2 )t = ωα
(1, 2, 3)β = (ω2 , 1, ω)t = ω2 (1, ω, ω2 )t = ω2 β
(1, 2)α = (1, ω, ω2 )t = β
(3.3.2)
(1, 2)β = (ω, 1, ω2 )t = α
に注意する．
§4 でこれら 3 つの S3 -加群は既約であることを示す．
さて，W を任意の S3 -module とする．τ = (1, 2, 3), σ = (1, 2) とおくと，S3 = ⟨τ, σ⟩ で
τ3 = σ2 = e,
στσ = τ2
⊕
となる．⟨τ⟩ ≃ Z/3Z は Abel 群であるから，W =
Vi ，Vi = Cvi ，τvi = ωαi vi とかける．
次に，v ∈ W が τ について固有値 ωi の固有ベクトル，i.e. τv = ωi v とすると，
τ(σv) = σ(τ2 v) = σ(ω2i v) = ω2i σv
となり，σv は τ について固有値 ω2i の固有ベクトルとなる．
1. ωi
1 のとき，v, σv は一次独立 (cf. 補題 3.3.1) なので，V ′ := ⟨v, σv⟩C ⊂ W とお
くと，v ↔ α, σv ↔ β により，V ′ ≃ V (standard rep.)．
2. ωi = 1 とする．
（a）σv と v が一次独立でないとき，σv = λv とかけて，λ2 = e より λ = ±1．λ = 1
のとき，⟨v⟩C = U (trivial rep.) で，λ = −1 のとき，⟨v⟩C = U ′ (alternating rep.)．
（b）σv と v が一次独立なとき，⟨v + σv⟩C = U (trivial rep.)．⟨v − σv⟩C =
U ′ (alternating rep.)．
まとめると，S3 の既約表現は，自明表現 U ，符号表現 U ′ ，標準表現 V のいずれかに同
値であることが (既約性の証明をのぞいて) わかった．
補題 3.3.1. ϕ ∈ End(V) の固有値を {λi }i=1,...,n ，固有値 λi の固有ベクトルを vi とする．こ
のとき，λi
λ j (i
j) ならば v1 , . . . , vn は一次独立である．
4 指標
23
証明 . c1 v1 + . . . cn vn = 0 とする．この両辺に ϕ j ( j = 0, 1, . . . , n − 1) をほどこすと，
c1 λ1j v1 + · · · + cn λnj vn = 0．行列の形にかけば

1 λ1
1 λ2
(c1 v1 , c2 v2 . . . , cn vn )  . .
 .. ..

1 λn
左辺の行列について，その行列式は
∏
λ21
λ22
..
.
λ2n
i< j (λ j − λi )
···
···
..
.
···

λn−1
1 


λn−1
2 

..  = (0, 0, . . . , 0)
. 
n−1 
λn
に等しく*2 ，これは仮定により
0，よっ
て可逆．∴ c1 v1 = · · · = cn vn = 0．∴ c1 = · · · = cn = 0.
4 指標
4.1 指標
def.
G の表現 (ρ, V) に対し，G 上の函数 χV : G → C が G の指標である ⇐⇒ χV (g) = tr(ρ(g))
(= 線形写像 ρ(g) : V → V の “トレース”)
問 4.1.1. A, B を n 次正方行列とするとき，tr(AB) = tr(BA) を示せ．
上の問から，特に χV (hgh−1 ) = χV (g) となり，χV は G の共役類上の函数である．一般
に G の共役類上の函数を類函数という．また
V ≃ W ⇒ χV = χW ,
χV (e) = dim V
にも注意．実は逆に，χV = χW ⇒ V ≃ W が成り立つ．つまり，有限群の表現は指標によ
り (同型を除き) 決まってしまう (cf. 系 4.2.5)．
いま，行列 A ∈ Matn (C) の固有値を重複を繰り返して並べたものを {λi } とする:
[
]
λ1 . ∗
.
A∼
.
O . λn
∴ tr A =
∑n
i=1
(4.1.1)
λi . 従って，χV (g) は線形写像 g|V の固有値の総和に他ならない．さらに，g|V
は，V 上のある内積に関してユニタリ変換であるから (cf. 問 3.2.3 および問 3.2.4)，V の
正規直交基底に関して対角化できる (つまり，基底として，固有ベクトルからなるものを
とれる) ことに注意する．
命題 4.1.2. V, W を G 加群とすると，
1. χV⊕W = χV + χW , χV⊗W = χV χW , χV ∗ = χ¯ V
(
)
(
)
2. χ∧2 V (g) = 12 χV (g)2 − χV (g2 ) , χSym2 V (g) = 21 χV (g)2 + χV (g2 ) ,
*2
この行列式は Van der Monde 行列式と呼ばれる．
第 2 章 Sn の表現論
24
証明 . 1. g ∈ G を固定するとき，線形写像 g|V, g|W の固有値をそれぞれ {λi }, {µ j } とする
と，g|V⊕W の固有値は {λi } ∪ {µ j }，g|V⊗W の固有値は {λi µ j }*3 となる．ゆえに χV⊕W (g) =
χV (g) + χW (g)，χV⊗W (g) = χV (g)χW (g)．次に，線形写像 g は何回かほどこすと恒等写像
になるから |λi | = 1 であることに注意すると，V ∗ 上での固有値は λ−1 = λ¯ i であるから*4 ，
i
∴ χV ∗ = χ¯ V ．
∑
∑
∧
∑
2. また 2 V 上での g の作用の固有値は {λi λ j ; i < j} で， i< j λi λ j = 12 (( λi )2 − λ2i )．
g2 の V 上での作用は λ2i であるから
χ∧2 V (g) =
1
(χV (g)2 − χV (g2 )).
2
同様に，Sym2 V 上での g の作用の固有値は {λ2i (i = 1, 2, . . . ); λi λ j (i < j)} で，
∑
∑
i< j
λi λ j = 12 (( λi )2 +
∑
∑
i
λ2i +
λ2i )．
∴ χSym2 V (g) =
1
(χV (g)2 + χV (g2 )).
2
有限群 G が有限集合 X = {x1 , x2 , . . . , xn } に置換群として作用するとき，G の表現 (ρ, V)
を次のように定義する: X の元の数だけ記号 {e xi }i=1,...,n を用意し，V := Ce x1 + · · · + Ce xn と
し，各 g ∈ G に対し，線形写像 ρ(g) : V → V を ρ(g)e xi = egxi により定義する．(ρ, V) を
G の置換表現という．特に X = G とした置換表現を G の正則表現といい，RG であらわ
す*5 ．
例 4.1.3. n = 3，X = {1, 2, 3}，G = S3

0 1

ρ(213) = 1 0

0 0

0

0

1

1 0

ρ(132) = 0 0

0 1

0

1

0

0

ρ(231) = 1

0
0
0
1

1

0

0
etc.
命題 4.1.4. V を G の置換表現とするとき，χV (g) = #{x ∈ X; gx = x}.
S3 の指標表
(i) χ は類函数
(ii) σ, τ ∈ S3 が共役 ⇔σ, τ の型が一致
より，各共役類 [e], [(1, 2)], [(1, 2, 3)] での指標の値を求める:
v ∈ V, w ∈ W を固有値が λ, µ である g の固有ベクトルとすると，g(v ⊗ w) = gv ⊗ gw = λv ⊗ µw = λµv ⊗ w，
すなわち v ⊗ w は固有値 λµ の固有ベクトル．
∑
*4 {vi } を固有値が λi の固有ベクトルからなる V の基底，{ f j } をその双対基底とすると，∀v =
i ci vi に対し，
*3
*5
⟨
⟩ ∑ ⟨
⟩ ∑ ⟨
⟩ ∑ ⟨
⟩ ∑
⟨
⟩
−1
−1
g. f j , v = i ci g. f j , vi = i ci f j , g−1 .vi = i ci f j , λ−1
i v j = i ci λi δi j = λ j f j , v . ∴ g. f j = λ j f j .
eg ↔ δg により，RG ≃ {ϕ : G → C} as G-module.
4 指標
25
S3
trivial U
alternating U ′
standard V
1
[e]
1
1
2
3
2
[(1, 2)] [(1, 2, 3)]
1
1
−1
1
0
−1
実際，C3 = U ⊕ V (ただし C3 は S3 の置換表現) より，
χC3 = (3, 1, 0) ∴ χV = χC3 − χU = (3, 1, 0) − (1, 1, 1) = (2, 0, −1).
また，C3 = U ⊕ V となることは，まず permutation rep. について，σv =
∑
j zσ−1 ( j) e j
3
∑
i zi eσ(i)
=
⊥
より，σ|V = standard rep., U := V = {(t, t, t); t ∈ C} とおくと，σ|U = trivial rep.
で C = V ⊕ U．
4.2 射影公式
有限群 G とその表現 V に対し，V G = {v ∈ V; gv = v (∀g ∈ G)}
φ :=
1 ∑
g ∈ End(V)
|G| g∈G
(4.2.1)
とおくとき，g1 ∈ G, v ∈ V に対し，
φ(g1 v) =
1 ∑
1 ∑
g1 (gv) =
hv
|G| g∈G
|G| h∈G
= φ(v)
また
g1 φ(v) = g1
( 1 ∑ )
1 ∑
gv =
g1 (gv)
|G| g∈G
|G| g∈G
= φ(v)
−1
(4.2.2)
−1
∴ g φ(gv) = g φ(v) = φ(v),
i.e.
−1
g φg = φ
(∀g ∈ G)
特に
命題 4.2.1. φ : V
V G は onto-projection.
証明 . φ(v) ∈ V G は (4.2.2) で示した．逆に，v ∈ V G ならば gv = v (∀g ∈ G) より，
v=
1
|G|
∑
gv = φ(v)．∴ v ∈ Im φ, φ2 = φ.
V の中に自明表現が何個あるか，i.e. dim V G は
dim V G = tr φ =
1 ∑
1 ∑
tr g =
χV (g)
|G| g∈G
|G| g∈G
(4.2.3)
第 2 章 Sn の表現論
26
で求められる*6 ．
∑
特に，V: 既約， (trivial rep.) のとき，V G = {0} であるから，
g∈G
χV (g) = 0．
さらに，G-modules V, W に対し，Hom(V, W) はまた G-module であり，
Hom(V, W)G = HomG (V, W)
に注意する. V, W ともに既約ならば，Schur の補題により



1
dim HomG (V, W) = 

0
if V ≃ W
if V W.
(4.2.4)
Hom(V, W) = V ∗ ⊗ W より χHom(V,W) (g) = χV (g)χW (g) に注意すれば，(4.2.3),(4.2.4) より
1 ∑
1 ∑
χV (g)χW (g) =
χHom(V,W) (g)
|G| g∈G
|G| g∈G
= dim Hom(V, W)G



1 if V ≃ W
=

0 if V W.
(4.2.5)
G 上の class functions の空間 Cclass (G) に (エルミート) 内積 (·, ·) を
(α, β) :=
1 ∑
α(g)β(g)
|G| g∈G
(4.2.6)
で定義する．このとき (4.2.5) は，以下のように言い表せる．
定理 4.2.2. 有限群 G の既約表現の指標は，内積 (4.2.6) に関して直交している．
系 4.2.3. V: irrep. ⇔ (χV , χV ) = 1
証明 . ⇒: (4.2.5).
⇐: V =
⊕
ai Vi を V の既約分解，i.e. Vi : 互いに同値でない G の既約表現，ai ∈ N，と
∑
∑
すると，χV = i ai χVi ．1 = (χV , χV ) = i a2i より，ある一つの i についてのみ ai = 1 で，
i
他はすべて 0.
系 4.2.4. Vi : irrep. とするとき，V における Vi の重複度 multV (Vi ) は，multV (Vi ) = (χV , χVi )
で与えられる．
系 4.2.5. χV = χW ⇒ V ≃ W.
*6
p : V → V; linear s.t. p2 = p に対し，W := Im p, W ′ := Im (1v − p) とおくとき，V = W ⊕ W ′ を示したい．
実際，∀v ∈ V は v = v − p(v) + p(v) ∈ W ′ + W とかけるので V = W + W ′ ．
次に W ′ ⊂ Ker p (∵ w ∈ W ′ ならば w = y − p(y) (∃y ∈ V) で， p(w) = p(y) − p2 (y) = p(y) − p(y) = 0)
に注意して，v ∈ W ∩ W ′ とすると，v ∈ W より v = p(x) (∃x ∈ V)，一方，v ∈ W ′ ⊂ Ker p より
0 = p(v) = p2 (x) = p(x) = v．∴ V = W ⊕ W ′ ．
明らかに，p|W = 1W , p|W ′ = 0．そこで V の basis として {v1 , . . . , vr , vr+1 , . . . , vn } をとれば，tr p = dim W ．
W の basis
W ′ の basis
4 指標
証明 . V =
27
⊕
i
ai Vi , W =
⊕
i
bi Vi を既約分解とすると，χV = χW ⇔ (χV , χVi ) =
(χW , χVi ) (∀i) ⇔ ai = bi (∀i) ⇔ V ≃ W
最後の系から
{
}
# irrep. of G
{
}
# 一次独立な G 上の class function
{
}
= # conjugacy class in G
がわかる．
R = RG を G の正則表現とすると，命題 4.1.4 より



if g e
0
χR (g) = 

|G| if g = e
{e} ならば R は既約でない．また {Vi } を G の既約表現の同値類全体のなす族
⊕
1
とし，R =
i ai Vi とすると，ai = (χVi , χR ) = |G| χVi (e)χR (e) = dim Vi であるから，
ゆえに，G
系 4.2.6. G の任意の既約表現 V は，R の中に dim V 回現れる (i.e. V の R における重複度
は dim V)．
特にこのことから，G の既約表現の個数は有限であることが再び従う．実際，χR (e) = |G|
より
|G| = dim R =
∑
ai χVi (e) =
i
また χR (g) = 0(g
∑
(dim Vi )2
(4.2.7)
i
e) より
0=
∑
(dim Vi ) χVi (g)
(g
e)
(4.2.8)
i
これら 2 つの式から，Fourier 逆公式*7 が従う．
4.3 射影公式 2
G 上の函数 α : G → C を考える．G-module V に対し，
∑
φα,V :=
α(g)g : V → V
g∈G
とおく．このとき，
*7
G の既約表現の同値類全体を Gˆ と記す．G の表現 ρ : G → GL(Vρ ) と G 上の函数 φ に対し，その Fourier
変換 φˆ : Gˆ → End(Vρ ) を
∑
φ(ρ)
ˆ
=
φ(g)ρ(g)
g∈G
で定義するとき，次の Fourier 逆公式が成り立つ:
φ(g) =
ここで，和
∑
(
)
1 ∑
dim Vρ · tr ρ(g−1 )φ(ρ)
ˆ
|G| ˆ
ρ∈G
ρ∈Gˆ
は G の既約表現の同値類全体 Gˆ の上をわたる．
第 2 章 Sn の表現論
28
命題 4.3.1. α: class function ⇔ 任意の G-module V に対し，φα,V ∈ HomG (V, V)(=:
EndG (V)).
証明 . ⇒: h ∈ G を任意に固定するとき，
φα,V (hv) =
∑
α(g) g(hv) =
∑
g
α(g) (gh)v
g
g を hgh−1 で置き換えて
=
∑
α(hgh−1 ) (hgh−1 h)v = h
∑
g
α(hgh−1 )gv
g
= hφα,V (v)
(∀v ∈ V)
⇐: “α が class function でない ⇒∃V: G-module s.t. φα,V
EndG (V)” を示す．
−1
V := {v : G → C; function}, (gv)(x) := v(g x) とおく．α は class function でないから，
∃g1 , g2 , h ∈ G s.t. g2 = hg1 h−1 and α(g1 )
α(g2 ). δg−1
∈Vを
2



1 if x g−1
2
δg−1
(x)
=


2
0 if x = g−1
2
で定めると，
(φα,V δg−1
)(e) =
2
∑
α(g) (gδg−1
)(e) =
2
g
∑
α(g) δg−1
(g−1 )
2
g
= α(g2 ).
一方，
(
∑
∑
)
−1
−1 )(e) =
α(g) δg−1
((hgh−1 )−1 )
(e)
=
α(g)
(hgh
δ
(hφα,V h−1 )δg−1
g
2
2
2
g
g
= α(g1 ).
ゆえに φα,V
EndG (V).
{
}
{
}
命題 4.3.2. # irrep. of G = # conjugacy class in G ，i.e. {χV ; V : irrep. of G} は Cclass (G)
の正規直交基底．
証明 . Cclass (G)(=: U と以下では記す) の元 α が，(α, χV ) = 0 (∀V: irrep.) を満たすとする．
φα,V =
∑
g
α(g) g は ∈ EndG (V) (命題 4.3.1) であるから，Schur の補題より φ = λ1V (∃λ)．
n = dim V とおくと，
1
1∑
tr φα,V =
α(g) χV (g)
n
n
1∑
|G|
(χV ∗ , α)
=
α(g) χV ∗ (g) =
n
n
=0
∑
= 0, i.e.
α(g) g = 0
λ=
∴ φα,V
(∵ V ∗ : irrep.)
(∀V : irrep.)
4 指標
29
特に V = R (regular rep.) とすると，g : R → R は End(R) の中で一次独立*8 ，ゆえに
α(g) = 0 (∀g ∈ G)．i.e. α = 0.
以上のことをまとめれば，
⟨
⟩
W := χV ; V : irrep. of G C ,
W ⊥ := {w ∈ U; (w, v) = 0 (∀v ∈ U)}
とするとき，
W ⊥ = {0},
{
}
すなわち U = W ⊕ W ⊥ = W ．特に dim U = dim W で，dim U = # conjugacy class in G ,
{
}
{
}
dim W = # χV ; V : irrep. of G = # irrep. of G .
S4 の指標表
1
6
8
6
3
[e] [(1, 2)] [(1, 2, 3)] [(1, 2, 3, 4)] [(1, 2)(3, 4)]
1
1
1
1
1
1
−1
1
−1
1
3
1
0
−1
−1
3
−1
0
1
−1
2
0
−1
0
2
S4
trivial U
alternating U ′
standard V
V′ = V ⊗ U′
W
standard V
S3 の場合と同様，C4 = V ⊕ U ．∴ χV = χC4 − χU = (4, 2, 1, 0, 0) − (1, 1, 1, 1, 1) =
(3, 1, 0, −1, −1)．
また (4.2.7) より 24 = 1 + 1 + 32 + (dim V1 )2 + (dim V2 )2 ，(dim V1 )2 + (dim V2 )2 = 13 と
なる既約表現があと 2 つ存在する (∵ #{ irrep. } = #{ 共役類 })，ゆえにそれらの次元はそれ
ぞれ 2, 3 である．
そこで今，V ′ := V ⊗ U ′ とおけば，χV ′ = χV χU ′ = (3, −1, 0, 1, −1) となるが，これは既
約．実際，
(χV ′ , χV ′ ) =
1 ∑
χV ′ (σ)χV ′ (σ)
|S4 | σ
)
1( 2
3 · 1 + (−1)2 · 6 + 02 · 8 + 12 · 6 + (−1)2 · 3
24
= 1.
=
もう一つ 2 次元の既約表現があるはずで，それを例えば W とする．χW を求めよう．
(4.2.8) より
• σ = (1, 2) 1 · 1 + 1 · (−1) + 3 · 1 + 3 · (−1) + 2χW (1, 2)
U
*8
∑
g cg
U′
V
V′
∴ χW (1, 2) = 0
g = 0 in End(R) とする．両辺を δe ∈ R にほどこせば，∀x ∈ G に対し，0 = (
∑
g cg
g)δe (x) = c x .
第 2 章 Sn の表現論
30
• σ = (1, 2, 3) 1 · 1 + 1 · ′1 + 0 · 3 + 0 ·′ 3 + 2χW (1, 2, 3)
U
U
V
∴ χW (1, 2, 3) = −1
V
• σ = (1, 2) 1 · 1 + 1 · (−1) + 3 · (−1) + 3 ·′ 1 + 2χW (1, 2, 3, 4)
U′
U
V
V
∴ χW (1, 2, 3, 4) = 0
• σ = (1, 2)(3, 4) 1 · 1 + 1 · ′1 + 3 · (−1) + 3 · (−1) + 2χW ((1, 2)(3, 4)) ∴ χW (1, 2) = 2
U
U
V
V′
5 Specht 加群
5.1 Young 部分群，Young 盤，タブロイド
def.
定義 5.1.1. λ = (λ1 , λ2 , . . . , λl ) が n の分割である ⇐⇒ λ1
···
λl > 0, λ1 + · · · + λl = n
このとき λ ⊢ n, |λ| = n etc. とかく．
例 5.1.2. 分割 λ = (3, 3, 2, 1) に，図形
を対応させ，これを λ に対応する Young 図形という．分割 λ に対応する Young 図形も λ
とかく．
定義 5.1.3. λ = (λ1 , . . . , λl ) ⊢ n に対し，Sn の部分群 Young 部分群 Sλ を
Sλ := S{1,...,λ1 } × S{λ1 +1,...,λ1 +λ2 } × · · · × S{λ1 +···+λl−1 +1,...,n}
で定義する*9 ．たとえば S(3,3,2,1) = S{1,2,3} × S{4,5,6} × S{7,8} × S{9} .
定義 5.1.4. λ ⊢ n とする．型 (shape)λ の Young 盤 (Yonug tableau) tλ とは，Young 図形 λ
に番号 1 から n までを過不足なく入れたものをいう．たとえば型
の Young 盤は
1 2, 1 3, 2 1, 2 3, 3 1, 3 2
3
2
3
1
2
1
の 3! 個ある．以下，Young 盤 t の型を sh t と書く．
定義 5.1.5. λ ⊢ n に対し，λ-タブロイド (λ-tabloid) とは，型 λ の Young 盤 tλ の同値類 {t}
def.
のことをいう．ただし，型 λ の Young 盤 t, t′ が同値 ⇐⇒ t, t′ の各行に並ぶ数字の集合が
同一．
たとえば，t = 1 2 と同値な Young 盤は 1 2 , 2 1 .
3
*9
3
3
{
} {
}
∴ 1 2 = 1 2, 2 1
3
3
3
群 G の部分群の族 H1 , H2 , . . . , Hk が，“i j ⇒ Hi ∩ H j = {e}” を満たすとき，その直積群 H1 × H2 ×· · ·× Hk
は，(g1 , g2 , . . . , gk ) → g1 g2 · · · gk により G の部分群とみなせる．
5 Specht 加群
31
λ = (λ1 , λ2 , . . . , λl ) ⊢ n ならば，tλ と同値な Young 盤は λ1 !λ2 ! . . . λl !(=: λ!) 個だけある．
従って，λ-tabloid の個数は n!/λ! である．
σ ∈ Sn の tλ (λ ⊢ n) への作用を
σ.tλ := (σ(ti j ))
tλ = (ti j )
で定める*10 ．たとえば，(1, 2, 3). 1 2 = 2 3 .
3
1
′
さらに σ.{t} := {σ.t} と定義する．これは well defined．実際，t ∼ t′ ⇔ ti,• = ti,•
(∀i) よ
′
り σ(ti,• ) = σ(ti,•
).
5.2
Specht 加群
定義 5.2.1. Young 盤 t が行 (row) R1 , R2 , . . . , Rl ，列 (column) C1 , C2 , . . . , Ck をもつとき，
Rt := SR1 × SR2 × · · · × SRl
Ct := SC1 × SC2 × · · · × SCk
をそれぞれ t の row stabilizer, column stabilizer という．{t} = Rt t とかけることに注意．
たとえば t = 4 1 2 のとき
3 5
Rt = S{1,2,4} × S{3,5} ,
Ct = S{3,4} × S{1,5} × S{2} .
一般に，Sn の部分集合 H に対し，
H + :=
∑
σ,
H − :=
σ∈H
∑
(−1)σ σ
(∈ C[Sn ])
σ∈H
とおき*11 ，さらに，
κt := Ct− =
∑
(−1)σ σ
σ∈Ct
とおく．Young 盤 t が列 C1 , C2 , . . . , Ck をもつならば，κt = SC−1 SC−2 · · · SC−k となる．実際，
脚注*9 より，
∑
κt = Ct− =
(−1)σ1 ···σk σ1 · · · σk
(σ1 ,...,σk )∈SC1 ×···×SCk
=
( ∑
) ( ∑
)
(−1)σ1 σ1 · · ·
(−1)σk σk
σ1 ∈SC1
=
*10
*11
SC−1 SC−2
σk ∈SCk
· · · SC−k
σ.tλ の第 i 行第 j 列のマスには，数字 σ(ti j ) が入る．
∑
一般に群 G に対し，有限和 g∈G ag g (ag ∈ C) の全体を考え，これらの間の和および積を
∑
∑
∑
∑
(∑
) (∑
) ∑
ag g +
bg g :=
(ag + bg )g,
ag g
bg g :=
cg g (ただし，cg =
a x by )
xy=g
で定義したものを G の群環 (group algebra) と呼び，C[G] で表す．
第 2 章 Sn の表現論
32
定義 5.2.2. 分割 λ に対し，
M λ := C- Span ⟨{t}; sh t = λ⟩ =
⊕
C{t}
sh t=λ
とおく．また λ-tableau t に対し，et := κt {t} ∈ M λ とおく． M λ を置換加群 (permutation
module)，et を polytabloid という．
例 5.2.3. t = 4 1 2 のとき
3 5
−
−
−
κt = C{3,4}
C{1,5}
C{2}
= (e − (3, 4))(e − (1, 5))e
= e − (3, 4) − (3, 4)(1, 5) + (3, 4)(1, 5)
{
} {
} {
} {
}
4
1
2
3
1
2
4
5
2
3
5
2
∴ et =
−
−
+
3 5
4 5
3 1
4 1
補題 5.2.4. ∀σ ∈ Sn に対し，
1. Rσt = σRt σ−1
2. Cσt = σCt σ−1
3. κσt = σκt σ−1
4. eσt = σet
がなりたつ．
証明 . 1. g ∈ Rσt ⇔ g{σt} = {σt} ⇔ σ−1 gσ{t} = {t} ⇔ σ−1 gσ ∈ Rt ⇔ g ∈ σRt σ−1 .
2. g ∈ Cσt ⇔ g ∈ R(σt)′ *12 に注意すると，1. より g ∈ R(σt)′ = Rσt′ ⇔ σ−1 gσ ∈ Rt′
∴ σgσ−1 ∈ Ct .
3. 2. より
κσt =
∑
∑
(−1)π π =
π∈Cσt
=
∑
(−1)π π
π∈σCt σ−1
π
−1
(−1) σπσ
π∈Ct
(∑
)
=σ
(−1)π π σ−1
π∈Ct
−1
= σκt σ .
4. 3. より eσt = κσt {σt} = σκt σ−1 {σt} = σκt {t} = σet .
定義 5.2.5. 分割 λ ⊢ n に対し，
S λ := C- Span ⟨et ; sh t = λ⟩ =
⊕
Cet ⊂ M λ
sh t=λ
を Specht 加群という．σet = eσt であるから S λ ⊂ C[Sn ]et に注意．
*12
t′ により，Young 盤 t′ の共役，i.e. t を対角線に関して折り返してできる Young 盤を表す．
5 Specht 加群
33
例 5.2.6. λ = (n) のとき，t = 1 2 · · n で Ct = {e} であるから，et = { 1 2 · · n }．ま
た ∀σ ∈ Sn に対し，
σet = eσt
{
= σ(1)σ(2) ·
{
= 1 2 ·
= et .
·
σ(n)
· n
}
}
ゆえに S (n) = U (trivial rep.)．
1
2
例 5.2.7. λ = (1n ) のとき，t = · で Ct = Sn であるから，
·
n
∑
et =
(−1)π π{t}
π∈Sn
ゆえ，∀σ ∈ Sn に対し，
σet =
∑
(−1)σπ σπ{t} × (−1)σ
π∈Sn
= (−1)σ
∑
(−1)π π{t}
π∈Sn
σ
= (−1) et .
ゆえに S (1 ) = U ′ (alternating rep.)．
n
例 5.2.8. n = 3, λ = (2, 1) のとき
{
e1 2
3
e1 3
2
e2 1
3
e2 3
1
e3 1
2
e3 2
1
= 1
3
{
= 1
2
{
= 1
3
{
= 2
1
{
= 1
2
{
= 2
1
} {
2 − 2
1
} {
3 − 2
1
} {
2 − 1
2
} {
3 − 1
2
} {
3 − 1
3
} {
3 − 1
3
ただし，vi = · · とおいた．∴ S (2,1)
i
}
3 =: v − v
3
1
}
3 =: v − v
2
1
}
3 =v −v =e −e
12
13
3
2
3
2
}
3 = v − v = −e
13
1
2
2
}
2 = v − v = −e + e
12
13
2
3
3
2
}
2 = v − v = −e
12
1
3
3
⟨
⟩
= C- Span e 1 2 , e 1 3 .
3
5.3 部分加群定理
補題 5.3.1 (Sign Lemma). H ⊂ Sn を部分群とする．
2
第 2 章 Sn の表現論
34
1. π ∈ H ならば πH − = H − π = (−1)π H −
2. u, v ∈ M λ に対し，⟨H − u, v⟩ = ⟨u, H − v⟩*13
3. 互換 (b, c) ∈ H ならば，H − = k(e − (b, c)) (∃k ∈ C[Sn ]).
4. tableau t のある同一行に b, c が含まれ，かつ，(b, c) ∈ H ならば，H − {t} = 0.
証明 . 1. πH − = π
∑
σ∈H (−1)
σ
σ =
∑
σ (−1)
σ
πσ =
∑
σ′ (−1)
πσ′
σ′ = (−1)π H − . H − π =
(−1)π H − も同様．
∑
∑
2. u = c{t} {t}, v = d{s} {s} とすると，
⟨
⟩ ∑
H − u, v =
(−1)π ⟨πu, v⟩
π∈H
∑
∑
∑
∑
=
(−1)π
c{t} d{s} ⟨π{t}, {s}⟩ =
(−1)π
c{t} d{s} δπ{t},{s}
π
{t},{s}
π
{t},{s}
π
∑
∑
=
(−1)π
c{t} d{s} δ{t},π−1 {s}
{t},{s}
⟨
⟩
= · · · = u, H − v
3. K = ⟨e, (b, c)⟩ = {e, (b, c)} ⊂ H とおくと，H =
∑
かける．このとき，H − = ( i ±ki )(e − (b, c)).
⨿
i ki K
(∃{ki } ∈ H) と disjoint union で
4. 仮定より (b, c){t} = {t}. ∴ H − {t} = k(e − (b, c)){t} = k({t} − {t}) = 0.
定義 5.3.2. λ = (λ1 , . . . , λl ), µ = (µ1 , . . . , µm ) ⊢ n に対し，任意の i について
λ1 + λ2 + · · · + λi
µ1 + µ2 + · · · + µi
がなりたつとき，λ は µ に支配的 (dominant) といい，λ
µ とかく．ただし i > l (または
i > m) のとき λi = 0 (または µi = 0) とする．
例 5.3.3. 6 の分割 (3, 3), (2, 2, 1, 1) について (3, 3)
3
2,
3+3
2 + 2,
3+3+0
(2, 2, 1, 1) である．実際
2 + 2 + 1,
3+3+0+0
2 + 2 + 1 + 1.
また (3, 3) と (4, 1, 1) については
3
4,
3+3
4+1
より比較不能．
補題 5.3.4 (Dominance Lemma). tλ , sµ をそれぞれ λ-, µ-tableaux とする．各番号 i につい
て，sµ の第 i 行に含まれる数字が，常に tλ の相異なる列に含まれるならば，λ
証明 . sµ =: s の 1 行目に含まれる数字は tλ =: t の相異なる列に含まれるので，
∃q1 ∈ Ct
*13
s.t.
∀(s の 1 行目の数字) ∈ (q1 t の 1 行目)
ただし，⟨·.·⟩ は ⟨{t}, {s}⟩ = δ{t},{s} で定義される M λ 上の内積．
µ である．
5 Specht 加群
35
次に，s の 2 行目に含まれる数字についても同様に，t の相異なる列，すなわち q1 t の相異
なる列に含まれるので
∃q2 ∈ Ct
∀(s の 1 & 2 行目の数字) ∈ (q2 q1 t の 1 or 2 行目)
s.t.
この操作を続けて
∃q1 , . . . , qk ∈ Ct
s.t.
∀(s の最初の k 行の数字) ∈ (qk · · · q1 t の最初の k 行)
特に，
λ1
λ1 + λ2
µ1
µ1 + µ2
..
.
λ1 + λ2 + · · · + λk
µ1 + µ2 + · · · + µk
が，k = 1, 2, . . . についてなりたつ．
例 5.3.5. λ = 32 , µ = 22 12
5 6
s= 4 3
2
1
(2,5)(3,6)
t = 4 2 3 −−−−−−→ 4 5 6
1 5 6
1 2 3
系 5.3.6. sh t = λ, sh s = µ とするとき，λ = µ ならば，∃p′ ∈ R s , ∃q ∈ Ct s.t. p′ s = qt.
証明 . 上の補題の証明で，qt と s の各行に含まれる数字は同じ．∴ qt = p′ s (∃p′ ∈ R s ).
系 5.3.7. λ, µ ⊢ n とする．sh t = λ, sh s = µ となる Young 盤 t, s について，κt {s}
ば，λ
0 なら
µ．また λ = µ ならば κt {s} = ±et .
証明 . b, c を s の同一行にある数字とすると，これらは t の同じ列に含まれることはない．
なぜなら，もし同じ列に含まれるとすると，Sign Lemma より κt = k(e − (b, c)) とかけて，
κt {s} = k(e − (b, c)){s} = k({s} − (b, c){s}) = 0. Dominance Lemma より λ
µ.
λ = µ ならば，上の系より {s} = q{t} (∃q ∈ Ct ). ∴ κt {s} = κt q{t} = (−1) κt {t} = ±et .
q
系 5.3.8. u ∈ M µ , sh t = µ ならば，κt u は et のスカラー倍．
証明 . u =
∑
i ci {si },
sh si = µ (∀i) とかけて，上の系より κt u = (
∑
i
±ci )et .
定理 5.3.9 (Submodule Theorem). U を M λ の submodule とすると
U ⊃ Sµ
である．特に S µ は既約．
or U ⊂ (S µ )⊥
第 2 章 Sn の表現論
36
証明 . u ∈ U, t を µ-tableau とする．上の系より κt u = f et (∃ f ∈ C)
(i). f
0 とする．u ∈ U ならば f et = κt u ∈ U (∵ C[Sn ]U ⊂ U) より，et ∈ U. よって
C[Sn ]et = S µ ⊂ U.
(ii). f = 0 とすると κt u = 0 (∀t s.t. sh t = µ). ⟨·, ·⟩ は Sn -不変であるから
⟨u, et ⟩ = ⟨u, κt {t}⟩ = ⟨κt u{t}⟩ = 0.
S µ = C- Span ⟨et ; sh t = µ⟩ より u ∈ (S µ )⊥ . ∴ U ⊂ (S µ )⊥ .
従って W を W ⊂ S µ なる submodule とすると，上で示したように
W ⊃ Sµ
or W ⊂ (S µ )⊥ .
前者のときは W = S µ ，後者のときは W ⊂ S µ ∩ (S µ )⊥ = {0}.
命題 5.3.10. θ ∈ HomC[Sn ] (S µ , M λ ) が nonzero ならば，λ
µ．また λ = µ のとき，θ はス
カラー．
証明 . θ
0 なので ∃et ∈ S λ (基底ベクトル) s.t. θ(et )
0. M λ = S λ ⊕ (S λ )⊥ より θ を (S λ )⊥
上では 0 と拡張すれば θ ∈ HomSn (C[M λ , M µ ]) と看做せて，
0
θ(et ) = θ(κt {t}) = κt (θ{t}) = κt
(∑
)
ci {si }
(si : µ-tableau)
i
従って ∃i s.t. κt {si }
0 ゆえ，系 5.3.7 より λ
µ.
次に λ = µ とする．系 5.3.8 より θ(et ) = cet (∃c ∈ C).
∴ θ(eπt ) = θ(πet ) = πθ(et) = π(cet ) = ceπt
(∀π ∈ Sn )
S λ = C[Sn ]et であるから θ = cIS λ .
定理 5.3.11. {S λ ; λ ⊢ n} は Sn の既約表現のすべてを尽くす．
証明 . 既約性は既に示した．#{Sn の既約表現 } = #{Sn の共役類 } であるから，
λ
µ ⇒ Sλ
Sµ
を示せば十分．S λ ≃ S µ とすると，S µ ⊂ M µ に注意すれば ∃θ
よって命題 5.3.10 より λ
µ. 同様に µ
λ. ∴ λ = µ.
0 ∈ HomC[Sn ] (S λ , M µ ).
37
参考文献
[1] Fulton and Harris, Representation theory, Springer Verlag
[2] 岩堀長慶, 対称群と一般線型群の表現論基礎数学講座, 岩波書店
[3] Sagan, The symmetric group, Springer Verlag
[4] Goodmann and Wallach, Representations and invariants of the classical groups, Cambridge University Press
[5] 佐武一郎，線型代数学，裳華房

Download Report