表現論/群の表現論

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

表現と群環

表現の定義

VをK線型空間とする。このとき、

GL(V):=\{f:V\to V\mid \mathrm {linear,bijection} \}

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

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

群環

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

K[G]:=\{\sum k_{g}g\mid k_{g}\in K,\ g\in G\}

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

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

(\sum k_{g}g)v:=\sum k_{g}\phi (g)(v)

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

\phi (g)(v):=gv

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

既約表現

群Gの2つの表現 $\phi \colon G\to GL(V)$ , $\psi \colon G\to GL(W)$ があり、線型写像 $f\colon V\to W$ が

\forall g\in G,v\in V\ f(\phi (g)(v))=\psi (g)(f(v))

を満たすとき（これをGの作用を保つなどという）、fはG準同型であるという。群環の言葉でいえば、G準同型とはGの作用を保つような $K[G]$ 加群の準同型のことである。

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