二面体群

雪の結晶は正六角形と同等の対称性を持つ。

代数的構造 → 群論 群論
基本概念 部分群 正規部分群 商群 （半）直積 群準同型 核 像 直和 リース積 単純 有限 無限（英語版） 連続 乗法 加法 巡回 アーベル 二面体 冪零 可解 群論の用語 群論のトピックス一覧（英語版）
有限群 有限単純群の分類 巡回 交代 リー型（英語版） 散在（英語版） ラグランジュの定理 シローの定理 ホールの定理 p 群 基本アーベル群 フロベニウス群（英語版） シューア multiplier（英語版） 対称群 Sn クラインの四元群 V 二面体群 Dn 四元数群（英語版） Q Dicyclic group（英語版） Dicn
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" · ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" | ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" - ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:") ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "} 離散群 格子（英語版） 整数 (Z) 格子 モジュラー群 PSL(2, Z) SL(2, Z)
位相/リー群 ソレノイド（英語版） 円周 一般線型 GL(n) 特殊線型 SL(n) 直交 O(n) ユークリッド E(n) 特殊直交 SO(n) ユニタリ U(n) 特殊ユニタリ SU(n) 斜交 Sp(n) G2（英語版） F4（英語版） E6（英語版） E7（英語版） E8 ローレンツ ポアンカレ 共形（英語版） 微分同相 ループ（英語版） 無限次元リー群（英語版） O(∞) SU(∞) Sp(∞)
代数群 楕円曲線 線型代数群 アーベル多様体

二面体群（にめんたいぐん、英: dihedral group）とは、正多角形の対称性を表現した数学的対象である。より正確には、正多角形を自分自身に移す合同変換全体の成す群のことである。そのような合同変換は、回転と鏡映の二種類がある。二面体群は、有限非可換群の最も単純な例であり、群論、幾何学、化学などの分野において重要な役割を果たす。類似の概念は、3次元以上の正多面体や正多胞体に対しても与えることができる。「二面体」とは、正多角形を3次元空間内で見て裏表の区別を付けたもの、といった意味合いである。

目次

• 
  1 定義
  
  
  
  • 
    1.1 群の元
    
  
  
  • 
    1.2 群の構造
    
  
  
  • 
    1.3 行列による表現
    
  
  
  
  


• 
  2 位数の小さな二面体群
  


• 
  3 視覚的な説明
  
  
  
  • 
    3.1 対称図形の例
    
  
  
  
  


• 
  4 同値な定義
  


• 
  5 性質
  
  
  
  • 
    5.1 共役類と鏡映
    
  
  
  • 
    5.2 自己同型群
    
  
  
  
  


• 
  6 脚注
  


• 
  7 関連項目
  


• 
  8 参考文献
  


• 
  9 外部リンク
  

定義

群の元

正六角形は6つの軸に対して線対称である

正 n 角形は 2n 通りの合同変換で不変である。内訳は、n 通りの回転と n 通りの鏡映である。これらが二面体群を構成する元である。n 通りの回転とは、θ = 360°/n に対して θ の回転、2 × θ の回転、…、n × θ の回転の n 個である。最後のものは 360°の回転であるから、何もしないのと同等であり、これが二面体群の単位元である。鏡映の方は、n が偶数か奇数かによって多少状況が異なるが、いずれにせよ、正 n 角形は n 個の対称軸に関して線対称である。実際、n が奇数のときには、対称軸として、ひとつの頂点と向かい合う辺の中点を結んだ直線が n 本取れる。n が偶数のときには、正 n 角形の対称軸として、向かい合う頂点を結んだ直線が n/2 本、向かい合う辺の中点を結んだ直線が n/2 本の合計 n 本が取れる。これら n 本の軸に関する対称移動と、n 個の回転を合わせた 2n 個の合同変換の集合を D_n あるいは Dih_n と書く。元が 2n 個であることを強調するために、添え字を 2n とする流儀もある。

正八角形の標識に D₈ の16個の変換を施した結果。上の列が回転、下の列が鏡映によるものである。

群の構造

ふたつの鏡映の合成（赤→緑→赤）は回転となる。

ある軸に関して対称移動し、続けて別の軸に関して対称移動すると、ふたつの軸の間の角度の2倍だけ回転するのと同じことになる。このように、D_n の元の合成はまた D_n の元になる。この演算によって、代数的な構造が入り、D_n は群となる。これを二面体群と呼ぶ。

正三角形を不変にする3つの鏡映

次の乗積表は、D₃ の元の合成の結果を表している。R_k は k × 120°の回転を意味し、S_k は図のように反時計回りに順に添え字付けした軸に関する鏡映を意味する。

	R0	R1	R2	S0	S1	S2
