Rubik's Cube group

src: vrs.amsi.org.au

The Rubik's Cube group is a group ${\displaystyle (G,\cdot )}$ that represents the structure of the Rubik's Cube mechanical puzzle. Each element of the set ${\displaystyle G}$ corresponds to a cube move, which is the effect of any sequence of rotations of the cube's faces. With this representation, not only can any cube move be represented, but also any position of the cube as well, by detailing the cube moves required to rotate the solved cube into that position. Indeed with the solved position as a starting point, there is a one-to-one correspondence between each of the legal positions of the Rubik's Cube and the elements of ${\displaystyle G}$. The group operation ${\displaystyle \cdot }$ is the composition of cube moves, corresponding to the result of performing one cube move after another.

The Rubik's Cube group is constructed by labeling each of the 48 non-center facets with the integers 1 to 48. Each configuration of the cube can be represented as a permutation of the labels 1 to 48, depending on the position of each facet. Using this representation, the solved cube is the identity permutation which leaves the cube unchanged, while the twelve cube moves that rotate a layer of the cube 90 degrees are represented by their respective permutations. The Rubik's Cube group is the subgroup of the symmetric group ${\displaystyle S_{48}}$ generated by the six permutations corresponding to the six clockwise cube moves. With this construction, any configuration of the cube reachable through a sequence of cube moves is within the group. Its operation ${\displaystyle \cdot }$ refers to the composition of two permutations; within the cube, this refers to combining two sequences of cube moves together, doing one after the other. The Rubik's Cube group is non-abelian as composition of cube moves is not commutative; doing two sequences of cube moves in a different order can result in a different configuration.

Video Rubik's Cube group

Cube moves

A ${\displaystyle 3\times 3\times 3}$ Rubik's Cube consists of ${\displaystyle 6}$ faces, each with ${\displaystyle 9}$ colored squares called facets, for a total of ${\displaystyle 54}$ facets. A solved cube has all of the facets on each face having the same color.

A cube move rotates one of the ${\displaystyle 6}$ faces: ${\displaystyle 90^{\circ },180^{\circ }}$ or ${\displaystyle -90^{\circ }}$ (half-turn metric). A center facet rotates about its axis but otherwise stays in the same position.

Cube moves are described with the Singmaster notation:

The empty move is ${\displaystyle E}$. The concatenation of ${\displaystyle LLLL}$ is the same as ${\displaystyle E}$, and ${\displaystyle RRR}$ is the same as ${\displaystyle R^{\prime }}$.

Maps Rubik's Cube group

Group structure

The following uses the notation described in How to solve the Rubik's Cube. The orientation of the six centre facets is fixed.

We can identify each of the six face rotations as elements in the symmetric group on the set of non-center facets. More concretely, we can label the non-center facets by the numbers 1 through 48, and then identify the six face rotations as elements of the symmetric group S₄₈ according to how each move permutes the various facets. The Rubik's Cube group, G, is then defined to be the subgroup of S₄₈ generated by the 6 face rotations, ${\displaystyle \{F,B,U,D,L,R\}}$.

The cardinality of G is given by

${\displaystyle |G|=43{,}252{,}003{,}274{,}489{,}856{,}000\,\!=2^{27}3^{14}5^{3}7^{2}11}$.

