Rubik's Cube group

From Wikipedia, the free encyclopedia

A CGI Rubik's Cube

The Rubik's Cube provides a tangible representation of a mathematical group. The Rubik's Cube group can be thought of as the set of all cube operations with composition as the group operation. Any set of operations which returns the cube to the solved state, from the solved state, should be thought of as the identity transformation (the operation that does nothing). Any set of operations which solves the cube from a scrambled state should be thought of as an inverse transformation of the given scrambled state, since it returns the identity transformation.

1 Formal description
2 Structure
3 References and external links

[edit] Formal description

[edit] Objects

Formally, the Rubik's Cube group can be defined as a permutation group. A 3×3×3 Rubik's cube consists of 6 faces, each with 9 colored squares called facets for a total of 54 facets. However, the 6 facets in the center of the faces are not moved by any cube operation and may be regarded as fixed in space.

[edit] Operations

The cube operations consist of rotating the 6 faces and thereby permuting the remaining 48 facets. The cube group G can then be defined as the subgroup of the full symmetric group S₄₈ generated by the 6 face rotations.

By definition, each element of the cube group is a permutation of the 48 movable facets. However, there is a one-to-one correspondence between elements of the cube group and positions of the Rubik's cube. Any element of the cube group is a permutation that when applied to the solved cube results in a (legal) cube position. Conversely, any legal cube position must be the result of some sequence of face rotations applied to the solved cube, and any such sequence is an element of the cube group.

[edit] Total number

The order of the cube group G is then equal to the number of possible positions attainable by the cube. This is:

$|G| = \frac{1}{12}8!\;3^8\,12!\;2^{12} = 43,252,003,274,489,856,000$

which factorizes as

$|G| = 2^{27}\,3^{14}\,5^3\,7^2\,11^1.$

Because of the large size of the cube group it is sometimes useful to analyse the structure with the assistance of a computer algebra system such as GAP.

[edit] Structure

This article or section is in need of attention from an expert on the subject.

WikiProject Mathematics or the Mathematics Portal may be able to help recruit one.

If a more appropriate WikiProject or portal exists, please adjust this template accordingly.(May 2006)

Let Cube be the group of all legal cube operations. In the following, we assume the notation described in How to solve the Rubik's Cube. Also we assume the orientation of the six centre pieces to be fixed.

We consider two subgroups of Cube: First the group of cube orientations, $C o$ , which leaves every block fixed, but can change its orientation. This group is a normal subgroup of the Cube group. It can be represented as the normal closure of some operations that flip a few edges or twist a few corners. For example, the normal closure of the following two operation is $C o$ :

$B R^\prime D^2 R B^\prime U^2 B R^\prime D^2 R B^\prime U^2$ , (twist two corners)

$R U D B^2 U^2 B^\prime U B U B^2 D^\prime R^\prime U^\prime$ , (flip two edges).

For the second group we take Cube permutations, $C p$ , which can move the blocks around, but leaves the orientation fixed. For this subgroup there are more choices, depending on the precise way you fix the orientation. One choice is the following group, given by generators (the last generator is a 3 cycle on the edges):

$C_p = [U^2, D^2, F, B, L^2, R^2, R^2 U^\prime F B^\prime R^2 F^\prime B U^\prime R^2].$

Since $C o$ is a normal subgroup, the intersection of Cube orientation and Cube permutation is the identity, and their product is the whole cube group, it follows that the cube group is the semi-direct product of these two groups. That is

$Cube = C_o \rtimes C_p$ .

(For technical reasons, the above analysis is not correct. However, the possible permutations of the cubes, even when ignoring the orientations of the said cubes, is no bigger than $C p$ , and this means that the cube group is the semi-direct product given above.)

Next we can take a closer look at these two groups. $C o$ is an abelian group, it is $\mathbb Z_3^7 \times \mathbb Z_2^{11}$ .

Cube permutations, $C p$ , is little more complicated. It has the following two normal subgroups, the group of even permutations on the corners $A 8$ and the group of even permutations on the edges $A 12$ . Complementary to these two groups we can take a permutation that swaps two corners and swaps two edges. We obtain that

$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

$(\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 $[(\mathbb Z_3^7 \rtimes \mathrm S_8) \times (Z_2^{11} \rtimes \mathrm{S}_{12})]^\frac{1}{2}$ , in the notation of Griess. It does not make sense to take the possible permutations of the centre pieces into account, as this is simply an artefact of the orientation of the cube in Euclidean 3D-space.

(Rotations of the centre pieces are unimportant on the standard cube, but are crucial when considering non-standard incarnations of the "cube" such as Rubik's calendar and Rubik's world.)

When all these centre piece symmetries are taken into account, the symmetry group is a subgroup of $[\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 piece 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 $\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 $A_8, A_{12}, \mathbb Z_3\ (7\ \mbox{times}), \mathbb Z_2\ (12\ \mbox{times})$ .

[edit] References and external links

David Joyner (2002). Adventures in Group Theory : Rubik's Cube, Merlin's Machine, and Other Mathematical Toys. The Johns Hopkins University Press. ISBN 0-8018-6947-1. Notes from an earlier version of this book are available online at [1].
Martin Schönert "Analyzing Rubik's Cube with GAP": the permutation group of Rubik's Cube is examined with GAP computer algebra system

v • d • e Rubik's Cube

Inventor	Ernő Rubik

Rubik's Cubes	Overview • 2×2×2 (Pocket Cube) • 3×3×3 (Rubik's Cube) • 4×4×4 (Rubik's Revenge) • 5x5x5 (Professor's Cube)

Cubic variations	Square 1 • Skewb • Sudokube

Non-cubic variations	Megaminx • Pyramorphix • Pyraminx • Skewb Diamond • Skewb Ultimate • Dogic • Alexander's Star

Derivatives	Rubik's Magic • Rubik's Snake • Missing Link • Rubik's Revolution • Rubik's Clock

World record holders	Yu Nakajima

Renowned Solvers	Jessica Fridrich • Lars Petrus • Ron van Bruchem • Chris Hardwick • Shotaro "Macky" Makisumi • Tyson Mao • Leyan Lo

Solutions	God's algorithm • Optimal • Speedcubing

Mathematics	Rubik's Cube group

Related Articles	List of Rubik's Cube software