代数系入門(松坂和夫) の 第2章 §3 問題10, 11 の解答です。
二面体群
関係式 \( \sigma ^n = e \) , \( \tau ^2 = e \) , \( \tau \sigma = \sigma ^{-1} \tau \) を満たす2つの生成元 \( \tau, \sigma \) を持つ位数 \( 2n \) の群 \( D_n \) を2面体群という。
\( ( \tau \sigma ^m ) ^{-1} = \tau \sigma ^m \)
二面体群においては \( ( \tau \sigma ^m ) ^{-1} = \tau \sigma ^m \) となります。
\begin{eqnarray*} & & ( \tau \sigma ^m) ( \tau \sigma ^m ) \\ & = & ( \tau \sigma ^{m-1} ) ( \sigma \tau ^ {-1} ) ( \tau \sigma ^m ) \\ & = & ( \tau \sigma ^{m – 1} ) ( \tau \sigma ^ {m – 1}) \\ & & \vdots \\ & = & ( \tau \sigma ) ( \tau \sigma ) \\ & = & \sigma ^{-1} \tau \tau \sigma \\ & = & e \end{eqnarray*}二面体群 \( D_4 \) の部分群
\( D_4 = \left\{ e, \tau, \sigma, \sigma^2, \sigma^3, \tau \sigma, \tau \sigma^2, \tau \sigma^3 \right\} \) となります。
真部分群
- 位数2
-
- \( e, \tau \)
- \( e, \sigma ^2 \)
- \( e, \tau \sigma \)
- \( e, \tau \sigma^2 \)
- \( e, \tau \sigma^3 \)
- 位数4
-
- \( e, \sigma, \sigma ^2 , \sigma ^3 \)
- \( e, \tau, \sigma ^2, \tau \sigma ^2 \)
- \( e, \tau \sigma, \sigma ^2, \tau \sigma^3 \)
二面体群 \( D_6 \) の部分群
\( D_8 = \left\{ e, \tau, \sigma, \sigma^2, \sigma^3, \sigma^4, \sigma^5, \tau \sigma, \tau \sigma^2, \tau \sigma^3, \tau \sigma^4, \tau \sigma^5 \right\} \) となります。
真部分群
- 位数2
-
- \( e, \tau \)
- \( e, \sigma ^3 \)
- \( e, \tau \sigma \)
- \( e, \tau \sigma ^2 \)
- \( e, \tau \sigma ^3 \)
- \( e, \tau \sigma ^4 \)
- \( e, \tau \sigma ^5 \)
- 位数3
-
- \( e, \sigma ^2, \sigma^4 \)
- 位数4
-
- \( e, \tau, \sigma^3, \tau \sigma^3 \)
- \( e, \sigma^3, \tau \sigma^1, \tau \sigma^4 \)
- \( e, \sigma^3, \tau \sigma^2, \tau \sigma^5 \)
- 位数6
-
- \( e, \sigma, \sigma^2, \sigma^3, \sigma^4, \sigma^5 \)
- \( e, \tau, \sigma^2, \sigma^4, \tau \sigma^2, \tau \sigma^4 \)
- \( e, \sigma^2, \sigma^4, \tau \sigma, \tau \sigma^3, \tau \sigma^5 \)