表現論/群の表現論のソースを表示

ここでは、群の表現についての一般的な解説を行う。

== 表現と群環 ==
=== 表現の定義 ===
''V''を''K''線型空間とする。このとき、
:<math>GL(V):=\{f:V \to V \mid \mathrm{linear, bijection} \}</math>
は、写像の合成を積として群になる。これを一般線型群という。

''G''を群とする。このとき準同型<math>\phi \colon G \to GL(V)</math>を''G''の（線型）'''表現'''という。群の表現論とは、群''G''の表現を調べることを通して、群''G''の構造を明らかにしていく分野だといえる。

=== 群環 ===
''K''を体、''G''を群とするとき、集合
:<math>K[G]:=\{\sum k_g g \mid k_g \in K,\ g \in G \}</math>
を考える。ただしここで<math>\sum</math>は形式的な和で、足し合わせる項の数は有限とする。すると、この集合には分配法則によって''G''の積を延長した演算が入り、環になる。この環を''G''の''K''上の'''群環'''という。自然な同一視により<math>G \subset K[G]</math>とみなせることは明らかである。

表現<math>\phi</math>があるとする。このとき、''V''には
:<math>(\sum k_g g)v:=\sum k_g \phi(g)(v)</math>
と演算を定めることにより、<math>K[G]</math>加群の構造が入る。逆に、<math>K[G]</math>加群''V''があるとき、
:<math>\phi(g)(v):=gv</math>
と定めることにより、表現<math>\phi</math>が定まる。つまり、表現を考えることと群環上の加群を考えることは本質的に同じことである。よって表現について考えるときには、そのとき便利な方を用いて考えればよい。

== 既約表現 ==
群''G''の2つの表現<math>\phi \colon G \to GL(V)</math>, <math>\psi \colon G \to GL(W)</math>があり、[[w:線型写像|線型写像]]<math>f \colon V \to W</math>が
:<math>\forall g \in G,v \in V \ f(\phi(g)(v))=\psi(g)(f(v))</math>
を満たすとき（これを''G''の作用を保つなどという）、''f''は''G''準同型であるという。群環の言葉でいえば、''G''準同型とは''G''の作用を保つような<math>K[G]</math>加群の準同型のことである。

表現<math>\phi \colon G \to GL(V)</math>を考える。''V''の部分空間''W''が<math>\phi(G)</math>の作用について閉じているとき、''W''を''G''不変部分空間という。このとき、各<math>\phi(g) (g \in G)</math>の作用を''W''に制限することで、表現<math>\phi_W \colon G \to GL(W)</math>が得られる。これを<math>\phi</math>の'''部分表現'''という。部分表現<math>\phi_W</math>には、''V''の<math>K[G]</math>部分加群''W''が対応する。

自明でない（すなわち''V''自身と0以外の）部分表現を持たない表現を'''既約表現'''という。既約表現はそれ以上細かく分解できない表現であり、表現論において重要な役割を果たす。表現が既約であることは、<math>K[G]</math>加群の言葉で表すと、部分<math>K[G]</math>加群を自明なものしか持たないことに相当する。

既約表現については、次の'''Schurの補題'''が重要である。

'''補題''' (Schur)
<br /><math>\phi \colon G \to GL(V)</math>, <math>\psi \colon G \to GL(W)</math>を既約表現とすると、''G''準同型<math>f \colon V \to W</math>は[[w:零写像|零写像]]か[[w:同型写像|同型写像]]。
:（証明）<br />''f''は<math>K[G]</math>加群の準同型なので、<math>\ker f,\mathrm{im} f</math>はそれぞれ''V'',''W''の<math>K[G]</math>部分加群である。しかし、''W''は既約なので、<math>\mathrm{im} f=0</math>または<math>\mathrm{im} f=W</math>である。前者のときは''f''は零写像である。後者のときを考えると、<math>\ker f \ne V</math>である。よって''V''の既約性より<math>\ker f=0</math>である。このとき''f''は[[w:全単射|全単射]]、すなわち同型である。//

[[カテゴリ:代数学]]