M417 Homework 9 Spring 2004
Instructions: Solutions are due Fri., April 16.
  1. (10 points) Let G be a group acting on a set S. Show that the orbits form a partition of S; i.e., S is the disjoint union of the orbits.
  2. Let G = { g1, ..., gm } be a finite group acting on a finite set S = { s1, ..., sn }. Let t be the number of distinct orbits. Let D = { (g, s) in GxS | gs = s }. Let p1 : D -> G be defined by p1((g, s)) = g, let p2 : D -> S be defined by p2((g, s)) = s, and let f : G -> Z be defined by taking f(g) = | { s in S | gs = s } |.
  3. (10 points) Let H : RxC -> C be defined as H((t, x + iy)) = (cos(t) + i sin(t))(x + iy). Show that this defines an action of the reals R (regarded as a group under addition) on the complex numbers C.
  4. (10 points) For each complex number c, determine the orbit and stabilizer of c with respect to the action defined in the previous problem.