Group Actions 8-26-202 Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying: (a) θ(g,θ(g 2,x)) = θ(g g 2,x) for all g,g 2 G and x X. (b) θ(,x) = x for all x X. It s customary to write g x or gx for θ(g,x); the equations above then become If G acts on X, X is a G-set. g (g 2 x) = (g g 2 )x and x = x. Lemma. If X is a G-set, there is a homomorphism φ : G S X, where S X is the group of permutations of X. Conversely, any homomorphism φ : G S X gives rise to a G-set structure on X. Proof. Let X be a G-set. Define φ : G S X by φ(g)(x) = gx. Since φ(g )φ(g)(x) = x and φ(g)φ(g )(x) = x, φ(g) and φ(g ) are inverses. Therefore, φ(g) is a bijection, so φ(g) S X. To see that φ is a homomorphism, note that φ(g )φ(g 2 )(x) = g (g 2 x) = (g g 2 )x = φ(g g 2 )(x). Conversely, suppose φ : G S X is a homomorphism. Define an action of G on X by Then g x = φ(g)(x). φ(g g 2 )(x) = φ(g )φ(g 2 )(x) so (g g 2 )x = g (g 2 x). This verifies property. Since φ is a homomorphism, φ() = id. Hence, x = φ()(x) = id(x) = x. This verifies property 2. Hence, X is a G-set. Example. Any group G acts on any set X by defining g x = x for all g G and all x X. Example. Let Z act on by translation. That is, if n Z and x, define n x = x+n. Now n (n 2 x) = n (x+n 2 ) = x+n 2 +n = (n +n 2 ) x Therefore, this is an action of Z on. 0 x = x+0 = x Example. Let G = {[ ] [ ] [ ] [ ]},,,. 0
Make G into a group via matrix multiplication. G acts on 2 by multiplication: e.g. [ ][ ] [ ] x x =. 0 y y Notice that [ ] [ ] 0 [ ] [ ] 0 fixes everything, fixes the x-axis, fixes the y-axis, fixes the origin. Example. S 3 acts on {,2,3}. And in general, S n acts on {,2,...,n}. Definition. Let X be a G-set, and let x X. The orbit of x under the action is Gx = {gx g G}. The set of orbits of X under G is denoted X/G. If X = Gx for some x X, the action is transitive. (In this case, X is said to be a transitive G-set.) Lemma. X is a transitive G-set if and only if for all x,y X, there exists g G such that gx = y. Proof. ( ) Since X is transitive, X = Gz for some z X. Let x = g z and let y = g 2 z, where g,g 2 G. Then g x = z, so y = g 2g x. ( ) Suppose that for all x,y X, there exists g G such that gx = y. Take any x X. If y X, then gx = y for some g G, so y Gx. Thus, X Gx, so X = Gx, and X is a transitive G-set. Definition. Let X be a G-set, and let x X. The isotropy group of x is G x = {g G gx = x}. If G x = {} for all x X, the action is free. (In this case, X is called a free G-set.) Example. Let D 3, the dihedral group of order 6, act on the vertices {,2,3} of an equilateral triangle. If m denotes reflection through the line through vertex, then the isotropy group of vertex is {id,m } (and similarly for the other two vertices). Lemma. Let X be a G-set, and let x X. Then G x < G. Proof. First, x = x, so G x. Suppose g G x. Then gx = x, so x = g x. Therefore, g G x. Finally, suppose g,h G x. Then (gh)x = g(hx) = gx = x. 2
Hence, gh G x. Therefore, G x < G. Example. Consider the translation action of Z on defined above. An orbit has the form x+z = {x+n n Z}, where 0 x <. Thus, the space of orbits /Z is equivalent to S, the circle. (Of course, the two are actually isomorphic as groups!) The action is free, since the only n Z which fixes x is 0. On the other hand, the action is not transitive: There is no integer translation carrying 0 to, for instance. 2 Example. Consider the action of the group G = {[ ] [ ] [ ] [ ]},,, 0 on the plane 2. The isotropy groups of points under this action are: {[ G (x,0) = {[ G (0,y) = G (x,y) = Obviously, the action is not free. The orbits of points under the action are: G (0,0) = G, ] [, 0 ], {[ ]} for x 0, [ ] }, for y 0, ]} for x,y 0. {(0,0)}, {(x,0),( x,0)} for x 0, {(0,y),(0, y)} for y 0, {(x,y),( x,y),(x, y),( x, y)} for x,y 0. (-x,y) (x,y) (x,-y) (-x,-y) Since there is more than one orbit, the action is not transitive. 3
The set of orbits 2 /G looks like the first quadrant {(x,y) x,y 0}. Example. Consider the action of S 3 on {,2,3}. The action is transitive: If i,j {,2,3}, i j, the transposition (i j) carries i to j. (If i = j, there s nothing to do.) The isotropy groups are G {} = {id,(2 3)} G {2} = {id,( 3)} G {3} = {id,( 2)} Proposition. Let X be a G-set. Then X is partitioned by the orbits. Proof. If x X, then x Gx. Hence, X is certainly the union of the orbits. I need to show that two orbits are either disjoint or identical. Suppose that Gx Gy. Find z Gx Gy. Then z = g x and z = g 2 y for some g,g 2 G. Hence, g x = g 2 y, so x = g g 2y and y = g2 g x. Now let gx Gx. Then gx = gg g 2y Gy. This proves Gx Gy. Likewise, if gy Gy, then gy = gg2 g x Gx, so Gy Gx. Therefore, Gx = Gy. Hence, two orbits which intersect nontrivially must in fact coincide. This proves that the orbits partition X. There is a group-theoretic relationship between isotropy groups of points in the same orbit. Proposition. Let X be a G-set, let x X, and let g G. Then G gx = gg x g. Proof. Suppose h G gx, so hgx = gx. Then g hgx = x, so g hg = g 0 G x. Hence, h = gg 0 g gg x g. This shows that G gx gg x g. Conversely, suppose gg 0 g gg x g, where g 0 G x. Since g 0 x = x, gg 0 g (gx) = gg 0 x = gx. This shows that gg 0 g G gx, so gg x g G gx. Therefore, G gx = gg x g. Corollary. Let X be a G-set. If x and y are in the same G-orbit, then G x and G y are conjugate subgroups. In particular, G x G y. The following result not only serves as a counting theorem in the finite case, but also says that up to equivalence, every G-set looks like a union of sets of cosets of G. Theorem. Let X be a G-set, and let x X. (a) There is a bijection Gx G/G x. (b) If G is finite, Gx = G/G x = (G : G x ): the order of the orbit equals the index of the isotropy group. Proof. Define φ : Gx G/G x by φ(gx) = gg x. I must check that φ is well-defined. Suppose then that g x = g 2 x. Then g 2 g x = x, so g 2 g G x. Hence, g G x = g 2 G x. Now φ(g x) = g G x = g 2 G x = φ(g 2 x). 4
Therefore, φ is indeed well-defined. Define ψ : G/G x Gx by ψ(gg x ) = gx. I must check that ψ is well-defined. Suppose that g G x = g 2 G x. Then g2 g G x = G x, so g2 g G x. This means that g2 g x = x, or g x = g 2 x. It follows that ψ(g G x ) = g x = g 2 x = ψ(g 2 G x ). Hence, ψ is well-defined. Since φ and ψ are inverses, they are both bijections, and Gx and G/G x are in - correspondence. The second statement follows immediately from the first. Definition. Let X be a G-set, and let S G. The fixed point set of X under S is X S = {x X gx = x for all g S}. If g G, then X g denotes the elements of X fixed by g: i.e. X g = {x X gx = x}. Example. Consider the action of S 3 on the set {,2,3}. Here is a picture of the isotropy groups and the fixed point sets: id ( 2) ( 3) (2 3) ( 2 3) ( 3 2) 2 3 A in a position means that the element of {,2,3} which labels the row is fixed by the element of S 3 which labels the column. Example. Consider the group of symmetries of the hexagon below: 2 6 3 5 4 Since the hexagon is not regular, the symmetry group has only 4 elements: the identity map (id), reflection across the x-axis (m x ), reflection across the y-axis (m y ), and rotation by π (r). The symmetry 5
group acts on the set of vertices by permutations. id m x m y r 2 3 4 5 6 This action is not transitive (unlike the action in the preceding example). The orbits are {,4} and {2,3,5,6}. The following counting theorem,has important combinatorial applications; it relates the number of orbits under a group action to the size of the fixed point sets. Theorem. (Burnside) Let X be a finite G-set, where G is a finite group. Then X/G = G X g. g G Proof. Observe that g G x if and only if x X g. It follows that Now just compute: G g G x X X g = G x. g G x X X g = G x = G x = G G (G : G x ) = x X x X x X Gx = K X/Gx K K = K X/G = X/G. Example. Each side of a square may be colored red, green, or blue. Colors may be repeated, and the square may be turned over. How many distinct squares are there? Note that since the square may be turned over, the following colored squares are considered the same: G B B G 6
I ll temporarily nail the square to the wall so it can t move. There are then 3 4 = 8 ways to paint the square. Two such paintings are the same if one can be carried into the other by a symmetry of the square i.e., by an element of D 4. Thus, X is the set of paintings of the fixed square. G = D 4 acts by symmetries. An equivalence class of paintings is simply an orbit under this action, and I want the number of orbits. According to Burnside, I simply count the number of fixed-square paintings (elements of X) fixed by each element of G. element id r r 2 r 3 m x m y m + m fixed points 8 3 9 3 27 27 9 9 For example, m x, reflection about the x-axis, fixes paintings where the top and bottom sides have the same color. Each side can be a different color, so there are 3 3 3 = 27 paintings fixed by m x. The total number of fixed points is 68. Since D 4 = 8, there are 68/8 = 2 distinct paintings. c 2007 by Bruce Ikenaga 7