『群論入門』(赤雪江)に, の証明は載っていたが具体的にどう対応するかでちょっと詰まったのでメモ程度に書き残す. の具体的な同型写像を作るのが目的.
まず二面体群 の表現行列から.定義は
Wikipedia の二面体群のページ
を参考にした.
とすると
が成り立つ.
の場合には は 回転させる操作, は 軸から 傾いた軸についての鏡映の操作など. が鏡映であることは, が に角度を移し, となることから分かる.
の場合に各 を の元に対応させる方法の一例は以下の通り.
これが の乗法を保つことは計算すればすぐわかる.
具体的に構成する前は が鏡映操作を担っている気がしていたが,それでは可換である回転操作を非可換である が担うことになりおかしい.実際には上のようになっていたわけだが,これを見ると の元は正六角形の頂点を移すという操作とは関係なく,その代数的構造だけが用いられている感が強い.