R0	R0	R1	R2	S0	S1	S2
R1	R1	R2	R0	S1	S2	S0
R2	R2	R0	R1	S2	S0	S1
S0	S0	S2	S1	R0	R2	R1
S1	S1	S0	S2	R1	R0	R2
S2	S2	S1	S0	R2	R1	R0

例えば、S₂S₁ = R₁ であるのは、S₁ を施した後に続けて S₂ を施すと 120°の回転になることを意味している（ここでは、右から変換を行う流儀を採用している）。他方、S₁S₂ = R₂ であるから、この演算は可換ではない。

行列による表現

正多角形の中心を座標平面の原点に置けば、それを不変とする合同変換は線型写像と見なせる。これによって、D_n の各々の元は、行列で表すことができ、変換の合成は行列の積に対応する。これは、群の表現の一例である。

例えば D₄ は、次の8つの行列から成る。

R0=(1001),R1=(0−110),R2=(−100−1),R3=(01−10),S0=(100−1),S1=(0110),S2=(−1001),S3=(0−1−10).{displaystyle {begin{matrix}R_{0}={bigl (}{begin{smallmatrix}1&0\[0.2em]0&1end{smallmatrix}}{bigr )},&R_{1}={bigl (}{begin{smallmatrix}0&-1\[0.2em]1&0end{smallmatrix}}{bigr )},&R_{2}={bigl (}{begin{smallmatrix}-1&0\[0.2em]0&-1end{smallmatrix}}{bigr )},&R_{3}={bigl (}{begin{smallmatrix}0&1\[0.2em]-1&0end{smallmatrix}}{bigr )},\[1em]S_{0}={bigl (}{begin{smallmatrix}1&0\[0.2em]0&-1end{smallmatrix}}{bigr )},&S_{1}={bigl (}{begin{smallmatrix}0&1\[0.2em]1&0end{smallmatrix}}{bigr )},&S_{2}={bigl (}{begin{smallmatrix}-1&0\[0.2em]0&1end{smallmatrix}}{bigr )},&S_{3}={bigl (}{begin{smallmatrix}0&-1\[0.2em]-1&0end{smallmatrix}}{bigr )}.end{matrix}}}

一般に、D_n は

Rk=(cos⁡2πkn−sin⁡2πknsin⁡2πkncos⁡2πkn),Sk=(cos⁡2πknsin⁡2πknsin⁡2πkn−cos⁡2πkn){displaystyle R_{k}={begin{pmatrix}cos {frac {2pi k}{n}}&-sin {frac {2pi k}{n}}\sin {frac {2pi k}{n}}&cos {frac {2pi k}{n}}end{pmatrix}},quad S_{k}={begin{pmatrix}cos {frac {2pi k}{n}}&sin {frac {2pi k}{n}}\sin {frac {2pi k}{n}}&-cos {frac {2pi k}{n}}end{pmatrix}}}

(k = 0, 1, …, n - 1) の 2n 個の行列からなる。R_k は反時計回りに 2πk/n だけの回転を表す回転行列、S_k は x 軸と πk/n の角度を成す直線に関する対称移動を表す行列である。

このとき、これらの間の合成は以下の公式で与えられる。

RiRj=Ri+j,RiSj=Si+j,SiRj=Si−j,SiSj=Ri−j{displaystyle R_{i},R_{j}=R_{i+j},quad R_{i},S_{j}=S_{i+j},quad S_{i},R_{j}=S_{i-j},quad S_{i},S_{j}=R_{i-j}}

ただし、添え字の足し算と引き算は n を法とする合同算術を意味するものとする。

位数の小さな二面体群

正多角形を不変とする合同変換を考えるならば、n は 3 以上でないと意味をなさないが、上記の行列による表現は n = 1, 2 でも意味を持ち、それらも二面体群に含める方が便利なことが多い。D₁ は位数2の巡回群であり、D₂ はクラインの四元群である。この2つはアーベル群であり、逆に n ≥ 3 では D_n は非可換群である。また、後述のように n ≥ 3 では D_n は対称群 S_n の部分群であるが、n = 1, 2 ではそうでない。

視覚的な説明

二面体群 D_n は、2次元ユークリッド空間における、原点を動かさない 2n 個の合同変換からなるのであった。そのうちの n 個は回転、残りの n 個は鏡映である。ただし、全く動かさない変換も回転に含める。全ての変換は、ふたつの変換

R=(cos⁡2πn−sin⁡2πnsin⁡2πncos⁡2πn),S=(100−1){displaystyle R={begin{pmatrix}cos {2pi over n}&-sin {2pi over n}\sin {2pi over n}&cos {2pi over n}end{pmatrix}},qquad S={begin{pmatrix}1&0\0&-1end{pmatrix}}}

の組み合わせで得られる。実際、上記の記号を用いれば

Rk=Rk,Sk=RkS{displaystyle R_{k}=R^{k},quad S_{k}=R^{k}S}

