1
大学数学基礎解説
文献あり

二面体群(n=6,正六角形)の同定

405
0

『群論入門』(赤雪江)に,D6S3×Z/2Z の証明は載っていたが具体的にどう対応するかでちょっと詰まったのでメモ程度に書き残す.D6S3×Z/2Z の具体的な同型写像を作るのが目的.

まず二面体群 Dn の表現行列から.定義は Wikipedia の二面体群のページ を参考にした.
R:=(cos2πnsin2πnsin2πncos2πn)S:=(1001)Rk:=RkSk:=RkS
とすると
Rk=(cos2πknsin2πknsin2πkncos2πkn)Sk=(cos2πknsin2πknsin2πkncos2πkn)RiRj=Ri+j,RiSj=Si+j,SiRj=Sij,SiSj=Rij
が成り立つ.
n=6 の場合には R160 回転させる操作,S1x 軸から 30 傾いた軸についての鏡映の操作など.Sk が鏡映であることは,Skθθ+2πkn に角度を移し,θ+(θ+2πkn)2=πkn となることから分かる.

n=6 の場合に各 Rk,SkD6S3×Z/2Z の元に対応させる方法の一例は以下の通り.

R=R1((123),1)S=S0((12),1)R2((132),0)S1((13),0)R3(1,1)S2((23),1)R4((123),0)S3((12),0)R1=R5((132),1)S4((13),1)id=R0(1,0)S5((23),0)

これが D6 の乗法を保つことは計算すればすぐわかる.

具体的に構成する前は Z/2Z が鏡映操作を担っている気がしていたが,それでは可換である回転操作を非可換である S3 が担うことになりおかしい.実際には上のようになっていたわけだが,これを見ると S3 の元は正六角形の頂点を移すという操作とは関係なく,その代数的構造だけが用いられている感が強い.

参考文献

[1]
雪江明彦, 代数学1 群論入門, 代数学, 日本評論社, 2019
投稿日:2021324
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Lomega
Lomega
1
660
代数を勉強中です.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中