The Unapologetic Mathematician

Mathematics for the interested outsider

Conjugation

One of the most useful examples of a group acting on a set comes directly from group theory itself. Let G be a group and H be a subgroup of G. The subgroup H acts on the set of all subgroups of G as follows.

If K is any subgroup of G and h is any element of H, then the set hKh^{-1} of elements of G of the form hkh^{-1} with k in K is another subgroup of G. Indeed, if we take two elements hkh^{-1} and hk'h^{-1} of this set, their product is hkh^{-1}hk'h^{-1}=hkk'h^{-1}, which is again of the proper form since kk' is in K. We call this subgroup the conjugation of K by h.

Given two elements of H we can check that (hh')K(hh')^{-1}=hh'Kh'^{-1}h^{-1}, so conjugating by hh' is the same as conjugating by h', then by h. That is, this defines an action of H on the set of all subgroups of G.

Even better, hKh^{-1} is not just another subgroup of G, it is isomorphic to K. In proving that hKh^{-1} is a subgroup we showed that the function sending k to hkh^{-1} is a homomorphism. We can undo it by conjugating by h^{-1}, so it’s an isomorphism. We say that two subgroups of G related by a conjugation are conjugate.

The subgroup of H sending K to itself — those h in H so that hKh^{-1}=K — is called the normalizer of K in H, written N_H(K). We can verify that K is a normal subgroup in N_G(K), and that K is normal in G exactly when N_G(K)=G.

One orbit is particularly interesting to consider: G is always sent to itself by conjugation. That is, given an element h of G the homomorphism sending g to hgh^{-1} is an automorphism of G. In fact, given any group G, the automorphisms of G themselves form a group, called {\rm Aut}(G). Conjugation gives us a homomorphism c from G to {\rm Aut}(G): given an element g, c(g) is the automorphism of conjugation by g.

We call automorphisms arising in this way “inner automorphisms”. The group {\rm Inn}(G) of inner automorphisms on G is the image of c in {\rm Aut}(G). If g is an element of G and f is any automorphism of G, then f\circ c(g)\circ f^{-1} is the automorphism sending x in G to

f(gf^{-1}(x)g^{-1})=f(g)f(f^{-1}(x))f(g^{-1})=f(g)xf(g)^{-1}

Which is just conjugation of x by f(g). This proves that {\rm Inn}(G) is normal in {\rm Aut}(G). The quotient {\rm Aut}(G)/{\rm Inn}(G) is the group of outer automorphisms {\rm Out}(G).

The kernel of c is the set of elements g so that gg'g^{-1}=g' for all g' in G. That is, for any g' we have gg'=g'g, so the kernel of c is the subgroup of G consisting of elements that commute with every element of G. We call this subgroup the center of G.

Now, consider the group S_n of permutations on n letters. Determine how this group acts on itself by conjugation. Write out some conjugations in cycle notation to get an idea of what the answer should be.

February 22, 2007 - Posted by | Algebra, Group Actions, Group theory

7 Comments »

  1. […] has a few immediate corollaries. Yesterday, I mentioned the normalizer NG(K) of a subgroup K. When a subgroup H acts on G by conjugation we call the […]

    Pingback by A few more facts about group actions « The Unapologetic Mathematician | February 24, 2007 | Reply

  2. […] left when you violently rip away the composition from a group and just leave behind its conjugation action. This is a set with an operation , and it’s already a quandle. The part of the […]

    Pingback by Quandles « The Unapologetic Mathematician | March 19, 2007 | Reply

  3. […] Flag varieties and Lie groups have a really interesting interaction. I’ll try to do the simplest example justice, and the rest are sort of similar. We take a vector space and consider the group of linear transformations with . Clearly this group acts on . If we pick a basis of we can represent each transformation as an matrix. Then there’s a subgroup of “upper triangular” matrices of the form check that the product of two such matrices is again of this form, and that their determinants are always . Of course if we choose a different basis, the transformations in this subgroup are no longer in this upper triangular form. We’ll have a different subgroup of upper triangular matrices. The subgroups corresponding to different bases are related, though — they’re conjugate! […]

    Pingback by Flag varieties « The Unapologetic Mathematician | March 21, 2007 | Reply

  4. […] most mathematicians have some handle on. We view it as a function of two variables. One runs over the conjugacy classes of the group, while the other runs over a list of (equivalence classes of) irreducible representations. It turns […]

    Pingback by Admissible Character Tables for Real Reductive Algebraic Groups « The Unapologetic Mathematician | April 9, 2007 | Reply

  5. […] basis ? Then we get a new transformation and a new isomorphism of groups . But this gives us an inner automorphism of . Given a transformation , we get the transformation This composite sends to itself, and it […]

    Pingback by General Linear Groups — Generally « The Unapologetic Mathematician | October 22, 2008 | Reply

  6. […] For some more review, let’s recall the idea of conjugation in a group . We say that two elements and are “conjugate” if for some […]

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

  7. […] two trivial ideals: and . Another example is the “center” — in analogy with the center of a group — which is the collection of all such that for all . That is, those for which the adjoint […]

    Pingback by Ideals of Lie Algebras « The Unapologetic Mathematician | August 13, 2012 | 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 420 other followers

%d bloggers like this: