in which we find out more about quotients, including the quotient map, and prove the Isomorphism Theorem.
We are continuing our investigation of quotients. Today we saw that the group operation on cosets only works when we have a normal subgroup, by looking at the example of a reflection in . We met the very important quotient map which exists for any normal subgroup . This helped us to see that (subgroups and) quotients of cyclic groups are always cyclic. We then stated the Isomorphism Theorem: if is a group hom with kernel , then (as seen before) and . We proved this by defining a homomorphism that sends any coset to the image (under ) of any of its elements. Again, as usually with cosets, the main thing is to check that this is well-defined. And once we saw that, we could prove that it is indeed injective, giving us an isomorphism to the image of as required. As a consequence, when we have an injection (i.e. the kernel is just the identity element), we can view as (isomorphic to) a subgroup of . And if is a surjection, then the codomain itself is a quotient of . A possible slogan for the Isomorphism Theorem could be “homomorphic images are quotients“. As examples we looked at the determinant of an matrix, we found the unit circle as the quotient , and had a quick look at how many “quadratic residues” there are modulo a prime .
Understanding today’s lecture
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 . 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. And it is always good to keep this example in mind: all non-trivial subgroups of are infinite (they are ), and all proper quotients of are finite (they are ). (The trivial ones here are and .)
The Isomorphism Theorem is one that we will use over and over again, and eventually we will probably not even notice any more when we are using it. It is that central.
Preparing for Lecture 13
Next time we will look at cyclic groups again, proving that they are essentially unique. That means, up to isomorphism, there is only one cyclic group of any given order. It seems intuitive, but the Isomorphism Theorem and some other results we’ve had will help us prove it very rigorously. So it would be good if you can remind yourself about everything you know about cyclic groups and about subgroups of before next time.
Going a little deeper
The Isomorphism Theorem isn’t really something that is restricted to groups, there is a version of it in many other areas of maths. (And in fact there are other Isomorphism Theorems for groups as well, sometimes called Noether’s Isomorphism Theorems. But our one is “the” (or first) Isomorphism Theorem.) In second year Groups Rings and Modules you’ll see one for rings and one for modules. Either in Vectors and Matrices, or at least in second year Linear Algebra, you will see one for vectorspaces, though it looks different (and a lot easier, because vectorspaces are very nice). The rank-nullity theorem says: if is a linear map between vectorspaces, then , where the rank is the dimension of the image and the nullity is the dimension of the kernel. If you compare that to our isomorphism theorem and (once you know more about finite dimensional vectorspaces) see what the equivalent would be for vectorspaces, you’ll see it is exactly this.
So, in what sense are quotient groups “the opposite of” kernels? I explained last blog that kernels have a certain universal property. Quotients also have a universal property, but sort of on the other side of the homomorphism. Given with kernel (viewed as an inclusion), we know that for all . Writing for the quotient map as in lectures, this has the same property: for all . Remember that we can describe this as “the composite is zero”. Now if we have any other group hom which also satisfies for all , then this factors through the quotient map, in the sense that there is a unique group hom satisfying . We saw in the proof of the Isomorphism Theorem one special case of how such a morphism might be defined. Perhaps you can extend that construction to this case? We won’t necessarily get that is injective, like we had in the Isomorphism Theorem, but the rest works just the same.
Someone asked me after the lecture about the comment “Quotients are not subgroups”. What if we have ? Do we then have ? Well, you can work it out: what are the elements of ? What are the elements of ? Are they the same type of elements? There is something related in one of the “other” isomorphism theorems (the counting varies from people to people, I think I usually call it the third, or it might be called the fourth by others). If you’re interested, you can find it (dare I say on wikipedia; what I should say is) in any good group theory book.
LikeLike
Since we are using the “same coset check” so much at the moment, I was asked where to find it. It is directly after the proof of Lagrange’s Theorem (Theorem 23), well, after the definition of index. You can also find it if you look at all blogs with the tag “coset”.
In the second week feedback someone also commented that they would like more structure and numbering in my lecture notes. Well, I do try: I have chapters with numbers, I have sections inside the chapters (feel free to number them), and I have numbers for results (as well as “slogans” or names to remember them by). What might also help is this document. If you find it useful, you can easily make your own for other courses and the rest of groups. It is a very good way of getting an overview over the course (rather than just being stuck in the details of one step to the next).
LikeLike
I feel like I do not much agree on the notation used in the last example of today’s example, where Z/pZ\{0} is used. Z/pZ definitely refers to the quotient group while it still keeps the operation in Z as addition I suppose. But as mentioned, the Zp* has the operation of multiplication. So basically we have (a+pZ)*(b+pZ)=(a+b)+pZ if we are using this notation, which is not correct. I believe what you want to show by using Z/pZ\{0} is all the elements in Zp* but not including the operation. But that probably could mess things up. Looking forward to your reply.
LikeLike
I can see where your confusion comes from. You are right, we said is the group with elements and addition. However, if we take the same elements, which you can write as if you find it easier, and leave out , then we get a group under multiplication, which we proved in “mult mod n as a group” (Proposition 29): just put to be a prime in that proof/statement. When leaving out and not specifying any other group operation, we always mean multiplication as the group operation. If you prefer to write instead of , that is perfectly fine. But is also correct notation. In fact, you will learn in second year some more aspects of this: it is actually a ring, which means it has addition and multiplication on it which interact in a nice way (via the distributive law, if you want to look it up). And of course is such a ring, we can add and multiply there, and both those operations carry over to , as we saw in the section “Applications of Lagrange” when we proved that addition and multiplication are well-defined.
LikeLike
You should be able to do Sheet 2 with the material covered by this lecture.
LikeLike