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

表現と群環

編集

表現の定義

編集

VK線型空間とする。このとき、

 

は、写像の合成を積として群になる。これを一般線型群という。

Gを群とする。このとき準同型 Gの(線型)表現という。群の表現論とは、群Gの表現を調べることを通して、群Gの構造を明らかにしていく分野だといえる。

群環

編集

Kを体、Gを群とするとき、集合

 

を考える。ただしここで は形式的な和で、足し合わせる項の数は有限とする。すると、この集合には分配法則によってGの積を延長した演算が入り、環になる。この環をGK上の群環という。自然な同一視により とみなせることは明らかである。

表現 があるとする。このとき、Vには

 

と演算を定めることにより、 加群の構造が入る。逆に、 加群Vがあるとき、

 

と定めることにより、表現 が定まる。つまり、表現を考えることと群環上の加群を考えることは本質的に同じことである。よって表現について考えるときには、そのとき便利な方を用いて考えればよい。

既約表現

編集

Gの2つの表現 ,  があり、線型写像 

 

を満たすとき(これをGの作用を保つなどという)、fG準同型であるという。群環の言葉でいえば、G準同型とはGの作用を保つような 加群の準同型のことである。

表現 を考える。Vの部分空間W の作用について閉じているとき、WG不変部分空間という。このとき、各 の作用をWに制限することで、表現 が得られる。これを 部分表現という。部分表現 には、V 部分加群Wが対応する。

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

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

補題 (Schur)
 ,  を既約表現とすると、G準同型 零写像同型写像

(証明)
f 加群の準同型なので、 はそれぞれV,W 部分加群である。しかし、Wは既約なので、 または である。前者のときはfは零写像である。後者のときを考えると、 である。よってVの既約性より である。このときf全単射、すなわち同型である。//