ルービックキューブ群論の深層：交換子部分群と可解性

前回の記事で、交換子 $[A, B] = A B A^{- 1} B^{- 1}$ がルービックキューブの解法に不可欠な道具であることを見た。本記事では、交換子が生成する部分群（交換子部分群）に焦点を当て、ルービックキューブ群が「可解でない」ことを証明する。この結果は、キューブの解法が本質的に複雑である理由を代数的に説明するものだ。

交換子部分群と導来列

群 $G$ の交換子部分群（derived subgroup） $G^{'}$ は、 $G$ のすべての交換子 $[a, b] = ab a^{- 1} b^{- 1}$ （ $a, b \in G$ ）で生成される部分群として定義される。

$G^{'} = [G, G] = ⟨[a, b] ∣ a, b \in G ⟩$

$G^{'}$ は $G$ の正規部分群であり、商群 $G / G^{'}$ はアーベル群になる。実際、 $G / G^{'}$ は $G$ のアーベル化（abelianization）と呼ばれ、 $G$ を「最もアーベルに近づけた」群である。

導来列（derived series）は、交換子部分群を繰り返し取る操作で得られる列だ。

$G ⊵ G^{'} ⊵ G^{''} ⊵ G^{'''} ⊵ \dots$

ここで $G^{''} = [G^{'}, G^{'}]$ 、 $G^{'''} = [G^{''}, G^{''}]$ などと定義する。

群 $G$ が可解（solvable）であるとは、導来列が有限回で単位群 ${e}$ に到達すること、すなわちある $n$ が存在して $G^{(n)} = {e}$ となることをいう。可解群は「交換子を繰り返し取ると、やがてすべてが可換になる」群であり、段階的に簡単化できる群とも言い換えられる。

ガロアが 5 次方程式の代数的解法が不可能であることを証明した際に導入した概念。

対称群 $S_{n}$ の導来列

ルービックキューブ群の可解性を議論するために、まず対称群 $S_{n}$ の導来列を調べよう。

$S_{n}$ の交換子部分群は交代群 $A_{n}$ に等しい。

$S_{n}^{'} = [S_{n}, S_{n}] = A_{n}$

これは次のように示せる。任意の交換子 $[σ, τ] = σ τ σ^{- 1} τ^{- 1}$ は偶置換だ（ $sgn (σ τ σ^{- 1} τ^{- 1}) = sgn (σ) sgn (τ) sgn (σ)^{- 1} sgn (τ)^{- 1} = 1$ ）。逆に、 $n \geq 2$ のとき任意の偶置換は交換子の積で書ける。

次に $A_{n}$ の交換子部分群 $A_{n}^{'} = [A_{n}, A_{n}]$ を求める。 $n \geq 5$ のとき、 $A_{n}$ は単純群（自明でない正規部分群を持たない群）であることが知られている。 $A_{n}^{'} ⊴ A_{n}$ であり、 $A_{n}^{'}$ は自明でない（ $A_{n}$ は非可換だから $A_{n}^{'} \neq = {e}$ ）。 $A_{n}$ の単純性から $A_{n}^{'} = A_{n}$ が従う。

$n \leq 4$

$A_n$ は可解

$A_{1} = A_{2} = {e}$ 、 $A_{3} ≅ Z_{3}$ （巡回群）、 $A_{4}$ はクライン 4 群 $V_{4}$ を正規部分群に持ち、 $A_{4} ⊵ V_{4} ⊵ {e}$ が可解な正規列。

$n = 5$

$A_5$ は非可解の最小例

$∣ A_{5} ∣ = 60$ 。正規部分群は ${e}$ と $A_{5}$ のみ。 $A_{5}^{'} = A_{5}$ だから導来列が停滞し、可解でない。

$n \geq 5$

$A_n$ はすべて単純

$A_{n}^{'} = A_{n}$ が成り立ち、導来列は $A_{n} ⊵ A_{n} ⊵ \dots$ と停滞する。

つまり $n \geq 5$ のとき、 $S_{n}$ の導来列は

$S_{n} ⊵ A_{n} ⊵ A_{n} ⊵ A_{n} ⊵ \dots$

で停滞し、 ${e}$ に到達しない。したがって $S_{n}$ （ $n \geq 5$ ）は可解でない。

ルービックキューブ群の導来列

ルービックキューブ群 $G$ の可解性を判定しよう。前回の記事で見たように、 $G$ は置換部分として $S_{8}$ （コーナー）と $S_{12}$ （エッジ）の制約付き直積を含む。

$G$ から置換部分への射影を $π : G \to S_{8} \times S_{12}$ とすると、 $π$ は全射準同型（パリティ制約の範囲内で）であり、その像は

$Im (π) = {(σ, τ) \in S_{8} \times S_{12} ∣ sgn (σ) = sgn (τ)}$

だ。この群は $A_{8} \times A_{12}$ を指数 2 の正規部分群として含む。

$G^{'} = [G, G]$ を計算するため、 $G$ の交換子を具体的に調べる。前の記事で見たように、 $[R, U]$ のコーナー置換は 3-cycle $(124)$ だ。共役を使えば任意のコーナー 3-cycle が得られる。3-cycle は $A_{8}$ を生成するから、 $G^{'}$ の置換部分への射影像は少なくとも $A_{8} \times A_{12}$ を含む。

交換子部分群の置換成分

$G^{'}$ を置換に射影すると $A_{8} \times A_{12}$ を含む。 $A_{8}$ は $S_{8}$ の交換子部分群であり、コーナーの偶置換全体に対応する。

交換子部分群の向き成分

向き部分群 $(Z_{3})^{7} \times (Z_{2})^{11}$ のどの部分が $G^{'}$ に含まれるかを調べる必要がある。実は向き部分群のすべてが $G^{'}$ に含まれることが示せる。

$A_{n}$ の単純性とキューブ群の非可解性

ルービックキューブ群が可解でないことの証明の核心は、 $A_{n}$ （ $n \geq 5$ ）の単純性にある。

$G$ から $S_{8}$ への射影 $π_{c} : G \to S_{8}$ を考えると、交換子部分群の射影は

$π_{c} (G^{'}) \supseteq [S_{8}, S_{8}] = A_{8}$

を満たす。 $A_{8}$ は単純群（ $8 \geq 5$ ）だから、 $A_{8}^{'} = A_{8}$ が成り立つ。

$G$ の導来列を追跡しよう。 $G^{(k)}$ の置換成分への射影を $π_{c} (G^{(k)})$ とすると、

$π_{c} (G^{(0)}) = π_{c} (G) \supseteq A_{8}$

$π_{c} (G^{(1)}) = π_{c} (G^{'}) \supseteq A_{8}^{'} = A_{8}$

$π_{c} (G^{(2)}) = π_{c} (G^{''}) \supseteq A_{8}^{''} = A_{8}$

帰納的に、すべての $k \geq 1$ に対して $π_{c} (G^{(k)}) \supseteq A_{8}$ が成り立つ。 $∣ A_{8} ∣ = 8! /2 = 20, 160$ だから、 $G^{(k)} \neq = {e}$ がすべての $k$ について成り立つ。したがって導来列は ${e}$ に到達せず、 $G$ は可解でない。

同様の議論は $S_{12}$ 側（ $A_{12}$ の単純性）からも行える。エッジ置換の射影についても $π_{e} (G^{(k)}) \supseteq A_{12}$ が成り立ち、 $∣ A_{12} ∣ = 12! /2 = 239, 500, 800$ だから、やはり $G^{(k)} \neq = {e}$ が従う。

可解群の場合

導来列 $G ⊵ G^{'} ⊵ \dots ⊵ {e}$ が有限ステップで単位群に到達する。例：アーベル群（1 ステップ）、 $S_{4}$ （3 ステップ）

ルービックキューブ群

$G^{(k)} \supseteq A_{8}$ （すべての $k \geq 1$ ）だから、導来列が停滞し ${e}$ に到達しない。 $A_{8}$ の単純性が本質的な障害

証明の整理

以上の議論を定理としてまとめる。

定理. ルービックキューブ群 $G$ は可解でない。

証明. 置換射影 $π_{c} : G \to S_{8}$ は、コーナー操作の位置置換成分を取り出す準同型だ。 $G$ の生成元 ${U, D, L, R, F, B}$ のコーナー置換はいずれも 4-cycle であり、 $⟨(1234), (1485), \dots ⟩ = S_{8}$ だから $π_{c}$ は全射。

交換子に関する一般論から、 $π_{c} (G^{'}) \supseteq [π_{c} (G), π_{c} (G)] = [S_{8}, S_{8}] = A_{8}$ が成り立つ。

$A_{8}$ は単純群だから $A_{8}^{'} = A_{8}$ であり、帰納法により

$π_{c} (G^{(k)}) \supseteq A_{8} (\forall k \geq 1)$

が従う。 $A_{8} \neq = {e}$ だから $G^{(k)} \neq = {e}$ （ $\forall k$ ）。よって $G$ の導来列は ${e}$ に収束せず、 $G$ は可解でない。 $□$

非可解性の帰結

この定理にはいくつかの重要な帰結がある。

1. 交換子だけでは解けない。 可解群ならば、有限回の交換子操作で任意の元を単位元に帰着できる。ルービックキューブ群が可解でないということは、交換子を繰り返し取るだけでは群全体をカバーできないことを意味する。ただし、これは交換子が解法に無用であるという意味ではない。交換子は 3-cycle を生成するために依然として不可欠であり、解法の個別ステップでは極めて有効だ。

2. ガロア理論との類比。 $S_{n}$ （ $n \geq 5$ ）が可解でないことは、 $n$ 次一般代数方程式が冪根で解けないことの代数的本質だ（アーベル-ルフィニの定理）。ルービックキューブ群の非可解性は、同じ代数的障害が異なる文脈で現れたものと見なせる。

5 次方程式の非可解性

$S_{5} \supset A_{5}$ が単純群であるため、5 次一般方程式のガロア群は可解でなく、冪根による解の公式が存在しない。

ルービックキューブ群の非可解性

$G \supset A_{8}$ が単純群であるため、導来列が停滞する。交換子の反復適用だけでは群全体を「ほどく」ことができない。

3. しかし解法は存在する。 非可解性は「単純な再帰的手続きでは解けない」ことを示唆するが、解法が存在しないことは意味しない。実際の解法は、交換子と共役に加えて、半直積の構造や正規部分群の性質を活用することで、段階的にキューブを復元する。God’s number（最短手数）が 20 であることは、 $G$ のケーリーグラフの直径として理解できる。

導来列のより精密な分析

$G$ の導来列を向き成分も含めて追跡すると、より詳しい構造が見えてくる。

第 1 段階。 $G / G^{'}$ は $G$ のアーベル化だ。 $G$ の生成元はすべて位数 4 の元であり、置換成分の符号は $(- 1)$ （4-cycle は奇置換）。向き成分も考慮すると、

$G / G^{'} ≅ Z_{2}$

となる。 $G^{'}$ は $G$ の指数 2 の部分群であり、偶数個の基本操作の積で書ける元全体に対応する。

第 2 段階。 $G^{'} / G^{''}$ を求める。 $G^{'}$ は向き部分群 $(Z_{3})^{7} \times (Z_{2})^{11}$ を含み、置換成分としては $A_{8} \times A_{12}$ を含む。 $A_{8}$ と $A_{12}$ はともに単純だから $G^{''} \supseteq A_{8} \times A_{12}$ （の $G^{'}$ における引き戻し）が成り立ち、 $G^{''} / G^{'''}$ も非自明のまま停滞が続く。

$G$ ：ルービックキューブ群全体

$G^{'}$ ：指数 2 の部分群（ $G / G^{'} ≅ Z_{2}$ ）

$G^{''} = G^{'''} = \dots$ ： $A_{8} \times A_{12}$ の寄与で停滞

可解な部分群

$G$ 自体は可解でないが、 $G$ の一部の部分群は可解だ。

向き部分群 $N = (Z_{3})^{7} \times (Z_{2})^{11}$ はアーベル群であり、したがって可解（ $N^{'} = {e}$ ）。1 ステップで導来列が終了する。

単一面の操作が生成する群 $⟨ R ⟩ ≅ Z_{4}$ も巡回群だから可解だ。

2 つの対面操作の群 $⟨ R, L ⟩$ も可解である。 $R$ と $L$ は互いに素なパーツ集合に作用するため可換であり、 $⟨ R, L ⟩ ≅ Z_{4} \times Z_{4}$ はアーベル群だ。

一方、隣接する 2 面の操作、たとえば $⟨ R, U ⟩$ は既に非可解になる。 $⟨ R, U ⟩$ のコーナー置換部分には $A_{8}$ の十分大きな部分群が含まれ、 $A_{5}$ 以上の単純群が現れるためだ。

部分群	構造	可解性
$⟨ R ⟩$	$Z_{4}$	可解
$⟨ R, L ⟩$	$Z_{4}^{2}$	可解
$⟨ R, U ⟩$	非可換群	非可解
$G$ 全体	$G_{c} \times_{Z_{2}} G_{e}$	非可解

組成列と Jordan-Hölder の定理

群の構造をさらに深く理解するために、組成列（composition series）の概念を導入する。組成列とは

${e} = G_{0} ⊴ G_{1} ⊴ \dots ⊴ G_{n} = G$

なる正規列であって、各商群 $G_{i + 1} / G_{i}$ が単純群であるものをいう。Jordan-Hölder の定理により、組成列の組成因子（商群の同型類の集合）は群に固有で、列の取り方によらない。

ルービックキューブ群 $G$ の組成因子には、 $A_{8}$ 、 $A_{12}$ 、 $Z_{3}$ （7 個）、 $Z_{2}$ （複数個）が含まれる。 $A_{8}$ と $A_{12}$ という非可換単純群が組成因子に現れることが、 $G$ の非可解性の直接的な反映である。

可解群とは、組成因子がすべて素数位数の巡回群である群だ。ルービックキューブ群は $A_{8}$ （位数 $20, 160$ ）と $A_{12}$ （位数 $239, 500, 800$ ）を組成因子に含むため、明確に可解の枠組みを逸脱している。

まとめ

ルービックキューブ群は可解でない。その本質的な理由は、コーナーの位置置換群 $S_{8}$ とエッジの位置置換群 $S_{12}$ が、それぞれ単純群 $A_{8}$ と $A_{12}$ を交換子部分群として含むためだ。これは $n \geq 5$ で $A_{n}$ が単純であるという古典的な定理の直接的な帰結であり、ガロア理論における 5 次方程式の非可解性と根を同じくする現象だ。ルービックキューブの解法が単純な再帰的手続きに還元できないのは、この代数的な深い理由に基づいている。