であり、2n 個の変換は id（恒等変換）, R, R², …, R^n-1, S, RS, R²S, …, R^n-1S で与えられる。ふたつの変換 R, S の間には

SRS=R−1{displaystyle SRS=R^{-1}}

という関係がある。いわば、「鏡の中の回転は鏡の外の逆回転に相当する」ということである。

また、n ≥ 2 のとき、隣り合う軸に関するふたつの鏡映 S₀, S₁ の組み合わせで全ての変換を得ることもできる。実際、

Rk=(S1S0)k,Sk=(S1S0)kS0{displaystyle R_{k}=(S_{1}S_{0})^{k},quad S_{k}=(S_{1}S_{0})^{k}S_{0}}

である。ふたつの変換 S₀, S₁ の間には

(S1S0)n=id{displaystyle (S_{1}S_{0})^{n}=mathrm {id} }

という関係がある。

例えば n = 2 の場合、R は 180°の回転、S は x 軸に関する対称移動を意味する。D₂ を構成する4つの変換は、id, R, S, RS である。

D₂ を構成する4つの変換。「なにもしない」「180°の回転」「鏡映」「180°回転して鏡映」。ただし、この図では x 軸を垂直の軸に取り、時計回りに回転させている。

D₂ はクラインの四元群と同型である。アーベル群であるので、変換の順番を逆にしても結果は変わらない。

D_n の位数が 4 より大きいときはアーベル群ではない。すなわち、n > 2 のとき、一般には変換の順序を逆にすると結果が変わる。

D₄ は非可換である。90°回転して鏡映を取るのと、鏡映を取って90°回転するのは異なる結果になる。

D_n は2次直交群の部分群と見なすこともできるし、3次特殊直交群の部分群と見なすこともできる。鏡映も3次元空間における回転と見なすことができるからである。この考えでは、正多角形は3次元空間において裏表の区別のある図形である。「二面体群」とはこの文脈からの用語であり、四面体群、六面体群などと同様に正多面体群の一種である。

対称図形の例

ウィキメディア・コモンズには、二面体群に関して対称な図形に関連するカテゴリがあります。

二面体群に関して不変な図形は正多角形に限らない。D_n に関して不変な図形は、正 n 角形と同等以上の対称性を持つといえる。例えば円は、任意に大きな n に対する D_n に関して不変である。実際、円は無限群である2次直交群に関して不変であり、無限に多くの対称性を持つといえる。

• 
  

  

  
  

  
  

  n = 1 の例。豊臣秀吉の太閤桐。対称軸をひとつだけ持つ。
  

  
  

  
  


• 
  

  

  
  

  
  

  n = 2 の例。足利氏の家紋、足利二つ引。対称軸をふたつ持ち、180°の回転で不変。
  

  
  

  
  


• 
  

  

  
  

  
  

  n = 3 の例。徳川氏の三つ葉葵。
  

  
  

  
  


• 
  

  

  
  

  
  

  n = 4 の例。島津氏の家紋、丸に十の字。
  

  
  

  
  


• 
  

  

  
  

  
  

  n = 5 の例。木瓜紋の一種、織田氏の織田木瓜。
  

  
  

  
  


• 
  

  

  
  

  
  

  n = 6 の例。榊原氏の家紋、榊原源氏車。
  

  
  

  
  


• 
  

  

  
  

  
  

  n = 8 の例。旭光。
  

  
  

  
  


• 
  

  

  
  

  
  

  n = 16 の例。菊花紋章の一種、十六菊。他に十菊、十四菊もある。
  

  
  

  
  

同値な定義

二面体群を定義するには、いくつかの方法がある。

グラフ理論の用語を用いれば、n 個の頂点を持つサイクルの自己同型全体のなす群である。これは、「正多角形を不変とする合同変換全体」という元の考えとほぼ同等であり、n ≥ 3 の場合のみ通用する定義である。

抽象的な群の定義として、

Dn=⟨r,s∣rn=1,s2=1,srs=r−1⟩{displaystyle D_{n}=langle r,smid r^{n}=1,s^{2}=1,srs=r^{-1}rangle }

あるいは

Dn=⟨x,y∣x2=y2=(xy)n=1⟩{displaystyle D_{n}=langle x,ymid x^{2}=y^{2}=(xy)^{n}=1rangle }

がある。例えば前者は、3つの関係を満たす r, s が生成する群を意味し、r はひとつの回転、s はひとつの鏡映に対応する。後者は二面体群が位数2のふたつの元がなす群であることを意味するが、逆にそのような群は二面体群に限る。後者の定義はまた、二面体群がコクセター群の一種であることも意味する。

