The Unapologetic Mathematician

Mathematics for the interested outsider

Group actions

Okay, now we’ve got all the setup for one big use of group theory.

Most mathematical structures come with some notion of symmetries. We can rotate a regular n-sided polygon \frac{1}{n} of a turn, or we can flip it over. We can rearrange the elements of a set. We can apply an automorphism of a group. The common thread in all these is a collection of reversible transformations. Performing one transformation and then the other is certainly also a transformation, so we can use this as a composition. The symmetries of a given structure form a group!

What if we paint one side of the above n-gon black and the other white, so flipping it over definitely changes it. Then we can only rotate. The rotations are the collection of symmetries that preserve the extra structure of which side is which, and they form a subgroup of the group of all symmetries of the n-gon. The symmetries of a structure preserving some extra structure form a subgroup!

As far as we’re concerned right now, mathematical structures are all built on sets. So the fundamental notion of symmetry is rearranging the elements of a set. Given a set S, the set of all bijections from S to itself {\rm Bij}(S) is a group. We’ve actually seen a lot of these before. If S is a finite set with n elements, {\rm Bij}(S) is the symmetric group on n letters.

Now, a group action on a set is simply this: a homomorphism from G to {\rm Bij}(S). That is, for each element g in G there is a bijection p_g of S and p_{gh}(x)=p_g(p_h(x)).

It’s important to note what seems like a switch here. It’s really due to the notation, but can easily seem confusing. What’s written on the right is “do the permutation corresponding to h, then the one corresponding to g“. So we have to think of the multiplication in G as “first do h, then do g“.

In what follows I’ll often write p_g(x) as gx. The homomorphism property then reads (gh)x=g(hx)

I’ll throw out a few definitions now, and follow up with examples in later posts.

We can slice up S into subsets so that if x and x' are in the same subset, x'=gx for some g, and not if they’re not in the same subset. In fact, this is rather like how we sliced up G itself into cosets of H. We call these slices the “orbits” of the G action.

As an important special case of the principle that fixing additional structure induces subgroups, consider the “extra structure” of one identified point. We’re given an element x of S, and want to consider those transformations in G which send x to itself. Verify that this forms a subgroup of G. We call it the “isotropy group” or the “stabilizer” of x, and write it G_x.

I’ll leave you to ponder this: if x and x' are in the same G-orbit, show that G_x and G_{x'} are isomorphic.

About these ads

February 20, 2007 - Posted by | Algebra, Group Actions, Group Homomorphisms, Group theory

18 Comments »

  1. You really want to repair that missing closing sub-tag in the end — it changes the layout of EVERYTHING else on the first page.

    Comment by Mikael Johansson | February 21, 2007 | Reply

  2. Very odd.. I accidentally typed “sup” instead of “sub”, but Safari evidently knew what I meant…

    Comment by John Armstrong | February 21, 2007 | Reply

  3. [...] “Tale of Groupoidification”. He really fleshes out this extension of the notion of group actions, and ties it into the concept of spans. I hope it’s not gushing too much to say that spans [...]

    Pingback by This Week's Finds #249 « The Unapologetic Mathematician | April 9, 2007 | Reply

  4. [...] The analogue in ring theory for the idea of a group action is that of a module. Again we want every element of the ring to behave like a function on a set and [...]

    Pingback by Modules « The Unapologetic Mathematician | April 21, 2007 | Reply

  5. [...] Finds. He continues his “Tale of Groupoidification”. It features a great comparison of group actions on sets and those on vector spaces (which we’ll get to soon enough). Even better, he gives a [...]

    Pingback by New This Week's Finds « The Unapologetic Mathematician | May 29, 2007 | Reply

  6. [...] and group actions — categorically The theory of group actions looks really nice when we translate it into the language of categories. That’s what I plan to [...]

    Pingback by Groups and group actions — categorically « The Unapologetic Mathematician | June 8, 2007 | Reply

  7. [...] is still beyond us at this point, but there are others. One nice place groupoids come up is from group actions. In fact, Baez is of the opinion that the groupoid viewpoint is actually more natural than the [...]

    Pingback by Groupoids (and more group actions) « The Unapologetic Mathematician | June 9, 2007 | Reply

  8. [...] point we’ll call so that . It’s straightforward from here to show that this gives an action of the vector space (considered as an abelian group) on the affine space [...]

    Pingback by Affine Spaces « The Unapologetic Mathematician | July 16, 2008 | Reply

  9. [...] a set with some binary operation defined on it, sure, but what does it do? We’ve seen groups acting on sets before, where we interpret a group element as a permutation of an actual collection of elements. [...]

    Pingback by Group Representations « The Unapologetic Mathematician | October 23, 2008 | Reply

  10. [...] here’s the upshot: the general linear group acts on the hom-set by conjugation — basis changes. In fact, this is a representation of the group, [...]

    Pingback by Representations of a Polynomial Algebra « The Unapologetic Mathematician | October 30, 2008 | Reply

  11. [...] group on the vector space of matrices over by conjugation. What we want to consider now are the orbits of this group action. That is, given two matrices and , we will consider them equivalent if there [...]

    Pingback by Orbits of the General Linear Action on Matrices « The Unapologetic Mathematician | March 6, 2009 | Reply

  12. [...] Ising model of ferromagnetism has found some evidence they claim is linked to certain symmetry; an action of the Lie group on the space of states which preserves some interesting property or another. I [...]

    Pingback by Lie Groups in Nature « The Unapologetic Mathematician | January 11, 2010 | Reply

  13. [...] Weyl Group on Weyl Chambers With our latest lemmas in hand, we’re ready to describe the action of the Weyl group of a root system on the set of its Weyl chambers. Specifically, the action is [...]

    Pingback by The Action of the Weyl Group on Weyl Chambers « The Unapologetic Mathematician | February 5, 2010 | Reply

  14. [...] to existence. Given a vector , we consider its orbit — the collection of all the as runs over all elements of . We have to find a vector in this [...]

    Pingback by The Fundamental Weyl Chamber « The Unapologetic Mathematician | February 9, 2010 | Reply

  15. [...] Ising model of ferromagnetism has found some evidence they claim is linked to certain symmetry; an action of the Lie group on the space of states which preserves some interesting property or another. I [...]

    Pingback by Lie Groups in Nature | Drmathochist's Blog | August 28, 2010 | Reply

  16. [...] detailed subject. And since every finite group can be embedded in a permutation group — its action on itself by left multiplication permutes its own elements — and many natural symmetries come [...]

    Pingback by New Topic: The Representation Theory of the Symmetric Group « The Unapologetic Mathematician | September 7, 2010 | Reply

  17. [...] and Representations From the module perspective, we’re led back to the concept of a group action. This is like a -module, but “discrete”. Let’s just write down the axioms for [...]

    Pingback by Group Actions and Representations « The Unapologetic Mathematician | September 16, 2010 | Reply

  18. [...] now multiplication on the left by shuffles around the cosets. That is, we have a group action of on the quotient set , and this gives us a permutation representation of [...]

    Pingback by Coset Representations « The Unapologetic Mathematician | September 20, 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: