login
Order of group of n X n X n Rubik cube, under assumptions not-s, not-m, i.
1

%I #6 Mar 30 2012 16:49:39

%S 1,3674160,43252003274489856000,

%T 326318176648849198250599213408124182588293120000000000,

%U 6117367460827460912265057790940131872699535863380422035173008779767508369408000000000000000000

%N Order of group of n X n X n Rubik cube, under assumptions not-s, not-m, i.

%C The three possible assumptions considered here are the following:

%C s (for n odd) indicates that we are working in the "supergroup" and so take account of twists of the face centers.

%C m (for n > 3) indicates that the pieces are marked so that we take account of the permutation of the identically-colored pieces on a face.

%C i (for n > 3) indicates that we are working in the theoretical invisible group and solve the pieces on the interior of the cube as well as the exterior. It is assumed that the M and S traits apply to the interior pieces as if they were on the exterior of a smaller cube.

%D Dan Hoey, posting to Cube Lovers List, Jun 24, 1987.

%D Rowley, Chris, The group of the Hungarian magic cube, in Algebraic structures and applications (Nedlands, 1980), pp. 33-43, Lecture Notes in Pure and Appl. Math., 74, Dekker, New York, 1982.

%H Alan Bawden, <a href="ftp://ftp.ai.mit.edu/pub/cube-lovers/cube-mail-6.gz">Cube Lovers Archive, Part 6</a>

%p f := proc(n) local A,B,C,D,E,F,G; if n mod 2 = 1 then A := (n-1)/2; F := 0; B := (n-1)/2; C := (n-1)/2; D := 0; E := (n+4)*(n-1)*(n-3)/24; G := (n^2-1)*(n-3)/24; else A := n/2; F := 1; B := n/2; C := 0; D := 0; E := n*(n^2-4)/24; G := n*(n-1)*(n-2)/24; fi; (2^A*((8!/2)*3^7)^B*((12!/2)*2^11)^C*((4^6)/2)^D*(24!/2)^E)/(24^F*((24^6)/2)^G); end;

%Y See A007458, A054434, A075152, A074914, A080656-A080662 for other versions.

%K nonn

%O 1,2

%A _N. J. A. Sloane_, Mar 01 2003