Pattern Sub-Groups
I've been fooling around with symmetric Rubik cube patterns: "Cross" patterns, involving corners only; "Check" patterns, involving edges only; and "Dots" patterns, involving edges and corners.
By rotating the eight corners a quarter turn about one of the cube axes a cube state with a cross on four faces is produced. A second such state may be produced by rotating about a different cube axes:
R U B R U R D R U' D B' U' B' D' B' R' D' B' R B D R B R F R B' F D' B' D' F' D' R' F' D'
By recursively forming binary products from these two generators a group of 24 cube states is produced composed of all the different pure cross patterns plus the identity element. This Cross group is composed of five conjugate classes:
- The identity cube
- Six patterns via rotating the corners a quarter turn about the four fold cube axes
- Three by rotating a half turn about the four fold cube axes
- Eight by rotating a third of a turn about the cube's three fold axes
- Six by rotating a half turn about the cube's two fold axes.
These patterns are well known, the three fold is Plummer's cross, the two fold is Christman's cross, etc. What is interesting is that the cross cube states form a sub-group within the Rubik group. What is more that group is isomorphic with the cubic pure rotation point group, Schoenflies group O.
Generators for the check patterns are formed by rotation the edges a third turn about two of the cubes three fold axes:
U U D' F L L U' F' R' L F' B L D F F L' U D D U U D' B R R U' B' L' R B' F R D B B R' U D D
The group formed with these two generators has twelve elements in three classes (actually four classes, the three fold patterns divide into clockwise and anti-clockwise in this group.)
- The Identity cube
- Eight patterns by rotating the edges a third of a turn about the three fold axes
- Three patterns by rotating a half turn about the four fold axes
This group is isomorphic with the tetrahedral pure rotation point group, Schoenflies group T. These Check group patterns composed with the corresponding elements from the Cross group form the Dots pattern group. The Dots group again is isomorphic with the T point group. The Check group may be expanded by adding a third generator, a cube with check patterns on two opposite faces:
F F U U D D F B' U U D D F' B'
This group has 24 elements and is isomorphic with the Th point group. The Th point group is not a pure rotation group. It includes reflection elements. This makes the added elements difficult to describe. For example, the group includes Pons Asinorum which is homologous to the inversion symmetry operation. The generator above is homologous to a reflection across a mirror plane symmetry element.
I don't know if this analysis has been done before. I suspect that it has. But it tickled me when I saw the connection between the pattern sub-groups within the Rubik group and point group symmetry. I thought I would share it.
If you combine the generators for the Cross and Check sub-groups you generate a sub-group comprised of patterns with combinations of Checks, Crosses and Dots on the various faces. There are 576 elements in the group. When you eliminate elements which differ only in the orientation the cube is in when a particular pattern is applied you get 46 unique patterns. That is to say the group reduced by rotational symmetry has 46 elements. Representative elements from the 46 symmetry classes are listed below. The minimal solutions were found using Herbert Kociemba's Optimal Cube Solver.
Forming group from 5 generators Group Order: 576 elements in 40 conj. classes symmetry reduced to 46 elements. Class 1: 1 element, 1 sym class, 1 unique E Class 2: 1 element, 1 sym class, 1 unique U U D D R R L L F F B B (12q*) "Check group, Pons Asinorum" Class 3: 3 elements, 1 sym class, 1 unique F F U U D D F B' U U D D F' B' (14q*) "Check Group, generator" Class 4: 3 elements, 1 sym class, 1 unique R R U U D D F F B B R R (12q*) Class 5: 3 elements, 1 sym class, 1 unique U U F F U U R L' F F U U F F R' L (16q*) "Cross Group" Class 6: 3 elements, 1 sym class, 1 unique U U F F U U R R L L U U B B U U (16q*) "Check Group" Class 7: 4 elements, 1 sym class, 1 unique U R B D B U' F' D' B' D' R' L F B R U' L' D' B' L (20q*) "Check Group" Class 8: 4 elements, 1 sym class, 1 unique U U D' F L L U' F' R' L F' B L D F F L' U D D (20q*) "Check Group" Class 9: 4 elements, 1 sym class, 0 unique Class 10: 4 elements, 1 sym class, 0 unique Class 11: 6 elements, 1 sym class, 1 unique U F F U U D R L' U' D R U U L' U' D R L' (18q*) Class 12: 6 elements, 1 sym class, 1 unique R U D L L U D F' B' R R F' B' L' (14q*) Class 13: 6 elements, 1 sym class, 1 unique F U U F F R L' D D B B D D R' L F (16q*) "Cross Group" Class 14: 6 elements, 1 sym class, 1 unique R U B R U R D R U' D B' U' B' D' B' R' D' B' (18q*) "Cross Group, generator" Class 15: 8 elements, 1 sym class, 1 unique U U D B' L L U B U D' F B' U' B' R R U F' B B (20q*) "Cross Group" Class 16: 8 elements, 1 sym class, 1 unique U U D D R F D D L' F' R L' F B' L F U U L' B' (20q*) Class 17: 9 elements, 2 sym classes, 2 unique U U F F B B U U R L F F B B R L (16q*) U U F B' R R L L F B' U U (12q*) "Dots Group" Class 18: 9 elements, 2 sym classes, 2 unique U U D D F B' U U D D F' B (12q*) R R U D' R R L L U' D L L (12q*) Class 19: 12 elements, 1 sym class, 1 unique U U D D F' L' U U B L U' D R' L U' F' L L U B (20q*) Class 20: 12 elements, 1 sym class, 1 unique U U B L' B' L' B' L U U F' B R D F' U' L' F' R U (20q*) Class 21: 12 elements, 1 sym class, 0 unique Class 22: 12 elements, 1 sym class, 0 unique Class 23: 18 elements, 2 sym classes, 2 unique R F F B B R R U D F F B B U D R (16q*) U R F D B U L' F' R' B' D' L' U D D F' B R (18q*) Class 24: 18 elements, 2 sym classes, 2 unique U U R U B L F R D' B' U' F' L' D' R' F' B D' (18q*) U U D F F U U R R L L U U B B U (16q*) Class 25: 18 elements, 2 sym classes, 2 unique U F F U U D F' B U D' F L L B' U' D F' B (18q*) R U D R R U D F B L L F B L' (14q*) Class 26: 18 elements, 2 sym classes, 2 unique R U D R R U U R L B B R L U D' R' (16q*) U D' R L' U R R U D D R' L U' D R B B R' (18q*) Class 27: 24 elements, 2 sym classes, 2 unique U' D F U F L D R U B' L' F' R' D' B' D' (16q*) U R R U U F B R' L' B B R R U' D' F (16q*) Class 28: 24 elements, 2 sym classes, 2 unique U U F U' D R' L' U D' B D D B R L' D D F' B L (20q*) R F F R L' D D R L U' D' F' B R' L' U (16q*) Class 29: 24 elements, 2 sym classes, 2 unique R U U B B U U F' B' R L U' D' F' B U' (16q*) U D' R B B L' F' B R L' F' B B D D B' U D' (18q*) Class 30: 24 elements, 2 sym classes, 2 unique U D' R U U R L L F' B R L' B L L B' U' D (18q*) U' R L' U D F' B' R L U U L L U U B (16q*) Class 31: 24 elements, 1 sym class, 1 unique U R' B' D F B' R' U F' B U' L F B' D' F L U' F' B (20q*) Class 32: 24 elements, 1 sym class, 1 unique U L' F B U D' B' R' F B' R F U' D F' B' R D R' L' (20q*) Class 33: 24 elements, 2 sym classes, 0 unique Class 34: 24 elements, 2 sym classes, 0 unique Class 35: 24 elements, 2 sym classes, 0 unique Class 36: 24 elements, 2 sym classes, 0 unique Class 37: 32 elements, 4 sym classes, 4 unique U U F R' F' R' F' R U D R L' B R D' L' B' D' F L (20q*) U U R L F F U' D L L F B U U R L' (16q*) U' R' B B U R F B' R L' B' D' R R B U' D D F B' (20q*) U F B' R' L U D' B' (8q*) "Dots Group" Class 38: 32 elements, 4 sym classes, 4 unique U R' B' D' F' U R L U' D B' R' B' L' F' R B R U B (20q*) U U D D R' L U D' F' B R' L (12q*) U' R' L' B' D' R' L U' R' F D F B' U L B U F U' D (20q*) R R F' B R L' U' D F' B D D (12q*) Class 39: 32 elements, 4 sym classes, 0 unique Class 40: 32 elements, 4 sym classes, 0 unique