群の作用

導入

唐突ですが、$xy$平面上に、３点$P_1(1,0),P_2(\cos(2\pi/3),\sin(2\pi/3)),P_3(\cos(4\pi/3),\sin(4\pi/3))$をとり、
$$ r= \begin{eqnarray} \left( \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right) , t= \left( \begin{array}{cc} \cos(2\pi/3) & -\sin(2\pi/3) \\ \sin(2\pi/3) & \cos(2\pi/3) \end{array} \right) \end{eqnarray} $$
とすると、次のような乗法表を作ることができます。

$$ \begin{array}{|c|c|c|c|} \hline & P_1 & P_2 & P_3\\ \hline \hline e & P_1 & P_2 & P_3\\ \hline t & P_2 & P_3 & P_1\\ \hline t^2 & P_3 & P_1 & P_2\\ \hline r & P_1 & P_3 & P_2\\ \hline rt & P_3 & P_2 & P_1\\ \hline rt^2 & P_2 & P_1 & P_3\\ \hline \end{array} $$

一番左の列に並んでいる6個の行列は群をなしていることに注意してください。この群を$D_3$と書きます。また、$T=\{P_1,P_2,P_3\}$としておきましょう。この表(以下、表１)を考察していきます。

群の作用

まず、概念の定義から。

この定義１を使って、「表１は$D_3$の$\{P_1,P_2,P_3\}$への作用を表している」と表現することができます。

行に注目

表１を行ごとにみると、いつも$P_1,P_2,P_3$が一回ずつ現れていることがわかります。このことについて考えてみましょう。

定義１は、群の元を写像とみなしていると考えられます。ただし、写像の合成と群の積を対応させよう、というわけです。だから、$\phi(g,x)$のことを$gx$とも書きます。この対応により、各$g\in G$(に対応する写像)は全単射になります。なぜなら、任意の$g\in G$には逆元$g^{-1}\in G$があり、これらは逆写像の関係にあるからです。すると、$X$が有限集合のとき、$g$が作用することを、$X$の元をシャッフルすること、すなわち置換とみなすことができます。実際、表１において、同じ行には$P_1,P_2,P_3$が一回ずつ現れています。そして、例えば$t^2$の行を参照することにより、$t^2$は
$$ \begin{eqnarray} \left( \begin{array}{ccc} 1 & 2 & 3\\ 3 & 1 & 2 \end{array} \right) \end{eqnarray} \in \mathfrak{S}_3 $$
と同一視することができるわけです。

列に注目

表１を列ごとにみると、いつも$P_1,P_2,P_3$が二回ずつ現れていることがわかります。このことについて考えてみましょう。
まず、各$P_i$の列のことを、$P_i$の$D_3$による軌道、といいます。厳密には次のように定義されます。

さて、表１ではどの$P_i$の軌道も$T$に一致しますが、特に、各元が二回ずつ現れていることは注目に値します。これは偶然でしょうか。$P_1$の列で考えてみましょう。

例えば、$e$と$r$は共に$P_1$を$P_1$に移します。
$$ eP_1=rP_1(=P_1) $$
同様に、$t$と$rt^2$は共に$P_1$を$P_2$に移します。
$$ tP_1=rt^2P_1(=P_2) $$
これは、$rt^2=tr$であることを使うと、
$$ tP_1=trP_1 $$
と書き直せ、$rP_1=P_1$を考えれば当たり前の式です。さらに、
$$ t^2P_1=rtP_1(=P_3) $$
ですが、これも$rt=t^2r,rP_1=P_1$を考えれば当たり前だと思えるはずです。このことを明示的にするために、表１を書き直したものが下表です。

$$ \begin{array}{|c|c|c|c|} \hline & P_1 & P_2 & P_3\\ \hline \hline e & P_1 & P_2 & P_3\\ \hline te & P_2 & P_3 & P_1\\ \hline t^2e & P_3 & P_1 & P_2\\ \hline r & P_1 & P_3 & P_2\\ \hline tr & P_2 & P_1 & P_3\\ \hline t^2r & P_3 & P_2 & P_1\\ \hline \end{array} $$
こうみると、もはや$P_1$の列に$P_1,P_2,P_3$が二回ずつ現れていたのは偶然ではないことがはっきりわかります。つまり、$D_3$は$ke,kr(k=e,t,t^2)$のペア3組でできており、その各ペアの$P_1$の移す先が等しいために、このようなことが起きていたのです。そして、このペアによる分類は、剰余類$D_3/\{e,r\}$に他なりません。$\{e,r\}$とは$P_1$を$P_1$自身に移す元の集合です。一般に、このような集合は群をなし、安定化群といいます。
この議論はどの列にも当てはまることなので、一般に次の定理が成り立ちます。

なぜ「剰余」類というのか

この文脈において、私は「剰余」類という名前をより実感したような気がしました。というのも、$rG_x\in G/G_x$とするとき、任意の$g\in rG_x$に対して、$gx=rx$となるわけですが、これは「$g$を$G_x$で割ったあまりが$r$」といいたくなるような構造をしていると思うのです。
$$ g\equiv r \mod{G_x} $$
とでも書きたいくらいです。

群の作用の例

表１の話からは離れますが、少し群作用の例をみておきましょう。

自分自身への作用(1)

$G$が有限群のとき、$G$の$G$への作用を考えれば、各$g\in G$は、$G$の元の置換、すなわち$\mathfrak{S}_{|G|}$の元であるわけです。そして、写像の合成と群の積を対応させたものが群の作用でしたから、置換の積と群の積は当然対応しており、このようにして$G$から$ \mathfrak{S}_{|G|} $への準同型が生まれます。すなわち、次の定理を得ます。

自分自身への作用(2) 共役による作用

$\mathrm{Ad}:G\times G\rightarrow G$を、$\mathrm{Ad}(g,x)=gxg^{-1}$で定義します。面倒なので$\mathrm{Ad}(g,x)=g \cdot x$と書くことにします。するとこれも作用になっています。実際、
$$ 1_{G}\cdot x=1_{G}x1_{G}^{-1}=x\\ g\cdot (h\cdot x)=g(hxh^{-1})g^{-1}=(gh)x(gh)^{-1}=(gh)\cdot x $$
となります。$y=gxg^{-1}$となるとき、$x,y$は共役であるといいます。

線型な作用

作用とは、群の元を写像とみなしたものでしたから、写像の中でも線型な写像を考えてみよう、というのは自然な発想です。直交群$O(2)$を考えてみます。行列とベクトルの積をそのまま用いれば、$O(2)$から列ベクトル空間$\mathbb{R}^2$への作用が得られます。$O(2)$の元に対応する写像は線型なので、こういう作用を、線型な作用といいます。

今日の記事はこの辺で終わりにしたいと思います。
読んでいただきありがとうございました。