二面体群

ウィキペディア

二面体群

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/06/04 16:20 UTC 版)

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

代数的構造 → 群論 群論
基本概念 部分群 正規部分群 商群 （半）直積 群準同型 核 像 直和 リース積 単純 有限 無限（英語版） 連続 乗法 加法 巡回 アーベル 二面体 冪零 可解 群論の用語 群論のトピックス一覧
有限群 有限単純群の分類 巡回 交代 リー型（英語版） 散在（英語版） コーシーの定理 ラグランジュの定理 シローの定理 ホールの定理 p 群 基本アーベル群 フロベニウス群（英語版） シューア multiplier（英語版） 対称群 Sn クラインの四元群 V 二面体群 Dn 四元数群 Q8 二重巡回群 Dicn
離散群 格子 整数 (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次元空間内で見て裏表の区別を付けたもの、といった意味合いである。

定義

群の元

正六角形は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つの行列から成る。

${\displaystyle {\begin{matrix}R_{0}={\bigl (}{\begin{smallmatrix}1&0\\[0.2em]0&1\end{smallmatrix}}{\bigr )},&R_{1}={\bigl (}{\begin{smallmatrix}0&-1\\[0.2em]1&0\end{smallmatrix}}{\bigr )},&R_{2}={\bigl (}{\begin{smallmatrix}-1&0\\[0.2em]0&-1\end{smallmatrix}}{\bigr )},&R_{3}={\bigl (}{\begin{smallmatrix}0&1\\[0.2em]-1&0\end{smallmatrix}}{\bigr )},\\[1em]S_{0}={\bigl (}{\begin{smallmatrix}1&0\\[0.2em]0&-1\end{smallmatrix}}{\bigr )},&S_{1}={\bigl (}{\begin{smallmatrix}0&1\\[0.2em]1&0\end{smallmatrix}}{\bigr )},&S_{2}={\bigl (}{\begin{smallmatrix}-1&0\\[0.2em]0&1\end{smallmatrix}}{\bigr )},&S_{3}={\bigl (}{\begin{smallmatrix}0&-1\\[0.2em]-1&0\end{smallmatrix}}{\bigr )}.\end{matrix}}}$

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

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

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

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

D_n は2次直交群 O(2) の部分群と見なすこともできるし（実際 O(2) の有限部分群は巡回群と二面体群に限る^[1]）、3次特殊直交群 SO(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 の場合のみ通用する定義である。

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

${\displaystyle D_{n}=\langle r,s\mid r^{n}=s^{2}=1,\ srs=r^{-1}\rangle }$ に対応するコクセター群であることも意味する。

位数 n の巡回群 Z_n と位数 2 の巡回群 Z₂ の半直積 ${\displaystyle \mathbb {Z} _{n}\rtimes _{\phi }\mathbb {Z} _{2}}$ としても定義される^[2]。ただし、φ(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 である群は巡回群と二面体群に限る^[3]。n が奇数のとき、D_2n は D_n と Z₂ の直積に同型である^[4]。

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

共役類と鏡映

n が奇数のとき、全ての鏡映は共役であるが、n が偶数のとき、2つの共役類に分かれる。一方の共役類は軸が正多角形の頂点を通るもの {S₀, S₂, …, S_n−2 } であり、他方の共役類は軸が辺の中点を通るもの {S₁, S₃, …, S_n−1 } である。

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

共役類（n：奇数）

代表元	R0	R1	…	R(n−1)/2	S0
要素数	1	2	…	2	n

共役類（n：偶数）

代表元	R0	Rn/2	R1	…	Rn/2−1	S0	S1
要素数	1	1	2	…	2	n/2	n/2

自己同型群

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

${\displaystyle \operatorname {Aff} (\mathbb {Z} /n\mathbb {Z} )=\{ax+b\mid (a,n)=1\}}$

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

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

脚注

[脚注の使い方]

1. ^ アームストロング 2007, p. 118, 定理 19.1.
2. ^ 渡辺 & 草場 (1994, p. 196)
3. ^ 渡辺 & 草場 (1994, p. 205)
4. ^ ^{a b} 渡辺 & 草場 (1994, pp. 219, 273)

関連項目

• アフィン群
• クラインの四元群
• 回転群
• 正多面体群

参考文献

• M. A. アームストロング『対称性からの群論入門』シュプリンガー、2007年。ISBN 978-4-431-10007-2。 
• 渡辺敬一、草場公邦『代数の世界』朝倉書店〈すうがくぶっくす 13〉、1994年4月。ISBN 4-254-11473-7。 
  • 渡辺敬一、草場公邦『代数の世界』（改訂版）朝倉書店〈すうがくぶっくす 13〉、2012年4月25日。ISBN 978-4-254-11498-0。http://www.asakura.co.jp/books/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 (英語).
• Weisstein, Eric W. "Dihedral Group D3". MathWorld (英語).
• Weisstein, Eric W. "Dihedral Group D4". MathWorld (英語).
• Weisstein, Eric W. "Dihedral Group D5". MathWorld (英語).
• Davis, Declan. "Dihedral Group D6". MathWorld (英語).