Permutation group

imprimitive
intransitive

\(D_8\)

\(Q_8\)

\(\mathrm{PSL}(2, 7)\)

\(\mathrm{PGL}(2, 7)\)

transitive

\(C_3\times C_3\)

\(S_3\times S_3\)

\(C_3\wr C_3\)

\(S_3\wr S_3\)

primitive
affine

\(\mathrm{AGL}(1,9)\)

\(\mathrm{A\Gamma L}(1,9)\)

\(M_9\)

\(\mathrm{ASL}(2,3)\)

\(\mathrm{AGL}(2,3)\)

almost simple

\(\mathrm{SL}(2,8)\)

\(\mathrm{\Sigma L}(2,8)\)

\(A_9\)

\(S_9\)

special

\(C_2^8\rtimes S_9\)

\(C_2\wr S_9\)

\(D_8\wr S_9\)

random

custom…

Pattern

The Cole puzzle

Enter a sequence of moves (see instructions)

Enter permutations for the left and right button

Status

Moves: 0

Solution:

  • The goal of this puzzle is to unscramble the \(3\times 3\) boxes by applying a sequence of permutations. First, pick a permutation group on the left-hand panel. Theoretical information on the selected group is given above. The bigger the group, the harder the challenge.
  • The buttons underneath the grid perform fixed permutations as indicated by their icon. Clicking with the right mouse button performs the inverse permutation (i.e. undoes the left button click).
  • The middle button under the grid can be defined as a combination of the left and right buttons. To set this up, right-click on the middle button and enter a sequence of L, L', R and R' without spaces or commas. Here, L and R denote the left and right buttons, and L' and R' denote the respective inverse actions.
  • For convenience, the buttons can also be executed on the keyboard (left, up and right arrow keys; combine with ctrl for the inverses).
  • Once you're familiar with the controls, press Scramble and try to solve the puzzle in as few moves as possible. If desperate, press Solution to uncover a solving sequence. This feature is not available for the larger groups.
  • In the custom mode, you're asked to define your own buttons as permutations on \(1,\ldots,9\), arranged like a keypad. Enter any arrangement of these numbers without spaces or commas.

The game is named after Frank Nelson Cole, who classified all 34 transitive permutation groups of degree 9 in 1893. It was written in HTML/CSS/JS by Benjamin Sambale. The solutions are computed with GAP, the mathematics is rendered with Katex, and the images were created with TikZ.