The last post culminated in the definition of the quotient group. We saw that this group is constructed by essentially “dividing” the group into cosets and working with those. This is one of the reasons we deem the group the quotient group. One should note, however, that some authors use the alternative terminology factor group, e.g. Lang’s famous Algebra uses the term, but it is worth noting that he often uses odd conventions, for instance he introduces but never names the “Isomorphism theorems.”
There is another reason for the name “quotient,” which is probably where the term comes from in the first place. Before explaining the name, however, we should introduce the quintessential example of a quotient group: the integers modulo . When working in general algebra, the integers are almost always the example we care about, because algebra was developed in no small part to do number theory. Let us quickly prove a theorem about the group of the integers under addition before proceeding.
Theorem. The subgroups of are of the form for an integer.
Proof. We will only prove that the subsets of that form are indeed subgroups. The proof that these are the only such subgroups will be left as an exercise (Hint: recall the Euclidean algorithm).
First, we show closure under addition. If , then , which is in . Clearly, the identity is , and the inverse of is .
It is easy to see that the subgroups are normal, because the subgroups are more than that: they are abelian. Therefore, we have the quotient group also known as the integers mod and sometimes denoted (not to be confused with the -adic numbers). In my opinion, it is actually a little weird to see how this group fits in with quotient groups in general. Understanding the group is easy, but the notation and how we can figure out what it is just based on the general definition of was not instant for me when I was first introduced to the subject. So, I will take a bit of care to show how the two coincide, in case I am not the only person susceptible to this little struggle. Either way, it will take some effort to truly internalize all of this.
Generally, we say with addition mod , but this is a bit misleading. Let us start from the beginning. The subgroup is , and so the cosets are
We claim that these are all the cosets, because if , then
But, this is already in the list, because of the restriction on .
So, for simplicity we generally identify coset with .
And, so we can compute the Cayley table (multiplication table) for small values of quite easily. Below is the Cayley table for .
We can now see where the integers come in the naming of this group. When one divides, for instance, 15 by 5, one obtaains 3 because one can regroup 15 objects into 3 groups (in the colloquial sense) of 5 objects. In the quotient group, we have the same thing but with additional structure, namely the group structure of the integers.
Next time, we will digress a bit before continuing with the theory of quotient groups. Eventually, we will make our way to the isomorphism theorems and more.