Despite being this large, God's Number for Rubik's Cube is 20; that is, any position can be solved in 20 or fewer moves (where a half-twist is counted as a single move; if a half-twist is counted as two quarter-twists, then God's number is 26).

The largest order of an element in G is 1260. For example, one such element of order 1260 is

${\displaystyle (RU^{2}D^{-1}BD^{-1})}$.

G is non-abelian since, for example, ${\displaystyle FR}$ is not the same as ${\displaystyle RF}$. That is, not all cube moves commute with each other.

Subgroups

We consider two subgroups of G: First the subgroup C_o of cube orientations, the moves that leave the position of every block fixed, but can change the orientations of blocks. This group is a normal subgroup of G. It can be represented as the normal closure of some moves that flip a few edges or twist a few corners. For example, it is the normal closure of the following two moves:

${\displaystyle BR^{\prime }D^{2}RB^{\prime }U^{2}BR^{\prime }D^{2}RB^{\prime }U^{2},\,\!}$ (twist two corners)

${\displaystyle RUDB^{2}U^{2}B^{\prime }UBUB^{2}D^{\prime }R^{\prime }U^{\prime },\,\!}$ (flip two edges).

Second, we take the subgroup ${\displaystyle C_{P}}$ of cube permutations, the moves which can change the positions of the blocks, but leave the orientation fixed. For this subgroup there are several choices, depending on the precise way you define orientation. One choice is the following group, given by generators (the last generator is a 3 cycle on the edges):

${\displaystyle C_{p}=[U^{2},D^{2},F,B,L^{2},R^{2},R^{2}U^{\prime }FB^{\prime }R^{2}F^{\prime }BU^{\prime }R^{2}].\,\!}$

Since C_o is a normal subgroup and the intersection of C_o and C_p is the identity and their product is the whole cube group, it follows that the cube group G is the semi-direct product of these two groups. That is

${\displaystyle G=C_{o}\rtimes C_{p}.\,}$

Next we can take a closer look at these two groups. The structure of C_o is

${\displaystyle \mathbb {Z} _{3}^{7}\times \mathbb {Z} _{2}^{11},\ }$

since the group of rotations of each corner (resp. edge) cube is ${\displaystyle \mathbb {Z} _{3}}$ (resp. ${\displaystyle \mathbb {Z} _{2}}$), and in each case all but one may be rotated freely, but these rotations determine the orientation of the last one. Noticing that there are 8 corners and 12 edges, and that all the rotation groups are abelian, gives the above structure.

Cube permutations, C_p, is a little more complicated. It has the following two disjoint normal subgroups: the group of even permutations on the corners A₈ and the group of even permutations on the edges A₁₂. Complementary to these two subgroups is a permutation that swaps two corners and swaps two edges. It turns out that these generate all possible permutations, which means

${\displaystyle C_{p}=(A_{8}\times A_{12})\,\rtimes \mathbb {Z} _{2}.}$

Putting all the pieces together we get that the cube group is isomorphic to

${\displaystyle (\mathbb {Z} _{3}^{7}\times \mathbb {Z} _{2}^{11})\rtimes \,((A_{8}\times A_{12})\rtimes \mathbb {Z} _{2}).}$

This group can also be described as the subdirect product

${\displaystyle [(\mathbb {Z} _{3}^{7}\rtimes \mathrm {S} _{8})\times (\mathbb {Z} _{2}^{11}\rtimes \mathrm {S} _{12})]^{\frac {1}{2}}}$,

in the notation of Griess.

Generalizations

When the centre facet symmetries are taken into account, the symmetry group is a subgroup of

${\displaystyle [\mathbb {Z} _{4}^{6}\times (\mathbb {Z} _{3}^{7}\rtimes \mathrm {S} _{8})\times (\mathbb {Z} _{2}^{11}\rtimes \mathrm {S} _{12})]^{\frac {1}{2}}.}$

(This unimportance of centre facet rotations is an implicit example of a quotient group at work, shielding the reader from the full automorphism group of the object in question.)

The symmetry group of the Rubik's Cube obtained by dismembering it and reassembling is slightly larger: namely it is the direct product

${\displaystyle \mathbb {Z} _{4}^{6}\times (\mathbb {Z} _{3}\wr \mathrm {S} _{8})\times (\mathbb {Z} _{2}\wr \mathrm {S} _{12}).}$

The first factor is accounted for solely by rotations of the centre pieces, the second solely by symmetries of the corners, and the third solely by symmetries of the edges. The latter two factors are examples of wreath products.

The simple groups that occur as quotients in the composition series of the standard cube group (i.e. ignoring centre piece rotations) are ${\displaystyle A_{8}}$, ${\displaystyle A_{12}}$, ${\displaystyle \mathbb {Z} _{3}}$ (7 times), and ${\displaystyle \mathbb {Z} _{2}}$ (12 times).

src: i.ytimg.com

See also

src: i.imgur.com

Notes

src: thegreatergroup.com

References

Source of the article : Wikipedia