in which we explore groups of order 6 and make a start on quotients.
Last time we defined normal subgroups as those for which each left coset is the same as the right coset , proving that any subgroup of index is normal, as is every subgroup of an abelian group. Today we added that every kernel is normal. We will see soon that in fact kernels are exactly the normal subgroups (meaning every normal subgroup is a kernel of some group hom, and every kernel is a normal subgroup). As promised last chapter, we proved that every group of order is cyclic or dihedral. This uses Lagrange and normal subgroups.
Then we moved to quotients, which take most students a while to understand (so do persevere please). We saw that, for a normal subgroup , we can define a group operation on the set of left cosets. The main thing to show here was that this is well-defined, and that relies crucially on being a normal subgroup. The resulting group is called the quotient group (or factor group) and written . We saw a few examples for , and . To reinforce the fact that we need a normal subgroup to be able to form quotients, we looked at the example of , which is not normal. The set of left cosets still exists, but if we try to multiply two elements using representatives, we get different answers for different choices, so the operation is not well-defined.
We defined the very important quotient map which takes to the coset . It is a surjective group homomorphism. This helped us to see that (subgroups and) quotients of cyclic groups are always cyclic. We ended the lecture with some warnings: Quotients are not subgroups of !!!! They may not even be isomorphic, as this example shows: all non-trivial subgroups of are infinite (they are ), and all proper quotients of are finite (they are ). (The trivial ones here are and .)
Understanding today’s lecture
Quotients need getting used to; many people still haven’t understood them in second year. But you will understand them better if you play around with them a lot. When dealing with quotients, remember that they are not subgroups! The elements are different; if has elements , then a quotient has cosets as elements, which are themselves subsets of So you have a set of subsets of , rather than a set of elements of . You can often calculate with them fairly easily through a representative, because after all the operation is defined as , but you have to remember that every coset has several representatives you could have chosen. If you are more comfortable with the notation we had for equivalence classes, maybe that might help. If you want to remind yourself of the “motivational game” we played on the blackboard, you can look it up in the type-set lecture notes.
Preparing for Lecture 12
We will keep going with quotients and prove the Isomorphism Theorem, which relates the image of a homomorphism to the quotient of the domain by the kernel of the homomorphism. So make sure you get some practice with quotients! We will also finally prove what we’ve been alluding to for ages: the essential uniqueness of cyclic groups. So remind yourself of the definition of a cyclic group.
We will start our next chapter next time: Group Actions. You might want to make yourself a cube to bring for visualisation purposes. Here is a net of a cube with lots of useful things on it that I will be referring to a lot in the next few lectures: the Taylor-Cube (designed by Gareth Taylor).
Going a little deeper
We have seen that every kernel is a normal subgroup. And we have seen by now quite a few subgroups which are not normal. So what can we deduce from that? Those non-normal subgroups can never be a kernel of any group homomorphism! If we are working in abelian groups, all subgroups are normal, so we don’t have this problem. But in general, it is quite an important point. In my research area I work exactly in such situations, where not all injections are kernels of some homomorphism.
You can define kernels another way, with a universal property. I had a professor in Germany who made us all learn about universal properties very early on. They can be very useful! (Though you only learn about it very formally in fourth year here.) If you have a group homomorphism , then some group homs have the property that for all . We say that the composite is the zero morphism (it sends everything to the identity, which often happens to be , that is where the name comes from). The kernel , viewed as an injection , is such a hom, but a very special one: every other with that property factors through the kernel, which means that for all we have . The image of is inside the kernel of . So the kernel is a universal hom with this property. We will see next time that quotient groups also have such a universal property (but “the other way round”).