The Unapologetic Mathematician

Mathematics for the interested outsider

Cosets and quotients

I know I’ve been doing a lot of theory here for a while, but just hold on a little longer, it’s about to pay off.

Now we know what a group is and what a subgroup is. Today I want to talk about the cosets of a subgroup H in a group G.

A subgroup is sort of like a slice through a group. The cosets of a subgroup are like slices “parallel” to the group. We know that H passes through the identity of H already, so we want to find a “parallel copy” through any other element we choose.

Now, cosets come in two flavors: left and right. We get a left coset gH by composing every element of H on the left with g. On the other hand, we get a right coset Hg by composing every element on the right.

Let’s let G be the group S_3, and H be the subgroup \{e, (1 2)\}, where e is the identity element. For each element of G, let’s consider its left and right cosets.

g gH Hg
e \{e, (1 2)\} \{e, (1 2)\}
(2 3) \{(2 3), (1 3 2)\} \{(2 3), (1 2 3)\}
(1 2) \{(1 2), e\} \{(1 2), e\}
(1 2 3) \{(1 2 3), (1 3)\} \{(1 2 3), (2 3)\}
(1 3) \{(1 3), (1 2 3)\} \{(1 3), (1 3 2)\}
(1 3 2) \{(1 3 2), (2 3)\} \{(1 3 2), (1 3)\}

Notice that the element g is in both gH and Hg, since the identity e is in H. Also notice that if g' is in gH then gH is the same as g'H, and similarly for right cosets. In fact, you should be able to verify that

  • g is in gH
  • If g is in g'H, then g' is in gH
  • If g is in g'H and g' is in g''H, then g is in g''H

and three other similar statements for right cosets. Together, these say that we can separate the elements of G into “equivalence classes”. If g and g' are not in the same class then gH and g'H share no elements at all. But if g and g' are in the same class, gH and g'H are the same set — the equivalence class itself.

Okay, so we’ve sliced up the group G into (left) cosets of the subgroup H. If we consider two of them, gH and g'H, we can multiply everything in the first by g'g^{-1} to get things in the second, and everything in the second by gg'^{-1} to get things in the first. These two transformations undo each other, so each coset of H is “the same size”. If G is a finite group this means that each coset has the same number of elements — the number of elements in H. We’ve sliced G into a bunch of pieces that never overlap, and all having the same number of elements. This merits some emphasis.

If G is a finite group and H is a subgroup, then the number of elements in H must divide the number of elements of G!

Now we’ve got a set of cosets of H, which we write G/H. What’s really nice is that sometimes this set is a group too! The natural idea to multiply two cosets is to take an element of each and multiply them and see what its coset is. Unfortunately this doesn’t always work. The answer might depend on which elements we choose

To see what goes wrong, let’s pick two elements in the first coset. We know that g is in gH, and we can see that so is gh if h is an element of H. We just pick g' again from g'H. Now we multiply to get gg' for one choice and ghg' for the other. These are only in the same coset if there is some h' in H so that gg'h'=ghg'. That is, so that h'=g'^{-1}hg'. The requirement is this: for every g' in G and for every h in H the composition g'^{-1}hg' must land back in H. We call a subgroup with this property “normal”.

So if H is normal, then our naïve idea for how to multiply two cosets does work right, and doesn’t depend on how we choose the element of each coset to multiply: gH\circ g'H=(gg')H. You should verify that this composition on the set G/H of cosets of H in G actually satisfies the group axioms. We call this the “quotient group” of G by H, or “G modulo H“.

Other exercises:

  • Check to see that in the example given above (where G is S_3) that the subgroup isn’t normal. Find one that is, and see what the quotient is.
  • Show that any subgroup of an abelian group is normal.
  • Consider the subgroup of \mathbb{Z} (addition as the composition) consisting of all multiples of 12. Call it 12\mathbb{Z}. What is \mathbb{Z}/12\mathbb{Z}? What if we change 12 to any other number n?
About these ads

February 15, 2007 - Posted by | Algebra, Group theory, Subgroups and Quotient Groups

11 Comments »

  1. Please dont take lack of comments as indication of lack of interest. Keep it coming! Your efforts are appreciated.

    Comment by Astro | February 17, 2007 | Reply

  2. We just pick g’> from g’. Now we multiply to get gg’ for one choice and ghg’ for the other. These are only in the same coset if there is some h’ in H so that gg’h’=ghg’.

    Could you go into more detail about why that last part is true? (By the way, there’s a typo in the sentence I bolded.)

    Comment by Jon | December 20, 2007 | Reply

  3. Well, I’ve fixed that typo. A lot of things in old posts seem to break when I’m not looking…

    Basically it’s just the definition of being in the same coset. Elements a and b are in the same coset of H if and only if there is an h\in H with ah=b.

    Comment by John Armstrong | December 20, 2007 | Reply

  4. [...] space is built up from an abelian group, we might think back to group theory and the language of cosets. The solution set to the inhomogenous equation is the coset [...]

    Pingback by Inhomogenous Linear Systems « The Unapologetic Mathematician | July 15, 2008 | Reply

  5. [...] meaning for “coset”? They can’t possibly mean the technical sense, because a coset isn’t a subgroup, unless it’s the trivial coset. A coset is an element of the quotient group, and usually [...]

    Pingback by Crossword Errors « The Unapologetic Mathematician | July 25, 2008 | Reply

  6. [...] acting on only the first places. This will be key to our proof. We consider the collection of left cosets of within . For each one, we can pick a representative element (this is no trouble since there are [...]

    Pingback by Tensor and Symmetric Algebras « The Unapologetic Mathematician | October 26, 2009 | Reply

  7. [...] that leaves invariant. And so we see that itself is a subgroup of . In fact, the Weyl group is a normal subgroup of the automorphism group. That is, given an element of and an automorphism of , the conjugation [...]

    Pingback by The Category of Root Systems « The Unapologetic Mathematician | January 22, 2010 | Reply

  8. [...] meaning for “coset”? They can’t possibly mean the technical sense, because a coset isn’t a subgroup, unless it’s the trivial coset. A coset is an element of the quotient group, and usually [...]

    Pingback by Crossword Errors | Drmathochist's Blog | August 28, 2010 | Reply

  9. [...] about group actions that the number of elements in the conjugacy class is equal to the number of cosets of the “centralizer” . We recall that the centralizer of is the collection of group [...]

    Pingback by Conjugates « The Unapologetic Mathematician | September 10, 2010 | Reply

  10. [...] next step is to use to break up into cosets. We consider and to be equivalent if . It’s easy to check that this is actually and [...]

    Pingback by Coset Representations « The Unapologetic Mathematician | September 20, 2010 | Reply

  11. [...] linear collection of these with coefficients (on the right) in . Indeed, we can break up into the left cosets of . Picking one representative of each coset — we call this a “transversal” for [...]

    Pingback by Induced Matrix Representations « The Unapologetic Mathematician | November 25, 2010 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 391 other followers

%d bloggers like this: