# PSL(2,7) embeds in the 2x2x2 cube group

Submitted by secondmouse on Wed, 01/05/2011 - 16:47.

I don't see any explicit reference to this but I've noticed
that the simple group PSL(2,7) occurs naturally as a subgroup
of the 2x2x2 cube group of order 3674160 (well - with a slight
amount of wilful tinkering!). This is the model in which one
of the the 8 cubelets stays fixed.
One way of seeing how it is realised is to view to view the
corner cubelets as a single block, i.e. suppose all three
elements of each corner cubelet have the same colour.
Then taking the following labellings where all of 1 could be
coloured red, all of 2 yellow, etc. (UFR refers to the the
cubelet in the "Up" "Front" "Right" position, etc).

UBL = 1 UBR = 2 UFL = 3 UFR = 4 DBL = the cubelet which does not move - just ignore this DBR = 5 DFL = 6 DFR = 7Now take the generators which transpose two pairs of blocks:

a = (1,4)(2,5) b = (4,6)(1,3) c = (4,5)(6,7)The group formed by these is of index 120 in the alternating group A_7 - the group of even permutations on seven points (even permutations are those comprised of an even number of disjoint transpositions).

G := Group(a,b,c); Order(G); 168 IdSmallGroup(G); [ 168, 42] IdSmallGroup(PSL(2,7)); [ 168, 42]Admittedly this example of PSL(2,7) on these involutory generators is slightly contrived (but only slightly) as they have been deliberately chosen to be symmetry conjugates (it is easiest to draw a simple diagram to see the wedge-like symmetry in operation). This group PSL(2,7) might more commonly be thought of as the group of group of 2x2 matrices of determinant 1 with entries in GF(7) but it's also transitive on seven points. Are there any other simple ways of visualing any other transitive groups which embed inside the larger 3x3x3 cube group? I have a vague recollection of the sporadic Mathieu group M_12 being mentioned somewhere but it may be I was thinking of the so-called Rubik icosahedron. Comments on any aspect of this most welcome!

## Comment viewing options

Select your preferred way to display the comments and click 'Save settings' to activate your changes.

### Some nice presentations for PGL(2,q)

Submitted by secondmouse on Sun, 02/13/2011 - 11:38.

This leads to the following highly symmetric presentation:

PGL(2,7) = < a,b,c | aOne can also find a similar presentation for PGL(2,11) from the 12 centre blocks of a 3x3x3 cube. This is a subgroup of index 362880 in S^{2}= b^{2}= (ab)^{4}= (bc)^{4}= 1, acabaca = bcbabcb, babcbab = cacbcac >

_{12}.PGL(2,11) = < a,b,c | aEach of these generators can be a symmetry conjugate e.g. 1/3 rotation with two antipodal cube corners remaining fixed as in the two cases above. Also we can find from the 24 outer edge blocks of a Professor's 5x5x5 cube that:^{2}= b^{2}= (ab)^{6}= (bc)^{6}= 1, abcbcba = bacacab, bcacacb = cbababc >

PGL(2,23) = < a,b,c | aFrom the presentation for PGL(2,11) above it is interesting to observe that by increasing o(ab) = o(bc) = o(ca) = 8 we have:^{2}= b^{2}= (ab)^{6}= (bc)^{6}= 1, acabaca = bcbabcb, babcbab = cacbcac >

PGL(2,17) = < a,b,c | aIt is interesting to observe the length 14 relations in the presentations for the PGL groups above. Compare this with the presentation for the symmetry group of the 2x2x2 cube on three involutions from an earlier thread Presentation for Rubik's cube . This required length 18 relations where both the LHS and the RHS were palindromic. I did some investigations and found that both of these pairs of length 14 relations can be used to construct presentations for other much larger PGL(2,q) groups, e.g.^{2}= b^{2}= (ab)^{8}= (bc)^{8}= (ca)^{8}= 1, abcbcba = bacacab, bcacacb = cbababc >

PGL(2,49) = < a,b,c | aIs there any reference to these in the literature - however obscure?^{2}= b^{2}= c^{2}= 1, ((ab)^{4}(abc)^{2})^{2}= 1, ((bc)^{4}(bca)^{2})^{2}= 1, abcbcba = bacacab, bcacacb = cbababc > PGL(2,103) = < a,b,c | a^{2}= b^{2}= c^{2}= 1, ((ab)^{4}(abc)^{2})^{2}= 1, ((bc)^{4}(bca)^{2})^{2}= 1, acabaca = bcbabcb, babcbab = cacbcac > PGL(2,113) = < a,b,c | a^{2}= b^{2}= c^{2}= 1, ((ab)^{3}(cb)^{3})^{2}= 1, ((bc)^{3}(ac)^{3})^{2}= 1, acabaca = bcbabcb, babcbab = cacbcac >

### Since the Mathieu M12 group c

Submitted by Bruce Norskog on Thu, 01/06/2011 - 00:03.

Since the Mathieu M_{12} group can be defined using permutations of 12 objects, you can use permutations of the edges to make such a group.

Generators:

- U2 F2 R' D' R' B2 D' L' D' U2 R' B2 U' L2 U2
- B R D' R' B2 F2 R2 D2 U2 R' D R' B'
- B2 F2 L2 R2 U' B2 F2 L2 R2 U

You also might find this thread of interest.

## Extending to PGL(2,7) and correction

_{7}and not 120. It's also possible to extend this analysis to PGL(2,7) in the 2x2x2 cube with 8 corners that move. Defining the point 8 as the DBL cubelet from the previous example we see the 3 generators generate PGL(2,7) which is of index 120 in S_{8}. Each generator is a diagonal planar reflection coupled with a single block "flip". Like the PSL(2,7) example though there are many other ways of doing this this in the 2x2x2 using non-symmetry conjugates.