ルービックキューブ群（３年ゼミ）

キューブ群．ようやく不変量が現れ，規則に則ったキューブ群の決定へ．
本日は2面体と3面体が位置は変えずに捻れただけの特殊な状態について，
３つの不変量がルービックキューブとして可能な配置の十分条件となることを示した．
ここまでは加群の話として証明が閉じる．
途中，必要な操作が見つからず，つまり実際にルービックキューブを動かして，
ということだが，しばしルービックキューブをやる時間に．
無事見つかって，次回は2面体，3面体の位置が変わっている場合について．
今度は非可換なことが効いてくるのでより組合せ群論的になるのだろう．

群論の味わい ?置換群で解き明かすルービックキューブと15パズル?