唐突ですが、$xy$平面上に、3点$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\}$としておきましょう。この表(以下、表1)を考察していきます。
まず、概念の定義から。
$G$を群、$X$を集合とする。$G$の$X$への左作用とは、写像$\phi:G\times X\rightarrow X$であり、次の性質を満たすものである。
(1)$\phi(1_G,x)=x$
(2)$\phi(g,\phi(h,x))=\phi(gh,x)$
この定義1を使って、「表1は$D_3$の$\{P_1,P_2,P_3\}$への作用を表している」と表現することができます。
表1を行ごとにみると、いつも$P_1,P_2,P_3$が一回ずつ現れていることがわかります。このことについて考えてみましょう。
定義1は、群の元を写像とみなしていると考えられます。ただし、写像の合成と群の積を対応させよう、というわけです。だから、$\phi(g,x)$のことを$gx$とも書きます。この対応により、各$g\in G$(に対応する写像)は全単射になります。なぜなら、任意の$g\in G$には逆元$g^{-1}\in G$があり、これらは逆写像の関係にあるからです。すると、$X$が有限集合のとき、$g$が作用することを、$X$の元をシャッフルすること、すなわち置換とみなすことができます。実際、表1において、同じ行には$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
$$
と同一視することができるわけです。
表1を列ごとにみると、いつも$P_1,P_2,P_3$が二回ずつ現れていることがわかります。このことについて考えてみましょう。
まず、各$P_i$の列のことを、$P_i$の$D_3$による軌道、といいます。厳密には次のように定義されます。
群$G$が集合$X$に作用するとき、$x\in X$に対して$G\cdot x:=\{gx|g\in G\}$と定義し、これを$x$の$G$による軌道という。
さて、表1ではどの$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$を考えれば当たり前だと思えるはずです。このことを明示的にするために、表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$自身に移す元の集合です。一般に、このような集合は群をなし、安定化群といいます。
この議論はどの列にも当てはまることなので、一般に次の定理が成り立ちます。
有限群$G$が集合$X$に作用するとする。このとき$x\in X$の軌道$G\cdot x$とその安定化群$G_x$による剰余類$G/G_x$の間に一対一の対応がある。したがって特に、$|G\cdot x|=(G:G_x)$である。
この文脈において、私は「剰余」類という名前をより実感したような気がしました。というのも、$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|} $への準同型が生まれます。すなわち、次の定理を得ます。
$G$が有限群ならば、$G$は$ \mathfrak{S}_{|G|} $の部分群と同型である。
$\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)$の元に対応する写像は線型なので、こういう作用を、線型な作用といいます。
今日の記事はこの辺で終わりにしたいと思います。
読んでいただきありがとうございました。