in which we meet conjugation in several forms, and learn that lecturers are not infallible.
Today we continued to look at some standard actions. First we saw the left coset action: for a subgroup , acts on the left cosets of by left multiplication, transitively. Perhaps the most important of our standard actions is the conjugation action: acts on itself by conjugation, meaning for . The kernel of this action is the centre of , all elements which commute with everything. The orbits are the conjugacy classes, and the stabilisers are called centralisers: the stabiliser of an element is the set of elements which commutes with . So the intersection of all centralisers gives the centre of . This conjugation action restricts to normal subgroups of , because when conjugating an element by any element , we land in the normal subgroup again. We proved also that normal subgroups are exactly those subgroups which are unions of conjugacy classes.
Conjugation doesn’t just work on elements, but also on subgroups. If then is also a subgroup of , and so we can show that acts by conjugation on the set of all subgroups of . The normal subgroups then are exactly the ones which have singleton ccls. The stabilisers of this action are called normalisers: . I left it to you to show that the normaliser is in fact the largest subgroup of in which is normal.
We started with some applications of actions in general and the Orbit-Stabiliser Theorem in particular. By letting the rotations of a cube act on the set of vertices, we found that the group of rotations has size : vertices, each with an (easy to find) stabiliser of size . We then saw that if we try and do the same thing by looking at the action on the three “axes” or “pairs of opposite faces” that we had last time, finding the stabiliser is much harder to get right.
Understanding today’s lecture
Conjugation is a very important concept. You will find it “hidden” throughout the groups lecture notes so far, and also in other courses. See if you can find out all instances of conjugation in the groups notes!
As an undergrad I used to get confused by all these different names “stabilisers” and “centralisers” and “normalisers”…. It helps if you make yourself a table or something to say “This action has that as stabilisers and that as orbits, this action has these, and they have a special name,” etc.
Main lesson from today: use straight-forward actions to determine the sizes of groups via Orbit-Stabiliser, and then you can use Orbit-Stabiliser to help you find stabilisers of more complicated actions. I think I mentioned this last time already. If we know how many elements we are looking for, it is easier to know whether we’ve got them all or are missing some. In this case I missed some: if you rotate by 180° in an axis through the centre of two opposite edges, that swaps two of the face-axes and fixes one (turning it on its head). So we will have to correct an example from last time as well, when I gave you a stabiliser of that particular action. (Of course I did all this on purpose to make you get the point ;-). )
Preparing for Lecture 16
Next time we will correct the rotations of the cube mistake. So if you haven’t made your own “Taylor cube” yet, now would be a good time, and you could even bring it to the next lecture (it makes it so much clearer!). We will also use the left coset action, so remind yourself of that. You can also read up on Cauchy’s Theorem: there is an element of order for any prime dividing the order of the group. That will be a longish proof, so reading ahead might help. There are several different versions of proof.
Going a little deeper
Conjugation is a very useful concept. It is used in many areas of mathematics to “make things easier”. For example, at the end of the course we will be talking about Möbius maps, isometries of the Riemann Sphere. For many properties of these maps it is enough to say “it is conjugate to one of these few examples, and we know the properties of those examples very well”. You have the same in Vectors and Matrices, which will become more obvious in Linear Algebra next year: square matrices represent linear maps with respect to a certain basis, and conjugation of matrices is change of basis. You will see in V+M for matrices over , and in Linear Algebra for general matrices over , that there are certain very nice representatives in each conjugacy class, called the Jordan Normal Form. In two dimensions they come in three types: either diagonal with two different entries on the diagonal, or diagonal with the same entry on the diagonal, or the same entry on the diagonal, a in the right upper corner and a in the left lower corner. We will mention them in this course as well, in the Matrix Groups chapter.
When I was in Part III, I did a lecture course called “Classical Dynamics”, which had some chaos theory and Julia-sets and so on in it; very exciting. We used conjugation over and over again to understand properties of different isometries and so on.