Peter Cameron's Blog

The symmetric group, 3


No account of the symmetric group can be complete without mentioning the remarkable fact that the symmetric group of degree n (finite or infinite) has an outer automorphism if and only if n=6.

Here are the definitions. An automorphism of a group G is a permutation p of the group which preserves products, that is, (xy)p=(xp)(yp) for all x,y (where, as a card-carrying algebraist, I write the function on the right of its argument). The automorphisms of G themselves form a group, and the inner automorphisms (the conjugation maps xg-1xg) form a normal subgroup; the factor group is the outer automorphism group of G. Abusing terminology, we say that G has outer automorphisms if the outer automorphism group is not the trivial group, that is, not all automorphisms are inner.

Now the symmetric group Sn has an outer automorphism if and only if it can act in more than one way on a set of n elements. For automorphisms simply permute all the actions on n points among themselves, and those which fix a given action are precisely the inner automorphisms. So an equivalent way of stating the remarkable fact is that only for n=6 does the symmetric group have more than one such action.

I will outline the construction for n=6, and the proof that such an action cannot exist for other n, and then say a bit about some of the remarkable consequences of the fact.

Sylvester, as well as being an accomplished mathematician, was a prolific deviser of terminology. I will use his terminology here, rather than the terminology of factors and factorisations in the previous post on the symmetric group. Let A be a fixed set of 6 elements. A duad is a 2-element subset of A; a syntheme a set of three duads forming a partition of A; and a synthematic total (or total) for short) a set of five synthemes partitioning the set of 15 duads. We are going to show that there are exactly six totals. Then any permutation of A induces a permutation of the set X of totals, and we have a second action of S6.

What does a total look like? Any two synthemes have at most one duad in common; if they lie in a common total, they must be disjoint, and together form a 6-cycle; if we colour the two synthemes red and blue, the colours alternate around the cycle. Now there are just two possibilities for a further syntheme disjoint from these two: either one long diagonal and the two short diagonals not meeting it (shown in green), or three long diagonals (shown in magenta).

Since there are three long and six short diagonals, we must use all three of the first type.

Now we can count totals. There are 15 choices of a syntheme, and 8 choices for a second syntheme disjoint from the first; these determine a unique total. But in a given total, there are 5 choices of a syntheme, and 4 of a second. So the number of totals is 15.8/5.4=6.

It is interesting to note that the relationship between points and totals is symmetric: if we start with the set X of 6 totals and perform the construction, we get back to A. This depends on the following facts, whose verification is not too hard.

I learned this construction from a wonderful series of lectures by Graham Higman when I was a student in Oxford. He went on to use it to produce many other objects, including the following:

In each case, it is not too much further work to prove the uniqueness of the constructed object.

I wrote an account of this in chapter 6 of my book Graphs, Codes and Designs with Jack van Lint.

Here is another nice application. The stabiliser of two points is a subgroup of index 2 in a duad stabiliser; it must correspond to a subgroup of index 2 in a syntheme stabiliser. Can we decide which?

Take a cube, and write the numbers 1,…,6 on its faces. Now the pairs of numbers on opposite faces form a syntheme. (Standard dice, for example, represent the syntheme 16|25|34.) But only half of its 48 symmetries are induced by rotations of the cube, since its mirror-image represents the same syndrome. It is not too hard to show that the rotation group of the cube is the subgroup we are looking for.

This has the following consequence. There are 30 different ways to colour the faces of a cube with six different colours, one on each face, up to rotation. If you take a set of 30 cubes and paint them in all possible ways, you will find that the cubes can be arranged in the off-diagonal positions of a 6×6 square so that the following two conditions hold:

I made myself a set of 30 coloured cubes once, but I don’t know what has happened to it.

Why does this business only work for n=6?

A transposition is a permutation interchanging two points and fixing the rest. Two transpositions commute if and only if the pairs of points they interchange are disjoint. So, if an automorphism of Sn preserves the class of transpositions, then we can recover the original n points, and conclude that the automorphism is inner.

If there is an outer automorphism, it must map the transpositions to another conjugacy class of elements of order 2, also containing n(n–1)/2 elements. A bit of work shows that this is impossible unless n=6. There are tricks to make the work easier. For example, the centraliser of a transposition is a maximal subgroup if n>4; the only other class with this property consists of involutions with no fixed points. (Otherwise the involution centraliser is properly contained in the setwise stabiliser of the fixed point set.) These elements correspond to “duads” and “synthemes”, so Sylvester’s construction arises naturally.

Here to finish is a brief historical note. The theory of equations developed by Lagrange, Abel and Galois took as its starting point the fact that the cubic equation was solved with the help of an auxilliary (or “resolvent”) quadratic, and the quartic using a resolvent cubic. The group-theoretic analogue is that the symmetric groups S3 and S4 have actions on sets of size 2 and 3 respectively. However, the smallest action of S5 different from the given one is on a set of 6 points. This action can be seen from our construction. The group S6 acts on the 6 points and on the 6 synthematic totals. The stabiliser of a total is isomorphic to S5 (since it acts on the 5 totals different from the chosen one), but also acts on the 6 original points. In fact, in this action, it is more familiarly known as PGL(2,5). It is, of course, the automorphism group of a synthematic total.

Previous | Next