Mathematician Gareth Jones on abelian and non-abelian groups, the symmetry of geometric objects and what are the principles a group must satisfy

Group theory is a branch of algebra and it’s sometimes described as the mathematical theory of symmetry. What I’d like to do is explain how it arises, how it can be applied and give you some other history.

The definition of a group is rather technical. It involves a couple of axioms which I’m not going to write down precisely; what I will do is describe three basic principles which a group must satisfy and I’ll do it by giving you a couple of examples. The first area in which we find examples of groups is in the number system. Let’s take the integers as an example. Two integers can be combined by adding them to produce a third integer. There is an integer which does nothing when you add it: it’s called zero, *a *plus zero is the same as *a*. That is called an identity element in the group. Given any integer *a*, there is an opposite integer which cancels it out: it’s called –*a*. If I add *a* and –*a*, I get zero.

Other number systems have the same properties. For instance, it works with the real numbers; you can add polynomials and they satisfy the same rules; you can add vectors, you can add matrices, and they all satisfy those three basic rules. They are the rules which characterize a group: you have a set, you have a way of combining two elements in the set to produce a third, you have an identity element which does nothing when you combine it with something else, and you have inverses, every element has an inverse which cancels it out.

Mathematician James Maynard on the Riemann Hypothesis, Euclid's proof, and the problems of Paul Erdős

So that’s one area where we find examples of groups. Another area is in studying the symmetry of geometric objects like the regular solids. I have two examples here: a cube and an icosahedron with 20 triangular faces. Each of these geometric objects exhibits some form of symmetry: I can rotate them until they occupy the same part of space. For instance, I can rotate this cube through 90 degrees, and it occupies the same space as before. I can rotate it in various directions. It’s an easy exercise to count the number of rotations: there are 24 of them altogether including the identity rotation where I don’t move it at all. The point is that I can combine any two rotations and I will get a third rotation; there is a rotation that does nothing, and any rotation can be reversed, so any rotation has an opposite rotation. So these rotations form a group: in the case of the cube there are 24 of them, in the case of the icosahedron there are 60 of them, and again it’s an easy exercise to count them.

If we go back to the cube, let’s now think of it as a Rubik’s Cube and allow ourselves to do the usual twists. Any twist can be undone, I can reverse it, and there is a twist through zero degrees, the twist that does nothing. So these moves of Rubik’s Cube form a group. The group is much larger: the number of elements is about 4 ∙ 10^{19}. If you were an expert on Rubik’s Cube and you could move it around really fast, you could go through all of these different elements of the group at 100 moves per second, if you started at the time of the Big Bang when the universe started, you would just about have come towards the end by now: that is how big this group is. So a really simple geometric object like this can embody some really complicated mathematics.

Let’s jump to an area which exhibits symmetry. We find symmetry in many areas of science as well: crystallography for example, quantum theory, particle physics… They are all very highly dependent on group theory principles because they are built upon symmetry but that is not historically how group theory arose. History got it wrong in a sense. Group theory should have arisen out of early studies of the number system or of symmetric objects but it didn’t: it arose about 200 years ago out of a study of polynomials. At school we are taught how to solve a quadratic equation, one involving *x ^{2}* but no higher powers of

The solution is:

It doesn’t matter what is actually in that formula, you don’t need to remember it, but I want you to notice that it includes the four operations of arithmetic, namely addition, subtraction, multiplication and division together with one more, namely that square root sign.

In the Renaissance, Italian mathematicians were trying to find analogous formulae for the roots of cubic polynomials and higher degree polynomials. They succeeded with cubic and they succeeded with fourth-degree polynomials, they found similar formulae: they’re more complicated, they involve the four operations of arithmetic and taking *n ^{th}* roots for various values of

Mathematician Gareth Jones on Gödel's incompleteness theorem, the halting problem and why the subsets of the natural numbers are uncountably infinite

How did they do this? They used the symmetry properties of polynomials. Let me go back to the example of the quadratic formula. You can express the ratios of the coefficients *a*, *b* and *c *in terms of the roots, and in each case on the right-hand side you have a symmetric function of the roots:

If I commute *x _{1} *and

In the case of a polynomial of degree *n*, the group that arises is the group of all permutations of the roots. This is called the symmetric group of degree *n*. In the case of the fifth-degree polynomial, the number of elements is 120, so it’s a reasonably complicated group but not enormously complicated. The polynomials of degree 2, 3 and 4, these symmetric groups can be broken down into easy pieces, what we call abelian groups. These are groups in which *a* composed with *b* is the same as *b* composed with *a*. This happens in all the number systems: *a* + *b* is the same as *b* + *a*, for example.

It doesn’t happen in the case of symmetries. Let me illustrate this with Rubik’s cube. Suppose that *a *is rotation forwards by 90 degrees and *b* is rotation to my left by 90 degrees. If I do *a* first and then *b*, the red tiles are in front. If I undo it, we’re back to where we started. Now I will do *b* first and then I will do *a*, and the blue tiles are in front. So *a* followed by *b* is not the same as *b* followed by *a*.

We notice this in everyday life: most people when they get dressed put their socks on before their shoes. There’s no law that says you have to do that: you could put your shoes on first and then put your socks on but it would be rather strange if you did that. So there’s an example of a non-abelian group: shoes and socks for the non-abelian group.

These polynomials of degree at most 4 have the symmetric group of degree at most 4 as their symmetry group and that symmetry group can be broken down into easy abelian pieces. These abelian pieces tell us how to write down the formula involving *n ^{th}* roots. When you try this with degree 5, this group of order 120, you can reduce it to a group of half the size, namely 60, but then you cannot reduce that group any further, you cannot break it down into easy abelian pieces. It’s what’s called a simple group: that doesn’t mean any easy group, it means simple in the sense of it cannot be reduced any further. In fact, we’ve seen that group already: it’s the same structurally as the rotation group of the icosahedron. You can see this from the coloring of the icosahedron: there are five colors used there and the rotations permute the colors, and the permutations of the colors are exactly the same as those appearing in this group of order 120. This connection between the quintic polynomial and the icosahedron is so important and so interesting, that Felix Klein wrote a whole book on called ‘Lectures on the icosahedron’.

So that is where group theory comes from. It’s still a living subject; Abel and Galois died young, unfortunately they died in their twenties, but they left us a very important and very interesting theory I’ve spent half a century working on it and I’m still learning something.

Read more

New