二面体群D16と数珠順列の軌道分解｜70が現れる構造的必然性を群作用から解説

二面体群D₁₆による数珠順列の問題では、単なる数え上げの一致に見える現象の背後に、実は群作用と軌道分解という明確な構造が存在します。本記事では、赤白8個ずつの数珠順列における対称性と、70という値が現れる必然性について、群論的な観点から整理して解説します。

二面体群D16と数珠順列の基本構造

二面体群D₁₆は、正八角形の回転と反射を含む対称性を表す群であり、位数は16です。

数珠順列（ネックレス問題）は、このD₁₆の作用によって「同一視される配置」をまとめることで軌道分解されます。

つまり、単なる並び替えではなく、対称操作によって同一とみなされる構造を扱っています。

問題で現れる70という値は、単なる組み合わせ計算の結果ではなく、群作用による軌道の個数に対応しています。

特に軸対称を持たない配置は、回転群の作用によって自由度が最大化され、8!/(4!4!)＝70という値と一致します。

これは「対称性がほとんどない軌道のサイズ」を表しています。

線対称な配置は、反射対称性を持つ元の固定点集合として現れます。

質問にあるⅰ）17＋17＋1とⅱ）32＋2＋1という分解は、異なる固定集合の分割に対応しています。

しかしそれぞれが35になるのは、反射軸の種類ごとに軌道が同型な構造を持つためです。

これは偶然ではなく、D₁₆の共役関係による対称性が原因です。

軸が玉を通る場合と通らない場合は異なる見え方をしますが、群論的には同じ種類の反射作用に分類されます。

そのため、固定点集合の大きさが構造的に一致することが保証されます。

バーンサイド補題は「各群元の固定点の平均」が軌道数になることを示しますが、本質は対称性の分解です。

70という値や35＋35という分解は、固定点の分布が群の構造に従って必然的に整理される結果です。

したがって、見かけ上の異なる数え上げはすべて同じ軌道分解に帰着します。

D₁₆による数珠順列では、70という値や35＋35という分解は偶然ではなく、群作用による軌道構造の必然的な帰結です。

異なる数え上げは異なるように見えても、共役性と固定点構造によって統一的に説明されます。

この視点を持つことで、バーンサイド補題は単なる公式ではなく「対称性の可視化」として理解できます。