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 *x*→*g*^{-1}*xg*) 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 *S _{n}* 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 *S*_{6}.

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.

- Two totals have exactly one syntheme in common; so synthemes are “duads of totals”.
- Three synthemes lying in disjoint pairs of totals must consist of the synthemes containing a fixed duad; so duads are “synthemes of totals”.
- Duads come from disjoint synthemes of totals in this way if and only if they share a point; so points are “totals of totals”.

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:

- A generalised quadrangle of order 2. (Take the duads as points and the synthemes as lines, incident if the duad is contained in the syntheme.)
- A projective plane of order 4. (Take the elements of
*A*and the synthemes as points, the duads and totals as lines, with the obvious inclusion; in particular, no element of*A*is incident with any total.) - A Steiner system S(5,6,12). (The point set is
*A*∪*X*; the blocks are constructed directly from the duads and synthemes.) - A Moore graph of valency 7 on 50 vertices.

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:

- Each row or column corresponds to a synthematic total. In other words, if you pick up the five cubes in any row or column of the square, then each pair of colours is on opposite faces of exactly one of the five cubes.
- The cube in position (
*j,i*) is the mirror image of the cube in position (*i,j*).

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 *S _{n}* 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 *S*_{3} and *S*_{4} have actions on sets of size 2 and 3 respectively. However, the smallest action of *S*_{5} different from the given one is on a set of 6 points. This action can be seen from our construction. The group *S*_{6} acts on the 6 points and on the 6 synthematic totals. The stabiliser of a total is isomorphic to *S*_{5} (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.