in which we meet orbits and stabilisers and prove the Orbit-Stabiliser Theorem.
Last time we defined group actions, and had lots of different notations, including for each a map . We started today’s lecture by showing that each is a bijection on . Using this fact, and that 2. says in this notation, we proved an alternative action definition: is an action if and only if defined by is a group homomorphism. This proof is really just translating the conditions of an action into the different notations. We defined the kernel of an action to be the kernel of this group hom . These are all the elements of which “act as the identity”, that means, they don’t do anything to . An action with trivial kernel is called faithful. We saw that acts faithfully on , but that for example the rotations of the cube acting on the pairs of opposite faces (or the three axes through faces) does have a non-trivial kernel.
Given an action of on , we can look at which elements of can be “reached” from a particular . The orbit of is . The stabiliser of is , all the elements of which keep fixed. Notice that I tend to write these orb and stab sometimes with lower-case letters and sometimes with capital letters; that has no significance. We proved that the stabilisers are subgroups of (rather than just subsets), and defined an action as transitive if the orbit of any element is the whole set . We showed that the orbits of an action partition the set , and this helped us to prove the Orbit-Stabiliser Theorem: If a finite group acts on a set , then for any we have . Beardon calls this a “geometric version of Lagrange”, and we proved it by “turning it into Lagrange”: The left cosets are the sets which contain all which take to , and there is exactly one for each element in the orbit of .
Understanding today’s lecture
The “Alternative Action Definition” is a very useful way of looking at actions. In some sense, it tells us that when a group acts on a set, then the group elements really “are” bijections from the set to itself, which also interact in a nice way using the group operation. We will use this alternative definition quite often, so make sure you are happy with it.
Orbits and stabilisers are really fun once you get your teeth into them. And the Orbit-Stabiliser Theorem is so immensely useful! Remember to try and use it whenever you want to find a stabiliser. It is also useful in other situations of course.
Preparing for Lecture 14
Next time we will get to know a handful of standard actions. Every group acts on itself by left multiplication, which gives the “left regular action”. Every group also acts on the left coset of a subgroup, and it also acts on itself by conjugation, which is very important. Conjugating an element by an element means taking the element . You could think already why this will give an action. We will prove that acts on itself by conjugation, but there are also other sets that can act on by conjugation: on any normal subgroup , or on the set of subgroups of .
Going a little deeper
If you want to play around more with actions of the rotations of a cube on different things, try diagonals (the “Taylor cube” has those on). Or if you want a real challenge, look at rotations of a dodecahedron. You could make Gareth’s “dodecahdron showing five cubes inside it”, and see how the rotations of the dodecahedron act on those five cubes. That is a notorious one that comes up in Groups Rings and Modules often (depending on who lectures it…).