グレブナー基底による群の正則表現の既約分解: gr204

【第2章】Onsager Group \(O_S\)

⇦ \(\quad \)

home \(\quad \)

【2-7】\(O_S\)の左正則表現の既約分解

前節で既約分解の為の変換行列 \(T,T^{-1}\) を求める事が出来たので、いよいよ\(\mathbb{C}[O_S]\)の基底の正則表現の既約分解の計算をします。最終的には、下式(7.1)に示すように　(1x1)+(1x1)+(1x1)+(1x1)+(2x2)+(2x2)　の様に分解されます。

\begin{align} \widetilde{L_{i}}&=T^{-1} \cdot L_{i} \cdot T = \begin{bmatrix} \boxed{ \rho_{1} }&0&0&0&0&0\\ 0&\boxed{ \rho_{2} }&0&0&0&0\\ 0&0&\boxed{ \rho_{3} }&0&0&0\\ 0&0&0&\boxed{ \rho_{4} }&0&0\\ 0&0&0&0& \boxed{ \begin{matrix} 2 \times 2 \\ \rho_{5,1} \\ \end{matrix}}&0\\ 0&0&0&0&0&\boxed{ \begin{matrix} 2 \times 2 \\ \rho_{5,2} \\ \end{matrix} }\\ \end{bmatrix} \end{align}

\begin{align} \widetilde{L_{E}}&=\widetilde{L_{1}}=\begin{bmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 1 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 1 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 1 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 1 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\end{bmatrix} & \widetilde{L_{-E}}&=\widetilde{L_{2}}= \begin{bmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 1 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 1 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & -1 & 0 & 0 & 0\\0 & 0 & 0 & 0 & 0 & -1 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0 & -1 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 0 & -1\end{bmatrix}\\ \notag \\ \widetilde{L_{S}}&=\widetilde{L_{3}}=\begin{bmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 1 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & -1 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & -1 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0\\0 & 0 & 0 & 0 & 0 & -1 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0 & -1 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\end{bmatrix} & \widetilde{L_{-S}}&=\widetilde{L_{4}}=\begin{bmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 1 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & -1 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & -1 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & -1 & 0 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 1 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 1 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 0 & -1\end{bmatrix} \\ \notag \\ \widetilde{L_{C}}&=\widetilde{L_{5}}=\begin{bmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\0 & -1 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 1 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & -1 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0\\0 & 0 & 0 & 0 & 1 & 0 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\\0 & 0 & 0 & 0 & 0 & 0 & 1 & 0\end{bmatrix} & \widetilde{L_{-C}}&=\widetilde{L_{6}}=\begin{bmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\0 & -1 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 1 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & -1 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0 & -1 & 0 & 0\\0 & 0 & 0 & 0 & -1 & 0 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 0 & -1\\0 & 0 & 0 & 0 & 0 & 0 & -1 & 0\end{bmatrix} \\ \notag \\ \widetilde{L_{H}}&=\widetilde{L_{7}}= \begin{bmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\0 & -1 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & -1 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0\\0 & 0 & 0 & 0 & -1 & 0 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 0 & -1\\0 & 0 & 0 & 0 & 0 & 0 & 1 & 0\end{bmatrix} & \widetilde{L_{-H}}&=\widetilde{L_{8}}=\begin{bmatrix}1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\0 & -1 & 0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & -1 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & 1 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0 & -1 & 0 & 0\\0 & 0 & 0 & 0 & 1 & 0 & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\\0 & 0 & 0 & 0 & 0 & 0 & -1 & 0\end{bmatrix} \\ \end{align}

このままだと少しわかりにくいため、それぞれの小行列を抽出して整理したのが【表5】となります。

【表5】既約分解された小行列
\(\mathbb{C}[O_S]\)の元	\(g_1\)	\(g_2\)	\(g_3\)	\(g_4\)	\(g_5\)	\(g_6\)	\(g_7\)	\(g_8\)
\(O_S\)の元	\(E\)	\(-E\)	\(S\)	\(-S\)	\(C\)	\(-C\)	\(H\)	\(-H\)
\(\rho_{1}\)	\(1\)	\(1\)	\(1\)	\(1\)	\(1\)	\(1\)	\(1\)	\(1\)
\(\rho_{2}\)	\(1\)	\(1\)	\(1\)	\(1\)	\(-1\)	\(-1\)	\(-1\)	\(-1\)
\(\rho_{3}\)	\(1\)	\(1\)	\(-1\)	\(-1\)	\(1\)	\(1\)	\(-1\)	\(-1\)
\(\rho_{4}\)	\(1\)	\(1\)	\(-1\)	\(-1\)	\(-1\)	\(-1\)	\(1\)	\(1\)
\(\rho_{5,1}\)	\(\begin{bmatrix}1 & 0\\0 & 1\end{bmatrix}\)	\(\begin{bmatrix}-1 & 0\\0 & -1\end{bmatrix}\)	\(\begin{bmatrix}1 & 0\\0 & -1\end{bmatrix}\)	\(\begin{bmatrix}-1 & 0\\0 & 1\end{bmatrix}\)	\(\begin{bmatrix}0 & 1\\1 & 0\end{bmatrix}\)	\(\begin{bmatrix}0 & -1\\-1 & 0\end{bmatrix}\)	\(\begin{bmatrix}0 & 1\\-1 & 0\end{bmatrix}\)	\(\begin{bmatrix}0 & -1\\1 & 0\end{bmatrix}\)
\(\rho_{5,2}\)	\(\begin{bmatrix}1 & 0\\0 & 1\end{bmatrix}\)	\(\begin{bmatrix}-1 & 0\\0 & -1\end{bmatrix}\)	\(\begin{bmatrix}-1 & 0\\0 & 1\end{bmatrix}\)	\(\begin{bmatrix}1 & 0\\0 & -1\end{bmatrix}\)	\(\begin{bmatrix}0 & 1\\1 & 0\end{bmatrix}\)	\(\begin{bmatrix}0 & -1\\-1 & 0\end{bmatrix}\)	\(\begin{bmatrix}0 & -1\\1 & 0\end{bmatrix}\)	\(\begin{bmatrix}0 & 1\\-1 & 0\end{bmatrix}\)

⇦ \(\quad \)

home \(\quad \)

⇨