位数 n の巡回群 Z_n と位数 2 の巡回群 Z₂ の半直積 Zn⋊ϕZ2{displaystyle mathbb {Z} _{n}rtimes _{phi }mathbb {Z} _{2}} としても定義される^[1]。ただし、φ(0) は Z_n 上の恒等写像、φ(1) は逆元を取る写像とする。この定義と半直積の性質により、D_n は位数 n の巡回群を正規部分群として持つ。

性質

n ≥ 3 のとき、正多角形の頂点に番号を付けておけば、D_n の元は自然に n 個の番号の置換と見なせる。よって、D_n は対称群 S_n の部分群である。両者の位数を比較すれば明らかなように、D₃ は S₃ と一致し、n ≥ 4 の場合は D_n は S_n の真の部分群である。

n ≥ 3 のときの D_n の性質は、n の偶奇によって若干異なる面がある。例えばその中心は、n が奇数のときは単位元のみからなるが、n が偶数のときは単位元と 180°の回転の2つからなる。実際、180°度の回転は、行列表示で単位行列の -1 倍であるから、任意の変換と可換であることは明らかである。なお、n = 1, 2 のときは、D_n はアーベル群であるから、中心は自分自身である。

p が素数のとき、位数が 2p である群は巡回群と二面体群に限る^[2]。n が奇数のとき、D_2n は D_n と Z₂ の直積に同型である^[3]。

n の約数 m に対して、D_n の部分群としてひとつの巡回群 Z_m と n/m 個の D_m が取れる。よって、D_n の部分群の総数は、約数関数を用いて σ₀(n) + σ₁(n) と表せる。ここに、σ₀(n) は n の約数の個数、σ₁(n) は n の約数の和である。

共役類と鏡映

n が奇数のとき、全ての鏡映は共役であるが、n が偶数のとき、2つの共役類に分かれる。一方の共役類は軸が正多角形の頂点を通るものであり、他方の共役類は軸が辺の中点を通るものである。

抽象代数学的には、n が奇数のときに全ての鏡映が共役であることは、シローの定理より直ちに従う。D_n の位数 2n を割る最大の2冪は 2 であるから、各々の鏡映がなす位数2の群はシロー2-部分群であり、したがってシローの定理よりそのような部分群は全て共役である。一方、n が偶数のときは、2 が 2n を割る最大の2冪ではないから、各々の鏡映がなす群はシロー部分群ではない。

自己同型群

二面体群 D_n の自己同型群は、アフィン群

Aff⁡(Z/nZ)={ax+b∣(a,n)=1}{displaystyle operatorname {Aff} (mathbb {Z} /nmathbb {Z} )={ax+bmid (a,n)=1}}

と同型であり、よってその位数は nφ(n) である^[3]。ただし、φ はオイラーのφ関数で、すなわち φ(n) とは 1, …, n - 1 の中で n と互いに素なものの個数である。実際、D_n は 2π/n の回転 R とひとつの鏡映 S で生成されるから、自己同型は R と S の移る先を決めれば決定するが、R の移る先の候補は位数 n の回転が φ(n) 個あり、S の移る先の候補は n 個の鏡映である。

n が奇数の場合、中心は単位元のみから成るので、単位元以外の任意の元が非自明な内部自己同型を与え、内部自己同型群の位数は 2n である。一方、n が偶数の場合、180°の回転が自明でない中心の元であるから、内部自己同型群の位数は n である。

脚注

[ヘルプ]

1. 
   ^ 渡辺 & 草場 (1994, p. 196)
   


2. 
   ^ 渡辺 & 草場 (1994, p. 205)
   


3. ^ ^ab渡辺 & 草場 (1994, pp. 219, 273)
   

関連項目

• アフィン群


• クラインの四元群


• 回転群


• 正多面体群

参考文献

• 
  渡辺敬一、草場公邦 『代数の世界』 朝倉書店〈すうがくぶっくす 13〉、1994年4月。ISBN 4-254-11473-7。
  
  • 渡辺敬一、草場公邦 『代数の世界』 朝倉書店〈すうがくぶっくす 13〉、2012年4月25日、改訂版。ISBN 978-4-254-11498-0。
  
  

外部リンク

• 
  群と不変量 (PDF, https://www.math.kyoto-u.ac.jp/~kyo/preprint/invariants_2005summer.pdf)
  


• Weisstein, Eric W. "Dihedral Group". MathWorld（英語）. CS1 maint: Multiple names: authors list


• Weisstein, Eric W. "Dihedral Group D3". MathWorld（英語）. CS1 maint: Multiple names: authors list


• Weisstein, Eric W. "Dihedral Group D4". MathWorld（英語）. CS1 maint: Multiple names: authors list


• Weisstein, Eric W. "Dihedral Group D5". MathWorld（英語）. CS1 maint: Multiple names: authors list


• Davis, Declan. "Dihedral Group D6". MathWorld（英語）. CS1 maint: Multiple names: authors list

This page is only for reference, If you need detailed information, please check here