二面体群D16と数珠順列の構造的必然性：線対称70通りが生まれる理由を群論的に解説

二面体群D₁₆における円順列や数珠順列の問題では、単なる場合分けやバーンサイドの補題の計算結果以上に、「なぜその数に収束するのか」という構造的必然性が重要になります。本記事では、特に線対称な円順列が70通りに収束する理由を、群作用の観点から整理します。

結論：70という値は「反転対称性の軌道構造」そのもの

まず重要なのは、線対称な円順列70通りという結果は偶然ではなく、「反転（鏡映）を含む群作用の固定点構造」によって決まるという点です。

二面体群D₁₆は回転群C₁₆と反転操作を含み、対象を「回転軌道」と「反転固定構造」に分解します。

D₁₆の作用は大きく分けて次の2つです。

①回転のみで動く軌道（巡回構造）

②反転で不変になる軌道（線対称構造）

このうち70通りという値は、②の反転不変軌道の総数に対応しています。

問題では軸が玉を通る・通らないという分類が登場しますが、これは幾何的な見え方にすぎません。

本質的には「反転がどの配置を固定するか」という群作用の固定集合の問題です。

軸の位置は、群の元（反転の種類）を具体化したものに過ぎません。

線対称配置では、反転によって必ずペアが対応するため、実質的には半分の位置が独立に決まります。

その結果、自由度は「16個の位置 → 8個の独立選択」に落ちます。

そこに赤8・白8という制約が加わることで、実質的な選択は「8個の位置に4個の赤を選ぶ」構造となり、8C4＝70に帰着します。

軸が玉を通る場合と通らない場合は、別問題ではなく「反転の固定点の型が2種類あるだけ」です。

それぞれは異なる幾何配置ですが、群論的には同じサイズの軌道分解に属し、対称性により必ず等分されます。

そのためⅰ・ⅱは構造的に対称となり、それぞれ35に収束します。

バーンサイドの補題は単なる計算公式ではなく、「群の作用を軌道の平均で数える」という構造を表しています。

本質は固定点の平均ではなく、「対称性による軌道分解の圧縮」です。

今回の70通りも、反転群の固定構造がそのまま独立自由度を定めた結果です。

線対称な円順列が70通りに収束するのは偶然ではなく、D₁₆の反転作用が作る固定構造そのものです。

軸の分類や場合分けは表層的な手続きであり、本質は「反転による自由度の半減と組合せ構造の一致」にあります。